t y(i) = 5*i**2 + 1. Let t be y(-1). Suppose -52*j - t = -49*j. Is j greater than or equal to 0.14?
False
Suppose 4*h = -2 - 6, 3*x + 4*h = -44. Suppose 0 = -4*d + c - 49, 14 + 11 = -d - 4*c. Is d equal to x?
False
Suppose -6*r + 24 = -0. Suppose 16 = r*m, -3*m = -2*z - 0*m - 92. Is -40 not equal to z?
False
Let q = -40 - -44. Let l be (-488)/56 - q/14. Which is bigger: l or -8?
-8
Let k(a) = 9*a**2 + 17*a - 130. Let g be k(8). Which is smaller: 581 or g?
581
Let h be (-2 + 0 + 2)*-1. Let o = 15/11 - 259/198. Is o >= h?
True
Let o = 25 + 0. Let w = 26 - o. Is 2/75 smaller than w?
True
Suppose 2*k + 2*z + 10 = 0, -16 = k + 3*k + 3*z. Let p be (-14)/7 + k/(-1). Which is greater: 0 or p?
0
Let r = 7080/703 - 322/37. Is 2 not equal to r?
True
Let g = 24 - -12. Let w = g + -254/7. Are 0.2 and w nonequal?
True
Let x = -944 + 725. Is -1096/5 smaller than x?
True
Let l = 0.9515 - -0.0485. Which is smaller: l or 0.651?
0.651
Let b(p) = -2*p**2 + 14*p + 1629. Let d be b(-25). Suppose -2*v + 12 = -48. Does d = v?
False
Let k = -0.5 - 3.5. Let t = 113.6 - 114. Which is smaller: k or t?
k
Let d(o) = -4*o**2 - 1 + o**3 + o + 2*o + 4. Suppose -1 = w - v, 0*w - 3*v + 6 = -2*w. Let p be d(w). Is 3 at least as big as p?
True
Let r be ((-172)/123)/((-252)/(-9774)). Let u = -380/7 - r. Which is smaller: u or 0?
u
Suppose 10*z + 1 - 11 = 0. Let c = 0.047 + 0.043. Is c at least z?
False
Let w = 11259401/816 - 41398/3. Let q = w - -13/16. Which is greater: -1 or q?
q
Let i(u) = u**3 + 6*u**2 + u + 14. Let o(f) = 3*f + 51. Let v be o(-19). Let p be i(v). Which is greater: 7 or p?
p
Let q = 36 - -12. Let p = 49.1 - q. Are -0.2 and p equal?
False
Let s = -11 - -12. Suppose -4*q - 20 = 0, 0 = -5*g + 2*q + 21 - s. Suppose 3*k + 5 = -4*v, 4*v + g + 4 = -2*k. Which is greater: -1/7 or k?
k
Let o = -0.06 + -0.02. Let w = -21 + 16. Is o >= w?
True
Let u(n) = -26*n - 46. Let b be u(-2). Which is smaller: -18 or b?
-18
Let b = -1393/2 + 676. Is -22 equal to b?
False
Let t = -52 + 77. Let p be 1/4 + t/(-4). Let j = 2294 - 2299. Is p less than or equal to j?
True
Let c(t) = t. Let h be c(5). Let r(i) = 119*i - 1 - 57*i - 61*i. Let v be r(h). Is 3 greater than v?
False
Let w = 227 + -202. Are 23 and w non-equal?
True
Let v = 1460257/24827 + -647/11. Which is smaller: -1 or v?
-1
Suppose 0 = 3*o + o. Suppose o = -2*z + z. Let w = 4990/13 + -384. Are w and z nonequal?
True
Let j(s) be the first derivative of -s**3/3 - 3*s**2 + 10*s - 68. Let b = -5 + -4. Let v be j(b). Is v at least as big as -17?
True
Suppose 50 = 5*f + 55. Let o be 12/(-84) - (-1)/7. Which is bigger: f or o?
o
Let w(f) = 3*f + 6. Let t(z) = -2. Let o(a) = 14*t(a) + 2*w(a). Let c be o(7). Which is smaller: 25 or c?
25
Let z be (-1137)/9 + (3/(-9))/(-1). Let w = z + 155. Which is smaller: w or 30?
w
Let g(s) = 3*s - 5. Let u be g(3). Suppose -i = 4, -2*k + 2619 = 3*k + u*i. Let b = k + -4735/9. Is 2 bigger than b?
True
Let a = -1/13094 - -2160523/170222. Which is smaller: 14 or a?
a
Let x = -19/128 - -2327/13952. Suppose -2*g + 3*t + 3 - 14 = 0, -2*g - 3*t = -7. Is g at least x?
False
Let o = -2709.9 + 2710. Is -1505 not equal to o?
True
Let j = 20.7 + -27. Let n = j - -6. Are 2 and n equal?
False
Let d = -0.7 + 0.7. Let v(o) = o**2 + 3*o - 11. Let c be v(-5). Which is smaller: c or d?
c
Suppose -69 - 36 = -5*x + 2*y, -4*x = 4*y - 56. Suppose c + x = 4*b, -c = 4*c + 3*b - 20. Let i(a) = a**3 + a**2 + a - 1. Let s be i(0). Are s and c non-equal?
True
Suppose -4 - 4 = -2*w. Suppose w*j - 20 = 8. Which is smaller: j or 8?
j
Let p be (11*4)/(4 + 2 + -4). Let f be (-110)/52 + 33/p. Is 0 equal to f?
False
Let r = -2 - -2. Let v = 14 - r. Let w be (-22)/8 + (v - 12). Which is smaller: -1 or w?
-1
Let q(a) = 2*a + 60. Let r be q(7). Which is bigger: -3 or r?
r
Let d = 129.61 + -129. Let n = d - 0.41. Which is smaller: -0.07 or n?
-0.07
Let r = 9/101 - -38/707. Which is bigger: 1/8 or r?
r
Let u = 1 + -2. Let g = -5/659 - 6545/5931. Do u and g have the same value?
False
Suppose -66 = 4*f - 58. Let p be (1 - -12 - 3)*f/45. Let h = -0.1 + 1.1. Are p and h nonequal?
True
Let r(b) = -b**2 - 5*b + 5. Let o be r(-5). Suppose -o*a + 24 = -a. Let m be 2*(-15)/a*1. Is -5 at most m?
True
Let r be (-18)/(-48) - (-1266)/(-816). Suppose -b - 3*b = 8. Does r = b?
False
Let i be (-17)/3 + (-24)/18. Suppose -35 = 3*w + 2*w. Let p(o) = o - 1. Let k be p(w). Is k <= i?
True
Let u be 4 + (-2)/4 + (-6328)/(-16). Is u equal to 400?
False
Suppose 0 = -a + 17 - 2. Let t be (-4)/35 + 6/a. Let j = -14/9 - -80/63. Is t at most as big as j?
False
Suppose 3*n - 17 = -2*p, 2*p + 6*n - n = 15. Suppose p*l - 6*l = -16. Is l less than or equal to 4?
True
Suppose 2*z + 4*o - 64 = 4*z, -101 = 3*z - o. Is -38 less than z?
True
Let d(k) = 4*k + 7. Let t be d(2). Let q = t + -14. Which is bigger: q or 2/37?
q
Let f = -7 + 4. Let n = -11944 + 11939. Which is greater: f or n?
f
Let o be 148/(-77) + 136/476. Which is greater: -1 or o?
-1
Let c = 3 + -3.14. Let f = c + 6.14. Let a = -1.05 - -0.05. Is f >= a?
True
Let s be (-3)/4 + (-59)/(-4). Let n = 23 - s. Let q = 7 - n. Which is smaller: q or 0?
q
Let o = -21.831 + 1.831. Which is smaller: -0.1 or o?
o
Let n be (-3432)/(-204) + -12 - 9. Which is smaller: -4 or n?
n
Let f = -8.5 + -26.5. Let x = f + 35. Which is smaller: x or -2/21?
-2/21
Let n(d) = -6*d**2 - 11*d + 13. Let v be n(-7). Which is smaller: -205 or v?
-205
Let c(v) = 2*v**2 + 29*v + 101. Let x be c(-6). Let b = 5 + -7. Which is greater: b or x?
x
Let c be (-2)/(-2) + (4 - 4). Let j be (5*-94 - -2)/1. Let f = -4216/9 - j. Which is greater: c or f?
c
Let g = -531 + 530. Is g bigger than -6/89?
False
Let u(q) = q. Let c be u(8). Suppose -5*v = -3*v - c. Let b be (-4)/8 + 1/v. Do -1 and b have different values?
True
Let a = 8.96 + 0.04. Suppose -3*w = -9, 5*w + 3 = 5*u + 33. Is a less than or equal to u?
False
Let j = -796 - -838. Which is bigger: 30 or j?
j
Let n = -40.7 - 368.3. Is n > 3?
False
Let v = 18331684/546309 + 2/60701. Let h = v - 98/3. Which is bigger: h or 0?
h
Let l be (-4 - (-536)/140)/((-1)/(-5)). Which is smaller: -19 or l?
-19
Let w be (-194)/28 - (-9)/54. Let j = w + 45/7. Which is smaller: 0 or j?
j
Let j = -4.58 + 183.58. Is -1/4 equal to j?
False
Let w be 22/(2 + 2 + (-29712)/7048). Let c = w + 509/5. Let k be (2/4)/(2/4). Is k greater than or equal to c?
True
Suppose 3*z - 2*u - 76 + 227 = 0, 4*z = 2*u - 202. Is z at most -52?
False
Let n = -463/3 - -154. Which is greater: 96 or n?
96
Let w = 0.005 - -0.895. Let l = -2.6 + -0.4. Do l and w have the same value?
False
Let c = 98 - 94. Suppose -c*f + 580 = q, -f + 3*f + 4*q - 276 = 0. Is f >= 145?
True
Let x(f) = -f**2 + 5*f + 8. Let c be x(7). Let l = 4934/35 - 515/7. Let o = 67 - l. Is o greater than or equal to c?
True
Suppose -3 - 17 = -10*h. Suppose -3*d = v - 7, -2*v - h*d = 3*d - 12. Do v and 2/25 have different values?
True
Suppose 0 = 4*c + h - 248, -162 = -3*c - h + 25. Which is greater: 59 or c?
c
Suppose 2*g - 5*f - 327 = 0, -2*g = g - 4*f - 487. Which is smaller: g or 163?
g
Let g be 5/((-75)/(-24) + -3). Let t be (-2)/4 + (-22)/(-4). Suppose b - g = -4*b - t*m, 5*b = 4*m + 76. Which is bigger: b or 13?
13
Suppose 0 = 1455*y - 1449*y. Is y at least as big as -3/490?
True
Let p = 478 - 458. Is 115/6 smaller than p?
True
Suppose 8*z = -2*r + 7*z - 33, 0 = -r + 5*z - 11. Which is bigger: r or -13?
-13
Suppose -815 = 3*p - 29. Are -261 and p unequal?
True
Let c = 1625 - 1709. Which is smaller: c or -89?
-89
Let v(j) = -11*j**2 - 2*j - 8. Let o(s) = 10*s**2 + 2*s + 7. Let z(x) = -6*o(x) - 5*v(x). Let r be z(-2). Let b be (-4)/r*(-18)/(-12). Which is bigger: b or 1?
1
Let n = 0.041 - -0.159. Which is smaller: -1.37 or n?
-1.37
Suppose 2*n = 2*x + 12, x = 2*n - 9 - 6. Let h(m) = -m**3 + 9*m**2 + m + 3. Let s be h(n). Let v = s + -11. Is v at least 2?
False
Let k = -1 - -1. Suppose 21 - 36 = 5*o + 2*d, -d = 5*o + 15. Which is smaller: o or k?
o
Let v = -40 - -41. Suppose 4*m - 17 = -5*p, 0*p - 2*p = 2*m - 8. Suppose -5*h = 0, 5*h - 4 - 2 = m*w. Which is smaller: w or v?
w
Let u be 4/18 - 50/(-18). Suppose -54 = u*v - 6*v. Suppose -j = -4*m + 3*j, 4*j - v = -2*m. Which is smaller: m or -2/5?
-2/5
Suppose 0 = 2889*i - 2899*i + 60. Which is greater: -93 or i?
i
Suppose -2*g -