 5, -5*p - m - 3 = -8*p. Let h be p/(-2) + (-33)/(-6). Suppose 4 = h*o - o. Which is smaller: -1 or o?
-1
Let l = 0.69 - -0.11. Let y = -0.9 + l. Is y > -0.1?
False
Suppose 5*r - 13 + 3 = 0. Suppose -r*i = -i. Is -1/13 not equal to i?
True
Let f(b) = -b**3 + 8*b**2 - 8*b + 9. Let t be f(7). Are t and -1 non-equal?
True
Let x be (-9)/1917*(-2 + 4 - -1). Which is greater: 1 or x?
1
Let f = -60 - -64. Suppose -10 = -4*t + 2*t. Which is smaller: t or f?
f
Suppose 2*l + 0*l = 3*b + 4, 5*l = -3*b + 10. Suppose -15 = -3*s + 2*n - 2, 2*n = -10. Is b equal to s?
False
Let y = 0.32 - 0.3. Let p = y + 0.98. Which is smaller: -1 or p?
-1
Suppose -29 = 3*j - 4*q, -5*j + 3*q - 45 = -2*q. Is j at most as big as -7?
True
Suppose -5*y - 5*v = -25, v + 3*v = 2*y + 14. Is y greater than 2/3?
True
Let l be 2/(-7) + 90/21. Suppose -q = f - l + 1, -f + 1 = 0. Is q less than 7/4?
False
Let t be (1/1)/((-1)/(-5)). Suppose 0 = 2*b - 4*d - 8, -3*d + 7*d = t*b - 2. Let n(i) = i**3 + 3*i**2 + 2*i - 1. Let r be n(-2). Which is smaller: r or b?
b
Let w = -2.1 + 2. Which is smaller: -3/5 or w?
-3/5
Let l = -212 + 1480/7. Is l smaller than -2?
False
Let n(v) = v**2 - 6*v - 11. Let w be n(9). Let s = w - 17. Which is greater: s or 3/8?
3/8
Let p be 2/(-5) + (-776)/10. Let z be (3/(-9))/(28/p). Let x = 3/7 - z. Is -2 at most as big as x?
True
Let f = 131/4 + -33. Is -3/5 greater than or equal to f?
False
Suppose -4*i + 14 + 2 = 4*y, 0 = -5*i + 2*y + 34. Suppose -f = -i*f. Is -0.11 greater than f?
False
Let t(y) = y**2 - 7*y + 11. Let z be t(4). Which is smaller: z or -5?
-5
Let m be 3 + 2/(2/9). Let k = m - 17. Let o(c) = c**2 + 6*c + 6. Let r be o(k). Is r equal to 2/17?
False
Let i = -12 + 7. Let o = i - -5.1. Which is bigger: 0 or o?
o
Let u = -31 - -18. Let s = u - -13. Which is smaller: s or 0.1?
s
Let c be (1 - -1) + (-5 - -2). Which is smaller: c or -1/13?
c
Let k = -1.2 + 7.2. Let p = -5.9 + k. Is p equal to 2/13?
False
Let l = -7 - -10. Suppose l*o - 13 = -1. Is o > -2/5?
True
Let n be (-2)/8 + 17/4. Let a(q) = -q**3 - 6*q**2 + 4*q + 6. Let s be a(-7). Suppose -n*k = -o + 11, 3*k + s = -o - 2*o. Is -5 <= o?
True
Suppose a - 2*a - 6 = 0. Let i be (-8)/a - 12/18. Is i at least 0?
True
Let t = 0 + 4. Let p = t + 30. Let b be p/(-90) + 12/20. Is b at least 1?
False
Let r be 6*4/32*(-8)/15. Is 1 at most r?
False
Suppose f - 1 = -0*f. Let r be 5 + 1/(f/(-1)). Is 4 not equal to r?
False
Let x(c) = c**2 + 5*c + 4*c + 0*c - 5*c - 7. Let o be x(-4). Which is smaller: o or -5?
o
Suppose -i - 6 = -3*i. Let z be 3*i/(-6)*2. Which is bigger: z or -4?
z
Let d(w) = w**3 + 5*w**2 + 4*w + 2. Let a be d(-2). Let k be (0 - (-3)/a)*6. Suppose -3 = k*h + b + 5, 2*h = -3*b - 3. Is h less than or equal to -3?
True
Let i = 2959/5 + -597. Which is greater: -4 or i?
-4
Let g be 6*(-9)/12*-2. Suppose -g + 4 = 5*s. Let z = s + 1. Are -1/4 and z equal?
False
Suppose -5*i - 2 - 13 = 0. Let r = 2 + 1. Suppose -6*x + r*x = 6. Are x and i non-equal?
True
Let i = 19 + -18.85. Which is bigger: i or -1?
i
Let p be -2 + -3148*3/(-4725). Let n = p + -74021/3150. Let i = -22 - n. Which is bigger: i or -1?
i
Suppose 145 = 5*k - v, -5*v - 116 = k - 5*k. Let c = 36 - k. Suppose 6 = -w + 3*o, 5*w + 3*o + o = 46. Is w >= c?
False
Let b be (-2)/9 - (-20)/9. Let z = -1 + 13. Let u = z - 8. Which is bigger: b or u?
u
Let t = 9 - 6. Suppose 2*j = 5*p + 10, t*p - 3*j = 6*p + 6. Which is smaller: p or -5/6?
p
Let x be (2 - 8)*(-2)/(-16) - -1. Is x != -7?
True
Let i(s) = s**2 - 4*s - 1. Let q be i(4). Let f = 2 + -2.15. Let m = 0.05 + f. Which is smaller: q or m?
q
Let g = -3.93 - 0.07. Let d = -3 - g. Let a = -3 + d. Which is smaller: 0.1 or a?
a
Let p(l) = l**3 + 7*l**2 - 8*l + 11. Let s be p(-8). Suppose 28 = -4*z + 4*m - 0*m, s = -z + 3*m. Let a = -5 - 0. Do a and z have the same value?
True
Let p be (-18)/8*16/(-6). Suppose -2*h = 2, p*q + 4*h = 4*q + 116. Let o be 0 + -2 + q/27. Which is bigger: 0 or o?
o
Suppose -5*u - 5 = 6*z - z, -2 = 4*z + 2*u. Is -2/57 bigger than z?
False
Let i be 1*(-8)/(-10) + -1. Let g = 0 - -6. Let u be 2*-2*(-1)/g. Are u and i nonequal?
True
Let o = 35 + -35.04. Let r = -46.96 + 46. Let g = o + r. Is g less than or equal to -1?
True
Let g = 10.7 - 11. Let h = g - -0.2. Is h not equal to -4?
True
Let h = 5 - 1. Let a = -4 + h. Suppose a = 5*s - 3*s. Are s and -3 nonequal?
True
Let s = -9 - -15. Let z = s - 4. Which is greater: 4 or z?
4
Suppose 2*n + 2*n + 33 = -3*w, -4*n = -w + 5. Which is greater: 2 or w?
2
Let b = -1.87 + 1.8. Let w = b + -0.13. Do -0.4 and w have the same value?
False
Suppose 5*t = 3*x - 2*x + 10, 4*x = -2*t + 4. Which is greater: t or -0.4?
t
Suppose 0*g + g = 6. Let b(y) = 1 - 10*y + 5*y + 3 + g*y. Let n be b(-5). Which is bigger: -0.1 or n?
-0.1
Let l(w) = w**3 + 2*w**2 - 2*w - 3. Let j be l(-2). Let c be (5 - 7) + (2 - j). Which is greater: c or -2/3?
-2/3
Let x(z) = -z**3 + 16*z**2 + z - 3. Let j be x(16). Which is smaller: j or 14?
j
Let f = -2.5 - -1.5. Is f at least 0.3?
False
Let f = 5 + -1. Suppose 9*z - 5 = f*z. Let a = z - -2. Do a and 4 have the same value?
False
Let b be 1/(-4)*1 - 0. Let d(j) = j + 6. Let q = -15 - -10. Let c be d(q). Is b != c?
True
Suppose 8*y - 7*y - 15 = 0. Is 13 greater than y?
False
Let y = -51/127 - -10999/508. Let r = y - 21. Is 1 < r?
False
Suppose 6*s = -7*s. Is 4/19 smaller than s?
False
Let z = 3 + -2. Let j be (4/10)/(z - 2). Let n = 14 - 14. Which is smaller: j or n?
j
Suppose 0 = -2*o + 2*l - 16, -2*o + 7*o - l + 32 = 0. Let z be 1*2*(-50)/4. Let t be 2*(z/2)/5. Is t smaller than o?
False
Let n = -69 + 141/2. Let l(d) = -d**3 - 4*d**2 - 3*d - 6. Let u be l(-4). Let c(o) = o**2 - 5*o - 5. Let j be c(u). Which is bigger: j or n?
n
Suppose 4*w + 5 = 5*d - 20, -5*w = 2*d - 10. Let q be -1 + (-2)/(-4)*0. Are w and q non-equal?
True
Let d(y) = -2*y. Let h(z) = z**2 + 8*z - 10. Let a be h(-9). Let q be d(a). Let v be (q/5)/(-1) + 0. Which is bigger: v or -1?
v
Let o(f) = f**2 + 13*f + 42. Let d be o(-7). Which is greater: d or 6/13?
6/13
Let f = -4.03 + 0.03. Let y be (-1)/((-1)/3) - 1. Suppose -y*l + 3*l = 0. Is l at least f?
True
Let q be 62/14 + (-24)/(-42). Suppose 0 = -2*i + 5*o + 19 + 10, 31 = 3*i - q*o. Let w(b) = 4*b - 1. Let h be w(1). Which is bigger: i or h?
h
Let j = -4.5 - -4.5. Does -2/9 = j?
False
Let q(d) = d**3 + 8*d**2 + 8*d + 10. Let o be q(-7). Suppose -4*y - o = 1. Suppose -2*u - 3*u - 10 = 0. Which is greater: y or u?
y
Let t be (-18)/63 + (-2 - 40/7). Is -7 at least as big as t?
True
Let y(v) be the third derivative of v**6/120 - v**5/12 + v**4/4 - 5*v**3/6 + v**2. Let p be y(4). Suppose 11 = m + p*t, -5 = 3*t - 17. Is -1 != m?
False
Let k = -381/28 - -55/4. Is k not equal to 1?
True
Let f = -37 - -186/5. Suppose -3*t - 8 = -m + 4, -5*m = 3*t + 12. Let r be (3 - 2 - m)*-1. Which is bigger: f or r?
f
Let v(a) = a - 10. Let b be v(8). Let i be b/(-5)*(-809)/(-2). Let q = 161 - i. Does q = 0?
False
Suppose 4*t + 4 = -0*t. Let c = 0 + 4. Suppose r + 2*a = 10, c*r - a - 10 = -3*a. Is r less than or equal to t?
False
Let b be 29*(-1)/15 - -2. Let z be (8/240)/((-2)/(-16)). Let t = b - z. Is t at least 1?
False
Let d(c) = -c**3 + 8*c**2 - 17*c - 6. Let g be d(6). Which is greater: 0.1 or g?
0.1
Let f = 39 + 16. Which is smaller: f or 1?
1
Suppose 0 = -3*a + 2*f - 40, 3*f = -3*a + 8*a + 65. Is -39/4 less than a?
False
Let s be (6/(-5))/(4/(-30)). Let w be 9*1*6/s. Let d be 0 - w/99*-3. Is 1/2 at most d?
False
Let y be (-570)/(-135) - 4/18. Let f be 4/5*(-10)/y. Do f and -1 have different values?
True
Let u be (-264)/55 - 4/(-5). Which is smaller: u or -5?
-5
Let x(a) = -2*a. Suppose r + 3 = 2. Let o be x(r). Does o = 1?
False
Let i(j) = -j**2 - 16*j + 35. Let n be i(-18). Let x = 1 - 9. Is x equal to n?
False
Let d = 6 - 7. Let x = d + -1. Let y be (4/(-9))/(x/3). Which is smaller: 0 or y?
0
Suppose -l = -3*l - 26. Let c = l + 27/2. Which is smaller: c or 2?
c
Suppose -100 = -3*m + 2*d, -3*m - 2*m + 162 = -d. Suppose 3*b - m = -4*v + 7*b, 20 = 3*v - 2*b. Let w be 16/(-18)*v/48. Is w smaller than -1?
False
Suppose -3*s + 3*t - 6 + 3 = 0, 4*s - 5*t = -4. Let v(x) be the first derivative of -x**4/4 - 4*x**3/3 - 2*x**2 - 3*x + 1. Let m be v(-3). Does s = m?
False
Let j(x) = x**3 - x. Let a be j(1). Is 0 less th