-12*j. Suppose 2*p = -j*k + 18, 3*p - 3*k = -0*p + 9. Is 5 bigger than p?
False
Let d = 10 + -9. Suppose 2*b - 6 = -4*x, 5*b + 25 = 4*x - 2. Let h be (x/(-2))/(2/4). Is d at most as big as h?
False
Suppose 0 = 5*t - t + 5*b + 4, 3*b = -5*t - 5. Which is smaller: 4 or t?
t
Suppose -s = 4*s, -2 = -n + 2*s. Let y = -38 - -41. Which is smaller: y or n?
n
Let p = -64/1971 + -1/219. Let j = 22/135 - p. Is j greater than or equal to -1?
True
Let j(k) = -3*k**2 + 4*k + 2. Let y(h) = 7*h**2 - 9*h - 3. Let v(a) = -5*j(a) - 2*y(a). Let x be v(3). Do x and -1 have the same value?
True
Suppose -5*t + 41 = -29. Which is greater: 16 or t?
16
Suppose 3*t = -4*f - t - 304, f = 4*t - 56. Let r be (f/32)/(2/8). Is -8 at most r?
False
Suppose 3*p + 20 = -2*p - 5*z, 0 = -4*p + z - 1. Is -1/31 greater than p?
True
Let i = -12 + 22. Let o = i + -12. Which is smaller: 1/20 or o?
o
Let b = 0.6 - 1.6. Let j = -0.9 - b. Which is smaller: -0.02 or j?
-0.02
Let y = 0.04 - 0. Let r = -3.96 - y. Is 1/4 > r?
True
Let l be (-1)/(-4)*16/(-6). Suppose -2*s + 3*z + 9 + 2 = 0, s = -2*z - 12. Let w be s/4 - (-5)/(-10). Which is smaller: l or w?
w
Let b = -0.622 - -17.502. Let s = b - 17. Which is bigger: 1 or s?
1
Let b = 27 - 26.87. Let f = -0.13 + b. Is f at least as big as -0.13?
True
Let s = 1.12 + -0.12. Which is smaller: 3.8 or s?
s
Let x = 3 - -10. Which is smaller: 0.2 or x?
0.2
Let p = -2 + 2. Suppose 2*o - 6 = -p*o. Suppose 2*w = o*w. Is 2 >= w?
True
Suppose 0*o = s - 2*o - 7, 0 = -s + 4*o + 11. Is s less than 22/9?
False
Let l(h) = 7*h - 2. Let a be l(5). Let z = 46 - a. Suppose -4*y - 3 - z = 4*k, y = -5*k - 16. Are y and -1 non-equal?
False
Let a(u) = -3*u + 69. Let c be a(22). Is c at least as big as 42?
False
Suppose 3*l = 0, -f - l - 2 + 4 = 0. Suppose -4*x + 6 = -f*x. Is 0 > x?
False
Suppose 3*s + 0*s + 12 = 0. Let c(t) = -t**3 - 5*t**2 - 4*t. Let v be c(s). Let d be 2/(-3) + (-12)/(-15). Which is smaller: d or v?
v
Let k be 0*4/(-16) + 14. Let m = k - 16. Which is smaller: m or -3?
-3
Let k be (-1 + -5)/((-9)/(-12)). Let a = -6 - k. Suppose 2 = a*i - 4. Which is smaller: i or 4?
i
Suppose o - 5*k - 24 = 0, 11*k = 5*o + 6*k - 20. Is o less than 2/227?
True
Let x(f) = -f - 1. Let m be x(-1). Suppose 0 = -m*b + 4*b. Let u(w) = w**3 + 7*w**2 + 5*w - 4. Let y be u(-6). Which is greater: y or b?
y
Let a = -17 + 0. Which is bigger: -18 or a?
a
Let u = -159149/4731 - -639/19. Let s = -763/1992 - u. Which is greater: s or 0.1?
0.1
Suppose 0*j = 2*j. Suppose 3*r + 0 = -6. Are j and r equal?
False
Let b(x) = 2*x + 7. Suppose 0*i + i + 4 = 0. Let p be b(i). Is p greater than -1?
False
Let p = 3 + -3.2. Let n = p + 0.3. Let d = 6 - 6. Is n greater than d?
True
Let k be (27/6)/9 + 0. Let t be -1 + 14/8 - 1. Which is bigger: k or t?
k
Suppose -n + 0*n + 5*k - 23 = 0, 5*n = -k + 15. Suppose -3*r = n*r. Is 4/3 not equal to r?
True
Let d(y) be the second derivative of y**6/360 - y**5/120 + y**3/6 + 2*y. Let h(q) be the second derivative of d(q). Let p be h(1). Which is greater: -2 or p?
p
Let j be (9/60)/(2/5). Let s = -81 + 647/8. Let c = s - j. Which is bigger: 0.2 or c?
0.2
Let j = 4 - 2. Suppose -2*k - j*k = -200. Let m = k - 348/7. Is m greater than or equal to 0?
True
Let p = 24614/3185 + -393/49. Let m = 1449 - 18828/13. Let v = m + p. Do -1/2 and v have the same value?
False
Let a be ((-214)/4)/((-10)/(-20)). Is -107 less than or equal to a?
True
Suppose 2*y = 4*c - 4 - 14, 0 = -2*c + 3*y + 19. Suppose 5*w + 3*p = -14, -6*w - 10 = -c*w + 2*p. Which is greater: w or 4/15?
4/15
Suppose 5*h - 3*q = -10, 0*q + 4 = -2*h - q. Let p = 2 + h. Suppose p = -0*k + 4*k + 16. Is k > -5?
True
Let n = -7 - -10. Suppose 0 = d + 2*c - 0 - 1, -3*c - 9 = 0. Let u = n - d. Which is greater: 1 or u?
1
Let o = 2/89 + 69/890. Let k = 0.5 - -0.5. Is k greater than o?
True
Suppose -3*o - 8 = -5*o. Suppose 0 = -3*s + 7*s. Suppose 4*j + s*j - o = 0. Which is smaller: j or -1?
-1
Let h = -3 + 3. Let k = -3 - h. Which is smaller: -1 or k?
k
Let h = -5 - -8. Suppose j = -h*j. Which is smaller: j or -2/3?
-2/3
Let y = 8 - 7.97. Let r = y + 2.97. Let p = -4 + r. Which is bigger: p or -0.1?
-0.1
Let z be 2/(16/18)*-4. Let v = z - -5. Is v at least as big as -4?
True
Let l(d) = -d**3 + 6*d**2 - 4*d - 4. Let h be l(4). Suppose 0 = -m - m - h. Let r be 1/1 - (-1 + -4 - -12). Is m bigger than r?
False
Let v = 63 - 251/4. Suppose 0*y + 5 = -5*y. Is v smaller than y?
False
Let l = 13 + -6. Let a = 0.94 + 0.06. Is l greater than or equal to a?
True
Let m(r) = -r + 5. Let j be m(4). Suppose -13 = 2*z - j. Let y = 461 - 466. Do z and y have the same value?
False
Let r be 3*1 - (-2)/1. Suppose -r*h = 7 + 3. Let q be 0 + (-3 - (-4 - h)). Is q equal to -2/5?
False
Let j(s) = 15*s**3 - s. Let i be j(-1). Let g be 3/i + (-20)/70. Is g at most 0?
True
Suppose 8*v - 7*v = -6. Let k = v - -5. Is -0.1 < k?
False
Let u = 181 + -184. Is -26 at most as big as u?
True
Suppose -4*g + 3*g = 0. Let a be 71/5*(-14)/(-18). Let z = a - 94/9. Is g < z?
True
Let i be (-3)/(-2) + (-350)/228. Which is smaller: i or -1?
-1
Let v = -233/5 + 47. Let o = -58/7 - -8. Is v greater than or equal to o?
True
Let m = -863 - -4353/5. Which is greater: 7 or m?
m
Let i = 0.1 + 0. Let p be (-13)/(-5) + (3 - 6). Which is smaller: p or i?
p
Let s = -3 + 0. Let r = -4.05 + 4. Let k = -0.05 - r. Which is smaller: s or k?
s
Let t = 0.2 + -0.48. Let f = t + 6.28. Is f at least as big as 1/3?
True
Suppose -i - 4*i + 27 = 4*l, 15 = -3*i. Which is smaller: l or 0.4?
0.4
Let q be 3*(-3)/(-3)*4/(-30). Let x be ((-66)/27)/2 - -1. Is q != x?
True
Let f = -2047/30 + 133/2. Let b = -316/165 - f. Is 1 at most as big as b?
False
Let j = -43 - -38. Let i = 0.04 + -5.14. Let x = i - j. Is x at most 1?
True
Let k = -14 - -13. Which is greater: k or 0.1?
0.1
Let m be (-1*(1 - 0))/(-61). Is m < 1/4?
True
Let w be -2*(2 - 3/6). Let a(k) = k**3 + 6*k**2 + 3*k - 2. Let j be a(-5). Suppose 9*m + 2 = j*m. Which is bigger: m or w?
m
Let k = 215 + -215. Let o = 201/2 - 104. Let f = -45/14 - o. Which is smaller: f or k?
k
Let h = -59 - -39. Let l be (-4)/(-10)*30/1. Let m be (-17)/l + (-15)/h. Is -1 > m?
False
Suppose -15 = -r - 2*r. Let y be (-16)/60 - 2/r. Is -5/3 equal to y?
False
Let u = -4 + 11. Suppose 2*s + u = -5. Which is smaller: s or 0?
s
Let z be -2 + -3 + (-2 - -3). Is -4 >= z?
True
Let l = 14 + -27. Which is smaller: l or -14?
-14
Let z(d) = 2*d - 25. Let x be z(13). Which is smaller: 4/3 or x?
x
Let l = -746/945 + -2/189. Let k = 21/20 + l. Is k less than or equal to 1?
True
Suppose -14 = -2*w + u - 7, 4*u = 4*w - 24. Let r(b) be the first derivative of b**4/2 + b**3/3 + b**2/2 - b + 1. Let v be r(1). Is w greater than v?
False
Let v = -8 + 6. Let x be (3 - 0)/(-4 + 3). Is x greater than or equal to v?
False
Let u = -4.9 - -5. Is -36 at least as big as u?
False
Let z(a) = -2*a - 9. Let n be z(-4). Is -8/11 less than n?
False
Let l be (51/12)/1 + -4. Are l and -1 non-equal?
True
Let v(n) = -n**2. Let g be v(2). Let y be 106/(-6) - 4/12. Let k = -21 - y. Which is bigger: g or k?
k
Let j be 14/6*10/(-35). Which is smaller: 0 or j?
j
Suppose -d + 0 = 4. Let u = 1 + 1. Let h = d + u. Is -2 less than or equal to h?
True
Suppose 11 = 5*c + w, 1 = 2*c + 2*w - 5. Suppose x - c = 3*x. Is x equal to 1/4?
False
Let d = -1.94 + 2. Let k = 0.04 + d. Is k smaller than -1/4?
False
Let g be (-7 - (0 - 4)) + 3. Which is smaller: g or -2/11?
-2/11
Let n(k) = 2*k**3 - 12*k**2 + 8*k - 9. Let p be n(6). Is 39 bigger than p?
False
Let i be (-2)/(-9) + (-203)/63. Suppose b + g + g - 17 = 0, -3*b - 4*g + 43 = 0. Let l = 6 - b. Is i at least as big as l?
True
Let k be 5/20*(-14)/4. Let j = -3/8 - k. Which is smaller: j or -1?
-1
Let w(p) = p**3 - 4*p**2 + p - 2. Let g be w(4). Suppose -3*s + 0*q - 2*q + 5 = 0, -2 = -4*s + g*q. Which is bigger: s or 1/4?
s
Let j(q) = -3*q**2 - 20*q - 62. Let r(h) = -h**2 - 7*h - 21. Let d(m) = 6*j(m) - 17*r(m). Let s be d(0). Let n be (-1)/(-8)*(-20)/s. Is n equal to -1?
False
Let q(x) = -9*x**2. Let h be q(-1). Let z = h - -10. Is 3/8 <= z?
True
Suppose 0 = 4*f - 0*k - 3*k + 4, 0 = -2*f - 5*k - 2. Is f greater than or equal to -1/10?
False
Let h be ((-3)/(-30))/((-8)/20). Are h and 1 non-equal?
True
Let k be (2/(-8))/(65/(-104)). Is -5/3 at most k?
Tru