z - 31 = -3*t. Suppose z*o - b = 3*b + 68, 0 = 2*o - 3*b - 33. Let w be ((-3)/o)/(1/4). Is w greater than 0?
False
Let k = -0.09 - 16.81. Let u = k - -17. Is u at least 11?
False
Let z(k) = -k**2 - 10*k - 7. Let u be z(-9). Let m(o) = -o**2 - 3*o + 2. Let d be m(u). Let h = d + 5. Which is smaller: -4 or h?
-4
Let r be (-2 - -2) + (-8)/(-8). Suppose 3*d = r + 5. Is 8/5 > d?
False
Let w be 23/4 - 2/(-8). Suppose 3*a = w*a - 6. Which is greater: 0 or a?
a
Suppose 4 = 3*g + g. Let o(t) = t + 1 + 5 + 0. Let b be o(-6). Do b and g have different values?
True
Let d = 2.4 - -0.6. Let z = d + -6. Let n = 0.1 - 0.1. Is z at most n?
True
Suppose 2*a = 4*g - 0*a + 18, 17 = -g - 2*a. Let n = -5 - g. Suppose 2*k - o = -n, 5*o - 1 = -2*k + 9. Is k equal to 2/7?
False
Let p = 1.1 + -18.1. Is p >= -0.2?
False
Let q = -779/3210 + 7/30. Which is smaller: 1 or q?
q
Let z = -1/8 - -1/72. Suppose 5 = 2*w + 3*w. Which is greater: w or z?
w
Let v(h) = -h + 9. Let q be v(-7). Suppose 17*f - 2 = q*f. Is 10/3 < f?
False
Let m(z) = -z - 14. Let x be m(-14). Let q be (-1 + 0)*(-2 + 1). Which is smaller: x or q?
x
Suppose 0 = x - 0*x - 5, 0 = -2*t + 3*x - 19. Suppose 6 = -4*q - 2. Is t <= q?
True
Let y(o) = -2*o + 6. Let f be y(5). Let h = 0 - f. Is h equal to 4?
True
Let t = 4 + 0. Suppose t*k + 0 = 8. Is 1/2 bigger than k?
False
Suppose 2*p + 6 = 4*r, -2*p - 5*r = 3*p - 15. Suppose 3*x + 2*t = 6*t + 3, -p = -x + 4*t. Suppose -8 = 2*i, j + 11 = -4*i - 5. Is x bigger than j?
True
Let m(y) = -y**2 + 5*y - 2. Let l be m(4). Suppose r + l*r = 0. Which is greater: r or -2?
r
Suppose 0 = -z + 3*z + 2. Let u = -122 - -1100/9. Which is smaller: u or z?
z
Suppose y = -0*y - 8. Is -8 less than or equal to y?
True
Let w = 44 + -43. Is w greater than or equal to 10/9?
False
Let l(c) = c**3 + c**2 + 2*c + 7. Let y be l(0). Does 7 = y?
True
Let x be 13/6 + 2/(-12). Is x < -1.4?
False
Let a be 1/(1/(-3)*-1). Let v be (3 - a) + 0/(-2). Let c = v - 0. Which is greater: c or -1/4?
c
Let c(d) be the third derivative of -d**6/120 - d**5/20 - d**4/8 - d**3/3 + d**2. Let t be c(-2). Is t < 12/11?
True
Let c be -2*((-9)/(-6) - 2). Is c at least as big as -4?
True
Let j = -91.1 - -91. Is 2/55 greater than or equal to j?
True
Let l(w) = w**2 + 5*w + 6. Let s be l(-4). Suppose 2*p = 10 + s. Suppose p*m = 3*m. Which is greater: m or 4/3?
4/3
Let q = -1 + 3. Let d be ((-4)/8)/((-2)/4). Suppose -q*j + 1 = -d. Is j <= -1?
False
Let b = 0.2 - 1.2. Let q = -1.98 - -0.18. Let u = q + 1.9. Is u less than or equal to b?
False
Let y be 288974/(-67044) - (-2)/(-4). Let a = y + 642/151. Let l = -4/37 + a. Which is bigger: -1/2 or l?
-1/2
Suppose 7 = -3*s + 1. Is s not equal to 1?
True
Let d = -18 + 18. Is d less than -2/29?
False
Suppose 5*h + 12 - 47 = 0. Is h at most 8?
True
Suppose 5*k = -2*a - 3, -3*k = 4*a - k - 2. Is a not equal to 2/9?
True
Let b be ((-6)/(-9))/((-8)/(-645)). Let k = b + -53. Let s = k - 1. Is 1/3 less than or equal to s?
False
Let i = -43.1 - -45.99. Let a = 0.11 + i. Is a smaller than 0.1?
False
Let u = 1 - 5. Let o be 0 - 4/u - -2. Is 5 bigger than o?
True
Let t(z) = -z - 5. Let n be t(-6). Let h = -2 + n. Let y = 44 - 44.1. Which is bigger: y or h?
y
Let o be 2/6*(9 - 0). Suppose -o*h + 4*h + 142 = 0. Let f = h + 1280/9. Is 0 at most f?
True
Let h = 271 - 270.6. Let o = 2.9 - 3. Is h <= o?
False
Let y = 1.6 - 1.5. Which is smaller: y or -4?
-4
Let q(k) = -k - 1. Let w be q(-6). Suppose -w*d = 5 - 0. Which is bigger: d or -0.1?
-0.1
Suppose 0 = 5*t + 2*o + 9 - 10, 3*t + 4*o = -5. Is -1 <= t?
True
Let z = 43 - 18. Is z > 25?
False
Let s = -1.8 + 14.8. Let l = -12.9 + s. Let z = 0 + 0.3. Which is smaller: l or z?
l
Let t(c) = 2*c**2 + 12*c + 2. Let n be t(-6). Let f be (n/(-2))/(2/(-2)). Which is bigger: 2 or f?
2
Suppose -g = r - 4*g - 13, -g = 2*r - 12. Suppose -2*c = -17 + 7. Suppose 0 = c*n - r + 2. Is 1/2 at least n?
False
Let s be 2/6*(2 - 0). Suppose -26*j + 27*j = 0. Which is smaller: j or s?
j
Let d(i) = -9*i + 46. Let a be d(6). Which is smaller: a or -15?
-15
Let b(d) = -d - 2. Let s be b(-2). Suppose 27 = -5*f + 2*o, 5*o + 27 - 7 = 0. Let y(i) = -i - 8. Let q be y(f). Is s smaller than q?
False
Let h(i) = -i**3 - i**2 - i + 17. Let q be h(0). Which is smaller: q or 15?
15
Suppose -5*l = -20 - 280. Which is bigger: 62 or l?
62
Suppose 0 = -5*u + 3 - 13. Let c be 1 + u - 44/(-4). Let q be (-6)/c - 1/(-5). Is q != -2/5?
False
Let m be 74/(-30) - 2/6. Let h = -11/5 - m. Which is smaller: h or 2?
h
Let v = 18 + -17. Which is smaller: v or 2?
v
Let k be (8178/(-4))/((-33)/4). Let t = 248 - k. Let d be (1/(-2))/((-4)/(-8)). Is t > d?
True
Let m = 1.2 + -1.1. Do 2 and m have the same value?
False
Let y(x) = -x**3 + 4*x**2 - 3*x. Let c be y(3). Let b(l) = -l**3 - 3*l**2 + 1 - l**2 + l**2. Let v be b(-3). Which is bigger: v or c?
v
Let i = 7.1 - 7. Let a = 0.26 + -0.36. Which is bigger: a or i?
i
Suppose f = 2 - 1. Let j be (6/(-9))/(2/(-9)). Suppose -4*r = -u - 9, 0 = 4*r - j*u + 4*u + f. Which is smaller: 0 or r?
0
Let v be ((-4)/(-10504))/((-2)/(-496)). Let b = -6/101 - v. Which is greater: -1 or b?
b
Let j be 28/6 - (-2)/6. Suppose 3*f = j*f. Let o = -201/2 + 1811/18. Is f not equal to o?
True
Let r = 11 - 6. Suppose 3*v + 2*x = -29, v - 3*x = -r*x - 11. Let h = v - -13. Is 1 equal to h?
False
Suppose 2*s - 2*n = 8, -3*s + 5*n = 3*n - 11. Is 2 greater than s?
False
Let p be -3 + 1 - (1 - 1). Suppose 2*r - 36 = -4*r. Let z be -2 - p/(4/r). Is 1 < z?
False
Let y = -2305 + 4216. Let i be 448/y + 4/(-14). Is i greater than or equal to 0?
False
Let j be 35/(-21) + 1/(-3). Let r = -2/7 - -4/7. Which is smaller: r or j?
j
Let n = 336 - 4372/13. Which is smaller: -2/7 or n?
n
Suppose 4*r - 3*f + 2 = -0, 0 = -4*r + 4*f. Are r and -9/5 equal?
False
Let f = 0 + 5. Suppose f = 2*a + 3*a. Let s be 8/28 + (-4)/63. Is a at least as big as s?
True
Let h = -0.2 - -0.3. Which is greater: 9 or h?
9
Let q be ((-8)/(-3))/((-4)/(-6)). Suppose 0 = -3*c + 3*x - 15, c + 3*x = -1 + q. Let t = c + 5. Which is smaller: 1 or t?
1
Suppose -3*z - 2*z = 10. Let a = 2 + -7. Let n be (0 + (-1 - z))*a. Are -6 and n equal?
False
Suppose 0*b + b = -1. Suppose 48 = 2*g + 4*z, 5*g + 0*z - 108 = -4*z. Let p be ((-38)/g + 2)*4. Are b and p unequal?
True
Suppose 5*h + 4 = 7*h. Suppose 2*g = -5*i - g + 32, -h*g = 4*i - 24. Suppose 7*p = i*p. Is -4/5 less than or equal to p?
True
Suppose 5*g = 6 + 9. Suppose 4*f + 5*t + 7 = 0, 2*f + 5*t + 4 = 3*t. Let q be 1/(-2)*(f + g). Do 0 and q have different values?
False
Suppose 2*u - 12 = 3*p, -5*p + 3*u = -0 + 19. Is 21 greater than p?
True
Let a be -5*(3 + -2)/(-1). Suppose 0 = -h + 5*f - 17, -a*f + 15 = -0*f. Let c be (24/14)/1 + h. Is c equal to 1?
False
Let s be 46/(-6) - 4/12. Let r(k) = k**3 + 9*k**2 + 7*k - 5. Let l be r(s). Let h be (2/(-32))/(l/6). Which is greater: -1 or h?
h
Let b(t) = t**3 - 4*t**2 - 6*t + 6. Let w be b(5). Let j be (-4 + 3 - w)*4. Let p = 9 + j. Does p = 2/25?
False
Let f(k) be the second derivative of k**4/12 - k**3/2 + 2*k**2 - 2*k. Let c be f(3). Which is greater: -1 or c?
c
Let f(z) = -5*z - 1. Let u be f(-1). Let q be (u/(-8)*2)/37. Are 0 and q unequal?
True
Let g = -101 + 119. Is 17 at least as big as g?
False
Suppose 4*x + 6 = 5*x. Is 4 at most as big as x?
True
Let f = 37 + -32. Is f smaller than -0.2?
False
Let i(q) = q**3 - 3*q**2 + 1. Let o be i(3). Suppose 0 = a + 5*f + o + 5, -f = -1. Which is smaller: a or -1?
a
Let a(i) be the first derivative of -i**4/4 - 13*i**3/3 - 13*i**2/2 - 13*i - 5. Let z be a(-12). Is -4 smaller than z?
True
Let h(x) = 0*x**3 + 8*x**2 - x**3 + 8*x + 0 - 1. Let c be h(9). Is -10 >= c?
True
Let y(w) = w**2 + 11*w - 10. Let q be y(-11). Let b be 10/25 + (-26)/q. Let m be 1*b*4/6. Is m bigger than 1/2?
True
Let k be (-48)/(-27) + 2/(-1). Let y = 0.5 - 0.3. Is y smaller than k?
False
Let a(d) = d**2 - 4*d - 1. Let h = 10 + -6. Let b be a(h). Which is smaller: 1 or b?
b
Let v be (-14)/(-49)*7/9. Which is bigger: 0 or v?
v
Let k = 12 + -1. Let h be (-1 + 2)/((-9)/(-144)). Let w = k - h. Is -5 at most w?
True
Let o be 4/251*(45/(-20) + 2). Does -1 = o?
False
Suppose -5*a + 5*q - 4 = 11, 4*q - 12 = 0. Is -1/13 > a?
False
Let d be (-345)/(-10)*(5 + -3). Which is greater: d or 68?
d
Let k = 51 + -33. Which is bigger