 be 0 - -3*(5 + -2). Is -1/2 > p?
False
Let j(b) = b**3 - 7*b**2 + 9*b + 6. Let x be j(5). Let p be (6 + -1)*(-1)/(-6). Is p not equal to x?
True
Let h = 6 - 4. Suppose x - 12 = -h*x. Which is smaller: 3 or x?
3
Let g(z) = -7*z**3 - 4*z**2 + 4*z - 1. Let b be g(1). Suppose -3*v = -2*v + 8. Are b and v nonequal?
False
Let k(l) = -l + 1. Let z be k(11). Let h = z - -11. Is 6/11 smaller than h?
True
Let m = -0.02 - -0.22. Let x = -2.3 + 0.3. Let d = -2 - x. Which is smaller: d or m?
d
Suppose -v + 2 = 4*s - 0*v, -s = 2*v + 3. Which is greater: -4/19 or s?
s
Let f = -50 + 48. Which is smaller: 2 or f?
f
Let k be 52/(-91) + 624/14. Let z be k/21 + -5 + 3. Is -0.1 >= z?
False
Let w(b) = b**2 + 7*b + 1. Let z be w(-7). Let i be -1 - (1 + 46/(-22)). Which is smaller: i or z?
i
Suppose 0 = 4*w + 7 - 43. Suppose 0 = -2*a - s + 5, -2*s + 5 = 5*a - w. Is 6 > a?
True
Let k be (9/48)/((-6)/(-8)). Is k smaller than 2?
True
Let b(m) = 2*m**3 + 2*m - 1. Let o be b(2). Is 20 != o?
True
Let x = -8.98 + -0.02. Which is bigger: 4 or x?
4
Let y(b) = 85*b**2 - b - 1. Let f be y(2). Let s be (-2)/((-1)/(f/10)). Let h = s - 67. Is h not equal to 0?
True
Let b = -0.6 - -0.9. Let y(z) = z**3 + 2*z**2 - 2. Let a be y(-2). Let h(i) = -i**2 - 2*i - 1. Let j be h(a). Is j at least as big as b?
False
Suppose 0 = 4*i + i + 100. Let u be (-4)/(-10)*i/44. Let z be (2 + -2)/(-1 - -2). Is u at most as big as z?
True
Let d = -3 - -5. Suppose -d*a - 4 + 2 = 0. Let x = -1 - a. Which is bigger: x or 2?
2
Let j = -10 + 23. Is j bigger than 13?
False
Suppose 0 = -2*a + 4 + 2. Suppose a*y + 6 = -0. Suppose -3 = -g - 6. Do y and g have different values?
True
Let f be 406/(-28)*(2 - 1)*-2. Which is greater: f or 30?
30
Suppose 5*g = -0*g - 3*c, -4*c = -4*g. Suppose g = -5*s + 35 + 5. Let p = -6 + s. Is 2 greater than p?
False
Let j = 91 - 91.1. Is 13 at least as big as j?
True
Let l = -42 - -63. Is -1 greater than l?
False
Let m = 4 + -4. Do 5/8 and m have the same value?
False
Suppose -5*j - 10 = 0, 0 = 3*q - 2*q + j. Suppose -v = u + 3, -u + 1 = -5*v - q. Suppose 2*p - 3*y + 2 = 0, 2*p + 3*p + 5 = -4*y. Is p equal to v?
True
Let t = 601/21 - 85/3. Let h be (-1)/(10/(-6)) - 12/(-30). Is h less than or equal to t?
False
Let a = 442.94 + -435. Let z = a - 8. Let n = -0.36 - z. Does -2/7 = n?
False
Let p be ((-3)/6)/((-1)/24). Suppose 5*u + 15 = -5*f, -2*f = u + 2*f + p. Which is bigger: 1/7 or u?
1/7
Suppose -5*j + 3*x - 15 = 0, 4*j + 0*x = -3*x + 15. Is j greater than or equal to -2?
True
Let r = -10 + 10. Let b be (-2 - -12)*(-34)/(-28). Let d = -87/7 + b. Which is bigger: r or d?
r
Let y(s) = s**2 - 15*s + 23. Let i be y(10). Are -27 and i equal?
True
Let w = 5312/5 - 1067. Is w less than or equal to -5?
False
Let d be 0 + 5/7 + -1. Let z be (-12)/9*((-15)/6 + 1). Which is greater: z or d?
z
Let m(u) be the third derivative of u**4/24 - 4*u**2. Let z be m(5). Suppose z*x + 7 = -3. Is x != -5?
True
Let y be -2 + 1 - (0 - (-244)/(-24)). Is 9 bigger than y?
False
Let t = -5.5 + -5.5. Is 0 less than t?
False
Let h = 1.8 - 2. Do h and -1 have different values?
True
Let o = 37/338 - -1/169. Let d = o - -5/13. Which is smaller: 0.04 or d?
0.04
Let a = -4 + 6. Suppose 0 = m + g - 1, -4*g = m - 0*m + 11. Suppose 3*d - 18 = -0*d + 4*c, -3*c - m = 2*d. Is d bigger than a?
False
Let w be -2*5/(20/(-6)). Suppose w*j - 6 = j. Suppose -3*m = 0, -3*s = j*m + 9 + 3. Which is smaller: s or -5?
-5
Let s = 31/20 - 1/20. Does 3 = s?
False
Suppose 2 = 5*t - 23. Let j = -1 + 3. Let w be (-4)/(-5)*t/j. Is w not equal to 2?
False
Let a = 0.415 + 1.595. Let x = 0.01 - a. Does -1 = x?
False
Let j = 3 + -4. Let t = 3 + j. Suppose 0 = 2*z + t, -z + 4 = 3*c - 2*z. Is 2/3 at least as big as c?
False
Suppose 3*n - 21 = -0*n. Suppose -n*y = -2*y. Let l be (-15)/9*(12/(-15) - -1). Which is bigger: y or l?
y
Let c = -2.2 + 0.2. Let h = -8.9 - c. Let v = 0.9 + h. Is 1 greater than or equal to v?
True
Let r(h) = h**3 - 6*h**2 + 4*h + 2. Let w be r(5). Let c = 2 + w. Let d = 13 - 13. Which is smaller: c or d?
c
Let g(m) = -33*m - 1. Let i be g(-1). Suppose -3*o - 3*c = -33, -2*o = -3*c + 7*c - i. Let f be -2*(-2 + 27/o). Which is smaller: f or -6?
-6
Let t = 52 - 60. Is t at least -0.2?
False
Let f(z) = -z**3 - 5*z**2 + 2*z + 4. Let u be f(-5). Let a = u + 20. Let s be a/(-20) + 1/2. Which is bigger: s or 1?
1
Let m be 6/4 + (-18)/20. Suppose 0 + 4 = 2*t. Is m at least as big as t?
False
Let v = -2.08 + -0.42. Which is greater: v or -1/3?
-1/3
Suppose 9*j - 60 = 6*j. Is j greater than 20?
False
Suppose 10 = 2*s - 4*a - 6, -2*s - 9 = a. Let j = -3 - s. Let f = j - 1. Is f < -2?
False
Let n(b) = -b**2 + 11*b - 20. Let y be n(9). Do -8/5 and y have different values?
True
Let q = 14.5 + -16. Is q less than 1/4?
True
Suppose -2*p = k + 2*p - 8, -5*k + 5*p - 10 = 0. Let q be (1 - 2)*(-3)/3. Let l be (-34)/(-12) + q + -3. Which is smaller: l or k?
k
Let m be 1 + 213/207*-1. Is m less than -1?
False
Let k(d) = 3*d**2 + 8*d + 4. Let b be k(-3). Is 8 at most as big as b?
False
Let w = -7/104 + 5/104. Is -1 > w?
False
Suppose 0 = 5*c + 18 - 58. Suppose 4*r - 220 = -c*k + 3*k, 3*r = k + 184. Let d = r + -178/3. Is 0.6 bigger than d?
False
Let f = -91/2 + 46. Is f less than or equal to -3.5?
False
Let o be (1 - -2)*8/36. Which is smaller: o or 2?
o
Let f be 10/(-15)*1/2. Let y(a) = -a - 2. Let p be y(-2). Let h = p - 1. Is f greater than or equal to h?
True
Let j(w) = -w**3 - w**2 + 2*w - 1. Suppose 6*t = 4*t + 2. Let y be j(t). Is y smaller than 1/6?
True
Suppose -u - 12 = -5*u. Are u and 3 unequal?
False
Let y = -2.9 + 1.8. Let h = y - -1. Let v = h - 0. Which is bigger: -0.2 or v?
v
Let c = 65 - 45. Let i = -6 - -15. Suppose 5*v = -5*q - c, 3*q + i + 8 = 2*v. Which is smaller: -2 or v?
-2
Let b(y) = 4*y**2 - y. Let q be b(1). Suppose 2*m - q = -1. Let w = 75 + -223/3. Is w at most m?
True
Let i(x) = x**2 + 3*x + 1. Suppose 0*o + 16 = -2*o + 5*s, -2*s = -3*o - 13. Let h be i(o). Is h <= 2/59?
False
Let u(x) = x**2 + 2*x**2 - 2 + x**3 + 5 + 4*x. Let l be u(-2). Is l equal to -2/9?
False
Suppose 6 = 2*y - q, 2*q + 14 = 4*y - q. Suppose y*v = v + 4. Which is bigger: v or 2?
v
Let j be 2/4*(7 - 3). Suppose p - 8 = j*p. Let t be (-6)/(-8)*p/(-10). Which is bigger: t or 0?
t
Let j(r) = -r**3 - 4*r**2 + 6*r - 7. Let t be j(-5). Is t greater than -12?
False
Suppose 3*i - 4 = 5, 0 = 2*p - i - 9. Let w = 2 - p. Is w less than -5?
False
Let s be 5/(-45) + (-68)/(-396). Are -1 and s equal?
False
Suppose -4*a + 3*p = -p - 8, a = 4*p + 11. Suppose 5*b + 2 = -5*t - 3, -3*t + 4*b + 11 = 0. Which is smaller: a or t?
a
Let f be (-52)/(-65)*5/(-7). Which is smaller: f or -1?
-1
Let b(c) = -2*c + 10. Let s be b(11). Which is smaller: s or -11?
s
Let z be (5 - 3 - 7) + 6. Let w be 4/(-5) + 2/2. Which is smaller: w or z?
w
Let w = 936641/565479 - 1188/757. Let y = w + 2/83. Is y at most -1?
False
Let s be 1 - (-3)/((-3)/(-25)). Which is greater: s or 22?
s
Suppose -5*z + 141 = -79. Suppose 4*c + 4*t - z = 0, -4*t = -2*c - 1 - 1. Which is smaller: 6 or c?
6
Let n = -31 - -32. Which is smaller: n or 11?
n
Let c be (-5)/15 - (-6)/(-9). Let f be 0*(2 + 1 + -2). Is f <= c?
False
Let g be 328/(-16) + (-2)/(-4). Is -3 at least g?
True
Suppose 0 = b - 2 + 3. Suppose 0 = -h - 6*o + 3*o + 7, 5*h - 5*o = 15. Let p = h + -4. Which is smaller: p or b?
b
Let b be 4/5*(-5)/2. Do -3/4 and b have different values?
True
Let w = -0.014 - 0.086. Is w bigger than -55?
True
Suppose -4*g - g = -10. Let u be ((-2 - g)/(-2))/2. Suppose -u = m - 2*m. Is m equal to 2/7?
False
Let w(p) = -p**3 + 5*p**2 + 4*p + 4. Let f be w(6). Let b(i) = 4*i - 6*i - 4 - 5. Let g be b(f). Is 7 at most as big as g?
True
Let k be 3/(-21) + 30/14 + -8. Are k and -9 unequal?
True
Let c = -15 - -15. Suppose -m = 4*r + 4, -3*m - 2*r - 2 = -c*m. Which is smaller: 4/3 or m?
m
Let l(u) = -u**2 + 7*u - 5. Let c be l(6). Let v = 1510 + -95128/63. Let s = v + 143/126. Which is greater: c or s?
s
Let q = -9 + 10. Let j = 7 + -7.4. Which is greater: q or j?
q
Let n = -1.3 + -0.7. Let w = 0.06 + 0.94. Which is greater: w or n?
w
Suppose -h + 3 = -1. Let j be (-6)/3 - h/(-2). Suppose -r - 1 = -j*r. Is -2/7 bigger than r?
True
Let j be (6/(-9))/((-1)/(-234)). Let p be 3/(-4) - 109/j. Is p greater than 0?
False
L