p = l - -164/11. Which is greater: p or 1?
1
Let p be -9*((-340)/6 - 84/12). Is 573 greater than p?
False
Let r = -224/11 - -2170/99. Let v = r - 5/3. Suppose 3 = 8*q - 5. Are v and q unequal?
True
Suppose 4 = 9*u - 5*u. Let y be -1 + (-4 + 4 - u). Which is greater: 10 or y?
10
Let a = 645 + -620. Is a > 24?
True
Let w = -103 + 58. Let m = w + 68. Let l = m - 10. Is 0.1 less than or equal to l?
True
Let x be (-5)/(50/5)*(1 + 37). Let l be ((-9)/(-4) - -1)*(15 + x). Which is bigger: -12 or l?
-12
Let m = 34 - 36. Do -67 and m have different values?
True
Suppose -2*r + 4 = -0*r. Let x be 2 - -2*r/(-2). Is 3 != x?
True
Suppose 3*q = 3*a + 9, -4*q + 6*q + 29 = -5*a. Let c = -5 + a. Let y be ((-42)/30)/(2/c). Is y < 3?
False
Let g(q) = -7*q**3 - 2*q**2 + 18*q - 3. Let p(a) = -a**3 + 2*a. Let f(x) = g(x) - 6*p(x). Let s be f(-4). Suppose -5*z = 2*c - 15, 4*z = -c + 6 + 3. Is s > c?
False
Let j be ((-16)/(-10))/((-400)/(-500)). Let u = -6 - -32. Is j equal to u?
False
Let p(s) = s**2 + s + 3. Let k be p(0). Suppose 1 = -2*c - k. Let r = -1/1834 - 5497/9170. Which is bigger: c or r?
r
Let y be 0/(-4 + 0/(5 - 0)). Let w = 493 + -21693/44. Which is smaller: y or w?
w
Suppose -3*k + 2*k = -2*g, 3*k = -3*g. Let s = 641 + -641. Is s less than k?
False
Let m(h) = -h**2 + 19*h + 18. Let a be m(18). Let z be (a/54)/((-2)/21). Is z bigger than -7?
False
Let l = -60 + -48. Which is smaller: l or -109?
-109
Let x = -7383/314 + 2/157. Let a = -24 - x. Is -19 < a?
True
Let s = -16 - -31/2. Suppose -3*x - u + 12 = -4*u, 0 = 2*x + 4*u - 26. Let l = -7 + x. Which is smaller: s or l?
s
Let k = -0.1 - -0.1. Let i = 0.034 - 22.034. Let q = i + 20. Is q greater than or equal to k?
False
Let y = 45 - 60. Is y not equal to -17?
True
Let d be (-6897)/(-95) - ((-3)/(-5) - 1). Is 73 > d?
False
Suppose 40 = 17*h - 22*h. Is h greater than or equal to -44/5?
True
Suppose -u + 2*r + 1 = 0, -r - 3 + 6 = 3*u. Does u = 12/335?
False
Let w(d) = d - 1. Let h be w(3). Suppose n - 2*g + 32 = 0, h*n - g = -0*n - 55. Which is smaller: n or -25?
n
Let p = -7.08 + 2.2. Let x = -5 - p. Let f = -18.1 + 18.3. Which is smaller: f or x?
x
Let p = -109.906 - -110. Let h = p + -0.484. Let k = h - -0.29. Is -5 greater than k?
False
Let q = -2.61 - -2.28. Which is greater: q or -3?
q
Let g = 28 + -52. Let f = -23.9 - g. Which is greater: -2 or f?
f
Suppose 3*u + 1 + 11 = 0, -4*q = -3*u + 28. Suppose 38 = -5*p + 3. Which is greater: q or p?
p
Suppose 0 = s - 4*a + 105, 4*s - 6*a = -a - 398. Is -97 greater than s?
False
Let k(i) = 12*i + 2. Let o be k(5). Let v = -9761 + 9822. Is v greater than or equal to o?
False
Let v = 0.102 + 77.898. Let s = v + -47. Which is greater: -0.1 or s?
s
Suppose 0 = -199*x + 205*x + 210. Is -29 smaller than x?
False
Let s = 0 + -4. Suppose -55 = -2*y + b, 2*y - 3*b = -14 + 59. Suppose y = -13*i + 3*i. Is i not equal to s?
True
Suppose 2*z = -5*x - 4, -2*x = -x + 2. Suppose 7*u + z - 3 = 0. Which is smaller: -3/16 or u?
-3/16
Let p be (-18)/(-7) + 1*(-6 + 4). Suppose 0 = z - 3*z. Is p less than or equal to z?
False
Suppose -5*t = 3*z - 2*z - 17, -z = 2*t - 8. Suppose 3*y - 8 - 4 = 0. Let w = z - y. Is w > 0?
False
Let i = 707.988 - 708. Which is bigger: 3/10 or i?
3/10
Let g(r) = -r**3 + 6*r**2 + 11*r - 19. Let f be g(7). Let d = -7 + f. Which is smaller: d or 1?
1
Let g be (1876147588/(-6))/(21895/(-30)). Let p = 428442 - g. Let n = p - 8/151. Is n != 0?
True
Let y be 80/80 + (-27)/24. Let m = 2.5 - 0.5. Are y and m unequal?
True
Let o = -9 - -16. Let a(k) = k**3 + 8*k**2 + 6*k + 5. Let w be a(-7). Let c be ((-2)/(16/w))/3. Do c and o have the same value?
False
Let a = 126/31 - 2551/620. Is -0.04 at most as big as a?
False
Suppose 33*t + 16 = 17*t. Let u = -19944/25 + 798. Is u greater than t?
True
Let d(f) = -f + 16. Let w be d(13). Let x be ((-459)/72)/(w/4). Which is smaller: x or -9?
-9
Let r(n) = n**3 + 6*n**2 - 8*n - 3. Let d be r(-7). Suppose 3*s + 4*f = -16, 0 = d*s - 5*f - 20. Suppose s = j - 8 + 6. Are 3/5 and j non-equal?
True
Suppose 5*b - 4 = -3*y - 0, -4*b = 4*y - 8. Let u be 8/(-36)*(b + 15/6). Which is smaller: u or -1.4?
-1.4
Suppose 5*m - 5*n = 625, -n + 3*n + 490 = 4*m. Let p = m + -101. Let h(j) = -j**3 + 6*j**2 - 3*j - 1. Let u be h(4). Is p bigger than u?
False
Suppose -4*j - 26 = -j + 4*p, 4*j - 3*p = -43. Let u = 11 + j. Let x be 0*2/(-6)*u. Which is smaller: x or 1?
x
Let m = -7.2 - -7.372. Which is smaller: -1/3 or m?
-1/3
Let u be -9 - -3 - (-1 + (-5323)/1065). Which is greater: u or -1?
u
Let h = -1 - -1.1. Let x = -585.9 - -586. Let u = x - h. Which is smaller: -5 or u?
-5
Let c = 162 + -233. Let k = -78 - c. Let y = -3 + 2. Which is smaller: k or y?
k
Let x = 31.55 - 32. Let a = x - 2.55. Which is greater: 6 or a?
6
Let y = -2.33 + -96.67. Let q = 98.4 + y. Is q greater than or equal to 1?
False
Suppose 0 = 3*j + 275 - 50. Let u be 45/126*12/j. Is u equal to 1?
False
Suppose b - 2*t + 18 = 0, 8*b - 4*t = 3*b - 108. Let g = b + 32. Suppose 3*d - 22 + 1 = 0. Which is smaller: g or d?
d
Let m = 147 - 248. Is m bigger than -98?
False
Let s be 1 + (-20)/16 - 21/(-196). Let l = 2598411/85 - 30570. Let o = 1/17 + l. Which is greater: o or s?
s
Let h = -32/7 + 85/14. Let i be (-5)/(5/(-2)) - 10. Let q = i - -10. Which is smaller: h or q?
h
Let f be ((-144)/174)/(3/2). Let g = 152/145 - f. Which is bigger: g or 3?
3
Suppose -58 = 5*g + 172. Is g greater than or equal to -46?
True
Suppose -1590 = -5*i - 5*l, -4*l - 956 = -5*i + 607. Which is smaller: i or 316?
i
Suppose m - 3*k = -1, 3*m - 2*k - 3*k = -19. Does -21 = m?
False
Let f(d) = -3*d + 48. Let o be f(-5). Let j be (-4)/1 - (5 + (-574)/o). Which is smaller: 0 or j?
0
Suppose 4*w = 4*s - 20, 4*s - 15 = -w - 0*s. Let r = -95 - -101. Is r at most w?
False
Let h be 2*((-50)/(-5))/(-20). Which is smaller: h or 1/686?
h
Let z = -182 - -183. Which is smaller: 33 or z?
z
Let l = -65 + 71. Let t(a) = a**2 - 11*a + 31. Let s be t(l). Which is smaller: -82 or s?
-82
Let n(l) = 3*l + 3. Let r be n(-13). Let f be (4/6)/(33/r). Is -1 less than f?
True
Let g be (-20009)/(-1848) + -11 + 2/(-7). Which is greater: 0 or g?
0
Let i be 1/((-30)/(-4) - 4). Which is smaller: 0.12 or i?
0.12
Let a = 749 - 749. Which is smaller: a or -4/67?
-4/67
Let i = -906 + 905. Is i less than or equal to -15?
False
Let g = 28 - 33. Let s(y) = y**2 + 7*y + 8. Let a be s(g). Is 4 at most as big as a?
False
Let m = -24 - -14. Let t be 2/m + (-42)/(-10). Let g be (116/14 - 2) + 10/(-420)*12. Is t less than g?
True
Let r = -115 - -140. Are r and 25 non-equal?
False
Suppose -y - 20 = -5*n, 3 + 1 = n. Suppose 8 = 3*t - 3*q - 13, 2*q + 8 = y. Let g = -12 - -11.9. Which is smaller: g or t?
g
Suppose 0 = -3*p + 5*o - 5, -2*o + 0*o = -5*p - 2. Suppose 2*j = 6, 5*q + 4*j + 359 = 2*j. Which is smaller: p or q?
q
Let w = -42 + 41. Is -1/44 equal to w?
False
Suppose 2*s = -23*g + 27*g - 12, 4*g = -s - 18. Which is smaller: -54/5 or s?
-54/5
Let h = -0.37 + -14.63. Let b = 0.228 + -0.228. Let q = b - h. Are 0 and q nonequal?
True
Let y be (-4)/4*(0 + 1). Let m be -2 + 42/30 + (-1)/(-2). Which is smaller: y or m?
y
Let j(s) = -2*s - 1 - 3 + s. Let f be j(-3). Suppose -a - 2*r + 3 = 0, 5*a + 2 = r - 5. Is a >= f?
True
Suppose -h + 32 - 8 = 0. Let o = h - 74/3. Is -1 > o?
False
Let y = 403 - 340. Does -2/9 = y?
False
Let i(n) = -n**2 - 7*n + 4. Let h be i(4). Let y = 43 + h. Is 2 at most y?
True
Let x be (-4)/(-54) + 54600/2106. Which is smaller: x or 33?
x
Let w = 1 + 53. Let j = w + -52. Let m = 1.3 + -0.3. Are m and j non-equal?
True
Let c be -172*-2*4/16. Suppose 3*w = q + c + 135, -4*w - 5*q = -301. Suppose -3*n - w = -20. Is -18 != n?
False
Let f = 67 + 13. Let p = 79 - f. Which is smaller: p or -3/41?
p
Suppose 5*c = 3*c - f + 5, 5*c = -4*f + 11. Let n = c - -3. Which is greater: 5 or n?
n
Suppose 3*i + 17 = f, -4*f - 8 = 3*i - 1. Let u be (-5)/2*(-8)/4. Suppose -u*k = f*w - 10*k, -3*k = -3*w. Which is smaller: 1/2 or w?
w
Let o(f) = -f - 3. Let i be o(3). Let h be ((-45)/i - 3)*-2. Let g(n) = n**3 + 2*n**2 + 2*n + 7. Let c be g(-3). Is h <= c?
True
Suppose 50 - 134 = -4*f. Is f less than or equal to 22?
True
Suppose 3*s - 2*k = 2080, -4*s + 2735 = -0*k + 5*k. Is s at least 689?
True
Let m = 4 + -19. Let l = 14 + m. Is l greater than -0