be 3 - 0 - (-87)/(-15). Let n = r - c. Do n and 3 have the same value?
False
Let w be (-1 - 0)*11/(-55). Let i = -2 - -2. Which is bigger: i or w?
w
Let s = -593/1661 + -1/151. Is s <= 1?
True
Let j be ((-198)/(-49) - 4)/((-6)/15). Which is smaller: j or 0?
j
Let q(w) = w. Suppose -s - 13 = -g - 4, 0 = -3*g - 4*s - 1. Let d be q(g). Suppose -4 = x - d*x. Which is bigger: x or -0.3?
x
Let g(o) = o**2 - 5*o - 10. Let k be (14/(-8))/((-2)/8). Let b be g(k). Suppose 4*q - 2 + 4 = h, -3*q - 8 = -b*h. Which is smaller: q or -1/2?
-1/2
Let i(x) = 8*x**2 - x - 1. Let s be i(-1). Suppose 2*r - 3*r = 28. Let c be 3/(-14) + s/r. Is c > 0?
False
Let g = 0 - 0. Let v = 25/2 + -14. Which is smaller: g or v?
v
Let h = 7 + -11. Let l = h + 5. Is l smaller than 0.7?
False
Let c(i) = -i - 4. Suppose 3*d = -r, 2*r + r = -d. Let y be c(r). Do -2 and y have the same value?
False
Let n(d) = -2*d**2 + 3*d + 4. Let k be n(-1). Which is greater: 2/49 or k?
2/49
Let v = -1.45 - -14.31. Let z = v + -10.8. Let p = 0.06 - z. Is 0 at least p?
True
Suppose 0 = -p - 0*p - 22. Let c = 133/6 + p. Let i(y) = -y**2 - 10*y - 8. Let x be i(-9). Which is smaller: x or c?
c
Let s be (-11)/(-3) + (-24)/6. Which is smaller: s or 11?
s
Let i = 7 + -1. Suppose -5*m + 15 = -3*a, -3*a + 6*a + 2*m = i. Is 2/9 less than a?
False
Suppose 0 = -5*n + 3*n + 6. Is 4 <= n?
False
Let j = 2 + -1.7. Let x = 2.7 + j. Let o be (-2)/(8/(-5)) - 1. Is o at least x?
False
Let t = 0.083 + 43.917. Which is greater: t or -0.1?
t
Suppose 10 + 6 = -4*k. Let q be k/(-8) + 1/2. Is -1/3 equal to q?
False
Suppose 7*b - b = 48. Is 2 > b?
False
Suppose 4*n - 16*n = 0. Let j be (2/(-20))/((-1)/(-4)). Which is smaller: j or n?
j
Let p = 35 + -36. Is p less than or equal to -2.8?
False
Suppose 0 = 2*y - 2*z, 2*y - z + 12 = -2*z. Suppose 4*b - 44 = 4*c, 4*b - 2*c - 43 = c. Suppose 4*d + 32 = -4*u, 0 = 5*u - 4*d - d - b. Is y bigger than u?
False
Let g(o) = -o**3 + 0 + 2 + 2*o**3 - 2*o - 4*o**2. Let q be g(5). Which is greater: 0 or q?
q
Suppose 1 + 0 = -y. Let p = y - 0. Let k be (0 - 0)/(p + -1). Is k less than or equal to -3/7?
False
Let y = -1 - -1. Let x = -74 - -445/6. Are x and y non-equal?
True
Let z = 5 - 0. Let k be z/(-5) - (-26)/22. Suppose 4*l = l. Which is bigger: l or k?
k
Let f(h) = -h + 6. Suppose 5*o + 3*t = t + 101, 3*o - 4*t = 71. Let b be (-88)/(-14) - 6/o. Let z be f(b). Which is smaller: z or -2?
-2
Let j = -25 + 19. Which is smaller: j or 1/2?
j
Let k be 3 - (-206)/(-210)*3. Let c = -48/385 - k. Which is bigger: c or -1?
c
Let j be (-423)/(-12) - -4 - (-6)/8. Does 41 = j?
False
Let t be (-2)/6*234/(-65). Let b be (-2)/7 - 16/(-7). Which is smaller: b or t?
t
Let d = -130 + 653/5. Is 1 greater than d?
True
Let n = -1 + -1. Let k be 2383/(-1000) + 0 - n. Let q = k - -1/125. Which is smaller: q or -1?
-1
Let h be (-2 + 2)/((-6)/(-3)). Let o be (-4)/(-6) - h/(-6). Let k = 0 + 2. Which is smaller: k or o?
o
Suppose i - 4*z - 16 = 0, -28 = -3*i - 2*z + 4*z. Which is smaller: i or 9?
i
Suppose 0 = 4*z - 2*z - 6. Suppose 0 = z*o + 4*y + 3, 5*o + 0*y + 5 = 4*y. Suppose 4 - 3 = f. Which is bigger: f or o?
f
Suppose 4*d + 3 = -5*g + 1, 5*g = 2*d + 16. Suppose g*q - q + 9 = 2*m, -2*m + 4 = 4*q. Let s(n) = -n**3 - 3*n**2 - n. Let w be s(-2). Is q < w?
False
Let c be 6/(-8)*(-10)/345. Which is greater: c or 0?
c
Let q = 6 + -6.1. Let x = -0.1 + 0.3. Is x greater than q?
True
Let x = -55.7 + 58. Let c = x + 0.7. Let l = -3 + c. Is 0 greater than l?
False
Let f = -1/17 - 25/153. Suppose -4*u = 3*l + 17, -u - 1 = -5*l - 14. Let k be u + (12/3 - 3). Which is smaller: k or f?
k
Let j be ((-1)/2 + 1)*0. Suppose j = 2*i + 4*l + 2 - 10, -3*l = -2*i - 13. Let x = 0.01 + -2.01. Is x at least i?
True
Let f be 2 + -3*6/9. Suppose 3*k + 5*p - p - 19 = 0, -4*k + 4*p - 12 = f. Is k at least as big as -1/4?
True
Suppose 7*m + 10 = 9*m. Is m less than 6?
True
Suppose -4*j + 12 = -j. Let h be j/3 - 24/8. Is h at most as big as -2?
False
Let q = -14 + 11. Is -2 less than q?
False
Let t = -51 - -23. Which is smaller: t or 1?
t
Let z be 2/(-11) - -50*(-20)/550. Are z and -5/6 unequal?
True
Let h = -2/13 + -31/52. Which is smaller: h or -2?
-2
Let c be 3 - 2/(2/3). Suppose -3*w + 1 + 2 = c. Which is smaller: w or -2/9?
-2/9
Let u = -2331/55 + 211/5. Suppose 0 = -2*c + 4*v + 6, -3*c + v + 14 = 5. Suppose 0 = -c*x + 2*x - 5*f - 6, -2*f - 7 = 5*x. Which is greater: x or u?
u
Let z = 63506/49 - 1296. Which is smaller: 1 or z?
z
Let q = 7 - 8. Which is smaller: q or -6/23?
q
Let x be (-1)/(-3)*6/7. Let v be (1 - 8/10)/(1/(-5)). Is v >= x?
False
Let j = 18.72 - 18.8. Let t = -3 - -2. Which is bigger: j or t?
j
Let h = -5 - -23. Let n = 42 - h. Suppose -5*a = -i - n, -a - 2*i - 4 = -0. Which is smaller: a or 5?
a
Let g = 6 - 11. Let u = g + 5. Which is smaller: 0.1 or u?
u
Suppose -o = 3*o - 8. Suppose 0 = -3*s - 5*d + 14 - 5, o*s = -3*d + 6. Suppose -s*q - x - 3 = 0, q = -0*x - x - 3. Is q equal to 2/11?
False
Let t(p) = -p**2 - 7*p - 4. Let h be t(-6). Let g be -6*h/4 - 2. Which is greater: g or -4?
-4
Suppose 0 = 5*i + 3*y - 57, -i - 4 = 2*y - 21. Suppose -5*q = 3*u - i, u - 2*q + q = 3. Suppose 5*p + 4 + 1 = -r, -u*r = 0. Is p equal to -1?
True
Let p = -39 + 739/19. Let f = -32/57 + p. Which is bigger: -2/9 or f?
-2/9
Suppose -5*m - 4*m = -126. Is m at least 12?
True
Suppose -22 = -2*l + 2*q, q = -2*q. Which is greater: l or 12?
12
Let q = 36 - 31. Is q greater than -3?
True
Let f = 22/15 + -4/5. Let j be 2/2*(-1 + 1). Let r be (0/(-4) + j)/(-1). Which is bigger: f or r?
f
Let t be (-4)/22 - (-261024)/5775. Let s = t + -314/7. Let u = 37/75 - s. Which is bigger: -2/3 or u?
u
Let w = 79/20 + -21/5. Does w = 19?
False
Let a be (-6)/(-15) - (-43)/5. Suppose -3*n + 10 = t, -3*n = -0 - a. Let c = -6/77 + -201/385. Which is smaller: t or c?
c
Suppose -2*s = -3*s. Let x be 0 - 0 - (-11)/7. Let b = x + -113/63. Which is greater: s or b?
s
Let f(m) = -m**2 - 3*m + 2. Let s be f(-3). Let k(q) = 14*q - 9. Let v be k(6). Let z be (-2 - 1) + v/21. Is z < s?
True
Let n(p) = p - 3. Let g(r) = -2*r + 5. Let z(y) = -3*g(y) - 5*n(y). Let h be z(-3). Let v = 2 + -2.1. Is h > v?
False
Suppose 3*t - 7 = 2. Suppose 0 = -5*r - t*v, -r - 21 = -3*r + 3*v. Suppose q - r = -2*q. Is 2 greater than q?
True
Let z be (8/16)/((-1)/(-46)). Do 23 and z have the same value?
True
Let r be -449*(-8)/(-5068) - -1. Let u = 1/181 - r. Which is greater: -1 or u?
u
Let n = -2.2 - -2. Let p be 44/40 - (-9)/(-6). Which is smaller: p or n?
p
Let w(i) = -i**2 - 26*i + 3. Let u be w(-26). Is u bigger than 16/5?
False
Let f = 6 + -5. Let k = f + 4. Let a = -4.9 + k. Is 1 smaller than a?
False
Let d = 1 + 2. Suppose 10 = 2*b + d*b + 5*p, 2*p - 8 = 0. Let q be 0 + 0 + 2 + b. Does q = 1?
False
Let b = 3/40 - -71/120. Let x = 3 - 1. Suppose d - x + 1 = 0. Is d less than b?
False
Let n = -19 - -20. Suppose -3*k - 4 + 1 = 0. Let m be (4 - (-1)/k) + -2. Is n > m?
False
Let w be 2 + (-394)/393*(-2)/(-1). Is w greater than or equal to -1?
True
Suppose -4*i = 3*x - 19, i = 2*x + 2 - 0. Let d be -2 - x - -1 - 0. Let c be (-1)/(-4) + 7/(-4). Is c not equal to d?
True
Let u be -1 - (102021/15 - -1). Let r = u - -6725. Let w = r - -79. Which is smaller: w or 1?
w
Suppose -x - 31 = -0*p + 2*p, -2*p = -x + 21. Is 0.2 less than p?
False
Let k = -73 - -52. Let p = 21.3 + k. Let q = -30 - -59/2. Is q equal to p?
False
Let d be (4*-1)/(2/(-4)). Suppose o + 4*l - d = 2*l, 0 = 3*o - 5*l - 2. Suppose 6 = 3*q + o*i - 7, -q + 2 = -i. Are q and 4 equal?
False
Let h be (-1)/((-1)/5*-1). Let s be (0 - (-3)/(-1)) + -1. Let f = h - s. Is -1 <= f?
True
Let c = -65 + 50. Is -1 less than c?
False
Let r(m) = -5*m**2 + 19*m - 12. Let p be r(3). Let w be 64/(-114) - 2/(-3). Which is smaller: p or w?
p
Let w = 7 - 14. Let o(q) = -q**3 + 3*q**2 - q + 1. Let u be o(2). Suppose -5*k - 24 = -4*h, -u*k = -4*k + 2*h. Which is greater: k or w?
w
Let j = -53/28 - -9/14. Suppose 2*f + 4*g + 10 = 0, 13*g = 2*f + 12*g. Which is smaller: f or j?
j
Let u be 86/22 + 0 + -3. Let w be 10/(-11) + (-4)/(-10). Let b = w + u. Is b < -1?
False
Let n = 0.1 + 0. Let l = 0.9 + -1. Which is greater: n or l?
n
Let a = 271 + -270. Let k = -8 - -3. Which is smaller: k or a?
k
Suppose 0 = -5*b + 17 + 3. Let c be b/(10/(1 - -1)). Is 2 greater 