 h?
True
Let j be (3*1/2)/3. Let f(a) = a**3 - a**2. Let g be f(2). Suppose g = 3*l - 2. Which is smaller: l or j?
j
Let d(m) = -7*m**3 + 2*m**2 + 3*m - 4. Let r be d(2). Let o = 183/4 + r. Are -4 and o nonequal?
True
Let h = -17 + 12. Suppose 0 = -5*o - 3*n - 25, 2*n - 5 = 5*o + n. Is h less than or equal to o?
True
Let o(u) = u**3 + u**2 + u - 698. Let v = 4 - 4. Let z be o(v). Let q = z + 4894/7. Is 2 at least q?
True
Let c(m) = m**3 - 5*m**2 + 4*m + 2. Let b be c(4). Let v be 69/21 + b/(-7). Suppose -2*p + v = -f, 4*p - 2 = 3*f + 3. Is f less than 0?
False
Suppose -4 = -4*h + 12. Let k(t) = -t + 1. Let o be k(h). Suppose 3*s = -2*v - 8 - 11, 0 = 4*s + 20. Is v greater than or equal to o?
True
Suppose -12 = -3*j + 9*j. Which is bigger: j or -3?
j
Let m = 121/35 - 34/7. Let q = m + 23/20. Which is smaller: q or 0?
q
Let g(o) = o**2 + 3*o - 4. Let r be g(-4). Suppose 4*h + 3 = 3*w, -4*w + 5 - 1 = -2*h. Suppose -v - w = -r*v. Do -2/9 and v have the same value?
False
Let q(k) = -k**3 + 2*k**2 - 2*k. Let v be q(1). Which is bigger: v or 2/25?
2/25
Let t = -1.46 - -0.06. Let q = t - 1.6. Which is smaller: 3 or q?
q
Let u = -70/3 + 24. Let v be (-14)/(-4) + 3/6. Let z be (-12)/(-16) + 1/v. Do z and u have different values?
True
Suppose 19*h - 20*h - 1 = 0. Let v = -13/10 - -9/10. Is v < h?
False
Let g = -14 - -5. Is -9 < g?
False
Let k = -47 + 74. Suppose 0 = 5*t + 4*b + 68, 4*t - 5*b = -65 + k. Is t at least -12?
True
Let m = -0.07 - 1.93. Let b = m - -1.8. Suppose -5 = -4*u - u. Is u >= b?
True
Let y = -0.11 - -0.21. Is y smaller than 4?
True
Let i = -11.89 - -11.9. Which is greater: i or -1?
i
Let f be 1/(-3) - 16/(-12). Is f bigger than 1/31?
True
Let g = -20 - -22. Is g at most 1.2?
False
Let y(a) = a**2 - 3*a. Let q be y(4). Suppose m = -q*m + 15. Suppose -5*h + k + 0 - m = 0, -2*k + 6 = 0. Do h and -1 have the same value?
False
Let h be (-8)/6*(-3 - 0). Suppose -h*z + 0 = -4. Let r = -61/6 + 119/12. Is z >= r?
True
Let h = -7 - -4. Which is smaller: -7 or h?
-7
Let i be 0 + 1/(-2)*0. Let m be 0/((-27)/(-3)*2/(-6)). Does m = i?
True
Let h be (2 - (-10)/(-6))*9. Let b be (64/(-24))/((-2)/3). Are h and b nonequal?
True
Let g(w) = w**3 - w**2 + 3*w - 1. Let f be g(2). Suppose 2*v + 2*v + 62 = 5*o, -2*v + 44 = 5*o. Which is smaller: o or f?
f
Let q(n) = n**2 + 7*n - 7. Suppose 3*y - 20 = -y. Suppose -r - 40 = y*j - 4*r, 4*j + 5*r = -32. Let l be q(j). Is l less than 2/3?
False
Suppose -3*k = -5*i - 15 + 4, -5*k = -4*i - 14. Let o(x) = -x**2 - 10*x - 7. Let s be o(-9). Is s <= k?
True
Suppose 2*z + 20 = -4*r, -5*r - 42 + 17 = 5*z. Let w be ((-8)/20)/((-37)/r). Does 1 = w?
False
Let r = 328 + -1647/5. Are r and 0 unequal?
True
Let h = -15001884737997/3178910859410 - -397466/10512619. Let k = -6/13745 + h. Let q = 9/2 + k. Is q less than or equal to 1?
True
Suppose -3*n - n = 28. Let m be (-54)/(-42) - (-2)/n. Let t = 353 + -4591/13. Is m < t?
False
Let x(j) = -1. Let k(a) = -a. Let z(u) = k(u) + 4*x(u). Let l(h) = h**2 + 3*h - 3. Let s be l(-3). Let d be z(s). Which is smaller: d or -1/11?
d
Let k be -19 - 2*(-1)/(-2). Is k greater than -20?
False
Suppose -9*z + 1 = -17. Is -19 smaller than z?
True
Let g = 0.027 - -0.073. Which is greater: g or -16?
g
Let h = 5 + 6. Let b = 8 - h. Which is smaller: b or -3/2?
b
Let x(f) = -f**3 - 5*f**2 - 5*f - 2. Let s be x(-4). Which is bigger: 7/3 or s?
7/3
Let o be (-6442)/(-4752) - (-3)/8. Let n = 32/27 - o. Which is smaller: n or -1?
-1
Suppose 10*v = 20*v + 430. Is v >= -42?
False
Let s = -168 + 192. Which is smaller: 26 or s?
s
Suppose 4*b = 3*i + 56, -9 = 4*i - 4*b + 63. Let k = i - -15. Suppose 5*u - 4 + 19 = 0. Is k <= u?
False
Suppose -29*g + 32*g + 39 = 0. Let l be g/(-21) - (-3)/(-9). Is l > 1?
False
Let o be (-2)/5 + (-40)/25. Let q be ((-3)/(-8))/(3/o). Which is smaller: 3 or q?
q
Let z = -2 + 0. Which is smaller: z or 0.13?
z
Let t = -3 - -1. Let w = 1 + t. Is 1 at most w?
False
Let q = -23542/57 + 413. Which is smaller: q or 1?
q
Let n be (-1)/3*1 + 8/6. Let y = 175/36 + -19/4. Which is bigger: y or n?
n
Suppose -5*g + 6*g = -4. Let l be 2/(-1) + (-10 - 0). Let x be g/6 + 4/l. Which is smaller: 1/7 or x?
x
Let g be (-1*1)/(5/(-5)). Suppose 5*c + 15 = 0, -3*v + 5*c - 4*c = -3. Which is greater: g or v?
g
Let k(l) = -l + 3. Let x be k(4). Is x greater than -1/37?
False
Let u = 0 - 1.4. Let p = -0.5 - -0.1. Let g = p - u. Which is smaller: 4 or g?
g
Suppose -4*a + 15 = -5*g, 4*g = -4*a - 0*g - 12. Let q(x) = -9*x - 5 - 4 + x**2 + 0 + 2*x. Let f be q(8). Does f = a?
False
Let l be ((-12)/10)/((-6)/4). Let r = -8 + 9. Which is greater: l or r?
r
Suppose -2*j = -w + 6, -5*j + 2*w = 13 + 1. Which is greater: j or -3?
j
Let q(l) be the third derivative of l**6/120 + l**5/60 - l**4/24 - l**3/3 + 2*l**2. Let k be q(0). Do k and -2 have different values?
False
Suppose 0 = -2*n + n + 3. Suppose 0 = q + n - 2. Which is greater: -7/3 or q?
q
Suppose -2*c - 6 = 4*j, -j - 15 = -2*c - 46. Let n = c + 12. Is 1 less than or equal to n?
False
Let p = -57 + 57.1. Is p >= -1.9?
True
Let y be (-4)/(-6) - (-6 - 58/(-6)). Let t(m) = -m**2 + 4. Let a be t(0). Suppose 0 = -3*v - 5*u - a, -4*u + 2 = -2. Is y greater than v?
False
Suppose -41 = -5*x + 2*v, 3*x + 2*v - 29 = -2*x. Suppose 2*g = x*g - 15. Is g at most as big as 2?
False
Let a(p) = -p**2 + 11*p - 18. Let z be a(9). Which is bigger: z or 10?
10
Let d(i) = i + 2. Let t be d(-3). Let o = 1483/33 - 45. Which is greater: o or t?
o
Let t be ((-4)/(-2) - -3) + -3. Suppose -2*c = t*c. Is c less than or equal to -2/11?
False
Let y = -4/13 + 25/39. Suppose 0 = i - 1 + 2. Is i greater than y?
False
Let x = -3045/4 - -765. Is x at most 5?
True
Let g be (-1)/6 + (-26)/(-12). Suppose 0 = p + g*j + 1, 5*p + j - 34 = 4*j. Is 5 less than or equal to p?
True
Let u(z) = -3*z**2 + 3*z + 9. Let o(q) = 2*q**2 - q - 5. Let t(b) = 5*o(b) + 3*u(b). Let a be t(-3). Which is smaller: a or 0.2?
a
Suppose 0 = -3*m - 2*m - 30. Let l be (-12)/(-10)*(-20)/m. Suppose s = -l*t + 5*s - 16, 0 = -4*t + s - 7. Which is greater: t or 0?
0
Suppose 3 = -6*s + 7*s. Let k = -1 + s. Is k less than 1?
False
Suppose 3*r + 3*m - 6 = 0, -3*r - 3*m + 8 = -2*r. Let d be 2 + (r*4 - 1). Which is bigger: -2 or d?
-2
Let p = -0.087 - 19.913. Which is bigger: -0.2 or p?
-0.2
Let s = -6797/18 - -397. Let c = -39/2 + s. Which is smaller: 0 or c?
c
Let p = -0.5 - 0.5. Let u = 3 + p. Which is bigger: u or 3?
3
Let m(b) = 4*b**2 - b - 2. Let y be m(-1). Let f(z) = z**2 - 1. Let c be f(-2). Suppose 3*q - 3 - c = 0. Which is smaller: y or q?
q
Let p = 1 - -2. Suppose -2*g - 15 = -7*g + 3*z, -2*g + 6 = -2*z. Is g greater than or equal to p?
True
Let l be -2 + 6 + 2*9. Is 22 smaller than l?
False
Let z = 8 - 5. Suppose 0 = -2*h - z*h - 105. Let w be h/(-28) + 22/(-8). Is -2/3 equal to w?
False
Let g = -18 + 20. Let z = g - 0. Let r = 0.05 - 0.45. Which is bigger: z or r?
z
Let t = 55/4 + -14. Let g = -13.25 + -0.75. Which is bigger: g or t?
t
Suppose -4*c - 5*d = 14, 3*d = -7*c + 2*c - 11. Let s be -7*c/(-1) - 2. Which is smaller: s or -10?
-10
Let v be -1 + 1 + 2/3. Is 1 at least v?
True
Suppose -o = 3*z + 5, 0*z - 20 = -4*z + 4*o. Let x be z/1 - (-1)/2. Is x greater than 1?
False
Let a(v) = -4*v. Let b be 10/(-25) + 12/5. Let p be a(b). Is -8 at least as big as p?
True
Let j(o) = -o**3 + 7*o**2 - o + 3. Let m be j(7). Which is greater: -3 or m?
-3
Suppose 4*b - 2*m = 2*m - 4, -18 = 3*b + 2*m. Is -19/4 greater than b?
False
Let p be (-1)/(3*1/3). Let l = -253/4 - -63. Which is greater: p or l?
l
Let s = -1.6 - -2.6. Is -9 <= s?
True
Suppose -5*y + 5 = 0, -3*d - 3*y + 44 - 137 = 0. Let l = d - -22. Is l greater than -11?
True
Let d(k) = -10*k - 3. Let q be d(3). Let g = q + 98/3. Which is smaller: 0 or g?
g
Let d = -2.5 - -0.9. Let b = -1.3 - d. Which is smaller: -0.2 or b?
-0.2
Let q be (3 + -1)/(-1 - 0). Let r = -1.5 + 0.9. Let c = r - -0.7. Is c bigger than q?
True
Let m(w) be the second derivative of -1/2*w**2 + 1/12*w**4 + 1/3*w**3 + 2*w + 0. Let t be m(1). Is t greater than 1?
True
Suppose g + 37 + 21 = 0. Which is smaller: g or -57?
g
Let c = 0 + 3. Suppose q - c = 4*q. Is q bigger than -1/8?
False
Let c be 3 - (-1 - -3*3). Which is smaller: -3 or c?
c
Let z = 3 - 1. Suppose o = -v + 5, 8 = -z*v + 4*v. Let k = -5