 greater: c or 1?
1
Let b(y) = -4 + 3*y - 4*y + 3*y + y**2. Let d be 4/14 + 23/(-7). Let t be b(d). Which is greater: 0 or t?
0
Suppose -15*m = -19*m + 212. Is 53 at most m?
True
Suppose -2*z + 9*z = -0*z. Which is greater: z or 1/32?
1/32
Let x = 35 - 31. Which is smaller: 22/7 or x?
22/7
Suppose -k - k = 3*c + 2, 4*k = 2*c - 20. Suppose -1 = a + 3*a + 5*b, 0 = c*a - b - 3. Are -1 and a unequal?
True
Let z(l) = -l - 4. Let i be z(5). Let c be (-2 + 8)/(i/6). Which is greater: c or 0?
0
Suppose -2*p + 15 - 5 = 0. Suppose p*i - z + 73 = 0, -62 = 3*i + i - 2*z. Is i > -13?
False
Suppose -n - 4 = -0*n. Let c(b) = b**3 + 6*b**2 + 5*b - 3. Suppose 2*g + 5*k + 4 = -11, -3*g = 5*k + 20. Let f be c(g). Is n less than or equal to f?
True
Let j be 1 - (0 - 1 - 1). Suppose -4*r + 6 = -3*r. Suppose j*p = p + r. Is p greater than 2?
True
Let g = -9 + 7. Which is bigger: 2 or g?
2
Let o be (-8)/(-12) + (-8)/(-6). Suppose -z = -0*z + 2. Which is smaller: z or o?
z
Let n = -11 + 13. Is n at most as big as -0.2?
False
Let g = 0 - 2. Let j = 1.55 + -0.55. Is g at least as big as j?
False
Suppose d - 2*d + 2 = 0. Suppose -b - d - 1 = 0, 3*b + 7 = 2*w. Which is smaller: w or 1/6?
w
Let d be (-15)/(-27)*140/(-25). Let p = -113/45 - d. Which is greater: 0 or p?
p
Suppose -4*n = -6 - 6. Suppose -n*s - 2*i = -7*i + 2, -5*i - 6 = -s. Let l = s - -5. Is 2 < l?
False
Let s(r) = -r**2 + r + 1. Let j(m) = m**3 + 3*m**2 + 3*m + 2. Let t be j(-2). Let i be s(t). Let k be (-12)/8*(1 + i). Is -1 < k?
False
Let b be 0/(-5 - (-4 - 4)). Is 4/15 equal to b?
False
Let l(k) = -2*k - 2. Let j(g) = 2*g + 3. Let c(z) = -5*j(z) - 6*l(z). Suppose -n + 28 = -5*t, 5*t + 47 = 5*n + 7. Let w be c(n). Which is greater: w or 3/2?
w
Suppose 0 = -g - 5*r - 37, -4*g - 4*r - 248 = g. Is -53 at most g?
True
Let r = -1 + 4. Which is greater: r or 6?
6
Let r be (-8)/(-32) + (-62)/(-72). Which is bigger: 2/3 or r?
r
Let n = -2.88 - 0.12. Let r = -1.5 - n. Is r > 1?
True
Let j = -625/11 + 57. Suppose -4*a = d - 2*a - 1, -5*a = 3*d - 2. Do d and j have the same value?
False
Let m(f) = f**3 - 6*f**2 + 6*f - 3. Let v be m(5). Suppose 0 = -6*g + v*g + 16. Suppose 5*c + 5*i - 20 = 0, g*c - 2*i - 16 = i. Which is smaller: c or 2?
2
Suppose -11 + 3 = 2*n. Let c(l) = l**3 + 4*l**2 - l - 4. Let a be c(n). Suppose -q + 3*r - 3 = a, -5*r = 10 - 0. Is -9 greater than q?
False
Let j = -4661/21 - -222. Suppose -15*t + 1 = -14*t. Which is bigger: t or j?
t
Let x = 1.2 + -0.2. Let m be (-4)/4 - -2*2. Let t be m/(-6) + (-3)/(-2). Is x > t?
False
Let q(j) = 3*j - 2 + 3 - 10*j - 4*j**2 - j**3 - 3*j**2. Let i be q(-6). Is 6 less than or equal to i?
True
Suppose -357 = 15*k - 882. Is k greater than or equal to 34?
True
Suppose 6 = 2*g - x, 4*x + 14 = -2. Which is smaller: g or -6/49?
-6/49
Let q(w) = w - 5. Let z(d) = 4*d - 14. Let i(x) = 7*q(x) - 2*z(x). Let g be i(-6). Let k be (5/(-35))/(12/7). Which is smaller: k or g?
g
Let b = 33 + -33. Is -1/140 less than or equal to b?
True
Let m = 1206 + -229141/190. Do 0 and m have the same value?
False
Let j = 41 + -71. Let l = j + 25.1. Let b = -5 - l. Is b not equal to 4?
True
Let s = 0.13 + -2.13. Is s >= -2/3?
False
Let q = -11 + 19. Let k(u) = -u + 6. Let l be k(q). Which is bigger: l or 0?
0
Let d = -2.8 + 3.1. Which is bigger: d or -5?
d
Let a = -2 - -1. Let c be (4/(-6))/((-12)/(-36)). Is c greater than a?
False
Let c be (-2 - 0) + 3 + -1. Let q = 48 + -718/15. Is c smaller than q?
True
Suppose -c = -2*c - 3*s + 11, 5*c + 3*s = 43. Suppose -a = a - c. Let y be a/((-2)/(-1)) + -2. Which is bigger: y or -4/5?
y
Let q be -4*(-2)/6*9. Let c be (-3)/q - 34/(-8). Let k(j) = j + 1. Let l be k(3). Is l less than or equal to c?
True
Let v = 3/68 + 91/1020. Let o = -19/30 + v. Is o equal to -2?
False
Let o = -7034/109 - 573233/1635. Let x = -415 - o. Is -1 smaller than x?
True
Let x = 45400870145/2871 + -15813609. Let n = 2/319 + x. Which is smaller: -1 or n?
-1
Let x = -45302/41 + 1105. Let p = x - 135/164. Is 1 greater than p?
True
Let r(q) = -q + 2. Let u be r(-1). Suppose -u*m + m = -8. Which is bigger: m or 0.2?
m
Let k be (-3)/2*(-42)/(-7). Let m be (-4)/(-15)*k/(-6). Which is bigger: m or 1?
1
Let k = 2.983 - 0.043. Let n = 3 - k. Suppose 0 = 4*s + s. Is n less than s?
False
Let h = 11 + -8. Let s = h + -2.96. Which is smaller: s or -0.1?
-0.1
Suppose 3*v - 25 - 44 = 0. Let w = v + -14. Is 8 at least w?
False
Let s(x) = x**2 - x + 1. Let k be s(1). Suppose 0*p - k = -p. Do p and 2/5 have the same value?
False
Let o(r) = -r**3 - 8*r**2 + 10*r + 7. Let d = 2 + -11. Let c be o(d). Let m = -3 - c. Which is smaller: m or 1/3?
m
Suppose -3*o + o = -2. Let n be -2 - (-2)/((-16)/(-26)). Let i = n - 17/20. Is i > o?
False
Suppose -4*y + 16 = s - 3*s, 3*s + 8 = 2*y. Which is smaller: s or 8/9?
s
Suppose 3*m = -l - m - 10, 0 = -5*m - 5. Let c be (-72)/16*4/l. Suppose -3*z = -6 - c. Is 3 != z?
False
Let d = 3 - 2.97. Let k = -0.43 + d. Let a = -0.3 - k. Which is smaller: -0.1 or a?
-0.1
Let b = -46 - -64. Let m = b - 12. Let c be m/(-8) - (-6)/8. Are -1/4 and c equal?
False
Let c(j) = 14*j + 1. Let t be c(1). Let v be (-14)/(-4) - t/10. Is 1/2 greater than v?
False
Let g be (-8)/(-2)*(-1)/(-10). Suppose -2*w + 4*y = 24, 2*y + 13 = -w + 5. Which is bigger: w or g?
g
Let f(l) = l + 7. Let w be f(-6). Which is bigger: w or -1/22?
w
Suppose -j - j = -8. Suppose j*l = 4*z, 5*z - l + 1 = 3*l. Let y be 1/2*4/(-10). Is z > y?
False
Let g be (-1)/(-2)*20/8. Which is smaller: g or 1?
1
Suppose 0*f + 8*f - f = 0. Which is greater: 17 or f?
17
Let a = -57 - -60. Suppose 5*g = -s - 10, -g - 3*s = s + 21. Are a and g equal?
False
Let w(x) = -2*x - 3 + 2 - 2. Let q be w(-5). Suppose 0 = 6*j - 11*j + 35. Is q at most j?
True
Suppose 3 = 2*t - 1. Suppose -5*i + t = -x, -i - 4 = 2*x - 0. Let v be -4 + 0 + i/(-2). Is v bigger than -3?
False
Let r = -8.3 - -8. Is 1 at most as big as r?
False
Suppose -4*b = -5*m - 45, -9 = 5*m + 2*b + 6. Let w = m + 7. Let c be w/(-6) - 8/(-18). Do 1 and c have the same value?
False
Suppose -v = -1, 3*f + v - 2*v - 2 = 0. Which is greater: 3 or f?
3
Let y be (1 + 3)/2*1. Suppose -z = 4*n + 3, -3*z - 3 = -3*n - 2*z. Which is greater: n or y?
y
Let i be (-333)/(-3) + (0 - 0). Suppose 5*g - 3*q - i = 0, q + 108 = 5*g - 3*q. Suppose 2 = v + 3*l, -2*v - g = 2*v - 4*l. Is -3 bigger than v?
True
Let y(b) = -b**2 + 9*b + 1. Let h be y(10). Let m = h + 8. Is m at least as big as -1/10?
False
Let x = -9 + 10. Let h = 5562/77 - 474/11. Let p = h - 29. Is p <= x?
True
Let a be 736/2826 - 4/18. Let f = -393/2041 - a. Which is smaller: f or -0.1?
f
Let x(z) = z**2 - 7*z. Let a be x(7). Let q(f) = -1 + a*f + 4 - 2*f + 3*f. Let m be q(0). Is 2/5 greater than or equal to m?
False
Let s = -61/150 - -6/25. Which is greater: -2 or s?
s
Suppose 3*t - 8 = -2. Suppose -4 = u - 2. Let v be 9/12 - u/8. Which is bigger: v or t?
t
Let q be 8/(-2)*1*-1. Let j be (-86)/q - 3/6. Let a = -65/3 - j. Which is smaller: a or -1?
-1
Suppose 0 = -3*c + 5*d + 13, 2*d + d + 23 = -2*c. Suppose 2*w + 1 + 9 = 0. Which is bigger: w or c?
c
Let b be -1*(-1 - 0)*-1. Let z(g) = g + 1. Let o be z(-4). Let i be 1/(-1*o/(-3)). Is b bigger than i?
False
Suppose -r - 3*i = -5*i + 23, -4*i - 29 = 3*r. Let d be 12/r - (-1)/5. Is d < -2?
False
Let u be 2/(-3) + (-2809441023)/(-5544). Let z = u - 506753. Let k = -3/56 - z. Which is smaller: 1 or k?
k
Suppose -g - g = -5*x - 8, -3 = 4*x - 5*g. Let v = 3 - 5. Let s = 0 + v. Do x and s have the same value?
True
Suppose -3*h - t = -6*t + 15, 4*t = -2*h + 12. Let v(u) = -6 + h*u - u + 2*u. Let o be v(5). Is o not equal to -4/5?
True
Suppose 0*u = -2*u + 90. Let k = -134/3 + u. Is k <= 0?
False
Suppose 32 = 4*s + 4*t, s - 4*s + 2*t = 1. Suppose 3 = s*g - 0. Which is smaller: g or 4/9?
4/9
Let f be (1 - -2)/(-2 - -1). Let g be 1 + (16/f)/4. Let p = 50.7 + -50.8. Which is greater: p or g?
p
Let h be (-4 + 3)/((-1)/2). Suppose h*z - 16 = 32. Suppose -2*y - 2*y + c + 12 = 0, z = 2*y - 5*c. Is 2 at least as big as y?
True
Let i(w) = -2*w**2 + 5*w + 5*w**2 - 6 + 0*w**2 - w**3. Let t be i(4). Let z be (1 - -1)/(4/(-1)). Which is smaller: t or z?
t
Suppose 0 = -13*w + 15*w. Is w equal to -4/7?
False
Let u = -5 + 4. Let j be 1 + (u - 1) - -1. Suppose -4*g = -0*g - 12, 4*i - 2*g - 10 = 