s -15 at least v?
True
Let u = 0 + 0. Let c = 5 - 0.1. Let t = 5 - c. Which is bigger: t or u?
t
Suppose -24 = -13*b + 54. Let g be (184/b)/((-2)/3). Which is smaller: g or -47?
-47
Let v be -3 - 3/((-6)/20). Suppose -v = -2*n + 13. Let s = 3 + 6. Which is smaller: n or s?
s
Suppose 3*w = -4*p - 31 + 1, -3*p - 25 = w. Is -8 smaller than p?
False
Suppose 0 = 5*p - 0*p - 20. Let f be 80/(-144)*p/(-10). Let y be ((-2)/3)/(4/(-6)). Which is smaller: y or f?
f
Let x = -29 + 8. Let u = -27 + 7. Let b = x - u. Is 0.5 equal to b?
False
Let a be (3/3)/((-2)/24). Which is smaller: a or -14?
-14
Suppose -4*l + 8 = -4*p, -4*l + p + 14 = -0*p. Suppose 2*g = -g + 9. Which is greater: g or l?
l
Suppose k = 5*k - 5*q + 16, -3*k + 5*q = 17. Suppose 0 = 5*a + 3027 - 3012. Let n be 3 + (a - (k - 2)). Is n at most 2/47?
False
Suppose 3*g - 5*g + 8 = 0. Suppose g*j + 75 = j. Let c = j + 13. Which is smaller: c or -13?
-13
Let y = -2235/2 + 1146. Which is bigger: 30 or y?
30
Let l = -0.28 - -0.88. Is l greater than 1?
False
Suppose 2*j = 10*j - 22*j. Is 57/2 > j?
True
Suppose 252 - 62 = 95*c. Which is greater: c or -502?
c
Suppose 262*i - 163 = 261*i. Is 159 smaller than i?
True
Let m be 2/(-9) - (-520)/72. Suppose -7 + 21 = -m*r. Let q(h) = 2*h**2 - 2. Let v be q(r). Do v and 6 have the same value?
True
Let u = 30 - 18. Let o be 8/20*(-10)/u. Let d = -27 + 27.14. Which is bigger: d or o?
d
Let c = -0.42 - -0.1. Which is smaller: c or -13?
-13
Let i = 268 + -266. Do -50 and i have the same value?
False
Let q be 294/(-8) - 5/20. Is -147/4 bigger than q?
True
Let l = 20.63 + -18.63. Is -120 at most as big as l?
True
Let m = 17 - 12. Let r(t) = -t**3 + 5*t**2 - 7. Let l be r(5). Let a = l + m. Are a and 1 unequal?
True
Let l(a) = a**2 - 5*a - 2. Let b be l(6). Suppose -b*n = -5*n. Suppose n = x - 4*x. Which is greater: x or 2/9?
2/9
Let n = -0.018 - -53.018. Let i = 46.4 - n. Is 0 smaller than i?
False
Let w = -168 - -152. Are -1/3 and w equal?
False
Let l be (-44)/(-55) - 5/(-25). Let j be ((-18)/(-152))/(15/40). Is l < j?
False
Suppose 0 = -14*o - 6 + 174. Suppose 0 = -4*x - 5 - 3. Which is greater: x or o?
o
Let z(c) = -9*c**3 - c**2 + 3*c - 3. Let w be z(3). Let y be -3 + -1 - w/66. Which is smaller: y or 0.1?
y
Let v = -842 + 813. Which is bigger: v or -30?
v
Suppose -12 = 2*p - 2. Let i(j) = -j**2 + 13*j - 8. Let z be i(12). Suppose 2*y - 2*c + 11 = 3*c, -z*y - 17 = -5*c. Is p equal to y?
False
Suppose -94*x - 5 = 5*a - 93*x, 0 = -2*a - 3*x - 2. Which is greater: -3/215 or a?
-3/215
Suppose -4*a + 33 = -59. Let s(b) = -7*b**2 - 3*b + 1. Let u be s(-2). Let v = a + u. Which is bigger: 3 or v?
3
Suppose -7*h = -8*h - 24. Suppose 0*a = k - 5*a + 35, -3*a - 44 = 2*k. Which is smaller: k or h?
k
Let b = -2442832 - -285813178/117. Let f = b + -198/13. Let h = 7/45 + f. Do 2 and h have the same value?
False
Let g = -9/16 - 47/144. Let d = 8612 + -8613. Which is greater: g or d?
g
Let g = 95 + -125. Is g at most as big as -31?
False
Suppose 0 = -0*s - 17*s + 17. Which is greater: 2/75 or s?
s
Let g be 3 + 1 - (-355)/(-30). Is g at least as big as -9?
True
Let b = -1523 + 1502. Is -18 not equal to b?
True
Let f = -19 + 15. Suppose 2*a = a - 7. Let t be 2/a - 19/7. Which is smaller: f or t?
f
Suppose 5*g = 2 + 23. Suppose -6*y = -g*y. Which is smaller: y or -2?
-2
Let k = -23 + 23. Let b = 0.12 - k. Let n = b - 0.09. Which is greater: 0.1 or n?
0.1
Let n(w) = w**3 - 6*w**2 + 20. Let c be n(6). Let d be (-42)/10 + c/5. Which is bigger: -1 or d?
d
Let b = 117 + -75. Let f = b + -40. Is f at most as big as 1?
False
Let z(w) = -w + 13. Let d be z(9). Suppose o = 4*y - d, o = -4*o + 4*y - 20. Let a be 8/(-66)*(-6)/o. Which is smaller: 1 or a?
a
Let j = 114186788/2129 - 53634. Is j less than or equal to 0?
False
Let d = -396 - -395. Is -81/7 less than d?
True
Let i = -613 - -642. Which is smaller: i or 25?
25
Let m be 3 - (0 - 14/(-5)). Let w = -8 + 7.7. Let t = w - -0.9. Which is smaller: m or t?
m
Suppose 4 = -w - 16. Let o(j) = -3*j**3 + 2*j**2 - 2*j + 1. Let u be o(2). Which is smaller: w or u?
w
Let s be (-1)/((-3 + 2)/(-35)). Which is smaller: s or -33?
s
Let f be 3/12 - (-695)/20. Let v(o) = -5*o + 101. Let x be v(13). Which is smaller: f or x?
f
Let l(p) = 7*p + 3. Let z be l(1). Let n be (-472)/(-10) - 2/z*1. Which is smaller: 46 or n?
46
Suppose -14*s + 21*s = -7. Let g = -55 - -661/12. Is s at least as big as g?
False
Suppose 2*k - 5*o = -24, -4*k - o = o. Let c(r) = -11*r - 100. Let b be c(-9). Is k less than b?
True
Let d(l) = -l**3 - 6*l**2 - 4*l + 9. Let h be d(-5). Suppose 2*q = 2*u + 5*q - 4, -2*q + h = 0. Do u and 2/79 have the same value?
False
Let l be 46*2/(-2 + 6). Let h = -3679/4 - -897. Let i = l + h. Which is smaller: 1 or i?
i
Suppose -3*q - 3*u + 3 = 0, -4*u - 45 = -5*q + u. Let a be q*(-4)/(-10)*1. Suppose -3*k - a + 5 = 0. Which is bigger: k or 2/17?
k
Suppose 0 = x - 65 + 193. Which is smaller: x or -129?
-129
Suppose 3*b + 0*b = 81. Let c = 27 - b. Is 0 smaller than c?
False
Let z = -5158/6773 - 4/521. Which is bigger: 0 or z?
0
Let q = 3.06 + -0.06. Let r(h) = 2*h + 2. Let g be r(8). Let t = -109/6 + g. Which is smaller: q or t?
t
Suppose -5*v + 11 = -39. Suppose 8 = z + 3*b, -3*b + 4 = -3*z + 2*z. Suppose -4*p + v = z*r - 2*p, -15 = -r - 3*p. Is r greater than or equal to -1/7?
True
Suppose 0 = 4*s - 6*y + 2*y + 16, -2*y + 13 = 3*s. Let d = -241/16 + -419/16. Let n = 41 + d. Which is smaller: n or s?
n
Let l(x) = -x + 10. Let y be l(9). Suppose 5*q = 2*b + 1, 0 = q - 0*q + y. Which is smaller: b or -4?
-4
Let x = 1166 - 1393. Which is smaller: x or -231?
-231
Let w(j) = -j**3 - 56*j**2 - 111*j - 225. Let q be w(-54). Is q less than or equal to -59?
True
Let m(b) = -4*b**3 - 5*b**2 - 4*b + 2. Let x be m(-3). Suppose -3*y = -3*u - 129, 0 = -2*u + 3*y - 4*y - x. Let d = u - -38. Are d and 13/3 nonequal?
True
Let h(p) = -39*p - 18. Let g be h(-4). Is g greater than 138?
False
Let g = -83 + 47. Let d = g + 35.8. Is -5 > d?
False
Let r be 678/15 - (8/(-10) - -1). Is 45 at most as big as r?
True
Suppose -3 = 27*j + 24. Which is bigger: 19 or j?
19
Let p be 2/8 - 30/(-8). Let r = 5 - p. Let q = 573/7 + -1705/21. Is q greater than or equal to r?
False
Let l be 3/21*(-1 + (5 - 6)). Which is smaller: l or 3?
l
Suppose -14*s + 10*s + 39 = -n, s + 5*n - 15 = 0. Let m = 6 + -4. Suppose -4*i + 4*z + s = -i, -z = -m. Which is smaller: 5 or i?
5
Let p = -1058/3 + 361. Let l be (0 + (-3 - -2))*(-513)/57. Which is smaller: p or l?
p
Let y = 5289/4 + -1348. Is y at least -27?
True
Let u(a) = a + 14. Let g be u(-10). Let o be 3*g/84*1. Which is greater: -1 or o?
o
Let w = -299923 - -457937. Let v = -1581497/10 + w. Let z = v + 136. Which is smaller: 1 or z?
z
Let d(r) = -3*r**3 + 40*r**2 - 53*r - 14. Let i(f) = f**3 - 13*f**2 + 18*f + 5. Let x(q) = 3*d(q) + 8*i(q). Let y be x(15). Is y less than or equal to -22/9?
False
Let b = 9 + -9. Suppose b = 5*q + 10 + 10, -3*d + 2*q + 5 = 0. Let r be (-2 + 1 + 13)/d. Is r at least -11?
False
Suppose -d + 8 = 3, m + 8 = 2*d. Suppose 5*x = -2*i + 10, -5*i - m*x = 3*x - 40. Let a be 2/(-5) + 9/i. Is -0.07 < a?
True
Suppose 205 = 2*a - 7*a. Let w = a - -42. Do w and 5 have different values?
True
Let m = 256759 - 16945525/66. Let n = m - 82/11. Do n and 2 have the same value?
False
Let l(s) be the first derivative of -s**4/4 - 4*s**3/3 - 2*s**2 + s - 40. Let v be l(-3). Do v and 3 have the same value?
False
Suppose -h - 2*a = 2, 3*h + 0*a = -4*a + 2. Let c be (24/(-20))/(h/200). Let z be (1/92)/((-15)/c). Which is bigger: z or 0?
z
Let u = -35 + -22. Let d = 56.8 + u. Which is greater: d or 2.2?
2.2
Suppose 3*a + 6 = -0. Let n be (-2 - (-1)/1)/1. Let f be (4/(-14))/1 + n. Which is greater: f or a?
f
Suppose 4*n + 4*d - 16 = 0, n - 13 = 3*d + 3. Let s be (-5)/((175/(-10))/n). Which is smaller: 17/6 or s?
s
Let f(o) = o**3 - 5*o**2 - 2*o. Let w be f(5). Let z be (6/4)/(19/38). Suppose -3*l + 36 = -6*l + z*m, -l - 3*m = 8. Are w and l unequal?
True
Let k be (-3248)/(-1078) - (-6)/(-21). Suppose -q - 1 = -5. Which is greater: q or k?
q
Let w(z) be the third derivative of -z**5/60 - 5*z**4/24 + 16*z**2. Let o be w(-3). Which is greater: 36/7 or o?
o
Let t be 3/((-6)/8*2). Let z be 8/(-5) + (1 - (-4)/(-20)). Which is smaller: z or 