ich is smaller: 2 or l?
l
Suppose 828 = -14*i - 9*i. Is i < -39?
False
Let p = -24 + 23. Let w = p + -4. Is -0.5 < w?
False
Let q(n) = n**2 + 8*n + 9. Let h be q(-5). Let u = h + 2. Does u = -5?
False
Let f be 215*(9/(-15) - -1). Is f at least as big as 86?
True
Suppose -z - 3*u - u - 13 = 0, -2*z + u + 10 = 0. Suppose -y + 3*y = -5*k + 33, z*k + 36 = 5*y. Which is smaller: 8 or y?
8
Let d(w) be the first derivative of -w**3/3 - 19*w**2/2 - 9*w + 20. Let y be d(-14). Is -1 less than y?
True
Suppose -4*g - 40 + 44 = 0. Let p be (-56)/140*g/22. Is -1 smaller than p?
True
Let s = -32 + 31. Suppose -73 = 2*v + h, 4*h = -5*v + 2*h - 184. Let p be v/(-78) + 1/(-3). Is s at least as big as p?
False
Let b = 1009 + -1009. Which is smaller: 5/481 or b?
b
Suppose -24*w + 25 = 1. Is w bigger than -2/95?
True
Let b = -611/3 + 201. Suppose -3 = -4*x - 19. Which is greater: x or b?
b
Let x(v) = v**3 + 9*v**2 + v + 19. Let t(l) = l - 2. Let h be t(-6). Let c be x(h). Are c and 75 unequal?
False
Suppose 0 = 3*v + 2*v - 2*s + 106, 4*s - 12 = 0. Let t = 19 + v. Let m be (12/(-12))/(t/(-11)). Which is greater: -23/2 or m?
m
Suppose -2*b = -3*b. Suppose 5*l - 15 + 0 = b. Which is greater: 0 or l?
l
Let b be 3 - 10*28/(-272). Let t = b + 8/17. Is t greater than 6?
False
Let u be 4/(-12) + (-34)/(-66). Suppose 5*m + 11 + 16 = -c, 5*m = c - 13. Let v be c/(-6) + (-1)/6. Is u at least v?
False
Let c be 95/31 + 50/(-775). Let b(r) = -r**3 + 3*r + r**2 + r - 4 + r. Let k be b(c). Which is smaller: -8 or k?
-8
Let v(c) = c**2 - 5*c + 5. Let b be v(5). Let d(f) = f**3 - 4*f**2 - 5*f + 7. Let x be d(b). Is x at most 4?
False
Let y = -20 + 24. Let c = -3 + y. Which is bigger: -1/27 or c?
c
Let x = 142 + -142.3. Is x at least -22?
True
Let p be (12/(-8))/3*-54. Suppose -d + 84 = 2*d. Are d and p non-equal?
True
Let r = -5 - -8. Let h(o) = -o**3 + 11*o**2 + 13*o - 8. Let q be h(12). Suppose -2*u - 2 = q*l, 18 = 2*l - 3*u - 1. Which is bigger: l or r?
r
Let h = 2.31 - 0.21. Let b = h + 20.9. Which is smaller: b or 0?
0
Suppose 33*y - 2*m = 37*y - 1042, y - 5*m - 255 = 0. Which is smaller: 1037/4 or y?
1037/4
Suppose -s + 5*s = 828. Are s and 207 equal?
True
Let u be 6 + 12/8*-2. Suppose -y = -u*y. Let g = -221.08 + 221. Which is smaller: y or g?
g
Let k be 5 + -9 - 238/(-60). Suppose -3*f - w - 5 = 0, 0*f + 2*f = 2*w + 2. Which is bigger: f or k?
k
Suppose 0 = -i - 7, 0 = -13*q + 10*q + 4*i + 55. Let n(x) = 2*x**3 + 3*x - x - x**3 - x**2. Let f be n(2). Which is bigger: q or f?
q
Suppose 3*n = -15, t + 4*t = -4*n. Let z be 2 + t/(-3) - (-204)/(-198). Which is smaller: z or 1?
z
Let y = 238 + -347. Let a = y + 164. Which is smaller: a or 1/3?
1/3
Let w(d) = -d**2 - 14*d + 393. Let j be w(-28). Which is bigger: j or 38/99?
j
Let q(i) = i - 16. Let m be q(12). Let n = 2020 - 14173/7. Is n less than or equal to m?
True
Suppose 3 = 3*t - 0. Let i = 367/6 - 305/6. Let d = i - 10. Which is smaller: t or d?
d
Suppose 3*b + 8 = -c, 0 = 3*b + c + c + 13. Is b >= 9/22?
False
Suppose 5*h = -4*q + 584 + 2898, 2*q + 4*h - 1744 = 0. Which is greater: q or 867?
q
Let g = -2118 + 2053. Which is bigger: -7 or g?
-7
Suppose -8*t = -9*t + 2. Suppose 6*x - 4 = 14. Is t not equal to x?
True
Let q = 58.4 + -66. Let j = q - -8. Let p = -43 - -42.9. Which is greater: p or j?
j
Let g(w) = -91*w + 137. Let d be g(-1). Which is smaller: 229 or d?
d
Let k be 1/(-3) - (-118)/(-6). Let t(m) = m**2 + 25*m + 115. Let c be t(-17). Which is smaller: c or k?
c
Let s = -157 + 214. Which is smaller: 54 or s?
54
Let g(d) = -2*d**2 - 2*d + 2. Let h be g(-2). Let r be (-170)/45 - (-16)/(-72). Let m be h/(0 - 1/r). Which is bigger: -7 or m?
-7
Suppose m - 7*f - 359 = -4*f, -2*m + 3*f + 703 = 0. Is 343 at least as big as m?
False
Suppose 3*u + 35 - 8 = 0. Let v(n) = n**2 + 7*n - 23. Let m be v(-11). Let y = 11 - m. Is u equal to y?
False
Let r be (2 + 0)*(-1 - 3). Let w be r/(-18) - 8/36. Is -1 less than w?
True
Let h = -19 + 19. Let u = 0.8 + -0.82. Which is smaller: h or u?
u
Suppose 2 = 12*a - 11*a, 4*a + 223 = 3*g. Which is bigger: g or 80?
80
Let c = -0.38 + 16.38. Let f be (7 + -9)/((-96)/16). Which is smaller: c or f?
f
Suppose 0 = -19*v + 8*v. Suppose 2*d + 8 = v, 3*l - 5*d + 2*d - 24 = 0. Which is bigger: l or -2/5?
l
Let c(k) = k**2 + 16*k + 26. Let j be c(-17). Which is bigger: j or 41?
j
Let m be (10 - 0)/((-8)/(-14)). Let j = m - 18. Is j less than 0?
True
Let j = -2667 + 685417/257. Is 0 at least j?
True
Let k = 66 - 67.09. Let u = k + 1.09. Are u and 2/3 nonequal?
True
Let z = 2125 - 2124.7. Let n = 16 + -26. Which is smaller: n or z?
n
Suppose -74 = -9*t + 43. Which is smaller: t or -2?
-2
Suppose 0 = -6*d + 21 - 3. Suppose -2*w = -d*w. Let j = -60 + 241/4. Do j and w have the same value?
False
Suppose -2*j + 178 = -32. Suppose j = -2*g + 23. Let d = -79/2 - g. Which is smaller: d or 2?
d
Let y = 28 - -2. Suppose -2*f = 3*f - y. Which is greater: 13/2 or f?
13/2
Let n be 2*(-398)/(-12) + 4. Which is bigger: n or 71?
71
Let n = 149 - 95. Which is smaller: n or 60?
n
Let o(g) = 3*g - 11. Let h be o(4). Is -1/441 at least as big as h?
False
Let f be (32/(-1176))/(1 - 20/24). Is f less than -1?
False
Let a be (12/(-9))/(6/504). Which is greater: a or -110?
-110
Let z = -437 + 955. Is z < 518?
False
Suppose -1010 = -7*b - 359. Is 96 less than or equal to b?
False
Let m be (-1)/(2*(-9)/6). Let u = -0.15 - 0.37. Let d = u + 0.02. Is d != m?
True
Suppose -5*p - 2*p = -2*p. Let z be 6 + -3 - 100/34. Is z at least p?
True
Suppose 0 = -3*r + 3. Let m = 84927/8 + -10616. Which is smaller: r or m?
m
Let f = -428 + 541. Is f at least 115?
False
Let h be 324/(-135)*(-1 + 934/330). Let y = h - -47/11. Which is bigger: y or 1?
1
Suppose 2*d = -2*m - 38, 3*m = 4*d + m + 52. Suppose -5*r - 21 = 74. Is d at most as big as r?
False
Suppose 10 = l + 4*l. Suppose -2*v - 4*o = -44, v - 58 = -2*v - l*o. Let x be v/9 - 2*2. Is -1 at least as big as x?
True
Suppose -5*n + 15 = 3*z + 7, 0 = 3*z + 4*n - 4. Let d be ((-15)/30)/(2/z). Are d and 2/33 unequal?
True
Let h be (6 + (-231)/35)/((-2)/30). Let x(d) = -d**3 + 7*d**2 + d - 2. Let f be x(7). Which is smaller: f or h?
f
Let j = 13126 + -78995/6. Let p be (-6)/33 - (-185134)/4620. Let y = p + j. Is y < 0?
False
Suppose q = 61 - 129. Let f = 69 + q. Are 4/17 and f equal?
False
Let h be (11/(-264)*-6)/(1*-1). Let o = -64.9 + 61. Let m = -4 - o. Is h greater than m?
False
Let p(z) = 4*z**2 - 8 - z + 712*z**3 - 357*z**3 - 356*z**3. Let j be p(4). Is -13 at most j?
True
Let j(d) = -d**2 - 5*d - 3. Suppose -2*n - 4*f - 12 = -0, 3*n + 12 = -3*f. Let c be j(n). Let m be c/2*(-6)/(-54). Is m bigger than 0?
True
Let s(q) be the first derivative of q**3/3 + q**2 - 15*q + 19. Let k be s(3). Is k not equal to 8/25?
True
Suppose 5*u - 4538 = 1037. Suppose -195 = -8*q - u. Which is smaller: q or -114?
q
Suppose -8*h = 91 - 27. Let a be -2 + (-7)/((-14)/(-12)). Let z = a - h. Which is smaller: z or 2/13?
z
Suppose x - 2*u = 1, x = 4*x + u - 3. Let o = -56 - -57. Are x and o nonequal?
False
Suppose -2*p = 4*g + 8, 5*p + 2*g + 2*g + 8 = 0. Let r = p - 6. Let u be (r/(-36))/((-1)/(-9)). Which is smaller: 2 or u?
u
Let d = 14/19 + -427/760. Which is greater: 1 or d?
1
Suppose 4 = -0*r + 4*r. Suppose 2*t + 6 = 0, 10 = 4*s - 0*t + 2*t. Suppose 0 = -2*h + q + 2, -3*h + 2*q + 0 = -s. Is h at least r?
False
Let i(d) = 9*d - 27. Let q be i(3). Let o = 4525/31 + -146. Which is smaller: o or q?
o
Suppose -4*g - 72 = -2*v, -2*g = g + 2*v + 54. Let p(h) = 1 + 0 - 2 - 8*h. Let c be p(2). Which is smaller: c or g?
g
Let o = -97 - -87. Let a be (6/15)/((-6)/o). Which is bigger: 1 or a?
1
Suppose -6*v + 35 = v. Suppose -y + v = -3*l, -2*y + 0*y = -3*l - 10. Is -1 equal to l?
False
Let d = 192 + -200. Let c = -10.3 - -10. Which is smaller: c or d?
d
Suppose -9 = -2*c - 1. Suppose -35*s = -26*s - 45. Are c and s unequal?
True
Let t be -9 - (-564)/42 - 9/21. Is 72/17 greater than t?
True
Let h = -114 - -108.9. Let c = h - -5. Let f = -0.35 + -1.15. Are f and c nonequal?
True
Suppose -1 = -3*y + 2*c, -4*y - c - 8 = 9. Suppose 18 + 4 = -6*o + 2*r, o + 2*r = 1. Is o at least y?
True
Suppose -2*h - 36 = h. Let c(a) = -a - 7. Let n be c(h). Suppose -3*o - 3 = 2*z - 4, n*o - 8 = 3*z. Which is greater: -6/11 or z?
-6/