 m**3 + 13. Let s be c(-12). Is p < s?
False
Let s be 57/9 - 4/(-6). Let a be (-2)/5 - s/(-5). Let m be 5 + -7*(-45)/(-81). Is m less than or equal to a?
False
Let w be 45/(-1)*5/60*8. Let u be (2/6)/(w/(-36)). Is u at most 0.043?
False
Let w = 1/33 + 41/99. Suppose u - 19 = -0*u. Let g be u/(-38)*(-1 + 1). Which is greater: g or w?
w
Suppose 7*y = 1 - 8. Let c(m) = -47*m - 1. Let d be c(-1). Let j = d + -187/4. Which is smaller: j or y?
y
Let r(n) = n - 9. Let t(c) = -c + 19. Let d(m) = 7*r(m) + 3*t(m). Suppose 9*j - 22 = -2*j. Let v be d(j). Which is smaller: v or 0?
0
Suppose 25 = y + 2*y + 5*b, -y + 15 = 3*b. Let x(i) = -i**2 + i + 7. Let w be x(y). Suppose 3*q + 36 = w*q. Is q < 9?
False
Suppose 0 = -5*l - c + 5987, 2*l = 2*c + 1573 + 829. Are l and 1199 equal?
False
Let d be 3/7*(10 - 455/39). Which is smaller: d or 0?
d
Suppose 3*o - 8 = -t, 3*t - 2*o = 56 + 1. Let c = 15324 - 15309. Is t > c?
True
Let u = 14.619 + -0.019. Let q = u + -14. Which is smaller: q or -1?
-1
Let r be 0 - (-5 + 188/36). Which is smaller: r or -19/8?
-19/8
Suppose -l + 4*t - 23 = -0*l, 4*l + 2*t = -2. Let a be (0 + 12)/4 + l. Let d = 20/27 + -593/837. Do a and d have different values?
True
Suppose -2*b + 22 = -4*l, 2*l + 5*b - 7*b + 8 = 0. Which is greater: l or 3?
3
Let q = -141632/5 + 28182. Is 1 at most as big as q?
False
Let s(a) = a**2 + 9*a - 15. Let k be s(-11). Let q = 1 + k. Let f be 3 + (-2)/q*17. Which is smaller: f or -1?
f
Let l = -1123 + 1124. Which is smaller: 0.202 or l?
0.202
Let t = 1484/4807 + -10/209. Let j be 3 + 0/(-1) - 4. Which is smaller: j or t?
j
Let u be (-4)/(-3) - (-623)/(-294). Let f = -2/7 - u. Which is greater: f or 3/8?
f
Let c(m) = m**2 + 2*m - 2. Let f be c(2). Let g(x) = x**3 - 6*x**2 - x + 6. Let i be g(f). Let a = -13 - -37/3. Which is smaller: a or i?
a
Let z = 54 + -39. Let l = 40 - z. Which is smaller: 0 or l?
0
Let c(u) = -u**2 + 10*u - 12. Let p be c(8). Let y(w) = w - 1. Let j be y(-3). Let o be (-5 + j)*2/(-6). Does o = p?
False
Let d(p) = -53*p - 95. Let b be d(5). Which is greater: -358 or b?
-358
Suppose -m + p + 3 = -2, -2*p = 5*m - 11. Let w be (-2 - (-5)/3)/m. Let b = 23/45 + -1/9. Which is smaller: b or w?
w
Let n = -42 + 81. Does n = -3?
False
Suppose 7 = 2*s + o, 0 = -7*o + 6*o + 1. Which is smaller: 4 or s?
s
Let n be (-299475)/(-198)*(-1)/5. Which is smaller: n or -303?
-303
Let t = 125 + -114. Suppose -2*c + t = -u, -u = u - 2*c + 22. Is u less than -11?
False
Let k be (2/7)/((-100)/(-2870)). Which is smaller: k or -2?
-2
Suppose -5*j - 1060 = -5*n, 621 = -8*j + 5*j - 2*n. Which is greater: j or -210?
j
Let y = 12.08 + 85.02. Let l = y - 97. Let w = 0 + -3. Which is greater: l or w?
l
Let o be (-120)/(-72) + 3 + (-95)/12. Let v(l) = -4*l - 2. Let h be v(-7). Let a be h/(-8) + (-2)/(-8). Is o equal to a?
False
Let x = 51/2 + -26. Let f = -5 + 7.7. Let p = f + 0.3. Are x and p non-equal?
True
Suppose 0 = 26*y - 28*y + j + 339, -3*y + j + 510 = 0. Are 173 and y non-equal?
True
Let i = 96 + -102. Let w be 4/i + (-7)/63*3. Is 3/7 greater than w?
True
Let v = 271 + -325. Which is greater: -51 or v?
-51
Suppose 0 - 91 = 7*g. Let d = g - -38. Which is smaller: d or 24?
24
Suppose -u + 16 = 3*q, 0 = 2*q - 10 + 20. Is 29 smaller than u?
True
Let x = -47.772 - 0.628. Which is bigger: 1 or x?
1
Let n(g) = 1. Let u(m) = -m**2 - 10*m - 10. Let o(a) = 2*n(a) + u(a). Let j be o(-9). Is j not equal to 7?
True
Let d be (54/30)/(-5*(-6)/150). Let m be (-2)/3*246/(-16). Is m < d?
False
Let u = 0 + -4. Let j = -2 - u. Let h(t) = -t**2 - 86*t + 180. Let v be h(-88). Are v and j equal?
False
Let q = -14303/4 - -3575. Suppose 6 = -k + 4. Does k = q?
False
Let k be (66/(-55))/((-14)/35). Is k < 66/17?
True
Suppose -7*p + 16*p = 0. Which is smaller: -5/109 or p?
-5/109
Let t = 0.132 + -0.104. Let p = t + 0.072. Which is smaller: -1/8 or p?
-1/8
Let p = -45 + 93. Let n = p + -48.1. Let h be (-2)/(-12)*(1 + 3). Is n less than h?
True
Let d = 809.758 + -802. Let l = -0.042 - d. Let j = l + 8. Is 3 < j?
False
Let l be 4/(-14) - (-10)/(-14). Let g be 235076/260 - (-2)/5. Let d = g - 905. Is d not equal to l?
True
Let n = 1.416 + -4.416. Is n greater than 7.3?
False
Let m = 1.43 + -0.3. Let u = -0.13 + m. Which is smaller: 0.3 or u?
0.3
Let q = -78031 - -706657/9. Let k = q + -488. Is k <= -2?
False
Suppose 0 = -26*s - 137 - 123. Let d = 93/10 + -539/30. Which is smaller: d or s?
s
Let g be 1/3 - 3703/(-24). Let p = g - 155. Let f = 1 - 0. Which is smaller: p or f?
p
Let x(t) be the third derivative of -t**4/12 + 7*t**3 - 4*t**2. Let o be x(21). Let d = 51/80 + -7/10. Is d <= o?
True
Suppose -5*g - 6 = -2*v, -2*g + 0*g + 6 = 2*v. Let b be (-32)/(-12) - (-1)/v. Suppose -3*t - 4 + 1 = 0, -2*k = -b*t + 1. Which is smaller: k or 0.1?
k
Let m(k) = 4*k - k + 0*k + 2 - 11. Let a be m(6). Let d = 193/3 - 64. Is a at most as big as d?
False
Let d = 51 - 50.8. Do d and -178 have different values?
True
Let w(u) = u**2 + 9*u + 29. Let b be w(-5). Let z(o) = 2*o - 3. Let d be z(7). Which is bigger: b or d?
d
Let d = -67 - -66. Let w = 73/21 + -3. Is w less than or equal to d?
False
Suppose 2*x + 2 + 8 = 0, b - 3*x - 73 = 0. Which is bigger: b or 62?
62
Let q = -67779 + 880170/13. Let b = q + 73. Is -2 less than b?
True
Let v be ((-1)/(-11))/(1/(-21889)). Let j = v + 113557/77. Let g = j - -513. Is -1 at least as big as g?
True
Suppose 5 + 0 = h. Suppose 4*q = 4*d - 36, h*q = -2*d + 3*d - 57. Is q not equal to -13?
True
Let g be 2/2*-5*2/(-12). Do g and 0.1 have different values?
True
Suppose -2*o = -5*s - 29, -o - 5*s - 10 - 13 = 0. Suppose f - x + o = 2*x, 5*f + 5*x = 10. Which is smaller: f or 4/7?
4/7
Let w = 13.082 + -0.182. Let j = w + -11.2. Is j smaller than 0.5?
False
Let g be (-8)/36 + 125/(-45) - -26. Let f = 76 - 52. Do g and f have the same value?
False
Let y(d) = d**3 + 8*d**2 - 10*d - 12. Let f = 18 + -27. Let p be y(f). Is 4 greater than or equal to p?
True
Let j(y) = y**3 + 5 + 14*y**2 + 11*y - 16 - 6. Let v be j(-13). Suppose -v*b = -14*b + 25. Which is smaller: 1/2 or b?
1/2
Let b = 7 - 7.13. Let x = 0.04 + b. Let c = x - -1.09. Is c not equal to 0?
True
Suppose 4*i = -2*t + 10, i = t - 3*t + 7. Let c = -202/3 + 8885/132. Are i and c nonequal?
True
Let k = 518 + -566. Is -2/7 not equal to k?
True
Let t = 2/875 + -54256/2625. Which is greater: t or -21?
t
Let n = -836 - -840.748. Let c = -0.052 - n. Let b = -5 - c. Which is smaller: b or -9?
-9
Suppose 4*x = 2*a + 2*a - 28, 0 = -3*x + 4*a - 26. Let f be (-33)/120 - x/5. Do f and 6 have the same value?
False
Let d = -348 - -372.1. Let x = 23 - d. Let y = 1.9 - x. Which is smaller: y or 2?
2
Let k be 2*3/((-3)/1)*-1. Suppose -3*c - 1 = 2*a, k*c - 10 = -3*c - a. Is c >= 2?
True
Suppose 3*n - 15 = 5*o, -8*o = -5*o - 4*n + 9. Which is bigger: o or -6?
o
Let l be -3 + -2 - ((-8)/(-1) + -14). Is 1/170 equal to l?
False
Let x = 0.089 + -0.489. Which is bigger: x or -14?
x
Let t(m) = -m - 10. Let j be t(5). Let f = -16 - j. Which is smaller: f or -3/5?
f
Suppose -9*i + 146 = 830. Is -71 <= i?
False
Let l be (2/(-4))/((-1)/(-10)). Suppose 2*y - 1 - 2 = 3*o, -5*o - 6 = -3*y. Let i be -2*(5 + -3) - y - 4. Is l != i?
False
Suppose -r + 470 = 3*w - 71, 172 = w + 2*r. Which is bigger: w or 180?
w
Suppose -4*f - 3 = -z - 8*f, 9 = z + f. Suppose 0 = -s - a - z, -4*a = -2*s + a - 29. Let m be s/20 + 1 - 1. Which is smaller: m or -2?
-2
Let b(u) = -u**2 - 5*u - 3. Let w be b(-4). Let f be -3*5/(-15)*2/1284*-4. Which is bigger: f or w?
w
Suppose -5*l = l + 6. Are -3 and l nonequal?
True
Suppose -1 + 5 = -4*a. Let z = 325 - 201. Let f be ((-16)/z)/((-6)/(-3)). Are f and a unequal?
True
Suppose -5*r + 2*s - 7 = -153, 4*s = 4*r - 112. Is 41 at least as big as r?
True
Let l = 26 - 21. Suppose l*p - 3*b = -195, -p - 4*b = -3*p - 64. Let n = p + 25. Is -18 greater than or equal to n?
False
Let t = 3.588 - 156.288. Let o = t - -153. Is o greater than or equal to 0?
True
Suppose 7 - 13 = 6*r. Is r smaller than 6/37?
True
Let z be 43 + -44 + (-47)/6. Which is greater: z or -9?
z
Let r(p) be the first derivative of -7 + 7/2*p**2 - 3*p - 1/3*p**3. Let w be r(6). Which is greater: 2 or w?
w
Let v = 34.37 - 0.37. Let b = 28 - v. Is 2 at most as big as b?
False
Suppose -2*f + 2 = -3*l - 7, -12 = -5*f - 3*l. Le