eater than y?
False
Let q(s) = s**3 + 36*s**2 + 36*s + 31. Let p be q(-35). Which is bigger: p or -70/13?
p
Suppose 3*b = -2*v + 42, 5*b = -3*v + v + 42. Let f be 20 + -5 + 0 + -10 + 16. Is v not equal to f?
False
Let w = 121 + -121.688. Let u = w - -0.188. Let h(t) = -t**3 - 4*t**2 + 4. Let z be h(-4). Do z and u have the same value?
False
Let c = -42 + 29. Let y(h) be the first derivative of -h**4/4 - 14*h**3/3 - 15*h**2/2 - 12*h - 2. Let d be y(c). Is -0.1 equal to d?
False
Suppose -a - 7*i = -2*i - 5, -3*a + 4*i + 72 = 0. Is 58/3 >= a?
False
Let m be (2/(10/(-15)))/((-51)/2). Does m = -0.8?
False
Let p be (-2 + 0)*4/(-8). Let z be (((-104)/32)/(-13))/(-1). Which is smaller: p or z?
z
Let a be (-1)/1*(144 - 3) - 7. Which is smaller: a or -144?
a
Suppose 0 = -2*g - f + 32, -4*g + 6*f + 64 = f. Suppose -2*w = 2*w + 2*p, -12 = 2*w - 5*p. Let r be 0/(2 - w) + 16. Is g < r?
False
Let z = -5 - -3. Let m = 2653 + -2657. Is z at most m?
False
Let d = 259 - 259. Which is bigger: 0.2 or d?
0.2
Let t be 8/(-14) + (-40)/(-70). Are t and -11/14 equal?
False
Let q = -223/15 - -76/5. Is 198 smaller than q?
False
Let w(x) = -x**2 + 4*x + 6. Let j be 1*-2*(0 - 2). Let u be w(j). Is u smaller than 6?
False
Suppose 3*m - d = 4*m - 8, 4*m - 14 = 5*d. Let c be 2/6 + (-14)/m. Let n be (-297)/55 + 2 + ((-6)/(-15) - 0). Which is smaller: n or c?
n
Suppose 7*w - w - 72 = 0. Suppose 0 = -12*n - w - 24. Suppose 2*b + 2*b = -20. Which is smaller: b or n?
b
Let k(a) = a**3 + 12*a**2 - 13*a - 155. Let u be k(-12). Let i = -45599/1507 - -333/11. Which is smaller: i or u?
i
Suppose -4*t + 4*q + 8 = 0, 8*t - 11 = 2*t + 5*q. Does t = -6/119?
False
Let a be 167 + (3 - 5 - -3). Suppose 0 = 5*d - 3*d + a. Let j be d/99 - (-2)/3. Which is smaller: -1 or j?
-1
Suppose -18*v = -28*v + 270. Are v and 31 equal?
False
Let d(a) = 3*a**2 - 34*a + 6. Let g be d(11). Let b(f) = f**3 + 10*f**2 + f + 13. Let z be b(-10). Which is smaller: z or g?
g
Suppose -60 = -979*y + 982*y. Which is smaller: -5 or y?
y
Let b = 254/11 - 360/11. Let k = b + 1064/99. Which is bigger: 0 or k?
k
Let x = -0.1 - -0.05. Let c = -9/11 + 67/55. Which is smaller: x or c?
x
Suppose -2 + 18 = 8*r. Suppose -f - 8 = -5*d, 2*f = -d - r*d - 3. Which is smaller: d or -4/13?
-4/13
Let a(o) = 2*o**2 - 4*o + 2. Let u be a(2). Suppose 2*t - u*r - 51 = 3*r, -r - 39 = -2*t. Suppose -5*c = -t + 8. Is c at most 6/11?
False
Let x(y) = y**2 + 5*y + 5. Let v be x(-5). Suppose 0*g - g + 21 = -v*l, 4*l = -3*g + 25. Let i = g + -6. Is 6 smaller than i?
False
Let b(c) = 7*c**2 + 3*c. Let m be b(-2). Suppose -4*t + 2*t + m = 0. Suppose 4*r - 14 = -2*g - 0*r, -2*g = 3*r - t. Which is bigger: 4/5 or g?
g
Suppose -128*f + 364 = -132*f. Are -88 and f non-equal?
True
Suppose -4*i - 5*b + 5 + 315 = 0, -5*i = 4*b - 409. Let v = 86 - i. Let c = 1236 + -85286/69. Is v less than or equal to c?
False
Let n(d) = -d**2 + 10*d - 8. Let t be n(9). Let m be 5 - ((-1)/t + 4). Suppose -3*r = -g + m, 4*r + 2 = 2*g - 2. Do g and 4 have the same value?
False
Let h = -3960/7 + 566. Which is smaller: h or 0.3?
h
Suppose -1902 + 2446 = -17*x. Is x at least as big as -31?
False
Let i(x) = x**3 + 10*x**2 + 2*x - 58. Let a be i(-9). Suppose 0 = 3*l + 2*g - 3, a*g + 4 = -l + 5*l. Is -1/37 at most as big as l?
True
Let w be 735/((-14)/21*2). Does w = -550?
False
Suppose -7*b + 668 + 46 = 0. Let l = -102 + b. Do l and 1/37 have the same value?
False
Let x = -85/4 + 591/28. Which is bigger: x or 0.151?
0.151
Let h = 81 + -34. Let v = 46.9 - h. Which is smaller: -0.04 or v?
v
Let w(l) = l**2 + 35*l + 291. Let h be w(-15). Let d = 11 - 18. Which is smaller: h or d?
h
Let x(w) = 13*w + 52. Let d be x(-4). Which is smaller: d or 2/1467?
d
Let j be (393/18)/((-14)/(-84)). Is j greater than 129?
True
Let l = 29 - 29.65. Let y = -0.35 + l. Which is greater: 6 or y?
6
Suppose -5*g + 0*i = -5*i - 185, g = 3*i + 27. Suppose 130*z + 2064 = 178*z. Which is smaller: z or g?
g
Let q be (-6)/(-3) + (-23)/(-1). Suppose x - 3*x = m - 17, q = x - 5*m. Suppose -9 = -3*l + 18. Is x greater than l?
True
Let a = 3884/452223 + -2/5583. Let j(d) = d. Let z be j(1). Which is smaller: z or a?
a
Suppose -9*u + 7*u - 8 = 0. Let k = u - -4. Suppose k*g + 10 = -5*g. Is -0.2 at most g?
False
Let h = -191/6 + 317/10. Which is greater: h or 26?
26
Let c = 2017 + -2016. Which is greater: c or 36/133?
c
Let w(u) = u + 19. Let a be w(-13). Suppose 0 = 4*g - 3*y - 6, -3*g - y - 2*y - a = 0. Let b be (-1)/3*12/(-26). Which is smaller: g or b?
g
Let v be (15/30)/((-2)/8). Let t be (-63)/(-165) + v/11. Suppose 0 = -2*m + 4*m + 2. Is t at least m?
True
Let h = -641 - -641. Are -3/46 and h equal?
False
Suppose 4 = 3*p - 14. Let m be (-9)/p*10/(-24). Which is greater: m or 1?
1
Let g = -179/12 + 15. Suppose 3*a + 3*b = 9, 3*a + 0*a = b - 11. Let p be (-3)/(-6)*(2 + a). Which is smaller: p or g?
p
Let y = 1890 - 2857. Are y and -966 equal?
False
Let v be 3/((-83)/20 + 4). Let f = -39 - v. Which is greater: -18 or f?
-18
Let n be (3/6)/((-7)/14). Let y be (-3 - n) + (-38)/(-4). Which is greater: y or 7?
y
Let l = 150 + -149.97. Is l less than -1/46?
False
Let o be 8/(-84)*-7 + (-544)/(-36). Is 16 < o?
False
Let r = -4 + 3.99. Let t = 4.99 - r. Let l = -5.4 + t. Is l less than 1?
True
Let f be 11/(-4 + (-824)/(-208)). Which is smaller: -287 or f?
-287
Suppose -4*x - 4 = -0, -25 = -5*o + 5*x. Suppose j - i = 5 - 25, -3*j - i = 52. Let v be 1/3 - 42/j*2. Is o smaller than v?
True
Let q(c) = -c + 4. Let r be q(6). Let i be (-1)/(5/(-2)) - r/(-5). Let y = 5527/11 - 503. Do y and i have the same value?
False
Let n = -3 - 2. Let q(a) = -11*a - 21. Let z be q(-2). Are n and z non-equal?
True
Let x(j) = -j**3 - 4*j**2 - j. Let s be 2/7 + 132/(-21) - -2. Let p be x(s). Suppose 10*g = 5*g + 20, -o + 2*g - 2 = 0. Does p = o?
False
Let j = 0.18 + 1.62. Let h = 8395307/518 - 113448/7. Let f = 1/74 - h. Are j and f non-equal?
True
Let h = -588 - -594. Suppose 0 = 3*u + 1 - 22. Is h equal to u?
False
Let h be 2/((-4 - 2)*1/(-27)). Is 66/7 at least h?
True
Let l = 1/299 - 605/2093. Let b = 23.5 + -22. Which is greater: l or b?
b
Let n = 47/18 - 343/9. Which is bigger: -0.3 or n?
-0.3
Suppose -29*z - 8 = -27*z. Is -16 at least as big as z?
False
Suppose 4*s - 60 = 2*s + 4*p, -4*s + 70 = 2*p. Let d be (-6)/(-5) + -5 + 96/s. Which is smaller: 4/67 or d?
4/67
Let w be ((-6)/14 + (-44473)/(-1540))*14. Let p(r) = 65*r - 8. Let x be p(-6). Let o = w + x. Are 1 and o non-equal?
True
Let n = 302 - 2421/8. Is n at most 0?
True
Let i = 37 + -60. Let d = i + 22.9. Which is bigger: -0.9 or d?
d
Suppose -2*c = -7*c - 5. Let t be -3 + (c + 2 - (8 + 10)). Are -20 and t equal?
True
Suppose x - 4*w - 28 + 10 = 0, 5*w + 23 = x. Let i be 3 + -2 + 1 + x. Which is bigger: i or 2?
2
Let w = -44.98 + -10.42. Which is smaller: w or -1/3?
w
Let u = 2018 + -2016.53. Is -0.06 not equal to u?
True
Let i be 40 + -32 + 17/(-5). Which is greater: -5 or i?
i
Let y = -295 - -1765/6. Does y = -0.1?
False
Let k = -108 + 213. Let z be (-2 + k/48)*(1 + 11). Does 1 = z?
False
Suppose 0 = -10*d - 114 + 14. Is 1/11 smaller than d?
False
Let p = 14 + -11. Let n be ((-12)/522)/(p/162). Let b = 426/203 + n. Is b greater than or equal to 0?
True
Let f = -91.1 - -103. Let z = f - 13. Is 2 bigger than z?
True
Let o(x) = 2*x**2 + 1. Let f be o(1). Suppose f*n = 4*n + 270. Let q be 4/10 + n/(-75). Is q less than or equal to 4?
True
Suppose -3*i - 2*i = 3*i. Is i at least 5/49?
False
Let b = -2332 - -2332.56. Is 17 < b?
False
Suppose 0 = 3*a - 1070 + 1070. Which is smaller: a or -5/177?
-5/177
Let r be (-34)/(-187) - 54/55. Does r = 2?
False
Let k = -7 - -18. Is 41/4 bigger than k?
False
Let b be (4 - 3)/((-2)/(-26)). Suppose -3*r + y - 31 = -3*y, 5*y = -2*r - b. Let t be 36/10 + r/3. Is 0 at most t?
True
Let n = -4 - 0. Suppose 6*w - 2 = 148. Let q(k) = -2*k + 48. Let m be q(w). Is n less than or equal to m?
True
Let q be ((-8)/(-4) + -10)*-1. Suppose 68 = q*h - 68. Suppose -20 = 12*m - h*m. Which is greater: 1 or m?
m
Let m = 2 + 0. Let h be 0 - -9*1 - m. Let n be 2/h + 12/(-14). Which is bigger: -2 or n?
n
Let b = -24 + 27. Suppose -2*z - 4*p - 30 = 0, 27 = -6*z + b*z + 3*p. Is -10 <= z?
False
Suppose -3*u - 3 = -2*u. Let n = 2453 - 2449. Is n < u?
False
Let h be (12