f - 6 = -0*f. Suppose 25 = -f*a + 11*a. Is 13/3 greater than or equal to a?
False
Suppose -3*z + 0*z = 12. Let a(y) = y**2 - 3*y + 2. Let g be a(z). Is g > 29?
True
Let s be ((-15)/(-45))/(346/12). Is -2 less than s?
True
Let s = 0.8 + -0.5. Let q = -2.7 - s. Let v = -2 - q. Is -1/5 less than v?
True
Let m be -7 + (18/(-54))/((-6)/127). Let o be -1*(1 - 2 - 0). Is m not equal to o?
True
Let r = -323 + 270. Is -51 greater than or equal to r?
True
Let k = 927361/22710 + -6/3785. Is 41 at most as big as k?
False
Let u be 3/6*(1 - -9). Suppose 5*a = u, 2 = 2*v - 3*a - 5. Suppose 2*k + 4 = 3*k - 2*g, -v*k + 3*g + 6 = 0. Which is bigger: 1/3 or k?
1/3
Let p = 34 - 77. Let v be (-4 + 5)*-1 + p/7. Is v at most -8?
False
Let j = -7.44 - -7.4. Which is bigger: j or -0.2?
j
Suppose -2*m - 3*m = j - 55, 0 = -2*m + 5*j - 5. Suppose -5*s = -m*s + 40. Suppose 0 = -3*b - 1 - s. Do b and 1/6 have different values?
True
Let s = -177 - -177.3. Which is smaller: s or 1.6?
s
Let t = 1 - -5. Let w be (-1 - 0)/(t + 3). Suppose -o = 4*p + 5, -5*o - 4*p - 2 - 7 = 0. Which is smaller: w or o?
o
Let o = -0.085 - 34.915. Let k = o + 35.2. Is -1/4 >= k?
False
Let w = 698/5 - 140. Let f = -878 - -878.2. Which is smaller: f or w?
w
Let k(h) be the first derivative of -h**5/120 - h**4/6 + 2*h**3/3 - 5. Let g(c) be the third derivative of k(c). Let w be g(-4). Which is smaller: w or 5?
w
Let v(o) = o**3 + 35*o**2 + 6*o + 267. Let f be v(-35). Which is bigger: 55 or f?
f
Let g(u) = -u - 4. Let y be g(4). Let x = y - -10. Suppose -2*f - 28 = 4*o, -3*f + o - x = 19. Is f smaller than -9?
False
Let a = 691 - 553. Is 141 at most as big as a?
False
Let i = -10 + 10. Let q = -447 + 4027/9. Are i and q equal?
False
Let k = 0.63 - -0.07. Let g = -47 - -51. Suppose n + 5 = -2*y - y, -4*n - 20 = g*y. Is k < y?
False
Let s = -601 - -746. Is s not equal to 146?
True
Suppose a - 16 = 2*y, -5*a + 38 = -5*y - 32. Let t(f) = f**2 - f - 2. Let b be t(4). Is b <= a?
True
Suppose 5*f - 15 = 0, 0*y - 2*y = f + 61. Let j = -129/4 - y. Is 0.19 > j?
True
Let o = -0.96 - 0.04. Let j = 10.3 + -16.3. Which is bigger: j or o?
o
Let y(u) = u - 6. Let w be y(16). Suppose -w*k = -5*k - 10. Let i = 2/285 + -32/285. Which is smaller: k or i?
i
Suppose -52 = -5*b + c, 2*b + 2*c = 3*b - 5. Let s be (2 - (-3)/3) + -1. Suppose -s*l + 0*l = -20. Which is greater: b or l?
b
Suppose 4*w + 7 = -i - 1, 4*w - 3*i = 8. Let s = 211/351 + -10/27. Is w greater than s?
False
Let v = -0.0655 - 0.5345. Which is smaller: v or -0.8?
-0.8
Let n = -197 - -197.086. Which is greater: -0.1 or n?
n
Let t = -1298 - -1305.97. Let r = t - 8. Let m = 0.03 + r. Is m != -3?
True
Suppose 0 = -4*v + 4*l, 3*l = -5*v + v. Is 10/197 at least v?
True
Suppose 8*m = 3*m - 5*w + 95, -m = 3*w - 27. Let u be (-25)/10*(-132)/m. Suppose -u = -y - 5*n, 14 + 24 = 5*y + n. Which is greater: -0.1 or y?
y
Let i be 14/4 + -7 + 5. Let x be 224/126 - 1*(-4)/18. Is i < x?
True
Suppose 0 = 4*f - 4*d - 2984, -654 = -4*f - 4*d + 2298. Is 741 > f?
False
Suppose 0 = -4*q - 3*x + 19, 0 = -4*q + x + 15 - 0. Let r(y) = 0*y + 2*y**2 + q*y - 7*y. Let g be r(2). Is 2 smaller than g?
False
Suppose 1 = -h - 4*u, -3*h + 4*u - 53 = 2*h. Let g be (-3*2)/(h/6). Suppose -g*w + 2*x - 13 = -5*w, -3*w + 24 = x. Is 5 equal to w?
False
Let x = -12 + 11. Let m be (-10)/(-28) + x/4. Let c = m - -67/28. Is 3 bigger than c?
True
Let a = 9616 + -500049/52. Let n be (-2)/(-7) + (-66)/182. Let s = a - n. Does 1 = s?
False
Let q be 2 + (-3 - 9/(-3)). Suppose 10 = q*f - 10. Suppose -4*u + 10 = -5*v + 4*v, -2*v + 3*u - f = 0. Is -1 less than v?
False
Let k be (-12)/(-1)*(-1)/(-3). Let h be 4/k + 36/(-28). Let b = 52 - 207/4. Is h >= b?
False
Let u = 105 + -29. Let a = -102 + u. Which is smaller: -25 or a?
a
Let a be 12/20 - (-2216)/40. Suppose 4*i + a = 52. Let d = 1/67 - -62/335. Which is smaller: d or i?
i
Suppose 3*q = 4*q, -3*y = -4*q + 6. Let k be (-24)/(y/(-8)*4). Which is greater: -47/2 or k?
-47/2
Let f = 8789 - 5510704/627. Is -1 greater than f?
False
Suppose 33*w = -110 + 44. Let c be (2 + -1)*3/(-2). Let t = c + 0. Which is smaller: t or w?
w
Let g(t) = t**2 - 5*t + 19. Let w be g(11). Suppose -3*l = -w + 61. Which is bigger: l or 23/3?
l
Let y be 620/(-248)*84/(-5). Which is smaller: y or 43?
y
Let h be 2/2*4*2. Suppose -4 = 2*l - h. Suppose 0 = l*w - 7*w. Is 1 at least as big as w?
True
Let z(k) = -k**2 - 18*k + 15. Let o be z(-16). Suppose -77 + o = -3*n. Is n < 9?
False
Suppose -44*g - 45 = -5*d - 46*g, 3*g = 0. Let k = 31 - 20. Is k < d?
False
Suppose -16*i + 1200 = -1936. Which is greater: i or 198?
198
Suppose z + 1 - 5 = -4*r, 5*r = 4*z - 16. Let v(l) = 11*l**2 + 603*l - 109. Let k be v(-55). Which is greater: r or k?
k
Suppose -3*x - n + 5 = -67, 3*n = -5*x + 124. Which is smaller: x or 5?
5
Let g = 19497/259 - 526/7. Which is smaller: -1 or g?
-1
Suppose 0 - 6 = -3*z. Suppose z*w + 4*m = 13 + 13, -4*w = -m - 16. Which is greater: 6 or w?
6
Let y = 82.53 + -1.53. Let a = 79 - y. Which is bigger: a or 24?
24
Let x = 22 - 5. Suppose 0 = -3*k - x + 5, 2*a = -4*k + 64. Let y be 10/a*(-12)/(-7). Is y greater than -2/7?
True
Let c = 8.8 + 1.2. Let i = c + -9. Let w be 4*1 + (-56)/14. Is i bigger than w?
True
Suppose 3 = -z + 8. Suppose 5 = 3*a + 2, 3*r - 4 = z*a. Suppose 0 = r*k - 3 - 0. Is 2/23 bigger than k?
False
Let d = 47/110 - 3/110. Let n = 17 - 18. Which is smaller: n or d?
n
Let w be (-2450)/105*(-12)/(-10). Is w at least as big as -25?
False
Let k = 2090.1 - 2090. Are k and 123.3 non-equal?
True
Let t(y) = y**2 - 24*y + 21. Let h be t(-12). Is 452 > h?
False
Suppose 6*r + 19 = 5*r. Let v = r + 20. Is 1 at least as big as v?
True
Let p(d) = 7*d + 22. Let v be p(-3). Let w(t) = 13*t - 6. Let x be w(v). Let f = 88/15 - 26/5. Do f and x have different values?
True
Suppose 13*z + 66 + 40 = -50. Suppose 4*d - 3*x = -95 + 39, 2*x = 2*d + 30. Which is bigger: z or d?
d
Let s be (-12)/(-60)*1 + 937/(-10). Is s at most -93?
True
Let l be (15 + -6)*5/(-1). Is l > -8?
False
Let x(o) = -3*o**3 + 2*o**2 + 4*o + 3. Let g be -2 + (-9)/(-6) - 3/2. Let y be x(g). Is y smaller than 26?
False
Let j = 903/5 - 180. Which is smaller: j or -29?
-29
Let w = 39.2 - 38. Let l = -0.7 + w. Which is greater: 1 or l?
1
Let y be 1/4 - (-338)/(-8). Let z = y - -464/11. Let b = 14504 - 14502. Is z < b?
True
Let t be 2 + 5 + (-835)/(-25). Is 40 greater than or equal to t?
False
Let m be -1 + 1 - (-141)/12. Let r = 10772 - 129107/12. Let d = r - m. Is 2 < d?
False
Let a(i) = i**2 + 24*i - 41. Let o be a(-26). Which is greater: 6 or o?
o
Let n be 7 - 56 - (-7 - 0). Which is greater: -40 or n?
-40
Let o(u) = u**3 + 3*u**2 - 7*u. Let y be o(-3). Let m be 4/6 + 13/y. Does m = 1?
False
Let w(v) = -9 - 3*v + 4*v**2 - 3 + 8*v - 20*v**3 + 19*v**3. Let o be w(4). Which is greater: 7 or o?
o
Let y(t) = 2*t - 24. Let c be y(12). Suppose c = -4*j - 15 - 33. Suppose -46 = 5*n + 19. Is n <= j?
True
Let g = -393743 - -28743743/73. Let t = g + -43439/4526. Let i = t - -6/31. Which is bigger: i or -4?
i
Let w = -28 - -88. Let p = w + -31. Is p smaller than -0.1?
False
Let a = 1199 + -147479/123. Is -1 bigger than a?
False
Let n be (2/(-8))/(45/760). Is -5 equal to n?
False
Suppose -7 = -2*z + 1, -2*n + 3*z + 158 = 0. Let t = n + -81. Suppose 4*r + r + 1 = 2*o, 19 = 5*o + 4*r. Is t equal to o?
False
Let o(s) = -s**3 - s**2 - s - 480. Let j be o(0). Is j at most -479?
True
Suppose 5*o + 5*v + 15 = 0, -12*o + 8*o - 2*v = 4. Let d = -314 - -14757/47. Which is greater: o or d?
o
Let r = -415288/127 + 3270. Let s = r - 171/2794. Let t = -33 - -33. Which is greater: t or s?
t
Let a = 3.235 + -0.295. Is 0 less than or equal to a?
True
Let q(k) = -24*k**2 - 9*k - 10. Let p be q(-7). Which is smaller: -1122 or p?
p
Suppose 4*a - 5*x = -6*x - 9, -5*a = 5*x + 30. Do a and -5/19 have the same value?
False
Let x(g) = -15*g - 123. Let u be x(-9). Which is greater: u or 13?
13
Suppose 0 = -4*q - 4*q + 48. Suppose 0 = -11*c + q*c + 30. Which is bigger: 8 or c?
8
Let h be -4*(2 + -1) - -45. Suppose -h*p + 38*p + 36 = 0. Is p at most 11?
False
Let q = 3.94 + 0.06. Let v = 370.7 + -371.7. Is q greater than v?
True
Let g(r) = -r**3 + 4*r**2 + 5*r - 7. Let k be g(5). Let f = k + -1. Is -1 > f?
True
Suppose 0 = 3*t - 2*u - 26, t + 13 = -u