 y = 2*v. Are u and v nonequal?
True
Let m be (-7)/(-94)*(-850)/195. Let k = m - -11/39. Let d = k - -55/188. Which is smaller: d or -0.2?
-0.2
Suppose -x - 2 = 0, x + 3*x = r - 17. Let g be r/(-30)*2/(-3). Which is smaller: g or -0.1?
-0.1
Suppose -3*c - 2*c = -s + 45, 5*s = 25. Let u be (-3 - -2)*(-2)/c. Let v = 5 - 4. Is v greater than or equal to u?
True
Let j(k) = -k - 2. Let b be j(-5). Suppose 2*l = d + 2, l - 11 = -0*l + b*d. Do -4/15 and l have different values?
True
Suppose -5*y + 11 + 4 = 0. Let n be -1 + 0/(-2) - -2. Is y < n?
False
Let g be 0 - -1 - -1*3. Suppose 7*y = g*y - 3. Let h be 3/(-6) - 1/(-4). Is y greater than h?
False
Suppose -j + c - 5 = -2*c, -5 = -3*j - c. Which is bigger: 7/5 or j?
7/5
Let d be (1/3)/((-2)/4). Let r = -10 + 9.99. Let n = 1.01 + r. Is d greater than or equal to n?
False
Let m(v) be the third derivative of v**6/120 + v**5/15 + v**4/8 + 2*v**3/3 + v**2. Let u be m(-3). Is u greater than or equal to 3?
True
Let o be (-12)/(-9) + 2/(-6). Let s be 0/(2 - 1)*o. Suppose -2*a + 20 = -4*a + 5*c, -2*a - 4*c = -16. Is s less than or equal to a?
True
Let q = 29 + -18.1. Let o = -0.9 + q. Which is bigger: 1 or o?
o
Let n = 0 + -9. Let z = -11 - n. Which is smaller: z or 6?
z
Let j = 0.07 - -0.03. Let w = j + 0. Do 2 and w have the same value?
False
Suppose -2*n + 13 = -5*t, 3*n - 2*t - 11 = -3*t. Suppose 3 = -n*b + 11. Is b greater than 0?
True
Let d = 142/7 + -20. Is 13 at most as big as d?
False
Let g = 12 - -8. Suppose -4*s + 5*b = -29, -4*s - 5*b - g = s. Which is greater: 2 or s?
2
Let y = -5.34 + 0.34. Which is smaller: y or 1?
y
Suppose i + 4 - 6 = 0. Suppose 0*l - i*l = -2. Which is smaller: 2 or l?
l
Let n(k) = -6*k - 35. Let w be n(-6). Are w and 14 nonequal?
True
Let v = 8 - 0. Let n be (-114)/120 - (-6)/v. Let f(r) = 2*r**3 - 2*r**2 + 2*r - 1. Let h be f(1). Is h bigger than n?
True
Let u = 2.04 - 0.04. Which is bigger: u or 1/3?
u
Let h(p) = p - 11. Let v be h(11). Which is smaller: v or 0.9?
v
Let s be (9/6)/((-3)/20). Which is bigger: -9 or s?
-9
Let r = 0.05 - 1.05. Let z = r - 2. Are z and -2 equal?
False
Let n(y) = y**2 + 9. Let m be n(0). Let f be ((-66)/m)/(10/(-6)). Let j = f + -71/15. Is 0 at least j?
True
Suppose -f = 1 - 6. Suppose -3*x = v - 10, 0 = -0*v + 3*v + 4*x - 5. Let r = f + v. Is 2/9 bigger than r?
True
Let d = 14 - 13.2. Let m = d - 1.8. Suppose -b + 5*b = 4. Is m at most as big as b?
True
Let l = 24 + -91. Does -2/5 = l?
False
Let w = 6 - -7. Let c(l) = -l + 18. Let y be c(w). Is 5 at least as big as y?
True
Let v(b) = b + 10. Let x be v(-8). Suppose c + 2*c - 16 = -t, -2 = -x*t. Suppose -2 = c*n + 23. Which is greater: -4 or n?
-4
Let s = -0.02 - -0.32. Let b = s - 0.2. Let m = -38/35 - -4/5. Which is greater: b or m?
b
Let r = -0.01 + -0.79. Let a = r + -0.2. Let g = a + 0. Is 0 smaller than g?
False
Let h = 3 - 3.1. Let m = -12 + 12.5. Is h bigger than m?
False
Let p be -6*3/(-81) - 562/18. Which is bigger: p or -28?
-28
Let w(f) = f**3 - 8*f**2 + f + 3. Let c be w(8). Which is greater: 10 or c?
c
Suppose v = -3*v + 16. Suppose -3*r + v*g - g - 12 = 0, 4*r + 6 = -g. Which is smaller: r or -3?
-3
Let o = -21 - -12. Is 0 smaller than o?
False
Let a be (-42)/6*12/7. Which is smaller: a or -13?
-13
Suppose -24 = 4*s - 0*s. Which is smaller: -0.2 or s?
s
Suppose -2*y - 12 = -8. Which is smaller: y or -13/5?
-13/5
Let m be (-24)/(-180) + 122/210. Which is smaller: 1 or m?
m
Suppose 3*p = 2*p + 4*o + 13, 2*o + 7 = p. Which is bigger: p or 5?
5
Suppose w + 4*w + 24 = 2*u, 0 = 5*w + 3*u + 39. Is -6 greater than w?
False
Let c = 69 + -85. Is c bigger than -17?
True
Let y = -34 - -36. Which is smaller: 4 or y?
y
Let c(h) = 5*h**2 + 2*h - 2. Let v(n) = n + 1. Let z be v(-3). Let y be c(z). Is 14 < y?
False
Suppose -2*t = -3*t + 6. Suppose -d - d = -t. Suppose -5*s - d*v + 5 + 3 = 0, -2*s - 4*v + 6 = 0. Do 1/6 and s have the same value?
False
Let d = -63 + 66.9. Let h = -3.91 - 0.09. Let p = h + d. Which is smaller: -2/5 or p?
-2/5
Suppose 4*s = 3*v + 169, -2*v - 188 = -5*s + 18. Let j be (-5)/(-4) - (-30)/s. Are j and 1 non-equal?
True
Let t = 118/15 - 31/5. Are t and 3 equal?
False
Let d(i) = -i + 6. Let u be d(6). Is 0 greater than u?
False
Let r = 2.96 + 0.04. Let u = 22 + -25.1. Let z = r + u. Which is bigger: 3 or z?
3
Let v = -3 + 5. Suppose 2*d + 3*q + 22 = 6*d, -4*d = -4*q - 24. Suppose -2*l = l - d*c + 7, c = -l. Is v at least l?
True
Let l = -4 - -4. Let d be l/(3*(-2)/(-6)). Which is greater: 2/3 or d?
2/3
Let z be (22/10)/(141/(-15) - -9). Which is bigger: z or 2?
2
Let u(w) = -w**3 + 7*w**2 - 8*w + 12. Let r be u(6). Is r at most 2.1?
True
Let f = 140/9 + -887/63. Let v = -267 + 1861/7. Let o = f + v. Which is smaller: o or 0?
0
Let s = 17.6 - 15. Let r = s - 0.6. Is 1 >= r?
False
Suppose 8 = 2*d - 4*d. Let t be d/(-14) - 10/(-14). Is -1/6 > t?
False
Let v be (-3)/6 - (5/(-2) - -2). Suppose -3*y + 19 = 5*g - 9, 0 = -4*y + 2*g - 6. Let i = -1 + y. Is v greater than or equal to i?
True
Let j = 2 - 1.6. Let w = j + -5.4. Let h = -5 - w. Which is smaller: h or 2?
h
Suppose -5*m = w + 23, 5*w + 33 = -5*m - 2. Let y = 659/3 + -223. Is m at most as big as y?
True
Let v(w) = -w**3 + w**2 + 7*w + 7. Let u be v(5). Which is greater: -59 or u?
u
Let c(u) = u**3 + 6*u**2 + 7*u - 6. Let h be c(-4). Which is smaller: -8 or h?
-8
Let o = 15.8 + -15.8. Is o > -2/13?
True
Let o be (0 - -1)/((-2)/(-10)). Let w be (-38)/14 - 12/42. Let a = o + w. Which is smaller: a or 4?
a
Let y = 12942/553 - 164/7. Which is smaller: 0 or y?
y
Let b be (9/(-2) + 4)*-4. Suppose -2*l = -y + 10, 3*y + 3*l + 2 = -b*y. Are 3 and y non-equal?
True
Let n = -82/3 - -27. Let z = -10 - -16. Let j(s) = s**3 - 7*s**2 + 5*s + 7. Let y be j(z). Which is smaller: y or n?
n
Let p(v) = 3*v**3 + 3*v**2 - 5*v + 2. Let s be p(6). Suppose 0*o + s = 4*o. Let a = o - 2000/11. Is -1 not equal to a?
True
Let s = -18 + 23. Let o be (-2)/(-2)*(1 + 5). Which is greater: s or o?
o
Let w(u) = -u**3 - u**2 + 4*u + 5. Let m be w(-2). Is m greater than or equal to 2/11?
True
Let l = 2271.973 - 2271. Let k = -0.057 - l. Let m = 0.03 + k. Is m at most as big as -1/3?
True
Let y(x) = -x - 2. Let h be y(-2). Suppose -2*q + n + 8 = -q, 2*n + 10 = h. Which is greater: q or 4?
4
Suppose -3*k = -4*t - 20, -k - 4*k = 0. Is -5 >= t?
True
Let d = -3.7 + 4. Let x = 2.06 + -0.06. Is d bigger than x?
False
Suppose 4*n + 4 = -88. Which is bigger: -22 or n?
-22
Suppose 9 = 3*j + 6*j. Let w = 3 + -2. Do w and j have different values?
False
Let h = 1 - -5. Let j(f) = -f**3 - 2 + f + 2*f**2 - 6*f**2 + 3*f**2 - 3*f. Let u be j(-2). Is h at least as big as u?
True
Let i(n) = n**3 + 8*n**2 + 8*n + 4. Let o be i(-7). Are -3 and o equal?
True
Let v be (-4)/10 + (-2)/(-4). Which is bigger: -1 or v?
v
Let c = 52.8 - 58. Let i = c - -5. Let d = 1.21 + -0.21. Which is smaller: i or d?
i
Let h be (-2 + 2)/(4/(-2)). Is 2/7 != h?
True
Suppose 2*d = -4*u + 6, -2*d + 6 = u - 2*u. Which is smaller: u or -1/17?
-1/17
Suppose -3*a - 2*f = 2*f - 49, -f = 2*a - 41. Let c be 1/(-3 - 280/(-92)). Are c and a non-equal?
False
Let q = -6 + 3. Let p(g) = g**3 + 3*g**2 + 3*g + 3. Let n be p(q). Is n < -7?
False
Suppose 0 = j + 2*k + k + 5, 3*j + 5*k = -7. Let g = -3 - -2. Let u = g - -2. Is u greater than or equal to j?
True
Let z = -2 - -2. Suppose 5*u - 2*n = 30, 5*u - 10 = -z*n - 2*n. Suppose -k - u*k + v = 10, 0 = -3*k + 4*v - 6. Which is smaller: -3 or k?
-3
Suppose 3 = -3*s, 2*d + 0*d - 3*s = 1. Which is smaller: d or 3/7?
d
Let c = 31 + -39. Which is greater: 1/2 or c?
1/2
Let t be (-60)/52 - 2/(-13). Let v(p) = p**3 - p - 4. Let f be v(0). Is t at least as big as f?
True
Let f = 1445/11 + -131. Are f and 1 equal?
False
Let g be 4/24 + ((-60)/(-8) - 4). Which is bigger: 2 or g?
g
Let w(g) = 3*g**2 - 6*g + 7. Let f be w(4). Is f at least 29?
True
Let l = 6 - 3. Let z be (l/94)/(2/8). Let n = -117/188 - z. Which is bigger: 0 or n?
0
Let n(g) = -2*g + 19. Let f be n(14). Is f != -8?
True
Let m(z) = z**3 - 12*z**2 - 1. Let x be m(12). Which is smaller: 12/49 or x?
x
Let h(u) = u**2 - 5*u - 10. Let y be h(7). Suppose -3*v + 3*n - 6 = 0, -y*n = v - 2*n - 10. Suppose 0 = -3*a - 1 - v. Are a and 1/6 unequal?
True
Suppose -5*b - 20 = 5*l, 0 = b + 4*l + 31 - 12. Let x be 0 - -1 - b