Suppose -2*s + s = 4*c + 6, 2*s + 3*c - 3 = 0. Suppose -5*z - m + 44 = 0, s*z + 2*m - 32 = 3*z. Let x be (-20)/(-3)*(-6)/(-5). Is x > z?
False
Let u(r) = r**3 + 2*r**2. Let k be u(-2). Suppose k*n - 5*n = 0. Which is smaller: n or -0.2?
-0.2
Let w = 345/7 - 49. Let z = 7 + -5. Is z less than w?
False
Suppose -q + 3*v + 4 = 8*v, -5*v = -5*q + 20. Suppose q*h + 2*x + 26 = 0, h + 2*x - 10 = 3*h. Is -6 bigger than h?
False
Let f = -121/266 - -1/38. Let p(o) = -o**2 + 1. Let t be p(-1). Let l(z) = -z - 1. Let i be l(t). Is f != i?
True
Let t(j) be the first derivative of -j**3/3 - 8*j**2 - 22*j - 9. Let u be t(-15). Is -6 >= u?
True
Let p be (-1)/((8/6)/(-2)). Let y be 66/8 - (-2)/(-8). Suppose -q + 5*q = y. Which is smaller: p or q?
p
Suppose 51 + 39 = -3*u. Let g be (2/(-4))/(3/u). Is 5 not equal to g?
False
Let p = 0.0364 - -26.6636. Let z = -27 + p. Is -5 at least as big as z?
False
Let k be (-14)/(-4)*(-6)/9. Let b = -27 + 25. Is k less than or equal to b?
True
Suppose 2*y - 4*y = 24. Which is smaller: -14 or y?
-14
Suppose -4*q = 4 + 4. Is -4 bigger than q?
False
Let z be 2*(-2)/((-16)/28). Do 6 and z have the same value?
False
Let c = 17.87 - 18. Let z = -0.43 - c. Which is smaller: -2/7 or z?
z
Suppose 4 - 1 = -l. Suppose 5*d = 5 - 0. Let k = -2 - d. Do l and k have the same value?
True
Let r be 6/4*(-27)/2. Let f = r - -20. Which is bigger: f or 1?
1
Let p be 2/100 - 9/54. Let v = p - -7/25. Which is smaller: -1 or v?
-1
Let y = -5.9 - -0.4. Let n = 0.5 + y. Let o = n + 8. Is o less than 1?
False
Let t = 18 + -18. Which is bigger: 1 or t?
1
Let o = 3 + 2. Suppose -20 = -o*z - 0. Let f(g) = -g + 4. Let k be f(z). Are 1 and k non-equal?
True
Suppose -5*r + 0*r - 5 = 0. Let w be r - 2/(-2)*3. Is w at least as big as 1?
True
Let z = -3 + 1. Let l be (-2)/(-7) - z/(-56). Let t be (-4)/(-7)*(-14)/(-12). Is l > t?
False
Let o(z) = -z**2 - 17*z - 29. Let v be o(-14). Which is smaller: 14 or v?
v
Let n(m) = m - 3. Let s be n(3). Let h = 23.92 - 24. Let d = -1.08 - h. Are d and s non-equal?
True
Suppose -3*b - 2*b = 60. Let d be (-16)/b - (-2)/(-6). Which is bigger: 0 or d?
d
Suppose 4*p - 13 = -5*c, -5*p + 9 = -0*p - c. Which is bigger: 6/11 or p?
p
Suppose 4*q - 91 - 197 = 0. Let a be q/(-160) + (-1)/(-4). Is a at most as big as 0.4?
True
Let o be 0/3 + -1 + (-60)/(-52). Is o less than -7?
False
Let m = -826 + 5771/7. Let p = -3551/28 + 126. Let u = m - p. Which is greater: u or 0?
0
Let m(i) be the first derivative of -2*i**3/3 + i - 2. Let z be m(-1). Are z and -2/3 nonequal?
True
Let z be (-15)/(6 + -1) - (-426)/140. Is 0 at least z?
False
Let u(k) = 3*k - 6*k + 0*k + 2*k + 7. Let g be u(8). Is g >= 2/19?
False
Let g be 2 - ((-18)/(-2))/(-3). Let l(t) = 8*t**2 + 1. Let i be l(1). Suppose -g*p + i = -1. Which is bigger: p or -3/5?
p
Suppose -5*n = -n - 40. Let u = -69/7 + n. Suppose -4*y = -4*q - 20, -3*q + 0*q + 2*y = 10. Are u and q equal?
False
Let j(f) = f**3 + 11*f**2 + f + 6. Let l be -2 + (-1 - 12) - -4. Let s be j(l). Is s <= -7?
False
Suppose 0 = 4*c - 0*c, 4*s + 3*c - 4 = 0. Let g be 1*6 - (s + 0). Suppose -g*q + 0*k - 3*k = -29, -q - 3*k + 13 = 0. Is q equal to 2?
False
Let t = 0.4 - 0.5. Let p = 0.03 + 0.07. Let b = p + -0.04. Is t bigger than b?
False
Suppose 2*f + 15 = 5*f. Suppose 2*v + 9 = f*l - 8, v - 2*l = -6. Is v greater than or equal to 2?
True
Let k be 8/44 - (-20)/11. Is k smaller than 1?
False
Let h = 6.9 + -7. Let a = 4 + -3. Is h > a?
False
Let y(h) = h**2 - 4*h + 3. Let v be y(3). Let j = -7 + 7. Suppose j = -3*w + w. Is v < w?
False
Let w = -86 + 84. Which is smaller: w or -14?
-14
Let d = 28 - 13. Do 14 and d have the same value?
False
Let z = -57/52 - -11/13. Let f = 2 - 4. Let a = f - -2.2. Is z less than a?
True
Let g(q) be the second derivative of -q**3/6 - 3*q**2 + 2*q. Suppose 0 = -k - j - 8 + 2, -k + 4*j = 6. Let f be g(k). Which is smaller: f or -1?
-1
Suppose c = 5 - 3. Which is smaller: 1 or c?
1
Suppose 0*q = w - 2*q - 3, 3*q = 5*w - 15. Suppose 3*g - 2*b = -g, 0 = g + w*b - 7. Which is bigger: 2 or g?
2
Let t = 17.9 - 19. Let x = 5.1 + t. Let j(f) = -f**3 + 9*f**2 - 8*f + 1. Let m be j(8). Are x and m non-equal?
True
Let m = -1/1411 + 5/166. Which is smaller: m or 0?
0
Let y be 2/((448/12)/(-4)). Is y > 1?
False
Suppose 6*p = 4*p + 62. Let y be 3 + (p/(-8) - -1). Is 0 less than or equal to y?
True
Let b be 6/18 + 2/30. Are b and 0 equal?
False
Let l = -11 + 19. Let a be (-4)/l + 13/14. Suppose 2*v - v = 1. Which is smaller: v or a?
a
Suppose -2*o + 7*q = 4*q + 8, -q = -2*o - 4. Which is greater: -1/55 or o?
-1/55
Let c(q) = 30*q - 5. Let u be c(-5). Let n = u - -1267/8. Let x = n + -173/56. Which is smaller: x or -1?
-1
Let c(m) = 4*m - 14. Let s be c(4). Which is greater: s or 4/3?
s
Let n be (-2)/4 - 9/(-6). Suppose d = 2 + 2. Suppose r + 4*c - 12 = 0, 0 = 2*r - c - c - d. Are r and n non-equal?
True
Let r be (6/9)/(2/6). Suppose 4*m = 6*m + r. Which is smaller: m or 0.2?
m
Let k(c) = -c - 3. Suppose b + 3 = -0*b. Let l be k(b). Which is smaller: l or 4/5?
l
Let a = 1/192 - 1171/3648. Is 0 at least a?
True
Suppose 0 = -q - 0*q. Which is bigger: q or 9/8?
9/8
Let o(q) = q + 3. Let w be o(-3). Let v = 47 - 27. Let l be (3/v)/((-8)/20). Is w at least l?
True
Suppose -5*w = -4*m - 2*w - 14, -5*w + 5 = -3*m. Which is greater: -7 or m?
m
Let g(w) = w**2 + 4*w. Let p be g(-2). Let r = p + 5. Let m be (1/3)/((-2)/(-4)). Is m at least as big as r?
False
Let n be 1/(-4) - (-1)/4. Suppose -19 = 3*m + 14. Let s = m - -12. Which is smaller: n or s?
n
Suppose 4*b + 120 = -0*b. Let k be (-8)/6*b/4. Is k > 10?
False
Let x = 27.9 + -28. Is -9 != x?
True
Let w be (-4)/(-30) + (-3822)/315. Which is smaller: -15 or w?
-15
Let d(l) = -l**2 - 4*l - 3. Let y be d(-2). Which is greater: y or -1/23?
y
Let g = -7.94 + -0.06. Let p = -5 - g. Let v = 5 - p. Is 3 greater than v?
True
Suppose -2 = 3*b + k - 15, -4*b + 5*k = 8. Let s be b - (-2 + 4) - 2. Is -1/9 greater than or equal to s?
True
Let f = 93 + -33. Let m be ((-2)/4)/((-3)/f). Let o be 4/m + 1/(-15). Is -1 >= o?
False
Let x be 1/1 + 26/2. Let a be x/(-35) + 19/(-15). Is -3 at least a?
False
Let q be (12/(-9) - -1)*-3. Let z(u) = -u**3 + 2*u + 4*u**3 - 6 - 4*u**2 - 2*u**3. Let a be z(4). Which is bigger: q or a?
a
Let k = 7 + -4. Let n = k + -2. Let h = -7 + 6. Is n bigger than h?
True
Suppose 6 + 6 = 4*q. Suppose -7 = -x + o - 5*o, 5*x - 1 = -q*o. Let h be (-18)/(-22) + -1 + 0. Which is greater: h or x?
h
Suppose 4*j + 3 = -3*x, -4*j - 4 = -2*x - 26. Which is smaller: j or -1?
-1
Let l be 2 + 4 + 295/(-50). Suppose 13 = -q + 3*m, 3*q + q + m = 0. Which is smaller: q or l?
q
Let k = 69 + -135/2. Suppose 0*d - 6 = -4*u - 2*d, 5*u = 2*d + 12. Is u equal to k?
False
Let i = -391/175 - 12/25. Which is smaller: i or -3?
-3
Let f be (-1)/4 + 1 + -1. Suppose 1 = d + 2. Let t be d + 0 + -3 + 5. Does t = f?
False
Suppose -3*o + 6 = 30. Let k = o - -5. Let g be (9/12)/(k/(-2)). Is -0.4 != g?
True
Let x = -3539 + 2192. Let f = 1341.07 + x. Let t = 0.07 - f. Which is smaller: t or -1?
-1
Let m = 0.1 + -0.2. Let w = 1.2 + -1.4. Which is smaller: w or m?
w
Let k = -1 + 3. Let r = 2 - k. Which is smaller: 1 or r?
r
Let n = -0.16 + 11.16. Let z = -11.1 + n. Is z at least -0.9?
True
Let d = -0.16 - -14.16. Let a = 22 - d. Let s = -5 + a. Are -0.1 and s non-equal?
True
Let d be -1*(1/(-7))/1. Let c be 2*-5*2/(-4). Let x be 0/(1*(c + -3)). Which is bigger: x or d?
d
Let m = -29 - -29.1. Do m and 7 have different values?
True
Let q(x) = -x**3 - 4*x**2 - 5*x + 1. Let j be q(-4). Does 22 = j?
False
Let i = -2/15 + 23/60. Is 20 at least as big as i?
True
Suppose 0 = 4*a + a. Let r = 4/5 + -19/30. Which is bigger: r or a?
r
Suppose -2*n + 16 = 2*n. Let a = -2 + n. Suppose a*l = -3*l + 10. Are l and 2 non-equal?
False
Let k(r) = -3*r + 20. Let z(p) = 2*p - 13. Let l(b) = -5*k(b) - 8*z(b). Let w be l(5). Is -2 greater than w?
False
Let v be 20/90 + 1/(-45). Which is bigger: -3 or v?
v
Let p = 3 + 2. Suppose 1 = 2*v - 2*k + k, -p*k = 15. Are v and -2/17 unequal?
True
Let b = -137/4 - -34. Let v be (-2 - -3) + (-1)/(-1). Suppose -5*s - 2*t = t - v, 5*s = -4*t + 1. Do s and b have different values?
True
Let t(n) = 2*n + 16. Let s be t(-8). Are s and -1/8 unequal?
True
Let b = -3 - -1. Suppose -3