*k + 3*m + 0 + 5 = 0, 4*m = -2*k - r. Which is bigger: k or 0?
0
Let r be (2 - 0)*(-2)/8. Let c be -1 - 0/(2 - 3). Which is smaller: r or c?
c
Let x = 0.1 - 0. Let u = -2.1 + 3.1. Which is smaller: u or x?
x
Let n(m) = -m - 5. Suppose 2*g = -2*g - 24. Let q be n(g). Is -4 != q?
True
Let m = 3.5 + -4. Let r = -1.5 + m. Let c = r - -1.9. Which is smaller: 0.1 or c?
c
Let z(h) be the second derivative of 3*h**5/20 - h**2/2 + h. Let j be z(1). Suppose m - 3 = n, n - 3 = j*m - 4*m. Is -2 not equal to n?
True
Let r = -4.25 - 0.75. Does r = 0?
False
Let s(t) = -t - 9. Let f be s(-5). Let v be (5/110)/(f/144). Is v equal to -2?
False
Suppose 10 - 1 = 3*q. Suppose 0 = 2*l - q*l + 1. Which is smaller: l or 0?
0
Suppose -2*g + 23 = s + 2*g, -3*s + 43 = -g. Suppose 0 = 4*x + 5*n - s, 7*x - 5*n + 15 = 4*x. Let c = -2 - x. Is -1 != c?
True
Let p(c) = 5 - 3*c**2 + c**3 + 0*c**3 + 7*c**2. Let d be p(-4). Suppose -d*u + 12 = -0*w - w, -4*w = u + 6. Is w != -1?
True
Let d = -2.04 + 0.04. Let o = d + 6. Let g = o + -3. Is -2 > g?
False
Let t be 1 + 4/2 + 1. Which is bigger: 3 or t?
t
Suppose l + 8 = -4*v, 3 - 1 = 2*l + 2*v. Suppose -r + 15 = -4*r, l*w - 5*r - 29 = 0. Let j be (2/(-4))/((-2)/4). Is j bigger than w?
False
Let f(m) = -m**2 + 10*m + 12. Let q be f(11). Suppose -q + 2 = u. Do 0 and u have different values?
True
Let d be (-5)/10 - (-2)/(-4) - -1. Is d > -1/70?
True
Let w(u) = 20*u. Let o be w(-1). Is o equal to -21?
False
Let p = 2.04 - 2. Let a = p + -2.04. Let g = a - -2. Which is smaller: g or 2/3?
g
Let l = -0.34 - 0.06. Let x = 1.6 - l. Let h = x - 2.1. Is h greater than -0.1?
False
Let j be (-1)/(-4) - 10290/(-24). Let t be -1 + (0 - j/(-6)). Let u = -413/6 + t. Which is bigger: 1 or u?
u
Let p be (2/26)/((-1)/(-8)). Which is bigger: p or 1?
1
Let z = 2108/5 + -423. Which is smaller: -2 or z?
-2
Let m = 6 - 6.1. Let s = -1.9 + m. Is s smaller than -1/3?
True
Suppose 2*u - 28 = 5*q, 4*q - 21 = -5*u + 16. Let m = u - 6. Is m at least as big as 8/5?
True
Suppose -h - 22 = 4*d, -8*d + 4*d - 3*h - 26 = 0. Is d <= -4?
True
Let b be (6*5/16)/((-66)/(-88)). Which is greater: b or 2?
b
Let h(v) = 2*v. Let u be h(-2). Which is smaller: -6 or u?
-6
Let r be (-7)/(-8) + 3/(-2). Suppose 0 = -z + 6*z + 5. Which is bigger: z or r?
r
Let h = -8 + 12. Let m be (2/h)/((-3)/3). Which is bigger: 0 or m?
0
Let m be (-3)/2 - 345/(-104). Let u = m + -22/13. Which is smaller: u or -1?
-1
Let r be 0*-1*(-2)/4. Suppose r = -7*l + 2*l. Which is smaller: l or 2/7?
l
Let x = 32 + -31.2. Is x equal to 2/11?
False
Let q = 3.11 + -0.11. Suppose -2*l - 4*d = -28, 2*d = -l - 3*d + 26. Let z(j) = j**2 - 6*j + 2. Let n be z(l). Are q and n equal?
False
Suppose 3*q - 3*s = s + 26, -3*q = 4*s + 14. Let c = 62/11 + -244/55. Which is smaller: q or c?
c
Let u = 124 - 176. Which is smaller: u or 2?
u
Let i(v) = -v - 11. Let g(t) = 2*t + 23. Let k(j) = 3*g(j) + 7*i(j). Let s be k(-8). Suppose n - 3*z + 5 = 0, -4*z + 13 = 2*n + 3*n. Which is greater: s or n?
n
Let g = -1/165 - 4283/1155. Is g > -3?
False
Let y = 12838026 + -21182742077/1650. Let w = -502 - -75307/150. Let f = w + y. Are 0 and f equal?
False
Let r be ((-554)/8)/(279/(-18)). Let t = r + 1/31. Which is smaller: 6 or t?
t
Let t = 7 - 7. Let k be (14/6)/((-1)/12). Let f = -113/4 - k. Is f less than t?
True
Suppose 0 = -i - 4*i + w + 45, 2*w - 40 = -3*i. Let a = i - 6. Which is bigger: a or 3?
a
Let g = 5/13 + -17/78. Suppose 5*y - 20 = 5*h, 0*y = 2*y + 2*h - 12. Suppose 0 = y*c + 5*v, c = 5*v - 2*v. Is c less than or equal to g?
True
Let q(y) = y. Let c be (-8)/(-8)*1*2. Let w be q(c). Suppose -3 = -w*x + 5*x. Is x < -2?
False
Suppose 4*a - a - 6 = 0. Let r = a + -3. Let b be r/(-12) + (-1)/(-4). Which is smaller: 0 or b?
0
Let c(g) = -1 + 2 + g - 2. Let t be c(3). Is 4 <= t?
False
Let n(u) = u**3 - 6*u**2 + 4*u + 2. Let l = 32 - 22. Suppose 3*m = m + l. Let g be n(m). Do -2 and g have the same value?
False
Suppose 4 + 5 = -3*o + 2*t, -5*o = t + 28. Is o bigger than -7?
True
Let h = -2 + 1. Let j = h + 1. Is j smaller than 0?
False
Let s(c) = -c + 2. Let w be s(-7). Let l be (3/w)/(-3*1). Suppose 0 = -4*k + 5*k - 1. Is l less than or equal to k?
True
Let t = 1.03 - 1.13. Let p = -7.83 + -0.17. Which is smaller: p or t?
p
Let o(h) = -4 + 0 - h + 5 - 2. Let n be o(-2). Is n >= 1?
True
Let p = -76789/2094 - -3/698. Is p < -38?
False
Suppose 0*i + i - 2 = 0. Is -1/6 equal to i?
False
Let h = 128.9 + -129. Do 1.2 and h have different values?
True
Let q be 66/15 - 4/10. Suppose 0 = -h - 3*y - 2, 4*y = q*h - 25 - 31. Is 10 >= h?
True
Let y = 2.96 - -0.04. Let s = y - 4. Which is greater: s or 4?
4
Let u(g) = 2*g**3 - g**2 + g. Let y be u(1). Suppose -4*v - 5*r - 7 = -y*v, -2*v + 4*r = -20. Is v at least 3?
True
Let x = 26 + -25. Are x and 1/16 nonequal?
True
Let u = 0.4 + -9.4. Let q = u + 8.7. Which is greater: q or 0?
0
Let u be ((-12)/(-334))/(-3) + 0/(-2). Which is smaller: u or -1?
-1
Let q(m) = -m**2 - 3*m + 2. Let s be q(-3). Suppose 3 = -s*j + 1. Which is bigger: j or 1/17?
1/17
Let h = -154.7 - -146. Let o = h + 9. Is -2/3 greater than or equal to o?
False
Let h = -19 - -18.9. Which is smaller: h or 0?
h
Let y(l) = 2*l**2 - 2*l - 2. Let o be y(2). Let z = -2 + o. Let f be 2 + 5/(-3) - z. Is f at least 0?
True
Let b = -64 - -30. Is b bigger than -1/4?
False
Let l = 2/7 - -1/21. Suppose 0*s = -2*s - 2. Which is bigger: l or s?
l
Let z(y) = 2*y**2 - 2*y - 14. Let i be z(0). Is i > -1?
False
Let b(t) be the third derivative of -t**5/60 - t**3/3 + t**2. Let s be b(0). Let z be 1*1/(s + 3). Is 2/21 > z?
False
Suppose m = -0*m. Suppose m = -3*s - a + 16, -s = s - 3*a + 4. Is s > 4?
False
Let c = -8 + -1. Let i = c + 9.2. Which is greater: i or 0.03?
i
Let u = -531/1216 - -33/64. Which is smaller: u or 1?
u
Let z(c) = -c**3 - c**2 - c + 8. Let p be z(0). Suppose 2*r = -2*r + m - 6, -m = -5*r - p. Let k = -4 - -2. Is k at least as big as r?
True
Suppose -3*x + 3*o - 104 + 20 = 0, 3*x - 5*o = -94. Let i = -15 - x. Which is bigger: i or 7?
i
Let q be -5 + 78/18 - 8/42. Is q > 0?
False
Let c = 153/10 + -31/2. Let y = -0.01 + 3.01. Which is bigger: c or y?
y
Let m(d) = 0 + 0*d + 3 + d. Let x be m(-4). Suppose -5 = 2*t + b, -t - 5*b - 9 = t. Is t at least x?
False
Let d = -0.9 + 1.1. Let u = -33.9 - -36. Let g = 2 - u. Which is smaller: g or d?
g
Let d = -0.029 - 64.971. Which is smaller: d or 0.1?
d
Let p = -1/156 + -43/52. Which is bigger: -1 or p?
p
Let i be (-12)/18*(-18)/4. Suppose 8 = i*s - 10. Is s at most as big as 6?
True
Let q = -17 - -11. Let d be q - (0 + -3) - -8. Which is smaller: 4 or d?
4
Let k = -11.9 - -12. Which is bigger: k or 3/5?
3/5
Suppose -5*z - m - 6 = 0, 3*m = 2*z + 7*m + 6. Is 1/13 at least z?
True
Suppose -2*t + 8 - 6 = 0. Which is smaller: -2/79 or t?
-2/79
Suppose 0*f - f = -5*i + 18, -3*i + 14 = f. Suppose 3*g - i*d = 23, 5*d - 2 = 3*g - 30. Are g and -1/6 equal?
False
Let c = -9 - -26/3. Is 0 greater than or equal to c?
True
Suppose 0 = -l + 2*j + 8, 4*l + l - j - 22 = 0. Suppose l*y = 45 + 47. Let g = y - 68/3. Which is smaller: g or -1?
-1
Let d(u) = -u - 6. Let k be d(-7). Let m = 23/22 - 6/11. Which is smaller: k or m?
m
Let a = -22.7 + 3.7. Which is greater: a or 0?
0
Let i = 14 + -15. Which is smaller: i or 1/7?
i
Let f = -8 + 6. Suppose -u - 3*m - 8 = 0, 4*u - 3*u + m = -4. Is u > f?
False
Let o = 31 - 32. Which is bigger: o or -30?
o
Let p = 42 + -43. Which is greater: p or -6/29?
-6/29
Let n be (-2)/15 + 6/(-405)*-19. Which is bigger: n or 0?
n
Let f = -3969/100 - -7/300. Let d = 39 + f. Let r = 1757/9 - 195. Is r at least as big as d?
True
Let w be (4/(-10))/(1/(-50)). Suppose -3*x - 2*x + 5*q = w, 0 = 4*x - q + 10. Is -0.2 at most x?
False
Let v = 33 + -32.9. Let t = -0.2 - -0.3. Let b = t - 0.2. Is v bigger than b?
True
Let c = -2.59 - -3.29. Suppose 6*o + 6 = 3*o. Let w be 0/((-4)/o*-1). Which is smaller: c or w?
w
Let f be (-42)/36 + (-4)/(-6). Does -13 = f?
False
Let h = -17/294 - 36569/588. Let v = h + 62. Suppose -4*d = 2*l + 2*l + 4, 3 = -3*l. Which is greater: v or d?
d
Let h = -116 + 217/2. Which is smaller: h or -8?
-8
Let f(n) = n**2 + 8*n - 13. Let w = -16 + 7. Let i be f(w). Is i less than -3?
True
Let z = -0.64 + 0.04. Let q = 3.6 + z. Is -1 bigger than q?
False
Let l(p) = -2*