t s be k(10). Which is smaller: s or 2?
2
Suppose -2*x = 2*m - 46, 3*x + 3*m = 4*m + 73. Which is smaller: 23 or x?
23
Let o = -0.05 + 0.1. Let d = o + -1.55. Let t = -1 - d. Which is greater: t or -1?
t
Let m = 18.99 + -19. Are m and 0.1 nonequal?
True
Let x = -0.03 - -6.03. Let h = 5.7 - x. Which is bigger: h or 0.3?
0.3
Suppose -4 - 3 = b - 5*u, 2*u = 4*b - 8. Suppose 0*p + b*p = 15. Let l(v) = -v**3 + 5*v**2 - v + 7. Let j be l(p). Are 3 and j equal?
False
Let p be ((-6)/15)/(90/(-25)). Is p smaller than -1?
False
Let i be (-3 - (-410)/138)*-3. Which is bigger: -1 or i?
i
Let p be (4 - -1)*(-21)/(-35). Which is smaller: p or 4?
p
Suppose -5*y = -2*y - 3*d, 5*d + 1 = 4*y. Let t(j) = -j. Let a be t(y). Let i be ((-10)/4 + 2)/a. Does i = -2?
False
Let b be (-1)/(0 + (-2)/10). Suppose 5*n + 3*o = 4, -5*n - 11 = -b*o + 9. Which is greater: 0 or n?
0
Let y be (-20)/(-4) + (1 - 3). Let w(n) = -n - 5. Let g be w(-9). Which is smaller: g or y?
y
Suppose 21 - 9 = 3*u. Let t = 6 - u. Let p be 3/10*t/(-3). Is p at most 1?
True
Suppose 2 = 3*o + 5*q - 3, -2*o = 2*q - 2. Is 2/351 != o?
True
Suppose -12*o = -11*o + 1. Is 5/18 smaller than o?
False
Let a = -225567 - -50752274/225. Let k = -79/90 - a. Let z = -1/25 - k. Is 0 greater than or equal to z?
True
Suppose -14 = 4*j + 6. Is -19/5 greater than j?
True
Let f(b) = 4*b**3 - b**2 - 2*b. Let n be f(1). Which is smaller: -2/117 or n?
-2/117
Let t(g) = -g**3 - g**2 - g - 1. Let b be t(-1). Let h be b + (-2)/(6/(-3)). Is h at most as big as 1?
True
Suppose 2 = 2*n - 2. Let y = n - -3. Suppose y*t = -4*p + 20, 3*p + 0 = 2*t + 15. Is t less than or equal to 0?
True
Let r be 2/6 - (-38)/(-78). Let t(k) = k - 1. Let d be t(0). Do d and r have the same value?
False
Let t(b) = -4 + 4*b - 2 - 55*b**2 + 56*b**2. Let y = -15 + 10. Let i be t(y). Which is greater: 0 or i?
0
Let j = -0.11 + -3.89. Let q = -87.1 - -91. Let v = j + q. Which is bigger: v or 0.1?
0.1
Let o(y) = -y**3 - y**2 + y - 1. Let l be o(0). Let t = l + -3. Are t and -4 nonequal?
False
Let v = 43 - 28. Is 15 not equal to v?
False
Let x = 1.7 - 1.4. Let u = x - 2.3. Is u >= -1/3?
False
Let g = 21 - 17. Suppose -n = -4*k + g*n + 24, -5*n - 19 = k. Is k less than 2/9?
False
Let a be (12 - 12) + 1/(-25). Which is bigger: a or 0?
0
Let a be -1 + (2 - 3) - 0. Let k = a + 11. Is 8 not equal to k?
True
Let a be 4/(-2)*(-14)/4. Suppose 6 = -4*l + 3*l. Let g = a + l. Is g at most -2/19?
False
Suppose -3*d = -2*c - 5, -6 = 2*c + c - 3*d. Let q be c*((-1)/1 + 0). Suppose 2*k = 6*s - s + 5, 5*k - s = q. Which is greater: k or 2/3?
2/3
Let m = 1 + 1. Suppose -3*g = n, 0 = -n - m + 5. Is -1 <= g?
True
Let m be (8 + -4)*143/(-52). Let y(a) = a**2 - a - 12. Let v be y(0). Is v less than or equal to m?
True
Suppose -8*r = -14*r - 12. Let c be 0 - (-1 + 18/14). Which is bigger: r or c?
c
Let t be 1*(1 - 0 - -1). Suppose 0 = -3*k - 4*b + 5 + 13, -t*k + 1 = -b. Let d = 0.5 + 1.5. Do d and k have the same value?
True
Let k = 2/827 + 47129/4135. Let o = -11 + k. Let p be (-1)/2 - 2/12. Which is bigger: p or o?
o
Let d = -38 + 26. Let j be 0/(-3) - 3/d. Is 0.2 >= j?
False
Let d(q) = -q**2 - 3*q + 1 - 2*q - 11 - 6*q. Let n be d(-10). Is 2 != n?
True
Let u = -4.46 + -0.04. Let y = u + 6. Let r = y - 2. Which is smaller: r or 2/5?
r
Suppose p - 3*p = 2. Let a = 17 + -18. Is a > p?
False
Let o(t) = 13*t - 2. Let n be o(1). Which is greater: 2/7 or n?
n
Let l = -0.5 - -0.9. Is l less than 2?
True
Let d = 8 + -6. Let b = d - -1. Let f = b - 3. Is f at most as big as 2/7?
True
Let q = -0.5 - -0.4. Let l = 3.6 - 2.5. Is l greater than q?
True
Let i = 1 - 6. Let c(k) = -k - 4. Let z be c(i). Which is smaller: -1 or z?
-1
Let l(f) = f - 11. Let q be l(7). Let v(b) = b + 4. Let p be v(q). Suppose -5*z = -2*z + 12. Is z equal to p?
False
Let b = 101 + -90. Which is greater: b or 3?
b
Suppose 0 = 5*m - r - r, 0 = 4*m - 5*r - 17. Let z be 2*(3/6 + -1). Let o be (-12)/30 + z/10. Which is smaller: o or m?
m
Let u(a) be the second derivative of 5/2*a**2 - 1/6*a**3 + 0 - a. Let h be u(4). Which is greater: h or 2?
2
Let t(a) = -a**3 - a + 5. Let x be t(0). Is 3 equal to x?
False
Let f = -8 + 6. Let p be f/(-44)*(4 - 0). Suppose 2*y - y + 5 = j, 4*y = 3*j - 15. Which is smaller: y or p?
y
Let p = -14/89 + 837/2492. Is -1 greater than p?
False
Let z = 4 - 37. Let d = z - -100/3. Which is smaller: 0.1 or d?
0.1
Let y(s) = -s**3 + 5*s**2 - 5*s + 4. Let n be y(4). Let u(q) = -q**2 + 5*q + 4. Let k be u(5). Suppose -1 = -3*o + j + k, 10 = -3*o - 2*j. Is n < o?
False
Let q = -1700/197181 - 1/1809. Which is smaller: -1 or q?
-1
Let k be 4 - (4 - 0/(-1)). Is -1/8 equal to k?
False
Let j(g) = -g. Let h be j(2). Let s be ((h + 34)/4)/2. Is s greater than 3?
True
Let c = -15.1 + 16.1. Suppose -4*l - 4 = -5*l. Suppose g - v - 21 = 4*v, 5*v + 24 = l*g. Are c and g equal?
True
Let c = -3134/1341 - 16/149. Which is smaller: -3 or c?
-3
Let d = -25 - -31. Is d smaller than 5?
False
Let y = -156 - -99. Is -1/2 greater than y?
True
Let o = -7 - -5. Let r(n) = 6*n**2 + 3*n**3 - 4 + 1 - 2*n**2 - 2*n**3. Let w be r(-4). Which is greater: o or w?
o
Let j be (-2)/4 + (-1)/2. Let f = -4 + 5. Let b = f + j. Is -1/2 greater than or equal to b?
False
Suppose 5*p - p = 36. Let v be 51/p - 1/(-3). Let t be (-4)/v + (-16)/(-18). Do t and 1 have different values?
True
Suppose 4*y - 116 = 3*m - 17, -3*y = 2*m - 53. Is 18 smaller than y?
True
Let h be (-664)/(-164) - 0 - 4. Are -1 and h nonequal?
True
Let h be 1/(-4) - 99/(-204). Let v = h - 67/68. Let f(l) = -2*l**2 - 16*l - 1. Let o be f(-8). Is v greater than o?
True
Let x be (-1 - -1) + (-6)/(-1). Which is smaller: x or 4?
4
Suppose g + 3*g - 8 = 0. Suppose -7*w = -g*w. Suppose -3*k - 12 = y - 4*y, 3*k - 5*y + 18 = w. Is -1 at least k?
True
Let b(z) = -z + 1. Let k be b(1). Let o = k + -2. Let m be -1*1*(-2)/o. Is -1/2 < m?
False
Let o = -8 - -8.8. Let x = o - 0.9. Which is bigger: x or -2?
x
Let w be -1 - (-2 + 1)*2. Are w and 4/7 nonequal?
True
Let u(t) = t + 7. Let o be u(-6). Let s = 1.5 - 1. Let h = 0.6 - s. Which is smaller: h or o?
h
Let h = 6 - 5.4. Let v = h + -0.6. Is -5 <= v?
True
Suppose 0 = -g + 5*z + 19, 4*g + 23 = -4*z + 3. Which is smaller: -1/2 or g?
g
Let y(h) = -h**2 - h - 9. Let m be y(-4). Is m bigger than -21?
False
Let m be (-6)/6*(2 + -1). Let l = 3 - m. Suppose 5*q + l - 9 = 0. Which is smaller: 1/2 or q?
1/2
Suppose 3*a - n - 12 = -4, 2 = 2*a + n. Let l(v) = v + 5. Let x be l(0). Let c be (a + 3)*(-2)/x. Is -2 at least as big as c?
True
Let a = -0.46 + 0.5. Let j = -0.06 - a. Which is smaller: 0 or j?
j
Let m = 5 + -4. Suppose 0 = -0*t - 4*t + q + 6, 0 = 4*t - 3*q - 2. Which is greater: m or t?
t
Let q(t) = 2*t**2 + 30*t - 31. Let v be q(-16). Is v >= -6/13?
True
Suppose 3*s + 2*q = -0*q + 2, 0 = q - 1. Are s and -6/19 non-equal?
True
Let r = 5.06 - 5. Let w = -0.94 - r. Let a = 0.3 + -0.3. Which is bigger: a or w?
a
Let y(i) = -i**3 + 12*i**2 - 2. Let j be y(12). Let x be -1 + (2 - (3 + j)). Which is smaller: 1 or x?
x
Suppose 0 = -2*i + 3*y - 1, 3*i - 5*y = -y - 2. Which is greater: i or 1?
1
Let l = 6 - 4. Let u = l + 0. Is 2 equal to u?
True
Let t = -33 - -32.1. Is -2/5 at most as big as t?
False
Let r(p) = p**2 + p. Let f be r(-1). Suppose 10*o = 9*o - 2. Is f <= o?
False
Let v = -183 + 912/5. Which is smaller: -1 or v?
-1
Let n = 3 + -5. Suppose -4*r - 12 = 4*z, 0 = -2*r - 2. Let w be ((-1)/(-3))/(1/z). Is w bigger than n?
True
Let r = -5.5 - -5. Let z = r - -0.7. Which is smaller: z or -0.1?
-0.1
Let m(s) = -s**2 - 9*s - 17. Let w be m(-6). Which is greater: w or -2?
w
Let h = 0 + 0. Let q(v) = v**2 + v + 1. Let f be q(0). Let j = -1 - f. Does h = j?
False
Let o = -18 - -18.2. Is o smaller than 6?
True
Let c(x) = -3*x**3 - x**2 + 2*x - 4. Let t be c(-2). Is 12 less than t?
False
Suppose 0 = 2*m - 4*m - 4. Which is greater: 22 or m?
22
Let p be (1/(2/16))/2. Let f = p - 0. Do 4 and f have the same value?
True
Suppose -3*t = z + 11, -3*z + 3*t + t - 7 = 0. Suppose 20 = 2*g + 2*g. Suppose -33 = g*s - 13. Does z = s?
False
Let s = -1/22 + -19/66. Let b = 2/3 + s. Is 1 >= b?
True
Let p = 19/6 - 11/3. Let o be (-2)/7 - (-2 + (-36)/(-21)). Is o at most as big as p?
False
Suppose 2*p = -4 - 6. Let w = 8 + p. Is 2 at most w?
True
Suppose 5*