 c have different values?
True
Suppose 0 = -3*p + p. Suppose -9 = 3*t - p*t. Suppose -5*u = -4*k + 19, -10 = 2*u - 20*k + 16*k. Is t greater than or equal to u?
True
Let l = -1.161 + 1.44. Which is bigger: -0.4 or l?
l
Let b = 1199/35 + -9277/280. Let j = -12 + 36. Suppose 4*h + 4*v - 30 = -h, 2*h - j = -4*v. Is h at least as big as b?
True
Let w = 446 + -499. Is -51 at least as big as w?
True
Let i = -8 - -13. Suppose -3 - 87 = -i*p. Is p greater than 18?
False
Let h = -2643/5 - -526. Is h > -4?
True
Let d be (5/(-9))/(30/(-36)). Is d at least as big as -3/2?
True
Suppose -4*o = 4*x + 60, o - 3*o + 3*x - 20 = 0. Suppose -2*t + 22 = -2*n, -4*t = 2*n + 56 - 4. Which is bigger: n or o?
o
Suppose 6*m - 20 = 11*m - 5*h, 0 = 4*m - 2*h + 10. Which is greater: m or 17/40?
17/40
Let q be 3/(-8) + (-6765)/(-120). Let f = q - 225/4. Which is smaller: f or 0.1?
f
Let f be (-40)/91 + 30/105. Is f <= 7?
True
Let s = 706 + -732. Which is smaller: s or 0?
s
Let i = 12 - 25. Let a(w) = -2*w**3 - 8*w**2 + 3*w - 1. Let r be a(-4). Is r <= i?
True
Let x(n) = -n**3 - 18*n**2 - 30*n + 34. Let h be x(-16). Which is bigger: -46 or h?
h
Let h = -7 - -6. Let x be (4 + (-409)/102)*4. Do h and x have the same value?
False
Suppose -3*s + 250 = -4*z, -3*z = 5*s + 174 - 1. Is -61 greater than z?
False
Let r = 0.92 + 5.08. Which is bigger: r or 4/15?
r
Let r be (-1)/(7 + (-1255)/180). Which is smaller: r or -41?
-41
Let q = -11/162 - 3761/81. Let a = 653/14 + q. Is 0 greater than a?
False
Let t(f) be the third derivative of f**5/60 - 5*f**4/24 - 7*f**3/6 - 3*f**2. Suppose 0*r = 5*r - 30. Let u be t(r). Which is bigger: 2/33 or u?
2/33
Let n = -534 - -534. Let w(c) = -c**3 + 2*c**2 + 1. Let x be w(2). Do n and x have the same value?
False
Let b be (-10)/(-8)*(-7)/35. Let x = 575 + -570. Is x smaller than b?
False
Let m be (20/30)/(-2*(-2)/(-6)). Let d be (m*(3 + -3))/1. Which is smaller: d or -1?
-1
Suppose 2*s - 2*k - 224 = 0, 255 = 3*s - 2*k - 85. Is 115 >= s?
False
Let f(j) = -j**3 + 7*j**2 - 7*j + 5. Let c = -26 - -32. Let m be f(c). Which is smaller: m or -2/21?
m
Let z(w) = w + 2. Let d be z(8). Suppose 1 - d = 3*i. Let c(k) = -k**3 - 3*k**2 - k - 3. Let x be c(i). Is x at least as big as -1?
True
Let k = 62921/89 + -707. Let t(c) = 3*c + 10. Let w be t(-3). Which is greater: k or w?
w
Suppose 0 = -46*v + 1 - 47. Is 11/126 less than v?
False
Let u = -14583/46 + 317. Which is greater: u or -1?
u
Suppose 240 = -2*k + 6*k. Let u be ((-2)/(-5))/(1 + (-58)/k). Which is smaller: u or 8?
8
Let g(h) = h - 1. Let x be g(5). Suppose z - x = o - 2, 2*z - 3*o = 6. Is 10/7 greater than or equal to z?
True
Let j(u) = -2*u**2 - 14*u + 15. Let f be j(-10). Let s = 43 + f. Which is smaller: 0.22 or s?
s
Suppose 2*n = q + 8, -n + 20 = 4*n + 2*q. Suppose -2*d + 4*d = n*c - 18, 4*d + 4*c = 24. Let u be (-6)/(-4)*4/30. Is d bigger than u?
True
Suppose k - 4*f = -3*k - 12, -3*k = -5*f - 1. Let j be (20/k - -3)*8/(-4). Which is greater: -1/18 or j?
-1/18
Let k(p) = -2*p**2 + 21*p - 15. Let s be k(8). Let u = -17 + s. Which is smaller: u or 3?
3
Let c = 106 + -441/4. Which is smaller: c or 4?
c
Let z(f) = -f**2. Let q be z(-1). Let d = 140169/5 - 28036. Which is smaller: q or d?
d
Let z(q) = 16*q + 88. Let k be z(-56). Which is smaller: k or -806?
k
Let x(t) = t**2 + 4*t - 5. Let c be x(-5). Let l = 8149/34 + -479/2. Which is smaller: l or c?
c
Let m = 1029 + -812. Are m and 217 non-equal?
False
Suppose 0 = 3*t + 2*t. Suppose -2*w - 8 = -t*w. Let o be (38/342)/(1/9) - 6. Which is greater: o or w?
w
Let j be 1/2 + 19/38. Which is smaller: 1/101 or j?
1/101
Let k = 0.07 + -1.07. Let x = 7 - k. Let z = x - 7. Are -0.3 and z unequal?
True
Let q be 0/(-23)*(-1)/(-4). Which is bigger: q or 5/29?
5/29
Let t = -38 + 37.952. Let h = t - 1.952. Which is greater: -21 or h?
h
Let o = -432 + 14685/34. Let b = 0 - 0. Are b and o equal?
False
Let d(y) = 33*y - 165. Let t be d(5). Let l = 318 - 8905/28. Is t bigger than l?
True
Let l = 64 + -63.85. Is l at most as big as 2/19?
False
Let k = -13 - -12. Let a = 35.2 + 23.1. Let d = 58 - a. Which is bigger: k or d?
d
Suppose -4*k + 5*p + 56 = -6, k = -4*p + 26. Is 18 >= k?
True
Let t(q) be the third derivative of q**6/120 - q**5/30 + 3*q**2. Let p be t(1). Suppose 0 = 5*w + 4*h + 14, 2*h - 9 = 4*w + 3*h. Does p = w?
False
Let c = -31 - -31. Let l be (-3 - (-6)/3)*2. Which is smaller: l or c?
l
Let b = -166418/265 - -628. Which is bigger: -1 or b?
b
Let t be ((-1)/(-3))/((-58)/48). Suppose 2*f = 2*s - 6, 456*f - 452*f + 8 = 0. Which is smaller: s or t?
t
Suppose 4*f = -2 + 14. Suppose -3*k = f - 18. Suppose -k*m + 9 = -z, -m - 1 = 4*z - 7. Which is smaller: -1 or z?
-1
Let z = 0.12 + -0.82. Suppose 4*f + f = 2*c - 23, 2*f + 29 = 3*c. Let m be 3 - (c/3 - 2). Which is smaller: m or z?
z
Let h = 61/2 - 303/10. Suppose 3*q - 1 = 4*q. Let t be 2 + 0/q + -1. Is h > t?
False
Let h = -120.4 - 580.6. Is 1 >= h?
True
Let t = -133 - -28. Let p = t + 189. Is 85 greater than p?
True
Let q be (4 - -3*25/(-18))*-2. Is 0.4 at least q?
True
Suppose 63 - 21 = -3*n. Let s(a) = -a**2 - 14*a - 1. Let w be s(n). Let m be (0 - 0/2)/(-1). Which is bigger: w or m?
m
Suppose 3*h - 5*h + 2 = 0. Suppose -3 - 6 = 3*n, -2*y + 2*n = 54. Let z be (20/y)/(22/(-6)). Which is smaller: z or h?
z
Suppose 3*r = 3*d + 2*d + 97, -4*r = 2*d + 18. Which is smaller: d or -15?
d
Let u be (0 - 3 - -16)*1. Suppose -3*b - u = 17. Let k = b - -17. Is 8 less than k?
False
Suppose 0 = 4*i - 256 - 20. Let q = 66 - i. Is q at most as big as -36/11?
False
Let u be (4/18)/((-4829)/1284). Let h = u + -2/1317. Let x(o) = -o**2 + 15*o - 13. Let y be x(14). Which is smaller: y or h?
h
Let k be (-2 + (-68)/20)*1. Let s = k - -5. Let u = 2 + -2. Which is smaller: u or s?
s
Suppose 2*j + 3*h + 4 - 1 = 0, 21 = 5*j - 2*h. Suppose 0 = 2*s + j*s + 135. Let d = -41 - s. Do d and -14 have different values?
False
Let f = -0.12 + 0.14. Let c = 2.02 - f. Let h = -2 + c. Is h at most as big as 1?
True
Let b be 22/4*(-2 - (5 - 11)). Let y = 52 + -30. Is b != y?
False
Let h = 166 + -165.9. Which is smaller: h or 926?
h
Suppose -9*h = -13*h + 48. Suppose -2*w - b - 6 = b, 4*b = -w - h. Which is smaller: 8/5 or w?
w
Let d = 126 - 66. Suppose 0 = 2*t + 2*t + j + 60, d = -4*t + 4*j. Does t = -15?
True
Let p(h) = 2*h**2 - 9*h + 3. Let a be p(-2). Is -10 greater than a?
False
Suppose 3*y = -5*i + 2439, 5*y = i - 3*i + 987. Is 487 smaller than i?
False
Let a = -115.947 + -0.053. Let w = a + 116. Is -5 > w?
False
Let r be 249/126 + (-2 - 0). Let z be (1 - 4) + 5 + (-2 - 1). Is r greater than or equal to z?
True
Suppose 61 = 4*i - r - 25, 4*i = -r + 82. Suppose -i*x + 17*x + 60 = 0. Suppose -n + x = -4. Is 18 greater than n?
False
Let z = 6 + -3. Suppose -w + z*w = 6. Which is smaller: 4 or w?
w
Let o be 2 - 2 - (0 - 2). Suppose -3*z - 2*r + 15 = 0, 5*z = -4*r - r + 30. Let i be z/(-15)*(-3 - 2). Are o and i equal?
False
Let j be (11/(-12188))/(1/20). Is j less than -1?
False
Let x(q) = -q**3 - 30*q**2 - 87*q - 159. Let k be x(-27). Let a = 61 - 117/2. Which is smaller: k or a?
a
Let z = 246.6 - 125. Let b = -122 + z. Which is bigger: 20 or b?
20
Suppose 4*u - 3*w - 103 = 0, -u + 2*w - 4*w = -12. Suppose 0 = -3*t - 4*p + 15 + u, 12 = 3*p. Which is bigger: t or 11?
11
Suppose -3*g - 6*p + 10*p = -63, -2*g + p + 37 = 0. Which is smaller: 9 or g?
9
Suppose r + 18 = 4. Let w be (1 - 1)/(12 + r). Is w at least -2?
True
Let j = 2952319/11331980 - 2/566599. Let r = 1/95 - j. Is -2 at most r?
True
Let v be (-3 - (5 - 10) - 7)*55. Is v greater than -275?
False
Let h be ((-4)/(-12))/((-1)/(-2)). Let u = -0.004 - 0.276. Let m = u + 0.08. Is m bigger than h?
False
Let h = -2 + 2.1. Suppose 0 = 3*u - 4*b - 33, 0 = -2*u + 3*b - 2*b + 17. Is h at most u?
True
Let l = 321/5 + -64. Let q = 8 - 3. Suppose -q*u + d - 6 = 0, -2*u + 0*d = -4*d + 6. Which is greater: l or u?
l
Let j be (100/(-175))/(4/(-14)). Is 413 < j?
False
Let k(w) = -w - 3*w + w + w**2 - 6. Let l be k(5). Let b be (l/(-6))/(2/3). Do b and -1 have different values?
False
Let j(u) = 2*u. Let d be j(0). Suppose d = 2*f - 2*g + g - 3, g + 2 = 3*f. Let w(a) = a - 5. Let m be w(3). Which is bigger: f or m?
f
Suppose 0*i - 65 = -5*i. Let h = 34 + -48. Let w = i + h. Is w > -1?
False
Let b = -13