6 + -16. Let j be ((-1845)/(-30))/(((-27)/12)/1). Let d = -4676/171 - j. Which is greater: d or l?
l
Let v be (6/(-12294))/((-115)/(-19665)). Which is bigger: v or 1?
1
Let o = -549.7 - -550. Is 0.0428 less than or equal to o?
True
Let v = 67 - 10. Let c be v/(-63) - (-20)/(-210). Is -2/55 < c?
False
Let y = 57.91 + -50.51. Is -32 greater than y?
False
Let r = 19.93 + 33.07. Let y = 21 - -31. Let n = y - r. Which is smaller: -1/5 or n?
n
Let d = 1/53738 + -191146073/376166. Let x = d + 508. Let w = -2 + 1.9. Is w at least as big as x?
True
Let d be (-3)/(1 + 2 + 8 + -10). Let p be (-4 + 410/105)/((-1)/d). Let m be (-3)/(-5) - 22/20. Is m < p?
True
Let a be (24/10)/12 - (3828/20)/(-3). Which is bigger: -0.18 or a?
a
Let j be 1320/1650*(-110)/7. Suppose 5*a = 4*b - 60, -a - 4*a + b = 60. Which is smaller: j or a?
j
Let s be 1*8*((-1185)/90 - -13)*237. Is s at least as big as -316?
True
Let b = -207.97 - -208. Let c = 1.819 + -1.8. Let w = b - c. Do w and 1 have the same value?
False
Suppose -3*b + 44 = -b - 2*v, 0 = 5*b + 5*v - 90. Let s = -411 - -479. Suppose n - 32 = 3*k, -3*n + 7*k - 5*k = -s. Is b bigger than n?
False
Suppose -y = 3*q - 179, -3*q + 4*y = -279 + 110. Let o = -47 + q. Suppose -o = 4*i - 28. Is i < 3?
False
Let h be 2/5 - (2088/40)/3. Let l be 675/765 - 2/h. Are -1/305 and l non-equal?
True
Let g be (-96)/(-15)*45/(-6). Let m be (-2)/(-14) + g/(-154). Suppose 2*k + 5*j = -10, -2*j - 1 - 3 = -k. Are k and m equal?
False
Let m be ((-3)/(-8))/((-12)/(-11876)). Let f = -379 + m. Which is greater: f or -9?
f
Let d = -7397588387/533 - -13879158. Let g = d + -68/13. Let j be 10/35 - (-27)/(-21). Which is bigger: g or j?
g
Suppose -36*l = 160*l - 26476 + 352228. Is l at least as big as -1663?
True
Let c be 18/(-98)*(-113491)/93. Do c and 224 have the same value?
False
Let h = 101 - 116. Let f be (-6 - (-7 - -2))*(-6)/h. Is 25 bigger than f?
True
Let v = -16497 - -16597. Let d(w) = 10*w**3. Let p be d(1). Suppose 0 = -p*k + 15*k + v. Is k > -20?
False
Suppose 5*g - 22 = 23. Let x(t) = -t**2 + 5*t + 2. Let v be x(0). Suppose 5*r + 2*b = 51 + v, 2*r = 3*b + 6. Is r less than g?
False
Let o = -90.92 - -88.92. Does o = -26/71?
False
Let m be (4/6 + -2)*378/(-168). Let n(d) = -8*d**3 + 5*d**2 + 2*d - 18. Let k be n(m). Is -183 greater than k?
False
Let c be 4/(-22) - 24/(-44)*4. Suppose u + 63 = c*u. Let i = -61 + u. Which is bigger: 0 or i?
i
Let y be (1/4)/(2691/(-468)). Is 2/45 equal to y?
False
Let x = 40368 + -40367. Let w be 9/(-219)*1/3. Which is bigger: w or x?
x
Let f = 29/4 - 7. Let l = -5983 + 5982.886. Which is smaller: l or f?
l
Let i be -6*-3*(-7)/(-63). Suppose 2*p = c - i*p - 59, 215 = 4*c + 5*p. Is c at most 54?
False
Suppose 4*k + 178 = 2*v, v + 5*k + 353 = 5*v. Let p = v + -98. Let h be 102/4 - (77/14)/p. Is h greater than 27?
False
Let p be ((-4)/14)/(-1) + 44242/(-154). Let c be (-2 - 9/(-4)) + p/28. Let j be c/(((-26)/6)/((-7)/21)). Which is smaller: -2 or j?
-2
Let t = -1884/13 + 145. Let k(j) = -j**2 + 10*j - 20. Suppose 0 = 2*h - 6*h + d + 30, 4*h = 4*d + 36. Let w be k(h). Which is smaller: w or t?
t
Let g be 136/(-10)*10230/279. Is -499 greater than or equal to g?
False
Let g = 64/287 - -18/287. Let r = -4 - 45. Which is greater: r or g?
g
Let k(z) = z - 11. Let x(i) = -i + 13. Let g(r) = 3*k(r) + 4*x(r). Let f be g(-8). Which is greater: 28 or f?
28
Suppose 2*p - 2 = 2. Let j = -7230 - -7233. Suppose p*d + m + 20 = -j*d, -7 = -d + 2*m. Which is bigger: -9 or d?
d
Let j = -52.5 - -56.47. Let l = -0.17 + j. Let w = -1.8 + l. Which is bigger: w or 21/4?
21/4
Let o be 2/4*6*465. Let s = o + -2978. Let n = -11125/7 - s. Are n and -6 equal?
False
Suppose 2*r - 91 = -19. Let u = 214 - 211. Suppose 4*q + 3*c = 2*q + 81, 0 = u*q - 4*c - 96. Is q less than r?
False
Let j be (156/(-91))/((-1)/(-91)). Let a = 143 + j. Which is smaller: -14 or a?
-14
Suppose 75 = -3*r - 3. Let x = -35320 + 35295. Is x less than r?
False
Let h be ((-5187)/28)/(6/144). Is h smaller than -4447?
False
Let p(w) = w + 15. Let l be p(-15). Let s = -40.572 - -40.6. Do s and l have the same value?
False
Let x(h) = -h**3 - 37*h**2 + 31*h + 25. Let o be x(-38). Suppose -7*f - 60 = -o. Is f bigger than 30?
True
Let i = 162.4 - 132. Let p = i + -13.4. Are -2 and p unequal?
True
Let w = -302 - 92. Let i = w - -393.9. Which is bigger: -168 or i?
i
Suppose 3*j + q - 8 = -2, 3*j - 2*q = -3. Which is bigger: j or -15/533?
j
Let j be (62 - 6) + 10/2. Suppose r - 51 = j. Let v = 113 - r. Which is greater: v or 6/19?
v
Let p(d) = 3*d**3 + 80*d**2 - 27*d + 30. Let m be p(-27). Is m <= 1/6?
False
Let l(j) be the first derivative of 10*j**2 + 1/3*j**3 + 5 - 28*j. Let a be l(-21). Which is smaller: -6 or a?
a
Suppose -5*q = -2*u + 5, 3*q - 11 + 36 = -u. Let x(j) = j**3 - 5*j**2 + 2*j + 1. Let m be x(4). Which is greater: m or u?
m
Suppose 3*b + 11 = -4*a, b = -6*a + 10 + 5. Is b equal to -113/15?
False
Let n = 0.2 - -6.3. Let u = 1.091 + 3.409. Let f = n - u. Is 2 greater than or equal to f?
True
Let x = 139/83 + -11740/8051. Which is bigger: x or -1?
x
Suppose -d = -4*f - 2*d + 17, -3*d - 9 = -3*f. Suppose 8 + f = -2*h. Let p = -624 - -616. Which is smaller: p or h?
p
Let a be (5 + (-336)/80)*(-5)/4*38. Let j(i) = -i**3 + 7*i**2 + 8*i - 5. Let x be j(5). Suppose -29 = 3*v + x. Is a at most as big as v?
True
Let q(n) = n**3 - 4*n**2 + 6*n - 39. Let v be q(7). Suppose 172 = -v*u + 152*u. Which is greater: u or -1?
u
Let p(s) = -4*s + 73. Let f be p(21). Let t(u) = -8*u - 47. Let g(k) = 8*k + 48. Let x(h) = -6*g(h) - 5*t(h). Let a be x(f). Which is bigger: 34 or a?
a
Let u = 34/3 - 362/33. Let j = 84 - 86. Let o be (-1)/j*8/(-10). Which is smaller: o or u?
o
Let v be (6/4 - 2)/(260/(-8340)). Are 17 and v unequal?
True
Suppose -2*o = m - 249, -4*o + m + 513 = -0*o. Let q = -129 + o. Which is greater: 3.2 or q?
3.2
Let g be (-73091)/79196 - (-4116)/4459. Is g > 0?
True
Suppose -2*y = 3*w - 48, -2*y + 45 - 1 = w. Suppose 0 = 13*v - 8 + y. Is v greater than or equal to 3/136?
False
Suppose -14 = h + p + p, 5*p - 75 = 3*h. Let a = h + 11. Is -9 at most as big as a?
True
Let s be 7/(-35)*5*-2 - 3611. Does -3610 = s?
False
Let o = 14.411 + -0.491. Let x = -13.9 + o. Are x and 0 equal?
False
Let b be 2160/900*3790/6. Is 1518 at least as big as b?
True
Let k = 9 + -11. Let u(h) = -4*h - 43. Let y be u(-10). Let s be (y*(-46)/3)/k. Which is smaller: -24 or s?
-24
Let y = 531/2 - 255. Let d = -157/14 + y. Let h be (2/3)/(3/(-9)). Which is smaller: h or d?
h
Let u = 71 - 62.6. Let p = -834.9 - -835. Which is smaller: p or u?
p
Let y = -1117920 + 16776776/15. Let j = -532 + y. Let w(s) = s**2 - s - 1. Let z be w(-1). Which is greater: z or j?
z
Let d be ((-17)/(-34))/(2/16). Suppose 2*p = 3*p + s - 119, -d*s = -4*p + 452. Let v = p - 116. Is v not equal to 45?
True
Let m be 422/8*6 + (-40)/(-80). Suppose 34*y = -465 - m. Is -9 equal to y?
False
Let q(d) = 3*d + 13. Let c be q(-5). Let r be c + ((-33152)/(-4151))/4. Is 1 less than or equal to r?
False
Let c be 3 + -4 + 6/2. Suppose -c*o + 3*k + 16 = 0, -10 = -5*o + 4*k + 30. Which is smaller: 7 or o?
7
Suppose -4*g - 2560*p = -2562*p - 38166, -28620 = -3*g + 3*p. Which is greater: 0 or g?
g
Let b = 70733/6684 - 127/12. Is b less than 1?
True
Suppose 11 = 4*g - 3*n + 2, 5*n = -15. Suppose -6*r + 8*r = g. Suppose 2*l + 7 - 48 = 5*s, -s = 5*l - 35. Is r at most l?
True
Let r = -25 - -49. Let v = 22 - r. Let p = -4 - -3. Which is greater: v or p?
p
Let y = -5897 + 5936. Suppose -82 = 3*w - 5*w. Which is smaller: y or w?
y
Let u(o) = o**3 + 3*o**2 - 4*o - 4. Let d be u(-4). Let r be (302/(-19))/((-11)/((-33)/12)). Let t = -10/19 + r. Which is greater: d or t?
d
Let w(b) be the first derivative of -2*b**3/3 + 21*b**2/2 + 2*b - 41. Let h be w(11). Which is greater: 0.5 or h?
0.5
Let v = -4 + -3. Let m = -256 - -260. Let o be (-2)/m*(11 - 11). Which is smaller: v or o?
v
Let y = -5 - -9. Let g be (y/(-6))/(48/(-16)). Let j(d) = 8*d + 15. Let x be j(-2). Which is greater: x or g?
g
Let l be (-2)/8*(3 - 3). Which is bigger: l or 6.4?
6.4
Let q(w) = w**3 + 13*w**2 - 6*w - 17. Let n be q(-9). Suppose j - 8*i + 4*i = -n, j - 5*i = -357. Let d be (j/(-26))/((-2)/4). Which is greater: -31 or d?
d
Suppose -3*i = -2*i - 7. Suppose -i*u + 10 = 24