: b or 1/4?
1/4
Let i(u) = -17*u**2 + 26*u. Let h(o) = -6*o**2 + 9*o. Let z(q) = 8*h(q) - 3*i(q). Let x be z(3). Is 4 at most as big as x?
True
Suppose 4*u - 24*y + 29*y - 50 = 0, 3*y = 2*u - 36. Let p = 27 - 14. Is p smaller than u?
True
Let r = 1458 + -1461. Which is smaller: r or 28?
r
Let q = 512 + -81410/159. Do 1 and q have the same value?
False
Suppose -4*r + 2*r - 3*q + 10 = 0, 5*r - 5*q + 25 = 0. Let s = 97925584/133 - 736271. Let t = 80/7 - s. Which is smaller: r or t?
r
Let l(k) = -k**3 + 5*k**2 + 2*k - 3. Let z be l(5). Let n(j) = 7*j - j - 3*j - 5*j - 20. Let y be n(-14). Which is smaller: y or z?
z
Let b = 5178 + -25991/5. Which is smaller: b or -21?
-21
Let h = 2 + -1.86. Let o be (-2)/(-4) - (-1571)/(-14). Let f = o - -112. Is f < h?
False
Let u = -6 - 4. Let w be (-1)/(2/u) + -4. Let k = -0.01 - 10.99. Is k >= w?
False
Let i be 9 + -12 + 4/2. Let u be (-1)/(-1) - 17/9. Which is smaller: i or u?
i
Let c be ((-4)/(-3))/(14/21). Suppose 4*p = c*p. Let k = -8 + 6. Which is greater: k or p?
p
Let g = 21.47 + -0.47. Let u = 33 - g. Let h = u + -9. Which is bigger: h or 7/3?
h
Let d = -45725/3 + 14905. Do -337 and d have the same value?
False
Let v = 270.5 + -259.57. Let r = v - 11. Let a = r + 0.08. Which is greater: a or 1?
1
Let u(i) = -2*i**3 - 5*i**2 - 2*i + 4. Let y be u(-2). Which is greater: y or 37/8?
37/8
Let u be (1/4)/((-2)/(-14)). Suppose -4*c + 16 - 4 = 0. Which is smaller: c or u?
u
Let z be 2 - (0 + 0)*(-6)/(-6). Let a be (-19)/(-57)*(-42)/z. Which is smaller: -11 or a?
-11
Let u be (-47 + 45)*(-1)/(-44). Which is smaller: u or 1?
u
Let s be 1397 - (0 - 1)*(15 + -13). Is s at least as big as 1399?
True
Let l(z) = 40 + 71*z - 74*z + 13. Let f be l(16). Which is greater: 2 or f?
f
Let r be (-10)/(8/(-36) + (-21)/(-216)). Which is smaller: 86 or r?
r
Let s = 98 + -97. Which is greater: 4/77 or s?
s
Let l(v) = v**2 - 8*v + 2. Let u be l(8). Suppose 2*t = 2*w - 3*t + 17, -2*w + 2*t = u. Suppose -k = w*k. Is -1/10 bigger than k?
False
Let o = -1448/11 - -132. Is o != -1?
True
Let h(a) = a**2 + 6*a - 10. Let f be h(-8). Let b be (f*(-3)/(-45))/(8/10). Is b bigger than 0.23?
True
Let b(g) = g**2 - 14*g - 29. Let t(d) = d**3 - 8*d**2 + d + 8. Let l be t(8). Let v be b(l). Let y = 14 + -10. Do y and v have the same value?
False
Let r = -9 - 6. Let d = r + 35. Let v = d - 21. Is v less than or equal to -2/19?
True
Let w(u) = 3*u**2 - 8*u + 8. Let h be w(4). Let m be (-1*3)/9 + (-184)/h. Which is smaller: -5 or m?
m
Suppose -810 = 21*v - 12*v. Let g = v - -20. Which is greater: g or -69?
-69
Let p be (-2 - (-4 - (1 - -1))) + -4. Which is greater: -3/280 or p?
p
Let d(f) = -7*f**3 + 6 + 8*f**3 - 2*f**2 - 1 + 3*f**2. Let x be d(0). Suppose 3*j + 3 = 18. Is j equal to x?
True
Let z(n) = -n**2 + n - 3. Let f be z(0). Let t be f/4*(2 - 1). Suppose -59 = -14*b - 73. Which is smaller: b or t?
b
Let d be 5 - 7/((-42)/3918). Is 657 >= d?
False
Let y be 4/2 + 4 + -3. Suppose -y*x = -2*x - 4, -4*n + 2*x - 28 = 0. Let w(l) = -l - 12. Let f be w(-8). Do f and n have the same value?
False
Let s = 1435 + -690. Is 745 less than or equal to s?
True
Let w be (1204/84)/(1/(-6)). Which is bigger: -88 or w?
w
Let k be 1/(1/(-3)) - 1. Let z = -2280 + 2276. Is k at most as big as z?
True
Let z = 735/8 + -41767/456. Let n = 1/19 + z. Suppose 5*s = 3*v + 12, 2*s + 4*v = 7*s - 16. Which is smaller: n or s?
s
Suppose 2*f - 15 = 5*f. Let t be f*(2 - 9/15). Which is smaller: t or -6?
t
Let q = 47815 - 213589607/4467. Which is bigger: 0 or q?
0
Let l(r) = -r**3 + 4*r**2 + 5*r + 6. Let h be l(5). Let x be (3/2)/(2/4). Let i be 1 - -2 - (-5 + x). Are h and i non-equal?
True
Let i(a) = -6*a + 30. Let d be i(12). Let v = -48 - d. Is v less than -8?
False
Let c be 63/6*24/1314. Are 1 and c non-equal?
True
Let y = 175.2 - 192. Let m = y + 10.1. Let c = 1.7 + m. Which is greater: 2/9 or c?
2/9
Let x be (0 - 0) + (-11)/((-11)/140). Let g be 10*(2 + (-256)/x). Which is bigger: g or 1?
g
Let v = -48 + 48. Suppose 3*x + 0*x = v. Is x at most 1?
True
Suppose -11*s = 77 - 0. Let y(l) be the third derivative of l**5/60 + l**4/4 - 3*l**3/2 + l**2. Let f be y(s). Which is greater: -3/2 or f?
-3/2
Let g = -335333103/61 - -5497114. Let a = -150 - g. Are -1/3 and a nonequal?
True
Let q(z) = -z**3 - 8*z**2 - 4*z + 4. Let j be q(-7). Let m be -32*2/(-24)*-6. Let c = j - m. Are c and -5/11 unequal?
True
Let x = -36 + 30. Let g = -5 - x. Is g != -1/7?
True
Suppose -11*n + 8*n + 9 = 0. Suppose -4*q = 3*p - 2*q + 88, 0 = n*p - 4*q + 112. Is p greater than -31?
False
Let x = -247 - -212. Which is smaller: -37 or x?
-37
Suppose -12*k + 105 = 33. Which is smaller: k or 82/13?
k
Suppose -1252 + 4640 = -7*m. Is -484 less than or equal to m?
True
Let f = -630 + 625. Which is smaller: -31/6 or f?
-31/6
Let d = -2561 - -268903/105. Suppose -14*o - 28 - 19 = -61*o. Which is greater: d or o?
o
Let k = 1757/4 - 439. Which is smaller: -31 or k?
-31
Suppose 30*a - 3 = 29*a. Which is smaller: -2/11 or a?
-2/11
Let s = 8 + -4. Let o = 4.6 + -4. Let h = o - 0.6. Which is smaller: h or s?
h
Let m = 2/1053 - 355/2106. Which is smaller: m or 3/2?
m
Let h = 47 - 39. Suppose -7 = h*a - a. Is -1/4 at most as big as a?
False
Let s be ((-27)/5 - 0) + 50/10. Which is smaller: -3.4 or s?
-3.4
Suppose -2*l = 4*t + 198, -l + 2 = -1. Let r = t - -49. Let w(k) = 2*k + 6. Let b be w(-5). Is b at most r?
True
Let o = 176.08 - 178. Let w = o - 0.08. Let c(q) = -q**2 - 3*q + 3. Let b be c(-3). Which is smaller: b or w?
w
Let u be (-8 + (-164)/(-30))/((-1)/10). Which is bigger: 26 or u?
26
Let f = 0.3 + -0.1. Let b = -3.3 - -3.65. Let o = b - 3.35. Which is greater: f or o?
f
Let c = 0.26 + -1.26. Does 109 = c?
False
Let y = -1212.4 + 1206. Which is smaller: -1 or y?
y
Suppose -6*h = -3*z - 2*h - 3, 0 = -3*h + 9. Let f(j) = -9*j**2 + 4*j - 1. Let q be f(z). Let s be 8/q*35/14. Which is bigger: 1 or s?
1
Suppose -8*n - 64 - 360 = 0. Let k = n + 46. Which is greater: -5 or k?
-5
Let j = -426 + 422. Is j < -5/4?
True
Suppose 5*g - 11 = 14. Let i = g + -3. Suppose -2*r + 4*u = 2*r, -r = -3*u + 6. Which is greater: i or r?
r
Suppose -2*m + 2*r = -46, 0*r + 23 = m - 3*r. Let b = 27 - m. Let u be (-2)/b*(-7 - -9). Which is smaller: u or -22?
-22
Let k = -377 + 394. Which is greater: -4 or k?
k
Let n be (-11)/(-3) - (-14)/(-21). Suppose 5*x + v + n*v = 6, -5*v = 5. Which is smaller: x or -2?
-2
Let p = 4.7 - 6.86. Let x = -0.06 - 0.1. Let a = p - x. Is a bigger than 1?
False
Suppose -w + 6*w + 15 = 0. Let h be 90/(-27) + 2/w. Let g be 99/(-21) + 1 - h. Are 4/9 and g nonequal?
True
Suppose -13*x - 28 + 15 = 0. Do x and 2/805 have different values?
True
Let q be 10/(-7)*4/8. Let m = q + 3/14. Which is bigger: 1.5 or m?
1.5
Let d(k) = k**2 + 11*k + 18. Let b be d(-9). Suppose 0 = 5*z + 2*h - 105, z = -b*h + 3*h + 21. Are 1 and z non-equal?
True
Let i = 8/3 + -13/6. Let m(s) = -s**3 - 6*s**2 - 4*s + 7. Let t be m(-5). Are i and t non-equal?
True
Let m(y) = 2*y**2 + y - 4. Let h be m(-2). Suppose -2 = z - 3*j + h, -z + 4 = -5*j. Are z and -14 non-equal?
True
Let p = 2394/527 - 170/31. Suppose 3*t - 3*y = 0, 0*y = -4*t - 2*y. Which is greater: p or t?
t
Suppose 0 = 2*s + 5 - 3, 0 = -2*y + 4*s. Let h = y - -5/2. Are -16/5 and h equal?
False
Let h = -178 - -17. Which is bigger: h or -159?
-159
Suppose -w = 4, -w + 18 = 5*g + 2*w. Let m = 37 - 30. Do m and g have the same value?
False
Let s = 269 - 269.14. Which is smaller: 23 or s?
s
Let v be 1275/(-775) - (-5 + 2). Which is smaller: 1 or v?
1
Suppose -3*h - 10 = -h, -5*d = 4*h. Let w = -13 + 13. Suppose w = 3*l + l. Which is greater: d or l?
d
Let q be 290/294 + -5 + (-12)/(-3). Let u = -2 + 1. Is u greater than q?
False
Let s = 26 - 19. Suppose -3*h = -x + s, -x - 4*h + 2*h = 3. Let k be 2/3*(-6)/14. Are x and k equal?
False
Let r be (-18)/(-117) - (-1334)/286. Is r at most 5?
True
Suppose -15*p - 4 = -13*p. Let k be p/3*15/(-175). Which is smaller: -1 or k?
-1
Suppose 4*x + 9 = x. Suppose -r - 10 = -2*r - 2*g, 4*g = -5*r + 68. Let o be r/20*(-36)/16. Which is greater: x or o?
o
Let t be ((-6)/3)/(-3 - 2)*10. Suppose 5*m + 4*n - 8 = 0, 0 = -t*m - 2*n + n + 2. Let a be ((-1)/5)/(1*7). Which is bigger: m or a?
m
Let q = 0.052 + -27.052. Let j = 38 + q. Let r = j + -16. Which is 