 29 = 0. Suppose -3 = m + 3*p, z*p = -0*m - 2*m. Let c = -125 + 129. Is c equal to m?
False
Let z = 16 - 16. Suppose z = 5*t - t - 8. Suppose 3*h + 12 = 4*c, -3*c + 4*h = -c - 6. Which is bigger: t or c?
c
Suppose 3*w + 3 = 3*s, 0 = -4*s - 2*w + 4 + 6. Suppose -s*o = 2*b + 8, 3*b - o + 14 = -2*o. Which is greater: 8 or b?
8
Suppose -4*i + 22 = -138. Let g be 46/(-4) + i/16. Which is greater: -6 or g?
-6
Let o = 188 + -267. Let r = o + 64.1. Let a = 15 + r. Is -3/8 greater than or equal to a?
False
Let s = 186 + -96. Let z = 105 - s. Are z and 15 unequal?
False
Let u be (-1184)/(-740) - 3*(-2)/(-3). Let g be (1/2)/(1/3). Which is greater: u or g?
g
Suppose 11*z + 190 = 6*z. Let n = 25 + z. Let t = -19 - n. Does t = -7?
False
Let r(j) = 48*j. Let t be r(2). Which is bigger: t or 97?
97
Let t = 91 + -94. Is 0.11 at least as big as t?
True
Suppose 800 = -10*h + 650. Which is smaller: -128/9 or h?
h
Let g(v) = 26*v + 33. Let h be g(-11). Is h at least as big as -253?
True
Suppose -498*y + 66 = -492*y. Which is bigger: 26 or y?
26
Let o(y) = y**3 - 5*y**2 + 6*y - 5. Let a be o(4). Let r = 191 + -7261/38. Let z = 37/494 - r. Which is smaller: a or z?
z
Suppose y + 5 - 7 = 0. Suppose -3*n - 39 = -y*s, -2*s - 3*s - 4*n + 63 = 0. Let q be ((-3)/(-7))/(s/40). Is -0.1 at least as big as q?
False
Let b be (2/((-12)/(-9)))/(6/4). Is b bigger than 2/111?
True
Let w(z) = 5*z + 4. Let j be w(4). Suppose 5*f - j = -2*g, -5*g - 4*f = -2*f - 18. Is 8/11 >= g?
False
Let z = 82 - 267. Let t be (-14)/(z/(-45) - (-6)/27). Are -4 and t nonequal?
True
Let d = -1.5 - -9.5. Let r = d - 6. Let z = 0 - r. Which is smaller: z or 2/5?
z
Suppose 0*l - 3 = -l. Suppose -l = 3*w + 9. Let d be w/20 - 108/10. Which is smaller: d or -12?
-12
Let q be 0/(-5 + -5 + 11). Which is smaller: q or 5/61?
q
Let w(j) = -2*j - 3. Let n be w(-4). Suppose u - 5 = 0, -7*m - n*u = -8*m - 24. Which is greater: 6/17 or m?
m
Let s be -3 - -58749*(-12)/63. Let u = -11223 - s. Let t = u - -2746/91. Which is bigger: t or -1?
t
Let t(q) = 6 - 3 + 3*q**2 - 4*q**2 + 5 - 6*q. Let j be t(-7). Let x be j - (-4 - 113/(-23)). Which is greater: 0 or x?
x
Let d = -961/30 + 191/6. Do d and -350 have the same value?
False
Let y(u) = u**3 - 4*u**2 + 6*u - 5. Let q be y(3). Let d be q/4 - (3 + -1). Which is smaller: -1/17 or d?
d
Let a be (7/(-28)*-2)/(-1). Which is smaller: a or -2?
-2
Suppose 4*g - 3 = g. Let s = g - 0. Let v = -2/5751 + 3844/28755. Which is greater: s or v?
s
Let t = -44.1 + 45. Let w = 1.3 - 1. Are t and w equal?
False
Let w be -46*7/((-21)/6). Suppose w = -4*m - 4*r - 0*r, -88 = 4*m + 3*r. Let k = 15 + m. Are k and -4 unequal?
False
Let q(a) = 3*a**3 - a**3 - a**3 + 4*a**2 + 5*a - 4 + 2*a**2. Let x be q(-4). Suppose 5*s - 58 = w, 4*s + 3*w - 27 = x. Which is greater: 2/9 or s?
s
Suppose -44 = k - 40, 0 = -t + 2*k + 260. Which is greater: t or 1?
t
Let p = -10043/5 + 1999. Let g = p - -41/5. Let q = 1404 - 1404. Which is smaller: g or q?
g
Let d = -1/249 - -251/498. Is -19.7 bigger than d?
False
Let p(q) = 12*q + 3*q**2 - 12*q - 2 - 3. Let k be p(-9). Let w be k/18 - 12/54. Does 12 = w?
False
Suppose 0 = 2*n - 28 + 24. Let g be 6*n/20 - 8/30. Which is smaller: -1 or g?
-1
Let r(g) = -2*g - 9. Let l be r(-2). Let k be ((l - -4)/(-6))/(-3). Is k greater than 1?
False
Let x = 2/34937 - -39902/454181. Is x at least 1?
False
Suppose 40 = 5*g - 170. Which is smaller: 40 or g?
40
Suppose 85*l - 82*l + 9 = 0. Are -3 and l non-equal?
False
Let b be 2/3*36/8. Suppose -10*g = 46 - 16. Is g smaller than b?
True
Let u = -202 - -183. Let k be 37/(-2) + 1/2. Is u at most k?
True
Let c(l) = -l**3 + 3*l**2 + l - 1. Let w be c(3). Let n be 9 + -8 - 27/(-9). Is w > n?
False
Suppose 0 = 4*n - 3*p + 11, -3*n + 18 = 3*p. Let c = -1872/16201 - 2/953. Are c and n equal?
False
Suppose -5*k + 0*o - o = -125, -33 = -2*k + 3*o. Which is bigger: 13 or k?
k
Let y be -40*1/(-18) - 2. Which is smaller: -3 or y?
-3
Let c = -11 + 36. Suppose 5*q = -c + 130. Let k = -25 + q. Is -4 smaller than k?
False
Let z be (5*1)/((-11)/(-66)*6). Is -8 < z?
True
Suppose 0 = -3*w + 4 - 1. Suppose -c = -3*n - w, n + c = 3*n. Which is smaller: -3 or n?
-3
Let n be 6816/3264 + -4*(-3)/(-6). Let b = 1/2 - -19/60. Let x = b - 3/20. Which is greater: x or n?
x
Let i be (-168)/(-260) + 4/26. Let g = -1623/13 + 125. Is i >= g?
True
Suppose 0 = -8*u + 3*u - 10. Let j = u + 2. Let t be (0 - -5) + -21 + 17. Are j and t nonequal?
True
Suppose -4*b + 16 = -h, 2*h - b + 0*b + 11 = 0. Suppose 5*j = 1 + 4. Is j < h?
False
Let x = 2.1 - 2. Let r = x + 0. Let a = -562 - -562.1. Is r > a?
False
Let o = 389/28 + -51/4. Which is smaller: 1 or o?
1
Let k(z) = 5*z**2 - 2*z + 2. Let f be k(2). Let x(n) = n - 11. Let m be x(-7). Let a = 35 + m. Which is smaller: a or f?
a
Suppose -10 - 6 = 2*q. Let s be 2/q + (-18)/(-8). Suppose n + f = 2 - 10, -12 = s*n + f. Is n at least -1?
False
Suppose 4*d = 6*d + 5*t + 15, -d = -5*t + 45. Let o = -19 - d. Is o at least as big as 1/4?
True
Let c(s) = s**2 - 9*s + 11. Suppose -5*m = -2*m + d + 60, 5*m - 4*d = -83. Let u = m - -27. Let h be c(u). Is 4 >= h?
True
Suppose 9*w - 5*w = 8. Suppose 0 = w*z + 2*z - 40. Suppose 5*d - z = -45. Which is bigger: d or -8?
d
Let i = 107/441 + -1/49. Let a = -5.3 + 5. Which is bigger: a or i?
i
Let t(w) = w**3 - 3*w**2 - w - 16. Let a be t(4). Which is smaller: a or -27/5?
-27/5
Let q = 48 - 23. Let y = 23 - q. Which is bigger: -3 or y?
y
Suppose 2*p + 2*c + 44 + 64 = 0, c - 102 = 2*p. Is p at most as big as -50?
True
Let m be (-3)/25*(-1180)/(-8). Is -19 at most as big as m?
True
Let g be -1 - -1 - 1704/4. Let m = 231 + g. Let d be (6/m)/(3/30). Is 1 equal to d?
False
Let a = -12875/2908672 + -1/6656. Which is greater: a or 1?
1
Let i be 4*(-5)/20*5. Suppose -2*d + 4*d - 4*x = 4, 5*x + 17 = d. Does d = i?
False
Let s = 46.8 + -6.4. Let z = -40 + s. Is z not equal to 1?
True
Let s(g) = -g**2 + 8*g - 6. Let z be s(6). Let v = 49 + -47. Do v and z have the same value?
False
Let y = -329 + 686. Which is smaller: 356 or y?
356
Suppose 2*g + b = -4*b + 23, -4*b - 32 = -2*g. Let p be 0 + (6*2)/1. Which is greater: p or g?
g
Suppose 16*w - 476 = 23*w. Let m = w + 67. Is m smaller than 1/52?
True
Let r(n) = 4*n + 7. Let k be r(-3). Let b(q) = q**2 + 6*q + 3. Let h be b(k). Let z be h*((-1 - 3) + 5). Are 1 and z non-equal?
True
Let c = -3.1 - -3. Let x = 0.1 + c. Let o be (-8 + 2502/315)/(((-4)/10)/(-2)). Is o greater than x?
False
Let p(w) = w**2 - 6. Let r be p(3). Let x be r/(-6) - (-2 - (-302)/196). Is -1 at most x?
True
Suppose 3*f - 3 = 6. Suppose 2*w - f = -17. Does -6 = w?
False
Let z(m) = m**3 + 15*m**2 + 11*m - 26. Let b be z(-14). Suppose 0 = 3*u - 2*n - 44, 2*u - 2*n - 16 = u. Which is smaller: b or u?
u
Let k(p) = -2*p**2. Let q(b) = -b. Let v be q(-2). Suppose -9 = 3*o + 3*r, 2*o + 0*r - 2*r = v. Let s be k(o). Which is smaller: s or -6?
-6
Let n(t) = 17*t - 55. Let x be n(3). Is -11 at most as big as x?
True
Let m = 17 + -39. Let j = m + 21.9. Suppose -4*x + x + 12 = 0. Which is greater: j or x?
x
Let h = -298 - -297.8. Is h greater than -2.4?
True
Suppose 1 - 9 = 4*g. Let j be (-6)/(-10) + 4/5*g. Suppose -1 = 4*v + 11. Which is bigger: j or v?
j
Suppose -3*u = 10 + 5, 2*u + 19 = 3*w. Let y be -4 + w + 2 - 1. Let i be (-2)/28*(0 + 1). Which is greater: y or i?
y
Suppose -r - 69 - 7 = -5*f, 0 = f + 5*r - 10. Suppose -4*w - 31 = -f. Let v = 14 + -15. Is v bigger than w?
True
Suppose -12*k + 17*k = 70. Let v be 4/k + (-120)/(-70). Suppose -2*i - 4*c = -v, -5*i + 5 = -c + 3*c. Are 4/7 and i non-equal?
True
Suppose -x - 3*q = -189 - 212, -3*x + 1233 = -q. Are 409 and x equal?
False
Let i = -3/655 + -223/8515. Which is smaller: 2/15 or i?
i
Let a be 46/(-10) - (-14)/(-35). Suppose -5 = -3*j + 1. Suppose j*t = -3*f - 12, -3*t - 14 = -3*f + 4. Does t = a?
False
Let o be (-34)/54 - 4/(2 - 6). Let y = -330 + 329. Which is bigger: o or y?
o
Let j be -4 + (-6 - (5 - 6)). Let m be -2*1/(-6)*3. Which is smaller: j or m?
j
Let k = -1144 - -1145. Is 1/54 > k?
False
Let b = 1.52 - -167.48. Let o = -155.9 + b. Let j = o - 13. Which is smaller: j or 0.8?
j
Let t(y) = y**3 + 7*y**2 - 13*y - 92. Let d be t(-7). Which is smaller: d or 1/415?
d
Let p be (-94)/423 - (-40)/18. Let l be ((-3)/2)/((-6)/16). Is 