. Is q at most i?
True
Let d = 1/36 + 53/36. Is d != 2?
True
Let b be 0 + (-58)/8 - 0. Let u = b - -7. Let f = 0.1 - 0.3. Is f less than or equal to u?
False
Let n = -4 + 7. Let o = n - 1. Let y = 5/7 + -27/28. Is y at most o?
True
Let u = 4373/25 + -175. Are 0 and u unequal?
True
Suppose -4*v - 9 = 7. Is 17 <= v?
False
Let x(r) = 10*r - 20. Let u be x(2). Which is smaller: -2.1 or u?
-2.1
Suppose 3 = z + 4. Let t be (-6 - -3)/(-3) - z. Is t less than or equal to -2/3?
False
Let r = 154 - 154. Is 36 greater than or equal to r?
True
Let p(b) = -b - 1. Let j be p(-6). Let g be (8/30)/((-6)/j). Is 2 greater than g?
True
Let k(z) = 2*z**2 + 4*z + 3. Let p be k(-2). Let l = -16 + 11. Let s = p + l. Is s greater than or equal to 0?
False
Let c be (1 + (-26)/18)*1/(-6). Let m = 3 + -2. Which is smaller: m or c?
c
Let d(s) = -s + 4. Let f be d(4). Suppose -r - r - 12 = 0. Let m be -2 + (-16)/r + -1. Is f bigger than m?
True
Let o = 14 - 35. Let a be 8/42*o/14. Is -2/3 at most a?
True
Let j(o) = o**2 + 2. Let h be j(-3). Let s = 21 - h. Suppose 5*b - s = 3*k, -6*b = -4*b - k - 3. Is b at most -1?
True
Suppose 2*y - 4 = -6. Let i be (2/(-5))/((-9)/(-15)). Which is greater: i or y?
i
Let f(w) = -w**3 + w**2 - 1. Let k(c) = 2*c - 4. Let h be k(3). Let y be f(h). Which is bigger: -6 or y?
y
Let n = 0.04 + -6.04. Let o be 231/(-15) + (-6)/10. Let x be o/(-12)*3/14. Are n and x unequal?
True
Suppose t = 2*l + 11 + 3, 0 = l + 3*t. Is -1 > l?
True
Suppose 5*m = 3*u + m, -3*m - 13 = u. Is 0.13 at least u?
True
Suppose -5*u = -3*o - 6 + 13, -4*u = o + 9. Let a = 1 + 1. Which is bigger: u or a?
a
Let b be (-20)/(-140) + (-9)/14. Which is smaller: -2 or b?
-2
Suppose 7*g = 2*g + i - 55, 3*i = 15. Do -11 and g have the same value?
False
Let p = 5 - 1. Let y = -2 + 0. Let z be (-2 + 1)*(y - 3). Which is smaller: p or z?
p
Let v = -9 + 6. Let k(u) = u**2 - 9*u + 8. Let d = -20 - -28. Let h be k(d). Do h and v have the same value?
False
Let a(r) = r**3 - 8*r**2 + 4*r - 10. Let c be a(7). Let s be ((-1)/4)/(c/(-8)). Which is bigger: s or -1/3?
s
Let x = 5/114 + -4/19. Let c = -5 - -7. Suppose 0*o = c*o + 2. Which is smaller: x or o?
o
Suppose -4 = 4*v + 4. Let r be 56/(-10) - 8/20. Which is smaller: r or v?
r
Let c be 130/4 + 7/(-14). Which is smaller: c or 2?
2
Let t be (-5)/5*-1 - (56 + 1). Is t >= -57?
True
Let v(y) = y**3 - 4*y**2 + y - 2. Let m be v(4). Let p be 1 - (-12)/(-9)*-3. Suppose -2*n + 10 = -0*b - p*b, 4*b - 25 = -5*n. Which is smaller: b or m?
b
Let g = -0.102 - -2.102. Is g not equal to -0.02?
True
Let y be -2*(6/(-4) - -1). Suppose -i + 18 = 4*j - 15, -i - 12 = -j. Let z = j + -6. Is y bigger than z?
False
Suppose 59 = s - 5*u, -u - 20 = 3*u. Suppose 2*x + 73 - 79 = 0. Let v be x/2 + s/(-28). Which is smaller: -1 or v?
-1
Suppose -2*r = -5*i + 47, -5*i - 5*r + 18 = -57. Let h(a) = 2*a - 14. Let n be h(i). Is 9 <= n?
False
Let o = 16/49 + -692/1519. Which is bigger: o or 1?
1
Let h(y) = 2*y**2 - 7*y - 7. Let i be h(5). Is 8 >= i?
True
Suppose 0*h - 720 = -4*h + 2*c, 0 = 4*c. Let x be h/25 + (-1)/5. Is x > 7?
False
Let w = -873 - -875. Suppose 18 = -4*l - 5*x, -2*l + 7*l - x + 37 = 0. Is l < w?
True
Suppose -4*x - 4 = -3*d, -5*d = 4*x + 1 + 3. Suppose 2*t + d*t = 0. Let w = 13 - 25/2. Which is smaller: t or w?
t
Let u be 1 + -2 + (3 - -1). Suppose -4*k = 3*w - 5, 3*k - 5*w = -u*w - 9. Which is bigger: k or -2?
k
Let p = 4 + -2. Let o be (1/p - 1)*-4. Let h be ((-6)/4)/(5 - (-75)/(-10)). Is h >= o?
False
Let o be (2/6*2)/(52/221). Which is greater: o or 2?
o
Let q be (-8)/2 - (-6 + 3). Is 7 greater than q?
True
Let w = 0.08 - -2.92. Let s = 2 - w. Which is smaller: s or 1/3?
s
Let f(k) = k. Let y be f(1). Let c be (8/(-30))/((-12)/10). Is y >= c?
True
Let t = 318 - 2217/7. Let o be 2/7 + 105/147. Which is greater: o or t?
t
Let q(f) = f**3 - 7*f**2 + 6*f - 5. Let j be q(6). Is -13/3 <= j?
False
Let h = 20/3 - 5. Let s(j) = -3*j**3 + 30*j**2 + 2*j - 18. Let l be s(10). Which is greater: h or l?
l
Suppose 3*o = -n, 3*n + 0*o - 5*o - 28 = 0. Let r be (-91)/(-35) - (5 - 2). Which is bigger: n or r?
n
Let r = 1187/3 - 392. Is 4 smaller than r?
False
Suppose -y - 1 = 1. Let j(v) = v**2 - 6*v. Let s(t) = 2*t**2 - 5*t + 1. Let q(x) = 3*j(x) - 2*s(x). Let i be q(-8). Is y bigger than i?
False
Suppose -r + 3*t = 24 + 12, -t = -5*r - 110. Let x = 22 + r. Which is smaller: x or -1/10?
-1/10
Let g = 7 - 14. Let t(x) = x + 5. Let h be t(-1). Let f = h + g. Which is greater: -2 or f?
-2
Suppose -a + 2 = -3. Let v be 24/18*(-30)/(-8). Does a = v?
True
Let r be (-3)/(-9)*3*0. Let b(u) = u**3 + u**2 - u + 2. Let j be b(r). Suppose -7*q - 3*l - 28 = -2*q, -27 = 5*q + j*l. Is q != 1/2?
True
Suppose -5*d + 3*d = 4*l + 8, -l - 4*d - 16 = 0. Let t = 4909/15 - 1626/5. Let h = 12/5 - t. Which is smaller: l or h?
l
Suppose 0 = -p - 3*p + 20. Suppose k + 56 = -p*a - 0*k, 4*k = -a - 15. Which is smaller: a or -12?
-12
Let n(v) = -2*v**2 - 11*v - 8. Let u be n(-7). Is -29 <= u?
True
Let h = -4 - -4.5. Which is greater: 1 or h?
1
Let b be ((-33)/(-22))/(2/(-52)). Is -38 at most b?
False
Let y = 2 + 1. Suppose -3 = 3*u, -49 = -t + 2*t - y*u. Let a be 2/11 - t/(-44). Which is smaller: a or -2?
-2
Let k = 3.11 + -3.3. Let r = k - -0.19. Let o = -0.7 + -0.3. Which is bigger: r or o?
r
Let c be -91*((4 - 7) + 2). Which is greater: 92 or c?
92
Suppose -5*s = -3*m - 9, -m + 2*m + 3 = -2*s. Is -2/405 equal to s?
False
Let t be (-14)/63 - ((-16)/36)/2. Let a be 1/4 - 3/44. Is a at most as big as t?
False
Suppose -2*o + 13 + 2 = -3*m, -m + 9 = 4*o. Suppose -3 + 9 = -o*n. Which is smaller: -1 or n?
n
Suppose 9*m - 4*m - 2*s = -173, -s = 4*m + 141. Which is bigger: m or -36?
m
Let x = 6.3 + -6. Let f be (-13*(-15)/42)/11. Let t = -3/22 + f. Is x less than t?
False
Suppose -3*a = -h, 4*h = 4*a - 0 - 8. Let p be 3 + ((-2)/a - 2). Which is smaller: 5 or p?
p
Suppose 0 = t - 2*t + n + 2, 0 = -4*t + 2*n + 10. Suppose -d = t*d. Suppose -l + d*l = 0. Which is greater: -2/3 or l?
l
Suppose -4*l = -2*l - 4. Let k = -104.12 - -102. Let n = k - -0.12. Is n at least l?
False
Suppose 0*h - 2*h = -10. Suppose 2*z = -2 + 14. Is h equal to z?
False
Let r = 0.1 + 0. Is r less than or equal to -3/5?
False
Let t = -11 - -13. Is t at most -22?
False
Let s = 4 - 1. Suppose -5*x = 2*y + 3 - 10, -4*x = -2*y - 20. Let o be (x + (-2 - -1))*1. Which is greater: s or o?
s
Let h(o) = -40*o - 8. Let q be h(-2). Are q and 72 unequal?
False
Let n be ((-4)/(-14))/((-3)/(-7)). Suppose 0 = -4*q - q. Which is smaller: q or n?
q
Let f be ((-4)/(-6))/(8/30). Let n(s) = s**2 + 2*s - 5. Let u be n(2). Which is smaller: u or f?
f
Suppose -3*r + 11 - 5 = 0. Suppose 3*l - 4 = 2*f + 5*l, -5*f + l + 8 = 0. Is r greater than or equal to f?
True
Let j be 2/((-2)/(-2) + -3). Let u be (1 - j) + (-2 - 2). Which is smaller: u or -1?
u
Suppose -2*k + 3*l = 3 + 16, 4*k - 5*l = -33. Let x(p) = 3*p + 1. Let j be x(k). Which is bigger: j or -1?
-1
Let k be 1/(-1)*(-4 + 5). Suppose -4*a = -3*a - 2. Which is greater: k or a?
a
Let x be -6 + (-2 - 1) + -4. Is -14 greater than x?
False
Let r(c) = c + 2. Let l be r(3). Suppose -l*x + n = 10 + 22, 8 = x - 5*n. Suppose -3*d = 2*d + q + 33, 2*d + 4*q + 24 = 0. Is x != d?
True
Let u = -835273/76172 + 1839/139. Let d = 2/137 - u. Is d at most as big as -3?
False
Let y = 1736/5 - 15632/45. Is y at most as big as 0?
True
Let q(p) = p**2 + 9*p. Let o be q(-9). Is -3/8 >= o?
False
Let h(p) = 21*p - 6. Let c be h(-5). Let f be (2212/(-30))/((-6)/(-9)). Let z = c - f. Is z < -2/5?
False
Suppose -w = -2 - 2. Suppose n - w*n = -48. Let g be (2/(-4))/((-2)/n). Do -1 and g have the same value?
False
Let q(p) = -p - 10. Suppose -3*u - 40 = u. Let o be q(u). Is o not equal to 0?
False
Suppose 0 = -0*d + 3*d + j + 10, 2*j = -4*d - 10. Let l be 0 + (-1)/d + 0. Is -3/7 != l?
True
Let c(k) = -2*k - 6. Let a be c(-4). Which is greater: a or 3/5?
a
Let t(c) = 10*c**3 + 14*c**2 + 28*c + 14. Let j(d) = -7*d**3 - 9*d**2 - 19*d - 9. Let w(a) = -7*j(a) - 5*t(a). Let f be w(-6). Which is smaller: f or 1/7?
f
Let a(i) = -i**3 - 5*i**2 - 5*i - 4. Let k = -2 - 2. Let z be a(k). Suppose 0 = j - z + 2. Which is smaller: j or -1?
j
Let g = 0.013 - 4.013. Is -0.3 at most g?
False
Let b(p) = -p**2 - 7*p + 4. Let d = -25 + 17. Let l be 