-2). Suppose -11*y + 760 = -y. Let c = y + -119. Is c at most as big as o?
False
Let q = -80.7 + 82. Let t = -16.3 + q. Let b = -13 - t. Which is greater: -2/39 or b?
b
Let d be (-153)/(-63) - 21/49. Suppose -a - 8 = a, 2*a - 16 = -d*x. Which is bigger: x or 144/11?
144/11
Suppose -d - 3*z + 2*z + 5 = 0, -3*z = -3*d - 9. Let s be 4 - d - ((-14)/2 + -2). Which is smaller: 54/5 or s?
54/5
Let d = 20/9 + -23/9. Let m = 18.09 - 9.2. Let p = m - 1.89. Which is smaller: p or d?
d
Let p(u) = 6*u**2 + 42*u + 35. Let y be p(-6). Let f be y*(8 - (-10686)/(-1338)). Is 1 at least as big as f?
True
Let p be 129/10 - (-40)/(-1600)*56. Let v = -3 - 21. Let r be (v/(-9))/(4/18). Is p < r?
True
Suppose 4*m + 965 + 371 = 3*q, 5*m = 10. Let y = 559 - q. Which is bigger: 107 or y?
y
Let q(b) = -b**3 + 29*b**2 + 64*b - 54. Let g be q(31). Let h = -543/2 - -1115/4. Is g bigger than h?
True
Let p = 318262870/1072577 - 2/97507. Which is greater: p or 297?
297
Let i(t) be the second derivative of t**5/20 - t**4 + 10*t**3/3 - 9*t**2/2 + 8*t. Suppose 292 = 7*j + 222. Let z be i(j). Is z at least -13?
True
Let a be -2 + 1 - 1 - -4. Let n(v) = -2*v**3 - 3*v + 66. Let y be n(0). Suppose -y + 6 = 15*o. Which is smaller: o or a?
o
Let h = -2415 + 2479.04. Let w = 64 - h. Is w not equal to 1/2?
True
Let u(g) be the first derivative of -15*g**4 + 2*g**3/3 - 5*g**2/2 + 3*g + 14. Let c be u(1). Let l = c + 56. Which is smaller: l or -12?
-12
Let u = 10495 + -10756. Which is smaller: u or -1822/7?
u
Let t(s) = -326*s - 30. Let r be t(-3). Suppose -204 = 8*z - r. Is z less than or equal to -0.1?
False
Let r = 43 + 25. Let p be r*(-3)/(-30)*5. Is 33 smaller than p?
True
Let f be 20/10 + 128 + -1. Let u = 60 - f. Is -67 greater than u?
True
Let t be (8/12)/(22/99). Suppose -5*q - 3*b = -0*q + 466, t*b = 3*q + 270. Is q > 2/3?
False
Let d = 3.2897 + -0.2897. Let f be (-1160)/15*(-9)/4. Let s be 12/(-9)*(-9)/f. Are d and s equal?
False
Suppose 185*d - 156*d + 19254 = -17344. Is d less than -1254?
True
Let w(v) = -3*v - 162. Let u be w(-50). Let d be 27/u - (11 + -14). Is 1.5 not equal to d?
True
Let a(f) = f + 23. Let q be a(-13). Let i be ((q/(-25))/1)/(1/5). Let u(w) = -w + 5. Let h be u(3). Is i <= h?
True
Let z = 52/33 - 359/165. Which is bigger: z or -46?
z
Let n(f) = -2*f**2 - 306*f + 1884. Let b be n(6). Which is smaller: b or 0.544?
b
Let a be (3/(-9) + 47/6)*248/12. Is 184 at least as big as a?
True
Let l = -351 + 349. Let p be (1317/595 - 3/21) + l. Is 1 >= p?
True
Let h = 12.3 + -11.3. Suppose 4*t - o - 1 = 0, 3*t = 5*t - 2*o - 2. Suppose t = -16*u + 7*u - 27. Which is bigger: u or h?
h
Let t = -804/215 + 6/43. Let v = 73 - 61. Suppose v = -5*y - 2*k, 5*y + 3*k - 4 = -12. Is t less than or equal to y?
False
Suppose 17*p = 84 + 103. Let w(a) = 6*a**2 - 63*a - 32. Let r be w(p). Which is smaller: r or 4/41?
4/41
Let y be (-1)/((-28)/(-48)) + 2. Let m = -1345 - -6722/5. Which is bigger: m or y?
y
Let j = 7/10152 - -43927669/50760. Let w = j - 866. Is -2.1 at most w?
True
Suppose 1142*z = 1130*z - 8652. Is z at least as big as -721?
True
Let f = -29 + -35. Suppose 0 = -5*u + 20 + 10, 5*j + 344 = 4*u. Is j != f?
False
Let c = 1455 + -1456. Is c at least -15/59?
False
Suppose 4*s = 2*s + 6. Let j(k) = -k**2 + 107*k + 7438. Let i be j(-48). Which is smaller: i or s?
i
Let m(v) = v**2 - 9*v - 509. Let x be m(-20). Let a be 75 + (-4)/4 + 2 + -3. Is a smaller than x?
False
Let f = 3.4 - -2.02. Let d = -1.52 + f. Which is smaller: 2 or d?
2
Let k(s) = s - 3. Suppose -4*q + 5*q - 6 = 0. Let m be k(q). Suppose -r + m*r + 10 = 0. Is r at least as big as -5?
True
Let l(c) = c**2 - 161*c + 6473. Let g be l(78). Which is smaller: -1/17963 or g?
g
Let l(z) = -3*z - 18. Let u be l(-16). Let j be 2/10*u/12. Is -40/11 at least j?
False
Suppose -3*i - 5*a + 217 = -129, i + a = 112. Are i and 1 equal?
False
Let l be (120 - 129)*(-2)/((-2)/(-3)). Does -0.055 = l?
False
Let k = 12 + -15. Let l(u) = 31*u + 11. Let r be l(k). Let x be 10/(-65) - r/26. Which is smaller: 16/5 or x?
x
Let y be (1/(-3) - -1) + 0. Let c be (4 - (1295/325 + -2)) + 12 + -14. Is c smaller than y?
True
Let f = 3/6275 + -263859/646325. Is 1 equal to f?
False
Let j = 229 + -189.8. Let r = 1.2 - j. Let d = r - -36. Which is bigger: d or 4?
4
Let o be 2/(3 - 3 - 1). Let n be 0/o*(-14)/(-14). Do n and 2/11 have different values?
True
Let i = -7644 - -7644.1. Is 210 != i?
True
Let t(b) = b**3 + 71*b**2 + 142*b + 277. Let p be t(-69). Is 9/782 less than or equal to p?
True
Let z(h) = -5*h + 144. Let k be z(23). Suppose -93 = 10*y - 343. Is k less than or equal to y?
False
Let x = 26.238 + 384.762. Which is smaller: x or 4?
4
Suppose 278*t = 4746 - 66184. Let v = -770 - -548. Which is smaller: v or t?
v
Let w = 42724 + -42662.041. Let c = 62 - w. Let j = c - 0.091. Which is smaller: -3 or j?
-3
Let o = -803 - -830. Suppose 4*n + 54 = -2*r, -6*r - o = -4*r - 5*n. Let q(j) = 6*j + 2. Let x be q(-4). Which is smaller: x or r?
x
Let d = -127.854 + 128. Let v = 0.346 - d. Which is bigger: 1 or v?
1
Let c be 192/40*(2 - (-9939)/(-12)). Is -3970 < c?
True
Let h(j) be the third derivative of 5*j**4/24 - 35*j**3/6 - 7*j**2 + 4. Let y be h(7). Let v(q) = -2*q - 4. Let d be v(-4). Is y < d?
True
Let t(b) = b**3 + 23*b**2 + 40*b - 36. Let m be t(-21). Suppose m*h = 10*h + 16. Let u be (-3)/h - 6/((-144)/(-498)). Is u at most as big as -21?
False
Let p = 4.221 - 4.3. Let t = p + -0.581. Let d = t - -0.76. Which is smaller: -46 or d?
-46
Suppose -15*j - 440 = 5*j. Let l be 6/10 - j/5. Which is greater: l or 2.2?
l
Suppose -6*h + 4 = -7*h. Let i be (952/816)/(14/(-6)). Is i at most h?
False
Let l(w) = -w**2 - 6*w + 4. Suppose 9 = -4*n - 3*x, -3*n + 0*x - x - 13 = 0. Let g be l(n). Suppose 0 = -f + 5*f - g. Which is greater: f or 5?
5
Let a be ((-6320)/1570 + 4)*-1. Are 1 and a equal?
False
Suppose w + 8627 = 8612. Is w less than -356/23?
False
Let g = -129 + 895/7. Let y be (20/(-15))/(4/6). Which is greater: g or y?
g
Let l be (-4)/440*8*(-15)/(-6). Let y = 45.27 - 45. Let s = y + 0.03. Is s != l?
True
Suppose 71*x + 52 = 19*x. Let l(k) = k + 3. Let o be l(-4). Is x > o?
False
Let m = -38/6261 + 2195638/18783. Let g = 117 - m. Suppose 0 = s + 2, -12*w = -13*w - s - 2. Which is smaller: g or w?
w
Let g = 1.857 - -1.143. Which is smaller: g or -0.0444?
-0.0444
Suppose -3*i = -5*z - 39, -i + z = -25 + 10. Suppose 4*j - i = 5*m + 1321, -3*j + m + 1007 = 0. Is j >= 336?
True
Suppose 34*t = 31*t + 796 + 614. Which is bigger: 489 or t?
489
Suppose 11*z - 2*z = -585. Let r = 63 + z. Let w be 0/(r/8 - (-7)/(-4)). Which is smaller: w or -3/58?
-3/58
Let n be (-3 - (4 - 0))*33/(-2). Suppose 7*g = 2*g - 530. Let j = n + g. Is j < 10?
True
Let t = 89.27 + -88.27. Is t != -1976?
True
Suppose 0 = 4*w - v - 805, -2*v = 3*w + w - 802. Let f be ((-3)/11)/(10 + (-221330)/22130). Let t = f - w. Which is smaller: 0.2 or t?
t
Suppose 12116 = 100*k - 1384. Is k at most 128?
False
Let r = 14.4 + -126.4. Let q = r + 111. Is q > -5?
True
Let n(j) = j**2 - 14*j + 28. Let o(q) = 3*q**2 + 12*q + 11. Let y be o(-4). Let z be n(y). Is -21 <= z?
True
Let f be 2/(-12) + (-50)/(-12) - 0. Suppose 2*u - 2 = f*u. Let b = 3080/57 - 164/3. Which is bigger: u or b?
b
Let d = -15871/9706 - -75/46. Is -4/9 at least d?
False
Let l be 47772/15*(-1780)/(-267). Is 21232 bigger than l?
False
Let v = 16762/3 + -5702. Is v greater than -116?
True
Let w = -5 - -17. Let h be ((-18)/30)/(-2 + (-156)/(-80)). Is w greater than h?
False
Suppose 4*l = 3*k - 35, -4*k + 55 - 6 = -3*l. Suppose k*g - 2028 = g. Are g and 169 non-equal?
False
Suppose -6*o + 5*r - 5 = -o, 4*o - 5 = -5*r. Let c be (-712)/40 - (2 - o). Which is greater: -21 or c?
c
Let x be 7399/604 - (-1)/(-4). Which is greater: x or -10.3?
x
Suppose -3*j - 4*u = 4578, j + 1652 - 106 = 2*u. Is j at least as big as -1534?
True
Suppose -4*k + 250 = -146. Suppose 4*f = 81 + k. Suppose -2*n - n = f. Is n equal to -13?
False
Let f = 0.19 - 77.19. Let h = -76.76 - f. Let p = -6 + 6. Which is bigger: p or h?
h
Let v(w) = w**3 + 14*w**2 + 7*w - 16. Let b be v(-14). Suppose -7*g - 67 - 486 = 0. Let p = g - b. Which is smaller: 34 or p?
34
Suppose -3*a = -4*a - 2*y - 15, 1 = -y. Let w = -24 - a. Is w <= -15?
False
Let n be ((-19)/38)/((3/(-21))/(10