4*a - 7*c + c. Let r(z) = -z**2 - 6*z + 1. Let u be r(-6). Let g be (3/21)/(u/4). Which is smaller: g or a?
g
Let u = 2369/7182 - 17/54. Let r be (-6)/5*50/(-20). Suppose -r*b + 6 = 3. Which is greater: u or b?
b
Let c(o) = -o**2 + 15*o + 3. Let l be c(11). Suppose 0 = 43*b - l*b + 20. Suppose 0 = 3*v + b*g + 8, -3*v + 3 = -4*g + 2. Is v smaller than 1?
True
Suppose c - 1 + 2 = 0. Let v = -6 - c. Let a be (261/(-58))/(2*(-22)/(-48)). Which is greater: a or v?
a
Let c = 0.497 - 0.097. Let f = -118 + 118.176. Let m = f + 0.124. Do c and m have different values?
True
Let u be (1 + 123/15)/(6/(-30)). Let k = u + 51. Suppose x - 128 = 4*r - 3*x, k*r = -4*x - 124. Does r = -28?
True
Suppose 3*g + 16 = 1, 0 = -5*r - 7*g + 50. Is -0.132 <= r?
True
Let b = -0.82 - -2.46. Let u = b + -0.34. Let i = u - 1.2. Which is bigger: 4 or i?
4
Let h = -135 + 259. Suppose 0 = -3*t - h - 44. Which is bigger: -58 or t?
t
Let w be -4 + 70/26 + (-6)/2. Let g be (-8)/(-624)*3722/(-11). Let y = g - w. Which is bigger: y or 1?
1
Let c(f) be the first derivative of f**4/4 - 17*f**3/3 + 17*f**2 - 7*f + 5. Let y be c(14). Let m be 2 + 26/(-12) + y/42. Is -6 at least m?
False
Let j = -751.6 + 1904.6. Is j equal to 2?
False
Suppose 0 = -2*q + 1 + 13. Suppose -q*f + 9*f + d + 5 = 0, 25 = -5*d. Suppose -b + 0*b = 1. Which is smaller: f or b?
b
Let n = 44 + 81. Suppose 0 = 5*a - n + 60. Do a and 13 have the same value?
True
Let p(d) = 187*d + 2618. Let l be p(-14). Which is bigger: l or 5/799?
5/799
Suppose 2*f - 2*h - 14 = 0, -f - 2 = 3*h + 11. Suppose t + 4*t = f*c - 25, -2*t - 10 = -2*c. Let y be 12 - (1 - -3 - c). Which is bigger: -3/5 or y?
y
Let x = -2603 - -3024. Which is smaller: x or 839/2?
839/2
Let y be 68/51*18/(-4). Let r = -80 - 5. Let a = 80 + r. Is y less than or equal to a?
True
Let y be 6/(-4)*(-30)/(-45). Is -21/199 less than y?
False
Let h = 1 - 1. Let g be 3 - (h + 99/21). Suppose -119*b + 138*b + 57 = 0. Is b less than g?
True
Suppose -12 = 5*s + 3*b - 27, 0 = 3*b - 15. Which is greater: s or -1/10338?
s
Let v be (-14)/21*12/(-28) + (-369540)/(-63). Which is smaller: 5865 or v?
5865
Let z = 1685 - 1103. Which is greater: z or 581?
z
Suppose -20 = -z + 2*h, -3*h + 7*h - 26 = -z. Suppose -z = -6*d - 16. Let a = -8347/27 + 309. Is d bigger than a?
True
Let z = -145962633/1312 + 111252. Is z less than or equal to 0?
True
Let i(d) = -2*d**3 - 3*d**2 - 8*d - 5. Suppose 0 = 3*j - 4*s - 28, 3*j + 0*s - 20 = -4*s. Suppose 11*w + 6 = j*w. Let f be i(w). Is f less than or equal to 14?
False
Let o be 576/2016 + (-2 - (-1012902)/590835). Do o and 1 have different values?
True
Suppose -5*i + 1656 - 58 = -3*o, -5*o + 2*i - 2676 = 0. Is -533 less than o?
False
Let f = -190.72 + 182. Let u = -9 - f. Let y = u - -0.38. Is -3.4 bigger than y?
False
Let b be 40/100*100*134. Which is bigger: b or 5358?
b
Suppose 2*d + 3*d = 4*f - 11, f - 4 = 0. Let i be ((-62)/(-217) + (-102)/14)*d. Is i smaller than -4?
True
Suppose -48*z - 1001 = 150*z - 803. Let h = 327/5 - 10841/165. Which is bigger: h or z?
h
Suppose -16 = -j + 4*c, 4*c + 112 = 4*j + j. Suppose -j*y + 5 = 29. Which is smaller: y or 1/21?
y
Let f = -1557659/49 + 31789. Which is smaller: -30.2 or f?
-30.2
Let h be 843/(-27)*(90 - 81). Is h >= -216?
False
Let s(t) = -t**3 - 2*t**2 + 8*t + 1. Suppose 0 = 3*n + 2*v + 14, n - 12*v + 13*v + 5 = 0. Let y be s(n). Is y greater than or equal to 3/19?
True
Let k(c) = 3*c**3 - 3*c**2 - 8*c + 9. Let n be k(2). Suppose -793 - 732 = n*d + 2*l, -2*l + 624 = -2*d. Is d less than or equal to -308?
False
Let x = -45/7 - -211/35. Let t = 3053 - 3056. Which is smaller: x or t?
t
Let z = -801 + 854.1. Let t = z + -53. Is t at least -119?
True
Suppose -10 = -s - 4*a + 313, -5*a = -4*s + 1271. Let i = s - 299. Which is bigger: i or 18?
i
Let j be 11 + (-616)/55 - 31/(-5). Let f(d) = -d**2 + 14*d - 56. Let z be f(j). Which is smaller: z or 27?
z
Let k = -35/1598 + -9/94. Let j be (-26)/(1/4*-2). Let b be (-4)/2*(-4)/j. Is k smaller than b?
True
Suppose 86*a = 22*a + 384. Let x = -71/50 - -1259/200. Which is bigger: a or x?
a
Let k be 6/(-10) + 77/45. Let s be (0 + (-3)/3)/((-4)/16). Let j be (-2)/4 + (4/s)/2. Which is bigger: k or j?
k
Suppose 1037*f - 1068*f + 19611 + 3794 = 0. Is 755 at most as big as f?
True
Suppose -56 + 66 = 2*p. Suppose p*q - 6*q - g + 1 = 0, -4*g = 0. Which is bigger: 7/25 or q?
q
Suppose -5*p = -10, 0 = -115*m + 119*m - 4*p + 684. Let k be -210*12/(-45)*-3. Is m >= k?
False
Suppose -9*w + 15 - 6 = 0. Let i be (-3 - 0 - 2)*w/5. Is i less than or equal to 2/411?
True
Let v be (2/(-4))/(1/(-10)). Let z(s) = -21*s**2 + 127*s + 326. Let d be z(8). Which is greater: d or v?
v
Let o be 3/((-117)/(-4862))*(1 + 2). Suppose -2*k - o = -4*f, -5*f + 3*k + 479 = 13. Is f greater than or equal to 96?
False
Suppose -25*p - 6*p + 3968 = 0. Let b be p/(-448) - (-244)/70. Is b less than or equal to 1?
False
Suppose 2*y + 3774 = k, -4*k = -4*y - 317 - 14767. Let x be (-4)/(-30) - k/(-90). Which is smaller: x or 1?
1
Let g = -22 - -35. Suppose -15*n + g*n = -4. Suppose s + n*s = 12*s. Are s and -3/7 equal?
False
Suppose -2*k = 33 - 53. Let w be k/312*(-159)/(-106). Which is smaller: -1 or w?
-1
Let x(l) = -50*l**2 - 217*l - 1532. Let n be x(-7). Is -2463 less than or equal to n?
True
Let v = 2 + 0. Let t = v + 75. Let u = 76.9 - t. Which is bigger: -28/5 or u?
u
Let j = 82 + -93.55. Let a = 11.5 + j. Is a not equal to -14?
True
Let h = -9.53 + 98.73. Let o = -89 + h. Is -70 greater than o?
False
Let c be (-1 + -22)/(2/4). Let s be (3/2)/((-15)/(-20)) + c. Let f = s + 90. Which is greater: 0 or f?
f
Let w = 3536.09 + -3536. Are w and 0.93 equal?
False
Let h(d) = -7*d**3 + 2*d**2 - 9*d + 6. Let i be h(3). Let b = 140545/732 + i. Do b and 1 have the same value?
False
Suppose -4*q = 3*z - 2555, -2*q + 120 = -2*z - 1154. Suppose -5*k + q = -447. Which is bigger: k or 216?
k
Suppose 2*t + 3*u - 12 = 0, -2*u + 4 = -0. Suppose -2*z - 2 - 5 = -5*w, 0 = t*z + 3*w. Which is smaller: z or -3/94?
z
Let a be ((-2974)/(-135))/(12/(-18)) - 0. Let h = a + 33. Which is bigger: h or 1?
1
Let g be 3*(-34)/(-102)*1*-1. Let y be (34 - (5 + -6))*g. Let n be 2/(-9) + (-322)/9. Which is bigger: y or n?
y
Let r(x) = -2*x**2 + 30*x + 664. Let n be r(-12). Which is smaller: -8/21 or n?
-8/21
Let k(a) = a**3 - 6*a**2 - 17*a - 6. Let w be k(7). Let m be (-17)/34 - (182/w + 2). Which is greater: 42 or m?
42
Let q = -231 + 625. Let z(a) = a**2 - 204*a + 10356. Let j be z(81). Which is greater: j or q?
q
Let w be 755/(-1800) + 3/8. Does 0 = w?
False
Let h = 4837 - 4999. Which is greater: h or -167?
h
Let n be (13/(78/(-284)))/((-2)/3). Let l = 35 - n. Let k be (2 + l/10)/((-4)/(-90)). Which is smaller: k or -37?
-37
Let i = -4 - -3. Let p be (5/(-2) - -2)/(50/(-900)). Let u be p/((-1215)/12)*(-20)/8. Which is smaller: i or u?
i
Let a = 140 - 104. Suppose 0 = -32*j + a*j - 556. Is j < 137?
False
Let n = 13 + -12. Let m be (-28)/((-86296)/115)*8/(-10). Which is greater: n or m?
n
Let r = -26345 - -12197723/463. Are 0 and r nonequal?
True
Let m = -238 + 615. Is 2/7 greater than or equal to m?
False
Let d be (-54)/(-126) + (-70)/49. Let k(a) = a**2 + 16*a + 5. Let j be k(-6). Is j greater than or equal to d?
False
Let z be 2/(-10)*3760/400. Is -1 less than or equal to z?
False
Suppose 85697 = 13*t + 58*t. Is 1196 <= t?
True
Let y = 230 - 152. Let p be ((-4 - -7)/(-6))/((-3)/y). Let x be 22/4*(-2)/(-1). Is x bigger than p?
False
Let n(l) = -7*l + 2. Let f(g) = g. Let h(a) = -4*f(a) - 2*n(a). Let t(m) = -m + 1. Let w be t(-2). Let i be h(w). Which is smaller: i or 27?
i
Let g(s) = 6*s**2 - 235*s + 128. Let c be g(39). Which is smaller: 28 or c?
28
Let y be 158/520*1217754/(-609). Let v = y - 93/2030. Let w = -608 - v. Which is greater: w or 0?
0
Let v = -5946 - -6246. Does v = -3/8?
False
Suppose 11*r = 17*r - 54. Suppose -f + x = -3, -4*f + 5*x = 2*x - r. Let q be (-28)/(-42)*(-1 + -86). Which is bigger: q or f?
f
Suppose -a - j - 4*j = -17, 4 = 5*a - 2*j. Let h be ((-46)/20)/(692/865) - -4. Is a > h?
True
Suppose 5*k - 177 = 248. Suppose -92 + 4 = 2*n + 2*u, u = 1. Let p = n + k. Which is smaller: p or -0.1?
-0.1
Suppose -g + 3*t + 4 = 0, -g - 10 + 9 = 2*t. Is -2/7509 bigger than g?
False
Suppose 3*m + 23 + 25 = 0. Let b be