alse
Let i = 85 + -86. Let p be -1 + -3 + 6 + i. Which is smaller: 52 or p?
p
Let l be 2531/5 - (-6)/(-30). Do l and 505 have different values?
True
Suppose -5*z = -0*z - 25. Suppose -4*w = -2*q + 6, -5*q - 5 = 4*w - 6. Let a be (-8)/(1 - z)*w. Which is greater: -3 or a?
a
Let d(c) = -2*c**2 + 7*c + 21. Let g be d(10). Let h = g - -59. Which is bigger: -51 or h?
h
Let d = -468 + 431. Is d >= -192/5?
True
Let s(y) = -y**2 - 7*y + 6. Let o be s(-8). Let m be 1 + 6/15*o. Suppose 4*q - 19 = 23*q. Is m smaller than q?
False
Suppose 163 = 9*t + 199. Let k = -73 + 223/3. Which is greater: t or k?
k
Suppose p - 3 = 2*p. Suppose -3*t + 2*q = -91, -2*t + 82 = -0*q + 4*q. Let v = t + -35. Is v <= p?
False
Let v = -1156 + 1158. Is v <= 46?
True
Let v(t) = -6*t + 5. Let a(h) = -5*h + 4. Let u be (-4)/(-12) + (-33)/(-9). Let d(j) = u*a(j) - 3*v(j). Let i be d(0). Is i less than 2?
True
Suppose 2*w + 5*p = 1, 5*w = -3*p + 7 + 24. Which is smaller: w or 13?
w
Let c = -245 + 251. Is 9 greater than or equal to c?
True
Let i be (9/6)/((-99)/924). Which is greater: i or -28?
i
Let x = -10 - -15. Suppose -3*t + x*t = -4*k + 84, 4*k - 5*t - 70 = 0. Let i(b) = -b**3 - b**2 + b - 1. Let m be i(-2). Is m greater than k?
False
Let a = 0.1 - 0.2. Let o(q) = -172*q - 330. Let y be o(-2). Which is bigger: y or a?
y
Suppose 2*w = 0, 2 = -2*t + w + 6. Let n = 2 + -2. Are t and n non-equal?
True
Let h = -43.8 + 49. Let r = 6 - h. Let p = r - -2.2. Which is greater: p or -0.3?
p
Suppose 4*g - 8*g + 68 = 0. Let t be ((-3)/g)/((-1)/4). Let a = -67/119 + t. Do a and 1 have different values?
True
Let l be (-22)/(-33)*(-18)/(-4). Suppose 20 = -2*b - 0*b. Let y be ((-6)/b)/(1/5). Are y and l unequal?
False
Let j be (9 - -101) + 2*1. Suppose -j = 6*u + u. Does u = -16?
True
Let r = -9/5 + 4. Suppose 4*n = 16, -3*h - 2*n = -5*n + 3. Which is smaller: r or h?
r
Suppose 28 = -4*o - 3*l, 0*l = 3*o + 5*l + 32. Suppose 5*q - 8 = q. Suppose -c - q = -0. Is c > o?
True
Suppose -44*p + 43*p + 8 = 0. Suppose -p = -3*o + d, 17 = -3*o - 5*d + d. Which is greater: -1/4 or o?
o
Suppose 101*d = 92*d + 54. Which is greater: 20/3 or d?
20/3
Suppose -9 = -3*v, 5*h - 2554 + 469 = 5*v. Let y = -116 + 109. Let q be (-4)/y + (-590)/h. Which is smaller: q or -1?
-1
Suppose -3*i + 4*b - 853 = 0, 5*i - b + 1084 = -332. Which is greater: -284 or i?
i
Suppose -9*q + 13*q - 40 = 0. Suppose -2*z - q = -16. Which is smaller: z or 4?
z
Suppose 0 = 11*p + 143 - 44. Let l be -5 - 76/(-12) - (-3)/p. Let t = 0.81 + -0.01. Is l > t?
True
Suppose 0 = -5*f + 2*w - 1236, 5*f - 4*f = 5*w - 261. Which is greater: 2 or f?
2
Suppose -4*l + 10*b = 7*b - 125, -2*b = -2. Is 32 at most l?
True
Let d be -7 - (30/12)/((-5)/12). Is d > 6/115?
False
Suppose 0 = -5*j - 15 + 30. Suppose 0*y = -2*y + 8. Suppose y = -v + j. Is v > 0?
False
Let w = -289 + 1448/5. Let i be (28/(-6))/((-2)/3). Let s be (3 - i)/(1 + -3). Are w and s nonequal?
True
Let i be (-8)/((-96)/54)*(-24)/(-63). Which is smaller: 0 or i?
0
Let u = 86.097 - -2.003. Let s = -88 + u. Is -5 greater than or equal to s?
False
Let d be (-4 + -2 + 7)*5. Suppose 0*x - 5*l - 12 = -3*x, -d*x = -3*l - 4. Are -0.35 and x equal?
False
Let r = -14264/7397 - -3/569. Which is smaller: -2 or r?
-2
Let d(b) = -b**3 - 4*b**2 + 6*b + 4. Let p be d(-5). Is p less than or equal to 3/61?
True
Let t = -26.635 - -0.235. Let a = -13.5 - t. Let o = a - 13. Are -0.1 and o unequal?
False
Let p be 286*((-3)/70)/((-24)/20). Let h = 309/70 - p. Is h at most -5?
True
Let h be -5 + 19 + 4 + -2. Which is smaller: h or 15?
15
Suppose -14*v = -16*v. Let w be (-14)/1393 + v/(-1). Is w bigger than 0?
False
Suppose -3*y = 5*p - 20, 6*p - 8*p + 8 = -y. Suppose 5*k + 15 - 5 = y. Let n = 2/25 - 31/75. Which is smaller: n or k?
k
Suppose -9*i + 134 - 53 = 0. Which is smaller: i or 26/3?
26/3
Let m(x) = x**2 + 10*x + 5. Let t be m(-10). Suppose -t*w - 8 = -w. Let p be (-1)/w + (-3)/2. Is p at least as big as -1?
True
Let i = 2424 - 2419. Let x(s) = s**3 + 7*s**2 + 5*s. Let w be x(-6). Which is greater: i or w?
w
Let s = -582 + 582.3. Which is greater: s or 108?
108
Let u be (25/(-20))/((-1)/(-7)). Suppose -73 = 27*l + 197. Which is greater: l or u?
u
Let g be -9 + (-10)/(-2) + -5. Let i be -4 - ((-9)/(-6))/(g/12). Let t = 3 + -13. Which is smaller: t or i?
t
Let i be (4 - 6) + 16/7. Which is smaller: 5/3 or i?
i
Let x = 159.82 - 160. Which is bigger: 0 or x?
0
Let r = -30 - -36. Suppose r*o = 1 - 7. Which is bigger: o or 2/27?
2/27
Let a be (-10)/(-18) - (5 - 4). Suppose 0 = -4*n + 2*n + 16. Suppose n*q + 15 - 7 = 0. Is a at least as big as q?
True
Let o = 48 - 16. Let m be (2/(-12))/((-4)/o*-2). Which is bigger: -3/5 or m?
-3/5
Suppose 3*f = -2*x + 19, -3*f - 4 = -f - 2*x. Suppose 0*n = -2*n + 62. Suppose 3*y = -n + 10. Is f equal to y?
False
Let y(a) = -a - 23. Let t be y(-8). Let j be 3*t/6 - 1. Is j greater than -10?
True
Let c be (-8 - -6) + 550/2. Let s(x) = -x**3 - 1 + c*x**2 - 273*x**2 - x. Let g be s(0). Is g at least -0.09?
False
Let g = 7 + -7. Is -10/41 at most g?
True
Suppose 4*l - 5*n + 39 = 0, 2*l - 4*l - 24 = -4*n. Let x be 6*((-10)/l + -1). Let q = 3 - x. Which is smaller: -15/8 or q?
-15/8
Let k(s) = s - 3. Let u be k(18). Let o = -11 + u. Suppose o*t - 5*t + 13 = 0. Is 13 bigger than t?
False
Let u(o) = -2*o**2 - 18*o + 23. Let m be u(-11). Let j be -1*(19 + 3 + -2). Which is smaller: j or m?
m
Let j = -42.61 - -3.61. Do j and -0.1 have the same value?
False
Let i = 0.25 + -0.05. Let j = -1.3 + i. Let r = j + 1.2. Is -1/3 less than r?
True
Let s be ((-18)/(-10))/((-6)/5 - -1). Let l be (6 + s + 2)/(1/5). Is 4 >= l?
True
Suppose -4*w + 48 = 4*k, -4*k + 20 = w - 7*k. Let r be 131*(-2)/w*19. Let q = 355 + r. Is q greater than or equal to 2/11?
False
Let l = -39 + 3. Which is greater: -0.2 or l?
-0.2
Let b = 1/611 + 1201/12831. Let o(x) = -2*x**2 - 12*x. Let h be o(-6). Which is greater: b or h?
b
Let r be 153/68*(-4)/(-3). Suppose -r*a = -0*a - 18. Let k be 4/(-6) + 69/9. Do a and k have the same value?
False
Let c = -104 + 522/5. Suppose 4*q + 0 = 3*l - 1, 3*q + 5*l = -8. Are q and c unequal?
True
Let n = -68126/9 - -7556. Which is greater: -15 or n?
n
Let l(i) = -i**3 + 9*i**2 - 11*i - 22. Let a be l(7). Is -16/59 less than a?
False
Suppose 5*m + 13 - 3 = 0. Which is smaller: -17/5 or m?
-17/5
Suppose 2*w = -4*t + 216, -4*t - 45*w + 208 = -41*w. Is t >= 55?
True
Let j be -8*(1/2 - 0/5). Let w be (3 + 276/(-94))*4/j. Is 1 < w?
False
Let n = 87/55 - -1/55. Let b be 6 + (6 + -3 - 6). Which is greater: b or n?
b
Suppose 85*c + 110 = 84*c. Is c at least -112?
True
Suppose 343 = -6*c - c. Let k be 1*-4 - c/14. Is 0.002 at most as big as k?
False
Let j(o) = -2*o**2 + 4*o - 30. Let l be j(5). Which is smaller: l or -63?
-63
Let o be 4*(2/(-42))/((-34)/(-34)). Suppose h = -2*g + 9, g = -5*h + 15 + 12. Suppose -h*x = -0 + 5. Which is smaller: x or o?
x
Suppose 0 = 5*s + 15, -p - 2*s + 14 = 48. Is -28 less than p?
False
Suppose -4 = 6*a - 2*a. Let k be a/(-5 - 3)*(-6)/3. Which is smaller: -1 or k?
-1
Let o = 18 - 16. Suppose -o*w - 2*w = 3300. Let g = -28873/35 - w. Is 1 greater than g?
True
Suppose -33*a - 8 = -35*a. Suppose c + 6 = -0*b + 3*b, c + 6 = a*b. Is c at most -1/2?
True
Let t(p) = -p**3 + 2*p + 2. Let q be t(-2). Let j = -12.3 - -15.62. Let a = 0.32 - j. Are a and q non-equal?
True
Let i be 14/(-2) + (-515077)/(-73593). Does -1 = i?
False
Suppose 5*n - 24 = 2*n. Let x be ((-2)/(-8) + (-10)/n)/2. Which is smaller: -2 or x?
-2
Let s(h) = -h - 2. Let k be s(2). Let v(l) = 5*l**2 - 3*l + 3. Let y be v(1). Suppose -5*z + y*c + 18 = -4*z, 2*z = 3*c + 1. Is z greater than k?
False
Let r be (-149)/(-4) + 1 + (-5)/5. Let n = r - 37. Which is greater: 2/5 or n?
2/5
Let i = -10 - -10. Is i less than 2/67?
True
Suppose -2*r = 2 - 8. Suppose r*a = -j + 1, 9 - 40 = -5*j - 2*a. Suppose 0 = o - 2*s + j + 2, -14 = o - 3*s. Is 2/25 > o?
False
Let s = 0.311 - -150.689. Let p = s - 153. Let u = 22 + -16. Which is smaller: u or p?
p
Let y = -92.9 - -89. Let u be (2/(-6))/((-1)/2). Is u greater than or equal to y?
True
Let a(i) be the second derivative of 0 + 1/3*i**3 + 1/2*i**2 + 3*i + 1/4*i**4 + 3/20*i**5. Let f be a(-1). Which is bigger: 1 or f?
1
Let d be (-2984)/(-5040) + -2 + 7/5. Let a = -419/5166 - d. I