e 7*j - 618 = 5*j. Suppose 0 = x - 1, 3*m + x = j + 145. Is m >= 151?
True
Let u(w) = -6*w - 4. Let a(s) = 5*s + 4. Let h(v) = -4*a(v) - 3*u(v). Let z be h(-8). Which is smaller: z or 14?
z
Suppose -8*o + 55 = 111. Let a = 7 - -6. Suppose -a = 2*n - 3. Which is bigger: n or o?
n
Let t = -0.018 - 1.004. Let k = t + 0.022. Is k bigger than -1/3?
False
Suppose -7*o + 6*o = 0. Let s be (0 + o)/((-2 - -1)/1). Which is bigger: s or -1/10?
s
Let p be ((-5)/2)/(1/(-2)). Suppose -5*l + 19 - 4 = 0, p*l = -4*f - 1. Suppose -i - 5 + 1 = 0. Is f < i?
False
Let k = -0.06 - -0.06. Let f = -31 + 33. Let v = f - k. Which is smaller: -2 or v?
-2
Let x(a) = a**3 - 4*a**2 - 25*a + 16. Let j be x(7). Let z = 7 + -4. Suppose -7*t = -z*t + 48. Is t bigger than j?
False
Let m be (-7)/14 + -1*(-249)/483. Let c = 7059/1610 + m. Is c equal to 3?
False
Suppose -126 - 53 = -5*d + 4*s, 4*d - 140 = 4*s. Let l = -14 + d. Let j = l + -138/5. Is -4 greater than or equal to j?
False
Let k = 5 - 3. Let x(q) = 4*q - 1 + 4 - 7*q - 6. Let j be x(k). Which is bigger: j or -8?
-8
Suppose 10*l - 10 = 8*l. Suppose 0 = -4*n - 5*c - 87, l*n = -c - 26 - 67. Is 0 < n?
False
Let p = -254.9 - -255. Is -0.197 at least p?
False
Let f(m) be the second derivative of -m**3/6 + 5*m**2 + 14*m. Let x be f(-7). Are -1/3 and x equal?
False
Let b = -1/27393 - -977023/164358. Which is smaller: b or 5?
5
Let s = -0.271 + -32.729. Which is greater: 2 or s?
2
Let u be -39*(-5)/(30/(-2)). Are u and 1/3 unequal?
True
Let l = -194 + 194. Is l at least as big as -41?
True
Suppose -4*p + 241 = 3*q + 134, 6*q = 2*p + 284. Let h = 147 + -102. Is h less than or equal to q?
True
Let k(l) = -8*l. Suppose -2 = -g + j, -2*g - 3*j = 2*g + 13. Let m be k(g). Suppose -m = -3*f + 5*f. Is -5 >= f?
False
Let v(r) = r**3 - 6*r**2 + 1. Let n be v(6). Let w be (-2 - n) + 3 + (-2)/(-53). Let z(l) = l - 4. Let a be z(4). Which is smaller: w or a?
a
Suppose -2*t + 4*t - 96 = 0. Let r be (-6*(-3)/t)/9. Is -1 <= r?
True
Let k(y) = 28*y**2 - 338*y + 23. Let u be k(12). Which is greater: -222 or u?
u
Let g be (-4)/12 + (-40)/6. Let q be (-7)/(g/20) + 0. Is 21 smaller than q?
False
Let c be (-5 - (2 - (-135)/(-20)))*-4. Suppose 0*n = -n + 3. Let w be (n - 2)*-3 - -1. Is c at least w?
True
Let p be 736/12 - 1/3. Are 61 and p equal?
True
Suppose 150 = 2*p + 152. Let l(v) be the second derivative of v**4/12 + v**3/2 - 2*v**2 - v. Let d be l(-4). Which is smaller: d or p?
p
Let p be (147/66)/7*-3472. Let n = -1104 - p. Which is smaller: 2 or n?
n
Let b be (1 + (-5)/2)/(11/(-396)). Suppose 2*v = 2*j + b, -4*v - 46 - 14 = 3*j. Which is bigger: -25 or j?
j
Suppose 0 = -13*q + 10*q + 36. Suppose 0 = 7*k + 79 + q. Which is smaller: -12 or k?
k
Let h = 548 + -547. Which is smaller: h or 7/101?
7/101
Let k be 8/12*(26/14 - 4). Is -1/4 smaller than k?
False
Suppose -4*b - 3*p + 3 + 10 = 0, -4*b = -5*p - 53. Is 7 greater than b?
False
Let l be -3 + (3 - 21/78). Which is smaller: l or 1?
l
Let f = 1/35 + 1/14. Let x = 8 + -12. Let n be (-3)/6 - (-2)/x. Which is smaller: n or f?
n
Suppose 5*a - 3 = -33. Let o = a - -5. Let w = 24 + -24.04. Is w at least o?
True
Let v = 2.63 - 3.33. Which is greater: -8 or v?
v
Let r = 23 - 18. Suppose 4*p + 20 = 5*z, p = r*z - 21 + 1. Let d be 2/(-8) - (-9)/z. Which is bigger: d or 4?
4
Suppose -6*k - 4*q = -2*k - 8, -3 = 3*q. Suppose -2*l = t - 4*l + 2, 0 = -5*t + 2*l - 10. Let h = t + k. Is 0 greater than h?
False
Suppose 0 = 5*n - n - 4. Let r be -1*n*(-18 - -3). Let h = 10 - r. Is h at most as big as -2?
True
Let k be (2/5)/((-12)/(-15)). Let j = -2 + 27. Let u = 23 - j. Which is greater: u or k?
k
Let d = -2251/1988 - 3/284. Let y = 6 - 8. Do d and y have the same value?
False
Let q = -38 + 30. Let z = -3 + q. Is z at least as big as -13?
True
Let r = -0.4 + 0.47. Let l = r + -3.07. Let v = -3.02 - -0.02. Is v greater than or equal to l?
True
Let u be (-1)/2*(-5)/((-15)/(-18)). Suppose 0 = 3*m - 5*v - 17 - 3, u*m - 2*v - 8 = 0. Is 1 bigger than m?
True
Let k(d) = 4*d**3 + d. Let y be 6/(-8) + 7/(-28). Let c be k(y). Which is greater: -11/3 or c?
-11/3
Let i = -6/70537339 - -27311563899823/4655464374. Let t = 5866 - i. Let f = t - -8/11. Are f and -1 equal?
False
Let g be 8/(-14) - (-2)/7. Suppose 0 = 4*n - 3*l - 12, -18*n + 16 = -13*n - 4*l. Is n <= g?
False
Let o(c) = -c**2 - 7*c - 6. Let r be o(-6). Let d be (-54)/228*132/(-99). Do r and d have different values?
True
Let f = 292 + -229. Is 1 equal to f?
False
Let h = 0 + 10. Suppose -5 = -3*w + h. Suppose w*l - 5 = -30. Which is bigger: -6 or l?
l
Let f(p) be the first derivative of 3*p**2 + 4*p - 4. Let t be f(-4). Let l be ((-7)/(-14))/((-2)/t). Which is smaller: l or -2/5?
-2/5
Let j = 378 + 52. Let w = -8172/19 + j. Which is greater: w or -1?
w
Suppose -48 = -14*m + 10*m. Let w be (2/m)/((-5)/30*-1). Let b be 10/(-8) + (0 - -1). Which is smaller: b or w?
b
Let p = -0.06 + -0.53. Let x = p - -0.39. Let f = 4 - 2. Which is smaller: x or f?
x
Let n = -0.45 + 0.45. Let g = 47 - 84. Which is smaller: n or g?
g
Suppose -3*u - 18 = -84. Suppose -21*l + u = -19*l. Are l and 11 unequal?
False
Suppose -9 = -5*c + 81. Suppose -365 - 163 = 4*r. Let q be (-12)/c + (-82)/r. Is 1 <= q?
False
Let v be (-8823)/(-935) + (-2)/(-10). Which is smaller: v or 11?
v
Let i = -546 - -575. Which is smaller: i or 0?
0
Let d = 31 + -31. Suppose d = -0*h - h + 7. Which is bigger: h or 8?
8
Let h be (5 - 5)/3 - (-2943)/(-9). Is -329 greater than or equal to h?
False
Let l = -9/7 + 108/35. Let q(j) = j**2 - 10*j - 10. Let n be q(11). Is n greater than l?
False
Let z(r) = -r**2 - 29*r + 309. Let l be z(-39). Which is smaller: l or 3/4?
l
Let o(k) = -k**2 - 3*k - 8. Let r be o(-6). Let t = r + 18. Which is smaller: t or -5?
t
Let w(q) = q + 2. Let u be w(5). Suppose -s = -2*s + 6. Is s >= u?
False
Let u = 32908 + -2731397/83. Is 0 at least u?
True
Suppose -2*j + 5*j - 4*d = 1, 0 = 5*j + 2*d - 19. Let o be (-2)/(-7) + 65/42. Do j and o have different values?
True
Let f = -4063/48 - -339/4. Which is smaller: 1 or f?
f
Let h(t) = 19*t + 391. Let a be h(-21). Are -7 and a unequal?
True
Let p be (-6)/(-15) + (-290)/(-25). Let i = p + -10. Let x = -5 + i. Which is greater: x or -1?
-1
Let b(q) = 0*q**2 - 2 + q**2 - 2*q + 1. Suppose -7*g + 22*g - 45 = 0. Let d be b(g). Which is smaller: d or 20/7?
d
Let k(s) = -6*s - 3. Let l = 139 - 137. Let y be k(l). Are y and -13 equal?
False
Let v(h) = -h**2 + h. Let a be v(2). Let w be (-316)/(-10) - 40/(-100). Let z be (w/20)/(0 + -2). Which is smaller: a or z?
a
Let t be (17/((-255)/30))/(1 - -1). Which is bigger: -34/53 or t?
-34/53
Let l be ((-1)/2755)/((-476)/595). Which is smaller: -1 or l?
-1
Let r(t) = -11*t - 25. Let h be r(-8). Does h = 0.3?
False
Suppose -5*v - 2 = 2*c, 5*c = -3*v + v - 5. Suppose o = -3*r + 35, v = -5*o + 3*r - 0*r + 121. Suppose 6*i = 8*i - o. Do i and 14 have the same value?
False
Let b = -95654/3 - -31884. Let r = 23 - 36. Is b less than r?
False
Suppose -h + 0 = y - 3, -2*h + 4 = y. Let w be (-52)/(-6) - (-2)/(-3). Which is greater: w or y?
w
Let y = -7 - -18. Let n = -16353 + 16364. Is n <= y?
True
Let r be (-31)/(-3) - 21/63. Let q be (r/(-40))/((-3)/6). Which is smaller: q or 2/9?
2/9
Let s(f) = -2*f**3 - 92*f**2 - 67*f + 35. Let h be s(-45). Is h <= -1000?
True
Let g be -1 - (0 + (2 - 1)). Let m(u) be the second derivative of u**3/2 + 3*u**2/2 + 2*u. Let v be m(g). Is v less than -3?
False
Let f be 5/4 + 45/60. Suppose 4*l - 3*k + k = f, 4*l - 5*k = 11. Let v = 93/350 + 1/50. Which is bigger: v or l?
v
Suppose 5*y - 16 = -2*r, -3*y + 3*r + 2*r + 22 = 0. Let d(z) = 3*z**2 - 6*z + z**3 + 12*z - 6*z - 4*z + 4. Let n be d(-4). Is n less than y?
False
Suppose 3*n - h = 4*n - 139, -2 = h. Let j be n/270 - (-8)/(-36). Do j and -1 have the same value?
False
Let f = -37 + 37.02. Which is bigger: -1/3 or f?
f
Let q(y) = -4*y**3 + 8*y - 12*y**2 + 5*y**3 - 5*y - 6*y + 6. Let f be q(12). Is -30 at least as big as f?
True
Let t = -8 + 5. Let f be -3 - (-3 - t) - -17. Suppose 4*a = -s + 3*s - 10, 0 = -2*a + 4*s - f. Which is greater: a or 0?
0
Let k be ((-2099)/10)/(182/(-195)). Let t = k - 225. Which is smaller: 0 or t?
t
Let j be 462/539 - (-1935)/(-28). Which is greater: j or -69?
j
Let y(m) = 2*m**2 - 2*m - 21. Let k be y(6).