uppose 13*a - 481 = -232 - 236. Let h be (513/(-170))/3 + 1. Which is greater: a or h?
a
Let y = 21 - 21.02. Let v = 0.059 + y. Which is bigger: 1 or v?
1
Let l(t) = 244*t**2 + 39*t - 87. Let f be l(2). Which is bigger: 966 or f?
f
Let p = -12 + 8. Suppose 0 = -333*q + 334*q - 11, 0 = -h - 3*q + 31. Which is greater: h or p?
h
Suppose 23*x = -16*x + 26*x + 7683. Let k be (1 + 196)/((-2)/(-6)). Is k at most as big as x?
True
Let f = -145 - -233. Suppose -28*x = -26*x + f. Which is smaller: -43 or x?
x
Let d(y) = 39*y + 77. Let n be d(-2). Is n > 449?
False
Let b(x) = 20*x. Let f be b(-1). Let j(l) = 7*l - 119. Suppose -4*h - 4*r = -8*h + 48, -4*r = 5*h - 78. Let s be j(h). Is f less than or equal to s?
False
Let r = 347 + -344. Suppose -19 + 16 = r*i. Which is smaller: -3/49 or i?
i
Let n = -19695 + 19695.2. Which is bigger: 3083/5 or n?
3083/5
Let f = 2904 - 3900. Is f greater than -2?
False
Let o = -29067 + 2034651/70. Is o equal to -2?
False
Suppose 10*v - 99480 = -39*v + 19*v. Are v and 3316 non-equal?
False
Let q(o) = -o**3 - 22*o**2 - 120*o + 11. Let l be q(-11). Do l and -13/153 have different values?
True
Let h = -382 + -10.1. Let y = 392 + h. Which is bigger: 459 or y?
459
Let b(i) = i**3 - 8*i**2 + 9*i - 1. Let z be b(7). Let d be -15 + z - (0 - 10/6). Is d <= -0.18?
True
Suppose 0*w + 2*w + 4*z - 10 = 0, -3 = -w - z. Suppose i - w = a + 1, 3*i + a = 10. Suppose -4*q = 4*m - 84, i*q + 0*q - 21 = -m. Which is greater: 20 or m?
m
Let h be 1/(((-1675)/210 - -7) + 1). Suppose 0*q + 3*q - 138 = -3*n, -118 = -3*n + 2*q. Is h bigger than n?
False
Let u be (-1)/(588/117 - (7 - 2)). Let p(q) = 2*q**2 + 81*q + 116. Let h be p(u). Which is bigger: h or -1/50?
-1/50
Let o be 2/(-11) - 26/(-22). Let s be 6 - (-5 + 2 - -1). Let f(z) = -2*z**2 + 13*z + 9. Let u be f(s). Are u and o nonequal?
True
Let q be 2/3 + (-133)/(-3). Let f = -563627 - -563674. Which is bigger: q or f?
f
Let c = 36 - 220. Let d be 29/116 + 3/12*-2. Which is greater: d or c?
d
Let z = -2617389/2718205 - -11/14693. Let d be 1 - 0 - 43/37. Let s = d - z. Is 0.4 smaller than s?
True
Let j(r) = -r + 23. Let w be j(14). Suppose 5*z = -2*c + 2*z - 8, -5*z - w = -c. Let x be ((-2)/32)/((-24)/32). Do c and x have the same value?
False
Let x = 4514942/3269 + -9668/7. Let c = -21779 - -21778. Which is smaller: c or x?
c
Let q = 2866 - 2866. Is q less than or equal to -1/3531?
False
Let b = 29 - 39. Let n be (-35)/b + (4 - 7). Which is bigger: 1/13 or n?
n
Let j = -14376 + 359348/25. Are -1 and j non-equal?
True
Suppose -8 = 5*g + 7. Suppose -z + 3*f + 10 + 5 = 0, 2*z = -4*f - 20. Let u(l) = 14*l - 5. Let i be u(z). Are i and g equal?
False
Let c = 298 + -290. Suppose -25*w + 561 = -c*w. Which is smaller: w or 97/3?
97/3
Let g = -0.769 - -0.429. Which is bigger: 0.011 or g?
0.011
Let m be (3 - 4)/(26/14 - 2). Let c(t) = t**3 - 7*t**2 - 4*t + 5. Let k be c(m). Suppose 5*g + 45 = -80. Is k less than or equal to g?
False
Let l = 66 - 294. Let r = -226 - l. Is r > 1/49?
True
Suppose -3*s + 22 = -0*s - 5*m, -3*m - 14 = -s. Let x(b) = -b**2 + 21 - 4*b - 13*b - 5*b + 13*b. Let r be x(3). Which is bigger: s or r?
s
Let n be 3*(-4)/(-8958)*-1. Let j be (-2 + 1)/(11/((-220)/(-20))). Which is greater: n or j?
n
Let m(o) = 15*o**3 + 121*o**2 + 5*o - 19. Let b be m(-8). Which is smaller: b or 117?
b
Suppose -5*w + 935 = -m, -8*m + 1103 = 6*w - 13*m. Is 212 less than or equal to w?
False
Let x(h) = 12*h**3 + 3*h**2 + 3*h + 1. Suppose 10*m - 32*m - 22 = 0. Let s be x(m). Are -11 and s unequal?
False
Let t = -1.9 + 2. Let k = -0.03497 + -0.66503. Is k smaller than t?
True
Suppose -2*j = -10*j + 904. Let l be 33/(-9) + 1/(-3) - j. Let p = l + 106. Is p not equal to -7?
True
Let z = -325 + 351.6. Let n = 8.4 + z. Is -1/4 at least n?
False
Suppose 4*z = -b + 2*b - 46, 53 = 2*b + 5*z. Let u be (b/(-9605))/(2/20). Is u greater than or equal to -1?
True
Let m = -1.07 - -0.676. Let c = m - -0.144. Let r = -0.1 - 0. Is r >= c?
True
Let g = 201988 - 2886206533/14289. Which is smaller: -1 or g?
-1
Suppose -73*w = -67*w - 18. Suppose 0 = -w*t + 22 - 205. Which is smaller: -59 or t?
t
Suppose -36*y + 440181 = 36*y - 9*y. Is 6988 < y?
False
Let y = 1222 - 1221. Which is bigger: 1968 or y?
1968
Let o = 0.1 + -0.2. Let p(n) = 2*n**2 - 19*n - 31. Let c be p(11). Let u be (c/2)/((-284)/24 + 5). Is o >= u?
True
Let a = 196 - 92. Suppose 20*p = 24*p - a. Which is smaller: p or 33?
p
Let d = -35845147/9840 + 18214/5. Which is smaller: d or 1?
d
Let x be ((-9)/9 - 6) + -103. Let d be 3/15 - 88/x. Which is smaller: d or 3/310?
3/310
Let v be ((-1365)/700)/(36/8). Suppose -13 = -4*g - 17. Which is smaller: v or g?
g
Suppose 35 - 3 = 16*v. Let j be v - ((-18)/(-27))/(4/(-18)). Which is greater: j or 2?
j
Let z = -487241/10491 - -1810/39. Which is smaller: -1 or z?
-1
Let k(f) = 5*f - 6*f - 5*f**3 + f. Let o be k(-1). Suppose 4*g = -5*c - 4, 4*c + 7*g - 4 = 11*g. Which is smaller: c or o?
c
Suppose 15975 - 4653 = -18*f. Which is smaller: f or -631?
-631
Let p = -0.12526 + -465.87474. Is p <= -0.12?
True
Let d(t) = -t**2 + 5*t - 5. Let i be d(2). Let n = 14676 - 14653. Does n = i?
False
Let w = 1.55 + 0.45. Let z = -0.295 - 3.005. Which is bigger: z or w?
w
Suppose 39*b + 5410 + 4301 = 0. Let k = b + 54. Is k < -196?
False
Let n(j) = -j**3 + 9*j**2 + 12*j - 3. Let p be n(10). Suppose -2*y = -2*i + 48, y - 23 = -2*i - 2*y. Which is greater: p or i?
i
Let y = 304 - 302. Let s be (-8)/(-22)*(-9 - y)/165. Is 0 at most s?
False
Let f be -10*144/60*(-25)/10. Is f smaller than 65?
True
Let z(l) = 60*l + 1189. Let y be z(-20). Is y bigger than -100/9?
True
Let w(r) = 119*r + 3162. Let j be w(-27). Is j != -49?
True
Suppose -20 = 2*g - c + 6*c, 5*g + 8 = -2*c. Let s = 2175/7 + -115205/371. Is g at least s?
False
Let n = 79 - 75. Let l(u) = -u**2 - 36*u + 156. Let z be l(n). Is z at least as big as -5?
True
Let n(t) = -71*t - 39. Let u be n(-3). Suppose -5*i + q - u = 0, 3*i - 3*q + 74 + 28 = 0. Suppose m = -16 - 19. Is m at least i?
True
Let c = 383 + -106. Let w = 265 - c. Which is bigger: -9 or w?
-9
Let d = -133/1840 - -11/184. Which is smaller: 9 or d?
d
Suppose -14 = -2*z + z. Suppose x + 6 = -2*q - z, 4*q + 38 = -x. Let j = q - -11. Is j not equal to -1?
True
Suppose 56 = 5*s - 114. Let v = s - 28. Suppose -o = -t - v*o - 12, 2*o - 2 = 3*t. Which is smaller: t or 2?
t
Let u = -1.77 + -12.79. Let r = u - 0.44. Is 1/13 != r?
True
Let u = 30 - 54.5. Let b = -23 - u. Let k = 538 + -537. Do b and k have different values?
True
Let a = -36.2 - -40. Let s = 34.8 - a. Let v = 32.3 - s. Which is bigger: v or -0.2?
v
Let t(j) = 92*j + 960. Let o be t(-27). Which is bigger: -0.1 or o?
-0.1
Let o be ((-1241296)/62064 - -19) + 1. Which is greater: -1 or o?
o
Let u = -620.033 - -620. Let d = u + 28.033. Which is bigger: -2/5 or d?
d
Let q = 103259/6 + -17206. Is 5 less than or equal to q?
False
Let w = -9/28727 + -184369823/201089. Which is smaller: w or -917?
-917
Let z(w) = -68*w - 335. Let i(y) = -2*y + 1. Let q(v) = i(v) + z(v). Let r be q(-5). Is 22 at most r?
False
Let y = -4 - -5. Let f be (-6)/(-33) - 339/1925. Let p = f - -4/35. Is p > y?
False
Let g = -14 + 14.5. Let b = 1.5 - g. Let p = -1799 + 48575/27. Which is smaller: p or b?
p
Let k = 584 - 590. Let g be k/(-4)*16/(-84). Which is smaller: -253 or g?
-253
Let g be (184/506)/((-6)/33). Is g bigger than 3.355?
False
Suppose -4*a = h + 891, 99*h = 5*a + 103*h + 1111. Which is greater: -212 or a?
-212
Suppose -80*x + 78*x - 37 = a, -3*a + 3*x = 48. Is a not equal to -464/19?
True
Let a(n) = 92*n + 45. Let d be a(0). Is d not equal to -2/9?
True
Let c be ((-63)/14 - 1)/(-11). Let m = -2 + 7. Suppose 3*u = 3*x, 0 = 3*x - 2*x - m*u. Which is bigger: c or x?
c
Let x = -732562 + 19770725/27. Let h = -25 + -288. Let s = x - h. Which is bigger: -1 or s?
s
Let t be 1 + 3 - 2/1. Let o be ((-3)/t)/(2 + (-393)/12). Suppose 0 = -3*f - 3. Which is smaller: o or f?
f
Let g = -74/525 + 107/75. Suppose 0*q + 4*q + 19 = -5*w, 0 = -5*q + 4*w + 7. Let i be 0*q*(0 + -1). Is g at most as big as i?
False
Let n = 1/13 - 43/221. Let s be (-288)/(-1020) - 6/15. Is s at least n?
True
Let f = -13.82 - 0.98. Let a = 4.8 + f. Let j = 1 + -0.99. Which is greater: a or j?
j
Suppose -223*c + 2 - 2 = 323*c. Which 