/(-2) + z + -7. Do l and o have the same value?
False
Let t = 12 + -13. Is t at most as big as 2/7?
True
Let d be (0/(-2))/(-1*2). Let t = 319/18 + -35/2. Are d and t equal?
False
Let n = -1 - 1. Suppose -23 - 1 = -2*t. Suppose 4*k - 8*k - t = 0. Is k less than or equal to n?
True
Let k = -21 + 5. Which is bigger: 1 or k?
1
Let f(h) = -h**3 - 3*h**2 + 2*h + 3. Let j be f(-3). Let v be j + (2 + -3)/1. Let z be (-1)/v + 6/(-12). Which is smaller: z or -1?
-1
Let u = 5 + -6. Let p = 3 + u. Is 6/7 >= p?
False
Suppose -5*k + 97 = -6*y + 3*y, 4*y - k + 152 = 0. Is -36 bigger than y?
True
Suppose -5 = -h + 2*g, h = -h - 4*g - 6. Suppose p - 10 = -4*y, -4*p - 4*y - 10 + 26 = 0. Let z = p - 0. Does z = h?
False
Let a(k) = -k - 12. Let c be a(0). Let t be (-2)/c + 1/3. Is t bigger than -1?
True
Suppose 0 = -5*m + 4*c + 10, 4*m = 3*c - 2*c + 8. Let g(a) = -a**2 - a + 1. Let n be g(m). Let d = 4 + n. Which is smaller: d or -1/3?
d
Let d(w) = -2*w**3 + w - 2. Let r be d(-4). Let x = 1/25412 + 27953191/228708. Let m = x - r. Are m and -1 equal?
False
Let r = -0.244 - -0.144. Is 127 > r?
True
Suppose 2*w = 7*w + 3*b - 12, w = 4*b + 7. Let x be (0 + w)/(30/(-140)). Are x and -14 equal?
True
Let u = 20 - 20.1. Is -1.1 > u?
False
Let q = 0 - 0.1. Suppose -12 = 4*h, 3*j - 120 = -2*j - 5*h. Let v be (3/j)/((-2)/(-12)). Is v <= q?
False
Let s = 2 + 1. Let c = 8 - s. Suppose c*y + 5 + 5 = 0. Is -2 at most as big as y?
True
Let p = 31 - 32. Is p >= -1?
True
Let j = 164 + -4589/28. Is j at least 0?
True
Let i = -6.27 - -0.17. Let b = i + 6. Which is smaller: -0.5 or b?
-0.5
Let j(c) = c. Let m be j(3). Suppose m*b - 6 = -3. Let x(f) = 3*f**3 - f**2 + f. Let o be x(b). Is o < 3?
False
Let h be ((-1)/(-20))/((-5)/(-6)). Let t = -109/150 + h. Let i = 16.9 - 17. Are i and t unequal?
True
Let f = -0.205 - -0.005. Is f at least as big as 12?
False
Let a(v) be the first derivative of v**3/3 + 7*v**2/2 - v - 1. Let g be a(-7). Suppose 8*n + 23 = -1. Is n <= g?
True
Suppose -7*p + 0 = -7. Let f = -277 + 838/3. Is f at most as big as p?
False
Let u = -9.88 - -10. Let o = u - -0.08. Which is smaller: -1 or o?
-1
Let y(k) = -k + 18. Let o be y(14). Which is bigger: o or 2?
o
Let u = -2 - -3. Let s be 0 - (-1)/(3/21). Let q = s + -6. Is u at least q?
True
Let w = -0.2 + 0. Let i = 0.062 - -0.038. Is w smaller than i?
True
Suppose -2*p - 4*m = 16, -4*m = -2*p - 6*m - 8. Let h = 45 + -44. Is p at most h?
True
Let y be (6 + -7)*(0 - 0). Suppose -3*s + 2*s - 5 = y. Let g(k) = k**2 - 7*k + 4. Let u be g(5). Which is smaller: s or u?
u
Let s = 1/24 - 2/3. Let z = -1/8 - s. Does z = 0.1?
False
Suppose z - 5 = g, 2*g - g + 7 = 2*z. Is g greater than -11/5?
False
Let w = 0.04 + -0.44. Which is smaller: w or 2/9?
w
Let w = -0.7 + -1.5. Let v = w + 1.2. Which is smaller: 1 or v?
v
Let a(p) = 2*p**2 + 9*p + 3. Let j be a(-4). Which is greater: j or -30/17?
j
Let b = 4 - 7. Let d = -1 - b. Is 1 > d?
False
Let k be (1/3)/((-65)/(-13)). Suppose 2*i = 5*q + 7, 2*i - 4 = i + 3*q. Which is bigger: k or i?
i
Let i(u) = -u**3 - 2*u**2 - 2*u - 2. Let g be i(-2). Let b be 0/2*g/4. Let c = 85/123 + -1/41. Which is greater: b or c?
c
Suppose 3 = 4*s - 3*s. Is s != 2?
True
Suppose 4*s = -2*j - 0*j + 2, 4*s = -3*j + 5. Do s and -3 have different values?
True
Let z(o) = -2*o + 7 - 3*o + 4*o. Let b be 21/(-2)*(-2)/3. Let s be z(b). Are s and 3/5 nonequal?
True
Let p be 8/6 - 12/18. Let i = p - 1. Let w = 2/25 + 17/100. Which is smaller: w or i?
i
Let t(x) = -4*x - 2. Let d be t(-1). Suppose 3*z + 3 = 3*l - 0*z, d*z = 4*l + 2. Is l not equal to -2?
False
Suppose 0 = -3*s - 2*s + 315. Let b be 2 - -9*(-12)/s. Let o be ((-2)/(-3))/((-4)/(-6)). Do b and o have the same value?
False
Let u = -10.908 - 0.092. Is 0.04 less than u?
False
Let x = 5 + -4. Do -2/345 and x have different values?
True
Suppose -2*l = -3*l + 45. Let x = l - 312/7. Suppose -b + 3 = -2*h, 5*b = -4*h + 2 - 1. Is b smaller than x?
False
Let u = 4 - 4. Which is smaller: u or -1?
-1
Let x(v) = v**2 + 10*v + 17. Let s be x(-9). Is s smaller than 34/5?
False
Let h be 1/(5 + 0)*-2. Is -2 at most as big as h?
True
Suppose 0 = 4*w + 3*h - 14, 5*w + h = -0 + 23. Suppose -5*p - 3*y - y = 17, -w*p + 2*y = -1. Which is smaller: -2 or p?
-2
Let i = -12 + 18. Which is bigger: 3 or i?
i
Let w be (-64090)/(-2)*4/98. Let g = 1308 - w. Is 1 at most as big as g?
False
Let i be 2/10 + 3/(-5). Suppose 4*a = t + 17, 3*t + 8 = -t + a. Do i and t have the same value?
False
Let x = -0.23 - -1.23. Which is smaller: x or 2?
x
Suppose -t + 3*s = 28, 2*s = 4*t + 51 + 21. Which is smaller: t or -17?
-17
Let f = -4.6 + 4.5. Which is smaller: -6/13 or f?
-6/13
Let o = -0.5 - -2.5. Let z = 0 + 1. Which is greater: o or z?
o
Let c = -0.13 + 0.23. Let p = 3 + -9. Is p equal to c?
False
Let d = 0.09 + -0.08. Let a = -1.01 + d. Which is greater: a or 0?
0
Let c = -5678/15 + 378. Which is smaller: c or 0?
c
Let s = 3 + -1. Let o = -128 + 129. Which is greater: s or o?
s
Let y = -9.8 - -9.8. Is -0.15 greater than y?
False
Let y = 1/67 + -70/201. Let j = 120 + -120. Which is bigger: y or j?
j
Let w = 4/7 - 9/28. Let u = 2 - 2.1. Which is bigger: w or u?
w
Let x(r) be the second derivative of -r**4/12 - 2*r**3/3 - r**2/2 + r. Let t be (-2)/(5/10 + 0). Let w be x(t). Is w equal to 1?
False
Let k be (20/12)/5 - (-55)/(-174). Which is smaller: k or -1?
-1
Suppose 4*c - 3*z + 4 = 9, -2*c + 5*z + 13 = 0. Are c and -1 non-equal?
False
Let l = -30455/21 - -1451. Let n = 6/7 - l. Suppose 3 = -0*g - 3*g. Which is greater: n or g?
n
Let n = -509/1757 + 1/251. Is -2/9 <= n?
False
Let a(d) = 3*d + 2. Let k(s) = 3*s + 3. Let q(c) = -4*a(c) + 3*k(c). Suppose 0 = -2*p - 5 + 3. Let o be q(p). Which is greater: o or 3?
o
Let v be ((-16)/10)/((-2)/15). Does v = 11?
False
Let q be 0 - 12 - (-2 - -3). Do q and -14 have the same value?
False
Suppose -2*j - j = -15. Let p be 1*8/5*-5. Let s be 95/20 - 2/p. Is s <= j?
True
Let s = 174 - 699/4. Is 0 at least s?
True
Let g = 18.8 - 9.6. Let u = g - 9. Which is greater: -0.3 or u?
u
Suppose -3*b - 1 = -10. Which is smaller: 4 or b?
b
Let p(u) = u**3 - 3*u**2 - 3*u - 4. Let d be p(-2). Does -55/3 = d?
False
Let o be (-1 + -1)/(-1)*3. Suppose -21 = -3*y - 0. Which is greater: o or y?
y
Suppose -4*j - 2*f + 23 = 5, -15 = -3*f. Which is smaller: 4/3 or j?
4/3
Let a be (-3)/12 + 3 + -3. Does 12 = a?
False
Let k be 8/44 - (-26)/(-22). Which is bigger: k or -1/3?
-1/3
Suppose -20 + 5 = 5*w. Is -1 smaller than w?
False
Let o be (-2)/(-5) + (-16)/35. Which is smaller: 1 or o?
o
Let n be 1 - 24/(-189)*-6. Let g = 3/7 + n. Which is smaller: g or 1/7?
1/7
Suppose -3*w = -6 - 6. Let q be ((-1)/w)/((-9)/24). Is -0.3 greater than q?
False
Let c = 43 - 45. Let b = -7 - -5. Is c > b?
False
Let s be 1/(((-6)/(-3))/2). Let o = -6 + s. Is -5 > o?
False
Let a be 2 - (-7)/(3 + -2). Let r be 0 + (9 - (-2)/(-2)). Which is greater: r or a?
a
Suppose 0 = v + 4*t - 15, -6 = -4*v - 4*t + 6. Let f = 3/2 + -27/14. Do f and v have the same value?
False
Let x = 37054667/73115 + 3/14623. Let o = -509 + x. Which is smaller: -2 or o?
o
Let m(h) = 7*h. Let w be m(1). Let y = w - 8. Which is bigger: y or -2?
y
Let d be (-2 - -2)/(-6 - -5). Does 1/190 = d?
False
Let b be (-4)/562 + 2 + -2. Let q = 556/843 - b. Let i = 0.2 + 0.8. Is i bigger than q?
True
Let y = 12.7 + -9. Which is bigger: y or 1/3?
y
Let b = 2 - 2. Suppose -15 - 340 = 5*n. Let l = 357/5 + n. Which is smaller: l or b?
b
Let c = -11 + 6. Let a(l) = -7*l**2 + 40*l + 8. Let y be a(6). Is y at least c?
True
Let q(j) = 2*j**2 + 5*j + 4. Let o be q(-2). Are 26 and o equal?
False
Suppose 6*s = s + 10. Suppose s*l - 1 = 3*l. Let a be (1/(-5))/(2/(-15)). Which is greater: a or l?
a
Let c = 0 - -1. Let t be (-4)/(-6) + 24/(-225). Let z = 29/25 - t. Which is smaller: c or z?
z
Let v = 0 + 2. Let l be 0/v + 1/3. Let g be 9/4*(-18)/(-81). Which is greater: g or l?
g
Let o be 0 + -1 + (-3)/4. Suppose -12*u - 2 = 34. Which is greater: o or u?
o
Let g = 47530893638/94862807 + 3/2313727. Let h = 501 - g. Is -1 != h?
True
Suppose 18 = -10*p + 7*p + 3*c, c - 7 = 2*p. Suppose -u = -2*u + 2. Let t be (3 - u) + 10/(-6). Are t and p non-equal?
True
Let d = -2.5 - -0.5. Let c = -2 + d. Which is greater: c or 0.1?
0.1
Let f(j) = j + 5. Let m be f(-4