17?
u
Suppose -3*p + 2*p = -8. Suppose 45 = -18*j + 21*j. Suppose -3*o + j = 2*o + 5*u, -2*u - 18 = -2*o. Are o and p unequal?
True
Let v = -2/3705 + -33311/62985. Is v at most as big as 0?
True
Let n = -0.2363 - 0.0437. Are 8 and n non-equal?
True
Let k(d) = 9*d + 5. Let j be k(3). Is j smaller than 4?
False
Let f(x) be the second derivative of x**5/20 - x**4/4 + x**3/6 - 5*x**2/2 + 31*x. Let o be f(4). Are 16 and o non-equal?
True
Let a = 5 + -6. Let g = 37 + -16. Let q = -21 + g. Which is bigger: q or a?
q
Let z(v) = v**3 + v**2 + 18*v + 17. Let t be z(-1). Is 1/83 at least as big as t?
True
Suppose 2*f = 2*a + 6, -26*a + 21*a + 21 = 4*f. Is a less than -26?
False
Suppose -4*l - 6 = -18. Let z be (-2)/3*l/17. Which is greater: z or 0?
0
Let s be 0*6/30 - 57. Which is greater: -51 or s?
-51
Let x be (20/330)/((-24)/(-88)). Suppose -4*j + 325 = -3*l - 0*l, -4*j + 5*l + 315 = 0. Let s = j + -421/5. Which is bigger: x or s?
s
Let i = 56/29 + -4482/2291. Which is smaller: 0 or i?
i
Suppose -v + 4*v + 12 = 0. Let d be v - -2 - 6/3. Is d != -19/6?
True
Let v = -19 - -23. Suppose -a - 3 = v*u + u, -2*a - 6 = -u. Which is smaller: 3/7 or u?
u
Let g = -74/275 - 1/275. Suppose -5*w - 8 = -33. Suppose -5*d + 10*d = -w. Is g != d?
True
Let x = -34 - -38. Let w be (x/3)/((-16)/32). Let p be 6/4*4/(-2). Is w <= p?
False
Let m(j) = j**2 - 16*j + 30. Let q be m(0). Is q less than or equal to 29?
False
Let f be (9 + 8229/(-915))*-5. Suppose n = 4*n + 3. Is f at most n?
False
Let m = -0.4 - -43.4. Let b = m - 63. Let n = -17 - b. Is n equal to 1/4?
False
Suppose 0*m - 4*m - 272 = 0. Let k be (-7)/(-35) - m/10. Let f be (1/15)/(k/(-6)). Which is greater: f or 0?
0
Let w = -4 + -6. Suppose 4*x + 29 = -l, 0 = -43*x + 39*x + 4*l - 44. Which is greater: w or x?
x
Let r(x) be the second derivative of -x**5/20 - 11*x**4/12 + x**3/3 + 23*x**2/2 + x. Let p be r(-11). Is p less than or equal to 5/14?
False
Suppose -5*s - 3*a - 351 = 0, a = -3*s - 19 - 194. Let z be 4/(-6) + (-102)/s. Is 0 greater than z?
False
Let y = -50/9 + 16/3. Which is greater: y or -99?
y
Suppose 4*k = f - 1 - 21, 0 = 2*k + f + 8. Let w = 16 + -7. Let r = 3 - w. Is k != r?
True
Suppose 0*o - 2*o = 14. Suppose 2*n + 14 = 5*n + p, -5*p = n - 14. Suppose 2*g - 2 = -f - 13, 0 = -g - n*f - 9. Is g greater than o?
True
Suppose 0 = -o - 3*b - 11, -2*o = 2*o - b + 5. Let n be o - 16 - 6/3. Let h be (6/405)/(4/n). Which is greater: h or -1?
h
Let p = -36.965517 + -0.041483. Let a = p - -0.007. Let s = a - -37.02. Which is bigger: s or 1?
1
Let y = 79.1 - -14.9. Let h = -94.1 + y. Which is bigger: -8/7 or h?
h
Let x = 46 - 45. Which is greater: x or 1/37?
x
Suppose 4*i + 8*i - 2172 = 0. Which is greater: 182 or i?
182
Suppose -56 = -10*c + 14. Is 2/11 at least as big as c?
False
Suppose 5 = -4*v - 5*t, v - 1 = -2*v + t. Let o = 4 - 1. Is v bigger than o?
False
Let h = -0.179 + 0.579. Which is smaller: 1/4 or h?
1/4
Let q(x) = -x**3 + 7*x**2 + 9*x - 8. Let t be q(8). Is 2/429 at least as big as t?
True
Let p = -515 + 479.9. Let r = p - -38. Let u = r + -2.87. Is u != -2?
True
Suppose 3*x + 12 = -0*x, -4*a + 64 = 2*x. Let t = a - 8. Is 44/5 > t?
False
Suppose -57 = -3*t - 54. Is 2/233 bigger than t?
False
Let o be (-4)/6 + 512/48. Suppose p = 4*t + o, t + 3*p - 2 = -t. Is t smaller than -20/9?
False
Let m = -3/823 + -3283/2469. Let h = 1 + -2. Do h and m have different values?
True
Let s = 55674/29 - 1920. Let l = -1019 + 1019. Which is bigger: l or s?
l
Suppose g + 2*w + 110 = -0*g, -g + w - 122 = 0. Let f = 1536/13 + g. Which is smaller: f or 3?
f
Let h = 14.8 + -2.8. Let r be (-7)/2*(-5 - -59). Let t be (-96)/r - (-4)/(-18). Which is smaller: h or t?
t
Suppose 143*x - 155*x - 12 = 0. Which is smaller: -1/1633 or x?
x
Let s = -12833/51590 - -5/4422. Let u = 8/15 + s. Which is smaller: u or -1?
-1
Let b = 27.894 + 0.406. Let n = 1.3 - b. Let w = -28 - n. Which is bigger: w or -2?
w
Let p = 39 - -10. Let d = -1765 - -8827/5. Which is smaller: d or p?
d
Let b be (-216)/(-60)*25/2. Let a = -2 + 46. Is b >= a?
True
Let l = 306 + -590. Let x = l - -1436/5. Is 4 >= x?
True
Let f be (-5 + 7)/(4/18). Let z(p) = p - 7. Let x be z(f). Suppose 0 = x*m - 2*v + 10, 0 = 5*m - v + 9. Is 1 > m?
True
Suppose f + 2*f + 297 = 0. Suppose 15*c + 5*s - 98 = 16*c, 0 = s. Which is greater: c or f?
c
Let g(m) = 0 + 0 - 10*m + 3*m**2 - 4*m**2 - 1. Let a be g(-6). Is a at least 23?
True
Let g = -1.87 + -0.03. Let y = g - 5.1. Let i = 11 + -11. Which is bigger: y or i?
i
Let f = -0.757 - -0.757. Which is smaller: 22.7 or f?
f
Let f(i) = -i**2 - 5*i - 1. Let l = -10 + 6. Let m be f(l). Suppose 0 = 5*b + 2*g - 44, 31 - 1 = m*b + 3*g. Is 8 at most b?
True
Let v = -19144/53 - -539749/1007. Let y = -175 + v. Which is greater: y or 0?
0
Suppose 14 = -3*r + 122. Suppose -105 = 2*q - 5*q. Which is bigger: r or q?
r
Let p be (-1 - -32)/(3/96*-4). Is p at least as big as -3?
False
Let c = -1683 - -1678. Is c equal to -38?
False
Let l = -3.3 + 1.3. Let o = 26 - 26.3. Is l != o?
True
Suppose -6 = -m - 17. Let k = -13 - m. Let r be k/(-7)*(-5)/15. Which is bigger: 0 or r?
0
Let n = -33 + 38. Suppose 0*m + 3*m = g + 18, 3*m = n*g + 42. Does -6 = g?
True
Let r(u) = 2*u**3 - 11*u**2 - 4*u - 7. Let w be r(6). Suppose w*z = 3 + 42. Are 33/4 and z equal?
False
Let m be 3/(-6)*(1 + -7). Let v be m - 2/((-1016)/1516)*-1. Is v greater than 0?
True
Let g be (-2023)/(-966) - 3 - 5/(-30). Which is smaller: -0.1 or g?
g
Let y be ((-3)/6)/(1/2). Let w be (y + -3 + 6)*8. Suppose 4*u + w + 0 = 0. Which is smaller: u or -3?
u
Suppose -54 = -11*d + 8*d. Let u = 16 - d. Which is greater: 0.011 or u?
0.011
Let p = -121 + 121.47. Which is bigger: 3 or p?
3
Let f be 91/65 - (1 - -1). Let k = 7/15 + f. Is k bigger than 1?
False
Let k be (-68)/(2/6*2). Let m be (18/(-15))/((-2)/(-5)). Let i be 1/(k/(-39) + m). Are i and -2 nonequal?
True
Let t = 270 - 271. Which is smaller: t or -6/55?
t
Suppose -5*l + 42 - 17 = -5*v, 0 = -4*l + v + 23. Let x be (-6)/4*l/(-21). Let b be (-2)/(-8) + 30/40. Which is smaller: x or b?
x
Let r = -11 + 16. Let m(f) = f**2 + 2*f - 5. Let n be m(-4). Suppose 12 = n*t - r*t. Is -4 bigger than t?
True
Let f(n) = 53*n - 1432. Let c be f(27). Is c at least 1/728?
False
Let i be 1 + -2 - (6 - 108/15). Let x(p) = -p**2 - 5*p + 2. Let k be x(-5). Suppose 5*c + 5*g = 10, -g = -4*c + 3*c - k. Is i greater than c?
True
Let r = -3 - -3. Let k = 1/3351 - -60299/63669. Which is smaller: k or r?
r
Let i = 569.75 + -569. Do i and -5 have different values?
True
Let s = -202/35687 + -130028281/59418855. Let b = s - 2/333. Is b < -1?
True
Suppose -r = u, u - 4*r + 2 = -13. Let z be -1 + (-7)/(-5) + u/(-5). Is 2/35 <= z?
True
Suppose 5*w - 10 = -3*z, 3*w + 2 = -1. Suppose z*x = 9*x + 32. Is x at most as big as 1?
True
Let j be 16*-7 + 22/(-55). Let p = j + 112. Let h = -10.3 + 11. Is h greater than or equal to p?
True
Suppose -69*s + 10234 = -4601. Which is greater: s or 212?
s
Let p(b) = -b**2 - 18*b + 68. Let t be p(5). Is -57 at least as big as t?
False
Let s be (4/3)/4 - 8*(-5)/240. Let p = 0 - 0. Let v = p + 1. Is v > s?
True
Let i(v) = -17*v**3 + 2*v**2 - 5*v - 5. Let x be i(-1). Is 20 at most as big as x?
False
Let c be ((-136)/(-6) + -1)*3. Let t be 57 + 16 + (4 - 11). Which is greater: c or t?
t
Let o = 84 + -197. Let b = o + 122. Are b and 68/7 non-equal?
True
Let m be (-1)/3 - 35/12. Let c = -27 + 15. Let h be (1/(-3))/((-2)/c)*1. Which is bigger: h or m?
h
Let j = 1426 + -1413. Is j smaller than 3/4?
False
Let o(v) = v**3 + 2*v**2 - 5*v + 3. Let r be o(-4). Let p be r/(-12)*1/(-6). Let m = 854 + -854. Which is smaller: m or p?
p
Let q be (-1)/5 + (-564)/(-20). Suppose 5*j + 4*w = 4*j - 37, 3*w = 0. Let d = q + j. Is -7 > d?
True
Let x = -16.19 - -1.19. Is x less than or equal to -2/3?
True
Let s = -0.04 + 3.04. Let u = 59 - 62.1. Let y = u + s. Which is smaller: y or -2?
-2
Let n be (-52)/(-182) + 2/(-7). Is 2/197 less than or equal to n?
False
Let f be (-60)/(-3)*57/114. Which is smaller: -90 or f?
-90
Suppose 24 = 4*s - f + 9, -2*f = 5*s - 22. Suppose 0 = -n - 2*t - 5, 3*n + s*t + 6 = -5. Is n equal to -1/3?
False
Let z(a) = -2*a**2 + 8*a + 121. Let u be z(10). Which is smaller: -3/37 or u?
-3/37
Suppose 4*w = -a + 190, -a - 194 = -4*w - 0*w. Su