- 4*q + 14, 3*c + 5*q = 11. Let f = 1 + c. Do f and i have the same value?
False
Let j(x) = -x**3 + 4*x**2 - 5*x + 2. Let y be j(3). Suppose 4*g + 11 = -3*m - 14, -3*g - 5*m - 27 = 0. Does g = y?
True
Suppose 14 = 5*k - 6. Suppose k*q + 2*g = -8, 6*q - 5*g - 20 = q. Which is bigger: 2/11 or q?
2/11
Let r be (-25)/(-30)*20/(-62). Let w = 1548/31 + -50. Let p = r + w. Which is smaller: p or 0?
p
Let c be 11 - (2 - 3 - -1). Suppose -4*u = c + 1. Which is smaller: -2 or u?
u
Let s = 0 + 0.2. Let w = 1.1 - -1.1. Let d = s - w. Which is smaller: -1 or d?
d
Let l be 51/15 - (-6)/10. Is l < 1/5?
False
Let g = -33 - -164/5. Let n(l) = -2*l**3 - 2*l**2 + 1. Let c = -1 + 0. Let v be n(c). Which is greater: v or g?
v
Let u = 132 + -179. Is u at least as big as -46?
False
Let d be (-4 - -1) + 1 + 34/10. Which is smaller: 0 or d?
0
Let r = -13 - -12. Are -4/17 and r non-equal?
True
Suppose -4*y = -3*y - 21. Let d be ((-8)/(-14))/(6/y). Is 2 <= d?
True
Let y = -89 - -37. Is y bigger than 0?
False
Suppose -4*p = 2*n - 1 + 3, 5*p + 1 = -2*n. Let b be (-11)/4 + 12/3. Is p at most b?
True
Let a be (-24)/14 - (-4)/(-14). Let w be ((-2)/6*-3)/a. Which is smaller: -1 or w?
-1
Let u be 0/1 + (1 - 0). Suppose -3*d + 0 = 3. Let v be 0/(u/(d/1)). Which is bigger: v or -2/11?
v
Suppose 5*i - i = -4. Let h be -12 - ((-4)/2)/i. Let a be 1 - 3 - h/4. Which is bigger: 3 or a?
3
Let g = 52.1 - 52. Let v be 14/(-10) - (2 - 3). Which is smaller: g or v?
v
Let d(z) = z**2 - 9*z. Let r be d(8). Let o = -5 - r. Suppose 4 = o*g + 1. Which is greater: 2/11 or g?
g
Let n(x) = -x**2 - 4*x. Let p be n(-3). Suppose -4*f + c = f - 8, -p = c. Which is smaller: f or -1?
-1
Let o be 0 + (2 - 74/35). Let r = 2/7 - o. Is 0 bigger than r?
False
Let y be 1/8*(5 + 1). Is y < -0.1?
False
Let p = 0.072 - 0.172. Which is smaller: -1.18 or p?
-1.18
Let r(l) = l - 1. Suppose 20 = 2*y + 2*y, 2*f - 3*y = -5. Suppose -k - 2*a + 16 = -f*a, -5*k = -4*a - 36. Let j be r(k). Which is smaller: 1 or j?
1
Let t be (-445)/310 + 3/2. Are 0 and t unequal?
True
Let a = 6 + -8. Let c = 470/3 + -158. Are a and c unequal?
True
Let s = 1.63 - -0.17. Let c = s + 3.2. Which is smaller: c or 2?
2
Let m be (-195)/(-10) - (-2)/(-4). Is m >= 20?
False
Let t be -12 - 2 - (-8)/2. Do t and -10 have the same value?
True
Let s be 2*(5 + -3) - (-326)/(-83). Which is bigger: 1 or s?
1
Suppose 18 = -u - 5. Which is smaller: -22 or u?
u
Suppose 2*x + 0 = 3*u - 7, -5*x = 5*u + 5. Let c be (u/3)/((-24)/36). Does c = -1?
False
Let n be (-3)/(-1)*(-1)/21. Let k(v) = -v**2 - 4*v - 3. Let z be k(-2). Are z and n equal?
False
Let s = -5 + 13. Let j be (s/(-12))/((-4)/(-78)). Which is bigger: j or -12?
-12
Let l = -865240/9 - -96336. Let q = l + -198. Which is bigger: -1 or q?
q
Let i = 29 - 259/9. Let j = 7 - 6.9. Which is bigger: i or j?
i
Suppose 0 = 8*h - 6*h. Let b be ((-2)/(-2))/(-1 + 0). Let i = h - b. Does i = -1?
False
Suppose -l + 1 = -2. Let f be l/((-3)/2) + 4. Suppose -s - f*s = -9. Which is smaller: s or 4?
s
Suppose 3 = 3*g - 3. Let x be (1/(-1))/((-1)/5). Suppose 0 = 2*i + 3*s + 4, 3*s + 11 = x*i - 0*s. Which is greater: g or i?
g
Suppose 16*h - 35 = 11*h. Which is bigger: h or 3?
h
Let l = -35 + 37. Is 4 less than or equal to l?
False
Let z(x) = -x - 2. Let r be z(-2). Let t = -6 + 8. Suppose r*o + 2*n - 4 = 4*o, -4 = -2*o - t*n. Are 4/3 and o unequal?
True
Let y be (4 - 5) + (3 - 2). Let q be 44/12*1*3. Which is smaller: q or y?
y
Let f be -1 + (0 - -10)/(-13 + 15). Is f at most 32/7?
True
Let m(w) = -29*w - 147. Let u be m(-5). Let h be (-2)/4 + (2 - 1). Which is bigger: h or u?
h
Suppose -5*x + 7 = -j, -4*x = -0*x + 4*j + 4. Do x and 1/2 have the same value?
False
Let t be -2 + (-1)/(-2)*2. Let r = -0.03 + 0.07. Let q = r + 0.06. Is q greater than t?
True
Let d = -26/3 + 263/30. Let b = -0.4 + 0.3. Which is smaller: d or b?
b
Let t = 0.3 - 0.2. Let g(v) = -v + 4. Let f be g(6). Let c be 4/(-20) - f/(-40). Is c at most t?
True
Let l(r) = 3*r + 21. Let v be -17 + 18 - 1*10. Let q be l(v). Suppose -2*o - 20 = 3*o, 3*x = o - 11. Which is greater: x or q?
x
Let r = 15 + -14.9. Is -5/6 bigger than r?
False
Let a(l) be the third derivative of -l**4/12 + l**3/3 + l**2. Let i = -2 - -4. Let b be a(i). Which is smaller: b or -3?
-3
Let s be ((-2)/(-6))/((-1)/(-6)). Let x(c) = -c**3 - 11*c**2 + c + 12. Let d be x(-11). Which is smaller: s or d?
d
Let z = -3 + -3. Is -7 at most z?
True
Let o = 0.159 - 0.159. Is 5.4 greater than o?
True
Suppose -5*j = -3*j. Let h = 46/765 - 538882/5355. Let m = 101 + h. Which is greater: j or m?
m
Let x = -24 - -24. Is x greater than -3/11?
True
Let s be (-4)/(-12)*(8 + -2). Suppose -s*m + 3 = -7. Is m equal to 7?
False
Let m be (2/(-4))/((-5)/2). Which is bigger: -1 or m?
m
Let u(m) = 23*m**3 - 2*m**2 + 1. Let y be u(1). Is 21 > y?
False
Suppose 2*f = 3*f + 1. Let k be (2/7*f)/(-1). Is k < 0?
False
Suppose 2*l + 1 = -1. Let g = 13 + l. Suppose 5*y + 4*w + 3 + g = 0, y + w = -4. Are y and 1 unequal?
False
Suppose -2 = -n + 1. Suppose -w = -n, w - 6*w = q - 18. Let y = -7 + 11. Which is bigger: q or y?
y
Let x = -3 + 0. Let c = -11 - -10.9. Which is greater: c or x?
c
Let s = -434.82 - -443. Let o = s - 0.18. Which is bigger: o or -1?
o
Let h(a) = -a**2 - a + 7. Let o = 2 + 1. Suppose -o*c + 4*w = 16, 0 = 5*c + w - 3*w + 8. Let s be h(c). Is 7 bigger than s?
False
Let f = -10 - -14. Suppose 0 = 4*q - f - 4. Which is bigger: q or 1/2?
q
Let w be (-77)/63 + 2/9. Let q be (0 + w)*(0 - 0). Let d be 1/(1 - (-6 + 0)). Which is greater: q or d?
d
Let h be 16/(-3) - 2/(-6). Suppose -5 = -s + 2. Suppose 0*m + s = -m + j, -5*j + 5 = 0. Is m < h?
True
Suppose -6*o + o + x = -4, -4*x = 2*o + 16. Which is smaller: o or 4/9?
o
Let d = 10.12 - 0.12. Let n = 10.1 - d. Which is bigger: n or 0.2?
0.2
Let k = 0.6 - 0.7. Let a = -3 + 0. Is k greater than or equal to a?
True
Let w = 1532/13311 - -2/783. Let s be 2/(-8) - (-3)/(-4). Which is smaller: w or s?
s
Let j = -81 + 82. Let m = 9 + -5. Let r be (m/(-3))/(1/(-3)). Is r <= j?
False
Let k = 14 + -14. Is k bigger than -7?
True
Let f(a) = 6*a**2 + 2*a - 1. Let i be f(1). Suppose 2*h - i = -3. Let c be (-3)/h*(-4)/(-8). Is -1 greater than c?
False
Suppose i - 1 = 0, -4*c + 4*i = -5 + 1. Suppose 0*w + w - c = 0. Let h(a) = -a + 1. Let z be h(w). Are z and -2 non-equal?
True
Let n be (-14)/8 + 3/(-12). Let b be (0 - 2) + n/(-2). Is b <= -1?
True
Let d(i) = 2*i**3 - 3*i**2 + 1. Let t be d(1). Is 5 equal to t?
False
Suppose 27*x = 25*x. Which is smaller: -1 or x?
-1
Let r = 31 - 45. Do -14 and r have the same value?
True
Let l be ((-8)/28)/(2/(-8)). Does l = 2?
False
Let y(q) = q - 6. Let f be y(6). Let z = 1 - 2. Let v = z - f. Which is smaller: v or 0?
v
Let z(o) = 3*o**2 - 1. Let b be z(2). Which is smaller: b or 10?
10
Let r = -1 - 1. Let n = -1 - r. Let h = -5.9 + 6. Is h greater than n?
False
Suppose -4*c + 5 = 1, 4*c + 24 = 4*s. Let v = -5 + s. Is 2 <= v?
True
Let c(o) be the second derivative of -o**5/20 - o**4/12 + o**3/3 + o**2/2 + 9*o. Let l be c(-1). Which is smaller: -3 or l?
-3
Let i = 36 - 28. Do i and 6 have the same value?
False
Let i be 2 - (0 - -8)*1. Let p be i/(-4)*(-1)/3. Is -1 < p?
True
Let p = -1 + -4. Is p >= -5?
True
Let j(d) = d**3 + 3*d**2 - 4*d. Let n = -10 + 6. Let o be j(n). Does o = -2/11?
False
Let q = -0.052 + 2.052. Which is smaller: -4 or q?
-4
Let d be (-2)/8 - 51/(-12). Suppose r + 0*r - d = 0. Suppose -3*f + r = -7*f. Which is smaller: f or -2/7?
f
Let f(k) be the first derivative of k**2/2 + 4*k + 1. Let i be f(0). Suppose 0 = 4*o + 2*h - 12, -i*o - 12 = 2*h - 6*h. Which is bigger: o or 3?
3
Suppose 2*u = -11 - 23. Let h = 19 + u. Which is smaller: h or 3?
h
Suppose 3*v = 90 - 219. Which is bigger: -40 or v?
-40
Let n = -2 - -3. Suppose 17 = -4*k + n. Which is smaller: k or -6?
-6
Suppose 15 = 3*d - 0*d. Suppose -17 = 4*x - 5*p, 5*x - 2*p + p = d. Which is smaller: 1 or x?
1
Let o = 1.1 - -16.9. Let x = o + -17.99. Is x != -2/3?
True
Let c = -2 - -3. Let v(f) = -2*f - 2. Let j be v(-3). Let m = -4 + j. Is c >= m?
True
Suppose -i - 5 = 5*c, -i = -0*c - 2*c - 9. Let m be c - -5 - (1 - 0). Let l = -2 + m. Is l < -1/4?
False
Suppose 0 = -3*u + 4*u. Let t(d) = -d**3 + d**2 - d - 2. Let q be t(u). Let j be -1 + ((-10)/6 - -2). Which is