or b?
b
Let f = 26889/11 + -9734115/3982. Which is smaller: 1 or f?
f
Suppose -2*b + 1 = -b. Let q be (-180)/(-14) - b/(-7). Let g = 354 - 358. Is g equal to q?
False
Let o be -3 + 11 - (10944 + 0)/6. Is o >= -1?
False
Let k(u) = -14*u - 1. Let g be k(-3). Suppose -2*w - 151 - 13 = 4*n, -n + 410 = -5*w. Let x be -3*-2*w/(-12). Is g >= x?
True
Let q = 313844276/571963 - 1/81709. Let g = q - 547. Is g not equal to 2?
True
Let a(s) = -425*s + 136. Let n(t) = -4*t + 1. Let l(c) = a(c) - 102*n(c). Let x(w) = -w**2 - 8*w - 1. Let r be x(-7). Let g be l(r). Is -67 at most as big as g?
False
Let n be ((-2)/(-5))/(3 - 438/150). Let r(x) be the first derivative of -x**4/4 + x**3 + 5*x**2 - x + 2. Let g be r(n). Which is bigger: g or -8/7?
g
Let o(w) be the first derivative of -2*w**3 - 21*w**2/2 - 45*w - 322. Let l be o(-4). Which is smaller: 0 or l?
l
Let n = 11711/15 + -781. Let w(b) = -b - 12. Let q be w(-17). Let v be 0*4/40*q. Which is smaller: n or v?
n
Let o = 55954 - 30550865/546. Which is smaller: o or 0?
0
Let y = -216.8 - -217. Let j = -39 - -21. Let m = 13 + j. Which is smaller: m or y?
m
Let r = 2927 - 2990. Let b = 46 - -142. Suppose 4*d - 68 = -2*w - 184, 0 = -3*w + d - b. Which is smaller: r or w?
r
Let m(y) = 45*y + 3. Let g be m(-1). Let t = 44 + g. Let l be ((-2)/(-12))/(t - 9/4). Which is smaller: -6 or l?
-6
Let q = -20.403 + 20.5. Let b = q + 0.073. Is -3 at most b?
True
Suppose 0 = -28*h - 22729 + 23149. Is h at least 400/29?
True
Suppose -1633*o = -1652*o - 6688. Which is greater: -349 or o?
-349
Let q be 180929/(-28) - ((-612)/(-16))/17. Is -6462 != q?
True
Suppose -3*y = c + 4*c + 10, -y = -4*c - 25. Let x(z) = z**2 - z - 18. Let i be x(y). Let b be (472/(-237) + i)/(8/24). Do b and 1 have the same value?
False
Let i be (-837)/(-6)*140/315. Let m be (0 - (-1)/4)*-2*-10. Does i = m?
False
Suppose 10 = 3*d + 5*g - 3, 3*d = -g + 5. Let v = 260095/57 + -4563. Which is smaller: d or v?
v
Let g = 0.02672 + -0.03672. Let r = -26 + 45. Which is smaller: g or r?
g
Let v be ((-19)/4)/(1/4). Let t = 28.1 + -26.1. Are v and t unequal?
True
Let b(r) = -r**2 + r + 20. Let v be b(-7). Let g = -32 - v. Suppose 0 = -c - g*c + 35. Is c < 6?
False
Let p(k) = 10 + 12*k + 10 - 19*k. Let m be p(-10). Let g be -18*(174/m - 2). Is g != 1?
True
Let o = 1710 + -1710.2538. Let c = o + 0.0338. Let b = -3.6 + 4. Which is smaller: b or c?
c
Let q = 251.56 - 249. Let j = q + 0.44. Which is smaller: 1 or j?
1
Suppose 5550 = -4*f - 2*l + 7*l, 5*f - 3*l + 6931 = 0. Let a = f - -947. Is -1 equal to a?
False
Let c = -14 + 26. Suppose 4*k + 8 = p + 26, c = -4*p + 4*k. Suppose z = -p*i + 8 + 2, -10 = 2*z - 2*i. Which is smaller: z or 2/31?
z
Let i(j) = -84*j - 1125. Let u be i(-11). Is -1810/9 bigger than u?
False
Let b(o) = -3*o + 1771. Let v be b(-69). Is 1978 != v?
False
Let g = 5113/63 - 535/9. Suppose -81*r = 854*r + 6098 - 25733. Is g greater than or equal to r?
True
Let n be (-648)/(-42)*((-17)/2 + 5). Which is smaller: 163 or n?
n
Suppose 0 = -4*n + 3*x + 9, -6*n = -5*n + 3*x + 9. Suppose 5*c + 3*d - 2*d - 1740 = n, -4*c + 1368 = -4*d. Is c smaller than 346?
False
Let v = 2420 + -2479. Is v at least as big as -13?
False
Let q = 2 + -1. Let j be (-1)/7*(8 + q). Let f = -262 - -262.03. Is f smaller than j?
False
Let o = 23955 + -24257. Which is greater: 6 or o?
6
Let i = -2122 - -1377. Are 1 and i unequal?
True
Let v = 72.91 - 72.89. Let y = -43 - -80. Which is bigger: v or y?
y
Let i = -3.3429 + -1.3571. Which is bigger: -0.32 or i?
-0.32
Let u = -2.7 + -59.3. Let g = u + 61. Let x(i) = i + 12. Let m be x(-13). Is g equal to m?
True
Let l = 1521 + -1406.1. Let p = l - 115. Let h = 11 + 9. Is p smaller than h?
True
Let m = 5579 - 5590. Is m bigger than 3.25?
False
Let i(c) = c**3 + 12*c**2 - 12*c + 15. Let j(y) = 5*y + 13. Let o be j(-18). Let p = o + 64. Let h be i(p). Is h greater than or equal to 4/5?
True
Let x be (-12)/(-8) + (-184861)/246. Let p = x + 750. Let z = p + -42/451. Does -2/7 = z?
False
Suppose 0 = 4*b - 4*t - 80, t + 86 = 5*b - 6. Let m be b/(-27) - (-19)/(-3). Is 4 not equal to m?
True
Let z = 20953 + -20965. Which is greater: -18 or z?
z
Let u be (94/(-18) - (-34)/153) + 14 + -10. Which is smaller: u or -2/49461?
u
Let r be 106303*(3 - -2)/(-145) + 1. Let n = r - -3664. Is -1 < n?
True
Let h = 11391/4 - 2855. Let q = -17 + 9. Does h = q?
False
Suppose 2*v + 1262 = -3*x - 255, 2*x + v + 1011 = 0. Let j = x + 15657/31. Which is smaller: j or 1/3?
j
Let r = -11.33 + 0.93. Let n = r - -30.4. Let a = n - 19.95. Which is smaller: a or 0.3?
a
Suppose 0 = -4*k + x + 10, 24*x - 6 = -2*k + 25*x. Is k > 94/71?
True
Suppose -4*c - 44 = 4*v - 476, 0 = 2*c - 2*v - 204. Let m be 1768/(-238) + 3/7 + 112. Let f = m - c. Are 3 and f unequal?
True
Suppose 17*r + 646 - 558 + 677 = 0. Let u(m) = 2*m**2 + m - 8. Let h be u(-7). Let q = -128 + h. Is q greater than or equal to r?
True
Let b = 2.587 - 0.687. Let p = 0.7 + 1.2. Let w = b - p. Which is smaller: -25 or w?
-25
Let y = 6050 - 30266/5. Is y greater than 3?
False
Let q(j) = -j**3 + 8*j**2 - 8*j. Let b be q(7). Let s be -10*12/10*(-1)/3. Let y be (2 - s)*-1*(-4)/1. Is b at most as big as y?
False
Suppose l - 5*l + 3*t - 91 = 0, 3*l + 47 = -2*t. Is l greater than -187/10?
False
Suppose 4*x - 729 = 7*x. Let j be 4385/9 + (-9)/(x/(-6)). Let r = j - 2905/6. Are 2 and r unequal?
True
Suppose -q + 4*n - 83 = 0, 3*q + 4*n = 8*q + 383. Let j = -75 - q. Is -2/723 greater than j?
False
Let f = -1023 - -5221. Do f and -1 have the same value?
False
Suppose 18 + 110 = 2*p. Suppose -3*o + p + 80 = 0. Let g = o - 29. Is 19 at least g?
True
Suppose -5*m + 0*m - 4*d = 10, 5*m - 4*d + 10 = 0. Let g be (95/(-10))/(m/(-20)). Let y be (-295)/g + -3 - 0. Is y equal to 0?
False
Let m(t) be the third derivative of t**6/60 - 7*t**5/60 - t**4/24 - 13*t**3/6 + 30*t**2 - 2. Let i be m(4). Is i > -3/26?
False
Let k = -981 + 626.1. Let w = k - -405. Let b = 50 - w. Is b > 0.9?
False
Let s = 49/8937 + -167445053/259173. Let y = -2857 - -3503. Let w = s + y. Which is bigger: w or -1?
w
Suppose 43*k - 106 = 41*k - 3*n, 0 = k - 3*n - 44. Let d be (14/5)/(40/k)*16. Is d <= 52?
False
Suppose -3*s = -5*r + 41, -3*r = 5*s - 6*r + 47. Let m = s - -7. Let t be ((6 + 1)/126)/((-8)/4). Which is bigger: t or m?
m
Let p(w) = w**3 + 8*w**2 - 16*w - 13. Let z be p(-10). Let u = -84 - z. Let j = -28 - u. Do 5 and j have the same value?
False
Let o = -37612 + 37611.93865. Is o at least 2?
False
Let q be 858/1095 - 6/15. Let h = 34230 - 34229. Is q >= h?
False
Let y(k) = k**2 - 14*k + 51. Let a be y(8). Let p be (-7)/((-84)/(-64)) - (a + -9). Which is greater: p or 117?
117
Suppose -6*d - 4*w = -2*d - 28, 6 = 3*w. Suppose 0 = -5*z - 0 + 5, 4*z - 24 = d*x. Let q = -269 - -266. Which is bigger: q or x?
q
Let w = -24 - -30. Let c(b) be the third derivative of b**4/8 - 3*b**3/2 + 12*b**2. Let n be c(w). Are n and 5 unequal?
True
Let i = -1910/23 - -62247/736. Are i and 1 equal?
False
Let x(a) = -14*a + 48. Let u be x(3). Suppose -u*b - 4*j = -3*b - 179, 0 = 3*b + j - 191. Which is bigger: 64 or b?
b
Let i(u) = u**3 - 4*u**2 - u + 11. Let q be i(4). Let l be 4/(q/(-406)*-8). Suppose -2*c - 2*c + 112 = 0. Is l smaller than c?
False
Let v = -57 + 68.3. Suppose -18*r = 19*r - 37. Is v at least as big as r?
True
Let t = 6/17 + -41/68. Suppose o - 4*z + 17 = 0, -4*z - 11 = 3*o + 8. Let c be -2 - (7 + -4 + o) - 3. Do t and c have the same value?
False
Let q(x) = x**3 - 31*x**2 + 135*x - 26. Let a be q(5). Which is smaller: -1678 or a?
-1678
Let d = 215.22 - 209.92. Which is smaller: 2/63 or d?
2/63
Suppose 2*h - 38*n + 43*n - 359 = 0, -2*n = 3*h - 566. Suppose -12 = 180*f - h*f. Is f <= 2/21?
False
Let l = -1798 + 1799. Which is smaller: 1/1639 or l?
1/1639
Let z be 327 + (3 - 2/1). Suppose 2*h + 332 = 5*w - 1304, 336 = w + 4*h. Is w != z?
False
Let g = 655 + -465. Let a = g + -190. Which is greater: a or -5?
a
Let i be (0 + 9/4)/((-3)/8). Let q be 5/(-240)*i + 911667/168. Let g = q + -5437. Which is bigger: g or -9?
-9
Let w = 217 - 218. Let h be (1071/84)/(21/(-6) + w). Let y = 1 + -4. Are h and y equal?
False
Let d be (1 + (1 - -3237) - 3)/(-2). Let g = d + 255641/158. Are g and -1 non-equal?
True
Let o be (-86 + 0)*19/(76/(-30)). Suppose -14*l = -17*l - o