 is bigger: c or 59?
c
Let z be -2 + -3 + 3 + (-8)/1. Let r be (-8)/z*(-22)/(-4). Which is smaller: 4 or r?
4
Let u = 80/27 + -74/27. Which is smaller: u or 7.46?
u
Let g = -48 - -46. Which is smaller: g or -4/3?
g
Let u(a) = a**3 + 13*a**2 + 14*a + 16. Let n be u(-12). Suppose -w = -1, w = k + 2*w - 9. Let y be 12/k*n/(-42). Which is smaller: 5 or y?
y
Let f(i) = -2*i**2 + 4*i + 1. Let n be f(2). Let a be ((-3)/(-6))/(n/(-2)). Which is bigger: a or 5?
5
Let y = -1097/4 + 7751/28. Let g(s) = s**2 + 21*s + 24. Let c be g(-20). Is y >= c?
False
Let s = -4.94 - -5. Let c = 1.06 - s. Let k = -4.79 + -0.21. Which is smaller: c or k?
k
Let u be (-34)/(-14) - 2 - (-1290)/(-21). Let n be (-4)/1 - u/15. Is n <= 1?
True
Suppose w = -4*w + 20. Suppose -11*l = -7*l - w. Let a = -70 - -628/9. Is a at least as big as l?
False
Let t = -22.97 + -0.03. Let p = 27 - t. Does p = -1?
False
Let a = -4.8 + 1.1. Let r = 1.8 + a. Let m = 0.9 + r. Which is greater: m or -0.03?
-0.03
Let b = -746 + 748. Which is greater: 13 or b?
13
Let s = 9 - 5. Let u = 355 + -355. Suppose u = -2*o + s + 2. Which is smaller: o or 2?
2
Suppose -32*w + 37*w = -140. Is -7/4 <= w?
False
Suppose 29 = 2*a - 43. Let w = a + -30. Suppose -2*h - w = -2. Is -1 at least as big as h?
True
Let y = 7 + -12. Let n be 0 + y - -2 - -5. Let d be n/4*(1 - -1). Is d equal to 3/13?
False
Let o be ((-24)/(-22))/((-24)/(-132)) - 14. Is 4 equal to o?
False
Suppose 2*z = -5*j + 162, 2*z - j = 75 + 99. Let y = -108 + z. Which is smaller: y or -87/4?
y
Suppose -22*g - 36 = -24*g. Is g greater than or equal to 1/2?
True
Let j be (-4)/14 + 40/(-7). Let t be (4 + 8)*4/j. Suppose 2*z = -z - 21. Which is bigger: z or t?
z
Let z(j) = -95*j - 8 + 2*j**2 + 6 + 104*j. Let u be z(-5). Is u smaller than 32/9?
True
Let y be (-2)/20 - (-8)/(-20). Let k(q) = -q**3 + 12*q**2 - 9*q - 13. Let b(a) = -a + 1. Let z(t) = b(t) + k(t). Let i be z(11). Is i equal to y?
False
Let y = 9 - 19. Let o = -3977/28 + 567/4. Is o less than or equal to y?
False
Let d = -309 + 207. Let g = d - -103. Which is smaller: 0.118 or g?
0.118
Let z = 2114 + -2175. Which is smaller: z or -0.02?
z
Let o = 7 - 47/7. Let p = 28.62 + -29. Is p at most o?
True
Suppose -14*h = -17*h + 60. Suppose c - 4*z = 1, 3*c + c + 5*z - 4 = 0. Is c greater than h?
False
Let n = 23 - 22.4. Let b = -8 + 7.4. Let z = n + b. Which is smaller: z or 2/11?
z
Let i be (4/3)/(11/(-6)). Which is bigger: i or -7?
i
Suppose -28 = 4*v - h, -2*v = -h - h + 14. Let u be (-1)/3*6/v. Let i = -36.6 - -33.6. Which is smaller: i or u?
i
Let a be ((-1)/4)/((-1)/(-2)). Let t = 60.3 + -49. Let v = -14.3 + t. Does a = v?
False
Let j(a) = -a**3 - 10*a**2 - 23*a - 5. Let w be j(-7). Do 248/27 and w have the same value?
False
Let l(k) = k**2 + 7*k + 5. Let q be l(-6). Let c = -29 + -19. Let h be (-84)/(-385) + -2 + c/(-22). Is h greater than q?
True
Suppose -21 = -6*r - r. Let q be 3*(0 - 6)*-1. Let u be ((-6)/q)/(1/(-9)). Is r < u?
False
Let t = 5 - -18. Let g = t + -16. Let a = -7.01 + g. Is a > 0?
False
Let k(g) = g**3 - 29*g**2 + 23*g - 29. Let f be k(28). Which is bigger: f or -172?
f
Let q be 6/33 - 72/(-88). Is q > 190?
False
Let s(a) = -a**3 + 5*a**2 + a - 24. Let f be s(6). Is -55 greater than f?
False
Let y = -3820 - -3819. Let q = 240 - 3598/15. Is y smaller than q?
True
Let p be 4/(-18) - (-314)/1413. Is -1/383 smaller than p?
True
Let a be ((-9)/(-6))/(2/((-96)/9)). Let b be (-1)/2*a/(-10)*5. Let s = -10 + 7. Which is smaller: s or b?
s
Let m(d) = -d**3 + 5*d**2 + 15*d - 8. Let b be m(7). Let k = 7478401/17 + -439750. Let p = k - 156. Which is bigger: b or p?
p
Let q be -3*4/(24/10). Let f(v) = -13*v**3 + v - 1. Let x be f(1). Let o = x - q. Is -8 != o?
False
Let a = 29 + -26. Let k = -13/4 + a. Is -7/5 equal to k?
False
Let y = 165 + -443. Do -1 and y have the same value?
False
Let c be (3/6)/((91/(-6))/(-13)). Are -2/39 and c unequal?
True
Suppose -4*p + 10 = -18. Let k = -8 + p. Let m be (k/2)/((-1)/2). Which is greater: m or 6/11?
m
Let w be 1/(-3) - 9633/2691. Which is bigger: w or -3?
-3
Let k be (12/(-525))/(-6*(-2)/(-6)). Is k > -1/5?
True
Suppose -5*j - 9 - 188 = -2*x, 5*x + 3*j - 508 = 0. Which is smaller: 100 or x?
100
Suppose -2*j = -3*i - 12, 3*j + i + 14 = 7*j. Let d(h) = -3*h - 11. Let u be d(j). Is -20 smaller than u?
False
Let r be 4 + -4 - (-1 - -7). Let g be (r + 5)/(0 - -1). Let y be g/10*(1 + 3). Which is smaller: y or 2?
y
Let s(x) = -6*x + 47. Let r be s(7). Is 50/9 at least as big as r?
True
Let s(z) = -z**3 + 3*z**2 + 3*z + 4. Let x be s(4). Suppose 0 = -0*w + 3*w - 423. Let f = w + -1835/13. Is x at most as big as f?
False
Let l be (-9 - -13)/((-1)/(-5)). Suppose l = -0*i + 2*i. Are i and -0.3 equal?
False
Suppose -39 - 155 = -2*k. Let q = k + -82. Which is smaller: q or 13?
13
Let m be -4*117/108*-3. Is m bigger than 16?
False
Suppose 7*o - 2*o = 10. Suppose -1 = o*a - y + 7, 3*a + 17 = 4*y. Suppose -5*k + 5*v - 5 = -0*k, -4*k = -5*v + 2. Is k > a?
False
Suppose 2*x - 30 = -2*f, x + 4*f = -0*x + 27. Suppose 2*j - 46 = 5*a, -3*j - a + 38 + 31 = 0. Let l = j + -11. Which is smaller: l or x?
x
Let x = 49 - 31. Let w = -7 - -6. Is w > x?
False
Let o = -0.912 + -0.088. Is o < 48?
True
Let t(p) = -2*p - 2 + 0*p + 3*p + p. Let j be t(6). Suppose -6*z + 3*z + 30 = 0. Is z > j?
False
Suppose 0 = 3*o - 5*n - 37, -2*n = o - 7*n - 19. Which is smaller: 108/13 or o?
108/13
Let w = -0.86 - -0.9. Let m = -11.96 - w. Let o = m - -12. Is o not equal to 0.08?
True
Let p(u) = u**2 - 15*u + 12. Let x be p(14). Let s be x + (5 - 1) + -1. Is 2/41 at least s?
False
Suppose 3*i - 9 = -0. Let n be (-2)/5 - 92/(-5). Let q be (i/n)/((-21)/(-27)). Which is smaller: 1 or q?
q
Suppose -8*z = -10*z + 6. Suppose 126 = -4*q - z*q. Is -18 less than q?
False
Let g = -8/83 + 738/9379. Which is smaller: g or 1?
g
Let z = -6 + 8. Let t = 0.3 + -0.5. Let s = 0.2 - t. Is z < s?
False
Suppose 0*c = -5*c + 3*f + 47, 4*c + 4*f = 12. Let r = c + -5. Let v = -2 + r. Which is bigger: 0.2 or v?
0.2
Let h be 2 - (1 - (-2)/4). Let m = -0.07 - -4.07. Let z = 9 - m. Which is bigger: z or h?
z
Let o = 276/17 + 7843/119. Let j = o - 82. Let f be 3/2 + 1/2. Is j less than f?
True
Suppose 5*b + 36 = 166. Let h = 71 - 67. Let s be 4/(-60) - h/(-10). Which is bigger: s or b?
b
Let k = 7906/9 + -5937352/6759. Which is smaller: 1 or k?
k
Let z = -0.08 + 0.09. Let y = z + 0.99. Let a = 203/3 + -68. Which is greater: y or a?
y
Let p = -1732 - -1689.96. Let w = 42 + p. Suppose 2*y - 4 = -2. Is w at least as big as y?
False
Suppose -2*x + s = -2, 3*x - 16 = -4*s - 2. Let b = 21 - x. Let v be (((-3990)/63)/19)/(2/(-12)). Do b and v have different values?
True
Suppose 0*x - 6*x = -24. Let t be 1/(108/2*x/16). Is t less than or equal to -1?
False
Suppose 2*s = -0*s - 3*g + 19, 4*g = 20. Suppose -s*l - 3*l = -80. Let m = 181 - 164. Is l less than m?
True
Let h = 2555/37 - 69. Let t = -25 + 35. Let a be 34/t - 8/20 - 4. Which is greater: a or h?
h
Let h = 37 - 33. Suppose -m = -6 + h. Suppose b = -m*b - 3. Are -3/5 and b nonequal?
True
Let v = 9 + -11.6. Let l = -59.6 + 60. Let x = v - l. Is -1 smaller than x?
False
Let q = -7 + 23. Let y = 14 - q. Is y > -4?
True
Let w be (2/(-3))/((-39)/(-9)). Suppose n + 2 = -4. Let c be n/(-4)*2/(-3). Is w less than c?
False
Let g = 103 - 112.6. Let j = g + -0.4. Are j and 0.2 equal?
False
Let n = -184.1 + 177. Let l = n + 9.1. Which is bigger: -20 or l?
l
Suppose -4*z + 3 = -4*y + 11, -3*z + 2 = y. Suppose z = -3*o - 4*o. Is -1/4 at most as big as o?
True
Suppose -3*v = -4*h + 30, -3*h - v + 10 = -h. Let u = h + -23. Is 0.1 less than or equal to u?
False
Let f = -20676973 - -1013131744/49. Let a = 815 + f. Let c be ((-2)/4)/(2/4). Which is smaller: c or a?
c
Suppose 3*c + 5*j = -578, 2*c - 125 = -5*j - 507. Let t = 779/4 + c. Which is bigger: 3/8 or t?
3/8
Suppose -r + 46 = -4*n, r - 5*n - 48 = -0*n. Let i be (-5)/10*r*1. Which is bigger: i or -18?
-18
Let s = -0.3 - -3.3. Suppose 0 = -k + 2*n - 4*n - 30, 5*k - 3*n + 150 = 0. Let j be 10/k - (-1)/(-3). Which is greater: s or j?
s
Let w = -1029 + 958. Let q = 2 + -73. Is q at least as big as w?
True
Let t be 528256/1536 - 2/(-24). Which is bigger: t or 2?
t
Suppose 0 = -3*r - 5*x + 13, 0 = 4*r - 3*x + 2. Is r greater than or equal 