rue
Let v be -1 - (2/(-7) - 2034/2730). Is -1 at most v?
True
Let t(c) = -c - 7. Let n be t(-4). Let m be 1 + 0 + n + 13. Which is bigger: 3 or m?
m
Let y be (-5 - -3)*(1475/(-10) - -2). Which is smaller: y or 292?
y
Let x be 4*21/28*5/1. Is 1 greater than x?
False
Let x = -0.01 + 0.078. Let y = 0.068 - x. Which is smaller: y or 26?
y
Let q = 11/292 + -182015/2628. Let l = q - -69. Let d be 2/(-3)*(-3)/9. Which is smaller: d or l?
l
Let w(a) = 36*a**2 - 1. Let n be w(-1). Suppose 0 = -166*o + 169*o + 123. Let j = n + o. Which is bigger: -5 or j?
-5
Let w be ((-2)/2 - 50)*(-270)/(-162). Are 1 and w equal?
False
Suppose 2*f = 10, 3*t = 5*f + 2 - 21. Suppose -m = 3*z + t, -3 = m + 4*z + 2. Does m = 7?
True
Let m = -2 - -1. Let k(a) be the first derivative of a**3/3 - 3*a**2/2 - 4*a + 44. Let u be k(-1). Which is bigger: m or u?
u
Let f(n) = 2*n**2 + 7*n - 5. Let q = 10 + -8. Let i be f(q). Suppose 0 = 3*b + 2 - i. Which is smaller: b or 3?
3
Let l = -100 + 105. Which is smaller: 31/6 or l?
l
Let n(j) = -j**2 - 2*j + 26. Let x be n(-7). Let c be x/15 - (-6)/(-15). Is c greater than 1/12?
False
Suppose 28 - 34 = 2*z + m, 20 = 5*m. Is 23 less than z?
False
Suppose 0 = 3*d + 3*p - 15, -6*d + 17 = -d + p. Suppose -d*y + 4*g = 5, -4*y + 2*g + 25 = 3*g. Is y bigger than 2?
True
Let y = 2868 - 2871. Does -70/17 = y?
False
Let h = -384 + 385. Which is greater: h or -4/109?
h
Suppose 4*y - 3*y = 2*c + 3, 0 = 5*y - 2*c - 23. Suppose -3*s + y*l + 19 + 4 = 0, s - 1 = -5*l. Which is smaller: s or 1/3?
1/3
Suppose 52 = 14*s + 38. Is -2/71 not equal to s?
True
Let y = 11 - 10.8. Let c = -58/5 + 61/5. Which is greater: c or y?
c
Let b be 60/(-210) + (-4)/(-14). Which is smaller: b or -1/49?
-1/49
Let k be (24/16)/(6/52). Let d be 53/5 + 14/35. Which is smaller: d or k?
d
Let b = -37 + 17. Let j = 29 + b. Which is bigger: -1 or j?
j
Let p = 1836.3 + -314.3. Do p and 1 have the same value?
False
Let c = 901 - 8117/9. Let h = -74/63 - c. Which is greater: 0 or h?
0
Let r(v) = v - 13. Let g be r(17). Suppose -s - 3*s + g*y + 56 = 0, -2*s + 5*y + 37 = 0. Which is smaller: 10 or s?
10
Let j = -23 + 25. Suppose -4*h + s = 8, 0 = h - s + j + 3. Do h and 2/15 have the same value?
False
Let y be (-37)/4 - (69/12 - 5). Suppose -5*o - 13 = -4*k, 4*o + 4*k + 17 = 3*o. Let a = o - y. Is a > 4?
True
Let u(s) = -s**2 + 2*s + 7. Let t be u(-2). Does 7/44 = t?
False
Suppose -5*w = -5*r + 100, 0 = -4*r - r - w + 70. Let o = -16 + r. Let g be (-2 - -3)*(-2)/(-18). Is g <= o?
False
Suppose -5*l + 6 = w, -4*l = -0*w - 3*w + 75. Is 21 > w?
False
Let b = -36 + 36. Suppose 0 = 2*j - b - 68. Is 36 greater than or equal to j?
True
Let i be 21/((-189)/(-12)) + 1/(-3). Which is bigger: i or -12/59?
i
Let i(d) = d**3 + 14*d**2 + 13*d - 12. Let g be i(-13). Let l be (-6)/100*g/9. Let k(w) = -w**2 + 3*w - 1. Let j be k(2). Is l > j?
False
Let b be 2/9 + (-3450)/(-270). Suppose 2*k - 1 = -5*j - b, 3*k + 2*j = 4. Which is greater: 2 or k?
k
Suppose -29*y + 26*y = -3. Is 2/349 >= y?
False
Let k = 249317/7 + -35758. Let z = 141 + k. Let c be ((-19)/(-57))/((-2)/4). Is c equal to z?
False
Suppose j + 2*w - 5 = 0, 4 = j - w + 2*w. Suppose 2*x + j*m = -34, 0*x = x + 4*m + 12. Let b be 1*2 - x/15. Which is bigger: b or 2?
b
Let h = -0.2091 - -12.2091. Is h <= -1.5?
False
Let q(f) = f**3 - 3*f**2 - 24*f + 126. Let o be q(6). Which is greater: -2/7 or o?
o
Let p = -2792/5 + 558. Does 0.048 = p?
False
Let s(g) = 5*g**3 - 2*g**2 - 2*g + 4. Let w be s(-2). Is w greater than -40?
False
Let y be -6 + 5 - (-6)/1. Let z = y - 7. Let v = 363 + -361. Which is smaller: v or z?
z
Let n(i) = -i**2 - 6*i + 1. Let y be n(-6). Let s be 10092/(-480) - -21 - (-2)/5. Which is smaller: s or y?
s
Suppose w + 18 = -2*w. Let z be w + 62/10 + (-1)/5. Is z != 6/13?
True
Let i(h) = -h - 1. Let u(j) = -8*j + 84. Let c(f) = 5*i(f) + u(f). Let s be c(6). Let b be 2/(-3)*1/8. Which is smaller: b or s?
b
Let p(j) = 3*j**2 + 2*j - 2. Let u be p(-2). Let l = 30 + -27. Let g be (l - (-8)/4)*1. Is g at least as big as u?
False
Suppose -12 + 31 = 19*r. Is -1/399 greater than r?
False
Let x be (3*(-5)/(-45))/((-1)/(-9)). Let k be -16 - (0 - 1/(3/x)). Which is greater: k or -47/3?
k
Suppose -5 = -4*u + 3. Suppose u*r - 5 = 1. Which is smaller: 11/6 or r?
11/6
Let i be ((-154)/28)/(1/(-12)*3). Let v = 73 - 50. Which is smaller: v or i?
i
Suppose -14 = 3*s - 2*y - 43, 31 = 3*s - 4*y. Let o(v) = 7*v - 32. Let k be o(s). Which is smaller: k or 32?
k
Let p = 2/51 - -139/357. Does p = 0?
False
Let y = 2.2 + -0.4. Let v = 5.2 + y. Is 0 at most as big as v?
True
Let j be 2 - 1/(1/(-3)). Let l = -3 + j. Suppose -3 = l*h + 3. Is -5 < h?
True
Let g = -33 + 59. Let l = -18 + g. Let h be l/(-12) + (-8)/42. Which is smaller: h or 0?
h
Suppose d + 1 = 2*d. Let v(x) = 12*x**3 + x**2 - 2*x + 1. Let g be v(d). Does g = 12?
True
Let m be (-9)/(-15) - 228/(-20). Let b be ((-4)/2 - -1)/((-4)/m). Let n = -1/51 - -155/102. Which is bigger: n or b?
b
Let w(p) = 15*p**2 - 3*p - 2. Let r be w(-1). Which is smaller: r or 14?
14
Let a(u) = -u**3 + 9*u**2 + 14*u - 7. Let d be a(10). Let n = d - 36. Which is smaller: -6 or n?
-6
Let t = -10/1953 + 7999/417942. Is 0 less than or equal to t?
True
Let q = 32.79 - 33. Let j = q + 0.25. Which is bigger: -0.3 or j?
j
Let v = 19 - -2. Let j be (33/44)/(v/(-8)). Is 1.3 at least as big as j?
True
Suppose 2*i - i - 4 = 0. Let y be (9 - 1199/165)/((-2)/(-3)). Is y smaller than i?
True
Suppose 2*l - 94 + 308 = -4*a, -3*a = -l - 112. Is l bigger than -764/7?
True
Suppose 13*x - 8*x = 0. Suppose 2*c + 7 + 11 = x. Let a be (4/(-12))/((-24)/c). Which is smaller: a or -1?
-1
Let d = 0.04 - 0.01. Let o = 1.582 + -0.122. Let w = 0.46 - o. Which is smaller: w or d?
w
Suppose -2*k + 7 = -b + 8, -3*k + 26 = b. Suppose 4*c - 5*m - 72 = 0, 0 = 3*c + m + 4*m - 19. Is c equal to b?
False
Let a = -65 + 105. Which is smaller: 39 or a?
39
Let c be 100/(-425)*136/(-112). Let f = -0.04 + 0.11. Which is smaller: f or c?
f
Let v = 5816 - 5770. Suppose -16 - 80 = -2*h - p, -5*h + 2*p = -222. Does v = h?
True
Let l = -1814 + 1814.6. Which is greater: l or 1/18?
l
Suppose 0 = b + 3*o - 452, 3*b + o = 2*b + 456. Is 459 != b?
True
Suppose 0 = -4*z - 0 - 4. Let c(t) = -3*t. Let n be c(z). Let r be (-16)/(-12)*(-3 - 6/(-4)). Are r and n non-equal?
True
Suppose 4*h + 8 = 56. Suppose -3*q = -5*s + 63, 4*s + 0 - h = 0. Is -46/3 greater than q?
True
Let s = -0.446 + 1.446. Which is smaller: s or -10?
-10
Let w be 1*(4 - 7/(21/15)). Is -10.9 greater than or equal to w?
False
Let n = -235 - -232. Is n != 46?
True
Let t(r) = -7*r**2 - 7*r + 23. Let o(x) = -8*x**2 - 8*x + 23. Let p(c) = 6*o(c) - 7*t(c). Let j be p(-5). Is -1/13 bigger than j?
True
Suppose g = 6*g - 20. Let f(w) = -21*w - 9. Let o be f(-3). Suppose g*m = -o - 14. Is -17 equal to m?
True
Let i be (-1)/(((-8)/4)/2). Let y = -2083/6 + 348. Is y at least i?
False
Let d = 690 + -698.18. Let k = 8 + d. Let x = -2.82 + k. Which is greater: -4 or x?
x
Let v = -9.48 - -10. Let t = 1.58 + v. Let h = t - 2.15. Is h at most -2?
False
Let n be 1*2*1/(-2). Let s = -22 - -7. Let w = s - -13. Is n not equal to w?
True
Let w be (-53)/50 - 1/4. Let m be (-119)/525 + (-1)/(-6). Let y = w - m. Is -1 <= y?
False
Suppose 0*j + 5 = -j. Let h = 9 + j. Suppose -h*v = -2*v. Is 0 bigger than v?
False
Let q = 271/55 - 26/5. Suppose -17*m - 9 - 8 = 0. Which is smaller: q or m?
m
Let s(c) = 5*c - 5 - 18 + 0*c - 2*c. Let p be s(11). Which is smaller: 9 or p?
9
Let k(a) = a**2 + 5*a - 6. Let l be k(-6). Let i be 7/(28/(-16)) - 9306/(-1554). Let s = i - 26/37. Is l bigger than s?
False
Let z be 3/12 - (-105)/(-20). Which is smaller: -62 or z?
-62
Let p(s) = -98*s**2 - 2*s - 5. Let i be p(-1). Is -1 greater than i?
True
Suppose o + l = 6*o - 24, 5*o = -3*l + 8. Suppose o*f = 8*f. Let s be ((-4)/(-10))/((1645/(-25))/7). Is f equal to s?
False
Let h be (-55)/(-1)*256/40. Is 352 at most h?
True
Let y = 3245 + -3573.1. Let p = y - -313. Let s = -15 - p. Is s bigger than -6?
True
Let d = 7 + -31. Let w = 28 + d. Is 5 at least w?
True
Let y be 5/4 + (-11020)/(-225). Let m = y + -201/4. Is 0 <= m?
False
Let c = -380.5 - -417. Is -1 smaller than c?
True
Let n = 54.9 - -0.1. Let r = -55.3 + n. Do 3 and r have different values?
True
Let i 