4). Which is bigger: a or x?
a
Suppose -2*g + 3*g = 2, 5*g = -3*j + 19. Let q = -1 + j. Let r = q + -5. Which is greater: -1 or r?
-1
Let f be (2/6)/(2/(-6)). Let l be 21/7 + f + 2. Let i = l + -2. Which is greater: 0 or i?
i
Let d = -1 + 0.7. Is d less than or equal to -1?
False
Let x(l) = l**3 + 4*l**2 - 4. Let g be x(-4). Let w(h) = -h**3 - 8*h**2 - 8*h. Let q be w(-7). Let j = q - 9. Which is smaller: g or j?
g
Let v = -11/4 + 3. Do v and 1/5 have different values?
True
Let m be 20/90 + (-14)/36*-2. Does m = 3/59?
False
Let i = 756 + -744. Let o(y) = y**2 + 2*y - 2. Let c be o(3). Is c greater than or equal to i?
True
Let i = 50 + -46. Which is greater: i or 6?
6
Let a = -3 - -8. Suppose 2*g + 8 = a*x - x, -3*g + 2*x = 0. Suppose -4 = -2*z + g*t, 3*z = -4*t - 0*t - 8. Which is greater: z or -2?
z
Suppose -y + 3*y = 10. Let m(u) = 3*u**3 - 2*u**2 - 2*u + 3. Let g be m(2). Suppose 0 = y*r - h + 1, 2*r - g = 5*r + 3*h. Which is smaller: r or 0?
r
Let r(p) = -p**2 - 3*p + 6. Let s be r(-5). Do s and -1 have the same value?
False
Let b = 12 - 11.8. Let j = 0.3 + -0.1. Is b at most as big as j?
True
Let v(d) = -d**2 + 4*d + 11. Let m be v(6). Is -3/38 < m?
False
Let s(l) = -4*l**2 - l. Let u be s(-1). Let c(r) = -r**3 + 5*r**2 - 3. Let a be c(5). Are u and a equal?
True
Suppose -5*g + 4 = -16. Which is smaller: g or 8/3?
8/3
Let x = -18 - -17. Let z be 2*x + 40/22. Suppose p + 24 = -5*b, -3*p + 28 = -7*b + 2*b. Is p at least as big as z?
True
Let s be ((-6)/8)/(6/(-4)). Let c = -1/6 - s. Is 2/5 less than c?
False
Let f be ((-230)/45 + 5)/((-1)/(-3)). Which is bigger: -7 or f?
f
Suppose d - 5*r = 4*d + 11, 2*d = 5*r - 24. Is -3/5 bigger than d?
True
Suppose 4*s - 22 = 2*n, -4*n - n - 46 = -s. Let i = 5 - n. Let f be 4/i - 57/(-21). Which is smaller: 2 or f?
2
Suppose 5*c - c = 0. Let r(p) = -10 - 2*p + c + p. Let n be r(-9). Which is smaller: -1/2 or n?
n
Let o = -3 - 3. Are -5 and o unequal?
True
Let g(v) = -3*v + 30. Let a be g(13). Which is smaller: a or -6?
a
Suppose -2*k = 4*n + 2, 0 = 4*k - 5*k + 5*n + 13. Let j be -1 - (k + (-4 - 4)). Which is smaller: 1/4 or j?
1/4
Let o(f) = -f**3 - 13*f**2 + 13*f - 13. Let g be o(-14). Which is smaller: 0.1 or g?
0.1
Let b(o) = 2*o + 2*o**2 + 1 + 0 - o**2. Let n be b(-4). Let j be (24/n)/(-2) - -1. Which is bigger: -1 or j?
j
Suppose -2*x - 20 = -2*n, 0 = 4*x + 2*n - 4*n + 46. Let b = x + 11. Do -1 and b have the same value?
False
Let j be 12/(-54) - (-61)/(-9). Let t = -7 - j. Is -1 equal to t?
False
Suppose 5*w + 17 = 7. Let k = 0 + 5. Suppose k*h - 22 + 7 = 0. Are h and w equal?
False
Let m(f) = f**3 - 2*f**2 - f - 70. Let g be m(0). Let t be (-7)/(-28) + g/(-8). Is t greater than 9?
False
Let k = 29 + -29. Is k at least as big as -2/27?
True
Let n(h) = 1 - h**3 + h**2 + 1 + 0 - 9*h**2 + 9*h. Let r be n(-9). Which is smaller: r or 1?
1
Let n = -0.1 - -0.5. Let u = 0.7 - n. Is -1/2 > u?
False
Let w(b) = 3*b - 13. Let n be w(4). Which is smaller: -5/17 or n?
n
Let b = -2 - -4. Suppose 0 = 3*f - 5*s - 15, 5*f = -7*s + b*s - 15. Which is smaller: f or -2/15?
-2/15
Let a = -8737/20 - -437. Which is greater: a or 0?
a
Let c = -12.5 - -14. Let s = 2.5 + c. Which is greater: s or -5?
s
Let b be 12/(-18)*21/(-2). Let g = b - 0. Let w = g - 7. Is 4/7 smaller than w?
False
Let n be 4/14*(-2 + 9). Which is smaller: 3/2 or n?
3/2
Let g be (-2)/(-3*3/(-18)). Suppose b = 5, -4*b - 3 + 8 = 5*y. Is g greater than or equal to y?
False
Let m be ((-6)/22)/(66/(-572)). Is m <= 3?
True
Suppose 4*f = 2*f. Let b = 29/6 - 13/3. Is b at least f?
True
Let d = -4 - -6. Let p = 0.3 - -0.7. Let n = p + d. Which is greater: 0.1 or n?
n
Let v be (2 + -1)*132/(-18). Is -7 > v?
True
Let c = 8 - 0. Let f = c + -9. Are f and 1/3 equal?
False
Let m = -315/4 - -79. Let r = -3/8 - 1/8. Which is bigger: r or m?
m
Suppose 23 = 2*q - 0*h - 5*h, -h + 1 = q. Let m(x) = -x + 5. Let f be m(q). Which is smaller: f or -0.05?
-0.05
Suppose u = 2*h - 5, 4*h - 5 = -5*u + 2*u. Suppose -6*t = -h*t. Suppose -3*a + 2*w + 3 = w, t = 2*w. Which is bigger: a or 2?
2
Let n(z) = -z**3 + 5*z**2 - 4*z + 2. Let l be n(4). Suppose 3*s = b + 8*s - 13, 14 = 4*b + s. Which is smaller: b or l?
l
Let u = 10 - 12. Which is greater: u or 0?
0
Let v be (-7)/(-28) - 2/8. Are 0 and v non-equal?
False
Let t(d) = -d + 11. Let b be t(9). Let p = 3 + -3. Suppose 0 = 4*l - p - 12. Which is bigger: l or b?
l
Let h be (-4)/18 - 87/(-27). Suppose -4*t = -l - 18, -4*l - h*t + 2 = -21. Let k be 2/4 + (-3)/3. Is k <= l?
True
Let f(r) be the second derivative of -r**3/6 + 3*r**2 + 3*r. Let o be f(6). Is o < -1?
False
Let h = 9.76 - 10.7. Let z = h + -0.06. Which is bigger: z or 2/9?
2/9
Let a be 2 - ((-6)/(-3) - -1). Is -15/7 equal to a?
False
Let j(a) = a - 2. Let t(n) = 2*n - 4. Let o = -4 + -7. Let w(m) = o*j(m) + 6*t(m). Let b be w(3). Is 1/17 less than b?
True
Let a = -41 + 42. Do -2/69 and a have the same value?
False
Let t(i) = -i**2 - i - 4. Let q be t(3). Let o = -10 - q. Let k(j) = -j**2 + 6*j + 1. Let f be k(o). Is -1 smaller than f?
True
Let r be 3/(-15)*(2 - 3/2). Which is smaller: 4 or r?
r
Let o = -30 + 31. Is o at least 10/13?
True
Let t = 1 - 11. Let f be (-2)/(4/t*1). Suppose f*g - 3*g = 0. Is 2 greater than or equal to g?
True
Let k(p) = p + 1. Let s be k(4). Suppose -16 = -s*x + x. Suppose -4*q - x + 0 = 0. Which is smaller: q or -2?
-2
Suppose q - 13 = -1. Let g = q - 10. Do 4/3 and g have the same value?
False
Suppose 0 = -18*a + 19*a + 7. Which is greater: a or -5?
-5
Let o(v) = 3*v - 10. Let q be o(-3). Is -18 greater than q?
True
Suppose 2 - 6 = f. Let j be f/(-30) - 1/3. Is -1 at least as big as j?
False
Suppose 2*o - n - 8 = 0, -o = -2*o - 4*n + 4. Let j = o + -1. Which is smaller: 2 or j?
2
Let z(j) = -j**3 - 5*j**2 + 3*j + 3. Let y be z(-6). Suppose 5*h = 6*h - 21. Is h not equal to y?
False
Suppose -l = -2*l. Suppose 2*u - 4*j = -10, -3*u - 2*u = -5*j + 35. Let k = u + 8. Is l <= k?
False
Let o(g) = -2*g**3 + g**2 + g. Let t be o(-1). Suppose l = 2 + 1. Suppose -2*d - t*c - 15 = -7*d, -2*d - l*c = 13. Is 1 not equal to d?
False
Let s = 78 - 77. Which is bigger: 1/10 or s?
s
Let s(k) = 2*k + 8. Let f be s(-13). Suppose 3*y = 5*y. Which is smaller: f or y?
f
Let i(l) = 10*l**3 - 2*l. Let b(r) = r**3 - r**2 + r - 1. Let v(k) = b(k) + i(k). Let d be v(-1). Let u be -1 + -4*(-2)/d. Which is smaller: u or 2/7?
u
Suppose 3 = 4*h - 9. Let a(z) = -2*z**3 + 1. Let b be a(-1). Suppose 2*x + x = -b*p - 12, p = -h*x - 6. Which is greater: x or -2?
x
Let s = 1.1 - -3.9. Let k = -7 + s. Suppose 2*v - 3*v = 0. Is k <= v?
True
Let t = 4/109 - 3726/545. Let c = 92/15 + t. Let q = 19/24 - 9/8. Which is smaller: q or c?
c
Suppose -15 = 3*f + 3. Let v be ((-2)/(-15))/(f/10). Suppose 3*m = -3*s + 4 + 8, m = -4*s + 1. Is v at least as big as s?
True
Let g = 28337/9023 - -3/1289. Let y = g + -3. Let z be (-5)/(-15)*-3*1. Which is smaller: y or z?
z
Suppose 3*c + 43 = 4*n, n - 6*n = 5*c + 25. Suppose -f = 4*j + 28, -4*j + 5*f = f + 48. Which is smaller: j or c?
c
Let k = 2 + -4. Let x = 873 - 4367/5. Which is smaller: k or x?
k
Let q = 1.8 - -0.2. Let h = -0.7 + 2.7. Let a = q - h. Are a and -3 equal?
False
Let d(j) = j + 1. Let w(t) = -t**2 + 7*t + 6. Let v be w(8). Let s be d(v). Let o = 4 - 6. Is s != o?
True
Let m(p) = 3*p - 2. Let t be m(-2). Which is smaller: t or -70/9?
t
Let w = 9 - 10. Which is smaller: -12/7 or w?
-12/7
Suppose 0 = 2*o - 4. Let p(r) = -3*r - 46. Let l be p(-16). Do o and l have the same value?
True
Let a be (2 - 63/28) + (-2 - -2). Is 0 at most as big as a?
False
Let h = 887/9 + -99. Which is smaller: 1 or h?
h
Suppose 21*u - 10*u = 33. Is 7 greater than or equal to u?
True
Let s = 3023/5 - 608. Let n = s + 46/15. Which is smaller: n or 1/4?
n
Let f be (3/2)/(1868/(-376) - -5). Is 48 > f?
True
Let h be (-2)/(-4)*0/3. Suppose 0 = 2*t - h + 2. Suppose -w - 8 = 4*m, -2*m - 4 = -0*m - w. Is m greater than t?
False
Suppose 3*l + 3*a = -a - 6, 4*l = a + 11. Suppose n - z = 0, 4 = -n + l*z + 3. Let k = n - 0. Which is bigger: 0 or k?
k
Let d be (-1 - 1)/(-2) - -6. Which is smaller: 0 or d?
0
Let q be (22/44)/((-166)/84 + 2). Is 21 >= q?
True
Suppose -6*f = -3*f. Suppose 2*g - 4*a - 2 = f, -5*g - 3*a - a = 9. Which is smaller: -1/12 or g?
g
Suppose -r - 6 