 = 43 - 43.1. Suppose 3*w = 4*s + 12, 4*w = -2*s + 9 + 7. Suppose 0 = -x - s + 2. Which is greater: x or p?
x
Suppose -5*l - 26356 + 22201 = 0. Is -831 greater than l?
False
Let w be (-170)/(-88) - ((-2457)/36)/(-39). Suppose -2*z - 81 = s + 16, 3*z + s + 143 = 0. Which is greater: z or w?
w
Suppose 32*r + 51*r + 12449 = 24*r. Is -206 <= r?
False
Let s be (6/12*8)/(5 - 4). Let m(f) = 9 + 4*f - f - f - f**2. Let h be m(s). Is -1/105 greater than h?
False
Let q = -315 - -315.1. Let m = 0.99 - 0.941. Which is bigger: m or q?
q
Let v be ((-98)/(-4))/(147/(-294)). Which is smaller: -47 or v?
v
Let u = 6/7406603 - 954696313668/214791487. Let t = u - -4446. Which is bigger: 2 or t?
2
Suppose -7 = -4*p + 5*p + 5*d, 0 = -4*p - 4*d - 44. Let c be p/(-42)*42/(-150). Let f = 3 + -2. Is f <= c?
False
Let m = -92217/3961 + 396/17. Which is bigger: 1 or m?
1
Let d(i) = i**3 - 22*i**2 + 12*i - 24. Let m be d(22). Suppose 6*k = -366 - m. Let x = 44 + k. Which is bigger: -55 or x?
-55
Let g = -143 - -326. Let x = g + -184. Which is bigger: x or 30/19?
30/19
Let s(q) = q**2 + 14*q + 1. Let h(d) = -d**2 - 14*d. Let k(a) = -4*h(a) - 5*s(a). Let o be k(-14). Let m = -581 - -1726/3. Which is greater: m or o?
o
Suppose -16 = -7*m - 9*m. Let f be (2 - (-6561)/36) + m/(-4). Is 365/2 greater than or equal to f?
False
Let d be (24/28)/(-6) + (-148)/(-7). Let z = 28 - d. Let r be -3 - (-27)/30*12. Are r and z unequal?
True
Let w = -3532 + 7743. Which is smaller: 2/5 or w?
2/5
Let t = 81511/3 - 27162. Let c(m) = m**2 + 2*m + 4. Let p be c(-3). Is t > p?
True
Let w = -1299 + 1296. Which is greater: w or 0.276?
0.276
Let q = -5770 - -70. Let p be -5*(8/q*-5 - 0). Let s = p + 40/57. Which is smaller: s or 2?
s
Let j = 25.45 - 23.45. Is j at most as big as -0.0829?
False
Let a be 1 - (1 - (3 - (-12)/(-4))). Let k = -85849/29 + 2960. Which is bigger: k or a?
a
Let g = 10/749 + -62227/4494. Is -14 smaller than g?
True
Let t = 19.958 + -20. Let q = 301 + -424. Let a = 124 + q. Is t smaller than a?
True
Let z be (-391)/1127*-21*(-2)/6. Suppose -i + 3*d - 8 = 3*i, 3*i - 5*d + 6 = 0. Is z >= i?
False
Let k be 6*4380/176 - (-23)/(3542/28). Which is greater: 149 or k?
k
Let s = -1834 + 53246/29. Which is greater: s or 3?
3
Let p = -13008 + 13001. Is p at most as big as -38?
False
Let j = 996 - 1005. Is 0.01 at most as big as j?
False
Let m = -16/81 + -211/162. Which is smaller: m or 1.28?
m
Let b = -30 + 63. Let u = 673 - 255. Let q = u + -386. Which is bigger: b or q?
b
Let t = -12707/69 + 553/3. Which is smaller: 0 or t?
0
Suppose -o = 2*u - 6, 18 - 14 = -3*o + 5*u. Let z(r) be the third derivative of r**5/60 + 11*r**3/6 - r**2. Let g be z(0). Which is bigger: o or g?
g
Let a(y) = 1251*y**2 + 88*y + 85. Let s be a(-1). Is 1242 equal to s?
False
Let t = -0.2 - -1.2. Let u = 1 + t. Let d(i) = 120*i + 5557. Let o be d(-46). Is u greater than or equal to o?
False
Let p = -26729 + 31230. Which is smaller: p or 1?
1
Let b = -2254/6039 - -24/61. Let t = -122 - -122. Suppose 49*a - 36*a - 13 = t. Is b bigger than a?
False
Let w = 3/3563 - -17803/14252. Let r = -38/5 + 8. Is r at least w?
False
Let k(c) = 27*c - 310. Let u be k(12). Suppose -u*b - 410 + 116 = 0. Which is smaller: b or -59/3?
b
Let k = -19 - -23. Suppose 10*g - k = 6. Let z be (-1)/3*(2 + g). Are z and -11/8 equal?
False
Let l = 586.4 + -586.287. Is l > 0.26?
False
Let x(l) = -23*l + 184. Let n(a) = a - 4. Let f(u) = -6*n(u) - x(u). Let d be f(12). Which is greater: 45 or d?
45
Let w = 1467 - 1590. Which is bigger: -135 or w?
w
Let j(w) be the second derivative of -w**3/2 - 9*w**2/2 + 16*w. Let m be j(-14). Suppose 4*n = -m + 41. Which is bigger: 6 or n?
6
Let j be (0 - -1)/(4/52). Let r = 168.2 + -169.2. Are r and j unequal?
True
Suppose 5*q - 2*j = 4*q + 4, 3*q + 2*j + 4 = 0. Let x = -455 - -596.5. Let m = 141 - x. Is m greater than q?
False
Let f = -6.551 - -1.651. Suppose -5*j = -0*b - b - 11, -5*j + 3 = -3*b. Let z be 1/j*(-18)/(-6). Which is smaller: z or f?
f
Let v be 2120978/53775*(6 - 42435/5180). Let t = 1103/35850 - v. Let b = t + -606/7. Which is smaller: 1 or b?
b
Let y be (1427 - 3)/8*6/(-12). Let m be (-4)/14 - (-1863)/(-21). Is m > y?
False
Let b = -48 - -48. Which is smaller: -1786/5 or b?
-1786/5
Let q = -294/7501 + -7662955/1035138. Let a = -5/46 - q. Which is smaller: a or -1/2?
-1/2
Suppose -2*g = -3*l + 46, -5*g + 9 = 4*l - 60. Let c be 35/14*84/10. Let o = c - l. Which is smaller: -2 or o?
-2
Suppose -518 = 4*r + 3*c - 532, 3*r = 5*c + 54. Which is bigger: -1.32 or r?
r
Let w = 24 - 11. Let b = 14 - w. Let s(m) = 53*m - 1302. Let t be s(25). Which is smaller: t or b?
b
Let s = 3179 - 3176. Is s at least 228?
False
Let c(a) = -a**2 - 440*a + 18163. Let n be c(38). Let l be 23237/(-105) + (-4)/(-10). Let s = -221 - l. Which is bigger: s or n?
s
Let t(i) = -454*i**2 + 2*i. Let s be t(1). Let o = s - -406. Is -2 != o?
True
Suppose 48*i - 260 = 44*i - 4*m, 0 = -4*m + 12. Is 34 less than i?
True
Let v(q) = q**3 + 17*q**2 - 14*q + 78. Let u be v(-18). Let p be (u - (-1226)/(-196)) + 4/8. Which is bigger: p or 0?
p
Let j = 1732 + -778. Suppose 0 = 4*t + 12, 0 = 4*c - 2*t - j + 108. Which is greater: 208 or c?
c
Let x(m) = -m**3 + 3*m**2 + 4. Let l be x(2). Let c be 14/10 + l/(-20). Suppose 0 = 5*d + 5*n - 10, 5*n - c = -5*d + 3*n. Which is greater: -1/57 or d?
-1/57
Let m = -26815/4 + 6744. Let v = -163/4 + m. Suppose 4*u + 11 = -3*c, 2*c + 4*u = 6*c - 4. Are v and c equal?
False
Suppose 5*b - 5 = -5*q, q - 9 = -4*b - 2*q. Let p be -1*3*2/b. Let v be 528/7194*1/4. Which is bigger: p or v?
v
Let l = -606 + 556. Let w = l + -24. Is 3 at least as big as w?
True
Suppose -10*n = -15*n - 170. Let u = 50 + n. Let g = u - 18. Are g and 7/6 unequal?
True
Let d = 261 + -256.98. Let m = 4.02 - d. Do m and -607 have different values?
True
Let l = -528292213/26 - -20326297. Let h = -7367 + l. Which is greater: h or -2?
h
Let y be 16/(112/17)*21. Is y greater than 152/3?
True
Let v(s) = 2*s - 38. Let u(m) = m**3 - 7*m**2 + 9*m + 8. Let n be u(5). Suppose 3*w + 3*y = 33, w + 47 = n*w - 3*y. Let h be v(w). Is -2/23 > h?
True
Let y(c) = -25*c + 35. Let j be y(-4). Let b be (9/(-6))/((j/(-130))/9). Suppose 0 = 3*f - 4*f - b. Is f greater than 0.2?
False
Let a = -9313 - -13379. Let y = a - 44631/11. Which is greater: 8 or y?
y
Suppose 2*j = s - 8, -3*j + s - 10 = -s. Let y be (4*j/72)/((-2)/210). Suppose -4*f + f + 108 = 0. Which is smaller: f or y?
y
Suppose -85*c - 47 = -426 - 46. Suppose 30 = 2*i + 4*h, 3*i = -2*i + 5*h. Suppose q - c*n + 2*n = 0, -i*n = -q. Which is smaller: q or -0.27?
-0.27
Let i = -2 + 10.7. Let a = i + -9. Let y = -51 - -53. Which is greater: y or a?
y
Let k = -2/1880237 + 22844879564/13161659. Let u = k + -1739. Which is greater: -4 or u?
u
Suppose 4*s - 6 = -z, 4*z + s = -0*s + 54. Let p = 7 - z. Let l = -36 + 28. Which is smaller: p or l?
l
Let t be 1 + 0 + (14 - (-16499)/(-1099)). Suppose -5*n + 0*n = 0. Are t and n unequal?
True
Let y be (30/(-33) + 1)/((-2)/(-17486)). Let v = y - 794. Which is smaller: 0 or v?
0
Let k = 431174 + -431139. Suppose 2*g - 3*f + 6 = 0, -5*f = 2*g - 3*g - 10. Suppose 4*s - 2*a - 132 = -4*a, 4*a + 16 = g. Do s and k have different values?
False
Let t = -405 - -315. Let l = t - -89.87. Is 1/6 at most as big as l?
False
Suppose -1375 = 5*u + 5*f, 2*u + 20*f - 24*f + 544 = 0. Are u and -282 nonequal?
True
Let b(k) = k**3 - 31*k**2 - 67*k - 265. Let z be b(33). Which is bigger: -297 or z?
-297
Let p be 25217 + (17 + 9 + -14 - 24/3). Which is bigger: 2/5 or p?
p
Suppose 2*x = 5*p + 608, -3*x - 5*p + 319 = -2*x. Let m = -12182/5 + 42583/20. Let d = m + x. Which is greater: 1 or d?
d
Let l be 42/12*(3 + -4 - (-501)/21). Which is smaller: 58 or l?
58
Let u be 16/35*(46/4 - 8). Is -109 greater than or equal to u?
False
Let g = 4 - -1. Suppose -m = 3*v + 37, -g*v - m = m + 61. Which is greater: -12 or v?
-12
Suppose 0 = 2*i + 72 - 120. Suppose -310 = -2*q + i. Is 166 not equal to q?
True
Suppose p - 15 = -5*u - 4*p, 2*u + p - 7 = 0. Suppose 4*j - 65 = -5*m, -52 = -u*m - 0*j - j. Which is smaller: m or 9?
9
Let p be -4 - (-2)/1 - (305 - -5). Let s = p - -299. Which is greater: s or -6?
-6
Suppose a + 4*h = 2*h - 12, -3*a - h - 11 = 0. Let l be (a - 0) + (51 - 6). Let z be (-7)/(