*-3)/((-1)/1758). Let u = 440 + m. Which is smaller: -17/2 or u?
-17/2
Let y = 889 - 214. Suppose -6*n - y = -669. Let c be 1/3 + (-1)/3. Which is smaller: c or n?
n
Suppose -4*p - 6720 = 10*p. Let q = p - -395. Which is smaller: -84 or q?
q
Let p be 15/(-6)*(0*3/(-6) + -34). Is 70 at most as big as p?
True
Let m = -0.09 - -10.09. Let s be -25 + 1 - ((-464)/8 - -41). Which is smaller: m or s?
s
Let v = 136099171/379 - 359101. Is v less than -1?
False
Let d(x) = x**3 - 4*x**2 + 5*x - 4. Let t be d(3). Suppose -g + 2 = -t. Let o = 242 - 236. Which is bigger: g or o?
o
Suppose -5*d - 8 - 2 = 0, 0 = -2*a - 2*d - 84. Let t be (-2*(-2)/a)/((-24)/6). Let l(b) = -b**3 - 5*b**2 + b + 4. Let j be l(-5). Which is bigger: t or j?
t
Let t(q) = q**2 - 100*q + 2368. Let d be t(76). Is 3265/6 < d?
False
Let a = 473 - 233. Suppose 11*h = -4*h + a. Is 19 <= h?
False
Let o = -7736 + 7662. Is o greater than 65?
False
Let p be 296/583 - (-126)/3339. Let m = 3.92 + 0.08. Is m at least as big as p?
True
Let v be (1 - (-4198)/(-1092)) + -33 + (-11206)/(-338). Which is greater: -3 or v?
v
Let s = 107 + -101. Let r(t) = 33*t + 14. Let n be r(s). Suppose 0 = -7*k + 3*k + n. Is 0.1 equal to k?
False
Let s = 246/19 + -757/57. Is -1585 equal to s?
False
Suppose 4*k + 24 = -8*k. Let m be 2*((-15)/2 - k). Let j = 5 - 19. Are j and m non-equal?
True
Let g be 9/27 + 176/(-6). Let y = 26 + g. Let j be 31/y - (40/12 - 4). Is 0 < j?
False
Let q = 42 + -58.7. Let k = q + 16.8. Let p be (-15)/(-6)*36/25. Which is greater: p or k?
p
Let t = 256 - 44. Let f = -179 + t. Which is smaller: f or 35?
f
Let m be (-5)/35 + 1/((-63)/25884). Which is smaller: m or -2465/6?
m
Let c = 1014 + -512. Suppose -g - 45*q + 41*q = -501, g - 501 = -q. Which is smaller: c or g?
g
Let y(k) = -2*k - 2*k**2 + k**3 + 4*k**2 - 7*k**2 - k + 17. Let p be y(5). Suppose -3*d + 13 = -2*s, p*d - 6 = 8*s - 6*s. Is 7 at least d?
True
Let h be 2/((-13)/((-546)/12)). Suppose 3*o + 2*f - 6 = 0, -5*o + h*o - 2*f = 14. Are o and -7 nonequal?
True
Let y(u) = -u**3 + 8*u**2 - 5*u + 1. Let d(f) = 2*f**3 - 16*f**2 + 10*f - 3. Let s(m) = 2*d(m) + 5*y(m). Let p be s(7). Is p at most as big as 10?
False
Let b = -12156 + 12154. Are -3005 and b nonequal?
True
Let g(d) = 2*d**3 + 30*d**2 + 66*d + 17. Let c be g(-12). Is c greater than 75?
True
Suppose n - 3*n - 4 = -2*k, 0 = -2*n - 4*k + 32. Is n greater than -243?
True
Let a(t) = -42*t**2 + 9*t - 10. Let g be a(4). Let s = 26484/41 + g. Suppose 5*z = 1 + 4. Are s and z nonequal?
True
Let z = -57 + 57.31. Let u = -34.69 - z. Let j = -34 - u. Which is bigger: -0.2 or j?
j
Suppose 3*t = 19*t. Let f(p) = -17*p - 6 + 0 + t - 5. Let z be f(-4). Which is smaller: 58 or z?
z
Let r be ((-3)/(-30)*8)/((-154)/(-22385)). Let t = r + -116. Is -124/3 > t?
False
Let m(i) = -3*i**3 + 57*i**2 + 5*i - 26. Let b be m(19). Suppose 3*z = g - b, -22*g - 2*z + 185 = -19*g. Which is smaller: 61 or g?
61
Suppose -4*a + 3025 = -2*c - a, -3*a - 7573 = 5*c. Let p = c + 13651/9. Which is smaller: 2 or p?
2
Let l = 1035/4 - 7253/28. Let f = -614 + 1027. Which is bigger: f or l?
f
Let k = -110 - -77. Suppose 7*c - 3*c + 2*h = -132, 5*c = -2*h - 166. Is c greater than k?
False
Suppose 4*y + 0*l - 59 = -5*l, 3*l + 83 = 5*y. Let s be 8/(-12) - y/3. Let r be (2/s)/((-22)/(-33)). Is r smaller than 10/11?
True
Suppose -22709 = -22*x - 7719 + 21662. Which is smaller: x or 1667?
x
Suppose -2*p + 224 = 3*n, 5*n - 282 = -5*p + 98. Let i be (-7)/(-76)*n/28. Is i <= 1?
True
Let l(r) = 23*r - 16*r - 8*r - 6. Let t be l(-5). Let j = 127/20 - 27/4. Is j bigger than t?
True
Let r(m) = 157*m - 130. Let i be r(-5). Which is smaller: -917 or i?
-917
Let j be 58300/(-88) - (-4)/(-1). Which is greater: j or -667?
j
Let u = 24.8 - 41.8. Let m = -114 - u. Which is smaller: m or 0.1?
m
Let q = -22641 - -1652837/73. Which is bigger: q or 0?
q
Let v be ((-240)/(-14))/((-4)/(-56)). Let g be (v/(-59080))/(-2*9/84). Is g bigger than -2/5?
True
Let o = 2.27 + 4.67. Let m = o - 6.74. Is m != 7.6?
True
Let q be ((-30)/5 - 2) + 22. Suppose 10*t - q = -54. Let m(k) = -k - 11. Let g be m(-6). Which is smaller: t or g?
g
Suppose 35*y = 39*y. Suppose 2*v - 12 + 64 = y. Let c = 23 + v. Which is bigger: c or -0.1?
-0.1
Let b = -250 + 250. Suppose 5*i + b*i = 285. Is i at least 0?
True
Let o be -9*((-3)/9 + 0). Suppose -o*t = -0*t + 18. Let u be (1/1)/((-6)/42). Is t at least as big as u?
True
Let i be (0 - 0)/(2/1). Suppose i = -w - 18 - 2. Let t(f) = 12*f**2 + 348*f - 21. Let c be t(-29). Is c > w?
False
Suppose 4*s + s + 45 = 0. Let h be 40*(-7)/(-28) - 18. Which is greater: h or s?
h
Let f = -995/3854 + 15/47. Suppose r + 14*r = 0. Does f = r?
False
Suppose 0 = 3*v + 2*v + 455. Suppose -121 = -14*b + 19. Suppose 0*m - b*m - 920 = 0. Is v != m?
True
Let c = 0 - 0. Suppose 0*d + 2*u + 126 = -3*d - 2*u, 0 = -u - 12. Is d > c?
False
Suppose 0 = 5*h - 3*t - 82, 3*t = -2*t + 5. Suppose 306 = h*s - 34*s. Is -15 at most as big as s?
False
Let f = -29.307 - -3133.307. Is f less than or equal to -1/4?
False
Let t = -2032 - -692. Let d = t - -49576/37. Which is smaller: 1 or d?
d
Let r = -17 - -16. Let k be -1 - -1 - (-1 - r). Let l be 42/9*(-72)/(-322). Which is smaller: k or l?
k
Suppose n + 465 = -3*g, -3*n + 65*g - 61*g - 1330 = 0. Are n and -451 equal?
False
Suppose -362*w + 357*w = -5*z - 505, -208 = -2*w - z. Which is smaller: 85 or w?
85
Let p = 0.8437 + -0.0437. Let r = 1.2 + -0.2. Let w = r - p. Which is greater: -2 or w?
w
Let y be 5/(5/7)*2. Let k(l) = 2*l**2 - 34*l + 24. Let w be k(y). Is w at least as big as -59?
False
Let x(y) = -y**3 + 22*y**2 - 14*y - 17. Let n be x(16). Suppose n - 54 = 17*g. Let z = -114 + g. Is -41 <= z?
True
Let k be -104 - 6/(8 - 2). Let x be (-103)/4*-1*(-112)/(-28). Let j = x + k. Is 4/3 smaller than j?
False
Suppose 0 = 2*m + 8, -76*u + 20 = -80*u - 4*m. Let k be (-45)/(-98)*8/6. Let y = -100/49 + k. Which is greater: y or u?
u
Let x = -36520 - -36510. Let j(t) = -t**3 + 3*t**2 + t + 3. Let y(o) = 2*o**3 - 3*o**2 + o - 2. Let s be y(2). Let k be j(s). Which is bigger: k or x?
k
Suppose -1356 = 6963*g - 6962*g. Is g smaller than -2?
True
Suppose -7*n - h + 720 = -2*n, 0 = 4*n + h - 575. Let i be (-245)/(-4) + (n/(-20) - -7). Is 62 > i?
True
Let w = 6.7 + -8. Let m = 1.282 + w. Let r = m - -0.018. Is r > -20?
True
Let i(r) = r**2 + 1. Let j(n) = 6*n**2 - 22*n + 27. Let l(g) = -5*i(g) + j(g). Let y be l(21). Is y at most as big as 2/567?
False
Let r be ((-210)/9)/((-6)/(-9)). Let n = r - -36. Suppose -8 = -2*h - 4. Which is greater: h or n?
h
Let d = 1815 + -78. Are 1735 and d equal?
False
Let y(t) = -10*t**3 - t**2 + t + 2. Let g = -406 + 405. Let p be y(g). Do p and 13 have the same value?
False
Let c = -545908/105 - -36396/7. Let p = c - 2/5. Is p <= -1/10?
False
Let z = 150 - 97. Let i = -51 + z. Which is greater: 3 or i?
3
Let a(j) = j**3 - j**2 - j + 2. Let i be a(1). Which is bigger: -1/7105 or i?
i
Let h = 0.0171 + 7.9829. Which is greater: -325 or h?
h
Let b(r) = 2*r**3 - 100*r**2 + 188*r + 193. Let n be b(48). Is n equal to 3/3283?
False
Let k = -88 - -76. Let l(x) = -5*x**2 + 11*x - 18. Let y(o) = -14*o**2 + 33*o - 53. Let a(r) = 17*l(r) - 6*y(r). Let v be a(k). Is v <= -5/17?
False
Let v = -777 + 790. Suppose 25 = -v*r + 25. Is r at least 0.77?
False
Let h be (-21120)/(-231) - (3 + -5 + (-18)/(-2)). Is 85 less than or equal to h?
False
Let r(n) = n**2 - 36*n + 70. Let v be r(34). Let a(p) = 36*p**2 + 28*p + 1. Let l be a(v). Which is bigger: l or 202?
202
Let o = -507 - -477. Let f be 4 + o/(-12)*-3*22. Which is bigger: -162 or f?
f
Let o = -4.4078 + 4.5078. Which is greater: -17457 or o?
o
Suppose c + 2*g - 27 = 0, g + 81 = 3*c - g. Suppose -c = 2*t - 5*m, 2*t + 4 = m - 3. Let u be (-2*t/(-2))/1. Is u smaller than -21/11?
False
Let u be (-2 - -1)/1 - -1. Suppose -2*p + 10 = -0*p - 5*j, 0 = -4*j. Suppose -3 = 2*t + q, u = 4*t - q + p*q + 8. Is t equal to -2/9?
False
Suppose -4*a - 1262 = 3*y, 0*y = 5*a + 3*y + 1576. Let f = 400 + a. Which is bigger: f or 88?
88
Let u be 3/9 - (-1)/(2/(-1538)). Let h = -762 - u. Let r = h + -7. Is 2/33 smaller than r?
False
Suppose 2*s + 977 = 6*h - h, -4*s - 3*h - 2019 = 0. Let o = 25137 + -25638. Is o at least s?
True
Suppose 3183*m - 3197*m - 7294 = 0. Is m greater 