9?
False
Let l(t) = t**2 + 2*t - 1. Let p be l(2). Let b(i) = -i**2 + 4*i + 23. Let x be b(p). Does x = 8/3?
False
Let i = 4.66 + -3.9. Let k = i - 0.16. Which is bigger: k or 3?
3
Let n = -6 + 10. Suppose -5*q - 3*f = -30, -3*f = -n*q + 2*f + 24. Suppose -6*z + 0 - q = 0. Is z less than 0?
True
Let a = 0.0072 - 6.0072. Is a < -0.059?
True
Suppose 5*f - 154 = 4*p, 0 = -3*p - p + 3*f - 158. Which is smaller: p or -39?
p
Let p(g) = g**2 - 6*g + 11. Suppose 17*z - 109 + 24 = 0. Let k be p(z). Is 6 smaller than k?
False
Let x = 694 - 698. Which is smaller: -2/103 or x?
x
Suppose 0 = -7*u + 33 - 26. Which is greater: -3/20 or u?
u
Let o = -2528 - -32784/13. Let c = o + 589/26. Is c <= 17?
True
Let m be 1 - (2 + (2 - 3)). Let x be (13 - 30)*(1 + m). Let w = -47 + 30. Are w and x equal?
True
Suppose -3*b - 2*b + 5 = 0. Suppose 2*f = 1 + b. Let c = -8023/34 + 236. Is f less than c?
False
Let z = 27/7 - 23/7. Let u be (2/(-2))/((-2)/6). Suppose 4*r = 20, u*x + r = 5*r - 23. Is x less than or equal to z?
True
Let w = 0 + 1. Let p be (-7)/(-7)*38*w. Let u be p/(-35) - (-8)/28. Which is greater: u or -1?
u
Let n = 323/6 - 289/6. Suppose -8*s + 120 = 80. Are s and n nonequal?
True
Suppose 5*f - 5*s - 60 = 0, -4*f + 62 = f - 3*s. Suppose -3*t - f = -a, -a = a + 2*t - 2. Is -4/3 at most as big as a?
True
Let y = -2.639 + 2.529. Which is bigger: y or -20?
y
Let o(u) = 2*u**2 - 2*u - 7. Let i be o(3). Suppose -h = -5*k + 20, -7*h + 2*h - 40 = -i*k. Let d be (-94)/10 + (-2)/h. Which is smaller: d or 1?
d
Let b = 46 + -46.19. Let o = 7.1869 + 0.0031. Let l = b + o. Which is smaller: -1 or l?
-1
Let y = 2/2821 - 85/248248. Which is smaller: y or 0?
0
Suppose -4*i + 74 = 5*l, 0 = 4*l + i - 3*i - 54. Suppose 0 + 16 = 4*s. Suppose -5*k = -2*p - l - 1, -2*p + s*k = 12. Is p > 2?
False
Let f be (-27)/3 - (-1 - -3). Suppose 19 = -z + 6. Is z at most as big as f?
True
Let t(m) = 75*m - 148. Let c be t(2). Let h = -7228/11 - -658. Is h smaller than c?
True
Let f = -17 + 19. Suppose f*i = -20 - 52. Are i and -36 non-equal?
False
Let q = -44 + 79. Suppose 3*x + q = -4*h, 5*x - 4*h + 3*h + 20 = 0. Let f(j) = j + 7. Let l be f(-9). Which is smaller: l or x?
x
Let i(k) = -3*k**2 - 89*k + 113. Let y be i(-34). Does y = -330?
False
Let d = -17 - -19. Suppose -4*t + 12 = 4*u, 3*u - d*u - 13 = 4*t. Suppose u = -2*z - 3*z. Is z less than or equal to 1/3?
True
Let t(x) be the third derivative of -19*x**4/24 + x**3/3 + 5*x**2. Let f be t(2). Are f and -36 equal?
True
Let g(z) = -z**2 - 14*z + 17. Let p be g(-13). Suppose -r - p = -3*r - 5*m, -42 = -2*r + m. Which is smaller: r or 21?
r
Let r = -1033 - -23760/23. Is -1 greater than r?
False
Let y = -37243/39 - -955. Suppose 5*r - x + 10 = 0, -3*r = -0*x + 4*x - 17. Do y and r have the same value?
False
Suppose 21*c - 249 + 249 = 0. Which is greater: c or -1/1855?
c
Let h(g) be the third derivative of -g**5/60 - 13*g**4/24 - 7*g**3/6 - 6*g**2. Let t be h(-13). Which is greater: t or -22/3?
t
Let w be 15/75 + (-2)/(-40). Is w equal to 248?
False
Suppose -594*o + 597*o + 774 = 0. Is o greater than -260?
True
Suppose 5*f = 3 + 7. Let y be (570/12)/(f/8). Let x be (-4)/y*(4 - -1). Which is bigger: 1 or x?
1
Let o = 2 - 2.1. Suppose 4*x + 2*q - 5*q = 584, 0 = -5*x + 5*q + 730. Let b = -156 + x. Which is smaller: o or b?
b
Let h = -0.252 - -0.173. Let l = 8.079 + h. Which is smaller: -0.2 or l?
-0.2
Let w = -2.62 + 2.2. Let q = 3.12 + w. Let k = q - 2.53. Is -1 less than or equal to k?
True
Suppose 5*a = -25, 3*g - 2*a - 3*a - 34 = 0. Suppose 38 - 38 = g*b. Which is greater: b or 1/65?
1/65
Let y = -3000081 + 69015297/23. Suppose -5*i = 3*x + 2914, -2*i + x + 582 = -3*i. Let g = y + i. Are g and 0 unequal?
True
Suppose -18*n + 13*n = -3*z + 10, -z = -5. Which is bigger: n or -4/117?
n
Suppose 32 = -4*p - 0*p. Let y = -8 - -5. Let k = y - p. Is k smaller than 11/2?
True
Let f = -472 + 4337/9. Let n = -3631/369 + f. Is n not equal to 1?
True
Let i = 1.153 - 0.153. Which is smaller: -0.086 or i?
-0.086
Let s(v) = -v**3 - 9*v**2 + 10*v + 1. Let l be s(-10). Let g(i) = 3 + 4 - 6 - 11*i. Let m be g(l). Which is greater: m or -11?
m
Suppose 21*u = 20*u + 16. Suppose d = -u + 17. Which is smaller: d or -2/17?
-2/17
Let t be (-9310)/(-399)*(0 + (-9)/(-2)). Which is greater: 107 or t?
107
Let m(a) = -221*a**2 + a + 2. Let g be m(-1). Let y be -1 + (g/(-16))/5. Let w be (0 - 2) + 3 - 0. Which is bigger: y or w?
y
Let r = 10386/18151 - 2/2593. Which is bigger: -0.08 or r?
r
Let i = 2.17 - -0.23. Let y = 1674 - 1673.9. Which is smaller: i or y?
y
Suppose 3*v - 5*v = -6. Is v < 38/15?
False
Let v = -3.19 + 3.2. Let b = 5.593 + 0.417. Let l = b - v. Is 1/2 greater than l?
False
Let y = 530 - 529.9. Is y bigger than 3/152?
True
Let x(r) = r**3 + 4*r**2 - 14*r - 9. Let b be x(-6). Suppose 0 = b*k - 16*k - 117. Which is bigger: -14 or k?
k
Let p be (-12)/36 + (-20)/(-6). Suppose -8 = -p*b - 5*g, -g + 3*g + 4 = 0. Suppose 2*h + b = -2*z, -3*h + z - 33 = -4. Which is smaller: h or -9?
-9
Suppose -3*n + 2*o - 10 = 0, -14 = 5*n - o - 2. Let q = 4 + n. Let z be 40/(-32) - 6/((-2)/1). Do z and q have the same value?
False
Suppose 2*i + 0*i - 4 = 0. Suppose 0 = 2*o + 8, 2*o = -i*c + 4*c - 14. Suppose -5*v + r = 4*r + 3, 0 = 2*v + c*r - 6. Which is smaller: v or -2?
v
Let p(i) = -i**3 + 16*i**2 + 62*i - 37. Let a be p(19). Is a greater than 57?
True
Suppose c = -5*t - c + 15, -2*t - 2*c + 12 = 0. Let w = 2027 + -1981.09. Let s = -46 + w. Is t != s?
True
Let j be 1 + (0 - (-8)/(-2)). Let q = -281 + 1964/7. Which is smaller: q or j?
j
Let c(a) = 12*a + 4. Let i be c(6). Suppose -5*d - 3*g = 145, -3*d = 4*g - 0*g + i. Is d <= -32?
True
Let w = -2616/715 - -87/55. Which is smaller: 1 or w?
w
Let f = 12 + -12. Let b(u) = u + 16. Let t be b(f). Let g = t + -19. Is -3 > g?
False
Let s = -3 + 2. Let t be -2 + 0 + (9 - 4). Suppose t = 6*d - 9*d. Does s = d?
True
Let p be (-356)/(-52) + -10 + 3. Suppose 3*f = 3, 4*f - 1 = 2*j - j. Suppose 2*u - 4 = j*b - 1, 1 = -b + 5*u. Which is bigger: b or p?
p
Let b be -12 + (-228)/(-20) - 444/10. Do b and 3 have the same value?
False
Let r = 1.6 - 9.6. Suppose 18*s - 93 = -3. Let z be 12/105 + s/((-75)/6). Which is smaller: r or z?
r
Suppose 3*p + 15 = 0, 4*w + 6 = -0*w - 2*p. Let m be 1/((-56)/55 + 1/w). Is -56 < m?
True
Suppose 20*b + 43 - 3 = 0. Are -10/31 and b unequal?
True
Let h be -4*(-2 + 54/24). Which is bigger: h or -7/25?
-7/25
Let o = 5 + 1. Suppose 5*y + 10 = -2*k, -3*k + 7*k - 5*y = 40. Let n = k - o. Which is bigger: -1/5 or n?
-1/5
Let r(k) = 5*k - 7. Let d be r(2). Suppose 10 = d*t + g + g, 4*g - 20 = 0. Is t < 1/71?
True
Let j = 237.096 - 237. Is 3 equal to j?
False
Let m = 545 - 544.92. Which is smaller: m or -0.3?
-0.3
Let l = -35 + 44. Suppose -5*a + c = -54 + l, 36 = 4*a - 3*c. Which is smaller: a or 1?
1
Let w be (-5)/(-60) - (-77)/(-882). Is -1 greater than w?
False
Suppose -i + 9 = 3*r, 7 = 5*r - i - 0. Let y be (4/12)/(r/6). Are 2/27 and y non-equal?
True
Let w be -1*3 - 60/6. Is w bigger than -140/11?
False
Let l = 66 + -92. Let r = -22 + 47. Let i = r + l. Is -9 bigger than i?
False
Suppose -3*f = t + 2*t + 45, 3*t + 57 = f. Let h = 19 + t. Let m be (-3 + 4)*(1 + h). Is m <= 7?
True
Suppose 8*f = 11*f + 270. Let b = f + 2609/29. Let z(v) = -v + 5. Let a be z(6). Is b not equal to a?
True
Let u be 141 + 2/1 - 3. Let y be ((-3)/(-2))/(7/u). Let q = y + -33. Do q and -5 have different values?
True
Let n = -1176.854 + 1177. Is n equal to 1/3?
False
Let b(n) = -n**2 - 9*n + 7. Let j be b(-6). Suppose -5*q + j = -0*q. Suppose q*o - 45 = 2*a, -15 = 2*a + a. Is o equal to -2?
False
Let b be (-8)/20 + 848/20 + 1. Let l be (6 - 2/(-2))/((-43)/b). Is 5 <= l?
False
Suppose 6*n = 12*n - 42. Which is smaller: n or -0.06?
-0.06
Suppose 10*x - 13*x = 3*b + 3, -5*x + 3*b = -3. Which is greater: 2/645 or x?
2/645
Suppose 5*m + 417 = 4*i, 2*i = -m - m + 186. Let b be (0 - (-23)/(-7)) + 28/i. Let v = -9 + 5. Is b < v?
False
Suppose 534*j - 24 = 530*j. Is j at least 61/9?
False
Let g(v) = 0 - 21*v + 7 + 17*v + 12. Let d be g(4). Suppose -3*l - 24 = l. Which is smaller: l or d?
l
Suppose 13*t + 4378 = 1531. Which is bigger: -218 or t?
-218
Let n be ((-2484)/(-2142))/23*(1 + 6). Let y be 2/(-4)*(-6)/(-3). Is y at most as big as