)*4/10. Is m greater than or equal to c?
False
Suppose 29 = -3*w - 0*w + x, -3*w - x - 19 = 0. Is -9 smaller than w?
True
Suppose -10 = -5*o + r, -2*r = 2*o - r + 3. Let l be (o/(1 + -2))/1. Suppose 10*s = 3*n + 5*s + 10, -3*n = 2*s - 4. Is n >= l?
True
Suppose -a = -3*a. Is a equal to 1/4?
False
Suppose -2*k - k = 45. Let j be (-136)/k - (-4)/12. Let b = j + -361/40. Do -1 and b have the same value?
False
Let r(s) = s. Let g be r(6). Let l be 14/g + -2 + 1. Which is smaller: l or 0?
0
Let j(v) = -v**2 + 2*v + 9. Let u be j(-7). Do -52 and u have different values?
True
Suppose 20 = -2*v + 6*v. Which is smaller: v or 7?
v
Let s be (-1)/((4/2)/8). Suppose -y = -2 - 3. Suppose -34 = y*j - 9. Which is smaller: s or j?
j
Let h be (-15)/(-6) + (-6)/4. Let r be 27/12 + (-7 - -5). Which is smaller: h or r?
r
Let h be -1*-3*1*1. Suppose h*r = 12 + 9. Suppose -3*k - 3*l - 11 = r, 5*k + 15 = -2*l. Is k at most 1?
True
Let a = -10611/10 + 1062. Which is smaller: 2 or a?
a
Let v = -0.05 + -0.35. Let o = -0.32 - v. Which is smaller: o or -0.1?
-0.1
Let j(u) = -u**2 - 9*u - 15. Let m be j(-7). Let z be 23/33 + 2/(-6). Which is bigger: z or m?
z
Let b = -9 + 17. Suppose -4*i + 8 = -b. Is -1/3 bigger than i?
False
Let c = 4 + -5. Does 3/17 = c?
False
Let i be (-2 - -16) + (-12)/(-6). Suppose -i = -3*f + 29. Which is greater: f or 14?
f
Let z = 0 - 0.2. Let r = -28/11 + 510/209. Let y = 27/76 + r. Which is bigger: z or y?
y
Suppose -3*l = 12, -2*l = -2*n + 3 + 7. Is 1 less than or equal to n?
True
Let t be (-4*(-3)/84)/(-1). Is -2 greater than t?
False
Let v = 12/55 + -9/11. Is -1 less than v?
True
Let c be 4*-341*(-4)/(-16). Let v be ((-551)/6)/(14/(-52)). Let j = v + c. Which is smaller: -1 or j?
-1
Let q(v) = -3*v**3 + 2*v**2 + v. Let y be q(-1). Suppose y = 3*r - 2. Suppose 5*l + j - 5*j = 0, 2*l + r*j = 0. Is 2/3 bigger than l?
True
Suppose -u = 4*x + 25, 3*u - 4*x - 35 = 6*u. Is u != -9?
True
Let l be 1/3 + 4/6. Suppose 5*n + 9 = -p, 3*n = p - 7 - 8. Let x be (-16)/(-12)*p/28. Which is smaller: l or x?
x
Let s = 17 + -20. Is s bigger than -22/9?
False
Let w(h) = 0*h - h + 1 - 5 - 4. Let v be w(-6). Does -3 = v?
False
Let k be ((-1)/6)/(1/2). Suppose -4*t = 2*z - 6*z, -3*z - 7 = 4*t. Which is smaller: t or k?
t
Let o(c) = -c**2 - 4*c - 2. Let n be o(-2). Let r = 0.1 - 0.1. Let i = -1 + r. Is i less than or equal to n?
True
Let n(j) = -3*j**2 + 3*j - 2. Let v be n(2). Let h = v - -11. Suppose h = 4*c - 5. Which is greater: 0.2 or c?
c
Suppose -3*i + q - 14 = 0, -q + 21 = -2*i + 2*q. Let s = 3 + i. Let d(w) = -w**2 - w - 4. Let z be d(s). Is -3 smaller than z?
False
Let f be (-4)/2*1/(-2). Which is bigger: f or 1/28?
f
Suppose 2*q - 64 = -2*q. Let v = 14 - q. Let z be (-6)/(-8)*(-4)/5. Which is greater: v or z?
z
Suppose -3*g - 25 = 92. Which is bigger: g or 0?
0
Suppose 10 = -r + 6*r. Suppose -6*l + 8 = -r*l. Suppose 0 = l*k - 3*u + 6, 2*u = -2*k - 3*k + 4. Which is smaller: -1/4 or k?
-1/4
Let y = -1 - 1. Let j be y - -2 - 4/(-18). Let v = -0.3 - -0.4. Are j and v unequal?
True
Let t = -0.63 + 0.33. Which is smaller: -1.9 or t?
-1.9
Suppose 2*k + 10 = -3*k. Let f be ((-3)/9)/(3/9). Let l(p) = -5*p**2 - p. Let w be l(f). Is k >= w?
True
Let u(i) = 2*i - 12. Let j be u(9). Is 7 equal to j?
False
Let h = 5.8 - 5.9. Which is smaller: -40 or h?
-40
Let k = 1/5 - 7/10. Let l(z) = -3*z**2 - 4*z - 4. Let c(x) = 7*x**2 + 7*x + 7. Let p(s) = 2*c(s) + 5*l(s). Let y be p(-4). Which is smaller: y or k?
k
Let w(h) = h**3 + 5*h**2 + 6 + 5*h + 0*h**2 - 4*h. Let g(m) = 4*m**3 - 2*m**2 + 1. Let t be g(-1). Let c be w(t). Which is bigger: -1/3 or c?
c
Let c be 3 - ((2 - 2) + -2). Suppose -3*x - 16 = 2*b, 4*b + c*x + 24 = 2*b. Which is smaller: -1 or b?
b
Let f = -7 + 4. Let h = 2.9 + f. Suppose 0 = -4*x - 1 - 3. Do h and x have different values?
True
Let q be 6/(-21) - 144/(-14). Let n = 18 - q. Let m be (6/(-14))/((-12)/n). Which is smaller: 0 or m?
0
Suppose 4*v + v = -20, 0 = 2*n + v - 4. Suppose 0 = c - 24 + 8. Suppose t - 11 + 29 = 5*d, -2*d + c = 4*t. Is d at most n?
True
Let o = -6 - -5. Suppose 2*v + v - 15 = 0. Suppose -v = -3*c + 8*c. Is c at most o?
True
Let n(c) = -2*c - 2. Let s be n(-2). Let r be 0 - (0 + (s - 0)). Let u be (1 + r)/2 + 0. Are u and 0 equal?
False
Let z(q) = -q**3 - q**2 + q + 2. Let x be z(0). Suppose -5*o + 20 = -o - 4*d, 8 = o - 4*d. Let f = o + -2. Is f < x?
False
Suppose 4*y - 1180 = -y. Let x = 2598/11 - y. Which is smaller: x or 0.1?
0.1
Suppose -4*d - d = 60. Let h = d - -9. Is -1 smaller than h?
False
Let n = 0.02 + 7.48. Let k = n + 0.5. Let f = -5 + k. Which is greater: f or 0?
f
Let q be ((-2)/(-4))/((-1)/(-12)). Which is smaller: -4/7 or q?
-4/7
Let c(a) = 32*a - 4*a**2 + 3*a**2 - 33*a. Suppose 5*h = -0*h. Let y be c(h). Are y and -2/11 non-equal?
True
Let a(m) = m**3 - 6*m**2 + m - 1. Let q be a(6). Suppose 0 = w - 5*w. Suppose -o - 3 + 9 = w. Which is bigger: q or o?
o
Let f = -3 - -4. Let j be (6/(-12))/(f/(-26)). Suppose 2*b + 1 = 2*i - j, -4*b = 5*i + 10. Which is greater: -1/2 or i?
i
Let q be (-9)/36*(-808)/(-3). Suppose 17 = -4*w + 289. Let p = q + w. Which is smaller: 1 or p?
p
Let t be ((-1866)/(-21) - -1) + 1/7. Do t and 91 have different values?
True
Let y = 1/127 - -377/508. Let k = y - 5/8. Which is smaller: k or 0?
0
Let h be (1/3)/(1/57). Suppose i = -i + 5*v + h, 5*v = 5*i - 10. Which is bigger: i or -2?
-2
Let p(i) = 3*i - 5. Let s be p(3). Let n = s - 10. Is -8 at most as big as n?
True
Let c be 1 + (3 - 1 - 1). Suppose c*s = 7*s - 5. Let a = 19/4 + -49/12. Is s smaller than a?
False
Suppose 30 = 3*l - 0*p - 5*p, -l + p = -10. Let a = l - 11. Let g be (3/(-6))/((-2)/1). Do g and a have the same value?
False
Let q be 6/30 - 51/5. Which is greater: -7 or q?
-7
Let p(n) = -n**3 + n**2 + n - 1. Let j be p(0). Suppose 2*l - 4*x = -l - 1, 0 = 2*l - 3*x + 2. Let a = -11/2 + l. Which is bigger: a or j?
a
Let m = 0.89 - -3.09. Let y = 0.02 + m. Is 1 <= y?
True
Let u(p) = -2*p - 15. Let l be u(-11). Which is smaller: l or 1/3?
1/3
Suppose -4*t + 5*y + 11 = 0, 0*y = 2*t - 3*y - 3. Which is greater: t or 7?
t
Suppose 8*t = 4*t + 16. Suppose 3 = 3*h - 9. Suppose 12 = h*s - s, -s = -t*n + 4. Is n at most as big as 2?
True
Suppose -4*d - w = 32, -2*d - 1 = w + 13. Let x = d + 7. Which is greater: 0 or x?
0
Let f = 7.7 + -2.7. Is f at most as big as -0.4?
False
Let t be (-12)/(-1170)*(-100)/(-6). Let r = -2/39 - t. Let k(p) = -p - 7. Let q be k(-6). Which is greater: q or r?
r
Suppose 3*t + z = 2 + 5, 5*z = t + 3. Which is bigger: -13 or t?
t
Suppose -8*x - 3 = -7*x. Is x > -3?
False
Let c = 14.91 + 22.13. Let s = c + -36. Let y = s + -0.04. Which is greater: 2 or y?
2
Suppose -10 = -2*t + 2*i, 4*i = 4*t - t - 19. Let b = t - -1. Let w(c) = -c - 1. Let p be w(-2). Which is greater: p or b?
b
Let y = -15/2054 - -2756573/14378. Let r = 192 - y. Is 1 <= r?
False
Suppose -s + 3*f + 2*f - 1 = 0, -3*f - 5 = 5*s. Let t be s - 1/(2/(-10)). Let v be (-1 + t)*2/14. Which is smaller: v or 0?
0
Let a = -20 + 24. Suppose 5*w + 0 + 5 = 0, 2*t = -5*w + 3. Let y be (10/t)/(3/6). Do a and y have the same value?
False
Let y = 34 - 68. Is -33 smaller than y?
False
Let n be (-3)/9 + (-1)/(-3). Let p be (-2)/4 + (-2270)/52. Let t = p - -44. Which is bigger: n or t?
n
Let s be (-32)/(-68) - (-3)/(-6). Let q = s + 139/102. Let r = 1 + -2. Is r at least as big as q?
False
Suppose 3*p = 5*p + 2*d + 2, 3*d + 1 = -p. Let i = -221/4 - -55. Does p = i?
False
Let a = -34.2 + 34. Which is bigger: a or 6/5?
6/5
Suppose 9 = m + 2. Let d = -4 + m. Let f = 101/41 + 3/82. Which is greater: f or d?
d
Let v be 12/(-20) + (-2)/5. Let p be (v/(-1))/(1/(-2)). Does p = -4/5?
False
Suppose 2*h - a - 5 = -4*a, h - 4*a = -3. Let d(u) = -191*u**2 - 1. Let y be d(h). Let p = -2878/15 - y. Is p > 1?
False
Let p be 0/6 - 2/2. Is 3/34 less than or equal to p?
False
Let z = -16 - -7. Let n = z + 10. Suppose 0 = -2*s + 4*s + 2. Which is greater: s or n?
n
Let x = -8 + 9. Let k = -2 - x. Is k greater than or equal to -3?
True
Let t be ((-9)/(-8) - 1)/((-6)/(-20)). Which is smaller: t or 1/2?
t
Suppose -4*g + 0*g = -72. Let k be (-1)/3 - 129/g. Let h = -139/18 - k. Is 1 > h?
True
Let i be (-2)/6 - 26/(-6). Let t be i + 0*(-1 - -2). Suppose -5*n - 8*l + t*l = -6, n - l = 3. Is 3