o b?
False
Suppose -4*w - 416 = -2*v - 376, 5*v - 3*w = 30. Suppose 2*a - 2 = 4*a. Is a smaller than v?
True
Let m = -261.6 - -45.6. Let b = m - -229. Which is smaller: b or -6?
-6
Let s = 1.3 + 0.5. Let t be 4 + (-5766)/76*3/54. Let n = t + -2/57. Which is bigger: s or n?
s
Let w(v) = 7*v**2 + 42*v + 5. Let c be w(-6). Suppose -4*q = -5*p + c, -11 + 40 = -3*p - 4*q. Let s = -2 - -3. Which is greater: p or s?
s
Let t = 101.8 - -23.2. Let h = 125.88 - t. Let a = h - -74.12. Which is bigger: a or 1?
a
Let k(g) be the third derivative of g**5/60 + g**4/4 - 7*g**3/6 + 7*g**2 - 4. Let i be k(-7). Is 9/55 bigger than i?
True
Let l = -44/125 + -32192/875. Which is greater: -37 or l?
-37
Let l = -33955/9 + 3769. Let v be (-6)/(((-45)/10)/(-2 + -1)). Is v less than or equal to l?
True
Let a = 34103/49 - 696. Suppose -83*y - 43 = -5*y - 45*y + 10*y. Are y and a nonequal?
True
Let h = -12807 - -12806.9. Which is greater: -219 or h?
h
Let n = 9 + -37. Let c(i) = -11*i + 57. Let x be c(8). Which is smaller: x or n?
x
Let k = -11.979 + 12. Let u = -11189 - -11188.801. Let w = k - u. Which is smaller: w or 1?
w
Let y(m) = -181*m - 2398. Let i be y(65). Is -14163 at least i?
True
Let r be (-2646)/(3/(-3)) - 240/48. Which is bigger: r or 2643?
2643
Let a = -67 + 70. Let t = -9 + a. Let h be (t + 11 + -7)*(-21)/20. Which is bigger: h or 2?
h
Suppose -r = 5*m + 16, 3*r - m - 16 = -0*r. Let s(q) = q**2 - 52*q + 100. Let v be s(2). Let l be (-1 - r) + (v - -4). Which is smaller: 6/29 or l?
l
Let l = 145/2 + -74. Let m = 9802.929 + -9807. Let n = m - -0.071. Are l and n nonequal?
True
Let n = 76 + -74. Let g be n + 6 + -2 + -19. Let v = -3 + -9. Is g bigger than v?
False
Let y = -1/14562 + 30307/17226846. Which is greater: y or 0?
y
Let d = -1.04 - 0.76. Let s = -5.7 - d. Let g = s + 4.1. Which is bigger: 8 or g?
8
Let y = 50/261 + -70/29. Let b = 107/36 + y. Is 0.9 greater than b?
True
Let b(m) = m**3 - 20*m**2 + 55*m - 1595. Let c be b(21). Is -4262 equal to c?
False
Suppose 14*l - 5*l - 398 = -407. Is -1/6394 bigger than l?
True
Suppose -2*m + 0 - 16 = -2*r, -4*r - 2*m + 8 = 0. Suppose -4*a = -r*s + 4, -3*a - 5 = -2*a - 2*s. Suppose 0 = -5*j - a*j. Does 2 = j?
False
Let f(i) = 7*i + 224. Let x be f(-32). Suppose -k - 1 + 28 = x. Is 16 less than k?
True
Let c be (9 + 4578/4)/(-6). Is c at least -193?
True
Let l be 1*3/(-2)*6. Let j = 0.136 - -41.864. Let g = 41 - j. Are g and l equal?
False
Suppose -3 = -2*r + 5*r. Suppose g + 14 - 6 = 0. Let x be -2 + (-3)/((g - -3) + 6). Which is bigger: x or r?
r
Suppose 7549 = -133*k + 14*k + 23971. Is 137 <= k?
True
Let z(g) = 36*g**2 + g**3 + 4*g + 24 - 82*g**2 + 66*g**2. Let o be z(-19). Which is bigger: 308 or o?
o
Suppose -52*i = -50*i - 3*a + 75, -6*a = 2*i + 138. Which is bigger: -39 or i?
-39
Let f be ((-745)/(-25))/((-4)/10)*-2. Which is smaller: f or 148?
148
Suppose 12*v = -185 - 211. Let a(s) = 2*s**2 + 65*s - 75. Let f be a(v). Is -2 less than f?
False
Let m(u) = -u**3 + 26*u**2 - 49*u + 16. Suppose 0 = 3*d + 120 - 192. Let k be m(d). Suppose -13 = z + c - 5, -z = 5*c. Is k greater than z?
True
Suppose 15 - 279 = -c. Suppose 7*i - 19*i = c. Which is bigger: -19 or i?
-19
Suppose -4*z - 71 = 5*g - 8*z, 0 = -g - 5*z - 20. Let h be (2 + 426/g)/(27/(-90)). Let w = h + -92. Is -6 smaller than w?
True
Let x = 182 + -115. Let s = 0.013 - 0.013. Is s at least x?
False
Let l = -11.7 + 11. Let o be -1*((-29)/21 - (-80)/120). Is o < l?
False
Let j(r) = 4*r**2 + 3*r - 2. Let b be j(1). Let z(t) = t**3 - 6*t**2 - 35*t + 73. Let i be z(9). Which is greater: b or i?
b
Let d = 6334.02 - 6334. Which is smaller: -0.055 or d?
-0.055
Let u = -37 + 37. Is u at least 1/3552?
False
Suppose -2*h - 15 - 27 = 0. Let j = 26 + h. Suppose -6*u + j*u = 9. Is -7 bigger than u?
True
Suppose 0 = -4*s - 4*p - 0*p - 1304, -2*s = 5*p + 658. Let c be 11/(220/s) - (-3)/(-1). Which is greater: c or -19?
-19
Suppose -d = 4*h + 4, -5*h = -3*h + 2*d + 2. Let y be (h/(-33))/((-2)/(-6) - 1). Which is greater: y or 0?
0
Let q be (-7464)/(-3)*(-3)/6. Let l be (9 - 14) + q/42. Let f = l - -100/3. Is f at least as big as -1?
False
Let l = -7088 - -7088.1. Is -1/9 > l?
False
Suppose 0 = 10*z - 106*z + 14*z - 1804. Which is bigger: -8.1 or z?
-8.1
Suppose 9*h - 176 = 6*h + 5*k, 3*h - 172 = 4*k. Is h smaller than 70?
True
Let i = 14762/9 - 162400/99. Is i >= 0?
False
Suppose -y - 6*y = -448. Let c = y + -10. Suppose -3*j = 3*j + c. Which is greater: -11 or j?
j
Let c = -25652 - -25608. Are c and 19 nonequal?
True
Let u(a) = a**3 - 3*a**2 - 2*a. Let p be u(3). Let z(g) = g**2 - 13*g - 34. Let m be z(15). Let q be m + (((-6780)/(-56))/(-5))/p. Is 1 not equal to q?
True
Let j = 2.6 - 0.7. Let b = j - -31.1. Let p = 28 - b. Do 1 and p have the same value?
False
Suppose -92*t = 425*t - 28*t + 66993. Are -9 and t unequal?
True
Let x = -46.4 - -23.5. Let b = 23 + x. Let a = 0 - 29. Which is smaller: a or b?
a
Let d be 4 + 5/(-795)*-2211859. Let h = d + -13915. Let b = h + -1124/2703. Are 0 and b non-equal?
True
Let i = -0.23425 + -1232.76575. Is -2 > i?
True
Let r = 3126 - 15574/5. Let y = -218/15 + r. Is -0.1 smaller than y?
False
Let g = 4705685/329 + -14303. Which is smaller: g or 2/65?
g
Let k(t) be the third derivative of 11/60*t**5 - 1/120*t**6 + 9/2*t**3 + 0*t + 22*t**2 + 0 - 1/12*t**4. Let i be k(11). Which is bigger: 32/5 or i?
32/5
Let a = 852 + -849.74. Let c = -2.46 + a. Which is bigger: c or 0.74?
0.74
Suppose 28 = 2*a - 4. Suppose 56 - a = 4*z. Let f = z + -9. Is 1/8 <= f?
True
Suppose 2*n - 8*f + 3*f = 7, -4*n = -f - 23. Suppose 186 = 20*v + n. Which is smaller: v or 12?
v
Suppose -3*r - z - 25 = 0, 15 = -2*r + z - 2*z. Let i be (-15)/6*(-768)/(-200). Which is bigger: r or i?
i
Let s(n) = 3*n**3 - 3*n**2 + 3*n - 3. Let j be s(3). Let d = j - 47. Let l = 2 - d. Is l at most -4?
True
Let c be 105/84*2/(-40). Is c greater than or equal to -0.049?
False
Suppose 0 = 2*r + 10 - 2. Let g = r + -13. Suppose -4*j = c - 14, 6 = -2*j + 14. Which is greater: g or c?
c
Let f(v) = 862*v - 23. Let i be f(-4). Let w = i + 38155/11. Which is greater: -1 or w?
-1
Let l be 147*(5 - 2365/455). Let a = 1771/39 + l. Is 16 less than a?
True
Suppose -9 - 7 = 3*y + w, -4 = 3*y - 2*w. Let c be -1*(-3 - (y + 1)). Let s = 879/85 + -52/5. Which is bigger: s or c?
c
Suppose 0 = -5*k + 2 - 32. Let u(n) = -2*n - 12. Let d be u(k). Let x be ((-8)/6)/((-1316)/42). Which is bigger: x or d?
x
Let d be 1290 + (-2 - 0) - 6/(-12)*-2. Is d at least as big as 1285?
True
Let g(w) = w**3 + 5*w**2 + 6*w + 10. Let f be g(-4). Suppose 2*y - 4 = f. Let b be (0 + 0)/(1 + 52/13). Which is smaller: b or y?
b
Let j = 62 + -12. Suppose -5*i = 2*d + 50, 3*i + 125 = -3*d + j. Let m(w) = 6*w + 28. Let c be m(-9). Which is smaller: d or c?
c
Let g(q) = -41*q**2 - 4*q + 515. Let r be g(0). Which is smaller: 517 or r?
r
Let q(b) = 2*b - 13. Let u be q(-5). Suppose -2*t - 2*t - 98 = -z, 0 = -5*z + 10. Let o be (t/(-60))/((-4)/(-10)). Is u bigger than o?
False
Let v(a) = a**2 - 19*a - 21. Let h be v(23). Let d = -33 + h. Suppose -d = -5*f - 3*l - 11, -f + 19 = 4*l. Is 0 equal to f?
False
Let o = 2317/6 + -554/3. Let x = -125 + -72. Let z = x + o. Which is bigger: 5 or z?
5
Let d = -30486 - -213750/7. Let n = d - 50. Which is smaller: 7/11 or n?
n
Let s = 109006 - 227059494/2083. Is s < 1?
True
Let p = 242 - 447. Let a = p + 201. Which is smaller: 0 or a?
a
Let n be (-10)/1 + 13*(-28)/(-182). Let l be 125 + n + 9 - 5. Is l at least as big as 122?
False
Let u(v) = 28*v - 380. Let g(l) = 19*l - 253. Let j(x) = 7*g(x) - 5*u(x). Let h be j(20). Which is smaller: h or -10?
h
Let x = -1206/17 - -42142/595. Which is greater: x or -0.3?
x
Let y be 747 + (2/4)/(3/(-18)). Let c be 120/y*(-4)/5. Let k be 0/(2/(-2) + 2). Is c less than k?
True
Let v = -948.1464 - 0.8536. Which is bigger: v or 0.2?
0.2
Suppose 4*h - 49 = 5*b, b = 5*h - 4*h - 11. Let r(d) = -7*d + 4. Let j be r(h). Let s = 42 + j. Which is smaller: s or 6?
s
Let j = -140 + 154.1. Let k = j - 13.1. Which is smaller: -285 or k?
-285
Suppose -28 = -b + 2*k, -2 = -5*k + 3. Does b = 18?
False
Suppose -5*y - 4*z = -223, -3 = -3*z + 4*z. Suppose -5*i + y = 17. Let w be ((-3)/i)/(2/(-44)). Is w smaller than 4?
False
Let w be (-9)/24 + -17*3/(-8). Suppose 16*x - 18*