 Is a <= 1?
True
Let r be ((-20)/6)/((-2)/3). Let t = -26 - -31. Are r and t equal?
True
Let l be (95/(-40)*-4)/((-6)/(-4)). Which is smaller: 6 or l?
6
Suppose z = 4*d - 6, 7*d - 2*d = z + 8. Suppose 0 = -2*r - 4*p - 14, -2*r + p = z*r - 8. Let j be 17/36 - 4/18. Is j at least r?
False
Let f(g) = -g**3 - 5*g**2 + g. Let o be f(-5). Suppose -2*i = -i + 4. Let s = o - i. Is -3 at least s?
False
Let p = 2 + -4. Let c be 2/(-7) + 9/7. Let s = -3 + c. Is p less than s?
False
Let h(p) = -p**3 - p**2 + p + 20. Let b be h(0). Which is bigger: 21 or b?
21
Let a be (-2)/(-3) - 7/(-3). Let t(q) = -q + q**2 + q**3 - 3*q**2 - q**2. Let i be t(a). Is i not equal to -1?
True
Let t = -8 + 7.4. Let f = -17/4 - -19/4. Is f greater than or equal to t?
True
Let s = 1.2 + -0.6. Let i = 0.7 - s. Which is smaller: i or -1?
-1
Let q(h) = h**2 + 7*h + 6. Let l be q(-4). Is -4 greater than l?
True
Let d = 0.21 + -0.11. Do d and -0.1 have different values?
True
Suppose 5*h + 11 = 1. Let x be 20/(-22) - 1 - h. Let s = 12 + -11. Which is bigger: s or x?
s
Let x(n) = -n + 2. Let h be x(0). Let i(g) = -g**3 + g**2 + 3*g - 3. Let f be i(h). Let v = -553/5 + 111. Is v at most as big as f?
False
Suppose -3*k = -2*o + 6, -5*k + 21 = 5*o - 19. Suppose -o*q = -q. Is -1 != q?
True
Suppose 72 = -3*i + 33. Is -12 at most as big as i?
False
Let s = -34/133 - 12533/399. Let g = s - -32. Which is greater: -2/7 or g?
g
Let i = 8.7 + -4.3. Let a = -4 + i. Which is bigger: 1/2 or a?
1/2
Suppose 13 = -q + 4. Are q and -8 unequal?
True
Let v = 4012/11 - 365. Let a = -27/22 + v. Is a smaller than -1?
True
Let u = -0.79 + -0.21. Does u = 7?
False
Suppose -10 = 12*q + 14. Which is bigger: -1/3 or q?
-1/3
Let t = -16 - -1. Let u be (-5)/(-12)*(t - -6). Which is smaller: -5 or u?
-5
Suppose -g + 5 = a, 2*a + a - 9 = 3*g. Suppose 0 = a*h - 2*h + 4*q, 12 = 4*h + 2*q. Let u = 4 - h. Which is greater: 1/14 or u?
1/14
Suppose -2*q - 4 = -4*q. Suppose t - q = 2*t. Is -2 at most t?
True
Let x be (3/4)/(2/(-24)). Let g = 16 + x. Which is bigger: g or 6?
g
Let w = 0.2 + -0.3. Suppose 4*v - 13 - 27 = 0. Suppose 0 = i + i + v. Which is smaller: w or i?
i
Suppose x = -3*j - 3*x + 4, 0 = 3*j - 3*x + 3. Suppose j = 2*k + 3*k. Let d = -1094/7 + 156. Which is smaller: d or k?
d
Let v be (-9)/(27/12) - -4. Suppose q + 1 - 27 = -5*z, -4*q = -z + 1. Let j be (q - 1) + 4/14. Which is greater: v or j?
j
Let c be -1 - -1 - (20 + -8). Let r be (3/4)/(3/c). Is r less than -3?
False
Let w(t) = t**3 + t**2 - 3*t - 2. Suppose -8 = 7*v - 3*v. Let u be w(v). Which is smaller: 0.9 or u?
u
Let g = -14 - -14.19. Let f = g - -0.01. Is f <= -1/3?
False
Let l = -6 + -30. Is l at least -1?
False
Let f = -340/1449 - -2/161. Are f and 6 equal?
False
Let g be 25/6 + (-5)/30. Suppose 0 = -m + 2*k, -4*m - g*k + 18 = 6. Let t be m/(-2)*12/(-4). Which is greater: 4 or t?
4
Let w = 10 + -9. Let m be 3*w/(3/8). Which is greater: 9 or m?
9
Let z(y) = -y**2 + 2*y + 1. Let r be z(0). Suppose 0*a = 3*a + 402. Let g = a - -672/5. Which is bigger: r or g?
r
Let j be (27/12 - 1)*-4. Let p = 3 + j. Let c be -1*(4 + p + -3). Which is smaller: c or -1/4?
-1/4
Let k be (82/(-40) + 2)*-6. Let j be (0/(-1))/(-2 + 3). Is k bigger than j?
True
Let x(b) = -b**2 + 5*b + 4. Let n(a) = -a**3 + 11*a**2 - 9*a - 4. Let r be n(10). Let h be x(r). Is -2 <= h?
True
Let h(i) = i**2 + 4*i + 3. Let w be h(-2). Is w bigger than -1/46?
False
Let y = 12 + -15. Is -2 != y?
True
Let m(h) = -h**3 - 7*h**2 + 8. Let z be m(-7). Suppose -2*y - 2*f + 0*f = z, -y - 16 = 4*f. Which is greater: 2 or y?
2
Let l(k) = -k**2 + 3*k + 3. Let o be l(3). Let b(x) = 2*x + 4. Let w be b(-4). Let v be (w/24)/(3/(-48)). Is v bigger than o?
False
Suppose 5*d + 37 = -103. Is -28 less than d?
False
Let c be -2 - -2 - (-12)/1. Let j be c*3/(-27)*-3. Suppose 0*r + r = 2*n, r - 4 = j*n. Is r at least as big as -4?
True
Suppose 15 = 3*h + 5*o, 6*h - 2*h + 3*o = 20. Let m be (-9)/(-45) - 1/h. Is -10/9 greater than or equal to m?
False
Let h(v) = -v**3 - 3*v**2 + 2*v + 4. Let g be h(-4). Suppose 4*k + 6*n - g = 2*n, -5*k + 3*n = -47. Let w be 5 - k - (1 + -2). Is -2 at most as big as w?
True
Let m be -20*((-3)/(-6) - 0). Suppose -2*p = -2*d + 3 + 9, 0 = -4*p - 2*d - 48. Is m <= p?
True
Let x(r) = -r. Let l = 27 + -17. Let t(k) = -k + 9. Let c be t(l). Let w be x(c). Is 1 >= w?
True
Let d = -16.05 + 0.05. Which is smaller: -2 or d?
d
Let z(s) = 9*s**3 - 3*s - 2. Let g be z(-1). Let w be (-13 - -1)/(12/g). Which is smaller: w or 7?
7
Let t(g) = -2*g**2 + 1. Let f be t(-1). Let u(q) = -q**3 + 9*q**2 + 9*q + 13. Let p be u(10). Let r = p + f. Is 3 at least as big as r?
True
Let h = -3.1 - -3. Let f = h - 0. Let g = -0.5 - -0.7. Which is greater: g or f?
g
Let n = -3.7 - 0.3. Let t = n - -4. Which is smaller: t or -0.1?
-0.1
Let t(k) = -15*k**2 + 1. Let d(a) = a - 5. Let f be d(6). Let l be t(f). Which is bigger: -12 or l?
-12
Let q = -9 - -2. Is 1/4 at most q?
False
Suppose -3*q - 60 = -0*q. Is q smaller than -20?
False
Let c be 204705/(-324)*1/5. Let q = c + 501/4. Is -1 > q?
True
Let u be 0 + 5/((-15)/(-6)). Let f be 2 - u*(-2)/(-4). Is 2 at most f?
False
Let b = 1.7 - 2.7. Let p be 2/2*(1 + 0). Is b at least as big as p?
False
Let j(k) = 4*k + 1. Let i be j(-1). Let g = 11/3 + i. Which is greater: 2/5 or g?
g
Let u(g) = g**3 - 5*g**2 + 5*g + 4. Let z be u(4). Let y(t) = t - 5. Let f be y(z). Are 4 and f equal?
False
Suppose -j - 86 = -5*m, -2*m + 16 = -6*j + j. Let h be 4/m + 4/18. Which is smaller: h or -1?
-1
Let t(f) = 11*f**3 + 25*f**2 + 7*f + 17. Let h(i) = -5*i**3 - 12*i**2 - 3*i - 8. Let q(s) = -9*h(s) - 4*t(s). Let g be q(-8). Which is smaller: 13 or g?
g
Suppose z - 16 = -4*z - 4*a, 2*z + 4 = a. Which is bigger: z or -2/53?
z
Let d be 8/8*93/3. Is d at least 30?
True
Let n = 0.01 - -1.99. Let o = 2 - n. Is o > 2/3?
False
Let o(x) = x**2 + 3*x - 11*x - 2*x**2. Let h be o(-5). Suppose w - 1 = -g - 2*g, -4*w - g + h = 0. Which is greater: 3 or w?
w
Suppose -r + 2*g = -0*g - 7, 2*g + 8 = 2*r. Which is smaller: r or 1/11?
1/11
Let b = -0.05 + 2.05. Let c = b + -5. Let r = 2.9 + c. Which is greater: 2/7 or r?
2/7
Let r = 72 + -71. Which is greater: r or -2/177?
r
Let c be (-16)/(-28) - (-2370)/(-4074). Is c at most 0?
True
Suppose 0 = -3*f + 8*f - 10. Is 2 < f?
False
Suppose v = 1 + 5. Suppose -5*f + 9 = -v. Does f = 5?
False
Let o = -4.11 - -4. Is o >= -1/2?
True
Let r = -0.6 + -9.4. Let q = 1 + r. Is 0.1 smaller than q?
False
Let i = 0.057 + -3.957. Let k = -4 - i. Let s = -618/5 + 124. Is s equal to k?
False
Suppose 4*o + 19 = 3*t, 0*o + 2*t - 14 = 3*o. Let h = -2 + 5. Suppose -5*s = -h*v + 14, -5*v - 9 = -s - 3. Are o and s unequal?
False
Let x = 1305/4 - 328. Let q = -3/2 - x. Is 1 greater than q?
True
Suppose -10*g + 5*g = -80. Are g and -1 unequal?
True
Let z = 939/20 - 47. Which is smaller: z or 0?
z
Let t be 8/(-24) + (-28)/6. Is -2 equal to t?
False
Let o(k) = k**3 - 10*k**2 + 7*k + 9. Let q be o(9). Which is smaller: q or -10?
-10
Suppose 0*t = -2*t. Suppose t = -w - 3*w - 4. Let l be ((-8)/(-18))/(10/(-3)). Which is bigger: w or l?
l
Let a = -0.8 + 14.8. Is 2 smaller than a?
True
Let y = -88/145 + 1/145. Which is smaller: -0.09 or y?
y
Suppose 5*g - 5 = 5*o + 10, 0 = -3*o - 15. Let x = -22 - -25. Let h be (x + -2)*40/(-25). Is h greater than g?
True
Let h(y) = y + 2. Let f = 4 + -7. Let d be h(f). Is d greater than or equal to -2/15?
False
Let w(j) = j**3 + 12*j**2 - 14*j - 7. Let d be w(-13). Let u = d - -3. Is 9 greater than or equal to u?
True
Let k(y) = y**3 - 4*y**2 - 4*y - 4. Let g be k(5). Let n be (-1)/(-1) + (-1)/(-2). Which is greater: g or n?
n
Let v be (-30)/60 + (-1)/8. Is v > -1?
True
Let k = 6 + -8. Is -12/11 greater than or equal to k?
True
Let k = 1/24889 - -3633717/1916453. Let n = -24/11 + k. Which is greater: -1 or n?
n
Let x(a) = 4*a**2 + a + 1. Let i be x(-1). Suppose 2*d - i = -2. Is d >= -1?
True
Let i = -19 - -2. Are i and -17 nonequal?
False
Let j be ((-3)/1)/3 - -7. Suppose -j*x - 4 = -2*x. Let b be (x - 1/(-2))*2. Which is bigger: 0 or b?
0
Let l be 8/(-132) + 2/6. Which is smaller: -1 or l?
-1
Suppose -2*n + 6 = 2*c, -3 = -0*n - n. Let h be c - (0 + (0 - 1)). Let b be -5 - (-1 - 2) - -3. Is b at least as big as h?
True
Let r(n) = -n**2 - 11*n - 10. Let