r?
True
Let w be -24*((-21)/(-22))/(-7) - 3. Is w at least 1?
False
Suppose -31 - 13 = 4*d. Let g be (-9)/d + 12/66. Which is smaller: -4/11 or g?
-4/11
Let r be ((-10)/(-18))/(50/60). Let b(v) = -v - 2. Let u be b(-5). Suppose -u*f = f. Is f >= r?
False
Suppose -t - 2*t - 6 = 0. Which is smaller: 2/15 or t?
t
Suppose 0 = 2*f - 5*k + 39, -5*k = 4*f + 5 - 2. Is f at least as big as -8?
True
Let v = -251/410 + 1/82. Which is greater: -1 or v?
v
Let g = 0.4 + -0.21. Let x = -0.01 - g. Let s = 2 - 1. Do x and s have the same value?
False
Let s(y) = -y - 5. Let h(v) = v**3 - 6*v**2 - v + 2. Let l be h(6). Let u be s(l). Let x be 2/(-3)*(-9)/(-6). Are u and x unequal?
False
Let n = 31.9 + -32. Which is smaller: n or 5?
n
Let c(d) = -2*d**3 - 13*d**2 - 4*d - 6. Let n be c(-6). Which is smaller: n or -19?
-19
Let j = -361/264 - -3/88. Let v = -8 - -6. Let k = 3 + v. Is j at least as big as k?
False
Suppose 0*s = 5*s - 35. Suppose 19 = 3*p - s*p + 5*i, -4*i + 8 = 4*p. Let g = 133 + -133.4. Which is bigger: g or p?
g
Let z = 64.03 - 64. Is 1/9 less than or equal to z?
False
Let k be (-4)/(-8) + (-76)/(-8). Which is smaller: k or -2/7?
-2/7
Let b = -68 - -68. Which is greater: b or -25/2?
b
Let s(r) = r**2 + 9*r + 2. Let t(a) = a**3 - 6*a**2 - 9*a + 8. Let u be t(7). Let x be s(u). Let l = x + 63/4. Which is smaller: 2 or l?
l
Let p be 10*(-3)/((-3)/2). Suppose 0 = -5*z - p, -2*z - 3 - 1 = -4*x. Is -8 less than or equal to x?
True
Suppose 0 = -n - 0*n - 2*c + 8, n = 2*c - 12. Suppose -2*x - 26 = -3*m, 0*m + 2*m = -4*x - 20. Let g be ((x - -2) + 1)/2. Is n bigger than g?
False
Let w(q) = q**2 + q + 8. Let a be w(0). Let s(d) = 6 + 3 - 4*d - 8*d**2 + d**3 + 3*d. Let x be s(a). Which is bigger: 0.2 or x?
x
Let h = 4 - 8. Let v be (1/(-3))/((-2)/h). Suppose 0 = -0*u + 4*u - 16. Is u less than or equal to v?
False
Let p = 160 - 110. Which is greater: 49 or p?
p
Let z be 159/(-12) - 2/(-1). Which is smaller: z or -10?
z
Suppose -6*d + 3 = -4*d + y, 5*d = -4*y. Let p be 6/d + 1/2. Let t be (-4)/(-12)*(p + -2). Is 2/11 bigger than t?
True
Suppose -x = x - 2. Is x less than 11/6?
True
Let v(r) = -r**3 + 2*r**2 + 2. Let b = 10 + -8. Let h be v(b). Let s be (-1)/(-2) + 1/2. Which is greater: h or s?
h
Let s be (-7 + 1)*(-4)/(-1). Which is bigger: -23 or s?
-23
Let w(m) = -m**2 + 4. Let g be w(0). Suppose 8 = g*z - 2*z. Suppose -2*t + z = 2*v, -7*v - 12 = -3*v. Which is smaller: t or 4?
4
Suppose c - d - 7 = 4*d, 0 = d. Let t be (-3 - c)*(-4)/10. Is t at least 6?
False
Let c = 1.8 + -1.9. Do -0.2 and c have the same value?
False
Let s be ((-2)/(-1))/(-2) + 6. Suppose -s*j = -0*j. Let h = -655/7 + 93. Do h and j have different values?
True
Let d = -1.17 - -1.27. Let m be 2/(-8) - 33/(-4). Which is greater: m or d?
m
Suppose -3*y + 5*y = 0. Is -3/10 less than y?
True
Let m = 55 + -31. Suppose 3*f - 5*r = m, 4*r - 3*r = 5*f - 18. Is 4 greater than f?
True
Let f = -4.906 - -0.816. Let l = f + 0.09. Are 2 and l unequal?
True
Suppose 2 = -n + 1. Suppose 0 = 3*p + 9, 5*t + 0*p = 3*p + 319. Let r = t + -311/5. Which is bigger: n or r?
r
Let m = 448/19 - 302/95. Let c = 20 - m. Is c at most as big as -1?
False
Let v = -1.4 + 1. Let s = v + -2. Let y = s + 3. Are 0 and y unequal?
True
Let m = -47 + 47. Which is greater: 2/35 or m?
2/35
Let n be (-1)/(-3) + (-13)/3. Is -3 equal to n?
False
Let h be ((-4)/(-2))/(21/(-6)). Suppose 0*r + 2*r + 5*q = 11, 4*q = -3*r + 6. Is h less than or equal to r?
False
Suppose 3*r + 30 = 3*i, r - 2*r + 5*i = 10. Let g be (-3)/(-6) + r/(-4). Is 4 at most g?
False
Let l = 6/43 + -1239/7955. Let n = 409/2405 + l. Which is greater: 1/3 or n?
1/3
Let a = -0.02 + 0. Let i = a - 2.98. Let o = i - -4. Which is smaller: o or 2/5?
2/5
Let n be (-1)/4 + 33/4. Let v(c) = -c**2 + c + 1. Let r(h) = -3*h**2 + 9*h + 10. Let s(l) = -r(l) + 2*v(l). Let b be s(n). Does b = 3/7?
False
Let u be (-1)/(1395/(-2247)) + -1. Let b = u + -1/93. Is 2 smaller than b?
False
Let g = -10 + 5. Let y = g + 4. Is 1/3 at least y?
True
Let b(u) = -u**2 - 12*u - 12. Let p be b(-9). Which is bigger: 20 or p?
20
Let y be (2 + -2*1)/(-4 - -3). Let i be 6/(-18) + (-1)/(-1). Which is smaller: i or y?
y
Let k be 0 + -6 + 2 - 1. Is k > -7/2?
False
Let x be 0*2/(-4) + 0. Let c = 1/60 - 4/15. Which is bigger: x or c?
x
Let n = -2/165 + -809/1320. Is n >= 0?
False
Let d be 0*((-3)/6 + 1). Are 1/5 and d unequal?
True
Let p(j) = -j**2 - 7*j + 6. Let l be p(-7). Suppose 0 = -2*i + l*i + 28. Which is smaller: i or -8?
-8
Suppose -365 - 240 = 5*y. Let c = -969/8 - y. Let w = 1 - 2. Is c less than or equal to w?
False
Suppose -2*d + n - 4*n = -21, 2*d + 19 = 5*n. Suppose 0 = -h + d*h. Let a(b) = b + 7. Let y be a(-5). Which is bigger: h or y?
y
Suppose -117*y + 52 = -113*y. Which is bigger: -1/2 or y?
y
Let f(x) = -3*x - 22. Let i be f(-5). Is -1 at least i?
True
Let j = 1.1 - 1. Let w be 10/(-6) + (3 - 1). Which is bigger: w or j?
w
Let o(z) = -5*z + 14. Let a be o(10). Let y be a/30*(-10)/(-4). Let n(i) = i**2 + 7*i + 3. Let l be n(-6). Is y less than l?
False
Let g = 3 - 5/2. Let i = -6.5 + -1.5. Let o = 6 + i. Which is smaller: o or g?
o
Suppose 7*z - 36 = 6*z. Is 37 at most as big as z?
False
Let x = -3.73 - -0.73. Is -1/5 less than x?
False
Let t(u) = u**2 + 28*u - 41. Let i be t(-29). Does i = -57/5?
False
Let p be (-316)/(-360) + 4/(-10). Let d = 11/18 - p. Do 1 and d have different values?
True
Let o(t) = -t**3 - t**2 - 11. Let g be o(0). Which is bigger: g or -9?
-9
Let g(s) = -46*s**2 + 2*s + 2. Let w be g(-1). Do -46 and w have the same value?
True
Suppose 4 + 4 = -4*y. Suppose -4*r + 0*r = 0. Let v(k) = k**2. Let n be v(r). Which is smaller: y or n?
y
Let y be -1*5/2 - -2. Let l = 18 - 19. Is l < y?
True
Suppose -8 = 5*o + 12. Let c = 5 + o. Is c at least 7/3?
False
Suppose 27 = -3*f + 9. Let i be 4/f - (-1)/(-3). Is -1 greater than i?
False
Let r be 2/(-4) - (-13)/14. Which is bigger: -1 or r?
r
Let f = -0.15 - -0.05. Let h = -0.1 - f. Do -2/3 and h have the same value?
False
Let g be 1 - (-2 - -3) - 2. Suppose 0 = -5*i + 6*i - 1. Is g greater than or equal to i?
False
Let l = -2.9 + 3. Which is smaller: l or 0?
0
Let i = 3 + -1. Suppose 3*r - 2*t = 1, 2*t + 0*t = i*r. Which is greater: -1/8 or r?
r
Let j = -33 - -55. Let x = 33 - j. Let u = -7 + x. Is -0.1 less than or equal to u?
True
Let t be (-4)/(-18) + 16/9. Let g be t/(-2)*(-2 + 0). Let h be 7/5 - 20/50. Which is smaller: g or h?
h
Let i be (-3)/(-2)*(-2 - 0). Let j be i/(-2) - 4/(-8). Let y be (j - -1)/3 - 2. Is y bigger than 2/9?
False
Let d = 1 - 3. Suppose 5*j - 4 = f + 2, -18 = -5*f + j. Suppose -w = -f*w. Is w > d?
True
Let h = 3 - 8. Let j = 4.97 + h. Which is smaller: 0 or j?
j
Let m = -0.3 - 2.7. Let j = 2 + m. Let h = 22 - 22. Is j less than h?
True
Suppose 5*r + 3*z + 2*z = -10, -2*r = -5*z - 24. Let p be 4/r - (5 + -4). Let x be 0/(-1 + 0 + 0). Is p != x?
True
Let n be ((0 - -1)/2)/(-2). Suppose 3*i - i = 8. Let d be i/8 + (-1)/(-2). Is d bigger than n?
True
Let q(s) = -s**2 + 8*s - 9. Let z be q(8). Is z less than or equal to -9?
True
Let i be (-2)/(-5)*(-330)/(-8). Let z = i + -67/4. Is 1 >= z?
True
Suppose -4*v + 3 = -1. Let d be (6/12)/(v/2). Let c be 2*-1*d/2. Is c at most as big as 0?
True
Suppose -3*c = -4*n - 9, 0 = 4*c + 2*n - 4*n - 12. Suppose 0 = -l + c*l. Suppose -q + 2*q + 2 = l. Which is smaller: q or 0?
q
Let w = 4 - 6. Let d be (-16)/(-6)*(-9)/6. Let r be -2*(w/d - 0). Is r at most -1?
True
Let k be (1 - 5/10)*2/69. Which is greater: 0 or k?
k
Let i = -3 - -3.2. Let h = 2.4 + -2. Let k = h - i. Do 2 and k have the same value?
False
Let h be (-2)/(-8) + 31/4. Is h <= 6?
False
Suppose 0*u + 2*u = 0. Let f be (3 - 632)/(0 + -1). Let r = 4411/7 - f. Which is bigger: u or r?
r
Let b = 9 + -6. Suppose b*n = -n + 72. Let j be ((-2)/5)/(n/10). Is -1 greater than j?
False
Let g(q) be the third derivative of q**5/20 + q**3/6 + q**2. Let t be g(1). Let v = -29 + 34. Is t > v?
False
Let b(p) = p - 3. Let n be b(6). Suppose -n*a - 3 + 29 = 2*o, -6 = 3*a. Let k be (1/(-2))/(8/o). Which is smaller: k or 1?
k
Let q = -6 - -4. Let c be (-2 - q)/(-2 - -4). Are c and -1/4 equal?
False
Let z(n) be the first derivative of -n**3/3 - 4*n**2 - 2*n - 3. Let s be z(-8). Are s and -0.05 nonequal?
True
Let s be (-2)/6 - (