= 88 - 87. Which is greater: -9/20 or n?
n
Suppose 15 = -3*i - 3*p, -3*i - 5*p - 19 = -p. Are i and -2 non-equal?
True
Suppose -221 - 77 = -g. Let a be -2*6*(-694)/28. Let j = g - a. Which is smaller: j or 2?
j
Let t = 0.2 + 1.8. Let p = -14 - -11. Is t bigger than p?
True
Let g(d) = d**2 - 11*d + 18. Let u be g(10). Is u < 6?
False
Let n = -3 + -3. Let b = n - -1. Is b less than or equal to -5?
True
Suppose z = -c - 5, 2*c - 4*z = 5*c + 14. Let q = 2 + 4. Let u = q + c. Is -1 smaller than u?
True
Suppose 5*f = -0*v - 2*v + 9, -3*f = -v - 12. Is v != 2?
True
Let t be (-3 - 220/(-68))/((-1)/(-2)). Is 0 less than or equal to t?
True
Let o be 2/((-4)/(-6)) + (0 - -9). Is o < 12?
False
Let x be (9/6)/(9/84). Is 15 bigger than x?
True
Let n = 4 - 8. Let g be n/(-18) - 157/423. Let k = g + -31/423. Is k >= 0?
False
Let q(z) = -z**3 + z**2 + z + 1. Let j be q(0). Let d = -31 - -32. Is j at most as big as d?
True
Let k(w) = -w**3 - 5*w**2 - w - 5. Let x be k(-5). Suppose x = 3*t - 0*t. Which is bigger: t or 2?
2
Let i = -47.21 - -47. Let f = 0.61 + i. Which is smaller: 1 or f?
f
Suppose 20 = -u - 4*z, -4*u + 5*u + z = -5. Let x be (3 + (-10)/4)*u. Let g = -11/20 - -4/5. Do x and g have the same value?
False
Let k be (-34)/2*-1 + -1. Is 16 <= k?
True
Let m = 25 - 24. Is 5/9 less than m?
True
Suppose -2*x - 2 = 0, -d + x - 49 = 4*d. Let j(g) = -12*g**2 - 2*g - 1. Let o be j(-1). Is o greater than d?
False
Let v(g) = g**3 - 7*g**2 - 2*g + 5. Let n be v(3). Is -73/2 greater than n?
True
Suppose 5*w + 89 + 41 = 0. Let j be 5/15 + w/24. Is j at most -1?
False
Let k = -5522/13 - -424. Which is smaller: -1 or k?
-1
Let g = 20 + -20. Suppose 7*b - 10*b = g. Which is greater: 1/3 or b?
1/3
Let f be (-6)/(-4) - 2/(-4). Suppose 0 = -d - f*d - 6. Is d at least -3?
True
Let v(h) = -h + 3. Let n be v(12). Let t be (-4)/(-14) - n/(-56). Which is greater: t or 1?
1
Suppose 21 = -2*f - 85. Let m = -157/3 - f. Is m at most as big as 0.3?
False
Suppose 1 = o - y - 5, -2*o - 4*y = 0. Suppose -o*s = -2*s + 8. Let i be ((-2)/s)/(-1 + 0). Do -1/3 and i have the same value?
False
Suppose -5*l + 0*l + 305 = 0. Suppose -5*i - 5*y = 55, 5*i + l + 3 = -2*y. Let n be 6/(-21) - (-10)/i. Is n greater than -2/9?
False
Suppose 12 - 30 = 3*h. Let m be (-9)/h*(-32)/(-6). Let w = m + -2. Are 5 and w equal?
False
Suppose -4*g - 10 = -5*z - 0, -3*z + 4*g - 2 = 0. Suppose 3*y = 3*f + 6, z*y + 3*f + 6 = 3*y. Which is greater: y or 2?
2
Let p = -21 - -20. Is p less than or equal to 2/9?
True
Let d(p) = p**3 - 8*p**2 + 3*p - 20. Let m be d(8). Let g be -1 - m/(0 - 2). Is 2 != g?
True
Suppose -4*i + 5*z - 25 = 0, 14 = -3*i - 2*z + z. Is i bigger than -5?
False
Let y(b) = -b**2 + 8*b - 9. Let s be y(7). Let q be (s - 1)/(33/(-2)). Which is bigger: q or -1?
q
Let a = -4.5 - -27.5. Do 2/5 and a have different values?
True
Let c = 13 - 24. Let u = c + 8. Let n be (-2 - (u - 0))/(-1). Which is greater: 1 or n?
1
Let w = 25 - 37. Let z = w - -12.01. Which is smaller: 1/3 or z?
z
Let w = 6 - 2. Let m be 12/(-21) + w/14. Let t = -0.3 - -0.5. Are m and t unequal?
True
Let f = 0.3 + 0.7. Let x = f - 1. Is -1/2 bigger than x?
False
Suppose 0 = 2*d + 5*w + 6 - 45, -5*w = -d - 18. Let k(t) = -1. Let u(i) = i**3 - 8*i**2 + 7*i + 3. Let m(v) = -5*k(v) - u(v). Let x be m(d). Is 2 bigger than x?
False
Let j = -47/6 - -13/2. Let r be (6/10)/((-1)/5). Let n be 2*(r/6 - 0). Which is greater: j or n?
n
Suppose v = 1, 0 = 3*n + 5*v - 31 + 11. Suppose -n*w - 5 = a + 24, -w - 1 = -a. Let l(d) = -d**2 + 8*d - 3. Let k be l(8). Is k smaller than a?
False
Let p = 109 - 110. Suppose 1105 + 35 = 4*d. Let r be 42/d - 1/5. Is p bigger than r?
False
Suppose 0 = 3*p - 131 + 197. Is -22 at least p?
True
Let u(v) = 9*v. Let j be u(-1). Let p be 3*j/12 + 2. Is -1/2 greater than p?
False
Let w(y) = 3*y**3 + 3*y**2 - 2*y. Let f be w(-3). Let r be (-4)/10*(-40)/f. Are -6 and r nonequal?
True
Let t(f) = -f**3 - 4*f**2 - 2*f + 3. Let z be t(-3). Suppose -5*y + 3*m + 14 = 0, -2*y = -0*m - m - 5. Suppose y = -3*k + 2*k. Which is smaller: k or z?
k
Let z = -7 - -10. Suppose -2*n - z = -n. Which is greater: -9/5 or n?
-9/5
Let h(w) = -w**3 - 3*w**2 - 3. Let b be h(-3). Suppose -5*j + 15 - 5 = 0. Suppose -8 = -2*q - 4*u, 2*q + 3*u = -j*q + 1. Is q at least as big as b?
True
Let b = -1/127 + 137/1270. Suppose 0*v = -2*v - 2. Which is bigger: v or b?
b
Suppose 5 + 7 = 3*v. Let l = 4 - 0. Is l equal to v?
True
Let b be 4 + -5 - 4/(-5). Let s be (7 + -4)*(-4)/(-42). Is b greater than or equal to s?
False
Suppose -2*s - 2 = -2*p - 12, -s = -2*p - 5. Let a be (10/40)/(p - -1). Are a and -2/7 non-equal?
True
Let j = -1.9 - -2. Let u be 1 + -1*(-1 - -3). Let k be u + ((-10)/4)/(-5). Is j != k?
True
Let z = -2.95 - -3. Let s = -43.05 - -46. Let f = s + z. Are -1 and f non-equal?
True
Let m be ((-4)/5)/(4/(-30)). Suppose 2*p + 3*p - 10 = 0. Suppose -m*c + p*c + 8 = 0. Is c at most as big as 2?
True
Let o(u) = u**2 - 14*u + 29. Let h be o(12). Suppose -12 = 4*z + 2*x, 6 = -2*z - 0*z + h*x. Suppose -1 + 7 = -3*q. Which is smaller: q or z?
z
Let r(b) = -b - 2. Let n be r(-2). Let m = n - -4. Let q(f) = f - 4. Let s be q(m). Is s at least 0?
True
Let p be (0 - (4 + (-3 - 2))) + -2. Is p >= -6/29?
False
Let v = 2 - 1. Let o be (22 - 27) + (-21)/(-4). Which is smaller: v or o?
o
Let m = 500/91 + -64/13. Let g = -27/35 + m. Suppose 0 = -o + 4*o. Which is greater: o or g?
o
Let p be ((-3)/5)/((-1)/5). Let b = p - 5. Let o be (3 + (-3 - 0))/b. Which is greater: o or 1?
1
Suppose -6 = -4*m + 10. Suppose -m*d - 2 = 2. Which is smaller: d or 0.2?
d
Let t be 32/(-24) - (-2)/6. Which is smaller: t or -1/43?
t
Let g = 13696/33 - 415. Let x = g + 31/66. Is 0.04 > x?
False
Suppose 2*t + 7 = 17. Suppose 3*n - t*v + 23 = 0, -5*n - 4*v + 8 - 34 = 0. Let p be -3*n/7 + -3. Which is smaller: 0 or p?
p
Let k = -7 - -5. Let i be (1 + k - -9) + 2. Suppose -4*b = 2*f + 4, -2*f = -3*b - 0*f - i. Does -2 = b?
True
Let n = -74 + 151/2. Is n less than 2?
True
Let x = 2 + 2. Suppose -7*f = -2 - 12. Which is smaller: f or x?
f
Let k = -0.054 - -0.254. Which is smaller: k or -0.1?
-0.1
Let o = -299/1712 + 12/107. Let l be (-2)/8 + 10/8. Is l at most o?
False
Suppose 5 = -2*t + 5*o, t - 4*o + 4 = -t. Let m(s) = s**3 + 3*s**2 + 2. Let q = -3 - 0. Let c be m(q). Which is smaller: c or t?
t
Let k(a) = -a**2 + 6*a + 7. Suppose 3*h - 6*h + 15 = 0. Let t be k(h). Let w be ((-2)/(-6))/(14/t). Is w greater than 0?
True
Suppose -3*k = -3*x + 2*k - 29, -x + 3*k - 15 = 0. Let t = x - -2. Is t < -1?
False
Let z be (-21)/42 - 1*2/(-4). Which is greater: z or -1/83?
z
Suppose -5*c + 0*c = 10. Let u be c/(-4) - (-3)/(-2). Are u and -3 nonequal?
True
Let o = -45/112 - -3/112. Is o less than -1?
False
Let k be (-2)/(4/30) - 2. Which is bigger: -16 or k?
-16
Let t be ((-168)/416)/(1/((-4)/(-6))). Which is bigger: t or -1?
t
Suppose 0*p = -2*p - 16. Let l = 8 - 6. Let t be -1 + (l - (-6)/p). Which is smaller: t or 0.2?
0.2
Let v(i) = -i**3 + 2*i**2 + i - 1. Let z be v(2). Suppose 3*o - 7 = -z. Is o not equal to 3?
True
Suppose 2*l + 5*q = -33, -4*l - q + 24 = -7*l. Let v be -8 + 0 + -1 + 2. Is v > l?
True
Let g = -8 - -7. Let q be (-3 - (-1 + g))/5. Let o be ((-2)/1 - -3)*1. Which is bigger: o or q?
o
Let v(c) = c**2 - 9*c - 1. Let f be v(9). Is f at least 3/47?
False
Let l = 2609/15 - 174. Let x(r) = -r**2 - 9*r - 19. Let o be x(-3). Which is greater: l or o?
l
Let u(g) = g**3 - 2*g**2 + g - 2. Let b be u(2). Let w = 35/26 + -1255/884. Let q = -3/17 + w. Is b bigger than q?
True
Suppose -3*n + 1 + 14 = 0. Suppose 2*f - 3*p - 4 = 3*f, -6 = 2*f + n*p. Let l(x) = x - 3. Let s be l(f). Which is bigger: s or 1?
1
Suppose -3*s - 5*o + 31 = -s, -5*o = -2*s - 19. Suppose 2*y = -y - 3*t - 15, -s*t = 4*y + 23. Do -7 and y have the same value?
False
Suppose 0 = 5*b + 3 + 7. Are -2 and b non-equal?
False
Suppose 5*k + 1 = 4*h, -17 = -0*h - 5*h + k. Which is smaller: 3 or h?
3
Let g(m) = m**2 - 6*m + 5. Let n be g(5). Let i = n - 7. Let d = i + 6. Are d and 1/7 equal?
False
Let w(b) = b + 1. Let v be w(6). Suppose -5*y - 22 = v*p - 3*p, -6 = -3*y + 4*p. Which is greater: y or -7/5?
-7/5
Let v = -0.02 - 0.18. Let t = v + -1.8. Which is greater: -4 or t?
t
Let v = -3 + 5. Let m = 4 - v. Let i = 1 + m. Is i > 3?