t z = -0.108 + b. Which is greater: z or 2/69?
2/69
Let c be (-4)/10 + 285/25. Suppose -n + 4*f + 8 = 0, -5*n + 3*f + 61 = 4*f. Is c < n?
True
Let s be ((-2)/(-4))/(6/36). Which is greater: 141 or s?
141
Let g = 119/2 + -1075/18. Is g equal to 55?
False
Let w be (-2)/(-6)*(-21)/7. Suppose 24 = -3*z - 156. Let h be (z/25)/(w + 3). Is h >= -1?
False
Let y = 5.2567 - 5.2. Is 2 < y?
False
Let p(i) = -5*i**2 - i - 4. Let s(h) = -6*h**2 - 4. Let a(t) = 3*p(t) - 2*s(t). Let r be a(-3). Let g = r + 13. Is g greater than 0.2?
False
Let f(m) = -m**2 - 13*m - 17. Let a be f(6). Which is smaller: -132 or a?
-132
Let a = -2536/3 + 347426/411. Is 0 bigger than a?
True
Let w = 7.032 + -7. Let g = w + -0.232. Which is smaller: g or -0.17?
g
Let a = 1.07 + 0.83. Let g = a + -2. Is 5/4 at least g?
True
Suppose -54 = 5*d + g - 7, -5*g = 10. Let b = 19 + d. Is b < 10?
False
Let c = -6 - -4. Let u be (-477)/6 - (c + -1). Let n = 6583/86 + u. Which is smaller: n or 1?
n
Let x(d) = d**3 + 8*d**2 + 7*d - 1. Let z be x(-7). Let m be (-48)/12*1/(-7). Which is smaller: m or z?
z
Let j be 20/(-3)*(-18)/15. Let c = -422 + 431. Which is smaller: j or c?
j
Let n = 218 + -1534/7. Are -9 and n non-equal?
True
Suppose 0 = 3*z + 5*t - 34, 4*z + 2*t - 22 = -0*z. Let d be 3 + 72/(-28) - -3. Is d smaller than z?
False
Let x = -1 - -1. Let y = x + -0.06. Let o = 4110 - 4110. Are o and y nonequal?
True
Suppose x - 9 = -3*w, 6*w - 4 = 2*w. Suppose 0 = -4*t + 3*f + 31, -3*f + f + x = 4*t. Is t bigger than 5?
False
Suppose -2*u = -u + 3*i, 5*i = 0. Is 4/561 at most as big as u?
False
Let t(l) = -l**3 - 2*l**2 + 4*l + 3. Let c be t(-3). Suppose 3*o - o = c. Is -12/13 < o?
True
Suppose -73 = 6*g + 119. Suppose 2*y = -2*b + y + 1, -5*b = 2*y - 1. Are g and b unequal?
True
Let k(j) = j**2 + 3*j**3 - 4*j**3 + 0*j**3 + 0*j**3 + 10. Let y be k(0). Suppose -35 = -5*v + y*v. Is v at most as big as -8?
False
Let l = 52 + -73. Let k = -21 - l. Is -2/67 greater than k?
False
Suppose -v - 9 + 10 = 0. Let y(d) = -d**3 + 3*d**2 - 5*d + 2. Let g be y(v). Is 1/58 at most as big as g?
False
Let m be 1 - 3/2 - (-15)/(-10). Which is smaller: m or -24/17?
m
Suppose 13*u - 14 = 12. Let t be (-204)/(-160) + (-2)/5. Is t > u?
False
Let o be (333/27 - 8) + -2 + -2. Suppose 0*f - 4 = 4*f - m, 3*f + 16 = 4*m. Is f at most o?
True
Let f = -227 + 385. Suppose 5*u = f + 62. Is u bigger than 44?
False
Let m be ((-9)/(-24))/(18/(-3252)). Let b = 4601/68 + m. Is b < 1?
True
Let f(h) = h**2 - 3*h + 1. Let p be f(3). Let n = 5806 - 46443/8. Is p equal to n?
False
Let w be -298 + 2 + 28/7. Is w greater than -583/2?
False
Let x = 26 + -37. Let z = x - -10. Let g = 67/6 + -11. Do z and g have the same value?
False
Let u be 79 + -86 + 5 + 1. Which is smaller: u or -1/396?
u
Suppose 0 = -0*v - 3*v + 4*x + 43, v = -3*x - 3. Suppose v*j = -5 + 14. Is j greater than 1/23?
True
Let w(k) = 4*k - 25. Let y be w(10). Let c be y/10 - (-70)/(-12). Let r = -10 - -11. Which is smaller: c or r?
c
Let m be 2/(-6) + 3/3. Let i = -0.039 + 1.139. Let b = -1.4 + i. Which is greater: b or m?
m
Let c = -660 + 661. Is 5/17 equal to c?
False
Let b be 12/14 + (-62)/7 + 9. Which is smaller: 5/29 or b?
5/29
Let n(i) = i**2 - 12*i + 11. Let l be n(9). Let m = l + 14. Let p be 1 - ((-12)/(-3) + m). Is 1 >= p?
True
Let l be (-891)/(-126) - (3 + 4). Which is bigger: l or -1?
l
Let h be (0 - 2)*(-2)/(-4). Is 2/5 at most h?
False
Suppose 908 = -4*i + 4*a, -i - 236 = -0*i - 4*a. Are -224 and i unequal?
False
Let z = 10 + -10.05. Let o = 0.05 - z. Which is smaller: 0.5 or o?
o
Let x(w) = 4*w + 7. Let g = 12 - 16. Let p(k) = 3*k + 6. Let a(r) = g*x(r) + 5*p(r). Let d be a(8). Is d <= -7?
False
Let s = -0.0453 + 2.0453. Let a = -1 - -1.1. Which is smaller: s or a?
a
Let g be 6/54 + 14491/1935. Suppose 5*k - 57 = 4*m, -6*k + m = -k - 48. Is g greater than k?
False
Let d(w) = 2*w**2 - 15*w + 9. Let g(m) = m**3 + 11*m**2 + 4. Let j be g(-11). Let s be d(j). Is s <= -19?
True
Let p = 30 + -32. Let v be (-31)/(-18) + p/12. Is v < 1?
False
Let o(w) = 3*w + 33. Let z be o(-11). Suppose z = -3*k + 5*k + 4*p - 2, 0 = 4*k + 4*p - 12. Which is smaller: 30/7 or k?
30/7
Suppose 148 = -49*o + 99. Do -3/668 and o have the same value?
False
Let p(u) = 2*u**3 - 11*u**2 - 52*u + 285. Let q be p(5). Suppose -5*o - 3*s = -2*o + 21, -5*s - 27 = 3*o. Let h be o/(-3)*(-2)/(-4). Which is smaller: q or h?
q
Let q = 54 + -122. Is q less than or equal to 0?
True
Let k be ((-112)/159 - (-24)/36)/4. Which is smaller: k or 2/7?
k
Let c = -63 + 36. Let x = c - -18. Is x less than or equal to -8?
True
Let q be (2/9)/((-873)/81 + 11). Which is smaller: q or 36/17?
q
Let k be (-1)/(2/(-19)) - 23/(-46). Suppose 0 = -k*x + 6*x + 384. Which is smaller: x or 95?
95
Suppose -16*s = -4*s. Suppose 3*c + c - 12 = 0. Suppose 0 = -c*d + 5*h - s*h + 5, 0 = 2*h + 2. Which is bigger: d or -3?
d
Let z = 22.958 - -0.042. Let a = 24 - z. Is a less than 6/13?
False
Suppose 0 = 4*h + 4*n - 172, -h + 35 = -n + 4*n. Let s = 801/17 - h. Suppose -4*x + 8*z - 3*z - 16 = 0, 2*x + 2 = z. Is x less than s?
False
Let f be (-122)/(-305) - (-294)/(-10). Which is greater: -23 or f?
-23
Let n = 30 + -28. Let d be (0 - n)*(-9 - (1 + -1)). Which is smaller: 16 or d?
16
Let p = 67 - 889. Is p equal to -822?
True
Let r = -2398 + 256582/107. Which is bigger: 1 or r?
1
Let g = -5719/124 - -185/4. Which is smaller: 0 or g?
0
Let z be ((-8)/(-13185))/((-20)/51350). Let h = z - -2/879. Which is smaller: h or -3?
-3
Suppose 2*v - 4*u = -10, 3*v - u - 4*u + 14 = 0. Let r = 6 - -14. Let k = r - 20. Are k and v equal?
False
Suppose 4*s = 2*j, -4*s + 0 + 8 = 0. Let k be (-56)/42*(-42)/j. Is 13 at least k?
False
Let h be (-2408)/(-184) + -8 - 5. Is -1/9 >= h?
False
Let c be ((-6)/(-10))/(3/20). Suppose 3*w + 4*x - 22 = 0, 0*x - 3*x = 3*w - 18. Is w <= c?
True
Let p(m) be the first derivative of m**4/4 + 10*m**3/3 + 7*m**2/2 - 4*m - 8. Let w be p(-9). Is -0.2 bigger than w?
False
Suppose -12 - 8 = 2*k. Suppose -51 = 5*c - 2*x, 8 = -c - 2*x - 7. Which is bigger: k or c?
k
Let j = 98 + -30. Is 68 equal to j?
True
Let k be (-12012)/(-1785)*(-6)/8. Let q = k - -27/5. Is 0 < q?
True
Let l = -543 - -541. Is l greater than -1.24?
False
Let k(p) = -19 - 1 + 3*p + 3*p - 4*p. Let w be k(14). Let i be w/(-54)*(-12)/8. Which is bigger: 1 or i?
1
Let q(j) = -26*j**3 + 6*j**2 + 7*j - 4. Let a be q(-2). Which is smaller: a or 213?
213
Let u(z) = z**2 - 10*z + 5. Let b(t) = 6*t**2 + 10*t - 15 - 2*t - t**3 + 18. Let h be b(7). Let s be u(h). Which is bigger: s or -2?
s
Let b be 4/(1/(-8)*18). Let j = b - -14/9. Let q(d) = 2*d. Let u be q(-1). Which is smaller: j or u?
u
Let o = -50.005 + 50. Let v = o + 0.105. Which is smaller: v or -17/5?
-17/5
Suppose 5*i - 5*w = 0, -5*w = -3 - 2. Let h be i*(-3 - (-5 + 3)). Which is smaller: h or 1?
h
Let l = -0.28 - -0.28. Is -12 at most as big as l?
True
Let o(w) = 36 - 54 - 3*w + 36. Let d be o(8). Is 6 not equal to d?
True
Suppose -j - j + 30 = 0. Let l = -19 + j. Let g be (-4)/10 + l/(-10). Is g != -1/19?
True
Let f = -4 - -10. Let c be f/(-4)*(-8)/(-6). Let g be 1/(-3) - 30/(-9). Does g = c?
False
Let n(w) = w**2 - 39*w + 170. Let z be n(34). Is z smaller than -4/71?
False
Let k(v) = -v**3 + 13*v**2 - v + 13. Let b be k(13). Let z = -6 + 32. Is z at most as big as b?
False
Suppose -13*a + 786 + 436 = 0. Is a < 95?
True
Let c = -1130 + 1128. Is 6.46 greater than c?
True
Let u(v) = -v**3 + 10*v**2 - 11*v + 48. Let k be u(8). Is k < 86?
False
Suppose 5*z + 4*v = 54, -3*z + 3*v = v - 28. Let l be -6*((-9)/z - -1). Let w be -13 + 10 + -4 - -4. Is l equal to w?
False
Let r be 0/2 + 1/(-5)*(-15)/21. Let g be (-2)/3 - 2/(-3). Is g bigger than r?
False
Let a = 1369/6 - 50521/222. Is a != 1?
True
Let v = 9 + -10. Let g(o) = -o. Let x be g(v). Suppose -8*y + 6 + 2 = 0. Are x and y nonequal?
False
Suppose -16*j - 16 = -2*s - 17*j, 44 = 4*s - j. Let u be 2*(-3 + (65/s - 4)). Let n be 32/119 - 4/14. Which is bigger: u or n?
n
Suppose -4 = -h - 5*b, 4*b = -4*h + 2*h + 20. Let t(s) = s**3 - 7*s**2 + 11*s - 16. Let c be t(6). Is h smaller than c?
False
Let o be (-20)/(11/1 + 3). Which is smaller: -2 or o?
-2
Suppose -94 - 201 = 5*u. Let a = -58 - u. Which is smaller: a or 17/7?
a
Let f be -1 - (0 + (-1626)/1622). Let b be 3