s smaller: x or u?
x
Suppose -w + 14 = 3*u, -5*u - 1 = -w - 19. Suppose -2 - 2 = u*r. Let j be (48/(-280)*-7)/((-81)/(-30)). Which is smaller: j or r?
r
Let p(b) = 65*b**3 + b**2 + b. Let i be p(-1). Let u be (234/i)/((-28)/10) + -2. Which is smaller: 0.3 or u?
u
Let h = 12 + -13. Let b = 577/1528 - 1/382. Is h at most b?
True
Let l be (-14)/(-8) - (-1 + 2). Let x(z) = -z**3 + 9*z**2 + 24*z - 17. Let q be x(11). Suppose -5*p = q*g, -5*g + 9*g - 4*p = 0. Which is smaller: g or l?
g
Let g be 1/(-5) - (-3)/(-35). Suppose -4 - 11 = -5*h. Suppose -c = -h*u - u - 13, -u - 17 = -3*c. Is u != g?
True
Let c(q) = -q**2 - 9*q - 9. Let o be c(-7). Suppose -5*n + 4*n + 2 = -3*p, 0 = -o*p - 3*n - 8. Let l be ((-4)/(-10))/((-5)/10). Is p at most l?
True
Suppose 5*u + 0 - 10 = 0. Suppose -b = w + 11, u*w - 2*b + 0*b + 14 = 0. Let o be 11/w - (-4)/18. Which is greater: o or -1/13?
-1/13
Let f(w) = 103*w**2 + w. Let l be f(1). Let r be -1 - (l/18)/4. Suppose 3*h = -3*j + 6*j - 3, -4*h = -j + 13. Is j greater than or equal to r?
False
Suppose 4*t + 24 = -2*t. Do t and 0.1 have the same value?
False
Suppose 0 = 5*s + b + 2*b - 3, -4 = -4*b. Suppose 5*a - 4*z = -s*a - 35, z = 0. Suppose -k + 2*k = w + 12, 2*w - 5*k + 36 = 0. Do w and a have the same value?
False
Suppose 0 = -26*b + 29*b - 117. Let p be (-736)/(-52) - 6/b. Which is smaller: 12 or p?
12
Let n be 1/(-5) - (1085/225 + -5). Let v = 23/225 + n. Is -2/3 at least v?
False
Suppose 2*b - 3*d - 34 = -d, -3*b + 2*d + 52 = 0. Suppose -3*m = -m - b. Suppose -25 + 57 = 4*x. Which is bigger: x or m?
m
Let j = -3441 - -2252. Which is smaller: j or -1188?
j
Suppose 47 = 5*l - 3*n, -43 = -5*l + 5*n + 12. Do 55 and l have the same value?
False
Let h be -30*(36/8)/(-9). Suppose -86 = h*x - 13*x. Let z = 74 + x. Is 31 bigger than z?
False
Let t be -3*((127936/7980)/16 + -1). Which is smaller: 0 or t?
t
Suppose 0*n = n - 8. Let t be (n + -2)*(-2)/4. Let x be (3/t)/(-1)*-3. Is x bigger than -1?
False
Suppose 0 = -2*h - 2*h. Let j be -1 - (2 - h)*1. Suppose -13 + 85 = -12*g. Which is greater: g or j?
j
Let s be (-4)/(-6) + 350/(-30). Let i be (1 + -2)/(-1)*s. Which is greater: 0 or i?
0
Let d be (-56)/(-10) - (-12)/(-20). Suppose h + 0*h = 5*z + 30, -d*z = 15. Is h at least 16?
False
Let c = 206 + -197.1. Let g = c - -2.1. Let o = g - 11. Is 3 at least o?
True
Let o = -3.913 - -0.913. Suppose -3*n = 1 - 10. Let h be 0*(n/2)/3. Which is smaller: h or o?
o
Let i = 3 + -2. Let h = 53.6 - 67. Let a = -13 - h. Is a smaller than i?
True
Let t(h) be the third derivative of h**6/120 - 7*h**5/60 - 7*h**4/24 - 3*h**3 - 11*h**2. Let x be t(8). Let o(v) = -2*v + 9. Let f be o(9). Is f bigger than x?
True
Let o(s) = -2*s**2 + 19*s - 5. Let h be o(9). Suppose 2*l + 5*r - 26 = 0, -15 = -l + 2*r - 5*r. Suppose -q = w - 9, -l*w + h*q - 16 = -2*w. Does 5 = w?
False
Suppose 144*w = 145*w - 5. Let h be 6 + 1 + (-5 - -3). Suppose -h = -4*a - 2*o + 11, -24 = -4*a + 2*o. Is a less than w?
False
Let i(n) = -n**2 + 8*n - 7. Let c be i(1). Is -1/88 > c?
False
Let q = 41 - 21. Suppose -q = -5*r + 20. Suppose 18 = r*a - 2*a. Is a at least -2?
True
Let s(d) = 6*d + 6. Let t be s(2). Let p = -23 + t. Which is smaller: 3 or p?
p
Suppose 0 = -4*l - 46*l - 1500. Let a(u) = u - 23. Let x be a(-9). Which is smaller: l or x?
x
Let g be (-1 + -3)/(23/(-1104)). Which is bigger: g or 191?
g
Suppose -13 = c - 17, a - 231 = -3*c. Is 220 not equal to a?
True
Suppose 5*d - 8*d + 384 = 0. Suppose 5*r - 4*y + d = 0, y = 4*r + r + 122. Let z = r + 29. Which is bigger: 6 or z?
6
Let d = -25 - -25. Let p be (d - -4) + -1 - -7. Is p at most as big as 8?
False
Let z = 41 + -41. Which is greater: -26/37 or z?
z
Suppose 21*b - 43 = 20. Let u be (-1)/4 + 3/12. Are u and b unequal?
True
Let f be (80/1960)/((-1)/7). Is f smaller than 19?
True
Suppose 6 + 1 = -c. Let i = 5 - 6. Let y be i/(-6) - (-98)/(-12). Does c = y?
False
Let o = -0.02 - 0.48. Let y = 0.18 - 0.38. Let p = y - 2.8. Is p at least o?
False
Let k = 0.06 + 2.84. Let q = 3 - k. Which is smaller: 1/3 or q?
q
Let l be ((-408)/84 - 6/(-7))/(-4210). Is 0 less than or equal to l?
True
Suppose -2*j + 6*j = 0. Let m be j - (4/(-32) + -1). Let p be (-7)/(28/(-8)) + -1. Is m at least p?
True
Let p be ((-1)/(-3)*2)/(4/(-6)). Let g be p*(-6)/(-9) - 4/3. Which is bigger: 0.1 or g?
0.1
Let k = -129038/59 - -2187. Do k and 1 have the same value?
False
Suppose 2*d = -4*f + 26, 4*d + 1 = d + 4*f. Suppose -18 = -d*k + 7. Which is greater: k or -3?
k
Suppose 8*c - 50 - 46 = 0. Suppose 8 = -4*i, 5*a - 2*i = a + c. Are 18/13 and a non-equal?
True
Let f be 0/3 + 2 + 0. Let v = -28924/11 - -2630. Are f and v non-equal?
True
Let p(y) = y**2 + 6. Let z be p(-3). Let t = -13 + z. Let m be -5 - -5 - t/33. Which is greater: 1 or m?
1
Let c = -68 + 67. Let n be -3 + c + (-12 - -8). Does -13 = n?
False
Let i = -45.8 + -1.2. Let g = i + 49.3. Let j = 813/4 - 203. Which is smaller: g or j?
j
Let a = -0.172 + 27.172. Is -0.3 < a?
True
Let r = 24 - 37. Let n = r + 14. Which is smaller: n or -3/22?
-3/22
Let n = -13.95 - -20. Let u = n - 6. Let g = -0.15 - u. Which is smaller: g or 2/7?
g
Let n(h) = -h**2 - 4*h + 4. Let o be (6/(-15))/(1/10). Let f be n(o). Let c be (-3)/(-8)*(-2)/3. Do c and f have the same value?
False
Suppose 14*a - 265 - 29 = 0. Which is smaller: -1.9 or a?
-1.9
Suppose 37*l - 7 + 525 = 0. Is -133/9 <= l?
True
Let n = 168 - 168. Is 2 bigger than n?
True
Let o(p) = -p**3 - p**2 - 2*p + 3. Let u be o(2). Let l = 19349/7 - 2777. Is l < u?
False
Suppose -1 = 5*n - 6. Let p be (n + (-33)/36)/(6/24). Is p smaller than 0.24?
False
Let t be (-67988)/552 - ((-2)/12 - 0). Is 2/5 equal to t?
False
Let b be ((-2)/1)/((-10)/220). Let c = -98 - -143. Are c and b unequal?
True
Let a be 1/4 - 63/28. Let v be (0 + (-4)/64*a)*-1. Is v at most 0.4?
True
Let o = -335/7 + 3623/70. Let g = -251/65 + o. Let i(d) = 2*d**2 - 10*d - 11. Let x be i(6). Is x at least as big as g?
True
Let n(r) = r**2 + 7*r - 18. Let b be n(-9). Suppose -7*p - 8 + 1 = b. Is -3/8 bigger than p?
True
Let z = -38.7 - 0.3. Let j = -36 - z. Are j and -8 non-equal?
True
Suppose -b - 7 = -0. Let o = b + 12. Let j be (48 - 31) + 26/(-2). Which is smaller: j or o?
j
Let y be -1 - -1*(-1 + 4 + -2). Let c(r) = r**3 + 7*r**2 + r + 9. Let w be c(-7). Which is bigger: y or w?
w
Let z = -169 - -157. Is z >= -17?
True
Let v = 656/3 + -45263/207. Which is greater: v or 0?
v
Let n = -2.315 - -1.575. Is 0.04 less than n?
False
Let i = -25 + 31. Suppose 6*d - 3*d - i = 0. Let w be (-65)/(-182)*d/(-1). Which is bigger: 0 or w?
0
Let q = 271/110 + -21/10. Let b(i) = i**3 + 20*i**2 + i + 20. Let s be b(-20). Is s < q?
True
Let d = 12 - 10. Let v = -17 + 16. Let b = 0 + v. Which is greater: d or b?
d
Let f = 16371 + -409212/25. Which is greater: f or 4?
4
Suppose 0*v = -3*k - 4*v + 7969, 0 = -4*k + 2*v + 10640. Let n = k + -39871/15. Which is bigger: n or 0?
n
Let b = 103 - 108.7. Let s = b + 5.71. Is s not equal to 3?
True
Suppose 3*l - 1 = p + l, 0 = p + 3*l - 9. Let k be (7/(-4 - p))/(2/38). Is k < -20?
False
Suppose -5*y + 17 - 2 = 0. Suppose s - 4*j = -3 + 23, 0 = y*s + j + 5. Let i = -591 + 6495/11. Which is greater: s or i?
s
Let r(n) = 51*n + 1392. Let b be r(-26). Let g = 80 + -15. Which is smaller: g or b?
g
Let p(c) = -28*c**2 + 1. Let y be p(-1). Let w be (-876)/(-8)*(-15)/y. Let u = -61 + w. Which is bigger: u or 1?
1
Suppose 3*c + 3 = -3*t + 6*c, -3*c = 15. Let d be 21*(1 + (-25)/(-15) + -3). Let i = t - d. Is i at least as big as -3/10?
True
Let r be 0 - 3*2/63. Let s = 5/21 - r. Which is greater: s or 1?
1
Suppose -1 + 7 = 2*y. Suppose -b - 4*r = -3*b + 10, 3*r = y*b - 15. Is b smaller than 6?
True
Let w = -160.134 + -0.866. Which is smaller: 1/2 or w?
w
Suppose 4 = -22*t + 24*t. Suppose -7*y + t*y = -55. Which is greater: y or 10?
y
Let h(f) = -3*f**3 + 3*f**2 - 2*f + 1. Suppose 106 = 5*y - 4*m, 48 = 2*y - 0*m - 3*m. Suppose 0 = y*j - 16*j - 4. Let d be h(j). Is -29/2 <= d?
False
Let j = 14 - -6. Suppose 21 = -4*w + 5, 5*y = -4*w + 84. Are j and y unequal?
False
Let d be 20/(-3) - 264/(-44). Does d = 8/27?
False
Let x(s) = 3*s + 15. Let w(i) = 8*i + 3. Let q be w(-1). Let k be x(q). Is 2/255 at most as big as k?
False
Let t(h) be the third derivative of -h**8/6720 + h**6/