- -0.075329. Let w = -258 + 154. Is w at least d?
False
Suppose 3*o = -5*f - 17, -3*f + f - 22 = 5*o. Let k(l) = -26*l - 13. Let m be k(-3). Let d be 2 - (94/m - 18/(-45)). Which is greater: f or d?
d
Let b(s) be the third derivative of -s**6/120 + 17*s**5/60 - 47*s**4/24 + 5*s**3/3 - 92*s**2. Let x be b(8). Is 211 not equal to x?
True
Let u = 115 - -627. Let t = 760.06 - u. Let p = t - 18. Which is smaller: p or -3?
-3
Let o = -3832678/5 - -769333. Which is smaller: o or 2796?
2796
Suppose -7*b + 4*b - 60 = 0. Let m = 119/6 + b. Is 17/4 at least m?
True
Let p = 0.049447 + -0.049447. Let w = -1.2 + 1. Which is smaller: w or p?
w
Let y = -5.593 + 3.993. Which is smaller: 0 or y?
y
Let n = 39 + -35. Suppose -668 = -3*o - n*u + 3*u, 0 = -3*u + 15. Is o < -1?
False
Suppose 42*y + 64081 + 53981 = 0. Which is smaller: y or -2810?
y
Let v = -2.3 + 2. Let y = -194.929 + 194.9. Which is smaller: v or y?
v
Suppose -196*d = -169*d + 13230. Let r = 489 + d. Let g = -0.2 - -0.4. Are g and r non-equal?
True
Let s(t) = -t**3 - 8*t**2 - 14*t + 12. Let g be s(-5). Suppose -182 - 639 = -4*i + m, 5 = -5*m. Let d be i/25 - (2 - (g - 1)). Which is bigger: d or 11?
d
Let z be -1 + (-17)/((12/(-4))/6). Let b = -13 + z. Suppose -b*r = -23*r. Is -2 bigger than r?
False
Let g be 2840/2835 - (4 + -7)/(-3). Which is smaller: g or 1?
g
Let m = 13 - 11. Suppose 0 = -5*x - 4*p + 25, 0*x - 10 = -m*x + 4*p. Suppose 27 = x*v + 57. Is 10 < v?
False
Suppose -5*f + 2*w = 96021, -w + 68776 - 11165 = -3*f. Is f at most as big as -19202?
False
Let n be ((-996)/8 + 1)*6. Let q be ((-2)/7)/(-2 - n/371). Is q less than or equal to 108?
True
Let d be (-3)/6 + 2249*2014/(-1228). Let o = -3689 - d. Which is bigger: -1 or o?
o
Suppose 0 = -16*y - 18793 + 53891 + 43494. Is y bigger than 4912?
False
Let t be 286/(-6) + (-15)/45. Let o be (t/(-128))/((-2)/8). Which is bigger: -9 or o?
o
Let t(y) = 1310*y - 17015. Let p be t(13). Which is smaller: 730 or p?
p
Suppose -21*n - 182 = 70. Let m be 36/n - (-1 + -1 + 5). Is -6 greater than or equal to m?
True
Suppose 5*y + 5*y = 1040. Let t = 103 - y. Let g be (t + 3)*(4 + -6) - 113. Is -117 >= g?
True
Let j = -136443 - -9550823/70. Let k be 12/(3*(-14)/9). Let i = k - j. Which is smaller: 1 or i?
i
Let j = 511 - 507. Suppose 0 = h + h. Is h < j?
True
Let y(a) = -82*a**3 - 2*a**2 + 5*a - 284. Let x be y(7). Is -28472 at most x?
False
Suppose -2*k + 5*y = 135 - 6, 4*k = -3*y - 271. Let v be (7/(-20) - (-2)/8)*-4. Is v less than or equal to k?
False
Let d be (-13 + 15 + -6)/((-3)/2430). Is d greater than 3240?
False
Let m = 7946 - 5482741/690. Let q = m + -83/6210. Suppose -f - 16 = -5*f - 4*l, 0 = -2*f + 4*l - 22. Which is bigger: q or f?
q
Suppose 4800 = 11*j - j. Let g = -416 - j. Let f be (-356)/g - (-9)/(-21). Which is smaller: f or -1?
-1
Let n(u) = -u**2 + 34*u - 118. Let d be n(4). Is d bigger than -667?
True
Suppose 0 = 7*b - 3*b + 8*b. Let g = 13628/5 + -2734. Which is smaller: b or g?
g
Suppose -2*z + 64 = -0*z. Let i = -446 + 441. Let v(q) = 3*q**2 + 7*q - 9. Let g be v(i). Are z and g non-equal?
True
Suppose f + f = -o + 34, -4*o = -f + 35. Suppose -13 = f*q - 32. Which is greater: 10 or q?
10
Let m = -4005 - -4031. Which is bigger: 31 or m?
31
Let v = -14 - -153. Let x = v - 415/3. Which is smaller: x or -2/343?
-2/343
Let t = 0.08 + -0.38. Let o = t - -0.2. Let v(h) = -11*h**2 + 109*h - 212. Let q be v(2). Is q at least as big as o?
False
Let p = -212 + 212. Suppose 3*n + 223 = 4*h - 131, 3*n - 5*h + 354 = p. Which is bigger: n or -116?
-116
Let s be 38/12 + 3/6. Let p be (-42)/(-4) - (-1)/(-2). Suppose -3*g + p = -m, g - 5*m = 4*g - 4. Which is greater: g or s?
s
Suppose 10*m = 6*m + 8. Suppose -m*f + 81 + 29 = -k, k + 165 = 3*f. Is 55 at most as big as f?
True
Let s = -689/3 + 228. Let g(m) = 3 + 7 - 1 + 0*m - 2*m. Let b be g(5). Are s and b non-equal?
True
Let z = -1406 - -1407. Which is smaller: z or 8/89?
8/89
Let m be (-28)/16 - 15/(-20). Let q be ((-40)/(-25))/((-5)/(-235)). Let l = q + -77. Which is smaller: m or l?
l
Let l = 152.5 - 135. Let x = l - -30.5. Which is smaller: x or -1?
-1
Let p be (-2)/(-7) - (-306)/(-4998)*42/9. Is p bigger than -29/219?
True
Suppose -b = -n + 2*b + 5012, -3*n + 15028 = -5*b. Suppose 50*j + n + 8244 = 0. Which is smaller: j or -266?
-266
Let y(u) = u**2 + 13*u + 23. Let m be y(-2). Let q be (m + -6)*(-84)/(-60). Is q > -3/2?
False
Suppose -76*f + 828351 + 72909 = -40*f. Is f at most as big as 25034?
False
Let w(c) = -c**3 - 14*c**2 - 29*c - 16. Let v be w(-12). Let h = -51 + v. Is h equal to -22/3?
False
Let z(m) = -13*m - 28. Let j be z(-7). Suppose 8*a - j = 41. Suppose 0 = 5*g - 51 - 4. Which is bigger: a or g?
a
Let v be 1/2 + 1*902/(-700). Which is smaller: -1 or v?
-1
Let n be 2/8 + (-5)/((-180)/99). Suppose n*v + 35 - 11 = 0. Suppose c - 5*r - 8 + 2 = 0, 5*c + 36 = 3*r. Is c less than or equal to v?
True
Let i = 84 + -99. Let g = i + 80. Let v = -67 + g. Which is smaller: v or 37?
v
Let w be (-256)/(-960) - 3/(-45). Is w <= 0.912?
True
Let l(p) = 2*p**2 - 7*p + 10. Let i be l(3). Let n be i/(-28) + 3532/(-16). Is n less than or equal to -219?
True
Let a be (-20)/(-22)*14916/5085. Let i(d) = d + 1. Let t be i(-8). Let b(j) = -j**3 - 8*j**2 - 8*j - 3. Let x be b(t). Which is smaller: x or a?
a
Suppose 60*j + 182 = 47*j. Let h(q) = q**3 + 8*q**2 - 82*q + 29. Let z be h(j). Is -12/47 equal to z?
False
Suppose -3*r + 4*f = -12, 9*r - 5*f = 4*r + 20. Let c be (-1)/((-6)/r) - (-2896)/(-4308). Which is smaller: c or 0?
c
Suppose -4*f - 68 = -4*d, -2*f + 6 = -5*d + 49. Which is smaller: -438/29 or f?
-438/29
Let o = 0.00895 - -73.99105. Which is smaller: 0.19 or o?
0.19
Let q(k) = k**3 - 5*k**2 + 2*k + 8. Let m be q(4). Let g = 67651/156 - 1301/3. Is m not equal to g?
True
Let s(r) = -2*r**2 - 9*r + 3. Let k(h) = 2*h**2 + 8*h - 2. Let p(u) = 7*k(u) + 6*s(u). Let a be p(0). Suppose -a*o - 50 = -9*o. Which is smaller: 8 or o?
8
Let q = 37 - 35. Suppose -a + q*a = 4. Suppose 0 = a*o - 2*b - 48, 3*o + 2*b - 20 = 30. Which is smaller: o or 16?
o
Let r(j) be the first derivative of -3*j**2/2 - 52*j + 107. Let s be r(-4). Is -37 at least s?
True
Let p = -10831 - -10832. Is p equal to -2171?
False
Let r be 828 - (5 - -3 - (-16 - -17)). Are r and 823 equal?
False
Suppose -4*a - 20 = -8*a. Suppose 39 = a*c + 19. Suppose -6 = 3*u - 0*u, 4*n - c*u = 12. Is n bigger than 32?
False
Let n = 1589 - 1595. Is n >= -4?
False
Suppose 1667207 = -174*p + 105139 - 196724. Which is smaller: -10107 or p?
p
Let y(r) = -6*r**2 - 58*r - 21. Let g be y(-19). Which is bigger: -1086 or g?
g
Let o = -757 - -300. Let i = o - -407. Is i at least 2?
False
Let o(f) = -f**3 - 10*f**2 - 20*f - 10. Let q = 246 + -250. Let z be o(q). Are -22 and z equal?
False
Suppose 323*m - 11 + 11 = 0. Are m and 0.7 equal?
False
Let k = -385 - -383. Let v(f) = f**2 + 8*f + 8. Let b be v(k). Is b != -5?
True
Let x(v) = -34*v**2 - v - 2. Let d be x(-1). Let u = 15 + d. Let y be 1/((u/(-16))/(-5)). Which is smaller: -1/4 or y?
y
Let u be 46/80 + (-1)/5 - (-1239905)/(-3289560). Which is smaller: u or 0?
u
Let u be (2/(-8))/(((-10)/8)/5). Which is bigger: -2/3871 or u?
u
Let p(f) = 18*f - 646. Let i be p(21). Which is bigger: i or -1343/5?
i
Let j = 9049 - 36229/4. Let t = 0.7 - -0.3. Which is greater: j or t?
t
Suppose 60 + 2 = 31*p. Suppose p*z - 3*o - 48 = 0, -7*z - 127 = -12*z + 4*o. Which is greater: z or 0.04?
z
Let k = 63 - 57. Suppose 0*b = -2*b + k*b. Let w be (-3)/(-6)*b/(-11). Is -1/18 <= w?
True
Let a(x) = -11*x - 28. Let b(p) = -24*p - 58. Let w(k) = 13*a(k) - 6*b(k). Let q = -8 - -19. Let m be w(q). Which is greater: m or -40/11?
-40/11
Suppose -31*p + 84 = -24*p. Let i = 16 + -15. Is i != p?
True
Let j be 86*(-78)/(-12) - (-13)/((-26)/(-8)). Which is greater: j or 561?
j
Let u(r) = 60*r - 12. Let y(s) = s - 3. Let d be y(-2). Let c be u(d). Let a be 2/(-19) + c/(-1520). Is 0 at least as big as a?
False
Suppose -28*m = -24*m - 236. Is m at most 58?
False
Let i = 48 - -7. Let t = i - 54. Let l = 5583/7 + -796. Which is greater: t or l?
l
Let h = 2356 + -2157.02. Let f = 199 - h. Which is smaller: f or -0.064?
-0.064
Let f be ((-574)/70)/((-352)/(-60)). Let w = f - -9565/264. Is 36 > w?
True
Let q be (-26)/(-3) - (2 - (-8)/(-24)). Let u be