e 2/5 + 4/(-10). Suppose 2 = -2*y - m*y. Is i less than y?
False
Let l = 5.15 + -2.2. Let b = l + -3. Let m = b - 0.25. Is -2/3 > m?
False
Let y = -9.9 - 0.1. Let d = y - -2. Let v = d - -9. Which is greater: 2 or v?
2
Let u be -2*(-6)/(-4) - -1. Suppose 2*d - 3*d - 5 = -3*k, 0 = k - 4*d + 2. Suppose 5*x + 41 = 3*n - 7*n, -3*n - k*x = 22. Are n and u equal?
False
Suppose -4*o = 6 - 18. Let p(v) = 2*v**2 + 3*v - v + v - v**3. Let g be p(o). Which is greater: 2 or g?
2
Let m = 119 - 112. Is m greater than or equal to 1?
True
Let o = -28 - -25. Is -5 greater than o?
False
Suppose 8 = -4*h + 2*h. Is h less than -4?
False
Suppose 0 = 4*s + 2*i, 0*i + 4*i - 6 = -2*s. Let p = -0.6 + 0.5. Which is greater: s or p?
p
Let v = 0.24 - -0.06. Are -7 and v non-equal?
True
Let o = 7 - 9. Let d be o*(0 - 2/(-4)). Which is smaller: -1/2 or d?
d
Suppose -2*r + 16 = -0*r. Suppose 0 = -4*j - r, -5*c + 2 = -4*j - 1. Is c <= -3/13?
True
Let z = 8 - -7. Is 15 equal to z?
True
Suppose 0 = -2*y - 2*y - 16. Let p = 3 + y. Is -1/7 bigger than p?
True
Suppose -6 = 6*n - 0. Is n equal to 1/9?
False
Let q be 2*((-10)/2)/(-15). Suppose 2*o - 6 = 2*a, -4*o + 4 = -3*a - 7. Is q equal to o?
False
Let m = 102.9 + -98. Let b = m - 5. Which is greater: 3/5 or b?
3/5
Suppose 4 = 8*d - 6*d. Which is smaller: 1 or d?
1
Let x = -112956313/305 - -370349. Let h = x - 2/61. Let m = -30 + 29. Is h at most as big as m?
False
Suppose 0 = 2*a + 4*h - 30 - 4, 5*h = -4*a + 68. Is a <= 16?
False
Let c = 18/5 + -444/115. Which is bigger: c or -1?
c
Suppose -5*l = -6*l. Let x = -47/852 - 2/71. Which is smaller: x or l?
x
Let a = 2 + -3. Let j = 13 - 12. Is a equal to j?
False
Let b(a) be the second derivative of -a + 1/3*a**3 + 0 - 1/4*a**4 + 1/20*a**5 + 0*a**2. Let l be b(2). Which is bigger: 1 or l?
1
Suppose 1 = -0*y + y. Is 4/9 > y?
False
Let u = 27355/33 + -829. Suppose -j + 2*j = 0. Is u less than or equal to j?
True
Let u be 3/85 - (-1)/5. Do 0 and u have the same value?
False
Let k be 7/2 + (-1)/(-2). Let b = 3 - k. Let s = -99 + 1483/15. Is s at most b?
False
Let d be (-2 - 9/(-6))*0. Let b = d + 3. Suppose -2*u + 0 = -y + 3, 2 = -b*u - y. Is -3/4 < u?
False
Let u(w) = w**3 - 17*w**2 - 2*w + 23. Let j be u(17). Which is greater: -1 or j?
-1
Suppose 0 = y - 3*y. Let o = 1 - y. Let c be -1 - 4/(-6) - 0. Which is bigger: c or o?
o
Let p = 0.9 - 4.9. Let r = p + 4.2. Let i = -0.2 + r. Which is smaller: 0.2 or i?
i
Let r = -4.3 + 3.3. Let d = 0 - -0.2. Do d and r have the same value?
False
Suppose -5*p = -z - 310, 4*p - 3*z = -0*z + 259. Let g = p - 243/4. Let r = 2.2 - 0.2. Which is greater: g or r?
r
Suppose 15 = -2*s - s. Let t = -5 - s. Are t and -2 nonequal?
True
Suppose -i = -4, -4*v + 4*i = 8*i - 20. Do 4/5 and v have the same value?
False
Let l be 18*2/3 - 0. Suppose -2*y = 2*k + 12, y + k + l = -3*k. Which is bigger: y or -6?
y
Suppose 0*o - o + 4 = 0. Let d = o - 6. Let n be 8/6*(-6)/14. Is d not equal to n?
True
Let t = 15 + -14. Are t and 5/14 equal?
False
Let a(x) = x**2 - 4*x + 1. Let q be a(4). Let d = -775 + 16271/21. Let c = 6/7 + d. Which is greater: q or c?
q
Let i be (-742)/3010 + 1/5. Which is smaller: -1 or i?
-1
Let g be (6006 + 1)*(-1)/(-13). Let t = g - 463. Let q = t + -16/39. Is q equal to -2?
False
Suppose -7*u + 2*u - 17 = -4*k, -2*u - k = 12. Which is bigger: u or -13?
u
Let a = 0 + -1. Do a and 3/10 have different values?
True
Let r = -1176/48253 + -2/661. Which is smaller: -0.1 or r?
-0.1
Let v(g) = g**2. Let t be v(0). Is -8 greater than or equal to t?
False
Let o be 0 + ((-7)/(-40))/7. Is o at least as big as 1?
False
Let i = -1 + 1.1. Let p = 5 - 5. Which is greater: i or p?
i
Let z(y) = -y**3 + 9*y**2 - 8*y - 10. Let t be z(8). Let d be 2/t - 2/10. Let q = -9/10 - d. Is 0.3 >= q?
True
Let h(x) = x + 5. Let l be h(-8). Suppose 2*r = -2*r + 32. Suppose -2*y - 3*f + r*f = 6, 4*y = -3*f - 12. Is l greater than or equal to y?
True
Let l(q) = q - 14. Let f be l(-12). Let h be (-4)/(-22) + f/22. Do h and -1/33 have the same value?
False
Suppose -4*v + 9 = -v. Suppose 2*g + 0*g + v*u = 0, g = 2*u + 7. Let m = g - 2. Which is bigger: 2 or m?
2
Let y be (-1 - -5)/4*-8. Is -6 <= y?
False
Let w = -1 + 7. Suppose -3*f - 6 = -w*f. Let n be f*1 + -2 + 0. Is 0 at most n?
True
Let o(p) = -9 + 3*p - 4*p**2 + 0*p**3 + p**3 + 0*p**2 + 0*p**3. Let f be o(4). Suppose -y = -6*y - 3*b + 19, 2*y - 5*b + 11 = 0. Which is smaller: y or f?
y
Suppose -2*f - 6 - 11 = 5*s, -4*f + 31 = -3*s. Suppose t = -1 - f. Is t less than or equal to -4?
True
Let k(h) = -h**3 - h - 1. Let r = -2 - -2. Let x be k(r). Is -1 < x?
False
Let l = -415250/123 - -3376. Which is bigger: l or 0?
0
Suppose 3*a - 10 = -2*a. Which is smaller: a or 21/8?
a
Suppose -4*s + 41 + 387 = 0. Is 107 smaller than s?
False
Let s be 3*2/((-2)/1). Let h be -1 + ((-3)/(-3) - 3). Is h <= s?
True
Suppose -20 = -2*h + 6*h + 3*r, 10 = -2*h - 2*r. Let s(x) = x + 6. Let i be s(h). Let a be ((i - 0)*-2)/(-2). Do 1/7 and a have different values?
True
Let u be (-38)/88 - 2/(-8). Which is smaller: u or 1?
u
Let k = 0.1 - 0.2. Let w = 0.6 - -1.5. Let i = k + w. Is i smaller than -0.2?
False
Suppose 8 - 2 = -2*f - 2*v, -2*f - v - 4 = 0. Is f <= 2/27?
True
Let q = 0.2 - 0.1. Let r = -21.7 - -16.7. Which is bigger: q or r?
q
Let x = 22 + -24. Is x at least 8?
False
Let f = -2/15 + -8/15. Let d(m) = m**3 + 7*m**2 - m - 7. Let g be d(-7). Which is bigger: g or f?
g
Let p(b) = 3*b - 1. Let t be p(-5). Let z be (t/12)/(1/6). Is z smaller than -7?
True
Let g(y) = y**2 - 5*y - 3. Let u(k) = -k + 12. Let j be u(7). Let c be g(j). Which is smaller: c or -4?
-4
Let x = -0.03 + 3.03. Let j = x - 3. Let o = j - -3. Is o <= -2/5?
False
Let w = 178/819 + -4/63. Let x be 1 + ((0 - 0)/1)/(-2). Which is smaller: x or w?
w
Let r = 2 + -2.2. Let g(c) = -7*c**2 - 6*c**3 + 0 + 4*c**3 + 3*c**3 - 1 + 6*c. Let b be g(6). Which is bigger: r or b?
r
Let o be 1 + -3 + 103551/51776. Let w = o + 43388295/362432. Let d = -120 + w. Which is smaller: 0 or d?
d
Let t be -1*(-1)/((-2)/8). Let i = -31 + 16. Let c be (t/5)/(6/i). Is c >= 3/2?
True
Let q be (-2)/(-6) + 16/(-12). Let m be q + (-26)/(-6) - 2. Suppose 0*n - n + 1 = 0. Does n = m?
False
Let f = -11 - -16. Suppose 5*p - 30 = -f. Which is smaller: p or 4?
4
Let x be ((-510)/63)/((-6)/(-1288)). Let c = -1736 - x. Let l = 55/36 - c. Is -1 smaller than l?
True
Suppose 2*g = -5*l - 12, -2*l + 2 = 2*g + 8. Does l = -1?
False
Suppose g = 7*g + 60. Do g and -11 have the same value?
False
Suppose 0 = -8*b + 4*b - 12. Is 2/11 > b?
True
Let i = -2 - -2. Let k = 5 - i. Suppose -t = 4 - k. Which is smaller: t or -1/5?
-1/5
Suppose 3*y - 28 = 7*y. Suppose 0 = -0*v - v - 6. Is y less than or equal to v?
True
Let y = 4217/195 + -108/5. Is y <= 0.1?
True
Let x = 15 + -48. Is -33 bigger than x?
False
Let c = -11 - -12. Is 1/8 less than or equal to c?
True
Let k be 5/(-15) - (-28)/75. Is k != -2/5?
True
Let g = 16.5 - 18.5. Which is smaller: 45 or g?
g
Let v be (0 - 0)*(-3)/9. Let z = -1 + v. Which is smaller: 0 or z?
z
Let h = -97 - -97. Suppose -s = -3*s + 10. Suppose -12 = -3*j - 3*o, 3*j - 3*o + s*o - 7 = 0. Are h and j nonequal?
True
Let m be 0/((-30)/(-4)*(-24)/(-60)). Which is greater: -1/185 or m?
m
Let n(p) = 3*p**3 - 2*p + 1. Let w be n(1). Suppose -3*g - 5*z = 11 - 3, w = z. Let h be 0*(-3)/g*-1. Which is greater: 2 or h?
2
Let q(w) = w - 4. Let x be q(6). Suppose 4*p - 8 = -5*s, 0*p - x*p = -5*s - 4. Is 2/29 bigger than s?
True
Suppose -4*m = -30 + 82. Which is smaller: -12 or m?
m
Let p be 7/28 - 37/4. Let f(i) = -i - 3. Let c be f(p). Suppose 3*d - 3 = c*d. Which is greater: d or -3/5?
-3/5
Let t = 353/4 + -89. Is t at most as big as 0?
True
Let d be (-4)/14 + 23/7. Suppose 1 = d*f - 5. Is 1 bigger than f?
False
Let x be (8/10)/((-5)/(-25)). Is x greater than or equal to 4?
True
Let y = -1874/9 - -208. Does 1/8 = y?
False
Let c = -15 - 6. Let m = 24 + c. Which is smaller: 2 or m?
2
Suppose 2*b = 7*b - 5. Let i = -14 + 15. Let y be (-1 - 1)*i - -3. Is b at most y?
True
Let s(a) = -a**2 - 3*a. Let d be s(-3). Let p be 10/15 - (d + 1). Which is bigger: -1 or p?
p
Let z(b) = b + 8. Let k be z(-7). Suppose -3*u + 5 = -1. Suppose 6*f - u*f - 4 = 0. Is k greater than f?
False
Let v = 23 + -25. Is -0.1 >= v?
True
Suppose 