1.047. Are g and 0.014 equal?
False
Suppose 60 = 6*z - 3*z. Suppose 0 = -5*s - z, -2*y - 2*s - 22 = 3*s. Which is smaller: y or -3/5?
y
Let q be 1/(-1) + -2 + 4. Let j be 3/(-87)*2/q. Suppose 3*v + 9 = 3*c, -3*c - 3*v - 3 = 6. Which is bigger: j or c?
c
Suppose 3*c = v - 574, -3*v - c = -4*c - 1752. Which is smaller: v or 588?
588
Let j = -17 + 15. Let p be (-4)/(-14) - 174/21. Let r = -7 - p. Which is smaller: r or j?
j
Let f be (-1)/2 + (-10773)/7030. Let m = f + 16/37. Let x be -4 + 3 + (-4)/2. Is m != x?
True
Let m(l) = 2*l + 15. Let d be m(-7). Let x(b) = b**3 - 10*b**2 + 10*b - 2. Let k be x(9). Suppose 4*z = -5*u - 0*z + k, u = 5*z - 16. Which is greater: u or d?
d
Suppose -16*w + 20*w + 184 = 0. Let i = w + 60. Do i and 15 have different values?
True
Let y be 5 - (3 - (-11 + 9)). Which is smaller: -1/846 or y?
-1/846
Suppose j = 6*j - 815. Suppose -10*c + j = 23. Which is bigger: 16 or c?
16
Let b = -49 - -48. Which is bigger: b or 9?
9
Let w = 307.2 - -1359.8. Which is bigger: w or -1?
w
Suppose 4*v + 3 = 5*v. Suppose 2*p + 8 = 2*c - 4, p = v*c - 14. Is c less than or equal to 21/4?
True
Let k(i) = -i**3 - 8*i**2 + 33. Let c be k(-6). Let m be (-40 - c)*(0 + (-6)/16). Let p(o) = o - 4. Let u be p(4). Which is smaller: m or u?
u
Let m = -1 + 1. Let h = -8997/644540 - -6/2479. Let j = h + 1/20. Is j greater than m?
True
Let k be (-14)/7 + (-67)/(-34). Suppose 0 = 2*n + 1 + 5. Let d be (-6)/(-3) + n + 4 + -3. Is d bigger than k?
True
Let z be (5/(-705))/((-13)/(-117)). Which is greater: z or -20?
z
Let p = 128 + -310. Is p less than or equal to -183?
False
Let y = -3166.8 + 3167. Let q be 1 + 5/9 - 2. Which is smaller: y or q?
q
Let l(d) = d**3 - 26*d**2 - 54*d - 57. Let z be l(28). Is -97 != z?
True
Let x be (-3315)/24 + (-2 + 11)/72. Which is smaller: x or -137?
x
Let s = 12 - 12.09. Let z = -126.2 - -126.13. Is z less than s?
False
Let q = 38.2 + -37.1. Is 7 greater than or equal to q?
True
Let d = -63 + 68. Suppose -d*o + 17 = -23. Is o at most 31/4?
False
Let s = -62 + 71. Suppose -3*q - s = -3*v - 0*q, -v + 5*q = -11. Is v greater than or equal to -1/109?
True
Let t = -6.78 + 17.64. Let r = -0.14 - t. Let k = -171/1196 + -32/299. Which is greater: r or k?
k
Let l(a) = 4*a**3 - 6*a**2 + 5*a - 3. Let x be l(4). Let v be x/1320 + 3/(-24). Let n = v + 16/55. Which is smaller: -1 or n?
-1
Let f be 2/(-1) - (0 - 0). Let t = -114 - -110. Let z = f - t. Which is smaller: 10/3 or z?
z
Let w = 9.5 + -10. Which is smaller: -3 or w?
-3
Let w(y) = y**3 + 9*y**2 + y + 7. Let j be w(-9). Let o be (-19 - -3)/(j - 0). Let h be (o/10)/(3/(-15)). Which is smaller: h or -3?
h
Let k be (-276)/(-207) - 346/(-6). Which is smaller: 3 or k?
3
Let p(h) = h**3 - 14*h**2 - 4*h + 1. Let l(r) = -r**2 - r + 1. Let i(n) = -2*l(n) + p(n). Let w be i(12). Is -25 at most w?
True
Suppose 4*i = 4*m - 2*m - 182, 2*m = -2*i - 76. Let o = 81 + i. Which is smaller: 39 or o?
o
Let t = 4765 + -23658/5. Is 32 equal to t?
False
Suppose -3*c - 7 + 10 = 0. Let b be (6/c)/(1 + 0). Let p be 1/3 - 2/b. Does -1/31 = p?
False
Suppose -5 = -0*j - j. Suppose -5*l = -2*s + 70, 5*l + 82 = -j*s - 23. Suppose 233 = -6*f + 143. Which is smaller: l or f?
l
Let q = 110 + -109. Is q greater than or equal to 188?
False
Let y = -273 + 230. Which is bigger: y or -42?
-42
Let n be 16/3*(33/(-6) - -4). Let b be (n/30)/((-16)/24). Is -4 at most b?
True
Suppose 0 = -5*o - 3*n + 64 - 81, -2*o + n = -2. Is o less than -8/5?
False
Suppose r = -r - 10. Let u = 68 + -66. Let w be 2/(r/(45/u)). Are w and -8 non-equal?
True
Let q = -11765 + 11789. Suppose -u = -3*u. Which is smaller: q or u?
u
Let q(a) = 4*a - 19. Let d be q(7). Suppose 28 = -19*t + d. Does 30 = t?
False
Let w = 1 - 13. Let b be 34/8*4/(-2). Let m = 47/6 + b. Which is greater: m or w?
m
Let d = 7.39 - 6.39. Which is bigger: 71/10 or d?
71/10
Let j(k) = k**3 + 2*k**2 - 3*k. Let y be j(-3). Suppose 0 = -y*b - 3*b. Which is greater: b or 1/2?
1/2
Suppose 0 = n - 2 - 3. Suppose -h + 3 - n = -5*r, 3*h + 3*r + 6 = 0. Is -8/9 bigger than h?
True
Let w(b) = -147*b**2 + 21*b + 44. Let n be w(-2). Is n less than -587?
False
Let k = 77 - 83. Let r be (127/(-42) - (k - -3))*-16. Is r != -1?
True
Suppose -3*p - 1224885544 + 242239012 = 0. Let b = p + 1895525166694/5787. Let c = b + -4/643. Which is smaller: 2 or c?
c
Let g(n) be the third derivative of n**5/60 + 3*n**4/8 + n**3/3 - 10*n**2. Let f be g(-5). Are -19 and f equal?
False
Let h be (9/2)/(6/16). Let y(a) = -2*a**3 + 11 + 12*a**2 + 8*a**3 - 5*a**3. Let x be y(-12). Which is greater: h or x?
h
Let c(z) = -z**2 + z + 28. Let p be c(0). Let g = p + -27. Which is bigger: g or 2/5?
g
Let g = 353/8 + -44. Let i = 197 + -190. Which is smaller: g or i?
g
Let b be 1974/(-6016)*4/6. Are 0 and b unequal?
True
Suppose 2 - 112 = -11*p. Do 10 and p have the same value?
True
Let k = 249455/19 + -13135. Is k less than -5?
True
Let x(j) = j**3 + 7*j**2 + 3*j - 8. Let d be x(-6). Let q = d - 14. Let p = q - -3. Is p greater than -1/5?
False
Let n = -0.02 + 0.14. Let r = 7.9 - 7.82. Let u = r + n. Which is smaller: 0 or u?
0
Let w = 606 - 52724/87. Which is smaller: w or -1?
-1
Suppose 0 = 2*b + b + 39. Let u = b + 6. Suppose -96 = 46*c - 30*c. Which is smaller: u or c?
u
Suppose 0 = 393*p - 396*p + 60. Which is bigger: 276/13 or p?
276/13
Let t(a) = a**3 - a**2 + 2*a. Let i be t(0). Let u be ((-21)/27 - -1) + i. Which is smaller: 3/2 or u?
u
Let y = 332 - 331.8. Which is smaller: y or 25?
y
Let a = 404 + -392. Which is smaller: a or -0.1?
-0.1
Let q = -1.9 - -2. Let z = 0.058 + 3.942. Let x = -3.7 + z. Which is smaller: q or x?
q
Suppose 0 = 3*c - 5 + 14. Let q be (2/c)/((-8)/(-108)). Is 1 less than q?
False
Let z = 9779 + -88307/9. Which is smaller: z or -33?
-33
Let z(m) = m**2 - 12*m - 13. Let w be z(14). Suppose -g = -4*i - 0 + 3, -5*i = -5*g - w. Let a be (2*1)/((-68)/(-2)). Which is smaller: i or a?
i
Suppose 6*p - 33*p - 35991 = 0. Are p and -1332 unequal?
True
Suppose 3*a = -3*b - 180, -9*b - 3*a = -14*b - 268. Which is smaller: 0.3 or b?
b
Let n = 1 + -7. Let y(a) = a**3 + 7*a**2 + 5*a - 5. Let v be y(n). Let q be (-7 - -6) + v/7. Are q and -1 nonequal?
True
Let n = 682 - 684.09. Which is smaller: n or 1?
n
Suppose 23*a - 299 + 1219 = 0. Are a and -41 unequal?
True
Let x(i) = -i**3 - 3*i**2 - 8*i - 18. Let z be x(-3). Are 39/7 and z non-equal?
True
Suppose -242*n + 910 = -249*n. Are -130 and n equal?
True
Suppose 8*j + 148 = -228. Which is smaller: -43 or j?
j
Suppose -55*b = -88*b - 231. Is b bigger than -49/6?
True
Let v = -1296 + 1308.06. Let g = 12 - v. Let r = g + 0.26. Which is smaller: 1 or r?
r
Let o = -12106/7 + 1722. Is -8 greater than o?
False
Let h(d) = 3*d - 3 - 5*d + 13*d. Let m be h(2). Suppose 2*y = m + 3. Which is smaller: y or 8?
8
Let a be (-12)/4 + 0 + 2. Let k(r) = -r**3 - 7*r + 10. Let g be k(4). Let c be g/(-282) - 4/12. Is c less than a?
False
Suppose -5*i - 30 = 25. Let t be 10/(-4)*1868/i. Let p = t - 424. Is 0 at most as big as p?
True
Let g(d) = 10*d + 2*d**3 - 2*d**3 - 2 - 10*d**2 - 8 + d**3. Let a be g(9). Which is bigger: -2/39 or a?
-2/39
Suppose 0 = -w - 3*z + 22 + 25, -2*w + 79 = 3*z. Let o = -26 + 59. Is w equal to o?
False
Let y be ((-45)/(-27))/((-2)/6). Suppose -3*l - l - m = 37, 4*l = 5*m - 55. Let z = 7 + l. Which is greater: y or z?
z
Let s = 238/5 + 2369/10. Which is smaller: s or 284?
284
Suppose 2*q + 0*n = -3*n - 3, 0 = q + 3*n. Let d be -6*28/8 + q. Which is smaller: d or -23?
d
Let r = 89357 + -1697405/19. Let v = 20 - r. Is -1 greater than v?
False
Suppose 20*w - 16 = 18*w. Suppose -15*r = -11*r + w. Does -3/5 = r?
False
Let v = 3 - 0. Suppose 0 = 8*b - 3*b - 30. Suppose m = k - 7 + v, 3*k = m + b. Is m at most -3?
True
Let x = -360 - -357. Is x > -55?
True
Let y = -4/111 + 41/111. Let t = 26 + -8. Which is smaller: y or t?
y
Let z = 0.63 + -0.43. Let b = -202/9 + 67/3. Is z less than or equal to b?
False
Suppose -114 = -4*q - 2*z, 0 = -2*z - 2*z - 12. Suppose 4*w = -2*o + q, 0 = -3*w + 4*w - 3. Suppose 4*n - n = 33. Is n equal to o?
False
Let x be 35/(-140)*16/(-17). Let h(a) = -a**2 + 7*a - 1. Let d be h(7). Is x greater than d?
True
Suppose -3*r + 4 = j - 6, 4*j + 4 = -r. Suppose 2*a = r, -3*w - 3*a + 7*a - 71 = 0. Is -20 greater than w?
True
Let 