3?
-3
Let v(s) = s**2 - 8*s + 8. Let o be v(7). Let g = 157/63 + -25/9. Is g <= o?
True
Suppose 0 = 3*y - 5 + 2. Is y greater than -1/8?
True
Let a = -1/493 - -3461/4930. Let s = -9/10 + a. Suppose 2*u + 2*z + 0*z + 4 = 0, -z = -5*u - 4. Which is bigger: u or s?
s
Let y = 11 - 30. Is -17 at least as big as y?
True
Let j(i) = -6 - 2 - 3 + 4*i - 5*i. Let r be j(-10). Which is bigger: 1/5 or r?
1/5
Suppose 3*a + 0*m + 4*m - 17 = 0, -2*m = 2*a - 10. Is 7/3 > a?
False
Let r(q) = -2*q**2 + 124*q + 4. Let c be r(62). Suppose 0 = 2*g - 0*g. Let u be (9 - g)*1/2. Which is bigger: c or u?
u
Let h be (-26)/(-6) - (8 - 5). Suppose -o - o - 16 = 0. Let v be 2/o - (-3)/12. Are h and v unequal?
True
Let n = -0.36 + 0.5. Let y = 0.44 - n. Which is smaller: 3/8 or y?
y
Suppose 18 = v - 5*b, 0*v + 14 = 2*v + b. Let i be ((-8)/(4 + 0))/v. Does i = 2?
False
Let f be (-1)/(-5) - (-36)/20. Suppose 0 = f*y - 4*y - 4*g - 2, 2*y = -g + 4. Let z = -2 + y. Are z and -3/7 nonequal?
True
Suppose -2*j - 10 = -2*o, 5*o - 11 = j + 2*j. Is -7 < j?
False
Let r(h) = h**2 + 2*h + 3. Let a be r(6). Suppose -3*c + 18 = 3*j + a, 0 = -5*j - 15. Let b(d) = -5*d + 3. Let w be b(2). Is c at most as big as w?
True
Let k = -100 + 144. Let r be k/(-32) + 3/2. Is 1 less than r?
False
Let b be (-5 - 190/(-35))/(-1). Let t = 224/3 - 74. Which is smaller: t or b?
b
Suppose 0 = 3*d + u + 32, -d = -2*d - 4*u + 4. Let q be (2/d)/(6/(-12)). Is q < 3/5?
True
Suppose 64 = -7*j - 34. Is -14 at least as big as j?
True
Let o = -127/6 - -21. Is 1/13 at most o?
False
Let p be (-7)/(-2) + (-3)/2. Suppose 0 = 4*g - 2*g - p. Which is smaller: 5/4 or g?
g
Suppose 0 = u + h + 5, 5*u + 13 = -4*h - 8. Suppose -14 = 4*b - 38. Suppose -o = -4*o + n - 3, -5*o - 2*n + b = 0. Which is bigger: u or o?
o
Let v(z) = z**2 - 10*z - 7. Let h be v(11). Suppose h*w + 5 = 4*a - 15, 4*a - 3*w - 15 = 0. Is 1/10 bigger than a?
True
Suppose h + s - 29 = 3*s, 3*h - 78 = -3*s. Is 25 less than or equal to h?
True
Let r be 1/((2/4)/1). Let q(o) = o**3 - o + 1. Let j be q(0). Which is bigger: j or r?
r
Suppose -5*w + 2*w = -5*q + 38, 4 = -4*w. Let i(r) = -2*r - 10. Let j be i(q). Let f = j + 95/4. Is f equal to -1/2?
False
Let p = 0.23 - 0.21. Which is bigger: p or 2?
2
Let i be (2/8)/(1/(-4)). Which is greater: i or -2?
i
Let m(r) be the second derivative of -r**6/720 - r**4/12 - 2*r. Let p(w) be the third derivative of m(w). Let t be p(-1). Do 1 and t have the same value?
True
Let y be (-2)/(1*-2) - 3. Let z = y + 1. Let v(l) = -l**3 - 3*l**2 + l + 2. Let c be v(-3). Is z not equal to c?
False
Let o = 19 + -18. Suppose 2*l + 10 = 0, 2*z + 4*l - 9 = -29. Suppose i + 3 - 4 = z. Are o and i non-equal?
False
Let k = 22 + -25. Is k at least 1?
False
Let z be 2/(-30)*3*5. Which is smaller: z or -3?
-3
Let p = 4 + -2. Suppose 1 = -p*y + 3. Let o = y + -6. Which is bigger: o or -4?
-4
Let b = 74989094/273 - 274685. Let m = -4/39 - b. Is m at most 0?
True
Suppose -2*s - 6 = 2*z + 10, s + 12 = 3*z. Is s greater than -3?
False
Let r = 0 + 3. Let d = r + 2. Suppose 0 = x + d - 4. Is 1/5 greater than or equal to x?
True
Let x be (0 - -1)/(-1 - -2). Let p = -4 + 2. Let v = p + 3. Is v > x?
False
Let n = 91673733/320 + -286480. Let l = 1/64 - n. Is l greater than or equal to -0.09?
False
Suppose 0 = -w - 4*k - 1, -2*w - 3*w + 33 = k. Suppose -5*r = -2*c + w*c - 55, 3*r + 2 = 4*c. Let d be (-54)/(-8) + 3/12. Which is greater: d or r?
d
Suppose -3*a - c = -2*c - 25, -a = 3*c + 5. Suppose 0 = 6*h - h - 35. Are h and a nonequal?
False
Suppose 5*a + 66 = -4. Let k be 4/a + (-80)/14. Let u be 3/(-13)*(-4)/k. Is u > -0.1?
False
Let i be ((-6)/(-15))/(9/375). Let j = i - 17. Which is bigger: j or -2/19?
-2/19
Let v(o) = -o**2 - 7*o. Let q be v(-6). Suppose -2*x = -q*x. Which is bigger: 3 or x?
3
Suppose -12 = -4*t + t. Suppose 1 = 2*a + 2*n + n, 5*a - 16 = -3*n. Let k = t - a. Are -1/2 and k equal?
False
Let j be 35/62 - (-3)/(-6). Which is bigger: j or 1?
1
Suppose -1 = 2*x + 1. Let j be (-4)/10 - 6/(-15). Suppose -2*n = 3*i, i + i - n = j. Is x not equal to i?
True
Suppose -u + 3*u - 6 = 0. Suppose -f - 1 - 13 = 2*y, -u*y = -3*f + 3. Is -2 > f?
True
Suppose 0 = 3*v + 19 - 4, -a - 2*v = 8. Let q be (4/66)/(a/(-3)). Does q = 1?
False
Let l(k) = -k + 10. Let i be l(-16). Which is greater: i or 27?
27
Let y = 2/129 + 349/2451. Is y < -1?
False
Let z = -480 + 9118/19. Are 0 and z equal?
False
Suppose 7*k - 12 = 3*k. Suppose f = -2 + k. Is f less than or equal to 1?
True
Let s = -3.6 + 1.7. Let r = s + 2. Is 0.04 at most as big as r?
True
Let f(l) = 2*l. Let g be f(3). Let k be (g/(-4))/(9/24). Which is greater: -5 or k?
k
Let z = 217 - 217. Let v = 1531/15 + -102. Which is smaller: v or z?
z
Let z be 3 + -4 + 3 - -1. Is 3 less than z?
False
Let h = -13.1 - -13. Is h at most as big as -0.1?
True
Let f = 23 + -23.1. Let d = -6 - -13. Is d less than f?
False
Let i be 1*(1 - 1)/(-2). Suppose 3*c - 51 = -3. Let y be 9/(-18)*c/6. Do i and y have different values?
True
Suppose -v - 10 = 3*i, 2*i = v - i + 22. Let p be (-62)/(-108) - (-8)/v. Suppose -2*x + s + 3*s + 6 = 0, x + 5*s = -11. Is p less than x?
False
Let z = -4.3 - -1.3. Let v = -1 - z. Is 0.1 greater than or equal to v?
False
Let m = -5 - -11. Let k = 2 - m. Let g = k + 4.2. Is 2 < g?
False
Let z be (-9)/6*(-14)/3. Is 9 equal to z?
False
Let d be -11 - (1 - (2 - -1)). Which is smaller: d or -1/3?
d
Let m(g) = -4*g**3 - 22*g**2 + 22*g + 1. Let w(k) = 3*k**3 + 15*k**2 - 15*k - 1. Let a(c) = -5*m(c) - 7*w(c). Let b be a(3). Which is greater: b or 4?
b
Suppose -2*n = 2*k - 4, -44 = -3*n - n + 5*k. Suppose -2*y = -n + 2. Let r = -63/2 - -33. Which is bigger: y or r?
y
Let l(p) = -11*p - 1. Let z be l(-1). Let g be z/15 + 8/(-9). Is g >= 0?
False
Let b be (-2)/(-5) + (-6)/(-10). Suppose -b = p - 2. Let a be 9/(-7) + (p - 0). Do a and 2 have the same value?
False
Let g = -211/6 + 35. Let m(p) = -p**2 - 9*p - 10. Let w be m(-7). Let d = 3 - w. Which is bigger: d or g?
g
Let i = 15 - 10. Let k(r) = 2*r - 6. Let d be k(i). Is d not equal to 5/2?
True
Let z be 11/4 - (-2)/8. Suppose -2*l + 1 = -9. Suppose l*d - 10 - 3 = 2*w, 5*d - 10 = 5*w. Which is bigger: w or z?
z
Suppose -6*o - 2 - 16 = 0. Which is greater: o or -5?
o
Let j = 4.7 + -4. Let u = -0.3 - j. Let s = 0 - -0.3. Which is smaller: s or u?
u
Suppose 0 = -5*q - 25, 5*q - 19 = 4*t - 60. Suppose -5*x - 11 = t. Let s be (0 - 0) + 5 + x. Which is bigger: 3 or s?
3
Suppose 0 = -c - 2*c + 3. Let b be 2 - (c + -1 + 1). Let g = b + 0. Do g and 4/7 have the same value?
False
Let t = -4290/7 + 614. Which is smaller: 1 or t?
1
Let g(h) = h**3 - 3*h**2 + h + 1. Let f = 4 - 2. Let o be g(f). Let y = 230 - 1613/7. Is y bigger than o?
True
Let r(y) = -y**3 - 8*y**2 + 9*y - 2. Let v be r(-9). Let p be v - 2/(-10)*13. Which is bigger: -1 or p?
p
Suppose 0*b = -4*b - 4. Let l = -3 - b. Is -3 > l?
False
Let z = 934/7 - 133. Suppose -u + 3*u = 2*v - 12, 0 = -5*v + 4*u + 33. Suppose 5*i + 8 = i - 4*m, -2*m - v = -3*i. Does z = i?
False
Suppose -3 = -i - 0*i. Let z = 4 - i. Does 0.1 = z?
False
Let l be 2/4*(6 - 84/18). Is 1 smaller than l?
False
Suppose y - 18 = -p, 0 = 5*y + 2*p + 8 - 89. Suppose -f - y = -6. Let t be 3/(0 + f)*3. Which is greater: 0 or t?
0
Let i = -11 + 9. Let q be (i - (-204)/(-39))*1. Let x = -2564/351 - q. Is -1 != x?
True
Let m(a) = 6*a + 6. Let l be m(-3). Is -12 less than l?
False
Suppose 210*x = 212*x + 36. Which is smaller: x or -2?
x
Let z = 5 - -2. Suppose -21 = -r + 5*x, -2*r = -5*r + x + z. Let y be 0*(r + (-6)/4). Is 0 <= y?
True
Let p be 0 + (-24)/(-9) - 2. Let c = 4.6 - 0.6. Which is greater: c or p?
c
Let q = -10/3 - -3. Let j = -0.74 + 0.8. Let c = j - -0.94. Are q and c non-equal?
True
Let d be (-3)/4*(-22 + 2). Suppose 24 = -3*y - d. Let j be 2 + y/3 - -1. Is -2 <= j?
True
Suppose 2*x = 3*b - 0*x - 12, 5*x = 2*b - 19. Let d be (-2)/5*-2*1. Which is smaller: b or d?
d
Suppose -6 = 4*y - 22. Let z be (y/3 - 3) + 2. Is 1 at most z?
False
Let w(v) = v**2 + 4*v - 6. Let d be w(-6). Let n = 9 - d. Which is smaller: 4 or n?
n
Let b be (2/6)/(2/6). Let a be b*((-2 - 0) + 0). Suppose -3*o = -0*o + 6. Is a <= o?
True
Suppose 3*j + 6 = -p - 4, 5*p + 4*j + 17 = 0. Let q be 17/(-12) + 2/(-6). Which is bigger: p or q?
p
Let d = 6.1 + -6. Let b(s