- 18 = 0, 0 = 2*h - 5*k + 3*k - 16. Suppose 6*m + h = g. Which is bigger: 4.7 or m?
4.7
Let o = 5027/6 + -2515/3. Is -257.24 equal to o?
False
Let x(p) be the first derivative of -p**4/2 - 13*p**3/3 - 5*p**2/2 + 6*p - 76. Let b be x(-6). Let v = -1977/11 - -180. Which is bigger: b or v?
v
Suppose 0 = -4*t + 3*q + 25, -4*t - t + 35 = -5*q. Suppose t*z = z. Suppose 62 = 33*v - 37. Which is greater: z or v?
v
Suppose -d + 463 - 14 = -489. Which is smaller: 937 or d?
937
Let l = 19 + -19. Suppose l = 3*w + 5*m + 18, -w - 10 = m + 2*m. Let c be 7*6/(-48) + 0/w. Is -2 at least as big as c?
False
Let x be 68/(-246)*3879/(-75856)*8/(-6). Is x != -1?
True
Let d = 9.672 - 7.672. Is d at least -529?
True
Let i(r) = -51*r**2 - 3*r + 3. Let p be i(-2). Let b be (4332/p)/4 - -3. Let d = -28/13 - b. Is 30 > d?
True
Suppose 0 = -2*b - 1 + 21. Suppose b*w - 5*w + 30 = 0. Let z be 16/6 + -1 - w/(-12). Which is bigger: z or 0?
z
Suppose -5*m + 2 = -4*x - 3, -15 = 2*x - 5*m. Suppose -x*i = -5 - 155. Let g = i + -37. Is g at most as big as -6?
False
Let k(u) = -u**3 + 13*u**2 - 12*u + 3. Let j be k(12). Let o be (-2)/(-1 + 3 - 80/27). Is j at most as big as o?
False
Let k be 24465/(-55) + (-4)/22. Let b = k + 431. Is b at least as big as -16?
True
Let t = 2/1055 - 20053/4220. Let n be 13/(-104)*7*(-2)/7. Which is smaller: t or n?
t
Let j be 174*((-40)/(-15) + -2 - 2). Let l = -202 - j. Which is smaller: 34 or l?
l
Suppose -140*y = -156*y + 3824. Let b = -237 + y. Is b less than 30/13?
True
Let d be 544/(-238)*((-35)/12 - -3). Is 1 bigger than d?
True
Let z = 77 - 1619/21. Let g be 32 + -4 + (-126253)/4518. Is z at most as big as g?
True
Suppose 3*o - 61*s + 15 = -64*s, 2*s = 5*o + 4. Is o not equal to -411?
True
Let a(w) = 303*w + 638. Let b be a(-1). Which is bigger: 327 or b?
b
Let z be (-83 - (-27685)/339)*((-18)/(-4))/(-1). Let b be (98/(-54))/((-2)/6). Which is smaller: z or b?
b
Suppose 3*i + 4*t + 306 = 3*t, i - t = -98. Let b = 101 + i. Suppose -5*w + 6*w + 1 = b. Is w less than -9/7?
False
Let p = -2040.4 - -2042.4. Is p <= -28?
False
Let o = -1752 - -776134/443. Suppose -4*a = -4*n - 8, n + 3*a = -a + 3. Is o < n?
False
Let r be (-3)/3 + 0 - -45. Let a be 1 + (-771)/5 + (-14)/(-70). Let b be (-6597)/a + 2/(-17). Are b and r equal?
False
Let g(k) = -7*k + 7. Let c(x) = -8*x + 6. Let y(n) = 4*c(n) - 5*g(n). Let q be y(4). Which is smaller: 3/64 or q?
3/64
Let z(d) = -d - 16. Let l(w) = -w**3 - 6*w**2 + 25*w + 111. Let o be l(-7). Let c be z(o). Which is smaller: -35 or c?
-35
Let v = 299 + -298. Let l(b) = -17*b**2 + 2*b + 2. Let q be l(v). Are -11 and q equal?
False
Let i = 120 - 366. Let s = i + 234. Is s bigger than -105/8?
True
Let r(p) = 911*p - 549. Let u be r(2). Is u equal to 1274?
False
Suppose -44*x - 6*x - 16*x = -396. Is 190/27 less than x?
False
Let d(q) = -5*q + 30. Let j = -19 + 23. Suppose -5*p - 2*k = -35, j*p = -0*k + 2*k + 28. Let c be d(p). Is c >= -6?
True
Let v be 13/(-156)*-6*(1 - -5). Let m = 2 - v. Which is smaller: -171 or m?
-171
Let j(x) = x**3 + 8*x**2 - 11*x - 18. Let p be j(-9). Suppose p = -5*n - 0*n - 30. Let o(f) = -f**2 - 2*f + 24. Let i be o(n). Is 2/57 not equal to i?
True
Let r = 12.9 - -0.1. Suppose 0*s - 2*s = -3*s. Suppose 3*c + 5*h - 15 = s, -2*c - 3*h - 26 = -35. Which is greater: r or c?
r
Suppose -29 - 28 = -3*k. Let a be (-1 + k)*23/69. Let b be (-86)/20 + (a - (-93)/(-15)). Are b and -6 nonequal?
True
Let l = -521885/11 + 47718. Let q = l - 274. Which is smaller: q or 6?
q
Let l = 1909820933924/27317 - 69913275. Let s = -3/463 - l. Suppose 0 = -124*i + 20*i. Which is smaller: s or i?
s
Let u = -11.3 - -11. Let x(p) = -8*p - 48. Let d be x(-6). Suppose 13*r - 52 = -d*r. Is r greater than or equal to u?
True
Suppose -7*q - 24*q = -218456 - 71828. Which is bigger: -1/3 or q?
q
Suppose -8*s = -9*s + 20. Suppose 0*k + s = 5*k. Suppose k*g - 8 = 24. Is 8 > g?
False
Let d = 669 + -16728/25. Let g = -0.085021 - -0.185021. Which is smaller: d or g?
d
Suppose 1536 + 762 = -310*x + 438. Is x greater than or equal to 2?
False
Suppose 9*d - 114 = 3*d. Suppose -d = -3*p + 2. Suppose 10 = -2*v, 2*z - v + p = -2*v. Which is smaller: -1/20 or z?
z
Let f = 35.1 - 0.1. Let t = 34.46 - f. Let g = -0.64 - t. Which is bigger: 0.4 or g?
0.4
Let d be (-10)/(-35) - (-625)/(-7). Let x = -81 - d. Let q(t) = t**2 - 5*t - 17. Let i be q(8). Is x at least as big as i?
True
Let h be (-1)/2 - 5/2. Let i be h/9 - 8/(-6). Let u = 11932 - 12009. Which is greater: i or u?
i
Let u = 71 + -70. Let s be (-3052)/13134 + -8*(-3)/132. Let q = -2/199 + s. Which is bigger: q or u?
u
Suppose 45*s = 23*s - 946. Is -31 at most s?
False
Let g = 103 + -102. Let x be ((-12)/330)/(g/5). Let y = -31 - -21. Is x greater than or equal to y?
True
Let g = 52/957 + -23966/969441. Which is greater: 1 or g?
1
Let v be (-470 + 1)*6/(-21). Let q = v - 92. Let h = -3 + q. Is h < 38?
False
Let p = 11648 + -11625. Which is smaller: -126 or p?
-126
Let q = -801.27 - -326.27. Is q greater than or equal to 0.18?
False
Let u(r) = -2*r + 18*r**2 + 12*r**2 - 175*r**3 - 28*r**2. Let n be u(1). Is n less than -174?
True
Let x be (6/(-195))/(1/(-10)). Let c(r) = r**2 + 3*r - 6. Let m be c(-4). Which is smaller: m or x?
m
Let s(o) = o**3 - 30*o**2 - 6*o - 150. Let n be s(20). Is n greater than or equal to -4270?
True
Let f = 1348 - 877. Let v = f + -565. Is v at most as big as -95?
False
Let l be (-4)/16 - 261/12. Let t(j) = j**3 - 1. Let c(r) = 5*r**3 + 22*r**2 + 2*r + 40. Let w(m) = -c(m) + 4*t(m). Let d be w(l). Is d less than -2/17?
False
Let v be 4 + -9 + 2 + 0. Let l be (34 - 31)/(v/((-9)/249)). Which is bigger: l or -1?
l
Suppose k + 3*k + 3*t = -135, -110 = 4*k - 2*t. Let v be 2/(-3)*45/k. Which is greater: v or -7?
v
Suppose -v + 5 = 5*z, -3*v - 5*z + 5 = -0*z. Let k be 2 - -3 - 3 - 2148/48. Let c = 1909/44 + k. Which is smaller: c or v?
v
Let u = 69/274 - -862207/1370. Which is greater: 629 or u?
u
Let i = 59/72 + -541/792. Let q be 2/(2/3 + -1). Let x be 1/2 - q/(-12). Is x at least i?
False
Let t = -17 + 21. Let n(x) = -2*x**3 + 2*x**2 + 29*x. Let d be n(t). Which is bigger: 184/9 or d?
184/9
Let k(a) = -92*a**2 + 1098*a + 18. Let y be k(12). Is -89 equal to y?
False
Let s = -205.69 + -3.11. Let i = -209 - s. Let j = -0.1 - 2.9. Which is greater: j or i?
i
Let b = 11.33 - -1.27. Let z = b - 1.6. Let g = -14 + z. Which is bigger: 0.01 or g?
0.01
Suppose q = -3*q + 80. Let s(f) = f**3 + 7*f**2 + 4*f - 11. Let c be s(-6). Suppose 3*d + q = -c. Is -7 less than or equal to d?
True
Let w = -880 + 881. Is 5535 at most as big as w?
False
Suppose 0 = 2*x + 5*k + 1834 + 2533, -4*x = 3*k + 8699. Which is bigger: -2170 or x?
-2170
Let c = -0.1 + 2.1. Suppose 0 = -4*o - 3*u - 9 + 39, 2*o = u + 10. Suppose -o = -m - 9. Which is smaller: c or m?
m
Suppose 4*m - 3*c - 183 = 0, 2*m = m - 4*c + 60. Suppose -11*k + m = k. Suppose k*s + 44 = -0*s. Is -31/3 at least as big as s?
True
Suppose 14*u + 46835 = -3*u + 12*u. Is -9367 at least as big as u?
True
Suppose -6*b - 15*b + 105 = 0. Suppose 0 = 3*c - 0*c - 5*n + 580, -n + b = 0. Which is greater: c or -184?
-184
Let q(v) = 3*v - 21. Let t be q(9). Suppose t = 4*u - 18. Suppose -u*f - 33 = -9. Is f > 1?
False
Let a = -1567 + -778. Do -2345 and a have the same value?
True
Suppose 5*f - 156 = -181. Let m be (-45)/385 - 108/(-189). Do m and f have different values?
True
Let p = -54 + 132. Let k = 67 - p. Let y be 28/(-6)*(-3 + k/(-4)). Which is greater: y or 0?
y
Let v be 8*(-7)/(-28) + 110. Suppose -116 = 3*f + y, 5*f + 3*y + 88 + v = 0. Which is bigger: f or -38?
f
Let v be 418*(3792/(-160) - -24). Which is greater: 124 or v?
v
Let x be -64 - ((-1)/(-3) - 0)/(32/(-96)). Suppose 0 = 5*b + n + 314, 0*n - 127 = 2*b - n. Is b <= x?
True
Let o = 14187 - 14189. Which is smaller: 598 or o?
o
Let p = 62.7 + -43.3. Let j = -12.4 + p. Which is smaller: -0.8 or j?
-0.8
Let q = -127.24 - -129. Let c = q + -0.66. Let t = c + -2.1. Which is greater: -4/5 or t?
-4/5
Let f = 1/12 - 5/204. Let l be (75/(-30))/((-1)/2). Let r be -12 + 8 - l/(-1). Is r > f?
True
Let v = 3962 - 3963. Is -86 at most as big as v?
True
Let d = 172764/5 - 34764. Which is smaller: -210 or d?
d
Let a = -103 + 164. Let n = -22 - a. Which is greater: n or 0?
0
Let s(j) = 10*j**2 -