e (12/36)/((-2)/84*2). Let c be ((-26922)/(-1278))/y + (-3)/(-1). Which is smaller: 1 or c?
c
Let r be 1/(-36)*(-8970)/(-5060). Is 1 equal to r?
False
Suppose w = f + 3, -10*f = -5*f + 20. Let y be -1 + w + (1 - -2 - -9). Suppose -6*o + 4*o + 18 = 0. Which is greater: y or o?
y
Let l(j) = 12*j**2 + 5*j + 4. Let u be l(-5). Suppose -b + u = 79. Is b at least as big as 198?
True
Suppose -3*q - 32 = 5*p, 13*q = 11*q - 3*p - 20. Let f = -95/3 + 1787/57. Is q at least as big as f?
False
Suppose -h - 32 = 4*j, 8*j - 6*j + 16 = -h. Do h and -1/39 have the same value?
False
Let p = 28 + -26. Suppose -2*r - 15 + 5 = 4*m, -r - p = -m. Let l = 95/1098 + 3/122. Is l greater than or equal to m?
True
Let n(v) = -8*v**2 - 92*v - 129. Let b be n(-6). Which is smaller: b or 133?
133
Suppose -85*a = -77*a + 32. Let i be a/(5 - 1)*84. Which is smaller: -87 or i?
-87
Let j = -859918/13 - -59550. Let r = -6601 - j. Is r <= -2?
True
Let h(s) = s**2 + 4*s - 31. Let p be h(-8). Suppose 3*t + 4*n + 29 = 0, 2*n + 6 = -4. Let r be t/21*8/(-28). Which is smaller: p or r?
r
Let g = 21 - 8. Let m be (1 - -1) + g + -6. Suppose -6 = -3*q - m. Which is smaller: 1 or q?
q
Let y be (-1 - (-74)/14)/(6072/41538). Which is bigger: 29 or y?
y
Let z = 828 - 481. Let f = z - 384. Is f <= 5?
True
Suppose 0 = 10*h - 6*h, 5*p = -h. Let z be (-84)/63525*(-15)/6. Which is smaller: p or z?
p
Let v = -625 - -625.047. Let g = -7.653 + 8. Let h = g - v. Which is smaller: -2 or h?
-2
Let f be 1/(-2) - (-25)/2. Let d = -89 - -158. Let q = d + -56. Which is smaller: q or f?
f
Let v be 25/((-75)/(-18)) + (-1668)/(-2). Is v greater than 839?
True
Suppose -2336*j + 2354*j = 0. Is 3/20908 > j?
True
Suppose 5*k = -k + 66. Suppose k*z = 7*z. Let f be z + (-674)/(-7) + 42/(-147). Is 96 smaller than f?
False
Let d(m) = 6*m + 282. Let s be d(-47). Let b be ((-148)/(-21719))/(-2 - s/(-1)). Which is smaller: -1 or b?
-1
Suppose -5*p = -5*g + 400, -143 - 122 = -3*g - 2*p. Is g < 59?
False
Let r = 1.02 - 0.69. Let o = r + -6.33. Is -18 >= o?
False
Let v(h) = -6*h**2 + 42*h + 20. Let b(m) = 13*m**2 - 86*m - 41. Let y(a) = 2*b(a) + 5*v(a). Let s be y(10). Is s less than or equal to -23/14?
True
Let o be -30445*(-2)/400*5*(7 - -1). Is 6088 less than o?
True
Let h be ((-6)/83571)/((-6 - -7)/(-1)). Let d = h - 10585678/250713. Which is greater: d or 1?
1
Let i(o) = o**3 + 14 + 6*o**2 + 10 - 25 + 6*o. Let q be i(-5). Let z be 4*(2 - 3) - 1. Which is smaller: q or z?
q
Let m(n) = 31*n + 4. Let q(s) = 46*s + 6. Let w(j) = 7*m(j) - 5*q(j). Let k be w(6). Suppose 14*v + v = -1215. Which is smaller: v or k?
v
Suppose 3*u + 5*w = 8 + 10, -5*u + 2*w = 1. Suppose 1 = -h - u. Let d = 4 - -13. Is d less than or equal to h?
False
Suppose n + 3 = -4*x + 11, -4*x + 28 = -4*n. Let z = 64 + -34. Let o be (-1)/5 - (-36)/z. Are o and x unequal?
True
Let f = 0.18797 + 49.81203. Which is greater: f or -4?
f
Let t = -52965/4 + 13174. Let o be 3/(36/272)*3. Let b = o + t. Which is smaller: b or -1?
-1
Suppose -4*l + 7*l + 287 = -5*t, 5*l + 473 = -3*t. Let q be ((-2)/l)/((98/(-21))/(-14)). Which is smaller: q or 1?
q
Let f be (-32)/(-4) - (5 + (-3 - -5)). Is f at least as big as 1/897?
True
Suppose -10*x - 3*x + 26 = 0. Suppose -2*o + 23 = -k, -5*k + x*o + 3*o = 90. Which is smaller: k or -11?
k
Let y = 1937 + -1924. Which is bigger: 570/43 or y?
570/43
Suppose -4*u + 11 + 37 = 0. Suppose 0 = -8*w + 2*w + 18. Let n = w - u. Which is bigger: n or -8?
-8
Let s be -1*((-8438)/5 + 188/(-470)). Which is bigger: s or 1685?
s
Let p(d) = -d + 9. Let t be p(-1). Let n be (-2)/3*36*t/5. Which is greater: n or -46?
-46
Let o(j) = 3*j**3 - 9*j**2 - 18*j - 2. Let s be o(-2). Let f = 3 + -31. Let i = s - f. Which is smaller: i or -5?
-5
Let p be -4*3/(-9) + 2. Suppose -8*s + 50 = 2*s. Suppose z - 18 = 5*x, z = -2*z + s*x + 24. Is p > z?
True
Let z be (-7 - -12 - -1) + (-47)/8. Let o = -96 - -92. Which is greater: o or z?
z
Let q = 8.3758 + -186.4488. Let w = q - -178. Which is bigger: 0 or w?
0
Let z be (-3)/(6/29880*10). Which is bigger: z or -1495?
z
Let j = 90615/181222 + -2/90611. Which is greater: 1530 or j?
1530
Let u = -7.6 - 13.7. Let h = -21 - u. Is h at least -0.1?
True
Let g be (-2377)/(-1044) + -1 - 166/664 - 1. Which is smaller: -1 or g?
-1
Let w = -8567 + 8469. Which is greater: w or 4/23?
4/23
Suppose 2*o - 4*n - 24 = 0, -13 = -5*o + 2*n + 15. Let r be (18/(-27))/(o/3). Let u be 5 + -4 + -1 - 6/(-9). Does u = r?
False
Let s = -16022 + 16024. Is 122/203 less than s?
True
Let v(z) = -2*z**2 - 5*z + 35. Let h(l) = l**2. Let d(n) = h(n) + v(n). Let a be d(-9). Let f be 288/(-1947) - 2/(-11). Is a less than or equal to f?
True
Let j be -2 - 50455/(-23920) - 18/288. Which is greater: 0 or j?
j
Let o = -5 - -29. Suppose -m - 2*m = -4*x + o, -5*x = 0. Let t(b) = b**3 + 9*b**2 + 6*b - 17. Let a be t(m). Which is smaller: a or -1/12?
a
Let z = -1.8 - -2. Let r = 61 + -61.172. Let n = r + 0.372. Is z bigger than n?
False
Suppose -3*p = 2245 - 2233, -k = 5*p + 1144. Which is smaller: -14610/13 or k?
k
Let d = -4151 - -3968. Which is smaller: d or 0.1?
d
Let w = 1.61152 + -0.11152. Is 1/24 equal to w?
False
Let z be 12/38*738/(-61623). Which is smaller: z or -1?
-1
Suppose 275*g - 44239 - 9661 = 0. Is g != 154?
True
Let l(f) = 2*f**3 - 3*f**2 + 4*f - 1. Let v = -86 - -83. Let d(p) = 3*p**3 - 7*p**2 + 8*p - 3. Let q(i) = v*d(i) + 5*l(i). Let h be q(-8). Is -92 > h?
False
Let w(v) = 18*v. Let y(j) = -j**2 + 9*j - 8. Let d be y(7). Suppose -3*x + 5 = -p + d, 0 = -x - 5*p - 11. Let n be w(x). Is -18 > n?
False
Let i be 3/((-135)/(-6)) - 1510/75. Let q = -5.12 - -0.12. Which is bigger: i or q?
q
Let o = -2558 - -2472. Which is smaller: o or 1.4?
o
Let x(z) = 2*z**2 - 2*z + 1. Let y be x(2). Suppose r + 3*k = 5*r - 26, 5*r - 3*k - 31 = 0. Let j be y + -43 + 10/r. Is j <= -37?
False
Let t(x) = x**2 - 3*x - 12. Let a be t(-5). Suppose -12 = -3*p, -3*j + 5*p = -a - 6. Let g be (j + -16)*(-1 - (-2)/4). Which is smaller: -10/31 or g?
g
Let n = -707 - -697. Is -3/103 < n?
False
Let i(x) = -14*x**2 + 1. Let r be i(-1). Let o(w) = -6*w + 127. Let n be o(21). Let z = n - r. Is z at least as big as 27/2?
True
Let r be (-1 + -2)*(24 - 26) - (2 - -2). Are 152/145 and r nonequal?
True
Suppose 4*t = -0*t + 68. Suppose -2*k + 0*c - t = -c, k = c - 10. Let q = 2350 - 2358. Which is greater: q or k?
k
Suppose 0 = -3*z - 3, 5*w - w - 3*z - 35 = 0. Suppose -4*g = 4*s - w, -4*s = g + 2*g - 9. Is g at most 1/6?
True
Let r = 38 - 23. Let n(s) = -249*s**3 - 3*s**2 + 3*s - 2. Let h be n(1). Let k = 267 + h. Which is bigger: r or k?
k
Let s(p) = -p**2 - 190*p + 3223. Let k be s(16). Is k at least as big as -1256/17?
True
Let u(v) = 13*v**2 - 6*v + 6. Let p be u(6). Is p equal to -12?
False
Let j = -61 - -61. Suppose -11*d + 448 + 1620 = j. Let n = -572/3 + d. Which is smaller: n or -3?
-3
Suppose -5*t = -3*c - 76, -7*c + 5*t = -2*c + 120. Let s be ((-11)/c)/(2/(-12)). Let g = -0.3 + -1.7. Is g at most s?
False
Let l(b) = 4*b + 73. Let y be l(-17). Let h be (-1 + y)/4 - -6. Let q(k) = k**3 - 7*k**2 + 2*k - 15. Let w be q(h). Which is greater: w or 5/19?
5/19
Suppose 48 = 8*s - 2*s. Let q be 708/s*16/12. Suppose -q = 3*t - 1. Is t not equal to -38?
True
Let s(t) = -2*t**2 + 9*t. Let y be s(0). Suppose y = -57*d + 56*d. Is 1/427 equal to d?
False
Suppose -f + 5*b - 21 = 9*b, 4*f - 21 = 5*b. Which is smaller: -30/163 or f?
f
Let l be (-6)/(-21) + (-40)/91. Let y(j) = 52*j - 50. Let f be y(1). Let n be (-1 - 1)/(19/((-19)/f)). Which is smaller: n or l?
l
Let d = 11357 - 11004. Is d < 352?
False
Let p be 0 + (1 - (-1)/3 - 114/72). Which is greater: p or -2127?
p
Let g(r) = -5*r + 44. Let d be g(0). Let m = d - -18. Which is smaller: 64 or m?
m
Suppose 139*z = 25*z + 13*z - 311080. Which is greater: z or -9238/3?
-9238/3
Suppose -s - 1 = -2*x, 2*x + x = 4*s - 11. Let j(a) = -3*a**2 - 44*a - 29. Let o be j(-14). Let y be (o + 12/x)*17/(-3). Which is bigger: -18 or y?
y
Let k(g) = -11*g**2 + g - 1. Let o be k(1). Suppose 4*x = 4*i + 1768, 1728 = -4*i - 11*x + 7*x. Let f = i + 425. Which is greater: o or f?
o
Suppose 3*z - t + 1188 + 4611 = 0, 5*z + 3*t = -9651. Let a = z - -36700/19. Which is smaller: a or 1?
a
Let n = -42059/44 + 10380/11. Which is greater: -0.036 or n?
-0.036
Let