?
-11
Suppose 2*h = 5*v - 94, -5*v + 3*h + 60 = -2*v. Let m be v/(-12)*8/6. Is m bigger than 2?
False
Let d = 6 + -9. Let w(v) = v**2 + v - 7. Let c be w(-3). Is d at least c?
False
Suppose 4*y + 2*l + 2 = 8, -15 = -3*l. Which is greater: y or 2/155?
2/155
Let c = 4 - -1. Is c not equal to 9/2?
True
Suppose 10 = b + 11. Let c = 13/5 + -119/40. Is c smaller than b?
False
Let u be ((-4)/16*2)/2. Is -41 < u?
True
Let p(f) = -f**3 + 10*f**2 - 11*f + 19. Let o be p(9). Which is smaller: o or -1/60?
-1/60
Let w be (-1)/((2/4)/((-26)/(-4))). Which is greater: w or -8?
-8
Let j = -21.1 - -22. Let b = j + -1. Let c = 2/5 + 2/5. Which is smaller: c or b?
b
Let u be (0/(-1 + 7))/(-3 - -2). Let s be (-2)/4 - 38/(-44). Is u equal to s?
False
Let w(o) = -o**3 - 2*o**2 + 4*o + 4. Let g be w(-3). Let z = 64/7 - 379/56. Let c = z - 187/72. Which is bigger: g or c?
g
Let v = 72 - 68. Suppose 4*a + 2*g - 14 = 0, 4*a + g = -3*g + 8. Suppose -a*w - 10 = 0, v = y - 0*w + w. Is y < 6?
False
Let u be (-2*1)/(((-39)/(-24))/(-13)). Is u >= 0?
True
Let m = -3/106 + 287/2650. Is 1 < m?
False
Let h(j) = -3 + 2 - 21*j + 2*j**3 + 2 - j**2. Let f(w) = w**3 - w**2 - 11*w. Let o(g) = 11*f(g) - 6*h(g). Let m be o(-6). Is -0.2 > m?
False
Let c = -23 + 9. Let a = -14.07 - c. Let s = 0.03 - a. Which is smaller: -1 or s?
-1
Let j be 1*(4/(-2))/(-2). Let g(o) = o**2 + 5*o - 2. Let u be g(-5). Let b = j + u. Which is smaller: b or -2/25?
b
Let k be (-340)/(-8)*8/10. Suppose 2*v = 4*n - 592, 5*v - 92 - k = -n. Let h = 1020/7 - n. Is h at most -2?
False
Suppose -20 = -t - 4*h, -3*t - 5*h = -4*t - 25. Suppose 0 = -3*m - 2*d - 4, d + 3*d + 8 = t. Is m != -1?
True
Let g be 1*3/(9/12). Suppose -g*a = 2*q + 18 + 10, 4*a - q = -22. Let x be (1 - (-9)/a)*0. Which is bigger: 2/7 or x?
2/7
Suppose 0 = 3*g - 5*l - 51, 3*g + g = 3*l + 57. Is g > 13?
False
Let f = 31/3 + -127/12. Is -9 less than or equal to f?
True
Let d be (-3)/((-9)/2) - 1. Let s = -3 + 2. Let g = s + -1. Is g less than or equal to d?
True
Let x be (-1168)/24*(-9)/6. Do x and 73 have the same value?
True
Let r be -1*6/(-78)*2. Which is bigger: r or 0?
r
Let d be (1 - -1)/(-3 + 1). Suppose -6*l = -4*l. Let v be 2 + -2 + (l - 4). Which is greater: d or v?
d
Let n be 6/8 + 21/28. Suppose 4*r - 2 = 2. Is n less than or equal to r?
False
Suppose 8*z - 3*x + 21 = 4*z, -3*z - 14 = -4*x. Let o = z + 4. Are 1/4 and o equal?
False
Let t = -1.24 - -7.14. Let g = t - 0.9. Which is smaller: -2/3 or g?
-2/3
Let c = 0.31 + 14.69. Is -1 less than c?
True
Let g be (-29)/4*(-4 + 6). Let t = g - -14. Is t greater than 0?
False
Let c = -12 + 11. Is 1/4 greater than or equal to c?
True
Let r = -2.6 - -4.6. Let x = r - -7. Is x bigger than 2/7?
True
Let l = 1.6 - 3.6. Is 26 equal to l?
False
Suppose d - 4 = -d. Suppose 5*y = -5*w + d*w + 45, -4*y = 2*w - 34. Let n = 4 - y. Does -1 = n?
False
Let w = -33.16 + 37.1. Let h = w - -0.06. Which is greater: 0 or h?
h
Suppose 49 - 41 = 2*c. Let k(q) = 5*q**3 + q - 1. Let d be k(1). Suppose -d*r + 8 = 2*z - r, 0 = 4*r - 8. Which is smaller: z or c?
z
Let b = -45.9 - -46. Do b and -0.05 have different values?
True
Let f be 8/8 + 1*-7 + -1. Which is smaller: f or -5?
f
Let f = 1/116 + -701/580. Which is greater: f or 0.7?
0.7
Let s = -27 + 27. Let t be (-8)/(-60)*954/(-16). Let v = t + 31/4. Does v = s?
False
Let j = 0.1 - 0.1. Let w(h) = -7*h + 8*h + 2 + 5 + 1. Let r be w(-7). Which is greater: j or r?
r
Suppose 0 = 6*z + 13 + 17. Is -7 at most z?
True
Suppose 8 - 3 = 5*b - 4*k, 4 = 4*b - 2*k. Let m(t) = 2*t. Let x be m(b). Let u = -9 + x. Is -7 smaller than u?
False
Suppose -l = 5*k - 55, -3*k = -8*k + 3*l + 55. Which is smaller: 12 or k?
k
Let g = -0.038 - -0.08. Let b = g + 3.058. Let m = 3 - b. Which is bigger: -2/3 or m?
m
Let w = 0.02 - -5.98. Let d = w + -2. Let v = d - 3. Are 2 and v non-equal?
True
Let o = -0.1 + 0.2. Let t = o + -0.2. Let g = -0.07 - 0.33. Is g at most t?
True
Let r = -144 - -488/3. Let l = 58/3 - r. Is 4/5 smaller than l?
False
Let n(p) = -p**3 + 6*p**2 - 4*p - 7. Let g be n(5). Let t be 3/(33/(-20)) - g. Let l(q) = -q**3 - 3*q - 1. Let i be l(0). Is t not equal to i?
True
Suppose 2*x = -i - i, 0 = -2*i + 5*x - 14. Let h = 17/9 + i. Is h at least as big as 1?
False
Let k(y) = -11*y + 1. Let d be k(-1). Let v = 5 - -8. Is v <= d?
False
Let x(b) be the first derivative of b**3/3 + 9*b**2/2 + 5*b + 9. Let r be (3/(-2))/(2/12). Let h be x(r). Are h and 5 equal?
True
Suppose y + 1 = -0*y. Suppose -b = -g - 9 - 6, -3*b - 5*g = -53. Let v be (-12)/b + 1/2. Which is greater: v or y?
v
Let h(v) = -v + 1. Let f(n) = n**2 - 7*n + 5. Let m(g) = -f(g) - 3*h(g). Let q be m(9). Which is greater: q or 2?
2
Let h = -20 + 11. Let g be 8/h + (-6)/(-9). Let p = -3 + 4. Which is smaller: p or g?
g
Let b be -2 + -1 + (6 - 1). Suppose -b = -3*y + 1. Which is smaller: y or 3/2?
y
Let o = -325/56 - -51/8. Which is smaller: 2/3 or o?
o
Let q(j) = 0*j + j + 1 - 5*j - 7*j - j**2. Let i be q(-11). Is i < -2/5?
False
Let t = -7846/7 + 1053. Let b = t + 68. Which is smaller: b or 1?
b
Let x(a) be the third derivative of -a**4/24 - 5*a**3/6 - a**2. Let v be x(-4). Which is greater: v or 2/9?
2/9
Let n(a) = 9*a + 11. Let r be n(-1). Let k be 14*-1*(-2)/36. Is r at least as big as k?
True
Let v = 8 - 5. Let q be 1 - 1/(v/6). Let j = 0 - q. Which is smaller: 2/3 or j?
2/3
Let q(x) = x**2 + 2. Let t be q(0). Let h = 9 - 2. Suppose 2*l - h*l + 15 = 0. Which is smaller: t or l?
t
Let j(l) = -l**3 + 3*l**2 + 3*l + 4. Suppose -d = -s + 5*s - 16, -5*d = -5*s + 20. Let n be j(s). Which is greater: 1 or n?
1
Let c = -77/6 + 29/2. Do c and 3 have the same value?
False
Let o = -3.9 + 3.6. Let m = -3 - -3.1. Let p = 0 - m. Is p at least as big as o?
True
Let z = -16 + 15.9. Is z at most as big as -1?
False
Let h = -0.04 + 0.14. Let j = h - -0.3. Is -2/5 smaller than j?
True
Suppose 0*w = -5*w - 40. Let i be (-21)/(-238)*w/6. Is -1 smaller than i?
True
Let b(t) be the first derivative of t**2/2 - 2*t - 2. Let q be b(2). Suppose -3*p = -q*p + 3. Which is smaller: -2/9 or p?
p
Let l = -7/125 + -8451/875. Is l greater than or equal to -9?
False
Let u(c) = -c. Let n be u(-9). Suppose -4*f + 5 = n. Is f at most -2/11?
True
Let a = -1.008 - -0.008. Do a and -70 have the same value?
False
Let t be (6 + -4)/((-16)/(-2)). Does t = 2.1?
False
Suppose -17*p + 13*p + 72 = 0. Are p and 20 non-equal?
True
Let c = -35 + -1. Let a be 32/c*6/8. Let t = -47 + 47. Are t and a equal?
False
Let q be 2 + -1 + 2 - -4. Let l(c) = c**3 - 7*c**2 + 1. Let m be l(q). Let g be (-1)/(m*(-3)/(-15)). Which is greater: g or -4?
-4
Let h = 38/15 + -1/5. Do h and 2 have the same value?
False
Let y = -40 + 40. Is y >= 2/17?
False
Let o be 2/(-22)*-9*35/21. Which is greater: 2 or o?
2
Let x(v) = -v**3 - 6*v**2 + 1. Let p be (-22)/4 + (-4)/8. Let w be x(p). Let r = 4/109 + -472/981. Is r smaller than w?
True
Suppose -4*c + 3*v - 8 = -v, 8 = 5*c + 4*v. Do c and -3/8 have the same value?
False
Let z(n) = n + 2. Let m be z(4). Suppose m*a + 12 = 3*a. Let d = -5 - a. Is 1/10 equal to d?
False
Suppose -5*h + 11 + 9 = 2*z, 0 = -z + 4*h - 3. Suppose -3*n + 4 = -2*m - 2, 5*n + z*m = -15. Which is smaller: 2/13 or n?
n
Suppose 5*v = 18 + 7. Let a be -18 + (v - -1)/(-2). Let i be 2/14 - (-15)/a. Is -2 < i?
True
Let m = -66 - -42. Is m less than or equal to 0?
True
Let g = -738 - -4417/6. Which is greater: g or -1?
-1
Suppose -3*u + 0 + 3 = 0. Let f = u + -3. Are f and 0 unequal?
True
Suppose 3*p - 5*c = 0, -7*p = -3*p - 5*c - 5. Suppose 0 = -2*h, 6*b - p = b - h. Suppose 1 = -o - b. Which is smaller: o or -1?
o
Let a(t) = -t + 1. Let l(w) = -w**3 - 6*w**2 - 4*w - 3. Let g be l(-5). Let x be a(g). Let f be (-1 - (-6)/x)*-1. Which is smaller: f or 0?
0
Let d = 0.63 - 0.63. Is 2 > d?
True
Let d(r) = 3*r**2 + 1. Let h be d(2). Let k = 17 - h. Is 1 greater than or equal to k?
False
Let o = 2243723/5514388 - -5/21796. Let r = o - 4/11. Which is bigger: 0 or r?
r
Suppose 4*x = -4*n + 11 + 21, -5*n + x = -10. Is n < -13?
False
Let p = 129/5 - 303/10. Let o(d) = -3*d - 4. Let l be o(-3). Let m = p + l. Are 1 and m nonequal?
True
Let z(x) = -2*x**2 - 12*x + 5. Let n be z(-6). Which is bigger: 4 or n?
n
Let x(m) = -m**3 - 3*m**2 + 5*m - 1. Let k be x(-4). Which is greater: k or -4?