qual to b?
True
Let p be 5/(-1)*(-44 - -24). Which is smaller: p or 96?
96
Let m be (3 - 0 - 2)/1. Suppose -q = -0*q - 5. Let p be (4 - q)/(1/2). Which is bigger: m or p?
m
Let b(a) = -a**2 + 7*a + 2. Let c be b(7). Suppose -l + 3*k = -c*l + 5, -11 = -2*l - 5*k. Which is greater: 9 or l?
9
Let q = -24 - -30. Let j = q - 6.25. Let u = 0.2 + j. Is 0 smaller than u?
False
Suppose 0 = 2*p - 4*r + 8, 3*p - r - 20 = 8*p. Let j(s) = s - 6. Let f be j(4). Which is greater: p or f?
f
Let w be 1/((30/(-12))/(-5)). Let y be 1*(-4)/(-458)*(-1 + w). Which is bigger: 0 or y?
y
Let x = -0.7 + 0.6. Let w = 36 - 47. Let g = w + 16. Which is bigger: x or g?
g
Let g = 6 + -5. Let j be -1 + g - -1 - -3. Let f be j + -3 - 0 - 1. Is -2 less than f?
True
Let x = -0.51 + 26.51. Let c = x + -22. Let q = 5 - c. Are -0.09 and q unequal?
True
Suppose 0*u = 5*u. Let f be -2 + u + (5 - 0). Suppose 0*i + f*i = 0. Which is smaller: 1 or i?
i
Let k = -2719310 - -84328591/31. Let p = k - 967. Is p >= 0?
True
Let v = 60.62 - 61. Let q = 0.02 - v. Is 2/9 equal to q?
False
Suppose -h = 3*z - 6, -19 = 4*h - 2*z - 1. Let w(a) = -2*a**2 - 6*a + 1. Let r be w(h). Which is greater: 1/33 or r?
r
Let q(p) = -31*p**3 + 3*p + 1. Let d be q(-1). Is d != 7?
True
Suppose -3*q = -17 - 37. Let z = q + -26. Is z < -7?
True
Let r be (-5 - -2)*-1 + -3. Let n = -8.7 + -0.3. Which is bigger: r or n?
r
Let d(w) = w**2 + 6*w - 8. Let p be d(-6). Suppose 0 = -9*i + 4*i + 10. Suppose -i*u - 3*s - 11 = 0, u - 5*s + 13 = 1. Which is smaller: p or u?
p
Let k be (-4)/(-26) - 20878/25857. Let o = 2/153 - k. Which is smaller: o or 1.8?
o
Let o be -2 - -3 - 9/(-3). Suppose o*g + 10 = 2*g. Suppose -5*s - 3*l - 2 - 21 = 0, -3*s - 4*l - 16 = 0. Which is greater: s or g?
s
Let x(o) = -o**2 + 28*o + 129. Let k be x(32). Which is smaller: 3/49 or k?
3/49
Suppose 0 = -9*l + 4*l + 4710. Let k be l/(-594) + ((-4)/(-18))/1. Is -2 less than or equal to k?
True
Let j = -597.9 + 598. Let n be 86/6 + 2/(-6). Suppose m - n = -7. Which is greater: j or m?
m
Let t = 2.721 - 3.021. Let h be 18/(-20) + 0 + 1. Which is greater: t or h?
h
Let d(z) = -3*z + 3. Let k be d(-3). Suppose -h = 2*h - k. Let p be (-105)/63*153/(-85). Which is smaller: h or p?
p
Let q be 3 + 2681/35 + (-2)/(-5). Is q greater than 78?
True
Suppose 20*p + 26 = 6. Is p bigger than 1/206?
False
Let r(i) = 4*i - 11. Let c be r(6). Suppose 23 = 9*b - c. Which is smaller: b or 3?
3
Let p(v) = -v**3 + 4*v**2 + v - 2. Let u be p(4). Suppose 2*g - u = 4*g. Let a be g/6 + 35/126. Which is smaller: 1 or a?
a
Let s = 0.98 - 9.98. Let w = 2 + s. Is 3 at least as big as w?
True
Let l be 4/(-40)*-5*(-12)/9. Let z = 0.05 + -0.35. Let n = z - 0. Is n equal to l?
False
Let t = -1.15 - -1.05. Is 6/7 less than t?
False
Suppose -10*k = -6*k - 12. Suppose 5*f - 2*i + 6*i = 5, k*i + 15 = 0. Let r = -12 - -17. Are f and r equal?
True
Suppose 2 = -3*o - 4*n + 41, 3*o = 2*n + 21. Suppose -5*m + 20 = 0, -4*c - 4*m - o = 3. Is c greater than -7?
False
Suppose 9*r + 108 + 45 = 0. Let l(x) = x + 16. Let k be l(r). Which is smaller: -2/17 or k?
k
Suppose -8*k + 12*k = -60. Let z be (-1)/(k/5 + 4). Let p be 7/(-14)*(-8)/(-214). Is p greater than or equal to z?
True
Let w(g) = g**3 - 8*g**2 + 8*g - 6. Let s(u) = u**2 + 3*u - 3. Let a be s(-5). Let o be w(a). Let r be (o - (3 + -1)) + 2. Are r and 1/17 equal?
False
Suppose -2*r = -4*n - 8, 5*n - 3*n = -2*r + 8. Suppose z = -z + r. Is z at least as big as -11?
True
Let s = 3903/7 + -560. Let r = s + 71/35. Which is smaller: r or 0?
r
Let x = 11 - 20. Let u be 64/(-14) + -1*x/(-21). Which is bigger: -7 or u?
u
Let o = 63 + -181. Is o greater than 2?
False
Let v = -409 - -1268/3. Which is smaller: 14 or v?
v
Let r = 71 - 20. Let n be -7 + 4 + 171/r. Is n equal to -1?
False
Let q = -282 + 96. Does 2 = q?
False
Suppose 5*i - 97 = 83. Let p = -32 + i. Which is smaller: 2 or p?
2
Let u = 86 + 193. Is u < -0.1?
False
Let t(r) = -2*r + 2. Let q be t(2). Let x be (5/(-2) - q)*0. Suppose 2 = -a - x. Is a at most as big as -6/7?
True
Let d = 157 - 156. Is d equal to 15/23?
False
Let f = 65 - -695. Which is greater: f or 761?
761
Let p = -5/2 - -55/23. Is 0 at least as big as p?
True
Let j(a) = -3*a**2 - a - 5. Let i(n) = n**2 + 1. Let w(f) = 4*i(f) + j(f). Let g be (0 + 1)/(8 + -9). Let l be w(g). Which is smaller: l or -2?
-2
Let w = -19050217726414402/47457 - -401420606531. Let j = 8/5273 + w. Let n = 48 + j. Is n at least as big as 0?
True
Let i = -831 + 37393/45. Which is smaller: 2 or i?
i
Let r be ((-54)/10)/((-9)/(-15)). Are r and -0.02 unequal?
True
Suppose 0 = 16*y - 13*y - 6. Let b = -6 - -5.92. Let i = 0.04 + b. Is y at least as big as i?
True
Let s = -413 - -410. Is s less than or equal to -34?
False
Let h be ((-1132)/(-380) - 3)*(-24 + 4). Which is greater: h or -2?
h
Let s = 2 - 3. Let a be -4 + (0 + -1 - (-18 + 10)). Suppose -z + 5*d - 8 = 5, a*d - 13 = z. Which is bigger: s or z?
s
Let r = -0.25 - -0.05. Suppose -2*w + 5*w = -4*o - 7, 2*w = -5*o. Let f(s) = -3*s**2 - 14*s + 2. Let g be f(w). Is g smaller than r?
True
Let q be 6/(-2)*(14 - 13). Let w = 6 - q. Are 8 and w non-equal?
True
Let m = 15/34 + -111/136. Is m at least as big as -1?
True
Let r = 15 + -15. Let z be 2/92*(-212)/(-30). Let s = z + -2/23. Is r less than s?
True
Let x be (-29)/(-261) + (-5462)/(-9). Is 605 less than x?
True
Let f be ((-130)/15)/13*(-237)/(-2). Is -85 != f?
True
Let m be 2*(-3)/2*-1. Let h(q) = -q**3 + 3*q**2 + 3*q + 7. Suppose -5*x + 26 - 6 = 0. Let a be h(x). Is m < a?
False
Suppose 6*s + 46*s - 52 = 0. Is -5 at least s?
False
Let q = 45 + -23. Suppose j - q + 10 = 0. Suppose -x + 5*w - j - 11 = 0, -2*x = 5*w + 16. Are x and -14 non-equal?
True
Let n(f) = -4*f**2 + 9*f - 2. Let d be n(5). Let v = -113/2 - d. Let a = -6 - -8. Is a <= v?
False
Let o(t) = -3*t + 1. Let r be o(1). Let c(p) be the third derivative of -p**5/60 + 7*p**4/24 - 7*p**3/3 + 11*p**2. Let a be c(4). Is a at most as big as r?
True
Let l(n) be the third derivative of n**4/24 + 17*n**3/6 + 5*n**2. Let h be l(-5). Let w be h/42 + (-214)/14. Which is smaller: w or -14?
w
Let w be (5 - 82/16) + (-478)/16. Which is bigger: w or -25?
-25
Let k(u) be the third derivative of 19*u**6/120 + u**5/30 + u**4/12 - u**3/6 - 6*u**2 + 3. Let a be k(-2). Which is greater: a or -148?
-148
Let w be (48/9)/(14/(-63)). Let p be -1 + 0 - 125/5. Let l = w - p. Which is greater: l or 0?
l
Let m(l) = -2*l + 3 + 10*l**2 - l**3 + 14*l**2 - 25*l**2. Let g be m(0). Let o = 6 + -2. Which is greater: o or g?
o
Let j be ((-8)/35)/((-4)/10). Suppose -5*z - 97 = -22. Let m be (6/z)/(8/(-20)). Which is greater: j or m?
m
Let k be (-4 + (-7 - -10) + -12)*1. Which is bigger: k or 0.42?
0.42
Let k = 0.7018 + -0.0018. Let j = -1.1 - -2.8. Let p = j - k. Which is smaller: p or -8?
-8
Let x be -1 + (-5 + (-36)/(-8))*-2. Is x at most 2/113?
True
Let b(v) = -8*v - 8. Let h be b(-6). Suppose -48*c + h = -50*c. Is c less than or equal to -61/3?
False
Let i = 14914 - 14914. Let r be (-4)/6 - 129/(-234). Which is smaller: r or i?
r
Suppose -18 = -2*j - 8. Suppose 5*m + 5*h + 0*h + 10 = 0, -4 = 2*m + h. Let b = j + m. Is b < 1?
False
Let r = 123 + -122.53. Let v = r - 0.07. Are 2/47 and v nonequal?
True
Let g be 1 - (6 - 3) - 0. Let a = 131/5 - 1447/60. Let i = g + a. Which is greater: i or 0?
i
Let k = 29 - 21. Suppose k*o - 24 = 5*o. Is o <= 28/3?
True
Suppose 3*o = -5*y - 580, -y - 6*o - 116 = -2*o. Is -116 >= y?
True
Let d be 66/(-9)*(-6 - -3). Suppose 4*n = -j + d, -6*n + n = -j - 14. Suppose 5*t - j = -1. Is t less than 4/5?
False
Let z(o) = -o - 11. Let r be (-52)/5 + 2/5. Let f be z(r). Let u be (-3 - 76/(-26))/((-3)/(-6)). Which is bigger: f or u?
u
Suppose 5*k - 18 = 8*k - 3*a, 4*k + 4*a = 0. Let v(q) = -7*q + 7. Let l(z) = 20*z - 20. Let h(s) = -6*l(s) - 17*v(s). Let r be h(3). Is k greater than r?
False
Let o(u) = -u**3 - 2*u**2 - 3*u - 3. Let d be o(-2). Let s be (-4536)/(-672) - (5/(-4) - 0). Is d <= s?
True
Let v = -1.19 + 1.59. Let h = -18 + 2. Let k = 15 + h. Which is smaller: v or k?
k
Let c be (-32)/22*105/140. Let m(v) = v**2 + 3*v. Let z be m(-2). Is z at most as big as c?
True
Let p be (-1)/118*126/21. Does p = 0?
False
Let k = -7.2 + 138.2. Let i = 130.97 - k. Let c = -1 - 1. Is c at least as big as i?
