se -c - 1 = 3*p - 5, 4*c = 2*p + 2. Which is bigger: 6/19 or c?
c
Let x = 7 + -4. Let o = -2 + x. Let i = -0.7 - -0.3. Which is smaller: i or o?
i
Let b = -231/2 - -115. Let h = 1.96 - -0.04. Are b and h nonequal?
True
Suppose -5*l = 2*s + 13, l - 5*s = -0*l + 19. Is l > 2/27?
False
Let f(p) = p**2 + 6*p + 3. Suppose 6 - 16 = 2*u. Let l be f(u). Let r be (-38)/60 - l/(-10). Do -1 and r have the same value?
False
Let k = 16 + -15.5. Which is greater: 3 or k?
3
Let y = 142 - 129. Do y and 1 have the same value?
False
Let s = 12 + -8. Let d be ((-4)/(-6))/(s/6). Which is smaller: 3/5 or d?
3/5
Let t = 20 - 12. Let k be 2/t + 24/32. Suppose 4*m = 5*j - 4, -2*j - 2*j + k = -m. Is j smaller than 0?
False
Let k = -0.02 + -0.98. Let u = 1 + k. Which is smaller: u or 3?
u
Let d = 5/4 + 1/12. Which is smaller: 0 or d?
0
Let t = -9 - -11. Suppose -4*b + 16 = 5*d, -3*d - 2*d = -4*b - 24. Suppose -d*c + 2 + 2 = 0. Is t < c?
False
Suppose -12 + 7 = 5*j. Let q = 263/40 - 31/5. Is j bigger than q?
False
Let w = 1/209 - 1048/627. Is -2 < w?
True
Suppose -3*x = 4*a - 314, -2*x = 3*a - 8*a + 404. Is -1 < a?
True
Let h = -914/315 + 20/7. Does 0 = h?
False
Let a(x) = -x**3 + 3*x**2 - x - 2. Let w be a(2). Is -24 greater than w?
False
Let r = 85 + -87. Let m = -6.3 + 6. Let d = m - 0.7. Which is smaller: d or r?
r
Let a be -9*(5/(-3))/(-1). Let o be (6/(-5))/(6/a). Which is smaller: -2/11 or o?
-2/11
Suppose 0 = -5*s + 5*d - d + 50, 0 = 3*s - 4*d - 38. Does 7 = s?
False
Let a = -2.4 - 0.6. Let z be ((-3)/(-9)*-4)/6. Is a at least as big as z?
False
Let h = -16 - -21. Let u(n) = -n**2 + 2*n + 15. Let m be u(h). Let o = 1 - 1. Do m and o have different values?
False
Suppose -b + 5*n + 6 = -18, b = 4*n + 20. Suppose -7*m + b*m = -9. Suppose 1 = 3*g - q, m*g + 0*q = -3*q - 15. Which is bigger: -2/33 or g?
-2/33
Let j(t) = -t**3 - 5*t**2 + 2*t + 1. Let a be j(-4). Let y = 9 + a. Let w be 13/y - 2/(-4). Which is smaller: 1 or w?
w
Let z = 22 + -12. Let h be -4*1*(-1)/z. Is -1/3 at most h?
True
Let v = -32 + 33. Which is smaller: 5 or v?
v
Let v(f) = f - 3. Let n be v(-3). Suppose -g + 21 = -3*p + 2*g, -5*g = 2*p. Which is greater: n or p?
p
Let g = -3 + 1. Let v = -6 + 5. Let z be (-6)/21*(-2 - v). Is z at least as big as g?
True
Let z = 29 + -7. Is 64/3 less than or equal to z?
True
Let q = -69 + 205/3. Is q greater than or equal to -2?
True
Let n = 0.08 + -0.11. Is -3 >= n?
False
Let o = -22.1 + 22. Let h = 1 + -2. Which is smaller: h or o?
h
Let k = 5 - 5.2. Let g = k + 0.2. Which is smaller: g or -1/7?
-1/7
Let s = -2 - -1. Let f be ((-1)/2)/(6/189). Let m = f - -16. Which is bigger: s or m?
m
Let y = 1 + 0. Let p be 4/16 + y/(-4). Suppose 2*v - 2*a = 2, 4*v - 5*a = 2 + 2. Which is bigger: p or v?
v
Let k = 7 + -2. Let q = k - 6. Which is bigger: q or -2/17?
-2/17
Let a = -0.01 - -2.01. Which is greater: a or 5?
5
Let f = -1.1 + 6.1. Let o = f - 4. Let k = 2.95 - -0.05. Is k less than or equal to o?
False
Let r = 0.7 + -0.4. Let n = r + -0.3. Let o = -105 - -108. Which is greater: n or o?
o
Let n be (0 + 5)*4/(-5). Let p(z) = z**3 + 4*z**2 + 1. Let o be p(n). Are o and -1/15 equal?
False
Let v = 154727282911/5121 - 30214271. Let c = v - -2/569. Let w be 3/(-2) + (-2)/(-4). Which is bigger: w or c?
c
Let y = -260 + 5458/21. Is -0.8 less than y?
True
Let t be ((-30)/9)/(2/12). Which is bigger: t or -1?
-1
Let g(p) = p**2 - 20*p - 16. Let b be g(21). Is 39/7 bigger than b?
True
Suppose -4*q = -5*d - 0*q - 30, -q = -5*d - 15. Let o = 3 + d. Let h = -19 - -21. Is o at least h?
False
Suppose 2*y + 0*y = 4*u - 4, -5*u + 5 = 4*y. Let c be -5 + -3 - (-1 + y). Let t be -1 + c/(105/(-6)). Which is bigger: -2 or t?
t
Let q(b) = 5*b - 17. Let n be q(4). Which is bigger: n or 1?
n
Suppose 236 = -4*n + 4*r, -n - 3*r = -5*n - 240. Is -64 less than or equal to n?
True
Let c = -16 + 12. Which is bigger: c or -15?
c
Let p be (-4)/(-6) - 32/(-6). Suppose -4*n - 3*o = -17 + 4, -5*n = -2*o - 22. Suppose -n*j = -3*z - 26, 4*j - 2*z = 3*z + 30. Is j greater than p?
False
Let m(x) = -x**3 + 8*x**2 + 12*x - 16. Let q be m(9). Which is smaller: 9 or q?
9
Suppose 5*d = 3*d + 4*n + 16, 3*n + 12 = -d. Suppose -3*z + 8 - 3 = u, -2*u = 5*z - 7. Let i = d + z. Are 0 and i unequal?
True
Suppose 2*y - y = 0. Suppose y = -0*x + x. Which is smaller: 4/7 or x?
x
Let u be ((8 - 2)/(-282))/(-4). Is 0 at most as big as u?
True
Suppose 4*b + 4 - 12 = 0. Suppose -f - b = -4. Let q = 1 + 1. Are f and q nonequal?
False
Let l(g) = -g**3 + 11*g**2 - 12*g + 14. Let a be l(10). Let t be (-3)/a*(-12)/(-21). Is t at least -0.2?
True
Let r = 19/55 + 3/55. Which is greater: r or -12?
r
Let k be (-22)/165 + ((-3)/(-1))/(-15). Is -2/3 smaller than k?
True
Let q be (-2)/(-1) + (-2)/4. Let y = 8 + -10. Let x be (5/10)/(y/(-12)). Which is greater: q or x?
x
Let n(r) = -r + 13. Let s be n(12). Which is greater: s or -1/6?
s
Let v = -2 + 4. Let h = 25 + -32. Is v less than h?
False
Let i = 4580/13 - 352. Which is greater: 0 or i?
i
Let r = -0.6 + -0.4. Let f = r + 0. Let v = 0 + f. Which is greater: v or 3?
3
Suppose 0 = a + 2*a - 3. Suppose -3 + a = -g. Suppose -5*k - 15 = 0, 5*c + 5*k - g + 12 = 0. Do c and -2/9 have the same value?
False
Suppose -2*u = -5*v - 7*u + 5, -5*u = -5*v - 25. Are -4 and v equal?
False
Let g be (1/6)/(3/(-78)). Let f = g + 53/15. Do 2 and f have the same value?
False
Let x be (-2)/(4/6*3). Let z = 1 + -1. Is x > z?
False
Let q = 0.7 - 3.7. Let s = 21.9 - 23. Let w = s + 0.1. Which is smaller: q or w?
q
Let a = -7 - -17. Let j be 114/a*(-10)/4. Let l = -517/18 - j. Is l at least 0?
False
Suppose 0 = -l - 0 - 1. Which is bigger: 1/6 or l?
1/6
Let q(h) = h + 10. Let y be q(-7). Let m = y - 1. Suppose -w - 18 = m*w. Which is smaller: w or -7?
-7
Let t = -11 - -3. Let f be 8/(-12) - (-38)/(-6). Which is greater: f or t?
f
Let t = 98 - 687/7. Let f(m) be the third derivative of -m**4/24 + 7*m**3/6 + 3*m**2. Let u be f(8). Which is greater: u or t?
t
Let v be ((-12)/15)/(2/(-5)). Suppose 0 = 2*y - 3*y + v. Suppose 0 = y*s + 2*q + 10, 5*s + 4 = 3*q - 5. Are s and -3 equal?
True
Suppose 5*d = 1 + 4. Let s = 70 + -3. Let y = s - 336/5. Is y not equal to d?
True
Let c be -10*(2/4 - 33/6). Do c and 49 have the same value?
False
Suppose -3 - 13 = -4*p. Suppose -d = d - p. Which is greater: d or 4?
4
Let n = 164 - 1146/7. Let o = -1/21 - n. Suppose g = -5*l + 16, 5*g - 2*g - 12 = -3*l. Is g >= o?
True
Let g(z) = -z. Let j(i) = -5*i - 1. Let x(q) = -6*g(q) + j(q). Let c be x(0). Are c and 0 unequal?
True
Let f(i) = 2*i**2. Let l be f(1). Which is smaller: 7/4 or l?
7/4
Let w = 0.08 - 2.48. Let t = w + 0.4. Is t equal to -0.4?
False
Suppose -3*k - 15 = -8*k + 5*g, 0 = k - 4*g - 6. Suppose t - 6*t + 4*h = -1, -4*t + 2*h + k = 0. Are 2/5 and t equal?
False
Let d = -8 + 14. Which is bigger: 8 or d?
8
Let v(m) = -m**2 - m - 35. Let x be v(0). Let n be (-8)/x + (-1)/(-5). Do n and 0 have the same value?
False
Let j = -75 + 75. Is -1.1 bigger than j?
False
Suppose -2*q + 30 = -5*i - 2, -q = 3*i + 6. Let f(z) = -z**2 + 7*z - 4. Let j be f(q). Is 1.3 >= j?
False
Let n be (-3)/(-6)*(0 - -2). Suppose -s + n = -4. Suppose 0 = -h + 5*h - 5*j - 15, -15 = s*h + 5*j. Which is smaller: h or 2/3?
h
Let t = -1.2 - -1. Let r = -4267/92 - -185/4. Let l = -29/46 - r. Is t at least as big as l?
True
Let m = -234632/99 + 2370. Which is smaller: m or -1?
-1
Suppose l - 6*k + 2*k = -9, 4*l - 3*k = 3. Suppose 0*p = p + l. Let n = -7 - p. Which is bigger: -5 or n?
n
Suppose -r - 2*s = 1, 2*r + 3 = -r - s. Are -1 and r nonequal?
False
Let o = 18/115 - -1/23. Which is smaller: -1 or o?
-1
Suppose 4*i + 140 = -4*t - i, 5*t + 134 = 4*i. Let h be (-1)/2 + t/(-28). Which is smaller: h or 1?
h
Let v = 0.14 + 0.26. Let y = 2.4 - v. Are y and 0 non-equal?
True
Let g be (-5 - -4) + (-3)/6*-4. Is g at least 1/87?
True
Let l(k) = -k**3 - 3*k**2 + k + 3. Let q(t) = -t**2 - t - 1. Let x be q(-2). Let u be l(x). Is u at most as big as 2?
True
Suppose -2*z + 19 = -b, 3*z = 8*z - 4*b - 55. Let h = 12 - z. Suppose -4*s - 2*d = 0, h = -5*s - d - 4*d. Is 7 at most s?
False
Suppose 2*m - 4*m - 31 = 5*p, -5*p + 84 = -3*m. Is m bigger than -24?
True
Let s = 986/3 + -326. Is s at least as big as -2/3?
True
Let t = -5.97 - 0.03. Which is bigger: t or 1?
1
Let