 12/(-6). Which is bigger: m or v?
m
Let x be 0 - (3/(-3) - -2). Which is smaller: x or -0.037?
x
Suppose 32 = 2*u + 8. Suppose -4*n + 17 = -35. Which is smaller: u or n?
u
Let y = -0.4 - -0.7. Let b = -0.4 + y. Which is smaller: b or 4?
b
Let s be 12/70*(-4 + 11). Is s > 1?
True
Let u(w) = w - 15. Let h be u(6). Suppose -20 = 5*a + 30. Which is smaller: a or h?
a
Let h(b) = b**3 - 16*b**2 + 18*b - 13. Let n be h(15). Which is smaller: n or 33?
n
Suppose 3*m = 5*d - 8, d + 7*m - 24 = 2*m. Let s = 1 + 3. Let h = s - d. Is h less than 3/4?
True
Suppose 3*a - 2*a = 0. Suppose -2*k + 5*k = a. Is k smaller than 2?
True
Let x(j) = j**2 + 4*j + 2. Let f be x(-4). Let w = 0 + f. Let d be w/4 + 3/(-2). Is d <= 1?
True
Let g(j) = 5*j**3 - 9*j**2 + 7*j + 6. Let k(u) = -u**3 + u**2 - u - 1. Let b(w) = -g(w) - 6*k(w). Let i be b(-3). Is 2 at most i?
True
Suppose -5*j + 2*c - 8 = 0, 3*c = 2*c + 4. Suppose 31 = 3*l - 5*i, 4*l - 5*i + 0*i - 38 = 0. Suppose -4*d = a + 25 - l, -19 = -2*a + 3*d. Is a at least j?
True
Suppose 5*v + p + 8 = 2*v, 0 = 5*p + 25. Which is bigger: -1/4 or v?
-1/4
Let d be (-129)/(-112) + 10/35. Let k = -547/336 + d. Which is greater: -1 or k?
k
Suppose 5*u - 27 = w, -39 = -5*u - 3*w - 0*w. Suppose -3*r - k - u = 0, 2*r - 2*k + 10 + 2 = 0. Let i be r/(-9)*6/(-3). Which is bigger: -3/2 or i?
i
Let z = 52 - 45. Is z > 9?
False
Suppose 2 = 7*s - 5*s. Let t = s - -6. Is t equal to 6?
False
Let p be (-1)/3 - (-11)/(-3). Let q be -6*1/p*-2. Is -3 greater than or equal to q?
True
Let m = -7132/2825 + 64/25. Which is smaller: 1 or m?
m
Let f = 1/946 + 3769/14190. Which is smaller: 1 or f?
f
Suppose 3*i = -50 - 1. Are -16 and i nonequal?
True
Let k = 81 - 81. Which is greater: k or 0.032?
0.032
Suppose -5*g = 4*k - 7*k - 52, -k - g - 12 = 0. Is k greater than -14?
False
Let f = 3 + -1. Let z be (f - 2)/(2 - 0). Let q be -2*((-9)/2 - -4). Is q less than or equal to z?
False
Let k = 7 - 5. Let t = k + -1.7. Which is smaller: t or 0.1?
0.1
Let j be (-6)/20*12/(-18). Is -9 at most j?
True
Let s be 9/11 + (-2)/(-11). Let l be 38/14 + 6/21. Suppose 3*w - l*o + 3 = 0, 3*o - 4 + 1 = 0. Which is greater: s or w?
s
Let f = 5.87 - -0.13. Let m(g) = -g - 18. Let p be m(-18). Is f > p?
True
Let v be (14/21)/(4/18). Let r be (-187)/27 + 4 + v. Which is smaller: r or -1?
-1
Let a = 2 - 4. Let k(o) = o + 3. Let s be k(a). Let u be (6/8 - 1)/s. Is 0 greater than or equal to u?
True
Let t = -185 + 729/4. Which is smaller: t or -3?
-3
Let b be 2/5 - 1558/95. Is b less than or equal to -14?
True
Suppose 3*z - 15 = -3. Suppose z*m - 2*f + 7*f - 29 = 0, 4*f - 21 = -m. Which is bigger: m or -2/25?
m
Let f = -17 + 3. Let p = 10 + f. Which is bigger: p or -3?
-3
Let m be 6/(-8) - (-510)/40. Let j = 22 - m. Does 2/5 = j?
False
Suppose 5*f - 40 = -2*m + f, 2*m + 2*f = 40. Suppose 0 = 6*a - 10*a + m. Let b = -3 + 7. Does b = a?
False
Let q(i) = -i**2 - 5*i + 6. Let z be q(-5). Suppose -k + 3 = z. Let a be (-4 - k)*2/(-5). Is a less than or equal to -1?
False
Let o = 18 - 35. Let n = o - -14. Is -3 equal to n?
True
Let p = 6 - 8. Let i(c) = c**2 + 4*c + 3. Let t(d) = d + 4. Let b be t(-6). Let r be i(b). Is p greater than r?
False
Suppose 0 = 4*s - 0*j + j - 14, -3*s + 3*j = -3. Let o = 5 - s. Let w be -2*(10/4 - o). Is w greater than 2/9?
False
Let v = 7.92 + -8. Let d = v + 0.02. Which is smaller: 1/4 or d?
d
Let v(y) = y**3 + 5*y**2 + 5*y + 3. Let d be v(-4). Which is bigger: -1/25 or d?
-1/25
Suppose -4*r = r + 10. Let h be r/(-18)*3*1. Let f be (-15)/6*8/(-30). Which is smaller: f or h?
h
Let h = -13 + -7. Let w be 1/(-10)*h/8. Let q = -15/28 + w. Is q bigger than 1?
False
Let b be (-3)/6 - (-341)/(-2). Let c = b + 1031/6. Let m be 0 - 0*(1 - 0). Is m bigger than c?
False
Let c = -48 + 34. Let s = 14 + c. Let w = -1 + 2. Is w less than s?
False
Let h = 2/37 + -41/74. Let z(f) = f. Let g be z(-1). Is g equal to h?
False
Let b(d) = -d - 3. Let p be b(-2). Let o be (-80)/36 - (p + -1). Let i = 0.06 + -0.06. Are i and o non-equal?
True
Let f = -14 - -14. Which is smaller: f or 2/5?
f
Suppose -9*g - 91 = -2*g. Is -14 less than g?
True
Let x = -1/29027 + -50013506/435405. Let q = x + 115. Are q and -1 non-equal?
True
Let s be ((-328)/(-32) - 7) + 1/(-1). Which is smaller: s or 3?
s
Let u be 12*(12/(-63))/(-2). Let p(x) = -x + 2. Let j(y) = y - 1. Let f(t) = -2*j(t) - p(t). Let m be f(0). Which is smaller: u or m?
m
Let r = 7 + -6.84. Is r greater than -1/5?
True
Let d = -2 + 1. Let x = 4 - 6. Is x smaller than d?
True
Suppose -4*w + 4 = -2*r, -3*r - 3*w = 2*w - 5. Let u(p) = p**3 + p**2 - p + 3. Let s be u(r). Are s and 3 non-equal?
False
Let o be 12/38*9/27. Let u = o - 23/38. Which is smaller: 0.1 or u?
u
Let r be ((-24)/10 - -2)/(616/210). Let y(c) = c**2 - c + 1. Let x be y(0). Which is smaller: r or x?
r
Let z = -3.9 - 0.1. Let w = z - -3.8. Let r = w - 0. Which is smaller: r or 0.1?
r
Suppose -4*j + 197 = 5. Does 47 = j?
False
Let b(u) = 19*u**3 - 2*u**2 + u. Let z be b(1). Let m be (-2)/9 + (-104)/z. Let j be (-4)/(-6)*9/m. Is 2/13 at least as big as j?
True
Suppose 2*c - 2 = -2*a, 0 + 3 = 3*c - 4*a. Suppose m = -c + 7. Suppose -3*i = 3*b + 3, -m*b + 3 = i - b. Which is bigger: -3 or i?
i
Let c = -410 - -2832/7. Is c equal to -5?
False
Suppose -86 = 7*p + 19. Let h = p - -20. Which is smaller: 7 or h?
h
Let a(n) = n**3 + 4*n**2 + 3. Let x be a(-3). Suppose f - 6*f - b - x = 0, 2*f = 2*b - 12. Let r = 6 + f. Which is smaller: r or 4?
r
Suppose 11 = 4*j - 5. Suppose 0 = -2*u + 3*p - 18 + 6, j*p - 16 = 3*u. Let s = -158/11 + 2392/165. Does s = u?
False
Let r be ((-2)/5)/(2 + -3). Let t = -1.2 + -1.8. Let j = -4 - t. Is r at least j?
True
Let v = -8 - -5. Let p be (54/3)/(-3)*-1. Let d = p - 8. Which is greater: d or v?
d
Let u(x) = x**2 + x - 4. Let h be u(0). Let f be 3/21*h + 1. Which is greater: -1/4 or f?
f
Let y = -157 - -167. Which is smaller: y or 7?
7
Let n = 13 + -14. Let z = 4.4 - -0.6. Which is greater: z or n?
z
Let n = -5/6 + 4/3. Let l(k) = -3*k - 3. Let d(t) = -4*t - 4. Let q(u) = 4*d(u) - 5*l(u). Let g be q(-1). Is n smaller than g?
False
Let o = -7/170 - 1/17. Suppose -8 + 3 = -5*m. Is m bigger than o?
True
Let m = 33 - 32.9. Which is smaller: m or 2/15?
m
Let b(s) = 7*s + 1. Let t be b(1). Let i(p) = -p + 1. Let c = -27 - -21. Let n be i(c). Is n >= t?
False
Let v(m) = -m + 1. Let h be v(1). Is h < -1?
False
Let u(x) = -x**3 + 12*x**2 + 7. Let c be u(12). Is c greater than or equal to 7?
True
Let c be (-21)/(-28) - 46/40. Which is smaller: c or 1?
c
Suppose 3*v = -v + 20. Let a = v + -6. Which is smaller: -2/3 or a?
a
Let b be 1 + 2 - (2 - (-42)/22). Is b at most 0?
True
Let b be ((-2)/(-4))/(1/(-8)). Let j be 21/(-7)*b/(-30). Which is smaller: j or 1/3?
j
Let z(k) = -k**3 - 19*k**2 + 21*k + 18. Let t be z(-20). Which is bigger: t or -1?
-1
Let k be (-5)/5*(-2)/68. Let h = 71/102 - k. Which is greater: 0.2 or h?
h
Let l = 0.04 + 0.06. Let s = 1.1 - l. Is 2 greater than s?
True
Let q = -0.42 - -1.42. Let m = 2 - 1.9. Let w = m - 0.1. Which is smaller: w or q?
w
Let w(k) = -3*k**3 - 2*k**2 + 2*k + 1. Let g be w(-2). Let y = 7 - g. Let m be 14/y*6/(-21). Are m and -2 equal?
False
Let p = -0.9 - -1.1. Which is greater: -0.3 or p?
p
Let o be 5 - 1/((-4)/(-4)). Let h be 5/2*12/10. Do h and o have different values?
True
Suppose -3*k - 8 = -29. Let s = -6 + k. Let q = -0.2 + 1.2. Is q <= s?
True
Let i = 209687 + -1889392/9. Let u = 245 + i. Let q be (-2 + 2)/(-2 - -4). Is u < q?
True
Suppose 2*n = 5*g + 36, -30 = 5*g - 0*g - 5*n. Let w = g - -13. Which is bigger: 6 or w?
6
Let l = -44 + 263/6. Is -2 smaller than l?
True
Suppose 3*y = y - 2. Let s be 2 + 1 + (-1 - y). Which is smaller: 2 or s?
2
Suppose 0 = -3*h - 4*x + 16, 2*h = 5*x + 2 + 1. Let u = h - 8. Is u <= -4?
True
Let a(j) = -j**3 + 8*j**2 + 11. Let r be a(8). Let g = r + -5. Let c(l) = -l. Let p be c(0). Is p equal to g?
False
Let k = 123 + -12. Let f = -1111/10 + k. Suppose -4 = -3*i - 7. Which is smaller: i or f?
i
Let f(z) = -z**2 + 7*z - 5. Let h be f(6). Let n be (-1)/2*(-1 + h). Do 1 and n have the same value?
False
Let d(j) be the third derivative of j**6/120 + 7*j**5/60 - j**4/3 - 2*j**3/3 + 2*j**2. Let p be d(-8). Let q be (-1 - p)*2/8. Is 1 greater than or equal to q?
True
Let v = -6 + 