 - -2. Let l = h - 3722/9. Suppose z + 0*z = -j + 4, -j + 16 = 5*z. Is j greater than l?
True
Let c = 4 - 1. Suppose -5*m + 2*q + 1 = c*q, 5*q + 15 = -5*m. Suppose 5*b + m = -4. Is -1/4 at least as big as b?
True
Let b(t) = -t + 1. Let l be b(0). Let v be (-5)/(-7) - (-8)/28. Is v != l?
False
Suppose m + 0*m = 4. Suppose -1 - 3 = -2*s - 3*k, 3*s + m*k = 7. Let b be s/6*10/25. Which is bigger: 0.1 or b?
b
Suppose q - 2 = 3*q. Suppose 30*p - 28*p = 0. Which is greater: q or p?
p
Let j = 11.8 + 2.2. Let z = 15 - j. Which is greater: z or 2?
2
Suppose -3*l + 20 = 4*v + 119, v - 3*l + 36 = 0. Let k be 1/(v/15 + 2). Let j be 2 + (0 - k/2). Is 0 greater than j?
True
Let j = 34 - 38.8. Let l = 5 + j. Is 2/7 > l?
True
Suppose -2*a + 6 = -2*j, a - j - 4*j = -9. Let q(v) = v**3 - 7*v**2 + 5*v + 6. Let n be q(a). Suppose 0 = 2*h - n*h - 8. Are h and 4 equal?
True
Let w(p) = p**3 - 3*p**2 + 3*p - 1. Suppose -5*i + 14 = 2*k, 0 = -5*i - 4*k + 13 + 5. Let v be w(i). Which is smaller: 1/3 or v?
1/3
Let d = 0 - 0.2. Suppose 9*z - 7*z + 4 = 0. Which is smaller: z or d?
z
Suppose 0 = -2*q + q + 1. Let f be (-2)/(-1) - 3*-1. Suppose 3*p - 14 = -f*d, -5*d + 8 = p - 0*p. Is d != q?
False
Let d be 1/((5/2)/5). Suppose -2*q + o = 2*q + 5, 0 = -d*o - 6. Do -3 and q have the same value?
False
Let c be (1 - 1) + (-21)/28. Is c >= -2/7?
False
Let n = -14 - -16. Is 3 at most n?
False
Let a be 3*(-92)/72 - -2. Which is bigger: a or -2?
a
Let v(s) be the first derivative of -s**3/3 + s**2 - 4. Let u be v(2). Let z = -37/288 - 3/32. Do z and u have the same value?
False
Let c = 28.6 + -28. Is 0 at most c?
True
Let f = 18193 + -1346317/74. Let t = f + -1/37. Which is greater: t or 3/4?
3/4
Let p(a) = -a**2 + 12*a - 11. Let s be p(11). Are -1 and s unequal?
True
Let m(s) = 8*s + 3 + s**2 - 2*s**2 + 2*s**2. Let h be m(-7). Let y be (0 - 3)/((-6)/h). Which is smaller: y or -1?
y
Let s = 18 - 32. Let q = s + 7. Let p = q - -3. Is 1 equal to p?
False
Let d = -3 - -3. Let p = 0.01 + d. Is p != -0.1?
True
Let h = -4.2 + 4.3. Is h greater than 0.35?
False
Let g(t) = -2*t**2 - 3*t + 17. Let w be g(3). Let x = -25 + 14. Which is bigger: x or w?
w
Let f = 33 + -44. Which is smaller: f or -13?
-13
Let h = -18 + 25. Let k = -8 + h. Is k <= -2/3?
True
Let b be ((-296)/(-140))/2 + -1. Which is smaller: b or 1?
b
Suppose c - 4*m = -7 - 13, c - m = -5. Suppose c = -3*t - 2*t. Which is bigger: t or -1?
t
Let g = 48 + -36. Which is smaller: g or 8?
8
Let f(b) = 2*b**2 + 12*b - 3. Let z(m) = m**2 + 3*m**2 - 5*m**2 + 2 - 6*m. Let o(q) = 6*f(q) + 11*z(q). Let k be o(-5). Is -1/8 bigger than k?
True
Suppose 642 = 2*n + n. Let x be n/14 + (-14)/49. Suppose i + i = 4*k + 10, -2*k - 3*i = -x. Which is bigger: k or 6/7?
6/7
Let k = -134/15 + 44/5. Let i(r) be the third derivative of -r**5/60 + 5*r**4/8 - 5*r**3/2 - 7*r**2. Let a be i(14). Which is bigger: a or k?
k
Let g = 14 - 8. Let q = -8 + g. Let w = -823/3 + 272. Is q != w?
True
Suppose -t - 25 = 5*x, t + 5*x = 2*t - 25. Suppose 2*k + 0*k + 14 = t. Let h be (-4)/8*-2*1. Which is greater: h or k?
h
Let d(l) = 3 + l + 2 - 6 + 5*l**3. Let g be d(1). Let o = 11 - 7. Is g at most as big as o?
False
Let q = -34 - -33. Is q at most 0?
True
Let g = 190 - 184.98. Let f = g + -0.02. Which is smaller: f or 0?
0
Let v = -1.06 - -1.1. Let d = 7.04 - v. Do d and 2 have the same value?
False
Let i = -5 - 19. Let t be i/(-9) + (-2)/3. Let b = 6 - 3. Which is smaller: t or b?
t
Let h = 43/111 - 2/37. Let w = 115 + -111. Is w less than h?
False
Suppose -3*s = -2*l - 136, 5*l = -4*s - 0*l + 212. Is 47 less than or equal to s?
True
Let u(p) = -p**2 - 7*p - 1. Let w be u(-6). Suppose w*r = m, -r + 0*r = 2*m. Let a be (1/(-3))/(32/30)*-4. Is r greater than or equal to a?
False
Let f be (-4)/(-30) - (-5)/(-15). Suppose -12 = -3*i - 9. Which is smaller: f or i?
f
Suppose 0 = 4*c - 2*c. Which is smaller: c or 1/10?
c
Let f(m) = m - 3*m + 4*m**2 - 5*m**2. Let c be f(-2). Let h be 6/(-24) + 18/(-56). Which is greater: c or h?
c
Let q = -0.25 + -20.75. Let u = -20.5 - q. Which is greater: u or -1?
u
Let n be 6*(0 + 215/30). Is 43 bigger than n?
False
Suppose -2*n + 2 - 12 = 0. Is n greater than -5?
False
Let u be (0 - 4/52)*-1. Which is bigger: -1 or u?
u
Let b be (-3)/6*8 - -3. Which is bigger: b or -1/10?
-1/10
Let p be 11/2*17/(-2). Let y be (-3)/(-5) - 227/(-5). Let a = p + y. Do a and -2 have the same value?
False
Let s be 2 + (-4)/(-2) + -2. Let v be s - (-4)/6*-3. Suppose -o - o + 6 = v. Does o = 5?
False
Suppose -l + 4 = 3*l. Which is smaller: l or 2/5?
2/5
Let w = 9 + -9.05. Let l = w - -2.05. Which is greater: -2 or l?
l
Let z = 0.1 - 0.1. Let y = 0.06 - -13.94. Let j = 14 - y. Is z bigger than j?
False
Let a be (3 - 3) + (-1 - 0). Let q = -5 + 2. Let y be (3/10)/q*3. Which is bigger: a or y?
y
Let d = 0 + -3. Let c = -5 - d. Do c and -2 have the same value?
True
Let i(x) = -x**2 - x + 5. Let o be i(0). Suppose -o*t + 2 = -k, -1 = 2*k - k - 4*t. Is 2 at least k?
False
Suppose -4*r - 704 = 4*l - 6*l, -5*r = -l + 361. Let y be ((-4)/(-12))/((-14)/14556). Let g = y + l. Is g less than -2?
False
Let x = -8/3053 + -2039364/15265. Suppose -v = 3*d - 407, 3*v + 387 = 3*d - 0*v. Let l = d + x. Is -0.5 not equal to l?
True
Let p = 55 + -33. Suppose 2*g + p = 4*d + 78, -g - 8 = d. Let b be (3/1)/((-9)/d). Which is smaller: 3 or b?
3
Let i(d) = d**2 - 12*d + 2. Let l be i(12). Is 2 less than l?
False
Let a(w) = w**3 + 4*w**2 + 5*w + 4. Let o be a(-3). Let d be (o/(-5))/(8/10). Are d and 2/3 equal?
False
Let m = 0 - 2. Let c be 1/((-15)/36) - m. Is c != 0?
True
Suppose -2*d + 2*r - 8 = -2, -d + 7 = r. Which is greater: 1/2 or d?
d
Let a = 2/23 - -203/46. Is a > 0.1?
True
Suppose -4*u + 12 = -4*b, -4*u = 2*b + 5 + 7. Let n be ((-35)/14)/(u/2). Suppose 0 = -n*y + 2*l + 3 - 16, 5*l - 4 = 3*y. Are y and -2 unequal?
True
Let p(d) = 6*d + 9. Let j be p(4). Which is smaller: j or 0.2?
0.2
Let d = 17 - 14. Suppose 0 = 4*t - j, -3*t + 0*t + d*j = 0. Is t less than 4/3?
True
Let l = -43946 - -307123/7. Let i = l - -71. Is 0 greater than i?
True
Let r be (-15)/(-25) + 7/5. Let q be 18/24 - r/4. Which is greater: q or 1?
1
Let w = -2 - -2. Let z = 0 - w. Let g = 209/4 + -52. Which is greater: z or g?
g
Let u = -40/69 - 2/23. Let a(n) = n**3 + 8*n**2 + 6*n - 10. Let w be a(-7). Is w at least u?
False
Let s = -0.27 + 0.39. Let v = s - 0.22. Which is bigger: 8 or v?
8
Let p = -19 + 20. Which is greater: 1.6 or p?
1.6
Let z be 2 - ((-8)/(-2))/4. Is z less than or equal to -21?
False
Let f = -0.22 - 3.58. Let n = f - -4. Let y = -146/5 + 1012/35. Which is bigger: y or n?
n
Let n be (-8)/(-12)*(-15)/(-2). Suppose -n*a + 9 = 4. Is a equal to 1?
True
Suppose -4*l = 5*i + 11, 0 = -6*i + 4*i - 2*l - 6. Which is greater: i or 3/8?
i
Let c(k) be the third derivative of -k**6/720 + k**4/12 + k**2. Let n(f) be the second derivative of c(f). Let r be n(0). Which is bigger: -2/15 or r?
r
Let z be -2 - (-1)/((-2)/6). Let n be (-6 - z) + (-4)/7. Let i = 69/35 + n. Which is greater: 0 or i?
i
Suppose -2*k + 25 = 5*h, -2*k + 3*h = -7*k + 15. Suppose -2*n + 0*u - 3*u + 9 = k, 3*n + 4*u - 12 = 0. Which is greater: n or -2/7?
n
Let a be (-8)/(-24) + 4/6. Let g(d) = d**2 - 4*d. Let b be g(6). Let m be (a/(-4))/(5/b). Which is smaller: m or 0?
m
Suppose -3*b + 5*b + 5*n = 21, 0 = 5*b + 4*n - 78. Which is smaller: 19 or b?
b
Let m = 0.018 - -1.982. Is m bigger than -13?
True
Let a(g) = -g + 1. Let k be a(2). Let z = -142 + 708/5. Is k equal to z?
False
Suppose -3*t + 2 = 29. Let h be 20/t - 2/(-9). Let c be 10/h - -1 - -2. Is -2 greater than c?
False
Let o = 0.2 + -0.1. Let c = o + -0.1. Let v = 3 + c. Is v < -2/3?
False
Let m(g) = -g**2 - 4*g - 4. Let u be m(-3). Let s = 0.05 + 0.35. Let t = s - 0.2. Which is smaller: t or u?
u
Let v = -0.3 + 0.4. Let a = v - -0.1. Let j = a + -0.3. Which is bigger: j or -1/2?
j
Let c = -3/20 - 13/20. Which is smaller: -1 or c?
-1
Let o = -177 - -2299/13. Suppose -k = -5*k. Is k < o?
False
Let c = -1267/871 - -15/67. Let q = 74/39 + c. Which is smaller: 2 or q?
q
Let h = 12491/17 + -735. Is -1 greater than h?
False
Suppose 2*s + 8 = -4. Let y = s - -4. Which is bigger: y or -3/4?
-3/4
Let u(o) = -o**2 + 6*o - 5. Let p be u(6). Which is smaller: p or -13/3?
p
Let l(s) = s + 2.