a = -25*a - 35 + 14. Which is bigger: a or 2842?
2842
Let z = 0 + 3. Let b = 636 + -626. Suppose 14 = -2*d + b. Which is smaller: d or z?
d
Let x = 6167 + -5670. Are x and 502 non-equal?
True
Let j = 9.17 - 0.17. Let u = 19365 + -290473/15. Which is smaller: u or j?
u
Let x be -5 - -7*(-4 + 125/35). Let t(j) = -5*j - 108. Let b be t(x). Which is greater: 2 or b?
2
Suppose -6229 - 117 = 19*v. Let o = v - -342. Let q = -3 + 16/5. Which is greater: q or o?
o
Suppose 2*p + 10 = 4*v - 2, 0 = 2*v + 4*p + 4. Suppose -2*r + 3*m = 108, v*m = 11 - 3. Which is greater: -239/5 or r?
-239/5
Let a be 16/(-8994)*(-2385)/(-1060). Do a and 0 have different values?
True
Let g = -153 + -46. Let i = g + 129. Let l = i + 67. Which is smaller: l or -1/10?
l
Let n = -199.43 + 208.43. Suppose -3 = -3*p - 3*g, 5*p - g - 9 = -4*g. Which is greater: p or n?
n
Let j be (-175)/50 + (220/(-8))/(-11). Which is smaller: j or -6/1717?
j
Suppose -4*b = 2*x + 4, -b - 5 = 4*b. Let k = 1405348 - 198154078/141. Which is greater: x or k?
x
Let r be 4*9/(8 + 28) + -2. Which is greater: 3/5324 or r?
3/5324
Let k(i) = 43*i**2 + 23*i - 3. Let d be k(2). Suppose -435 = 4*s + 5*v, -5*v - d = 2*s - 0*v. Is s at least -110?
True
Let d(t) = -t**3 + 42*t**2 - 42*t - 57. Let z be d(41). Which is smaller: -110 or z?
-110
Let b be 0*((-26)/36 - 8/(-36)). Suppose b = 4*o + 4*u + 48, -6*o = -4*o + 3*u + 26. Let t be 1/1 + 700/o. Which is smaller: t or -68?
t
Let q be 2 + 15 + (-2 - -1). Let g(b) = -6*b + 23. Let v(a) = -7*a + 22. Let s(m) = 5*g(m) - 4*v(m). Let x be s(6). Which is smaller: x or q?
x
Let a = 140 + -138. Let l be (a/(-6))/(5710/1905 + -3). Is 509/4 < l?
False
Let p = -919 - -1258. Is p less than or equal to 339?
True
Let r = -6983 + 7264. Which is greater: r or 282?
282
Let x be -1*26*(-3)/930. Let b = 9494/465 - x. Does 19 = b?
False
Let n = 78.167 + -78. Let a = 0.833 + n. Which is smaller: 6.1 or a?
a
Let y = 6610 + -6597. Which is smaller: y or -5.28?
-5.28
Let g(z) = 1419*z**2 - 6*z - 1380*z**2 + 2*z. Let v be g(1). Is v > 101/3?
True
Let q be -9 - 15/(-3) - (-1 + 6/(-2)). Is -29/45 > q?
False
Suppose 4*c - 9 = v - 30, -3*c - 24 = 2*v. Let d be (4*(-9)/(-1488))/(c/52). Which is smaller: -1 or d?
-1
Let m(a) = -1 - 4*a**2 + 2*a + 6*a**2 - 4*a. Let k be m(-1). Suppose k*d + 10 = -14. Is 1/2 bigger than d?
True
Let b(v) = 6*v. Let u be b(3). Let x be (-30)/u*(-3 - -57). Let f = 79 + x. Which is bigger: -14 or f?
f
Let w = 226 + -337. Let o = w - -110.96. Which is bigger: o or 0.2?
0.2
Let s be (-20)/(-15)*3 + -7. Let k be 3 - 7 - (22/(-30) + s). Which is smaller: k or 2/17?
k
Suppose 18826 = -2*h - s, 150*s + 16 = 152*s. Which is smaller: h or -9416?
h
Let l(s) = s**2 + 10*s + 49. Let n be l(0). Suppose -13*c = -14*c + n. Is 50 < c?
False
Let f = 594 + -518. Let j be (-5 - f)/(6/4). Which is smaller: j or -55?
-55
Let h be -1*4/(8/14). Let y = 0 + -8. Which is bigger: h or y?
h
Let x(j) = -4*j**2 + 14*j + 17. Suppose m = 5*g + 30, -2*m - 5*g = 15 - 0. Let d be x(m). Which is smaller: -7 or d?
d
Let j = 48.4 + -44. Let r = j + -3.5. Let i be 39/12 - 1*4. Which is bigger: r or i?
r
Let f = -12881 - -12876. Which is smaller: -1074 or f?
-1074
Let p be 14/(-18) + -2 + 3. Let m(l) = -13*l**3 + 4*l**2 - 3*l - 10. Let y be m(3). Let x = y - -334. Which is smaller: x or p?
x
Suppose s = 5*z - 1134, -2*s = -9*z + 518 + 1522. Let k(o) = 13*o**2 - 5*o - 1. Let v be k(-4). Which is smaller: v or z?
v
Let h = -574 - -549.8. Let a = -24.2 - h. Let t = -2 + 1.9. Is a equal to t?
False
Let r be (228 + -10 + 0)/(-2). Suppose 2*m - 3*m - 109 = 0. Do r and m have the same value?
True
Let n be 13/299 - (-975)/(-207). Let t be 9/2 + (-2)/6. Let g = n + t. Which is smaller: g or -1.9?
-1.9
Let b(t) = t**2 + 25*t - 156. Let a be b(-33). Which is smaller: 1390/13 or a?
1390/13
Let a(w) = -9*w**3 - w + 2. Let u be a(2). Let t be -1 + 44 + 0*(-4)/(-32). Suppose -t*h + 44*h + 79 = 4*g, 205 = -3*h - 4*g. Which is greater: h or u?
h
Let h be (-1)/2 - 29/(-70). Let z = 100/19 + -10861/1995. Let o = h - z. Is -1 not equal to o?
True
Let x = 1557 + -1717. Which is greater: -169 or x?
x
Let u = -59 + 61. Let w be (u/6)/(3 + -2)*-3. Let k be 68/(-32) + 2/(w + 0). Is -5 smaller than k?
True
Let f(s) = -s**3 + s**2 + 3*s - 3. Let x be f(3). Let c be (2/(-2) - x) + 1. Suppose -152*m + 72 = -146*m. Is m equal to c?
True
Let x(u) = u**3 - 3*u**2 + 4*u - 4. Let m be x(3). Let d be (2/m)/(2/(-4)). Let r = -268.02 - -267.94. Is r >= d?
True
Let i be (-6)/(-4)*(-3)/(-210). Let z = -33571 - -33572. Which is smaller: i or z?
i
Let n be -7 - (4 - (-3 + 24)). Let c be (-111)/555 + (1 - 38/n). Is c smaller than 8?
True
Let b = 29384 + -29747. Is -348 at most b?
False
Let j = -11132162465051/24825 - -448425477. Let p = j + -4/75. Which is smaller: 0.1 or p?
p
Let p be ((-178)/623)/(6/28)*-18. Is p greater than 448/19?
True
Let r be 29078/279 + 4/(-18). Let a = 105 - r. Which is smaller: 10/17 or a?
10/17
Let b be 5 + (-12)/(-21) + (-380)/28 + 0. Which is smaller: b or 0.152?
b
Let t be ((-2)/1)/(4 - 5). Suppose -t*r + 3*j - j = -162, 69 = r + 3*j. Which is smaller: 77 or r?
77
Let h = -308 - -306.2. Let q = h - -1.3. Are 9 and q unequal?
True
Suppose 3*j - 37 = -f - 8, f - 5 = -j. Let b = 11 + 6. Does b = j?
False
Let p(a) = -a + 2. Let f be p(0). Let b be (-4)/(-14) + 689/(-91). Let g = b + 64/7. Is g > f?
False
Let h = 2422 - 9737/4. Let w(f) = -5*f**2 + 91*f + 167. Let q be w(20). Which is smaller: h or q?
q
Let g = -90 - -138. Let s = 52.4 - g. Let x = 4.5 - s. Which is smaller: 44 or x?
x
Let r = 1315/7483326 - 4/4853. Is 0 at most as big as r?
False
Let s be (-6 - (-4724)/52) + (-4)/(-26). Are 0.21 and s nonequal?
True
Let d = 0.0279 - 0.6339. Let x = 0.306 + d. Let t = 34 - 24. Which is bigger: x or t?
t
Let a = -437 + 442. Suppose -3*b + 0 = 5*r - 3, b = -r + 1. Let c = r + 5. Is c bigger than a?
False
Let n(t) = t**3 + 17*t**2 - t - 7. Suppose -2*s - 68 = 2*s. Let f be n(s). Suppose 0 = 7*y - f*y + 18. Is y at least 1?
True
Let b = 3 + -2. Let j = 6120.1 - 6120.185. Is b less than or equal to j?
False
Let z be -178 - -178 - 422/6. Which is greater: z or -71?
z
Let i = -255149/21861 - 2532/347. Let v = 19 + i. Which is greater: 9 or v?
9
Let s be (-202)/5 - 2*(-6)/30. Let k = 42 + s. Suppose -33 = k*c + 41. Is c greater than or equal to -37?
True
Let j = 926.08 - 934. Let h = -20.92 - j. Do 0.07 and h have the same value?
False
Let i = 4 + -5. Let d = 54129083/72468 - -11/6588. Let a = d - 747. Are i and a non-equal?
True
Let a(p) = -19*p**2 + 63*p + 9. Let n be a(2). Is 61 greater than n?
True
Suppose 28 = 5*u - d, -3*u - 2*u - 3*d + 16 = 0. Suppose 212 = -h - h - 4*o, -u*h - 5*o = 515. Is h <= -0.1?
True
Let x(a) = -3*a**2 + 25*a + 1. Suppose -5*u - 2*u = -91. Let q be x(u). Is q at least as big as -180?
False
Let z = 10844 + -10844. Which is smaller: -6051 or z?
-6051
Let h(l) = 2*l + 43. Let y be h(-21). Let x(s) = 3*s**3 - s. Let j be x(y). Suppose n - j + 89 = 0. Does -87 = n?
True
Let d = 1.8302 - 0.8302. Let a = 0.2 - -0.05. Let f = -0.03 + a. Is f equal to d?
False
Let p = 0.09142 - -5.90858. Which is smaller: p or -6/115?
-6/115
Let x = -26 - -23. Let o be (x/12)/(5/(-60)). Suppose -3*b - 3*u = -5*u + o, 3*u - 6 = 3*b. Which is smaller: 15 or b?
b
Suppose -1471 = -3*b + 2021. Let s be (-45)/(-9) - b/6. Is s at most as big as -188?
True
Let g = 1390.26 - 19.26. Which is greater: g or 0?
g
Let h(o) = -o**2 + 19*o + 16. Let f be h(20). Let j be f/16 + (3/(-4))/(-3). Suppose j = 26*l - 32*l. Are l and 2/81 equal?
False
Let w = -54 - -61. Suppose -4*c = -w*c + 24. Let r(x) = -x**2 + 9*x - 9. Let i be r(c). Do 0.6 and i have different values?
True
Let q be (1 + -3)*(-6)/((-168)/(-1274)). Suppose -i - q = -4*o, -5*o + i + 115 = -0*i. Let n be (-2 - (-1 - 26))*1. Is o < n?
True
Let i = 6493/35305 + -2/1535. Which is smaller: i or -1?
-1
Let g = 15101.76 + -14845. Let p = -258 + g. Which is bigger: p or 0.1?
0.1
Let t = -39377/63 - -625. Let r = 19363 + -19363. Which is greater: t or r?
r
Suppose -16 = -3*x - w, 5*w = -2*x - 0*x + 28. Let d(y) = 4*y - 4. Let v be d(x). Let b be (7 - (-808)/(-96))/(-2 - (-17)/9). Is v at least as big as b?
False
Let t be 1*124 - (-24)/(-64)*16. Suppose 5*l = -y + 599, -3*l + 5*y + 