- 2. Let y be b(2). Let g = 11567 + -11566.93. Is g greater than y?
False
Let h = -11467461 - -699430756/61. Let l = h - -1383. Is l != 0?
True
Let o = -243099/170 + 1430. Which is smaller: 1 or o?
o
Let r(z) = z**3 - 18*z**2 + 17*z - 7. Let j be r(16). Which is smaller: -248 or j?
-248
Suppose -s + 41 = -t, -3*t = -0*s - 5*s + 131. Which is smaller: t or -153/4?
-153/4
Suppose 0 = -v - 4*v - 25, 2*v + 160 = 5*n. Let p be 1066/39 + 2/3. Which is greater: n or p?
n
Let m(b) = 5*b + 3. Let g be m(-3). Let j be (-3)/g + (-39)/12. Let w be j/(4/8 + -2). Which is greater: w or 4?
4
Let a = 1 + 0. Let c be 4954/16 - (-9 - -7). Let i = -312 + c. Which is smaller: i or a?
i
Let c = 17 - 16. Let d = 1 - c. Does d = 0?
True
Suppose -3*l - 40 - 23 = 0. Let h = 15 + l. Let r = h + 5. Which is smaller: r or -1/5?
r
Suppose 3*x - r = 2*x + 1, -5*x + r - 7 = 0. Let q = -3 - 2. Let u(b) = -3*b - 15. Let m be u(q). Is x <= m?
True
Let q = 0.19 + -4.19. Let h = q - -4.02. Let j = 21 - 22. Which is smaller: j or h?
j
Let l be 2/11 - (-97)/(-352). Let b = 41/96 + l. Is b greater than 0?
True
Let a be 4 + -3 + -1 - -4. Suppose -2*v - 8 = o, a*o + 3*v = -10 - 2. Which is greater: -4/7 or o?
o
Let p = 248 + -253. Is -4 <= p?
False
Suppose 5*x - 3*f = 0, -3*x + 17 = f + 3. Let k be 3 - (x + 3 + -3). Let a = k - 3. Do -1/2 and a have different values?
True
Let o = -1323/52 - -103/4. Let v(x) be the third derivative of -x**5/60 - 13*x**4/12 + 55*x**3/6 + 2*x**2 - 2*x. Let c be v(-28). Which is smaller: o or c?
c
Suppose 11 = -6*m - 7. Is -11 at least m?
False
Let b = -639 + 379. Let q = b - -260.01. Let f = -33 + 163/5. Which is bigger: q or f?
q
Let l(b) be the first derivative of 3*b**2/2 + 7*b - 21. Let q be l(4). Is 18 equal to q?
False
Suppose 3*n - 71 = 4*x, x - 86 - 40 = -5*n. Suppose -y = -6*y + n. Which is greater: 8 or y?
8
Suppose -5*s - 5*q = -15, -3*s - 3*q + 5*q = 1. Let t = 1/49 + 33/784. Does t = s?
False
Suppose 135*f - 138*f - 390 = 0. Which is greater: f or -129?
-129
Let p = -51.37 - -51. Let c = -0.37 - p. Are 4 and c non-equal?
True
Let y be -2 + (-3 - -2 - 8). Suppose p = -8 - 30. Let n = p + 28. Which is greater: y or n?
n
Suppose 3*c - 24 = 5*t, -7*t - 40 = -5*c - 3*t. Let m(b) = b - 6. Let k be m(c). Suppose -2*i - 4*p = 3*i - 35, 5*i + 3*p = 30. Is k <= i?
True
Let a(n) = -2*n + 5. Let j be a(-3). Suppose 0 = j*p - 16*p + 190. Is p less than 38?
False
Let s be 0 + -8 - -42*(-7)/(-6). Which is greater: s or 36?
s
Let u(j) = 11*j - 4. Let m be u(2). Let h be 3 + (1 - m)*1. Is -1 at least h?
True
Let c(t) = t**2 - 15*t + 9. Let d be c(11). Let z = -70 - d. Is -35 not equal to z?
False
Let z be 32/(-80)*2/(-146). Let h = -14394148 + 147108192869/10220. Let k = z + h. Is k smaller than 1?
True
Let g be (12/48)/(1/4). Let b = 492/2065 + -9/59. Is b not equal to g?
True
Let o be (-2)/11 + (-2940)/(-77). Let f = o - 38. Which is smaller: f or 1/4?
f
Let r(d) = d**3 + 3*d**2 + 9*d + 13. Let k be r(-2). Which is smaller: k or 317?
k
Suppose 2*j - 7 = 3*l, -j - l - 1 = -2*j. Let a = j - -17. Is 11 greater than a?
False
Let b = -85/273 + -2/91. Suppose 0 = 5*t - 0 - 10. Which is smaller: t or b?
b
Let o be 12/(-15)*(-45 - 0). Suppose 4*h - o + 32 = 0. Let m = 8 - 4. Is h smaller than m?
True
Let o(g) = 9*g**2 - 38*g + 46. Let j be o(3). Let p = 29 - 18. Is p less than or equal to j?
True
Let q = -23.7 + 9.7. Are 0.07 and q non-equal?
True
Let m = 181 - 536/3. Is m smaller than -1.1?
False
Let k = -108 + 108. Is k less than or equal to 6?
True
Let z be (-2)/22 - 2858/22. Is z equal to -130?
True
Let t = -96 + 86. Are -11 and t non-equal?
True
Let z = 981 - 74555/76. Let n = -9/38 - z. Is -1/4 less than or equal to n?
True
Let y = 16 - 9. Let v = 412 - 1217/3. Which is smaller: y or v?
v
Let m be (36/(-7))/((-16)/56). Suppose 22*o = 20*o + m. Which is smaller: o or 10?
o
Suppose -5*z - 15 = 5*n, -n + 2*z + 6 = -6. Let k(x) = -n - 3 + 1 + 2 + x. Let g be k(2). Is g <= -3/10?
False
Suppose -o - 3 = 12. Let j be ((-27)/o - 2)/(-3). Let l(c) = c + 8. Let v be l(-8). Which is bigger: j or v?
j
Let v(t) = -t - 6. Let x be v(-11). Let f be (16/3)/(x/(-15)). Let y = f - -19. Which is smaller: 2 or y?
2
Let x(q) = -q**2 - 3*q + 1. Let a = -32 + 28. Let n be x(a). Is n at least as big as -3?
True
Let h(o) be the third derivative of o**5/60 - o**4/24 - 13*o**2. Let v be h(2). Suppose -v*n - 13 = 5*t, -2*t = -n - t + 4. Are n and -5 unequal?
True
Let o = -28 + 28.04. Let q = -23.96 - o. Let r = q - -24.3. Are -2 and r non-equal?
True
Let j(m) = 39*m - 2. Let g be j(2). Suppose -g = -4*w + 3*w. Let p = w + -379/5. Are p and -1 nonequal?
True
Let m(h) = 2*h**2 + 61*h + 11. Let f be m(-25). Which is smaller: -265 or f?
-265
Let u be (-1)/4 + 68/16. Suppose -7*b - 36 = -u*b. Is -12 >= b?
True
Let b = -2.2 - -1.2. Let a = 160 - 637/4. Is b at most as big as a?
True
Let u be ((-14)/(-20)*-4)/((-32)/(-80)). Is u > -47/6?
True
Let j(y) = -4*y + 12. Let q be j(8). Let l be ((-6)/(-5))/(8/q). Let v be 2 + 0 + 10/l. Which is smaller: v or -2?
-2
Let w = -12 + 18. Suppose -w = 2*v, 1 = 5*n + 3*v - 15. Suppose 5*p - 3*g - 3 = 0, -1 = p - n*p + g. Which is bigger: p or 1/15?
1/15
Let p = 18.1 - 18. Let a be (-2)/(-1) - 250/80. Which is smaller: p or a?
a
Suppose -2*t + 0*t = 224. Let a = -100 - t. Is 12 less than or equal to a?
True
Let q = 3.6 + -3. Let f = 7.4 + q. Let y = -0.2364 - -0.0364. Is f at least y?
True
Let o = 175/6 - 2453/84. Which is greater: o or -1?
o
Let t be 3/(-6)*2/(-4). Suppose -27 = 5*z - 92. Is t smaller than z?
True
Let i = 636 - 1037. Is -402 <= i?
True
Suppose 61*h = -3*u + 56*h - 55, -u + 15 = -5*h. Which is smaller: u or -43/4?
-43/4
Suppose 4*c = -3*o + 6*o + 19, 0 = -5*o - c - 47. Is -18 less than o?
True
Suppose -3*d - 5*u - 1 = -10, 5*d = u + 15. Suppose -a - 2*a - 5*x - 20 = 0, 0 = 5*a + d*x + 44. Which is greater: a or -7?
-7
Suppose 3*g - 806 - 196 = 0. Let t = g - 8353/25. Is t bigger than -1?
True
Let h be 8*(-8)/(-32) + -1 + -1. Let f be 14/34 - (-5 + 4 - 0). Is f greater than or equal to h?
True
Let n(s) = 2*s**2 - 3*s - 1. Let a be n(-2). Let u be 5/(a/(65/30)). Is -0.2 less than or equal to u?
True
Let q be (2 + (-15)/5)/(3 - 2). Which is bigger: q or 40?
40
Let k(n) = -2*n + 26. Let t be k(9). Let y be (-68)/(-12) + t/(-12). Is y greater than 3?
True
Let h = 13 + -9. Let j be ((-2)/(-6))/(1/6). Suppose j - 6 = -h*z. Which is bigger: z or 1/13?
z
Suppose 0 = 79*r - 1039 - 1015. Let x = 3/14 + 1097/42. Which is smaller: r or x?
r
Suppose 0 = 9*l - 6*l + 24. Let n = -4 - l. Suppose -n*h = -0*h - 5*v + 17, -h = 4*v - 22. Is 3 at least h?
True
Suppose 0 = -3*s + 6, -12*s + 13*s + 4494 = 4*b. Which is smaller: b or 0.2?
0.2
Let p = 214 - 210. Do 4 and p have the same value?
True
Suppose -42*u + 1977 + 7053 = 0. Which is smaller: u or 217?
u
Let c be 2*3/324*3. Let u = 36151/1638 + -472/21. Let b = c - u. Which is smaller: b or -1/3?
-1/3
Let v = 0.5 - 0.3. Let u = 0 + v. Let t = -1236.5 - -1237. Is t equal to u?
False
Let x(z) = -2*z + 14. Let i be x(6). Let t be (-1)/(-4)*(i - 26/5). Are -2 and t nonequal?
True
Let r = -695 + 695. Is r greater than -2/15?
True
Let u = 4581130707243/829513 + -5522675. Let d = 802240991/2641998905 + u. Let v = -1/245 - d. Is -1 at most as big as v?
True
Let b = -1.4 + 1.76. Let z = -0.36 + b. Let l = -0.1 + 1.1. Is l at least z?
True
Let t(z) be the second derivative of -z**4/12 + 3*z**3/2 + 9*z**2/2 - 30*z. Let u be t(10). Which is greater: u or 1?
1
Suppose 0 = -2*h + 1 + 3. Let j(z) = -z**3 - 4*z**2 - 6*z - 9. Let o be j(-3). Let g(s) = s**2 + 3*s + 4. Let y be g(o). Which is smaller: h or y?
h
Let z = 43 + -41.86. Let a = 1.14 - z. Let p = 167 - 665/4. Is p < a?
False
Suppose 59*o - o = -17632. Which is smaller: o or -303?
o
Let m be 1/(9/18) - (-3 - 2). Is 45/8 greater than or equal to m?
False
Let l(d) = -d**3 + 6*d**2 + d - 3. Let v be l(6). Suppose -2*y + v = -y. Suppose 0 = y*w - w. Which is smaller: 1/13 or w?
w
Let h = 0.659 - 0.759. Is 322 greater than or equal to h?
True
Let r(a) = -6*a - 32. Let t be r(-6). Suppose 0 = -2*v - 3*j - 71, -2*v + 36 = -t*v + 4*j. Do v and -26 have different values?
True
Suppose 2*c = 4*x + c + 41, 0 = 3*x + c + 29. Let b be (662/x)/(-1) - 20/100. Is b smaller than 