5*c + 2*c. Let v be b(c). Which is greater: v or 3?
3
Let d = -1/4 - -49/36. Suppose -15*w = -13*w. Which is smaller: w or d?
w
Let y = -714/11 + 4734/77. Which is greater: -3 or y?
-3
Let j be 5/20 + (-5)/20. Are -2/107 and j equal?
False
Let o = -9 - -19. Let i be -1*2 - o/(-2). Let d be 115/30 + (-2)/(-12). Which is bigger: d or i?
d
Let t = -0.47 + -0.53. Which is smaller: t or 2/9?
t
Let v = 48.3 + -48. Let s(d) = d - 5. Let j(p) = -2*p - 3. Let x be j(-4). Let n be s(x). Which is bigger: n or v?
v
Let p = 0 - -2. Which is smaller: p or 2/7?
2/7
Suppose -5*f - 33 = 2*b, 18 = -8*f + 6*f - 2*b. Let a(o) = o**2 - 6*o - 5. Let y be a(6). Is f less than y?
False
Let i be (-8)/(-12) + (-1)/(-3). Let z(f) = -f**3 + 4*f**2 + 5*f + 7. Let x be z(5). Suppose j - n - x = 0, -5*j + 0*n - 15 = 5*n. Is i at least j?
False
Let d = -10 + 29. Does 19 = d?
True
Let h = -60 + 55. Let l = -1.1 + 0.1. Is h at least l?
False
Let u = -21 - -12. Which is greater: u or -10?
u
Let t(l) = l**3 - 14*l**2. Let g be t(14). Which is smaller: -6/53 or g?
-6/53
Suppose v + 7 = w - 0, -15 = -3*w. Let u = 1 + v. Which is bigger: -2/3 or u?
-2/3
Let k(t) = t**2 - 4*t - 5. Let d be k(4). Let f be 1/(((-30)/9)/d). Is f > 1?
True
Let n be 85/(-75) - 10/(-75). Which is smaller: n or -9/11?
n
Let c = 17 + -10. Let k = -0.8 - 4.2. Let u = k + c. Is 1 at most as big as u?
True
Suppose t = -4*f + 5, f - 6 = -t - 4*f. Let z = 19/14 + -6/7. Which is bigger: t or z?
t
Suppose -2 = -5*i + 38. Suppose 0 = -2*l - i + 24. Let w be 2*(1 + l/(-7)). Which is smaller: w or -1?
-1
Let l be (-14)/(-4) + (1 - 1). Let q be (4/6)/((-4)/18). Let j = l + q. Is 1 at least j?
True
Let l(q) = -q**3 + 12*q**2 - 21*q + 7. Let k be l(10). Is k < -1?
True
Suppose 5*h - b + 29 = 0, 2*b - 14 = 2*h + b. Let q be -2 - (h + 3 + -3). Suppose 0 = q*z - 5*z. Is z equal to 1/5?
False
Let a = -203 + 1825/9. Let f = -3.8 - -3.5. Which is bigger: f or a?
a
Let d(t) = t - 6. Let x be d(8). Suppose 3*f = u + 64, -u - 40 = -f + 4*u. Suppose 4*g + 3*k - f = 0, 5*g - 6 = k - 0. Is x at least as big as g?
True
Let j(z) = z**3 + 3*z**2 + 2. Let q be j(-3). Let o be (q - 1 - 1)/1. Let n be 0/(-1) + (o - 0). Which is greater: -2/7 or n?
n
Suppose 0 = -2*a - 0*a - 16. Let n be 46/(-6) - 4/(-6). Let t = n - a. Is 3/10 >= t?
False
Let c be 0 + (-10)/8 + 1. Which is bigger: c or -1?
c
Suppose 0 = -4*i + 4*k - 5*k - 8, 4*k - 13 = -i. Is i >= 2?
False
Let f = -1369/6 - -227. Let p = f + 3/2. Which is greater: p or 0?
p
Let h = 9.6 - 11. Let m = -27 - -28. Is h greater than or equal to m?
False
Let p = -2 - -8/3. Suppose 3*z + 0*z + 60 = 0. Let n be (-8)/z*5/(-11). Which is smaller: n or p?
n
Suppose 2*o = -t - 8, -5*t + o = -2*o - 25. Is 0 equal to t?
False
Let i(y) = -y**2 + 5*y - 2. Let p be i(4). Let j = p - -1. Suppose -4*g = 3*b + 15, 0 = -2*b - 10. Is g less than j?
True
Let z = 4 + -3. Let g be (-10)/4*(13 - -3). Let f be 3/(-1) + (-124)/g. Is f smaller than z?
True
Let k be (-1)/(-1) + (-1 - 2). Let f be ((-4)/(-4))/((-1)/k). Let o be 8/(-6) + f/6. Is o bigger than 0?
False
Let p(j) = 6*j - 2. Let z be p(4). Suppose -3*i - z = -i. Is i bigger than -11?
False
Let t be 0/(-1)*(-4)/12. Suppose 4*g - 3*s + 35 = t, -2*s = -3*g - 6*s - 45. Is g less than or equal to -12?
False
Let o be (-2)/10 - 110/(-100). Which is smaller: o or 1?
o
Let d = 0 - 0. Let n be ((-4)/(-6))/((-4)/(-18)). Let p = -4 + n. Which is smaller: p or d?
p
Let c = -83 + 583/7. Let f be (-2)/10 - 11985/(-175). Let l = f - 68. Is c at most as big as l?
True
Suppose 0 = 2*r - r. Let s be (0/1)/(3 - 2). Are r and s nonequal?
False
Let r = -4 + 4. Let b be (2/1 - r) + 1. Suppose -b*g + 0*g + 3 = -3*o, -4*o - g = 4. Which is greater: o or 2?
2
Let s(q) = q + 2. Let d be s(3). Which is smaller: d or 7?
d
Let v be -1 + 8 - (5 - 2). Suppose 0 = 4*c + 5*h + 1 - 5, 4*c - v*h = 4. Suppose 0 = -4*s - 4*r + 15 + 1, -1 = 2*s - r. Do s and c have different values?
False
Let w = 74/13 + -3073/533. Are w and 0 non-equal?
True
Let n be 3 + -6 + (-4)/(-1). Which is greater: -2 or n?
n
Let v(b) = -b + 2. Let o be v(0). Suppose o*x + 3*u - 2*u - 5 = 0, 3*u = -x. Are -0.1 and x nonequal?
True
Let o = 13 - 6. Suppose -o + 27 = -5*b. Suppose 0 = -5*y + 25, 2*u = 2*y - 0*y - 16. Is b smaller than u?
True
Suppose -4*u + u = -5*c + 20, 5*c = -4*u + 20. Which is smaller: u or 6/7?
u
Let t = -435 - -1715/4. Suppose 0 = 7*d - 18 - 24. Let s = t + d. Which is greater: s or -0.2?
-0.2
Let n be ((-6)/(-5))/((-21)/(-70)). Suppose -i + 10 = n*i. Which is smaller: 1 or i?
1
Let t = -16 - -2. Do t and -13 have the same value?
False
Let s = -1.1 - -0.1. Let v(n) = -2*n**2 + 7*n - 6. Let t be v(5). Let y be (-26)/(-42) + 6/t. Is y greater than or equal to s?
True
Suppose -6*l = 5 + 1. Is -1/8 at most as big as l?
False
Let o = 10.9 + -11. Let q = -0.013 - 0.217. Let f = q - -0.03. Are o and f equal?
False
Let z be 3 + 1 + -4 + 3. Suppose s + 2 = -2*t + z*s, -3*s + 3 = -2*t. Is t equal to -7?
False
Let q(h) = -h**2 + 5*h - 2. Suppose 3*k - 17 = -2*i + 6*k, -i = 5*k + 11. Let z be q(i). Suppose 0 = -v + z*c - 8, -5*v + 5 = -c. Which is smaller: v or 1?
1
Let o be -1*2 + 1 - -6. Suppose -15 - 10 = o*t. Is -5 at most as big as t?
True
Let v(d) = 4*d**2 - 2*d - 2. Let a be v(5). Let g be (36/a)/((-1)/4). Let t = g - -32/33. Is t >= -0.1?
False
Suppose -4*g - 6 = -3*a, 5*a - 10 = -0*g - 3*g. Let o be 2 - -1 - a - 0. Let p be 0*(-2 + (-5)/(-2)). Which is smaller: o or p?
p
Let j = -677/5 - -134. Suppose 10*k = 8*k. Which is bigger: k or j?
k
Suppose 2 = 5*d - 3. Let z(w) = w**3 - 4*w**2 + 1 + w + 4*w**2. Let p be z(0). Are p and d non-equal?
False
Let c = -11.7 + 12.64. Let k = c + 0.06. Which is smaller: -0.02 or k?
-0.02
Let p be 38/(-10)*170/12. Let j = p - -54. Suppose -u = 5*c - 5, 3 - 8 = c - u. Which is greater: j or c?
j
Suppose 0 = 5*n + 6 - 21. Suppose -2*x - 1 + n = -2*m, 5*m = -5*x + 15. Is x != 1?
True
Suppose 6*h + 8 = -22. Suppose 5*z = -0*z. Suppose -w = -z*w + 4. Is h less than or equal to w?
True
Let q = -0.02 - -1.02. Is q < 0.15?
False
Let o = 0.1 - 0.1. Let g = -8/25 + 31/175. Which is bigger: g or o?
o
Let q be (82/(-3) - 0)/(-7). Let u = q - 32/7. Is u not equal to -2?
True
Suppose 0*g + d = 3*g + 1, 2*d - 2 = 5*g. Which is smaller: 0.2 or g?
g
Let u = 211 + -194. Suppose s + 5*c - 33 - 5 = 0, -92 = -4*s - 5*c. Does u = s?
False
Let r = 0.42 - 0.52. Is -0.07 bigger than r?
True
Let h be 0/((0 - -1)*2). Suppose 3 = -3*a - h*a. Which is bigger: a or -1/3?
-1/3
Let f be (-3)/9 + (-38)/(-6). Let t(j) = -j + 4. Let v be t(f). Is v at most -3/5?
True
Let n = 1 - 0. Suppose -3*o - 3*p - 15 = 0, 0 = 2*o + 5*p + 6 + 19. Which is bigger: n or o?
n
Let x = 9 + -6. Let s be (4/(-18))/(x/9). Let t = 6 + -8. Is t > s?
False
Let s = -51.9 - -52. Which is greater: 10 or s?
10
Let l = 27 + -11. Let r = l + -15. Which is bigger: -0.1 or r?
r
Let h = 2.9 + 11.1. Let x = -12 + h. Which is smaller: -1 or x?
-1
Suppose -16 = -w - 3*w. Let g = 1 - w. Is -3 != g?
False
Let s be 4/18 - (-60)/459. Which is bigger: -1 or s?
s
Suppose 0 = -4*d + 3*k - 11, 2*k = -0*d - 3*d - 21. Is d smaller than -4?
True
Suppose l + 1 = -3*k - 1, -2*k = 4*l - 2. Let j = -194/41 + 15008/3813. Let r = j - -4/31. Is k >= r?
False
Suppose 24 = 4*q - 5*p - 9, 5*q - 30 = 4*p. Let a = -3 + q. Let w be ((-2)/3)/(14/(-6)). Which is smaller: w or a?
a
Let s = 57 - 57. Which is greater: s or 1/7?
1/7
Suppose -5*r - 22 = -0*m + 4*m, -2*r - 4*m = 16. Let y be (r/(-4))/((-2)/4). Let t be -3 - 1*(y - 1). Do 7 and t have the same value?
False
Let z = -4647000451/2332 + 3985421/2. Let h = -1/212 + z. Is 1 greater than h?
True
Let b = 15/52 + 6/13. Which is greater: -6 or b?
b
Let c(o) = -2*o**2 + 15*o + 10. Let s be c(8). Let d(k) = -k + 1. Let m be d(2). Let v = 0 - m. Which is smaller: s or v?
v
Suppose -5*c + c + a = -2, -2*c + 12 = 5*a. Suppose 1 = -2*d - c. Let s be (-2)/(-10)*(-5)/(-4). Is d less than or equal to s?
True
Let a = 59.16 - 59. Is 2/9 <= a?
False
Let z = 10.3 + -12. Which is smaller: z or 2/5?
z
Let g = -19.8 - -20. Is 4/9 not equal to g?
True
Suppose -5*w = -283 - 342. Which is greater: 126 or w?
126
Let c be (1/4 + -1)/((-126)/(-48)). Is -1.6 less than c?
True
Let a = 11 + -7. Suppose -w + a = -q, 12 = 4*w - 3*q - 1. W