 = 7 - 3. Which is bigger: m or 3?
m
Let o = -6.85 + -0.15. Let j = 9.96 + 0.04. Let d = o + j. Which is smaller: d or 1/4?
1/4
Suppose g = -3*z + 13, 0 = g - 2*z - 2*z + 22. Let f be 2/(-28)*(g + -2). Which is greater: 0.1 or f?
f
Let k = 10.827 - -0.173. Let m be (-1)/(-2)*(0 - 0). Which is smaller: k or m?
m
Let x = 4 - 2. Suppose 0 = -l - 5*m + 13, x*m - 11 = l - m. Which is bigger: -2/3 or l?
-2/3
Let z = 0.23 + 1.67. Let d = 0.1 + z. Which is greater: -4 or d?
d
Let k = -6.045 + 0.045. Is k >= -1?
False
Let c = -10 + 16. Which is smaller: 3 or c?
3
Let j = -8 - -44/5. Let w(g) = 5*g**3 + 10*g**2 - 6*g + 3. Let k(q) = -q**3 - q**2 + 1. Let z(i) = -4*k(i) - w(i). Let u be z(-7). Is u less than j?
True
Suppose 4*u - 2 = 2. Let r be (-1)/(-4) - 4051/(-36). Let v = r + -113. Which is smaller: u or v?
v
Let t be 5/15 - (-32)/3. Let o(v) = -v**2 + 11*v - 3. Let x be o(t). Is -3 at most x?
True
Let c(r) be the second derivative of -r**3/6 + 2*r**2 - r. Let d be c(4). Suppose d = -2*j - 2*j. Are j and -1/10 equal?
False
Let n = -134.9 + 125. Let o = n - -10. Is o bigger than 0.02?
True
Suppose 4*x = -q - 53, 3*q + q + 68 = -4*x. Is -1/4 bigger than x?
True
Suppose -4*w - 2*y = -6*w, -5*y + 15 = 0. Let b be -3*1*2/(-6). Is b bigger than w?
False
Let n = 0.3 - -0.7. Let t = 5 - n. Let d = 5 - t. Which is bigger: 2/9 or d?
d
Suppose 0 = -3*n - c - 23, -5*n + 3*c = -0*c + 43. Are n and -9 nonequal?
True
Let o = 89/1936 + 2/121. Let d = -3 + 2. Do o and d have different values?
True
Let d(c) = c**3 - 7*c**2 - 9*c + 7. Let y(g) = g**2 + g + 2. Let a be y(2). Let l be d(a). Do 0 and l have different values?
True
Let h(l) = -l**3 - 9*l**2 + 2. Let t be h(-9). Suppose -3*s + 2*n - 4*n = 45, 2*s + t*n + 30 = 0. Let q be 5/s*(-3)/(-4). Which is bigger: q or -4?
q
Let l(d) = 2*d + 11. Let a be l(-5). Let z = 96 - 98.04. Let g = z + 0.04. Which is smaller: g or a?
g
Let t be -1*2 - 15/(-6). Do 0 and t have the same value?
False
Suppose -5*v + 5*w = -75, -w = -2*v + 5*v - 37. Suppose -3*m + 4*z - 39 = -v, 2*z - 6 = -2*m. Which is smaller: m or -2/9?
m
Suppose -q + 3*h = -2*q + 13, q - 2*h = -12. Which is bigger: -5/4 or q?
-5/4
Let x be (-4)/10 - 6/(-5). Suppose -3*t - 2*t = -10. Which is smaller: t or x?
x
Let d = 0.2 + -0.2. Let p = 1.1 - 1.11. Let h = p + 9.01. Is h >= d?
True
Let i(h) = -h**2 + 14*h. Let p be i(9). Let x be 8/p - (-2)/(-5). Let k = 4/9 - x. Is k < 1?
True
Let h = -0.292 - -0.092. Which is greater: h or -34?
h
Let a = -0.19 - -0.14. Let p = 1.05 + a. Is -3/8 smaller than p?
True
Let a(o) = o + 2. Let m be a(-2). Let y = 74 + -74.1. Which is smaller: y or m?
y
Let k = 0.2 + -0.4. Let g = -0.11 + -1.89. Is k bigger than g?
True
Let f(l) = -l**3 + 5*l**2 + 7*l - 7. Let p(m) = -2*m - 6. Let h be p(-6). Let i be f(h). Is i > 1/9?
False
Let r = -10 - 10. Is r <= -19?
True
Let k = -0.02 - -6.02. Is -2/9 at least k?
False
Let t(w) = -w**3 + w**2 - 2*w + 2. Let h be t(0). Suppose -3*i + 1 = -2*c - 4, -14 = -2*i - 4*c. Is i at least as big as h?
True
Let d(k) = k - 5. Let m be d(10). Suppose m*l - 1 = -6. Is -2/5 greater than l?
True
Let c(r) = r + 8. Let a be c(-6). Which is bigger: a or 10/9?
a
Let k(t) = 4*t + 1. Let w be k(-2). Let p = w - -6. Let h(v) = 2*v + 2. Let l be h(-3). Is p < l?
False
Let y = 13 - 1. Does -1/5 = y?
False
Let h be 0*(2 - 1) - 1. Let s = 22 - 152/7. Does s = h?
False
Suppose -12*i + 6 + 6 = 0. Let c = -5 - 5. Let h be 0 - 1 - 14/c. Is i >= h?
True
Let b be 9/2 - (-6)/(-4). Let i be b/6 + (-28)/8. Is i at least as big as -7/3?
False
Let l be (2*(-2)/(-4))/1. Let m be -3 + 222/27 + -5. Which is bigger: l or m?
l
Let b be ((-34)/(-3))/((-2)/24). Let h be b/12 - 2/(-6). Which is smaller: h or -12?
-12
Let d = 2.4 + -0.4. Let o be (-2)/(-3)*(-9)/12. Which is smaller: d or o?
o
Let c = -8 + 5. Let h(s) = -s. Let z be h(c). Suppose z*j = -0*j + 3. Does j = 1/4?
False
Let d = 1 - 0.8. Is d greater than or equal to -35?
True
Let g = 24.6 - 25. Which is bigger: -0.2 or g?
-0.2
Let m = 1/13 - 18/65. Suppose -4*o + 2*r = -2*o - 2, -o - 4*r = -16. Let x = -3 + o. Which is bigger: m or x?
x
Let m = 4 + 1. Suppose -q = 3*q + 2*x - 26, -32 = -m*q - 3*x. Suppose -5*t - q = -2. Which is smaller: t or -2?
-2
Let n = 0.405 + -0.005. Let v = 1681/9 - 187. Which is smaller: n or v?
v
Let b(u) = -u**3 + 5*u**2 + 4*u - 3. Let z be b(6). Let r = 46/3 + z. Let j(x) = x**2 + 6*x - 6. Let i be j(-7). Is i <= r?
False
Suppose -5*j - 3 = 7, 22 = 4*d + 5*j. Suppose 4*t = 3*t + d. Which is bigger: t or 9?
9
Let z be 1 - (-6 + 1 + 2). Suppose 10 = g - 3*r - 0*r, -4*r = z*g + 24. Is -2/3 bigger than g?
True
Let q = -553/6 + 92. Let g be (-156)/15 + (-4)/(-10). Let v be -3 - 5/(g/4). Which is smaller: q or v?
v
Let u = 2137/1490 - 20/149. Let d = u - -1/30. Suppose -2*y + 12 = -0*t + 2*t, -2*t + 6 = -4*y. Which is smaller: d or y?
y
Let s(f) be the second derivative of -f**5/20 + 5*f**4/12 + f**3/6 - 5*f**2/2 - 3*f. Let v be s(5). Is -1 less than v?
True
Let a(m) = -3*m + 13. Let b be a(4). Which is smaller: -1 or b?
-1
Let f = -1 - -4. Suppose -f*o = -o, -w + 4 = -o. Suppose 2*p - 2*u = w*p, 2*u = -3*p + 2. Is 1 bigger than p?
False
Let h = -3 - -3.08. Let n = 3 + -2.9. Which is greater: n or h?
n
Let y be (-1)/3*(0 - -3). Which is greater: 10 or y?
10
Let c(y) = y**3 + 7*y**2 + 6*y + 6. Let i be c(-6). Which is smaller: 5 or i?
5
Let w = 2201/42 - 313/6. Which is greater: w or 1?
1
Suppose -1 + 2 = -h. Let v be (-6)/2 + 2*h. Let m be 0/(2*-1) + -4. Which is smaller: v or m?
v
Let i = 27.3 - 27. Is i less than -2/7?
False
Let y = -74/7 - -76/7. Is 1.6 > y?
True
Let g be ((-18)/(-30))/((-3)/(-4)). Is g bigger than 2?
False
Let w be 4*14/24 - 3. Is w smaller than -42?
False
Let z be ((-3)/(-1))/(-1 - -6). Which is smaller: 5 or z?
z
Let a be 24/9 + (-1)/(-3). Let s = a + -2. Are s and 1 non-equal?
False
Let t(b) = b - 1. Let f be t(3). Let q be f*-1 - (-1 + -5). Which is greater: 3 or q?
q
Suppose 4 = x + 3. Let c be (-1)/(-2) - 13/14. Is x greater than c?
True
Let g(r) = -r**3 + 16*r**2 + 15*r + 37. Let h be g(17). Which is greater: 17/4 or h?
17/4
Let u = -18.2 - -18. Is 5 greater than u?
True
Let v(d) = d**2 + 3*d - 3. Let z be v(-4). Let k(u) = -z - 3*u**3 + 4*u**3 + u**3. Let y be k(1). Is 1 bigger than y?
False
Let s = -17 - -18. Is s at most -7?
False
Let m = -0.41 + 0.11. Is m smaller than 1/3?
True
Let j be (1/(-2))/(5/(-2) - -3). Which is smaller: 2/27 or j?
j
Let n = -8 + 11. Let k = -0.004 + 2.304. Let i = k - 2.2. Is n less than i?
False
Let a = -0.134 - -0.334. Which is greater: a or -29?
a
Let l = -13.4 + -0.6. Let d = l + 14. Is 0 < d?
False
Let u = -24 - -44. Let r = u + -19. Which is smaller: 2/19 or r?
2/19
Suppose 21 = -3*r + 69. Let m be r/20 + (-6)/45. Which is greater: -2/5 or m?
m
Let o = -0.62 + 0.72. Is o at least as big as 0.22?
False
Let f be 3/9 - (-4)/6. Let g be (-1)/(2/(8/(-10))). Which is greater: g or f?
f
Let l = 311/39 + -56/13. Which is greater: 5 or l?
5
Let u(l) = 5*l - 3. Let p be u(1). Is 1/4 smaller than p?
True
Let s be 0 + 6/3 + 34. Let k be s/27*(-3)/(-2). Let c = -1 + 1. Which is smaller: c or k?
c
Suppose -8 = f - 0. Let c be 2 - 14*(-1)/f. Let w = 1 + 0. Which is smaller: w or c?
c
Let y = 4 - 4.3. Let b = y + 0.5. Which is smaller: b or -2/3?
-2/3
Let g = 0.8 + -0.6. Is g greater than or equal to -9?
True
Suppose 5*f = -6 - 9. Let x = f + 4. Which is greater: -1/7 or x?
x
Let r be (-16)/18*(-6)/8. Is -5 smaller than r?
True
Let v = 350 - 3844/11. Which is smaller: 0 or v?
0
Let p(l) = 5*l - 45. Let u be p(10). Let b(h) be the first derivative of -h**3/3 + 3*h**2 - 3*h - 1. Let r be b(4). Does u = r?
True
Suppose 0 = -4*u - a - a + 62, 0 = 4*u + 4*a - 72. Suppose 0*d - d = 5*m + 20, 0 = -2*d - m - u. Let s be (-18)/8 - d/20. Does s = -1?
False
Let f = 2 + -2. Let v = f - 1. Let l = -0.2 + 1.2. Which is greater: v or l?
l
Let i = -15861/4 + 12127/3. Let t = 77 - i. Is -1 not equal to t?
True
Suppose 2*z - 3*x - 29 = 0, -2*z + 4*x - 2*x = -28. Suppose z*o = 9*o - 8. Is -9/8 equal to o?
False
Let s be (-6 - -3) + -18 + (-6)/3. Are -24 and s equal?
False
Let r(q) be the first derivative of -q**3/3 + 7*q**2/2 + 13*q + 3. Let f be r(9). Are f and -4 equal?
False
Let v(l) = -l**3 + l + 1. Let b(o) = 4*o**3 + 4*o