 at least t?
False
Let a be (-1226)/(-40) - 2/5. Let c = -30 + a. Let l = 5 + -5.1. Is c < l?
False
Suppose 0 = -5*q + 2*q. Let a be 1 + ((-10)/4 - q). Let x(i) = -i**3 + 5*i**2 + i - 4. Let t be x(5). Is t at least a?
True
Let b = -15461 + 9446673/611. Which is smaller: b or 0?
0
Let p = 5 + -2. Suppose -f + 6 = 4, 3*u - 7 = f. Is p at least as big as u?
True
Let b be 0/(10*4/(-8)). Is 4/9 equal to b?
False
Suppose 2*j - 2*q + 32 = 0, -j - 10 - 6 = 4*q. Let g be 1/(2*(-2)/j). Suppose 4*a + 3*b - 3 = 4, 0 = -g*a - 2*b + 6. Is a >= -0.1?
True
Let b = 8214/1339 - 80/13. Which is greater: -1 or b?
b
Let j be -3 + -1 + (-92)/(-30). Let z = -8/5 - j. Which is smaller: z or -2?
-2
Let o(a) = -a - 9. Let v be o(-7). Let r = 0 + -1. Do v and r have different values?
True
Suppose -5*t = -3*t + 16. Is -9 not equal to t?
True
Suppose 0 = 5*t + 3*u - 78 + 18, 12 = t + u. Let z be (-7272)/45*t/10. Let l = z + 194. Which is bigger: 1 or l?
1
Let x be 4*-2*(-1)/(-28). Let m = -11 - -11. Which is smaller: m or x?
x
Let u = 0.2 - 0.02. Let i = u - 0.08. Does 0 = i?
False
Suppose 3*h = 4*c - 31, -h + 5*c - 21 = c. Does h = -3?
False
Let m(c) = 4*c - 8. Let r be m(-7). Let p be (2/(-10))/(r/(-135)). Is p >= -2?
True
Let n be -1 + (3 - 0) - -10. Suppose v - 4*v = -n. Let o be 4/30*6/v. Which is bigger: o or 0?
o
Let a = 7 - 8. Let v be (a - 6/(-3))/4. Is v bigger than -2/3?
True
Let q = 2 - 3. Let o = 13 - 71/5. Which is smaller: q or o?
o
Let b be (-5)/20 + 7/40. Let t be 81/120 + (-4)/10. Let m = b + t. Which is smaller: m or 0?
0
Suppose 0 = -5*o + 4*y + 5, -4*y = 4*o - 3 - 1. Suppose 15 = 4*s - o. Let v(p) = p**2 - 2*p. Let i be v(3). Which is bigger: i or s?
s
Let l = -75/8 - -447/40. Which is bigger: l or 3?
3
Let f = 95 - 68. Suppose 5*y = -f - 23. Let p be y/(-4) - 4/(-8). Is p at most 4?
True
Let l be (-3)/(-2)*6 + 2. Let f = 11 - l. Is 2 < f?
False
Let f = -8 - -3. Let d = -87/5 - -69/5. Do d and f have the same value?
False
Let b be 50/12 - 10/60. Let x = 4 - b. Which is bigger: -1 or x?
x
Let l = 17 + -32. Suppose -t = -4*h - 51, 51 - 14 = -3*h + 2*t. Is h at least l?
True
Let s be 2/6 + (-5)/6. Let c = -7 + 2. Let k be (c - -4) + 3/4. Which is smaller: s or k?
s
Let u = 0.43 - 0.33. Which is smaller: u or -2/3?
-2/3
Suppose 0 = -2*v + 3*v. Let l be (-3)/(-1)*(-2)/(-3). Suppose 16 = 3*x + 4*r, r - 2 = -3*x + l. Is x less than v?
False
Let r be 6/4*8/(-48). Which is greater: r or 4/13?
4/13
Let k = 90 + -179/2. Let m = -6 - -8. Is m less than k?
False
Let d be 4/(-10) + 4/10. Let s = 1874/9 - 208. Which is greater: d or s?
s
Suppose 0 = -2*i - 15 + 3. Let l be (i/(-8))/((-3)/2). Let h = -6 - -5. Is l greater than or equal to h?
True
Suppose w = -0*w + 4. Let c be 1*-2*1/w. Is c at most as big as 1/3?
True
Let a be 4/18 + 520/90. Is 3 at most a?
True
Suppose 5*w = -5*x - 2 + 7, 7 = 3*w - x. Suppose -r = w*r. Let u be 10/12 + 2/(-4). Which is bigger: r or u?
u
Let u = 220 - 2181/10. Which is bigger: u or 3?
3
Let m = -70 - -72.97. Let x = m - -0.03. Let a = 37/36 + -7/9. Which is bigger: x or a?
x
Suppose 3*u + 5 = 23. Suppose u*r = r. Is -1 at least r?
False
Let r = 2 + -1.7. Let s = 0.2 - r. Let i = -1.1 - s. Is i greater than 2?
False
Let c = 25 + -23. Let f = 2 + -1. Do c and f have different values?
True
Let b(s) be the second derivative of -s**5/20 - 5*s**4/12 - s**3/6 - 3*s**2 - 4*s. Suppose 0 = -4*u + 13 - 33. Let j be b(u). Which is greater: -3 or j?
j
Let v be (4 - 4) + 21/(-770). Is v bigger than -1?
True
Let b(d) = 9*d + 4*d - 4 - 6*d - d**2. Let u be b(6). Let j be 0/(15/(-3) + u). Are j and 0 equal?
True
Let m(j) be the first derivative of -j**2/2 + 5*j + 3. Let n be m(5). Which is bigger: 0.3 or n?
0.3
Suppose -6*w + 23 + 79 = 0. Is 16 less than w?
True
Let j = -5 + 7. Suppose -m + 3*s - 16 = 0, -3*s - j*s = 4*m - 21. Is -1 at most m?
True
Suppose s + 19 = -3*s + 3*b, 0 = -5*b + 25. Let z(t) = -t + 1. Let j be z(-1). Is s not equal to j?
True
Let p = -5035/429 + 11/39. Which is greater: p or -11?
-11
Let h = 13 - 12. Is h at least -2/15?
True
Suppose -4*w - 19 = -3*t, -5*t - 7 = 4*w + 4. Suppose 11*y + 21 = 4*y. Which is smaller: y or w?
w
Suppose 0 = b - 3*y - 2*y + 3, -4*b + 84 = 4*y. Are 17 and b unequal?
False
Suppose 3 = -2*c + 1. Let p be (-7)/(-15)*22/77. Which is smaller: p or c?
c
Suppose -31 + 133 = 2*s + m, -m - 216 = -4*s. Are s and 0 unequal?
True
Suppose -y - l + 10 = -6*l, 2*l = -2*y - 4. Suppose y = 2*k - 0*k + 2. Let h = -65 - -843/13. Is h not equal to k?
True
Suppose -2*c - 4*s = 28, 0*s + 20 = 5*s. Is c equal to -22?
True
Let o be (-2)/5 + 36/15. Let c be o/1 + (-4)/2. Which is greater: -1 or c?
c
Let s be (-1 - -1) + (1 - 0). Let j be (6/18)/((-2)/(-18)). Suppose 0 = 2*b - j*x - 15, 3*b + s = -x - 4. Is 0 bigger than b?
False
Let t(i) = 2*i + 10. Let q be t(-7). Suppose 0 = 4*m - 2 + 6. Let g = -5 - m. Is q <= g?
True
Let u = 134.3 + -132. Which is greater: -0.3 or u?
u
Let u(x) = x**3 + 8*x**2. Let d be u(-8). Let s = 123/254 - -2/127. Is s != d?
True
Let u = 0.75 + -0.65. Which is smaller: u or 10?
u
Let n = 2 - 2.2. Let w = n + 0.4. Let v = w - 0.3. Is 1/4 at most as big as v?
False
Let q be 5/35 - 27/(-7). Let p(r) = 2*r - 4. Let l be p(q). Is 7 != l?
True
Let q(h) = -h**3 - 8*h**2 - 12*h. Let d be q(-6). Does d = -5/34?
False
Let g(k) = 3*k**2 - 10*k + 7. Let y(u) = 4*u**2 - 11*u + 8. Let r(n) = -3*g(n) + 2*y(n). Let a be r(6). Does 7 = a?
True
Let h be ((-30)/(-8))/((-3)/12). Let j be (h/(-90))/((-2)/(-8)). Let d = -2 - -2. Which is smaller: d or j?
d
Let f = 134 + -134.19. Is 4 < f?
False
Let y = 0.3 - 0.6. Let i = -0.1 - y. Let g = 3 - 1. Which is smaller: g or i?
i
Suppose -2*l + l = 0, -4*f + 4*l = 4. Let m be f + 2 - 1*3. Let j(b) = -2*b**2 - 1. Let p be j(1). Is m less than or equal to p?
False
Let x(n) = -n**2 + 2*n + 2. Let l be x(3). Let c be (l + 1 + 0)/2. Is 0 < c?
False
Let y be ((-6)/(-15))/((-18)/10). Let d = -3 + 5. Suppose -2*k = d*k. Is k equal to y?
False
Let n = 2810 - 317528/113. Is n < 1?
True
Let g = -295 + 2087/7. Do g and 3 have the same value?
False
Let q(c) = -7*c**2 - 2*c - 1. Let g be q(-1). Let z be 0 - 3/6*4. Let h be g - ((2 - 2) + z). Is -1 at least as big as h?
True
Let m be (1 - (1 - (3 - 3)))*-1. Which is smaller: m or 3/8?
m
Let f be 0 - (7 + (4 - 2)). Is f at most -6?
True
Let j = -1/231 + -673/4620. Which is smaller: j or 0?
j
Suppose -j + 2*k = -17, j - 5*k = -4*j + 70. Do 10 and j have the same value?
False
Let d(q) = 7*q**3 - 2*q**2 + 2*q - 1. Let u be d(1). Suppose 6*y = 3*y + u. Let m be (6/9 - 0)/y. Which is bigger: m or 2/5?
2/5
Let v = -10 + -7. Is v equal to -16?
False
Suppose 0 = 4*f - i + 49, 3*f = 3*i + i - 40. Is -7 greater than or equal to f?
True
Suppose -3*h + 2*b = -89, 3*h = -h - 3*b + 113. Which is bigger: h or 28?
h
Let h = -187/7 - -27. Which is smaller: h or 0?
0
Let j(q) = q**3 - 15*q**2 + 12*q + 30. Let i be j(14). Suppose 0 = -4*p + 8. Does p = i?
True
Suppose 6 = 3*i - 0. Let m be 28/(-88) + i/4. Is m < 3?
True
Let t be (-19)/(-6) - 6/2. Is -1 smaller than t?
True
Let o = -7.07 + 0.07. Let u = o + 7. Let l = u + -4. Which is smaller: l or 1?
l
Let j = 0.22 + -0.02. Which is bigger: j or -3/7?
j
Suppose 0*q + q - 3 = j, 3*q = j + 3. Is 0 <= q?
True
Let m be ((-2)/(-4))/(1/2). Let b be ((-1)/4)/(23/35). Let v = 3/23 + b. Which is bigger: m or v?
m
Let s be (-3)/6 + 28/8. Suppose -a = -4*m + 2*a + 31, -s*m - 5*a = -16. Is -1/2 bigger than m?
False
Let s(z) = -z**3 - 7*z**2 - 6*z + 7. Let g be s(-6). Is 8 at least as big as g?
True
Suppose 0 = -3*h + 4*h - 3. Suppose i - 16 = -q, 0 = -2*q + h*i + 13 + 9. Let y = -41/3 + q. Which is smaller: 1 or y?
y
Let c = -0.2 - -1.2. Let w(k) = k**2 + 9*k + 9. Let y be w(-7). Which is bigger: c or y?
c
Let o = -25 + 29. Do -2/11 and o have the same value?
False
Let p = 4 - 1. Let d be 1 - -1*p*2. Suppose -d = -3*w - 4. Which is smaller: w or -2?
-2
Let g = -0.06 + -0.24. Let l = g - -1.3. Which is bigger: 6 or l?
6
Let q(r) = -r**2 - 4*r - 3. Let s be q(-3). Is -2/9 smaller than s?
True
Suppose 0*r + 5*r = 10. Let f be 2/7 + r/(-7). Which is smaller: f or -0.2?
-0.2
Let x(g) = -2*g - 13. Let m be x(-9). Suppose i + 0*i = -5*d + 2, m*i + 14 = -d. Is d not equal to -2/7?
True
Suppose -14 + 6 = 4*q. Let j = q + 2. 