 at least as big as t?
True
Suppose -2*z - 2*v - 8 = 0, 0 = 3*z + 3*v + 2*v + 12. Let o(h) = -h + 6. Suppose s + 0 = d - 4, s = -4*d + 41. Let n be o(d). Is n smaller than z?
False
Let d = -65 + 75. Is 7 equal to d?
False
Let h(x) = 10*x**2 + 2*x + 2. Let v be h(-1). Is v != 10?
False
Let d = 0.15 - -0.85. Let c = -0.4 - -2.4. Do c and d have the same value?
False
Suppose 0 = 2*t - 5 + 13. Which is smaller: -2 or t?
t
Let u(r) = -3*r - 3. Let c be u(-5). Suppose c = -3*j - 5*s, 3*j + 1 = -2*s - 2. Is j >= -1?
True
Suppose -16*a + 12*a = -1300. Let q = -1457021/4495 + -8/31465. Let n = q + a. Which is smaller: 2 or n?
n
Let s be 232/20 - 2/(-5). Let h = s - 27/2. Suppose q + x - 4 = -0, q + 2*x - 9 = 0. Is h greater than or equal to q?
False
Let g = -0.028 - -6.828. Let i = -11 + 18. Let v = i - g. Which is bigger: -1/2 or v?
v
Let m = -28 + 20. Which is bigger: m or -6?
-6
Let b be 5/(60/27) - 2. Let m = b - 1/2. Is 5 greater than m?
True
Let l = -4 - -4.1. Let v be 18/28*4/(-3). Let s = 4/21 + v. Which is smaller: l or s?
s
Let w be (10 + -13)*(2 + 700/(-351)). Are -1 and w equal?
False
Suppose 0*n + 4*n - j + 86 = 0, n + 25 = 2*j. Let k be (1 - -1) + 60/n. Suppose -c + 1 = 3. Which is smaller: k or c?
c
Suppose 0*j = -2*j, w = 4*j + 1. Let p = w + -9. Which is bigger: -7 or p?
-7
Let h = -71.2 + 70.2. Suppose 2*a + 59 = -k, 5*a + 4*k = -74 - 72. Let q be ((-4)/a)/(1/5). Which is smaller: q or h?
h
Let u be (-94)/14 + 0 + -3. Let b = 202/21 + u. Is 1 greater than or equal to b?
True
Suppose 2*k - 14 = -2*h, -3*h + 7 = 2*k - 9. Suppose 4*y + 118 - 14 = 0. Let x be y/(-8) - (-1)/(-4). Are h and x equal?
False
Let a(g) = 3*g - 1. Let h be a(-1). Suppose -11 + 1 = -2*o. Let c = h + o. Are 2/9 and c unequal?
True
Suppose -4 = -14*a + 12*a. Suppose -u - a*u = -5*l - 23, -3*l = -5*u + 17. Is u at most as big as -3/7?
False
Suppose 4*o + 4*a + 13 = 5*a, 4*o + 1 = 5*a. Let c be (o/4)/((-1)/1). Which is smaller: -1 or c?
-1
Suppose 2*p = 5*k + 43, -8 = -2*p - 0*p. Let u be ((-1)/(-1))/((-7)/k). Let f = 5 - 3. Is u at least as big as f?
False
Let f = -1 - 1. Let c be (-52)/(-14) + (-14)/(-49). Let s = f + c. Which is greater: 4 or s?
4
Let r be (-2 - (-20)/8)/((-2)/6). Which is greater: r or -3?
r
Let x = -0.3 - 0.2. Let p = 3.6 - 4.1. Let l = p + x. Is -0.05 at least l?
True
Let t be (-2 + 3/2)*0. Suppose k = -6 + 1. Let d be 1/9*(-6)/k. Which is greater: t or d?
d
Suppose -2*r = 2*r. Which is bigger: -3 or r?
r
Let i be 0/(2/(-4)*-4). Let h be (-2)/((-8)/(-2)) + i. Is -1 bigger than h?
False
Let y = 3.5 + -3.55. Is y bigger than -2/11?
True
Let k = 0.2 + -0.17. Let d = k - -0.07. Let m = 4 - 3.8. Which is greater: d or m?
m
Let r be 0 + (-4)/(-2 - -1). Suppose -3*q - 13 = -3*m - r, -4*m + 4 = 4*q. Is m <= -0.1?
False
Suppose 9*t = 4*t - 5*h - 55, 5*t - h + 43 = 0. Let c(j) = -j**3 + 5*j**2 + 6*j - 4. Let b be c(6). Let o be t/6 + b/(-8). Which is smaller: o or -4/7?
o
Let w = 1 - 1.6. Let h(n) = -n**3 - 7*n**2 - 7*n - 2. Let d be h(-6). Let z = -15/4 + d. Which is bigger: w or z?
z
Let r = -9 - -9. Which is bigger: 4/7 or r?
4/7
Let c be (-8 - -5) + -1 + 4. Is 4/13 bigger than c?
True
Let r = 31 - 157/5. Which is smaller: -2/3 or r?
-2/3
Suppose -5*v + 2*z = -0*v + 85, z + 68 = -4*v. Let x = v - -28. Suppose -5*d = -0*t - 5*t + 20, 4*d = -5*t + x. Is 2 < t?
True
Suppose 2*q = 5*q - x, -18 = 3*q + 5*x. Let n be (q + (-61)/(-15))/4. Let r = 4/15 - n. Is r greater than or equal to 0.1?
False
Let k(r) = -6*r + 47. Let w be k(7). Suppose 3*f - 5*g = -10 + 1, -3*g + 12 = -4*f. Let l = 8 + f. Does w = l?
True
Let f = 29 + -85. Which is greater: -58 or f?
f
Suppose 5*q = -0*q + 15. Which is bigger: 13/6 or q?
q
Let a(r) = r**3 - 4*r**2 - 6*r + 4. Let q be 37/7 - 2/7. Let n be a(q). Is n smaller than 0?
True
Let g be 4 - 148/72*2. Which is bigger: -1 or g?
g
Suppose 7*u = 3*u - 28. Is u smaller than -27/4?
True
Let a(p) = p**2 + 5. Let z be a(0). Suppose 0 = -0*n + 2*n - 6. Let y be 2 - -2 - (n - z). Do 5 and y have the same value?
False
Suppose -3*d + 0*d = 0. Suppose 22*a - 17*a - 20 = d. Which is greater: a or -0.1?
a
Suppose -4*l + 4*g - 36 = 0, -3*g - 3 = 3*l + 6. Which is greater: l or -14/3?
-14/3
Let o = 30 + -91. Let v be o/(-15) + -1 - 3. Which is smaller: v or 1?
v
Let x(s) = s - 10. Let p be x(-8). Which is smaller: -16 or p?
p
Let r = 43 + -40. Let b(c) = c**2 + 1. Let j be b(0). Is r smaller than j?
False
Let n be 2/10 - (-2519583)/135. Let b = 18644 - n. Let c = 20 + b. Is 3/5 >= c?
True
Let l(b) = -18*b + 58. Let m be l(4). Is m bigger than -10?
False
Let w be (-9)/6 - 3/(-6). Let z be w/(-4) - (-190)/(-24). Let u = 8 + z. Is u less than or equal to -2/11?
False
Let d(a) = a**3 - 48*a**2 - 57*a + 391. Let s be d(49). Suppose -2*z - 1 = -3. Let q = 2 - z. Is q <= s?
False
Let m = -2.027 + 0.027. Let z = -1.845 - 0.135. Let j = z - 0.02. Does j = m?
True
Let j be ((-68)/85)/((-12)/10). Is j < 2?
True
Suppose 3*l = 6*l - 9. Suppose 3 + 0 = -3*x. Let h = x - l. Is h greater than or equal to -3?
False
Suppose 0*o - 4*o = 8. Let x(f) = -f**3 - 2*f**2 - 2*f - 3. Let w be x(o). Let l(t) = t + 8. Let c be l(-7). Is c >= w?
True
Let u = 36 - 39. Which is bigger: -7 or u?
u
Let d = 2 - 1.9. Which is smaller: d or -1/6?
-1/6
Let m be (-30)/3*2/(-4). Suppose -m*r - 3*d + 38 - 3 = 0, -r - 4*d = -24. Is r at least 2?
True
Let u be (1/(-6)*-4)/((-4)/(-18)). Which is smaller: -0.8 or u?
-0.8
Let s = 22 - 19. Suppose 0 = -2*m - 8, -s*q + 5*q + m + 10 = 0. Which is bigger: -4 or q?
q
Let h(l) = -3*l**2 - l + 2. Let u be h(-2). Let r = u + 5. Is -3 at least as big as r?
True
Suppose 4*n - 24 = 4*l, -9 = -5*n - l + 3. Suppose 0 = -f + 2*y + 1, n*f - 5*y - 2 + 0 = 0. Is f >= -2/25?
False
Let d = -16 + 18. Let o be (d/36)/((-4)/16). Are o and -1 equal?
False
Let t be (46 - -2)/2 + -2. Suppose 4*j + t = -10. Do -8 and j have different values?
False
Let z = -8.6 - -8. Let c = -0.4 + z. Let r = c + 3. Which is smaller: 0.3 or r?
0.3
Suppose -7*u + 2*u - 10 = 3*z, 4*z + 3*u + 28 = 0. Let h be ((-4880)/75)/(12/z). Let d = -54 + h. Which is smaller: 0 or d?
0
Let o = -0.122 + -62.878. Is -2/3 smaller than o?
False
Let a = 186 - 133. Which is greater: a or 54?
54
Let b be (-2)/(-7) + 26/7. Suppose -q + 43 = b*o, 3*q + 25 = 3*o + 4. Suppose 7 = 5*n - a, 3*n + 2*a - o = 2. Is 1 less than n?
True
Let d be (-2 - (3 - 5))*6/6. Suppose -4*t + 0 = 8. Is d less than t?
False
Let p be ((-1)/4)/(1/(-4)). Which is smaller: p or 12/11?
p
Let r(z) = -z**2 - 6*z - 4. Let d be r(-5). Let n be d*(-1)/(-2)*0. Suppose 0 = 2*y - 0*y. Is y >= n?
True
Let s = -3 - -10. Is s smaller than 6?
False
Suppose 5*p - 8 = -3. Is 1 at most as big as p?
True
Let f(x) = 9*x**3 + x**2 - x + 1. Let y be f(1). Let s be (5/y)/(2/4). Let q = -673/4 + 169. Is q less than s?
True
Let d = -3 - -26. Suppose 0 = m + 2*g + 2, 0*m + m - 5*g + d = 0. Which is smaller: -7 or m?
m
Let h(w) = w**3 - 3*w**2 - w - 4. Let i be h(4). Let x be (-1)/(-2*(-2)/i). Is x >= 0?
False
Let d = 79 - 79. Which is bigger: d or 0.9?
0.9
Let u be 4/((-8)/5)*14. Let a be (-14)/u - (-1301)/(-1940). Let h = 2/97 + a. Is h > 0?
False
Let s be (1/(-1) - 8/(-6)) + 0. Are s and -81 nonequal?
True
Let u = -7 + 9. Let b be 5/(-30) - 1/u. Which is smaller: 0 or b?
b
Let o(u) = u**2 - 7*u + 7. Let n be o(6). Is n at least as big as 1/23?
True
Let t = 10 - 8. Is 5/2 greater than or equal to t?
True
Suppose 2*g + 4 = 6*g. Let i be -3 - g*-2*-1. Let f be (-8)/10*(6 - 1). Is i equal to f?
False
Let i = -14 + 21. Let h = i - 1. Suppose 4 = 4*y - h*y. Do -3 and y have different values?
True
Suppose 23 - 58 = -5*i. Let s be (2/3)/((-1)/(-12)). Which is smaller: i or s?
i
Let n(u) = -u**3 + 4*u**2 - 4*u + 4. Let k = 8 - 5. Let m be n(k). Let i be m + 2 + (-57)/21. Which is smaller: i or 1?
i
Let f = 0.7 + -0.1. Let l = 1.3 - f. Let c = -0.7 + l. Which is greater: c or 1/4?
1/4
Suppose -4*g = -g - 39. Is g greater than 13?
False
Let f = -4 - -3. Let x = -6 + 5. Is f greater than x?
False
Let j be 105/(-10)*(-24)/7. Let f = -26 + j. Are 11 and f nonequal?
True
Let j be ((-5)/(-2))/(-5)*-2. Let k be 15/(-12) + (-1)/(-4). Let m be 1 + (-1 + 0 - k). Is m less than j?
False
Suppose 4*q - 5*i = -0*q + 45, 0 = 3*q - 4*i - 35. Let g = -7 + q. Is -2 less than g?
