uppose s = -y - 5*b - 19, -3*y - 2*b + 28 = -4*b. Which is greater: y or 5?
y
Suppose 2*l - n + 1 = 0, 0 = -5*l + 3*n - 1 - 2. Let r = l + 0. Let h be r/((-2)/1 + 0). Do h and -2/15 have the same value?
False
Suppose -m - 60 = -3*m. Let a be (6/(-10))/((-27)/m). Is 0.1 not equal to a?
True
Let z = -88 - -79. Are -8 and z equal?
False
Let s = -7/4 - -17/12. Is -4/9 equal to s?
False
Let d = 0.9 + 2.1. Let n = d - 3. Let o = 2 - 1.9. Is o != n?
True
Let k = -3/14 - -5/7. Suppose 3*b + 3 = 4*x - 7*x, b = -5*x - 1. Which is greater: k or x?
k
Suppose -n + 4*n - 45 = 0. Suppose n = -4*l + 39. Is l greater than 6?
False
Let b be (-6)/9*(-27)/42. Is b not equal to 0.2?
True
Let a = 17 + -22. Let x = a - -6. Let z = -0.1 + 0.3. Which is smaller: z or x?
z
Let p = 4 - 3. Let a(u) = 5*u - 1. Let s be a(p). Suppose 0 + s = 4*o. Is 1 bigger than o?
False
Let a(q) = q**2 + 14*q + 16. Let m be a(-13). Suppose r + 3*r = 5*b + 23, 3 = -3*b - m*r. Is b at most -3?
True
Let t = 99 - 69. Let q = -29 + t. Which is smaller: q or 1/4?
1/4
Let j = -34/11983 - -12319714/419405. Let z = j - 149/5. Which is greater: z or -1?
z
Let u(s) = s. Let f be u(-6). Let r = 10 + f. Which is greater: 9/2 or r?
9/2
Let b(c) = c**2 + 4*c + 2. Let z be b(-4). Suppose -2*m + 140 = s, 3*s - z*m - 144 = 2*s. Let w = s + -1280/9. Is w smaller than -1?
False
Let u(v) = v**3 - 4*v**2 - 2*v + 4. Let r be u(2). Let j(t) = t - 2. Let w be j(-5). Which is bigger: w or r?
w
Let u = 25 + -39. Is u less than or equal to -14?
True
Let v be (1/2)/((-2)/(-4)). Suppose -v + 2 = -m. Which is smaller: m or -2/9?
m
Let a(w) = -1 + 0*w - w + 5. Let s = -10 + 15. Let g be a(s). Which is greater: -2 or g?
g
Let v(w) = -w**3 + 4*w**2 - 3*w + 1. Let l be v(3). Let c be ((-2)/(-3))/(24/72). Which is bigger: l or c?
c
Suppose 4*i + 0*r - 11 = -5*r, -i - 3*r = -8. Which is smaller: 3 or i?
i
Suppose 6*u - 2*u = 0. Suppose 9 = -i + 3. Let o = 4 + i. Is u less than or equal to o?
False
Let j be (6/(-9) - -1)*18. Let z = 7 - j. Let c(w) = w**2 + 4*w. Let n be c(-4). Which is smaller: n or z?
n
Suppose 0*s - 2*s = -4. Let v be (-122)/(-192) + s/(-3). Let b = v + 17/32. Which is bigger: b or -1?
b
Let x be 1/(-4) - ((-306)/(-184) + -2). Is x >= -1?
True
Let m = 10 - 6. Let v be 87/(-42) + 6/m. Are -1 and v non-equal?
True
Let u be (9 - 1)/2*4. Let z = 15 - u. Is -2/23 >= z?
True
Let r = -9.2 + 9. Let v = r + 0.15. Is -2 <= v?
True
Suppose s + s = 2. Suppose -o - s = t, 3*t = -4*o - 0*o - 9. Is o at least as big as -6?
True
Let c = -52.1 - -52. Are c and -30 equal?
False
Suppose 0 = -b + 49 - 7. Is b bigger than 41?
True
Suppose -5*y + 13 + 2 = 0. Suppose -2*v - y = 1. Let l = -13 - -13.2. Which is smaller: l or v?
v
Let t(a) = 2*a - 3. Let c be (4/(-6))/((-4)/6). Let o = 1 + c. Let x be t(o). Is 2/11 <= x?
True
Let q = -16 + 18. Which is smaller: -19 or q?
-19
Suppose 3*i - 4*i + 12 = 0. Suppose 4 - 17 = -3*z - 2*s, -3*z + 3*s = i. Which is smaller: 3/14 or z?
3/14
Let a(r) = -4*r - 3. Let k be a(-1). Which is greater: k or -2/83?
k
Let j = 4 + -2. Let o = -14 + 12.2. Let i = j + o. Is i equal to 0.1?
False
Let m = -2 - -5. Suppose -2*o + 4*o = -3*c - 11, 3*o - m*c - 6 = 0. Let b be o/(-1) + 30/(-26). Which is smaller: b or -1?
-1
Let b be -64*(-82)/(-15) - 1. Let v = 351 + b. Suppose 3*c + 4*r = -20, -2*r - 16 + 6 = 0. Is v at least c?
True
Let c(b) = -b**2 - 8*b - 7. Let m be c(-5). Is 9 at most as big as m?
False
Suppose g - 3*x - 2*x = -76, 0 = -3*g + x - 200. Let k = 3/182 + -36409/546. Let s = g - k. Which is smaller: -3/5 or s?
-3/5
Suppose -3*i + 7 = 5*v, -5*v + 6*i - 7*i = 1. Does v = -2/13?
False
Let j be (30/(-8))/(2/(-8)). Let w be (-10)/(-8)*(-3)/j. Let h be ((0 - -1)*-2)/(-2). Which is smaller: w or h?
w
Let j = 67 - 48. Suppose a - 1 = -w - 6, 3*w + 4*a + j = 0. Which is bigger: -3/8 or w?
-3/8
Let x = -2 + 2.04. Which is smaller: -3 or x?
-3
Let n(a) = -a - 6. Let y be n(-5). Let i be (y/(-4))/(10/272). Let h = i - 209/30. Is h < -1?
False
Let a = -0.1 + 0. Let y = a + 0. Let n = 59 - 59.3. Is n bigger than y?
False
Let b be -38*(15/(-2) - 1). Let n = b - 4191/13. Is n greater than 0?
True
Let h be (8/6 - 2)*9. Let d be ((-4)/h)/((-3)/9). Let s = -46 + 43. Is d != s?
True
Let h = -10.1 - -10. Does 1/4 = h?
False
Let z be (-2)/(-4) - (-30)/(-4). Let y = z + 13. Let k be (-3)/(21/(-12)*y). Is k > 0?
True
Suppose 3*z + 64 = 5*p, z + 45 = -4*z - 4*p. Let a = z + 14. Which is smaller: -2/17 or a?
-2/17
Let g = -4 + 3.91. Let h = 1.01 - g. Is h less than or equal to -0.1?
False
Let k be -1*2/40*2962. Suppose 3*m - m = -x - 301, -4*m - 587 = -x. Let r = k - m. Is 1 bigger than r?
True
Suppose 2*z = 3*z + 1. Let n be (-8)/(-10)*(2 + 117/(-66)). Which is smaller: z or n?
z
Suppose 5 = -4*v - 3. Let g = 0 - -0.3. Let k = -0.3 + g. Which is bigger: v or k?
k
Let f(y) = -y + 12. Let v be f(9). Suppose 0 = -v*k - 38 + 14. Let c = -14 - -7. Which is bigger: c or k?
c
Suppose -3*v - 2*n + 2 = -0, -4*v = -3*n + 3. Is 1/6 less than or equal to v?
False
Let a = 52 - 42. Is a bigger than 49/5?
True
Suppose 2*y + 9 = 45. Suppose 3*p - 4*v = 5*p + y, -2*p - 3*v = 13. Suppose 0*t - 2 = -2*t. Do p and t have the same value?
True
Let k(t) = 83*t**2 - 6*t - 8. Let o be k(-6). Let s be o/2660 + -1*1. Let i = s - 1/35. Are i and 1 nonequal?
True
Let o(b) = -b**3 + 4*b**2 - 2*b - 1. Let x be o(3). Let p = x - 5. Which is smaller: p or -2?
p
Suppose 5*k = -2*z + 9, 4*k = 2*z - 3*z + 6. Let s(f) = -2*f**2 + 7*f**z - f + 2*f**2 - f**3 + 7. Let w be s(7). Which is smaller: 1 or w?
w
Let b = -1/64 - 29/192. Suppose 4*m = -0*k + 2*k - 10, 2*m - 4*k = -20. Suppose -w - w = m. Which is smaller: b or w?
b
Suppose -2*g + 1 = -g. Let a = 0 + g. Suppose 5*z + 4 = -3*l, 3*z + 5 = -l + a. Which is smaller: 2/3 or l?
2/3
Let r = -1 - 0. Let t = 7 + r. Let c = t + -6.1. Which is bigger: 2 or c?
2
Let h = -1/211 - 411/2321. Which is smaller: -3/5 or h?
-3/5
Let q = 9 + -5. Let b be (q/(-18))/(2/(-3)). Which is greater: 1 or b?
1
Let u = 7/12 + 1/60. Is -2 greater than u?
False
Let q = 20639/172 + -120. Is 0 at most q?
False
Let m = -0.044 + 0.067. Which is smaller: m or -2/3?
-2/3
Suppose 784 = -5*n + r - 4*r, -5*r = -n - 140. Let l = n + 2791/18. Do l and 0 have different values?
True
Let p(i) = i - 8. Let h be p(0). Let g be (h/(-6))/((-1)/(-3)). Let d(x) = x**2 + 9*x + 3. Let z be d(-9). Which is bigger: z or g?
g
Let d = -3 + 2. Let u = 28 - 29.1. Let g = u - -1. Is d smaller than g?
True
Suppose 2 = -3*n + t, -2*n - 1 = -3*n + 2*t. Let l = n - -2. Let q(z) = z**2 - 3*z - 8. Let u be q(-2). Is l >= u?
False
Let a be (-5)/(-20) + 22/8. Suppose -35 = -a*q - 8. Is q smaller than 9?
False
Let x = 0 + 0. Let m = 0.9 + -4.9. Let w = m - -4.1. Which is bigger: x or w?
w
Let m(z) = z**3 + 10*z**2 + 19*z + 19. Let q be m(-8). Is q greater than or equal to -23/5?
False
Let x be 1 + (-2 - 0) + 6. Let t(v) = v**3 - 4*v**2 + 4*v + 1. Let i be t(3). Suppose -3*f - 8 = -k, 2*k - 9 = i*f - 5*f. Is k at least x?
True
Suppose -2*j = 2*j - 8. Suppose j*h = -5*v - 10, 2*h + h - 10 = 5*v. Which is smaller: v or -3?
-3
Let a = -4 + 9.6. Let y = 6 - a. Let h = y - 0.5. Which is smaller: h or 6?
h
Let k(r) = r + 22. Let y be k(-10). Is y not equal to -0.2?
True
Let v = 7 - 14. Let b be (-7)/(-28) - v/(-12). Which is greater: 3/8 or b?
3/8
Suppose -9 = 2*l + l. Let i be 0/(-3) - 8/2. Let w be ((-4)/10)/(i/(-20)). Is l <= w?
True
Let t = -169 + 182. Which is smaller: 10 or t?
10
Let d = 1 - 1.2. Let t = -55 + 163/3. Which is smaller: d or t?
t
Suppose 4*c = c - 6. Suppose 4*r - 4*o - 11 = 25, -2*r = -3*o - 20. Is c equal to r?
False
Let b be 6/8 + ((-186)/24 - 7). Does b = -16?
False
Let v be 4/14 - (-45)/(-84). Suppose -3*m + 4 + 5 = 0. Suppose 2*s + 3 = -m. Which is greater: v or s?
v
Let d be (-42)/(-4) + (-2)/4. Let q(r) be the first derivative of -r**3/3 + 11*r**2/2 - 11*r + 6. Let l be q(d). Which is greater: -0.1 or l?
-0.1
Let d(m) = -4*m**3 - 19*m**2 - 20*m + 37. Let k(g) = g**3 + 5*g**2 + 5*g - 9. Let r(i) = -2*d(i) - 9*k(i). Let p = -20 + 14. Let w be r(p). Is w equal to 3?
False
Let u be -3 + 0 - (-170)/44. Let p = u - 4/11. Which is bigger: p or 0.01?
p
Let m be -1*7/((-3)/(-3)). Let i = -3 - m. Suppose 0 = 3*z - i*z - 1. Are -2/3 and z equal?
Fal