- 2*f = -12. Suppose g - 3*l + 3 = 0, 11*g = 9*g + 2*l + 6. Is g less than or equal to p?
True
Let b = 849.12 - 12.12. Let i = -800.3 + b. Let v = -37 + i. Which is greater: -5 or v?
v
Let n = 26.72 + -26.9. Is -0.23 at least n?
False
Let x be (-3 - (-2 - -2))*-1. Let z be (-370)/(-380) - (x - (-12)/(-8)). Is -1 greater than z?
False
Let x be (-2)/(6 + 4048/(-676)). Let p = x - -169. Is p at least as big as -1/245?
True
Let o = 1263 - 1264. Which is bigger: -29/48 or o?
-29/48
Let v = 1003836/68468701 - 2/100247. Is -1 > v?
False
Suppose -2*a - 16 = -4*f, 0 = -69*a + 70*a - f + 15. Is -89 greater than or equal to a?
False
Let d = 1.37 - 95.37. Let l = -90.1 - d. Let y = l - 0.7. Is y at least -0.1?
True
Let d = 28 - 24. Suppose -d = g + 5. Suppose 0*r - 8 = r. Is g smaller than r?
True
Let q = -958/3 + 319. Is -9.74 != q?
True
Let y be (1 - 88)*1/3. Let r = -1529 - -1502. Is r bigger than y?
True
Suppose -2*n = -n + 27. Let g(d) = -44*d + 40. Let b be g(6). Let u be (b/n)/4 - 2. Is u < 1/5?
True
Let k(o) = -o**3 + 13*o**2 - 16*o + 2. Let v be k(11). Let u be (-1587)/(-23) + (7 - 7). Which is smaller: v or u?
v
Let x(u) = -3*u**3 - u**2 - u - 1. Let n be x(-1). Suppose -n*w - 21 = -57. Which is greater: w or 35/2?
w
Suppose -59 = -4*x - 5*p, -7*x = -6*x - 4*p - 20. Let f be (-20)/(-12)*x/(-10). Which is bigger: f or -3?
f
Let a be 12 - (-15672)/9156*-7. Which is greater: a or 0.3?
0.3
Let a(o) = -2*o**3 + 167*o**2 + 266*o + 85. Let g be a(85). Is g smaller than -1?
False
Let w be (-78 - -80)*12/206. Which is smaller: w or -1?
-1
Let l = 13477 + -13476.9. Which is smaller: -7286/9 or l?
-7286/9
Let m(j) = 3*j**3 + 67*j**2 - 29*j + 37. Let q be m(-23). Let g be (3 - q/(-114))/((-4)/(-70)). Which is greater: g or -1?
-1
Let r = -3/410645 - 4742128397/8623545. Let h = -550 - r. Which is smaller: -2/27 or h?
h
Let l(f) = -2*f**2 - 11*f - 13. Let c be l(-4). Which is greater: 1285 or c?
1285
Let n = 102/5 + -704/35. Let w = 19862.9536 + -19863. Which is smaller: w or n?
w
Suppose -33*d - 57163 + 117850 = 0. Which is smaller: 1836 or d?
1836
Let o = -45 + 53. Suppose -3*k - 10 = -a + 6*a, -o = 4*a - 3*k. Suppose f - 2*f + 5*i = -13, -3*f + 2*i = 0. Are f and a nonequal?
False
Let j be ((-387)/63 + 5)*(-3 + 2692/(-8)). Which is smaller: 374 or j?
374
Let l = 5498 - 5532. Let w be ((-24)/(-28))/((-6)/(-56)). Which is bigger: l or w?
w
Let k be 130 - (5 - 8) - 2/1. Let u be ((-4)/6)/((-40)/7860). Is u >= k?
True
Let h = -650 + 783. Let v be 16/(-10)*((-588)/8 - 9). Which is bigger: v or h?
h
Let v = -174.35 + 227.35. Is -1/15 < v?
True
Let y(d) = 16*d**2 + 4*d - 9. Let n be y(-4). Which is smaller: n or -1?
-1
Let n(b) = 45*b - 121. Let u be n(5). Which is smaller: u or 106?
u
Let o = 15129/284 + -3147179/11644. Let z = 217 + o. Which is greater: z or 1?
1
Let t(o) = 6*o - 7. Let n be t(0). Let j = n + 4. Let x be j*(-80)/(-45)*-3. Which is smaller: 13 or x?
13
Let h be (6/4)/((-12)/(-16)). Suppose 0 = h*u + 6*u - 320. Suppose u = -13*b + 21*b. Which is smaller: 3 or b?
3
Suppose n - a = -6, n + 4*a - 3 = 16. Suppose -2*k + 5*z = 3*z - 22, 31 = k - 5*z. Suppose -k*m = 6*m - 96. Which is greater: m or n?
m
Let i(y) = y**3 + 3*y**2 - 6*y - 8. Suppose 0*h = -h + 16. Suppose -5*k = -4*x + h + 4, -2*k + 5*x = 8. Let a be i(k). Are 0 and a equal?
True
Let t(f) be the second derivative of f**4/12 - f**3/3 - 5*f**2/2 + 6*f. Let c be t(3). Let g be c/10 - (-182)/1085. Is 0 at least as big as g?
True
Suppose -34*y - 3*y + 320 = -17*y. Which is smaller: 83 or y?
y
Let x(s) = -s**2 + 22*s - 34. Let b be x(20). Suppose -2 = b*a + 16. Let p be (-51)/(-21) - (-4 - a - -2). Which is smaller: -2/5 or p?
-2/5
Let h(s) = -s**2 - 101*s - 649. Let x be h(-92). Is 40 < x?
True
Let t be (-1)/((111 - 117) + ((-57175)/(-6))/5). Which is greater: 0 or t?
0
Let i(x) = -599*x - 2396. Let n be i(-4). Is -6/1817 at least as big as n?
False
Suppose 5*n + 12*o = 13*o + 72, -2*n - 3*o = -5. Is n bigger than 166?
False
Let w(h) = 5*h**2 + 9*h - 56. Let b(d) = 14*d**2 + 29*d - 169. Let y(v) = 4*b(v) - 11*w(v). Let k be y(-20). Do k and -6/29 have the same value?
False
Let b(a) be the third derivative of a**5/40 + a**4/4 - 13*a**3/3 + 26*a**2. Let p(q) be the first derivative of b(q). Let c be p(-2). Is -3/14 < c?
True
Let o = 587 + -611. Let c be (-18)/o - (-222)/120. Is c greater than 2?
True
Suppose 0 = 365*c - 3 - 5 + 8. Let z(v) = 2*v**2 + 2*v - 4. Let n be z(3). Let s be (3/2)/((-21)/n). Which is bigger: c or s?
c
Suppose 2*v + 4 = -0*q + 5*q, -v + 4*q - 2 = 0. Let s(c) be the second derivative of -3*c**3/2 - 17*c**2/2 + c - 10. Let p be s(v). Is p greater than 4?
False
Let h = -43515 + 43513. Let p = 1.94 + 0.06. Let g = -2 - p. Is g > h?
False
Let p be (7005/9)/(-5) + 5*-1. Let f = 161 + p. Is f bigger than 7/11?
False
Suppose -4*o + 4*k - 12 = 0, -3*o + 6*o = -3*k + 21. Let u = o - -34. Suppose 2156 = 92*w - 1235 + 171. Which is smaller: u or w?
w
Let w = 60 - 19. Suppose -4 = -l + 49. Let m = w - l. Which is bigger: m or -35/3?
-35/3
Let t(w) be the second derivative of -2*w**3/3 + 31*w**2 - 8*w - 5. Let x be t(9). Which is smaller: 0.6 or x?
0.6
Let k = -0.0473 - 359.9527. Let q = 497 + k. Is q at least as big as -2/5?
True
Let t be (24/90)/(4/(-6)). Let a be -9 + 42/7*(-40)/(-24). Which is smaller: a or t?
t
Let x = -713 - -712.6. Is x greater than or equal to -1073?
True
Let f = -130 + 143. Is -144 > f?
False
Let b(x) = -4*x**2 - 36*x - 79. Let q be b(-5). Let c = -2/361 - -381/3610. Which is bigger: q or c?
q
Let s = -2/11 + -8/77. Let n = -58 + 39. Let l = -21 - n. Which is smaller: l or s?
l
Let t = -7571 + 53077/7. Suppose 12 = 2*i + 2*i. Suppose 16 - 46 = -i*v. Which is bigger: t or v?
t
Suppose 6323 = -4*k - g, 953 = -k + 7*g - 577. Which is bigger: k or -1582?
k
Let c(o) = -o**2 + 3*o + 5. Let p be c(4). Let h be 303/102 - (2/15 + (-559)/(-195)). Is p less than or equal to h?
False
Let y = 3/22 + 5/286. Let h = 23.66 + 0.34. Is y at least as big as h?
False
Let o be (-1341)/(-8) - -2*9/48. Suppose -o = -20*d - 8. Do 20/3 and d have the same value?
False
Let x(j) = -j**3 - 16*j**2 - 17*j - 31. Let a be x(-15). Let o be ((-11)/9 - a) + (-36456)/14553. Which is smaller: o or -3?
-3
Let y(p) = -10*p**2 - 36*p - 28. Let v be y(17). Is -3530 less than v?
False
Let i = -647.5133 - 0.3867. Let a = i + 648. Is 203/3 less than or equal to a?
False
Let q be 22/33 - (0 - (-8)/21). Let h = -1259 + 1295. Is h not equal to q?
True
Let n = -123 - -125. Let t be (7/1)/((-4 + n)/2). Let y(m) = -2*m**2 - 15*m + 2. Let a be y(t). Is a at least 14?
False
Suppose 203*m + 1536 = 200*m - 2118. Which is smaller: m or -1219?
-1219
Let s = 237.8 + -229.8. Let i be 2 + (3 - (-62)/(-14)). Is i greater than s?
False
Let v be ((-2)/(-4))/(98/1344). Let r(k) = k**3 - 4*k**2 - 3*k - 4. Let y be r(5). Which is greater: v or y?
v
Let p be (-3 + 1935/2)/(-18). Let w = 209/4 + p. Let l = 15/4 + -4. Are w and l nonequal?
True
Let n be 20*((-68)/(-425))/(((-12)/15)/4). Which is smaller: 10 or n?
n
Let t be 39/(-3)*1 - 1. Let n = -20 + -156. Let o = 160 + n. Which is greater: t or o?
t
Let d = 9981.865 + -9982. Which is smaller: d or 1/3?
d
Let k(v) = v**3 - 2*v**2. Let t be k(1). Let u be (-3 - t)/(2/36). Let i be 34/(-12) + 3/u*2. Which is smaller: -2/19 or i?
i
Let n = -53.289 + -252.711. Let a(b) = -b**3 + 5*b**2 + 6*b + 1. Let v be a(6). Is v != n?
True
Let h(v) = 2*v**2 - 3*v - 16. Let k be h(4). Suppose k*n - 19 = 5*d, -n + 6*n - 4*d = 17. Let q = -71497/420 - -681/4. Is n at least as big as q?
True
Suppose -28 = -2*j + 3*n, -4*j + 2*j + 20 = n. Let o(r) = -5*r + 12. Let f be (-3 + 50/15)*0. Let b be o(f). Is b > j?
True
Suppose 4*b - k = 17, b + b + 2*k - 6 = 0. Let l be 6/b*(-7)/(-2). Which is smaller: l or 4?
4
Let i = -2.262 + 2.46. Let d = i + -2.198. Which is greater: -1 or d?
-1
Let l(z) = 13*z**2 - 2*z + 8. Let a be l(2). Let j be 16/a - 86/7. Let f be (-13)/18 - j/24. Is f bigger than 1?
False
Let h(a) = a**3 - 18*a**2 + 2*a + 28. Let r be h(18). Let i be ((-3)/(-28))/(2424/r). Which is greater: -1 or i?
i
Suppose -p + 4*p + 736 = -20*p. Which is greater: p or 0.39?
0.39
Let n be 2/4 + 893/38. Suppose 3*y + o + 0*o = 16, n = y + 5*o. Suppose -y*k = -6*k. Is k <= -2?
False
Let m = -255 - -