+ 0.4. Let s = -0.5 + g. Let m = -0.4 - s. Do m and 4 have the same value?
False
Let g be 2 - (-2 - -5 - 4). Let m be g*(1 - 57/45). Does -1 = m?
False
Let z be (-22)/(-4) - 6/4. Let f = z - 6. Which is smaller: f or -3?
-3
Let c be 2 - 3 - (-92)/12 - 1. Which is smaller: -2/3 or c?
-2/3
Let t = 637/1990 - 4/199. Which is bigger: -1/3 or t?
t
Suppose n = 2*r + r + 42, -2*r + 4*n - 18 = 0. Let h(m) = m + 9. Let x be h(r). Which is greater: x or -7?
x
Let j = -0.7 + 3.8. Let x = -3 + j. Let k = x + 0. Is k <= 0.1?
True
Let o(q) = q + 6. Let n be o(-3). Suppose t = -2*s + 11, 5*t - 4*s = -n + 2. Let l = 1 - 0. Is t > l?
True
Suppose 3*z - 6 = -0*z. Suppose -12 = -3*o + 5*u, -3*o - 2*o - 11 = z*u. Let f(i) = -i - 6. Let g be f(-5). Is o != g?
False
Let x(n) = -n**2 - 10*n + 13. Let u be x(-11). Let z = -0.51 + 0.11. Which is bigger: u or z?
u
Suppose -p - 5 = 3*t + p, -2*p + 3 = -5*t. Let u be t*-1*2/14. Is 0.1 at most as big as u?
True
Let p = 64 - 50. Which is bigger: p or 13?
p
Let v = -53/2 - -26. Let i = -4 + 3. Which is smaller: i or v?
i
Let z = 7 + -15. Let q be (z/12)/((-2)/9). Suppose 4*i + 23 = -n, q*n = 2*i - 0 + 1. Which is smaller: -4 or i?
i
Let l(n) = n**3 - 3*n**2 - n + 5. Let i be l(5). Let z = i + -70. Let p be ((-8)/z)/((-8)/(-10)). Which is greater: 0 or p?
p
Suppose -7 - 9 = -4*c. Suppose c*w = -w. Is -3/4 not equal to w?
True
Let m be (-10)/15*(-6)/4. Does 0 = m?
False
Let o = 0.04 + -0.44. Let q = -1.3 - 0.1. Let k = o - q. Which is bigger: -0.2 or k?
k
Let s be (1 + -2)/((-20)/(-785)). Let d = 26 - 65. Let b = d - s. Which is bigger: b or -1?
b
Let l(b) = b**2 + 3*b - 11. Let a be l(-5). Does -1/58 = a?
False
Let o be (-6 + 5)/(2/(-6)). Suppose 0 = 2*p - o + 1. Suppose -5*w + d = -22, -3 = 2*d + p. Which is smaller: 5 or w?
w
Let r be 17/30 - 1/6. Is r at least as big as 1?
False
Let u = -3250049/29897 + -26/4271. Let m = -109 - u. Is 1 != m?
True
Let i = 17 - 71/4. Is -1 smaller than i?
True
Let u = 1.8 + 0.2. Let n = u + -3. Which is bigger: n or 2/3?
2/3
Let n be 3/(-9)*(0 + -21). Is n not equal to 7?
False
Suppose -3*l = -n - 4, -2*n = 3*n + 4*l - 18. Suppose 0 = -3*h + 5*w + 13, w + 3 + 0 = h. Which is greater: n or h?
n
Let i = 1 - 2. Suppose 6*o - 2 = 4*o. Which is smaller: i or o?
i
Suppose -2*r + 4*j + 32 = 0, -5*r - 2*j + 3 = -77. Suppose 8*h - r = 4*h. Let n be (-95)/35 + h/(-14). Which is smaller: n or -2?
n
Let u = -21 + 21. Let w be (81/75 - 2) + 1. Which is smaller: u or w?
u
Let q(x) = -x - 17. Let n = -11 - 2. Let j be q(n). Is j at least -5?
True
Let b(l) = -3*l**2 + 4*l - 4. Let f be b(4). Let g be (-2)/f + (-4)/18. Suppose 3*y + 0 + 3 = 0. Are y and g nonequal?
True
Let d = -5.1 + 5. Is -9 less than d?
True
Let a = 3 + 1. Let f = a + 2. Which is greater: f or 4?
f
Let r = -19 + 19. Which is greater: r or 2?
2
Suppose 4*v - 287 = -5*r, r + 375 = 5*v + 4*r. Are 77 and v equal?
False
Suppose 2*r + 0*r = -2*b + 6, -3*b = -4*r + 5. Suppose w + 1 - 2 = 0. Is w bigger than r?
False
Let h = -8 + 8.1. Let z = h - 0. Let y = 0.3 + -0.2. Is y less than z?
False
Let i be (4/(-116))/(2/6). Let m = 12407 + -1079360/87. Let t = m - i. Which is greater: t or -1/4?
t
Suppose 2*m + 4 = 2*y, 3*m + y + 13 = -3*y. Let o be (1/(-12))/((-3)/(-50)). Let z = o + -1/9. Which is greater: m or z?
z
Let a(h) = h**2 - h - 3. Let v be a(2). Is v less than 4/17?
True
Let q = -43 - -47.1. Let d = q + -0.1. Does d = -3?
False
Suppose -1 = 2*x - 5. Let b = 34 + -34. Suppose -5*p = -x*u + 11, b*u + 5*u + 7 = p. Is u greater than -3?
True
Let h = -453 + 253. Let q = -215/661 + 2514563/12559. Let c = q + h. Which is bigger: 0 or c?
0
Let k be (-1)/2*5/15. Let b = -3 - -2. Let y = b + 1. Is k at most y?
True
Let z = -4873/7 - -698. Is 1 >= z?
False
Let c(q) = q**2 - q - 1. Let k be c(0). Let p be 2*k - (-38)/18. Which is smaller: 0 or p?
0
Let v = -0.08 - -0.15. Let k = -0.07 + v. Let u(n) = n**3 + n**2 - n. Let b be u(0). Is b > k?
False
Let g = -75 + 130. Suppose -2*q = -g + 15. Let v be 15/q - 2/(-8). Which is smaller: v or 1/3?
1/3
Let b = -2 - -5. Let u be 207/(-46) - (-1 - 2). Which is smaller: b or u?
u
Let p = -3 + 6. Suppose -20 = -2*r - p*t, 5*r - t - 20 + 4 = 0. Let f be (-5)/12 - 1/r. Do f and 0 have different values?
True
Suppose 4 = b - 3*b. Let m be (-7)/5 - b - 1. Is m <= -2?
False
Let p be 18/(-5) - 4/10. Is p > -2?
False
Suppose -486 = -14*j + 186. Which is greater: 49 or j?
49
Let v = 38 - -13. Let l = 12287 + -61692/5. Let p = l + v. Is p > 1?
False
Let h be 2/(-1) + 14 + 0. Let r be (8/(-10))/(4/(-10)). Let v be 3/r - 6/h. Which is smaller: 1/3 or v?
1/3
Let s = 3 + -4. Let k = 3 + s. Suppose 0 = 5*w + 5*j, -3*w + k = -2*j - 3. Is 2 greater than w?
True
Let b be 1/3 - (-321)/(-945). Which is greater: -1 or b?
b
Let c(a) = -7*a**2 - 4*a + 3*a**2 - 2 - a**3 + 0*a**2. Let b be c(-3). Which is smaller: b or 0.3?
0.3
Let z(f) = -f**3 + 6*f**2 + 2. Let a(k) = 2*k**3 - 2*k**2 - 2*k + 2. Let i be a(2). Let u be z(i). Let m(c) = c**2 - 3*c - 2. Let q be m(4). Is q less than u?
False
Let q(h) = -6 + 6*h + 6 - 2*h - 3*h**2. Let j be q(3). Let v be j/5 + (-20)/(-6). Is 5 at most v?
False
Let i = -107/240 + 5/16. Let z(a) = a**2 + 6*a + 5. Let o be z(-4). Let b be (18/27)/((-2)/o). Which is greater: i or b?
b
Let q be 4*3/9*3. Suppose 2*k = k + 4. Suppose 0 = 4*f + 5*p - k, -2*f + 2*p - 2 = -q*f. Are f and -2/15 equal?
False
Let j = -5 - -3. Let a = j + 6. Suppose 5*q = a*q + 1. Are q and 1 non-equal?
False
Let p(t) = 3*t**2 - 17*t + 13. Let v be p(11). Let s be (-33)/v - 4/(-18). Is s greater than 0?
True
Let c(m) be the second derivative of m**5/20 + m**4/4 - 2*m**3/3 - 3*m**2/2 - m. Suppose 3*p + 12 = -0. Let u be c(p). Is u at most as big as -4?
False
Let c be (0 - 0)*(-1)/(-2)*-2. Which is greater: c or -9/7?
c
Let b(q) = -q**3 - 9*q**2 - 17*q - 17. Let g be b(-7). Which is smaller: 38/7 or g?
g
Let i = -7 - -13. Is 8 >= i?
True
Suppose 3*u = -7*u + 180. Is u equal to 77/4?
False
Suppose 2*f - 3 + 1 = 0. Let q be 0 + 0 + 54/45. Is f less than q?
True
Suppose 4*k - 3*c = 0, 2*k - 31 = -4*c - 9. Suppose -6 = k*g - 0*g. Is g bigger than -3?
True
Let m be (4/(-6))/((-6)/(-36)). Are -2 and m non-equal?
True
Let f(n) = -n**3 - 5*n**2 + 5*n - 3. Let b be f(-6). Suppose 0 = -5*j + 5*q + 10, -3 = b*j + q + 7. Let l = 1 + j. Is 2/5 equal to l?
False
Suppose 3*v + 2 + 2 = -5*a, -5*v = 15. Let t be (-1)/(-4) - (-50)/(-60). Let s = t - -1/4. Which is bigger: s or a?
a
Let p be (5 - (1 - 0))/((-604)/(-2)). Which is greater: p or 1?
1
Suppose b + 2*b - 90 = 0. Suppose -b = -p + 3*p. Let i be 42/p - (-1)/(-5). Which is greater: -1 or i?
-1
Let s = 12661/6 - 1329247/630. Let x = s + -1/35. Are x and -1 equal?
False
Suppose -3*c - 38 + 116 = 0. Which is greater: c or 2/7?
c
Let c(i) = 2 + 0*i - 4*i + 3*i. Let k = 2 + 2. Let u be c(k). Which is bigger: u or -3?
u
Let s = 15 + -14. Let b be s/(-7) + 48/42. Is b not equal to 2?
True
Let f = -6 - -1. Let t be (-2)/4*(f - -23). Let p be -1*3/t*-3. Is -1 at most as big as p?
True
Suppose 2*j - 13 = -11. Suppose 2*k = v - 0*k - j, 0 = -4*v + 2*k + 4. Which is bigger: v or -1/7?
v
Let j be 1/(-4) + 21/(-12). Does -3 = j?
False
Let o = 6 + -6.3. Let l = 0 - o. Let h = l - 0.2. Which is smaller: 1/3 or h?
h
Let f be (-1)/(-4) + 18/(-8). Let j = 0 - f. Suppose j + 2 = 4*t. Which is bigger: t or -1/5?
t
Let m = 1.3 + -1.4. Which is bigger: -10 or m?
m
Let r = 5 + -29. Let n = 21 + r. Is n at most -2?
True
Let b(f) = 3*f + 10. Let w be b(-9). Is -18 bigger than w?
False
Suppose -o = 4*o - 10. Is 7/13 < o?
True
Suppose 0 = 2*g + 2 - 0. Let w be (-14)/(-5) + 3/g. Do w and 2/5 have the same value?
False
Let b(d) = d**3 + d**2 + d + 2. Let k be b(0). Suppose 4*q + k*c = 20, -18 = -3*q + q + 3*c. Suppose j = -5*s - q - 4, 2*s = 5*j - 4. Which is bigger: 2/7 or j?
2/7
Let t = 1.79 + -0.72. Let w = -0.07 + t. Is w < -0.2?
False
Let d = 1/29 + -61/87. Is 0.34 less than or equal to d?
False
Let t be 9/(-122)*(-4)/3. Let a = t - 97/366. Let n = -8/3 - a. Are -2 and n equal?
False
Let n = 30 - 31. Let x = -300 - -8999/30. Are n and x nonequal?
True
Let i = 36 - -22. Which is smaller: i or 57?
57
Let k be (3*(-1)/(-1))/(5/25). Is 15 bigger than k?
False
Let r = -4 - -3. Let b be -2 - r*8/3. Which is smaller: b or 1?