l + l = 4*g + 31, -5*g = 5*l + a. Let d = -3 - g. Is 2/11 at most as big as d?
True
Let u be (-4)/(-18) - 112/180. Are u and -2 equal?
False
Let s = -0.2 + 0.2. Let h = -0.4 - -1.4. Which is bigger: s or h?
h
Let x be (4/6)/((-10)/(-2613)). Let y = x + -176808/1015. Let i = y + -613/812. Is 0 smaller than i?
False
Let c = -0.7 - 6.3. Let v = -6 + 11. Let g = v + c. Which is smaller: g or 0?
g
Suppose -6 = -3*n - 0*n. Let a = n - 0. Suppose -5 = -a*t - 9. Which is smaller: t or -3?
-3
Suppose 5*j = 3*j. Suppose -4*c - c - 5 = j. Is -1/2 > c?
True
Let r = 11 - 13. Is -2 bigger than r?
False
Let y be 20/14*(-2)/5. Let j(x) = 2*x**2 + 8*x. Let u be j(-4). Do u and y have the same value?
False
Suppose -3*i - 5*t = 4, 3*t + 10 = t. Is 5 bigger than i?
False
Let r be 510/(-125) + 2 + 2. Is r at most 1?
True
Let d(q) = -q + 7. Let a be d(3). Suppose -29 + 5 = -4*w. Let o be a/w + (-26)/21. Is o less than or equal to 0?
True
Suppose -5*t + 2*m = -29 + 204, 3*m = 15. Is -31 at most as big as t?
False
Let s(b) = 2*b**2 - 4 + 4*b + 2*b**2 - b**3 + 0*b**2. Let m be s(4). Suppose -2 = 5*j - m. Is j >= 1?
True
Let d = -6 - -1. Which is greater: d or -4?
-4
Let g(i) = 3*i**2 - 3*i. Let s be g(5). Suppose 2*z + z - s = 0. Suppose -4*h = -2*y - z, 23 - 3 = 3*h - 4*y. Is 2 greater than h?
False
Let m(w) = 2*w**3 + 17*w**2 + 31*w + 20. Let y(t) = t**3 + 9*t**2 + 15*t + 10. Let l(u) = -3*m(u) + 7*y(u). Let j be l(-11). Which is greater: j or -6/7?
-6/7
Let c = 1.8 + -1.9. Is -5 equal to c?
False
Let i be (1 - (-3 - -4))/3. Are 1/4 and i unequal?
True
Let h = 26.6 + -48.5. Let y = h + 22. Which is greater: -3 or y?
y
Let x(p) = -p. Let t be x(-2). Suppose 4*n + 6 = 22. Suppose -a - 7 = 2*l + 2, 0 = n*a - l - 9. Is a at least as big as t?
False
Let f be 3 + (-75)/(-6)*56/(-236). Is f > 0?
True
Let n be 1*(-2 + 1)*-5. Let g = 5 - n. Let t = -1/4 - g. Is t bigger than 0?
False
Suppose -5*t = -6*t - 12. Let i be 4/t + 20/6. Is 7/4 equal to i?
False
Let h be 1/(-2)*(1 + 1). Let r be -1 + (2/(-26) - h). Is r < 0?
True
Let f = 0 - -1. Let r be (-180)/(-5)*8/6. Let t be (32/r)/((-20)/(-18)). Which is bigger: f or t?
f
Let i = 20 - 18. Is 3/5 <= i?
True
Let l = -6 + 6. Suppose l = -r - 2*r - 3. Which is greater: -2/23 or r?
-2/23
Let g(v) = -v**2 + 8*v + 7. Let m(k) = -2*k**2 + 15*k + 13. Let z(i) = -5*g(i) + 3*m(i). Let s be z(5). Suppose s*r + 0 = 4. Is 1 > r?
False
Let n(k) = -k**2 + 2. Let h be n(-2). Let f be 0/1 + 12/(-9). Is f at least h?
True
Suppose 0 = 2*y - 20 - 4. Suppose 0 = 3*c - 4*k + y, 8 = 2*c + 5*k - 7. Let f = -44/105 + 2/7. Which is smaller: c or f?
f
Let m(w) = -w**3 + 5*w**2 + 4*w. Let n be m(6). Is -12 less than n?
False
Suppose 60 + 25 = -5*i. Which is smaller: 0 or i?
i
Let m(i) = 3*i - 7. Let j(f) = -f. Let v(y) = -4*j(y) - m(y). Let d(x) = x. Let p be d(-5). Let o be v(p). Are o and 0 equal?
False
Suppose -5*a + 16 - 1 = 0. Let v be (a/36)/(9/8). Is v at most as big as -1?
False
Let m be ((-2 - -2)/(-2))/1. Are m and 2/5 unequal?
True
Let t = 12 + -11. Let b be 10*(-3 + t)/2. Let h be (-1)/2*b + -1. Which is smaller: h or 2?
2
Suppose -5*j + 3*f + 2 = f, -j - 4*f = -18. Which is smaller: j or 3?
j
Let w = 1278/7 + -183. Let t(b) = b. Let l(v) = -2*v. Let d(i) = l(i) + t(i). Let x be d(-1). Which is bigger: w or x?
x
Suppose -4*w + 0*w = 56. Let t be w/(-21) - 19/(-3). Are -1 and t equal?
False
Let x be 0/(4/(-2)) + 282. Let s = x + -161. Let w = s - 845/7. Is 1/4 > w?
False
Let p = 520/9 - 58. Suppose 0 = 5*y + 5. Do p and y have different values?
True
Let q = 119 - 87. Is 63/2 greater than q?
False
Suppose -30*o = -28*o + 14. Is -7 smaller than o?
False
Let t = 4 + -5. Is t at most as big as 0?
True
Suppose 7*d - 2*d = -35. Let v(t) be the third derivative of -t**5/60 - t**4/4 - t**3/6 - 2*t**2. Let q be v(-7). Is d at least q?
True
Suppose -4*v = 3*v - 7. Which is smaller: -5 or v?
-5
Let o(j) = 2*j**2 + 3*j - 6. Let b be o(-4). Is 3 at most b?
True
Suppose 0 = 3*u - 9, g + 3*g + 3*u + 51 = 0. Is -12 bigger than g?
True
Let f = 0 + 3. Suppose -4*y + 5*q - 7 = -1, -f*y - q = -5. Let g = 3/14 - 23/42. Is g >= y?
False
Let q = -32 + 41. Which is greater: q or -0.2?
q
Let p(h) = -h**3 + 7*h**2 + 8*h - 1. Let b be p(8). Is 2 less than b?
False
Let w(i) = -i**3 + 5*i**2 - 1. Let a be w(5). Suppose z = -0*z + 280. Let g = z - 3638/13. Is g at most a?
False
Let p = -31 - -32. Which is bigger: 13/3 or p?
13/3
Let y = -0.59 - -0.29. Which is greater: -0.2 or y?
-0.2
Let z = 0 - 4. Let x be -1*(z/12)/1. Which is greater: x or -1?
x
Let m = 231 - 112. Is m at most 119?
True
Suppose -58 = -11*b + 12*b. Is -59 less than b?
True
Let x be (42/(-8))/(-3) - (-2)/8. Which is smaller: -24 or x?
-24
Let l = 3 - 3. Suppose 11*x = 16*x + 15. Which is bigger: x or l?
l
Let f be 1/2 - (-70)/4. Suppose 0 = -4*d + 4*i + 16, -1 = 2*d - 5*i - f. Is 1 less than or equal to d?
True
Let w(v) = -v**3 + 2*v**2 - 1. Let f be w(2). Is f bigger than -8?
True
Let b(i) = -i**2 + 2*i + 33. Let y be b(7). Which is greater: y or -10/7?
-10/7
Let r = 172 - 335/2. Which is smaller: 6 or r?
r
Let x = -76 + 75. Let d = -0.26 - -0.3. Which is smaller: x or d?
x
Suppose -6*q + q = -90. Suppose 5*h - t - 5 = 7, -h - 5*t = -q. Suppose -h = 2*u - l + 4, 4*u + 17 = -l. Which is greater: -5 or u?
u
Let s = 1.123 - 0.193. Let b = s - -0.07. Is b <= 0?
False
Let s be -8*(1 + (-6)/4). Suppose 2*g + 1 = 3*q, -12 = 3*g + g + s*q. Let y = g - -5. Which is greater: y or 2?
y
Suppose 5*c - 12 - 23 = 0. Is 5 at least as big as c?
False
Let a be (5/(-20))/(33/8). Do -1 and a have different values?
True
Let o be (1/(-5))/((-2)/238). Let l be (-21)/(-35) + 234/10. Let s = l - o. Which is bigger: 2/13 or s?
s
Let a be 3 + ((-42)/8 - -1). Let g = -7 - -4. Let y be g/(-9) + 8/(-6). Are a and y unequal?
True
Let m = 37 - 24. Let i = -6 + m. Let z = -7 + i. Which is smaller: z or -5?
-5
Suppose 0 = -3*j - 28 - 50. Is j < -26?
False
Let u = 16 - 274/17. Which is smaller: u or 0?
u
Let a = -4 - -3.7. Let d = 0.1 - 0.2. Which is greater: d or a?
d
Let n be 4/1 + -3 + -2. Which is smaller: n or -10?
-10
Suppose -4 = k + k. Which is bigger: k or 2?
2
Let r = -4 + 6. Let j = 2 - r. Which is bigger: j or -5?
j
Suppose 4*n + 64 = 2*y, -5*n - 106 = -0*y + 4*y. Let g = -19 - n. Which is bigger: -3 or g?
g
Let w(u) = u**2 + 2*u + 1. Let o(j) = -3*j**2 - 7*j - 3. Let r(d) = -2*o(d) - 7*w(d). Let q be r(2). Which is greater: -4 or q?
-4
Let b(x) = x**3 - 2*x**2 - x - 4. Let j be b(3). Suppose 0 = -j*g - g - 3. Which is greater: g or 1/7?
1/7
Suppose -14 = -4*z + 5*z. Suppose -3*f = -2*k - 36, 0*f - 2*f - 71 = 5*k. Is z less than or equal to k?
False
Let y = 18 - 18.9. Let d = y + 0.9. Let x be (-2 - (-3 + 0))*2. Is d less than x?
True
Let o = 14 + -14. Is 0.1 at most o?
False
Let k(j) = j**3 - 10*j**2 + 10*j + 6. Let b be k(9). Suppose 5*p = 3*h - 19 - 2, 3*h - b = 3*p. Is h < -3?
False
Let t be -3 + 2/(-1) + 3 + -33. Is -33 < t?
False
Let c be ((-1)/7)/(2/3466). Let f = c - -247. Let r(s) = -s + 1. Let b be r(3). Is b >= f?
False
Suppose 9*s = 6*s + 216. Let m = -362/5 + s. Is m equal to -1?
False
Let b = 38 - 93. Is -55 at most b?
True
Suppose 0 = m - 6*m - 30. Let b(f) = -f**2 - 4*f + 1. Let k be b(m). Is -11 != k?
False
Suppose 3*f + 4 = 2*f. Let y be (6/9)/(f/(-30)). Suppose -3*b - 4 = y. Is -0.1 at least b?
True
Let c = -0.2 - -0.2. Let b = -0.1 + c. Let k = 373 + -371. Which is smaller: k or b?
b
Let x = -0.08 - -0.04. Let g = x + 0.24. Let o = 0.1 + -0.2. Does g = o?
False
Let i(r) = r + 6. Let b be 38*(10/4)/5. Suppose 4*k + 4 + b = -5*w, w + 7 = -2*k. Let n be i(w). Are n and 3 unequal?
False
Let j be 2/8 - 14/(-56). Which is bigger: 0 or j?
j
Suppose -i = -3*i + 12. Suppose 2 = 5*v - 23. Which is smaller: i or v?
v
Suppose 7*j + 3*f - 12 = 3*j, 0 = 2*f. Let r be 2/(-8)*-2*12. Let k be (-2)/r - (-1)/j. Which is smaller: k or -1?
-1
Suppose -k + 129 = 2*f, -4*k + 135 - 15 = 2*f. Let y = -135/2 + f. Which is smaller: y or -2?
-2
Suppose -4*h = -9*h. Suppose 2 + h = 2*f. Let m be (1*2/(-8))/2. Is f at least as big as m?
True
Let c be 15/10 - 10/4. Is c > -1/17?
False
Let r be (-15 - -15)/(0 + -1). Which is greater: r or -1/6?
r
Suppose 7 = -3*c - g, 3*c + 4*g + 8 = 2*g. Let a(n) = -n**2 + 17*n - 43. Let f be a(14).