-15 - -17). Let c(m) = -m**2 - 5*m + 8. Let q be c(-6). Suppose 0 = a*p + q*s + 6, -5*p + 2*s = -p - 12. Which is greater: p or 0.1?
p
Suppose -j - 4 = 3*j. Let n = 4 + j. Suppose -r + 2 = -n*r. Which is smaller: -2/15 or r?
r
Let f be 1 - 1 - (-2)/1. Let u be (48/36)/(2/3). Suppose u*t - 3 = 1. Is f bigger than t?
False
Let m(u) = -3*u**2 + u. Let b be m(1). Let i(f) = -f**3 - 2*f**2 + f + 1. Let c be i(b). Let r be (0 + -3)*c/3. Is 1/5 at least as big as r?
False
Let s = -217/15 - -44/3. Let m(c) = 0*c + 1 + c + 4. Let l be m(-6). Is s greater than l?
True
Let h = 32 - 31. Is 2/55 less than h?
True
Let k = -0.3 + -0.2. Let i = k - -1.5. Let c = i + -2. Which is greater: 3/7 or c?
3/7
Suppose 5*a - 6*a = -6. Let b be a + -5 - (1 + -1). Which is greater: -1/10 or b?
b
Let d(k) = k**2 - 5*k + 1. Suppose 0 = 2*w - 7 - 9. Suppose -2*o + w + 2 = 0. Let n be d(o). Is n != -2/11?
True
Let q = -0.12 + -0.08. Let a = -54.94 - -55. Are a and q unequal?
True
Let j = 215 + -147. Is 69 at least j?
True
Let j = 5/241 + 4303/1687. Which is bigger: 2 or j?
j
Let p = 1.1 - 3.9. Let y = p + -0.2. Which is bigger: y or 1?
1
Suppose -4*p = 5*m + 46, m + 8 = -2*p - 6. Is m less than 1?
True
Let l = -165/376 - -3/47. Suppose 4*y + 0*y + 4 = 0. Is y at most as big as l?
True
Let x be (-1495)/50 + 4/10. Let z = x - -29. Which is smaller: -2 or z?
-2
Let s be 3/12*-21 - 0. Which is smaller: s or -4?
s
Let o(t) = t**2 - 7*t + 9. Let i be o(4). Is i at least 0?
False
Suppose 3*i - i + 2*g + 30 = 0, -2*i - 9 = -5*g. Let z(a) = a**3 - 5*a**2 + 4*a - 8. Let v be z(4). Let u = v - i. Is 3 at most u?
True
Let y be 2/(-9) - (-80)/36. Suppose y*u + 3 = -1. Let s(g) = g**2 - 4*g - 7. Let h be s(5). Is h smaller than u?
False
Let u be (-2)/6 + 1/3. Which is bigger: 4/9 or u?
4/9
Let q = 0.8 + -1.2. Which is smaller: -1/4 or q?
q
Let h = -11 - -11.6. Let r = 5 - 4.6. Let b = r - h. Is -1 equal to b?
False
Let g be 2/45 - 4/(-10). Let w be 9/(-18)*0/(-3 - -4). Is g less than or equal to w?
False
Suppose 0 = -5*b - 2*y - 15, -4*b + 2*y - 9 = 21. Is b at least -3?
False
Let f(x) = -x + 5. Let m be f(5). Let v be (-1)/(24/(-75)) - 2. Let z = v - 43/24. Which is smaller: z or m?
z
Let j(i) = 2*i**2 + 2*i - 2. Let p = -5 + 1. Let o be j(p). Suppose -2*t - t - o = -5*r, -2*r - 4 = 2*t. Is r not equal to 4/5?
True
Let a = 73 + -143/2. Let s be 2/(-6)*(-2 - 4). Is a equal to s?
False
Let x = -3 + 2.8. Suppose 3*d - 2*d = 2. Which is bigger: d or x?
d
Let j be (-1)/5 - (-4)/(-10). Is j smaller than 0?
True
Suppose 7*h + 0 = -7. Which is smaller: h or -2/13?
h
Let s be ((-24)/16)/(9/8). Is -1 smaller than s?
False
Let y be 0*(6 + -3 - 2). Suppose 3*c + 6 + 11 = 2*b, y = -2*c + 5*b - 15. Let z = -6 - c. Do -1/2 and z have the same value?
False
Let q = -36 + 38. Which is smaller: 5/2 or q?
q
Let w = -48.8 - -49. Is w at least -0.2?
True
Suppose 3*f = -h - 22, -2*h + 52 = -6*h - 3*f. Is h greater than -1?
False
Let v be (0 - 0)*(-5)/(-15). Suppose v*m - m + 1 = 0. Which is greater: -1 or m?
m
Let d(z) = -z**3 - 15*z**2 - 15*z - 14. Let c be d(-14). Are 4/7 and c unequal?
True
Let s = -65/7 + 9. Which is greater: -1 or s?
s
Let y = -0.2 + 0.2. Let l = y + 0. Let i = l - 0. Is -1/3 < i?
True
Let m = 146 + -193. Is -48 less than m?
True
Let s(b) = -b**3 - 11*b**2 - 11*b - 10. Let i be s(-10). Which is greater: i or -2/3?
i
Let j be (9/(-6) - 3)*-48. Let t = -2374/11 + j. Which is bigger: t or 1?
1
Suppose -4*q - 6 = -2*x, 5*q + x - 5*x + 12 = 0. Is q less than or equal to 11/10?
True
Let w be ((-10)/4)/(2/(-12)). Suppose -2*c + c = -m - 2, 3*c = -2*m + 16. Suppose 0 = 4*f + 3*p + w, c*p = -3*f - 33 + 13. Which is greater: -1/6 or f?
f
Let v(k) = k**2 - 4*k - 4. Let p be v(5). Let r be (-3)/(-14)*6*-1. Let u = r + p. Is 0 at least as big as u?
True
Let w be ((-2)/2 + 3)/(-3). Which is smaller: -1 or w?
-1
Let i be ((-2)/(-48))/(45/(-60)). Which is smaller: -1 or i?
-1
Let h be (-4)/8 - (-1)/4. Suppose -3*u = -c - 7, -5*u - 5*c + 0 = -5. Let n be u + (3 - 7/2). Is h at most as big as n?
True
Suppose 2*q = -4*l + 30, -2*q + 0*q + 5 = -l. Which is smaller: 1 or q?
1
Let a(j) = 4*j + 105. Let w be a(-30). Is -12 bigger than w?
True
Suppose 3*r - 2*b = -11, 4*r + 3*b + 31 = -r. Let i = 6 + r. Let g(h) = 4*h - 1. Let y be g(1). Which is bigger: i or y?
y
Let s = 46/15 + 8/5. Let j = 4 - s. Is 6 smaller than j?
False
Let w = -7011/77 - -645/7. Which is bigger: 0 or w?
w
Let g(z) = z**2 - 2*z - 3. Let j be g(3). Let d be (-1)/(-3)*39/(-26). Which is smaller: d or j?
d
Let w be 4/(-3)*9/(-6). Let p(j) = 7*j**2 - 5*j - 1. Let s(n) = 13*n**2 - 10*n - 1. Let o(k) = -11*p(k) + 6*s(k). Let l be o(4). Which is greater: l or w?
w
Let u(a) = 4*a - 13. Let g(b) = 9*b - 27. Let p be (-5)/2*42/35. Let x(s) = p*g(s) + 7*u(s). Let w be x(7). Is w >= -5?
True
Suppose 0 = 5*s - 4*o + 9, 0 = -2*s - 3*o - 1 + 2. Which is smaller: -1/41 or s?
s
Suppose 0 = 2*m + 2*l - 2 - 10, -3*m - l = -10. Let v(x) = -3*x + 2. Let o be v(m). Let z be o/3*(-15)/70. Is -2/3 at least z?
False
Let r = 0.5 - 0.5. Which is smaller: -2/11 or r?
-2/11
Suppose 5*n - 95 = -5*y, -71 = -6*y + 2*y + n. Are y and 18 equal?
True
Let g be (-2423672)/(-220) + (-2)/(-5). Let z = -7632512/693 + g. Let m = z - 22/7. Which is smaller: m or 0?
0
Let m(w) = -9*w + 36. Let l be m(4). Do -2/3 and l have the same value?
False
Suppose 0*h + 12 = 4*h - r, 0 = h - r. Let x be h/(-8)*(2 + 0). Is -1 >= x?
True
Let f(l) = 2*l**2 + 12*l. Let k be f(-6). Let v = 1311/10 + -131. Which is smaller: k or v?
k
Suppose 4*w = z + 6, -2 + 6 = 4*z - 2*w. Let f = 4 + -5. Which is greater: z or f?
z
Let v(a) = -a**2 - 4*a - 1. Let c be v(-3). Let m = c + -3. Let i(s) = -s. Let l be i(m). Is 2/5 bigger than l?
False
Suppose 5*l - 2 = h, -5*h + 5 = -2*h - 4*l. Let a be h - (3 - 2/25). Is a < 0?
False
Let p be (-4)/6*(-2 - 4). Suppose 3*f - 16 = -4. Let a be 2*(2 - (-2)/f). Which is smaller: a or p?
p
Let f = -2/97 + -378/485. Let j = -5 + 5. Which is smaller: f or j?
f
Let d = -76 - -130. Is d not equal to 52?
True
Let k(m) = 2*m + 19. Let g be k(-10). Which is greater: -1/12 or g?
-1/12
Let n = -3 - -3. Let p be (0 - n) + 2/(-2). Suppose 4 = -4*b + 4*y + 8, 0 = 2*b - 4*y - 6. Is p != b?
False
Let f(m) = -m**2 + 9*m - 8. Let b = -6 + 14. Let q be f(b). Is 1/3 <= q?
False
Let v = -146 + 147. Is v <= -1/89?
False
Let g be (1/(-2))/((-3)/582). Let d = -1647/17 + g. Which is greater: -1 or d?
d
Let s(d) = d - 13. Let l be s(12). Let p = -292 + 3798/13. Is l smaller than p?
True
Let h = -2 + 4. Suppose -4*q = -12 - 4. Is h less than q?
True
Let v be (-69)/21 + 2/7. Let c = -30 + 28. Which is greater: c or v?
c
Let y(t) = 2*t - 9. Suppose 18 = 5*l - 12. Let n be y(l). Suppose 3*a + 33 = 14*a. Is n bigger than a?
False
Let h be -3 - ((-12)/42 + (-26)/7). Are h and -5 unequal?
True
Let z = -0.3 - -0.1. Let w = -75 - -74. Which is smaller: z or w?
w
Let o be (-3)/(-2) - (-5)/(-2). Is -5 <= o?
True
Let o be ((-3)/(-16)*3)/(3/(-28)). Which is greater: -4 or o?
-4
Let s(j) = -6*j. Let i be s(-6). Suppose 0 = -4*m - 0*m - i. Which is greater: m or -10?
m
Let m be 2*(1/(-2) - -1). Suppose 4*t - r = t - 8, -4 = -t - r. Which is smaller: t or m?
t
Let b(x) = x - 3. Let h be b(10). Suppose 0*j + r + h = j, j - 2*r - 8 = 0. Which is smaller: 1 or j?
1
Let s(v) = -v**3 - 8*v**2 + 10*v + 12. Let b be s(-9). Suppose 5*x - 2*x = b. Let h be ((-1)/(-4))/((-3)/4). Which is smaller: h or x?
h
Suppose 2*x - 5 = -19. Let j = x - -10. Suppose 2*d = -d + 6. Is d greater than j?
False
Let i = -10.9 - -10.8. Suppose 0 = -h, 0 = -4*x + 3*h + 2 - 6. Let z be -1*1/(x - -2). Which is bigger: z or i?
i
Let k be (2/4)/((-1)/2). Let v be 18 - k/(-3)*0. Let n be 1/6 - 3/v. Is 0 bigger than n?
False
Suppose -6*y - 8*y = -0*y. Which is smaller: y or 3/7?
y
Suppose 0 = -2*k - 2*m - 6, 2*m + 5 = -5*k - 7. Is 1/20 less than or equal to k?
False
Let f = 0.93 + -1.1. Are -0.1 and f non-equal?
True
Let w = -26 + -2. Is w at least -28?
True
Suppose 50*o = 48*o + 2. Which is bigger: o or 0.2?
o
Let i(p) = p - 5. Let r be i(8). Suppose -r*c + 3 = 3*d - 18, 2*c = 5*d - 14. Suppose t + t + 4*l + 6 = 0, t - c*l = 7. Is t < -2/7?
False
Suppose 2 = q - 4*f - 16, f = 5*q - 14. Which is greater: 6/7 or q?
q
Let q = 6.28 - 6. Let y = q