*o - 24. Let x be 12/(-189) - (-2)/o. Let v be 0/(-1)*1/(-2). Is x < v?
True
Let n(r) = 10 + 3*r**2 - 2 + r**3 + 1 + 7*r**2. Let i be n(-10). Let a = 9 - i. Which is greater: 5/4 or a?
5/4
Let z = -9.9 - -10. Which is smaller: z or 21?
z
Let h(x) = -x**2 - 11*x - 4. Let v be h(-7). Suppose -d + n = 3, 3*n + v = -4*d + n. Is -3 at least as big as d?
True
Let m = -4 - -1. Let o be 0*(5/m + 2). Let f be ((-1)/(-6))/(12/27). Does f = o?
False
Let a(c) = -c**2 + c + 2. Let l be a(0). Suppose 0*x - 11 = -2*q - 3*x, 3*q + 3*x - 12 = 0. Suppose 2*d - u = l*u + 8, u = -d - q. Which is smaller: d or 0?
0
Let z(r) = r**2 + 6*r + 3. Let h be z(-5). Let g be h*(-1)/4*2. Which is smaller: -2/19 or g?
-2/19
Suppose -j - 4*o = -3, 2*o + 2*o = 4. Which is bigger: j or -3/16?
-3/16
Let s = 913 - 6415/7. Does s = 1?
False
Let z = 15.1 + -15. Is z < 3?
True
Let x(y) = y**2 - 3*y - 1. Let a be x(3). Let f be (1 - a)*(-4 - -3). Let r be (f - 0)*(-2)/(-26). Do r and 0 have the same value?
False
Let o = 3691/10608 - -3/272. Let r = 343/195 - o. Let f be (-1)/((-2)/(-4) - 1). Is r less than f?
True
Suppose -v = 5, -3*v + 5*v = -3*x - 1. Suppose -2*t = i - 12, -3*t - x*i + 23 = i. Which is bigger: 3 or t?
t
Suppose -g = 3*j - 5, 0 = -g - 5*j + 2 + 5. Let r be ((-60)/8)/(g/4). Let s be ((-5)/r)/(1/9). Which is smaller: 0 or s?
0
Let b = -90.3 + 2.3. Let w = -93.1 - b. Let a = w - -5. Which is bigger: -2 or a?
a
Let y = -42 + 109. Is 66 at least as big as y?
False
Let m = -5 - -4. Let n = 0 - 0. Let a = n + 1. Which is greater: a or m?
a
Let s = -2 + 1.6. Let p = 5 + -4.6. Let x = p + s. Which is smaller: x or 0.1?
x
Suppose 1 = 2*q + g, -4*q + q - 1 = 4*g. Let c(l) = -l**2 + 19*l - 36. Let x be c(17). Is q equal to x?
False
Let p = 214/63 - 28/9. Let y = -0.48 + -0.22. Which is smaller: p or y?
y
Suppose -3*l + 4*h = 14, -2*l + 4*l + 2*h = 14. Let n = 1 + 0. Suppose 4*o - 9 = -n. Are o and l unequal?
False
Let d = -15 - -11. Let u = -5 - d. Is -4/3 less than or equal to u?
True
Suppose -4 = 5*y - 3*y + c, -20 = 5*c. Suppose -13 = -y*a - 4*a - 3*b, 5*a - 17 = -4*b. Let h = -2/499 + -984/3493. Is h >= a?
False
Suppose -c = -0 + 3. Which is smaller: -4 or c?
-4
Let t(s) = -15*s - 6. Let n be t(-2). Which is greater: n or 22?
n
Let h be (1 - 2) + (-2)/(-4). Let b be (-1 - 15/(-9))*-6. Let j = 4 + b. Which is smaller: h or j?
h
Let b = -7 - -8. Is b < -4/9?
False
Let z = -31 - -35. Does z = 0.3?
False
Let o = -18 - -62. Suppose 0 = 4*r + 3*x + o + 16, 5*r - 2*x + 75 = 0. Is r smaller than -16?
False
Suppose -8*y - 2 = -2*s - 3*y, -4*y - 5 = -5*s. Is 6/5 bigger than s?
True
Suppose 0 = n, 2*n = 3*d + 1 + 2. Let t be 2 - (2 + d + -1). Let m = t + -4. Is m greater than or equal to -3?
True
Let u(j) = j**3 + 16*j**2 + 14*j - 16. Let f be u(-15). Are 4/23 and f non-equal?
True
Let o = 2 - -4. Let r = 15 - 25. Let v = r + o. Is -1 >= v?
True
Let f = 4 - 5. Let x = -1 - f. Let j = x + -2. Is 1 less than j?
False
Let o be 14/6 - 2/6. Are o and 6/5 nonequal?
True
Let k be -1 - (-4 + (1 - -2)). Which is bigger: -7/5 or k?
k
Let h = -35.1 - -31. Let m = h + 3. Let v = 1 + m. Is v bigger than 1?
False
Let a = 10 - 15. Let v = a - -9. Let w = 4 + -4. Which is bigger: w or v?
v
Let g = 278 - 1411/5. Which is smaller: g or -3?
g
Let n = 4 + -10. Let h = n + 5. Is h >= -2/23?
False
Suppose 3*j - 5*j + 10 = 0. Suppose -5*q = -2*n + 9, 2*n = -n - q + j. Suppose p + 5*m = -6, -p + 3*p = 4*m + n. Is -2 > p?
False
Let p = 695 - 28497/41. Which is smaller: 0 or p?
p
Let c be ((119/(-2))/7)/10. Let l = -9/20 - c. Which is smaller: l or 0?
0
Suppose 4*k = -5*f + 11, 18 = -2*k - k + 5*f. Let p = -2 - -1. Let b = p - k. Is 1 greater than or equal to b?
True
Let u = 1.17 - 0.17. Suppose -7 - 8 = -3*b. Which is greater: b or u?
b
Let d = 49.8 - 47. Which is smaller: d or -2/3?
-2/3
Let g(n) = -n**2 - 7*n - 4. Let c be g(-6). Let i be 2 - c*6/4. Which is bigger: -7/3 or i?
i
Let z = 10.61 + -0.71. Let b = z - 10. Which is smaller: -0.2 or b?
-0.2
Let m = 37 + -37. Do m and 2/3 have the same value?
False
Let b = 9 - 9. Let m = b + 0. Let i = -723/5 + 144. Is i less than m?
True
Suppose 4*f - 3*g = -f - 1, -f = 4*g - 9. Is f bigger than -2?
True
Let a = 5 - 3. Let k = 6 + -4. Is k less than or equal to a?
True
Let a = -76 + 75. Is a less than or equal to -49?
False
Let m = 820 + -5730/7. Let x = 1 - m. Which is smaller: x or 1?
x
Let h = 1 + 1. Which is bigger: h or 3?
3
Let x = 2 + 4. Is 4 less than x?
True
Let x be 1*(1 - (4 - 4)). Which is smaller: x or -3/16?
-3/16
Let p be (-3)/2 - 4/(-4). Is p greater than 1/2?
False
Suppose -5*c + y + y + 20 = 0, 0 = -3*c + 2*y + 16. Suppose -c*f + 2 + 2 = 0. Let q be ((-1)/(-5))/((-6)/(-15)). Which is bigger: f or q?
f
Let m be 6/(-9) + 1/(-22). Let q = 1/22 + m. Which is greater: q or -0.3?
-0.3
Let h = -1 + -12. Let c = -14 - h. Is 0.11 smaller than c?
False
Suppose -m - 2*y = 1, 4*y - 9 = -5*m - 2. Suppose -m*t + 4*o + 9 + 8 = 0, 4*o - 18 = -2*t. Do t and 4 have the same value?
False
Let a = 1.29 + 0.11. Let l = a + -1.4. Which is bigger: l or -4/9?
l
Let j = -36 - -32. Which is greater: j or -3?
-3
Let b(c) be the second derivative of c**3/6 + 3*c**2/2 + 3*c. Let m be b(-4). Let i be (-1)/m*(2 - 2). Is i bigger than 0?
False
Let s = -4/121 + -823/726. Do 0 and s have different values?
True
Suppose -v - 9 = -2*v - 2*q, 0 = v - q + 6. Suppose 0 = 4*c + c - 10. Let m = 0 - c. Is v bigger than m?
True
Let y be -4 - (-79)/11 - 3. Which is bigger: -1/2 or y?
y
Let p = -142 - -141. Is p less than or equal to 1/101?
True
Suppose -29 = -d + 2*y, 3*d = 4*y + 92 - 9. Let c = d - 51/2. Which is smaller: c or -0.1?
c
Let g = -19 + -42. Let t = g + 43. Is t greater than 0?
False
Suppose -4*f - 8 = -0. Let d = -40.4 - 1.6. Let s = 44 + d. Is f not equal to s?
True
Let j(m) = m**3 + m. Let d be j(0). Let p(x) = x**2 - 10*x - 11. Let b be p(11). Is b at most as big as d?
True
Let i be -5*((2 - -1) + -4). Which is smaller: i or 7/2?
7/2
Let h(l) = l**2 - l - 1. Let u(q) = q**3 - 9*q**2 + 10*q. Let o(k) = 4*h(k) + u(k). Let z be o(4). Let y be (0 - (1 + -3)) + 1. Is y smaller than z?
True
Let j = -13 - -79/6. Let u = 788 + -789. Are j and u non-equal?
True
Suppose 0 = -5*b - 4 - 6. Let s(r) = r - 11. Let m be s(10). Let g be -4 - (m - -2 - 2). Which is smaller: g or b?
g
Let y = -203/3 - -67. Let n = 11 - 10.86. Let m = n + -0.04. Is y less than or equal to m?
True
Let a be ((6/(-2))/1)/1. Let q(t) = t + 10. Let b(d) = -d - 9. Let r(j) = 6*b(j) + 5*q(j). Let z be r(-2). Which is bigger: z or a?
z
Suppose -5*w + 11 = -24. Suppose -5*o + 0*y - w = -2*y, -2 = -2*o - 4*y. Is 1/20 < o?
False
Suppose -11 = 5*z - 51. Let v be (z/(-30))/(10/15). Let d = 113/3 + -38. Which is greater: v or d?
d
Let a = 17 + 12. Is a at least 28?
True
Let l = 9 - 9. Which is smaller: 1/2 or l?
l
Suppose -6 = 2*c, -4*v = 3*c + 2*c + 15. Which is smaller: v or 2/135?
v
Let s(k) = k - 2. Suppose u = 2*a - 8, 0 = -a - 0*a + 3*u + 9. Let p be s(a). Are p and -3/10 equal?
False
Let r = -253 - -1273/5. Does r = 1?
False
Let r = -1.6 - -1.73. Let q = 0.01 - -0.02. Let w = r - q. Which is smaller: -0.3 or w?
-0.3
Let d = -16 - -15. Are 1/23 and d unequal?
True
Suppose 5*o + 3*a = 2*a + 106, -74 = -3*o + 2*a. Let d = -16 + o. Is 6 at most d?
True
Let i = 15 - 6. Let q be (-3)/i - (-22)/(-6). Let x be ((-12)/(-18))/(q/6). Is 1 smaller than x?
False
Let j(a) = -a**3 - a**2 + 5*a + 3. Let s be j(-3). Suppose -l + 5*g - 22 = 0, s*g - 3*g - 8 = -2*l. Which is smaller: l or -1?
l
Let o = 12 + -16. Let z be -3 - (-3 + o/8). Is z > 1?
False
Suppose 0 = -3*x - 5*n - 31, -n = x - 3*x + 1. Let s be 0/x + 2 + 0. Which is smaller: s or 3?
s
Suppose 5*r = -5*c - 5, -c + 4*r - 2 = 4. Which is smaller: c or -5/3?
c
Let u(z) = 2*z - 1. Let q be u(12). Let b = 23 - q. Is -2/3 less than or equal to b?
True
Let p = 1827 + -23739/13. Let i = -10/39 + p. Which is bigger: 0 or i?
i
Suppose l - 228 = -3*l. Let v = -148 + 106. Let b be -3 - 2*l/v. Is b less than -1?
False
Let f be ((-36)/45)/(1/(-5)). Suppose -1 = 3*q - f. Which is bigger: 1/19 or q?
q
Let d(h) = 2*h**2 - 8*h - 8. Let x(y) = -3*y**2 + 8*y + 8. Let s(a) = 4*d(a) + 3*x(a). Let o be s(-6). Suppose -8 + 0 = o*u. Is -1 not equal to u?
True
Let b = -18 - -17. Let c = 0.1 - 