62 = i. Is z bigger than -6?
False
Let n = 14528 + -14692. Which is smaller: 2/7 or n?
n
Suppose 0 = 11*w - 16*w + 80. Let m be (w/(-12))/(-4)*3. Let f be (3/52)/((-1)/4). Is f > m?
False
Let k = -15929 - -15932. Is k > -7886?
True
Suppose 0 = 426*h - 408*h - 2952. Which is smaller: h or -16?
-16
Suppose -2*a + 14 = 4*i - 3*i, -i + 4*a = 10. Suppose i = s + 2*w, 0 = 11*w - 13*w + 6. Which is smaller: s or -1/139?
-1/139
Let q(g) = 1 - 2 + g + 12 - 9*g**2 + g - g**3. Let k be q(-9). Let a be (28 + 0)/(-8 - k). Which is bigger: -29 or a?
a
Let c be (-3)/(-4)*32/(-3 + 7). Suppose c*p - 9 = 3*p. Let n be (p/(-21)*0)/(2*1). Which is bigger: n or 12?
12
Let n = -79 + -38. Let s = 116 + n. Which is greater: s or -6/23?
-6/23
Suppose 3*p = -q - 396, 3*p - 9*q + 4*q = -396. Let c be (2/p)/((-5)/(-2 + 22)). Which is greater: 1 or c?
1
Let a = -0.375 + -0.735. Let n = a - -2.17. Which is smaller: -1/3 or n?
-1/3
Suppose -4*g = -4*u - 44, -u - 4*g + 1 + 3 = 0. Let r be 1 + 2 - ((-5960)/245)/u. Which is smaller: 0 or r?
r
Let k(i) = 3*i**2 + 12*i + 159. Let h be k(-5). Which is bigger: h or 5?
h
Let c = -358 + 359. Suppose 2*r = -5*u - 139, -4*r - 9 = -c. Which is bigger: -25 or u?
-25
Suppose 32 = -4*o - 4*q, -14*o + 15*o + 2*q + 17 = 0. Which is greater: 1/20548 or o?
o
Suppose -12*m = -66*m - 4698. Let i(a) = -a**3 - 10*a**2 - 8*a + 4. Let j = -15 + 8. Let p be i(j). Is p smaller than m?
False
Let u = -24/37 - 38867/259. Let p = -150 - u. Let n = -6 - -7. Is n >= p?
True
Let l = -737 + 1002. Suppose -263*s + l*s + 6 = 0. Suppose -5*z + 2*z + 3*p = 27, 5*p = 4*z + 40. Which is greater: s or z?
s
Suppose -n - 3*i = -42, -2*n + 153*i = 158*i - 70. Let h(t) be the third derivative of t**4/24 - t**3/6 - t**2. Let y be h(-3). Is n at most as big as y?
False
Let m = 17 - 20. Let h(f) = 4*f**2 - 6*f - 14. Let l be h(8). Let x = l - 1569/8. Which is smaller: x or m?
m
Suppose -2*z - 13 = -z. Let d = 41 + -37. Suppose 182 = -d*j - 10*j. Are z and j non-equal?
False
Let f(k) = 223*k - 5351. Let m be f(24). Is m bigger than -6/2341?
True
Let c(w) = 164*w + 612. Let s be c(-1). Are s and 453 equal?
False
Let q(d) = 20*d + 151. Let v(r) = -5*r - 38. Let b(g) = 2*q(g) + 9*v(g). Let f be b(-14). Let x be (-2)/(-15) + ((-52)/f)/13. Which is bigger: 2/37 or x?
2/37
Let s be (1 + 2)*28/(-6). Let o(z) = 7*z + 57. Let a be (-8)/(-2) - (0 - -14). Let j be o(a). Which is smaller: j or s?
s
Suppose 3*g = 6*g - 48. Suppose -4*n - g = -24. Let k(h) = -2*h**2 + 3*h - 8. Let f be k(n). Which is bigger: -12 or f?
f
Suppose -3*i + 15*m - 10*m = 49, -3*i - 29 = -m. Let s be 36/84 - 20/14. Let r be (-3087)/56 - ((-7)/i + s). Which is greater: r or -54?
-54
Suppose 70*z - 115*z = 0. Does z = -1/2125?
False
Let q = -21189 - -14888. Which is bigger: q or -6300?
-6300
Let a = -26 + 31. Let y be (-5)/(2 + -2 + -1). Suppose 3*n - y*m = 11, -17 = 3*m - 5. Do n and a have the same value?
False
Suppose -106 = -m - f, 6*f + 334 = 3*m + f. Suppose 5*r + 5 = -2*l + m, -l - 5*r = -39. Let n = 62 - l. Which is smaller: n or -6/7?
n
Let v be (((-1456)/(-40))/(-7) + 6)/(185/(-75)). Is 1 less than v?
False
Let u = 27599 - 2180297/79. Which is smaller: u or 0?
0
Let a(t) = -1 - 18*t**2 + 54*t + 124*t**3 + 128*t**3 - 7*t**2 - 253*t**3. Let r be a(-27). Is 12/85 < r?
False
Let s = -438 + 26716/61. Let a(u) = -8*u + 257. Suppose 106 = -18*v + 682. Let p be a(v). Is p less than s?
False
Let y = -46 - 35. Let v = 1548 + -1627. Which is bigger: v or y?
v
Let k = 1.983 - 0.063. Let o = -0.08 - k. Is o <= -30?
False
Suppose 3 = 3*f, -4*t + 24 = -4*f - 52. Let v be 0/(t/5) + (1 - -2). Suppose -2*m = m - v, -m - 9 = 5*n. Which is smaller: n or -4/5?
n
Let y be 3*(-4904)/(-17) - -1. Let w = y + -867. Let p(x) = 65*x**2 + 2341*x + 35. Let g be p(-36). Is g smaller than w?
True
Let c = 2.2 + 0. Let y = c + -2. Let r = y + -1.1. Which is bigger: 2 or r?
2
Suppose 0 = 110*h - 131 + 21. Is h < 341/5?
True
Suppose -v + 3769 = -5*j, 3*j + 158 = 170. Is 3789 less than v?
False
Let z = 133 + -353.5. Let y = -219 - z. Which is greater: y or 0.1?
y
Let s = -0.08 - -0.1. Let l = s + 0.08. Let y = -266.4 + 247.4. Which is greater: l or y?
l
Suppose -5*p = 4*k - 1166, 0 = -5*k + 2*p + 132 + 1342. Suppose 2*f - k = -2*s, 2*s - f - 170 - 118 = 0. Which is smaller: s or 146?
s
Suppose 2*j - 4*g + 16 = 7*j, -4*j - 3*g = -12. Suppose -14*n + 10*n + 134 = 2*h, 3*h - 5*n - 157 = j. Which is smaller: 417/7 or h?
h
Let i be (-3)/(6/1558) + (9 + -43)/(-17). Which is greater: -778 or i?
i
Let t(x) = -601*x - 8. Let a be t(1). Let r = a + 699. Are -1 and r nonequal?
True
Let g(z) = -z**3 - 9*z**2 - 11*z - 15. Let k be g(-8). Let u be (-1 - (-3)/k)/(6/(-9)). Let y be (-3 + (-91)/(-35))/(u/(-265)). Is 106 <= y?
True
Let a(d) = d + 5. Suppose -5*x + 10 = 0, -5*j + 5*x = -j - 50. Suppose 23*o + 24 = j*o. Let g be a(o). Which is bigger: 2/19 or g?
g
Suppose -107*j - 176 = 23 + 229. Suppose -2*w = c + 2*w - 4, 4 = 2*w. Is c >= j?
True
Suppose -27259 = 265*j + 225551. Is j < -2?
True
Suppose 10 = -3*q - 2*q. Let x be 16/12*(-57)/q. Suppose 0 = r - x + 53. Which is greater: r or -16?
r
Let u be (-8)/(-10)*30/2. Let i(h) = -36 + 10 + 14*h - 86. Let g be i(9). Are g and u nonequal?
True
Suppose -11*g + 2*a = -16*g + 683, -416 = -3*g + 5*a. Which is smaller: g or 131?
131
Let c = -75 - -70. Let d(g) = g**2 + 5*g - 9. Let s be d(c). Let l be (-3 - -12)*1*-1. Are s and l nonequal?
False
Suppose 5*q + 3*y + 2352 = 0, -29*q + 456 = -30*q + 3*y. Which is smaller: q or -467?
q
Let v(c) = -3*c**3 - 6*c**2 - 7*c - 14. Let b = -41 + 37. Let a be v(b). Is 110 at most a?
True
Let t = 1206 + -1228. Suppose -12*r + 11*r = 20. Which is smaller: t or r?
t
Let f = 4764 - 4776. Is f bigger than 25?
False
Suppose 0 = 4*j - 5*b - 0*b - 252, 5*j - 315 = -3*b. Suppose -2*z - z = -j. Let v be (-1185)/(-60) - (-15)/12. Is v bigger than z?
False
Let j be (-1)/(-14) - 1509/(-42). Which is bigger: j or 97?
97
Let m be (-86)/((0 + (-3)/3)*2). Suppose m*s = 36*s - 336. Is s != -52?
True
Let y = 4.25 + -187.25. Let u = 171.6 + y. Are -2 and u unequal?
True
Suppose -2*c + 5*m = 10, -m = 6 - 2. Let i be 4/10 + 136/c. Which is greater: -8 or i?
-8
Let k = 108119/629 + -2922/17. Is k at least -1?
True
Let r(q) = -q**2 - 14*q - 35. Let t be r(-10). Suppose u = f + t, -2 = -5*f + 3*u - 21. Let a be (-12)/f*(-2)/39. Which is smaller: a or 1?
a
Let h be (-3)/(27/15)*63. Let i(g) = g**3 - 11*g**2 + 5*g + 10. Let p be i(9). Which is bigger: p or h?
h
Suppose 40*o = -66*o - 21*o - 229870. Which is greater: -12667/7 or o?
-12667/7
Suppose 3*b + 417 + 155 = -298. Which is bigger: -289 or b?
-289
Let j be (5/(-12))/(2/4). Let w = 51 + -109. Let o = -58 - w. Which is bigger: o or j?
o
Let i be 3*1002/(-90) + 22/55. Are -25 and i unequal?
True
Let i = -243 - -254. Let m(p) = 2*p**2 + 7*p - 1. Let s be m(-5). Let j = s - 6. Do j and i have the same value?
False
Let v = 1598321/503862 + -501/158. Which is bigger: 1 or v?
1
Let n be -3 + (-6)/3 + (-68)/(-2). Let i(v) = v**2 - 3. Let x be i(-5). Let s = n + x. Is s < 50?
False
Let q be (-1 - 0)*0 - (2 + -378). Let c be (36/q)/3*(-4)/1. Which is smaller: c or 1?
c
Suppose -3242*b - 27072 = -3206*b. Is -754 smaller than b?
True
Let l be (-75)/81 + (-178)/2403 + 5/8. Which is smaller: -296 or l?
-296
Let p = 104 - 192. Let b = p - -80. Let f = b + 58/7. Is -0.28 >= f?
False
Suppose 4*j - 240 = -5*w, -4*w + 2*j = w - 240. Let b = w + -45. Let m be -3 + 3 + b*(-1)/(-3). Is m at most as big as 2/15?
False
Let n = -13422 + 13370. Is -1.2 < n?
False
Suppose -7 = 5*o - z, 0 = 3*o - 4*z + 1 + 10. Is -1/55 at most o?
False
Let a be (18/63)/(2/28). Let f(i) = i**3 + 21*i**2 - 28*i - 133. Let q be f(-22). Let k be q/(6*a/144). Is k not equal to -6?
False
Suppose 139*s - 140*s + 2321 = 0. Which is smaller: 2322 or s?
s
Let s = 0.8 + 0.2. Let h be ((-3924)/(-5724) + (-2)/3)/(2/16). Which is smaller: h or s?
h
Let f = 3.79 - 4.79. Let n be (70/(-8))/7 - 1 - 1. Is f not equal to n?
True
Let v = 0.1909 - -0.0091. Does v = -0.05615?
False
Let j(g) = -16*g**2 - 53*g + 144. Let s be j(5). Is 3 at least as big as s?
True
Suppose 3*m + 6*t = 2*t - 781, -265 = m - t. Let s = m - -199. Which is smaller: -63 or s?
s
Suppose -5*c + 46 = 3*y, -4*c + 0 + 6 = -2*y. Suppos