or y?
y
Let m = -3614374/383 - -9437. Is -1 less than m?
True
Let p = -61 + 38. Let d = p + 22.9. Which is smaller: d or 1.2?
d
Let w(i) = i**2 - 6*i + 4. Let p be w(5). Let c = 50 + -55. Let t be (-10)/(-10)*(-1)/((-3)/c). Is p less than t?
False
Suppose -2*a + 4 = -0. Let f be 1/(a/4*1). Let q = 12 + f. Which is bigger: 13 or q?
q
Suppose -3*u - 2*c - c = -45, 2*c = 5*u - 82. Suppose 4*p + 2*k + u + 4 = 0, 3*k = 0. Let z be (-4 - 9/(-2))/((-6)/24). Does p = z?
False
Let b = 0.29 - 0.29. Let y = b + 17. Does y = -1?
False
Let x be (2/6)/((-4)/12). Let l(v) = v**2. Let a be l(x). Let c be 46/56 - 6/24. Which is bigger: c or a?
a
Let t = 20 - 17. Let p(o) = t*o - 5*o - o**2 - o. Let r be p(-3). Is r greater than 3/4?
False
Let h be 658/1575 - (-4)/(-9). Is -1 < h?
True
Let x = 0.09 - -0.01. Let u = 1666 - 11728/7. Are u and x non-equal?
True
Let i(b) = -b**3 + 4*b**2 + 6*b + 9. Let n(k) = -4*k**3 + 11*k**2 + 17*k + 26. Let w(u) = -7*i(u) + 2*n(u). Let j be w(-5). Is 1 greater than j?
False
Let n(w) = -w - 3. Let y be n(-5). Let d = 5 + -2. Suppose 2*o - d*o = -y. Which is bigger: -2 or o?
o
Let a = -7144 + 56751/8. Let l = -50 - a. Suppose 6 = -2*t - 4*x, 7 = -2*x + 3. Is l > t?
False
Let h = 124 - 1114/9. Is 5/116 greater than or equal to h?
False
Let p = -954 + 968. Let a be (-60)/(-14) + 8/(-28). Let n be (-308)/(-20) + a/(-10). Which is greater: p or n?
n
Let q = -1703 - -1702.97. Let l = 0.2 - 0. Do l and q have different values?
True
Let o = 433 + -258. Is 529/3 less than o?
False
Suppose 3 - 2 = 4*q - 5*i, 28 = 4*q + 4*i. Which is bigger: q or 0?
q
Let t = -414 - -847/2. Suppose 0 = 4*y + 55 - 95. Is t smaller than y?
True
Let s(n) = n + 6. Let x(v) = -2*v**2 - 15*v + 1. Let j be x(-8). Let h be s(j). Which is smaller: h or 0?
h
Let d = 6.49 + -80.19. Which is greater: d or -0.1?
-0.1
Let t be (-12 + 0 + 7)*(-8)/(-5). Let z(p) = -3*p - 3. Let x be z(-5). Suppose -3*v + v - 2*o - x = 0, -17 = 2*v - 3*o. Which is smaller: t or v?
t
Let k = 491 + -298. Which is bigger: k or 195?
195
Let o(a) = -21*a**2 + a + 6. Let v(x) = -x**2 + 1. Let h(y) = y**2 + 3*y - 4. Let d be h(-3). Let i(n) = d*v(n) + o(n). Let g be i(-1). Is -16 less than g?
False
Let w be 48/(-40) + 5836/(-20). Is w != -295?
True
Let w = -0.59 - -0.59. Let o = 0.03 + -0.02. Is w at least o?
False
Suppose 2*p - 1 = -0*p - y, 5*p + 3*y - 5 = 0. Let x(t) = -27*t**3 - 1. Let j be x(-1). Is j at most as big as p?
False
Let t = -1564 + 1566. Is t greater than -87?
True
Let l = -1.3 - 6.7. Let r = 434 + -443. Let d = l - r. Is 2 >= d?
True
Let k be 2 - 2/(-6)*-177. Let a = -54 - k. Is a > 1?
True
Suppose 0 = -a + 15. Let d be 213/a + (-4)/20. Is 14 equal to d?
True
Suppose 0*a + a = 4. Suppose -2*p = -a*y + 30, 20 = 4*y - 5*y - 5*p. Which is greater: y or -3?
y
Suppose 26 = -6*m - 16. Let j be m/1 + -6 + 4. Is 2/3 less than or equal to j?
False
Let b be (-10)/135 - (-7512)/97038. Which is smaller: b or 0?
0
Let g = -0.2 - -0.1. Let u = 38.67 - 39. Let c = u + -5.67. Is g less than c?
False
Let k(y) = y**3 - 17*y**2 - 15*y - 9. Let b be k(18). Suppose 2*p + 3*p - b = 0. Let r = -8 - -16. Which is smaller: r or p?
r
Let b = 0.1 + -0.06. Is b < -0.4?
False
Let l be (-20)/22 - (24/66)/4. Are l and 3/749 unequal?
True
Let z = 5 + -3. Suppose 19 = -5*f - 3*v, 4 = -z*f + 3*v + 9. Let j = 130 + -129. Is j bigger than f?
True
Let m = 0.2 + -9.2. Let r = 8.9 + m. Let f = -0.035 - 0.065. Is f <= r?
True
Let i be 2/(-33) - 72799/(-7095). Which is bigger: -0.3 or i?
i
Let q = 765 + -3813/5. Is 1 smaller than q?
True
Let f = -818/14265 + -10/317. Which is greater: f or 1?
1
Let w = 93.208 - 0.208. Does w = 1?
False
Let b = -25 - -89. Is -1/5 >= b?
False
Let d(m) = 36*m + 31. Let k be d(11). Let z be (k/(-84) - -5)/(1/(-14)). Which is smaller: z or 2?
z
Let a(k) = -10*k**3 + 2*k**2 - 11*k + 4. Let d(c) = -c**3 - c. Let y(x) = -a(x) + 6*d(x). Let l be y(1). Is -2 at least as big as l?
False
Let u be 1/(-2) - (4 - 28/8). Which is greater: u or 6/229?
6/229
Suppose 2*j - 12 = f - 3, 0 = f + 2*j + 21. Let v be f/20*2*8. Do -12 and v have the same value?
True
Let h be 8*(-11)/(-2)*3/11. Do 32 and h have the same value?
False
Let k be ((-20)/(-28))/((-7)/(-49)) + -4. Which is greater: -3/113 or k?
k
Let v(l) be the second derivative of -l**5/20 - 7*l**4/12 + 4*l**3/3 + 4*l**2 - 21*l. Let z be v(-8). Which is greater: -2 or z?
z
Suppose 7*r - 23 - 12 = 0. Suppose t + 5 = -r*y, 4 = -5*y - 2*t - 1. Is y > -1/30?
False
Let g(v) = -11*v + 41. Let u be g(9). Which is greater: u or -57?
-57
Suppose -269 = 68*r + 139. Suppose -8 = -5*w - 3, -15 = 2*j - 5*w. Let h = 2 + j. Which is smaller: r or h?
r
Let h(t) = -t**3 - 8*t**2 - 7*t + 1. Suppose -5*j + 1 - 16 = 0, 23 = -2*p - 3*j. Let m be h(p). Which is greater: m or 1/28?
m
Let d(w) = w + 12. Suppose 0 = 10*p - 8*p - 20. Let n be d(p). Is n >= 20?
True
Let y = -601.43 + 599. Do y and 1/3 have different values?
True
Let s be (-5)/7 + 1 - (-38)/(-133). Suppose s = -2*p + 2 + 24. Is 10 bigger than p?
False
Let i = -405 + 629. Suppose 3*p - 112 = 2*f, 4*f + 0*f - 2*p + i = 0. Let r be (-6)/9 - f/102. Is 0 >= r?
True
Let g be 384/(-6) + -12 + 20. Is g less than -77?
False
Let p be (119/27 - 3)/(1/15). Is p greater than 22?
False
Let b = -138.11 + 138.2. Suppose -4 = -2*r - 2*r. Which is greater: r or b?
r
Suppose 3*p - 5*u = 7*p - 18, -5*p + 3*u + 4 = 0. Let z be (-2)/4 + (-46)/(-44). Is z smaller than p?
True
Suppose 0 = l - i - 3*i - 145, -2*l + i = -290. Let p = l - 2757/19. Which is greater: p or -2/7?
p
Suppose 19*o - 22*o + 12 = 0. Let d be (o - (-6)/15)*70. Let p be 7/(d/(-80)) + 2. Is 0 < p?
True
Suppose 148*p = 151*p. Which is smaller: -50 or p?
-50
Let n = -11.7 - -10.5. Which is greater: -2/11 or n?
-2/11
Suppose 5*l + 3*t - 31 = 0, -3*l + 6 = -4*t - 1. Suppose -2*x + x + l*h = 34, 5*x = h - 74. Let u = -13 - x. Do -8/9 and u have the same value?
False
Let n = -26 - -30. Suppose -z + 24 = z - 2*y, 0 = -5*z - n*y + 87. Let c be 20/z*11/6. Does c = 3?
False
Let h = 3 + -1. Let a(w) = w**3 + 13*w**2 + 13*w - 7. Let t be a(-12). Let b be 3 + 116/t + 3. Which is bigger: h or b?
h
Let a = 1/48 + -13/48. Let y = 0.14 + -12.14. Which is smaller: y or a?
y
Suppose 2*w - 3 = w, 0 = 5*o - 3*w - 91. Suppose 3*y - 61 = -13. Is y at most as big as o?
True
Let c = 300.3 + -301.3. Let a = 3.022 + -3. Which is smaller: c or a?
c
Let m be (7/(-5) - -1) + 0. Let g = -1742 + 1735. Which is greater: m or g?
m
Let m = -1820 + 1785. Which is smaller: m or -101/3?
m
Let i = 0.06 - -15.44. Let u = i + -1.5. Let l = 13.8 - u. Which is bigger: -2 or l?
l
Suppose 2*x = 6*x - 12, 0 = -3*p + 3*x + 87. Suppose -9*g = -13 - p. Are 3 and g unequal?
True
Suppose 10*y = 348 - 58. Is y smaller than 37?
True
Let t be (-12)/(3 + -7) - -4. Let j = -8 + t. Let g = 436 + -24850/57. Which is greater: g or j?
g
Let x(n) = 8*n + 8. Let r be x(4). Let y(c) = -3*c + 25. Let v be y(-5). Is r smaller than v?
False
Let z = 57/11 + -2896/561. Which is smaller: 0 or z?
0
Let g be (-6)/(-9)*726/44. Which is bigger: g or 89/8?
89/8
Let i = -157/164 + -12/41. Let x(f) = 6*f + 22. Let d be x(-4). Which is greater: i or d?
i
Let m be (-46)/(-8) - (-1)/4. Let r be (-4)/m*(-222)/4. Let f = -37 + r. Is 8 at least f?
True
Let n = -94 - -89. Let g be 3 + (-2 + 0)/(-2). Suppose -g = -4*t - 4*f - 12, 2*t + 34 = 4*f. Which is smaller: t or n?
t
Let k = 25 - 21. Suppose 114 = k*t - 66. Which is greater: t or 46?
46
Let f = 2 + 3. Is 21 greater than or equal to f?
True
Let t be -4 + -1*(-3 - -4). Let u be (t/15)/(2/(-12)). Let v be (u/7)/(15/(-14)). Which is smaller: v or 1?
v
Let q(l) = l**3 - l**2 + 1 - 2*l**2 - 2*l**3. Let d(u) = -u**2 + 3*u - 3. Let n be d(0). Let w be q(n). Which is smaller: w or 3/14?
3/14
Suppose -12 = -16*l + 13*l. Suppose l*w - h = 13, -w + 2*h = 4*h - 10. Are w and 0 equal?
False
Let y = 0.049 - 1.129. Let z = y + -12.92. Is -0.1 > z?
True
Suppose -x + 12 = -s - 6*x, 0 = -5*s - x - 180. Which is greater: -38 or s?
s
Let y = 5 + -11. Let m be ((-3)/y)/((-3)/2). Let i be (1 - 4)/(13/39). Is m at least as big as i?
True
Let n = -10 - -8. Let x(k) = 4*k - 3. Let l be x(3). Suppose -l*u - 5 = -14*u. Which is smaller: n or u?
n
Suppose -4*o = 10 + 6. Let u be 9/o*2/1. Let p = 5 + u. Is p greater t