 d*a + 1 + 7 = 0. Do a and -3 have different values?
True
Let m(u) = u**3 + 3*u**2 - 3*u + 2. Let h = -5 - -1. Let i be m(h). Which is bigger: i or -4/5?
-4/5
Let u = -0.25 - 1.75. Is 1 at least as big as u?
True
Let j be 3/(3/(-2)) - 0. Let w be (-5)/(-2 + (-11)/(-6)). Suppose 3*s + w = -3*r - 2*r, 0 = -4*s - 20. Which is smaller: j or r?
r
Let z be 1*(1 + -2 - -1). Suppose 2*c - 5*s + 2 = 17, z = 3*c + 4*s + 35. Let p = c - -1. Is -3 not equal to p?
True
Let v be (10/4)/((-6)/(-12)). Suppose -x - 3 = -2*s, 3*x - v = -2*s - 14. Suppose -4 = -2*r - 0, 5*q + 4*r + 12 = s. Is q < -1?
True
Let d(k) = -k. Let t(z) = 1. Let j(u) = d(u) - 3*t(u). Let n be j(-3). Let w be -2 + n/(-2 + 3). Is w greater than or equal to -3?
True
Let i = -6 - -5.4. Let s = i + 2.6. Let d = 7 - 7. Which is greater: d or s?
s
Suppose 4*d = -2*y + 55 - 3, -52 = -4*d + 4*y. Is d at most 13?
True
Let i be (-1)/((-3)/3)*-1. Suppose 5*p - p = -4*k, 0 = -4*k + 3*p. Which is greater: i or k?
k
Let d = 127 - 633/5. Let o = -1.037 - -0.037. Is d at most as big as o?
False
Let x(v) = v**2 - 3*v. Let r be x(2). Let o be ((r - -4)/(-1))/2. Suppose -3*k - 5 = 2*k. Is o less than or equal to k?
True
Let x(v) = -v**3 - 2*v**2 + v + 1. Let c be x(-2). Suppose -4*q = -12, 3*q + 1 = 3*y + 10. Suppose -2*j = w + 4*w, y = 3*j - 3*w. Which is smaller: j or c?
c
Let l = -12 - -12. Is l smaller than 5/6?
True
Let i be 12/5*(-20)/6. Which is smaller: i or 1/3?
i
Let l = 7.2 - 12.1. Let z = -5 - l. Which is greater: -0.3 or z?
z
Let w be (-5)/7*(-3)/15. Is 0 < w?
True
Let g = -3 - 2. Let t = g - -4. Let s = 1.6 - -0.4. Is s at most as big as t?
False
Let t be 2*-1 + (-7)/((-35)/95). Which is bigger: 15 or t?
t
Let w = 1468 + -108. Suppose p + 4*p + w = 0. Let l be 236/p + (-6)/(-8). Is l at most 0?
True
Suppose 0 = -t + 4*t - 9. Is t less than 4?
True
Suppose -6 = 5*b - 1. Let v = -2 + b. Let w be -1 + 3 - 18/3. Is w at least as big as v?
False
Let u(r) = -r**2 + 3*r - 2. Let f be u(2). Let j = 16 - 18. Is f less than j?
False
Let y(u) = -u**2 + 19*u - 40. Let n be y(17). Is -5 less than or equal to n?
False
Suppose 0*c - p + 15 = 3*c, -5*p - 27 = -2*c. Which is smaller: c or 0?
0
Let i = 6 + -5. Suppose j - 2 + i = 0. Is -1 greater than or equal to j?
False
Suppose 0 = -z - 3 - 12. Do -15 and z have different values?
False
Let n be (4 - 0 - 3) + -2. Do -12/11 and n have the same value?
False
Let n = 8 + -24. Is n greater than -17?
True
Let u(n) = -10*n**2 - 3*n + 3. Let l(m) = -7*m**2 - 2*m + 2. Let z(k) = -7*l(k) + 5*u(k). Let h be z(0). Are h and -2/17 nonequal?
True
Suppose 2*s + t - 2968 = 0, 3*t + t + 5948 = 4*s. Let n be 1 + (-4)/((-48)/s). Let w = 124 - n. Which is bigger: 0 or w?
0
Let t be (-8)/(-180)*(0 - -3). Let g = -8 + 8.9. Let z = g - -0.1. Is t at least as big as z?
False
Let m = 3493/6 + -1874/3. Let a = m - -607/14. Suppose 0 = 4*t - 4 - 0. Which is bigger: a or t?
t
Let t = -0.15 - -0.15. Let r = -2 - t. Let u = 3 - 4. Are r and u unequal?
True
Let v = -3.9 + 4. Let h = v - 1. Let r = -0.7 - h. Is -3 at least r?
False
Let s = 0 + -1. Let a = 109 - 761/7. Which is greater: a or s?
a
Let z(g) = -g**2 + 8*g - 8. Let i be (-60)/(-9) - 3/(-9). Let n be z(i). Let a be 5/(-30) - n/2. Which is smaller: 0 or a?
0
Let v = 6701 + -33647/5. Let w = v + 28. Let c = 2/5 + -7/30. Is c greater than w?
True
Let x = -2 + 4. Suppose -22 = -4*l + x. Let f = -3 + l. Is f > 1?
True
Let y(u) = u**3 - 10*u**2 - 38*u - 5. Let j be y(13). Is 62/7 bigger than j?
True
Let s be 3/6 + (-1)/(2 + -4). Does s = 1/75?
False
Let c = -2 - -1.6. Let i = 0.2 + c. Which is smaller: i or -4?
-4
Let d = 0 - 1. Let m = 0.9 + d. Which is smaller: -2 or m?
-2
Let r = 12 + -4. Let b = r - 6. Let o = 3 - b. Is o not equal to -2/11?
True
Let k be 1*(-8)/5*5. Let q be k + 7 + 1*2. Let w be (-2 - q)/((-42)/(-4)). Is w bigger than 0?
False
Suppose 0 = -6*y + y - 60. Let t(a) = -2*a - 7. Let k be t(-6). Let s be ((-3)/y)/(k/(-4)). Is s less than 0.1?
True
Let t = -0.23 + -0.77. Let n = -0.1 + 0.1. Are t and n unequal?
True
Let j = 5 - 5.6. Let c = -0.6 - j. Which is smaller: 1/2 or c?
c
Suppose 0 = 5*a - 0*a + 10. Let v be a/4*4/7. Does -3 = v?
False
Let f be (-3 - 8/4)/(-1). Which is smaller: 3 or f?
3
Suppose -o + 5 = 1. Suppose -9*v = -7*v - 6. Are o and v unequal?
True
Let k = -1110853/4865788 - -2/52889. Let u be 3 - 2/184*278. Let w = k + u. Which is greater: w or 0?
0
Let s = 28 - 28. Let k = 10/11 - 52/33. Do k and s have different values?
True
Let p(o) = o**3 - 12*o**2 + 12*o - 12. Let l be p(11). Which is smaller: l or 1/7?
l
Let o be 2864/12*6/(-20). Let r = o + 72. Which is smaller: 3 or r?
r
Let w = 29/2 + -139/10. Which is smaller: 9 or w?
w
Suppose 4 - 12 = 2*j. Let c = -74/35 + 12/5. Is c at least j?
True
Let f = 68/567 + -2/81. Which is greater: f or -1?
f
Let q = 0.1 - 0.05. Let c = q + -1.05. Is c >= 1.4?
False
Let t = 1.01 - 0.01. Does 15 = t?
False
Let k = -0.07 - 0.03. Which is smaller: k or 1/3?
k
Let t be 4/6 + 20/15. Suppose 10 = 4*r - r - u, r - 3*u = -t. Let j be r + -2 + (2 - 4). Which is greater: -3/4 or j?
j
Let x = -18.8 + 18.9. Are -0.052 and x non-equal?
True
Let m(w) = -2*w - 8. Let z be m(-6). Let j be (z/(-5))/(12/(-30)). Let x be ((-8)/50)/(8/(-40)). Is x greater than or equal to j?
False
Let r be -4 - -1 - 8/8. Let z be (0 - 2) + 6/(-2). Is r greater than z?
True
Let q = -1 + 1. Let j(u) be the second derivative of -u**3/6 + 15*u**2/2 + 2*u. Let i be j(11). Is q at most i?
True
Let r be (-30)/135 - (-83)/9. Let z = r - 9. Are 2/29 and z unequal?
True
Let q = 23 - 14. Is 10 at most q?
False
Let w be 1 + 2 - 1 - 80/28. Is w greater than or equal to 0?
False
Let i be ((-5)/15)/(1/(-6)). Let f(s) = -s**3 + 2*s**2 - s + 1. Let m be f(i). Is 4/13 bigger than m?
True
Let g = -2.4 + 1.3. Let q = g - -1.6. Which is greater: 3 or q?
3
Let j = -282701/46 - -6146. Let u = j - -293/230. Is u greater than 2?
False
Let t = -1/465 + -833/1860. Let y = -8247/10 + 824. Let z = t - y. Which is smaller: z or -1?
-1
Let t be (-8)/2*(-2)/8. Let x be 3 + ((-650)/42)/5. Is x >= t?
False
Suppose 2*q - 24 = -2*v, 0 = q - v + 6*v - 24. Is -1/3 at most as big as q?
True
Suppose -5*n = -5*s + 5, -2*n - 2*s + 5 = -1. Let i(u) be the second derivative of -u**3/6 + 3*u**2 + 7*u. Let f be i(6). Do f and n have the same value?
False
Suppose 2*l - 6 = 2*s, 2*l - 12 = -4*s - 2*l. Let b = 9 + -6. Which is smaller: s or b?
s
Suppose -3 + 5 = 2*u. Let t = 1038919/221 + -4701. Let s = t + 1111/663. Is s less than u?
False
Let s = -101.9 + 102. Is -0.01 bigger than s?
False
Let u = 18 + -13. Let j(v) = v - 3. Let b be j(u). Which is smaller: 3 or b?
b
Suppose 4*w + 2*b + 2 = -0*b, -13 = w + 3*b. Suppose -5*d + w*j + j = 7, -5*d + 5*j - 15 = 0. Let u = -75/7 + 11. Is u at most as big as d?
True
Let l(w) = 0*w**3 + 2*w + w**3 - 3*w + 4 - 4*w**2. Let t be l(4). Suppose t = -5*i + i. Which is greater: i or -1?
i
Let h be (2/(-20))/((2/4)/1). Are h and -18 nonequal?
True
Let w = 265/8 - 33. Are w and -0.1 nonequal?
True
Suppose 3*w - 307 = -2*h, -3*h - 8 = -h. Let i be 2/(-8) + w/(-12). Is -8 at least i?
True
Suppose -b + 4 = 3*b. Are 7 and b equal?
False
Let a = 1 + -2.5. Let g = a + -0.5. Which is greater: g or -0.3?
-0.3
Let i = 2 - 1. Let r = 0 - i. Let z = 19/12 - 4/3. Which is smaller: r or z?
r
Let n be (-97*1)/(-10 + 5). Let x = -2 - 18. Let t = x + n. Is -2 at most t?
True
Suppose 0*u + 6 = 3*u. Suppose u*j = x + 1, -1 = -2*x - 2*j - 15. Is -4 at most as big as x?
False
Suppose -y - 30 = g, -4*y - 146 = 5*g - 0*y. Which is smaller: g or -25?
g
Suppose h - 3 = 1. Let g be (95/10)/((-1)/h). Let i = 155/4 + g. Which is bigger: i or -2/5?
i
Suppose -2*j = -4*c + 2, -3*j = 2*c - c - 11. Let o be (-6)/27 + (-4)/(-18). Suppose o + 8 = 4*z. Which is smaller: j or z?
z
Let d = 25 - 26. Let c = 1 + -1. Let y = d + c. Which is bigger: -2 or y?
y
Let s be -1*(4 - -2) - -3 - 3. Let f(g) = -g + 1. Let i be f(8). Is i bigger than s?
False
Let p(s) = -s**2 - 5*s + 6. Let g be p(-5). Let t = -4 + g. Which is smaller: 1 or t?
1
Suppose 37 = 2*k - 5*f, 2*k = -2*k + 5*f + 49. Which is smaller: k or 2?
2
Suppose 4*g = 7 + 17. Suppose 3*h - g*h - 3 = 0. Let m = 2 - h. Is 4 equal to m?
False
Let v(j) = -3 + j + j**3 + 3*j - 2*j**2 - 2*j. Let y