et c(x) = -x - 3. Let y be c(-7). Suppose 2*r - 6*r = 0, -4*r - 68 = -y*f. Is f >= 17?
True
Let a(y) = y + 3. Let s be a(-6). Let n = s + 3. Which is greater: 1 or n?
1
Let a be (0 + 1)*(-1 + 0). Let d be ((-1)/(-4))/((-703)/152). Are a and d non-equal?
True
Let m = 7 + 40. Is 48 >= m?
True
Let v = 17 - 8. Suppose -3*r + 0*r = v. Suppose -3*s = 21 - 9. Which is smaller: r or s?
s
Let o be (4/(-10))/((-3)/90). Let x be (1 + -3)/(-2 + 1). Suppose -m + x*d = d - 4, -d = -5*m + o. Which is bigger: 3 or m?
3
Let t be (5/15)/((-183)/(-18)). Are t and 0 unequal?
True
Let t(k) = k**2 + 6*k + 6. Let d be t(-4). Let j be (d - 5/(-2)) + 0. Which is smaller: 0 or j?
0
Let u be 1/((-2)/(-12)) + 3. Let w = 18 - u. Which is smaller: 8 or w?
8
Let k = 0.212 + -0.012. Which is greater: k or 0?
k
Let w be (5/15)/1*-2. Let f = -5.01 - -0.01. Which is bigger: w or f?
w
Let y = 0 - 7. Is -6 less than y?
False
Let d be ((-10)/8)/(1/(-16)). Is d at least as big as 21?
False
Suppose -5*h = -20, -4*y + 28 = -2*h + 3*h. Suppose -2*s = 0, -3*u - 6*s - y = -3*s. Is u at most -2?
True
Let v(p) = p + p + 0*p + 4. Let m be v(-3). Let a be (m/(-5))/((-1)/5). Is a less than -2?
False
Suppose -5*c + 3*l + 90 = 0, c - 5*l - 38 = -2*c. Suppose 4*n = -5*w - c, 4*n + 25 = -5*w - n. Which is greater: -2 or w?
w
Let d be (20/665)/(1 - -1). Let q = d + 256/665. Is -1 not equal to q?
True
Let l(x) = -x + 5. Let h be l(6). Let v be 27/(-5) + 2/5. Is v < h?
True
Suppose -2*b - 4 = j - 6, b - 10 = -5*j. Let k = -0.8 + 3.9. Let u = -0.1 + k. Is u at most as big as b?
False
Let w(j) = -j + 5. Let h be w(-7). Suppose h + 13 = 5*r. Suppose -3 = -r*c - 13. Which is greater: c or -1/2?
-1/2
Suppose -n + 6*n = -j - 19, 3 = -5*j - 2*n. Let u be (j*(-8)/(-34))/(-2). Is 1 at most u?
False
Let l = 5071 - 15053/3. Let q = -54 + l. Which is smaller: q or 2?
q
Let t = 5 + -4. Let c be (-3 - (1 - 2)) + t. Suppose -2*s + 4 = 2*s. Is c at most s?
True
Suppose 3*u + 50 = 4*b + 5*u, -3*u - 57 = -5*b. Which is bigger: 38/3 or b?
38/3
Suppose 0*s - 4*s - 4 = 0. Let w = s + 1. Let k(l) = -l. Let f be k(w). Which is bigger: 2/5 or f?
2/5
Suppose 6*o - 4*o + 16 = 0. Let f be 90/(-24) + (-6)/o. Which is smaller: -7/3 or f?
f
Let h = 12 + -6. Let l = -5 + h. Are l and -1 unequal?
True
Let z be (-89)/(-7) + 16/56. Let b = -15 + z. Is 1 not equal to b?
True
Let g = 38.04 + -38. Which is bigger: -0.2 or g?
g
Suppose -2*v + 4*v - 9 = r, 2*v - 13 = -3*r. Which is bigger: -0.1 or v?
v
Let g = -31 + 11. Let z = g + 61/3. Is z less than -0.1?
False
Let d(q) = 2*q + 2. Suppose 5*r + 45 = 3*n, 0 = r + 3*n - 6 - 3. Let a be d(r). Do a and -9 have the same value?
False
Let z be 9*(16/6 - 5). Which is bigger: -19 or z?
-19
Let y = -4 + 3. Suppose 3*o = 32 - 113. Let u be 1*(y + o/(-21)). Is -1 greater than u?
False
Let d be (-2)/(-8) + 35/20. Do d and 9/5 have the same value?
False
Suppose 2*v + v = 15. Suppose 6*o - 3*o = 4*h + 4, -3*o + v*h = -5. Let b = 1/6 - -1/12. Which is smaller: o or b?
o
Suppose 0 = -f - 2 + 1. Let z be -2 - (1 + 0 + f). Let i(s) = -s**2 - s + 4. Let k be i(-3). Is z greater than k?
False
Suppose -36 = -3*l - 0*l. Let q = 23/2 - l. Suppose h - 1 = 1. Which is smaller: h or q?
q
Suppose 0 = -v + 6*v + 20. Let m(q) = 2*q - 29. Let b be m(13). Are b and v equal?
False
Let k be 4/18 + (-7)/(-126)*89. Are 4 and k non-equal?
True
Let o = 79/68 - 31/34. Let g = -4 + 2. Let r = g - 0. Which is smaller: o or r?
r
Let j = -1.89 - 0.11. Which is bigger: -3/7 or j?
-3/7
Suppose -2*t - 5*s = t + 1, 29 = 3*t - s. Let d = 11 - t. Suppose 5*i = -d*r + 3*i - 13, 22 = 3*r - 5*i. Which is greater: r or 2/9?
2/9
Let m = 5 - 3. Which is bigger: m or 12/7?
m
Let a be (5 - -1)*9/18. Let s = -2 + 3. Let m be (-1)/15 - s/a. Is -2 > m?
False
Let t(f) be the second derivative of -f**4/12 - 7*f**3/6 - 2*f**2 + 2*f. Suppose 2*r = 4*v - 0*v + 24, 5*r + 3 = v. Let c be t(v). Is c < -4?
False
Suppose 0 = -2*x - 5 + 3. Let h be (x/8)/(-1)*1. Let v(t) = t**2 - 4*t + 4. Let d be v(3). Are h and d nonequal?
True
Suppose 0 = 4*y - 3*u - 5, -2*y + 20 = -7*y - 5*u. Let d be ((80/(-12))/4)/(8/6). Which is smaller: y or d?
d
Suppose -5*n - 4 = 4*u - 2, 0 = -3*u - 4*n - 2. Suppose 0 = -4*g - 4*i + 36, 3*g = 5*i - u - 3. Suppose 5*a = 5 + g. Is a smaller than 2?
False
Let q(i) = 6*i + 1. Let h be q(-1). Let a = h + 4. Which is greater: a or -2/15?
-2/15
Let v = 728 - 727. Let z be 2/3 + (-4)/6. Is v equal to z?
False
Let d be ((-2)/4)/(1/(-8)). Suppose -d*l = -l. Let k be (l - 0) + 10/(-35). Is 1 <= k?
False
Let b be (-3)/(-9) - 93/171. Are b and -1 equal?
False
Let d(f) = f**3 + 9*f**2 - f - 4. Let y be d(-9). Suppose y*q = -4*u - 0 - 7, 2*u + 5 = -q. Is 16/7 at least as big as q?
True
Let r be 20 + (-3)/(-3)*1. Let i be 20 - 1/2*-1. Let b = i - r. Is b less than or equal to 0.1?
True
Let n = 1225698 + -33085180/27. Let g = -321 + n. Which is smaller: g or 1?
g
Let a = 10287/160 - 321/5. Which is smaller: 1 or a?
a
Suppose -110 = 5*t - 4*p, -t - p = 4*t + 110. Which is bigger: -24 or t?
t
Suppose 13*c - 6 = 16*c. Is -2 smaller than c?
False
Let w be 1 + (-7)/((-28)/(-8)). Which is smaller: -8/19 or w?
w
Suppose -2*u - 4 = -2*o, -o = 4*u + 23 - 0. Let f(a) = 2*a + 0 + 5*a + 5 + a**2. Let i be f(u). Is -5 > i?
False
Let i = -27/4 - -181/28. Which is bigger: 0 or i?
0
Suppose t - 2*t = 0. Let p = -6 - -7. Let v be 1/((-3 - p) + 3). Do t and v have the same value?
False
Let o = 1.4 + -1.7. Is -1 at least as big as o?
False
Suppose 5*j = -15, 0*j - 4*j = 3*q. Let i = q - 2. Let d be -2 + ((-7)/(-2) - i). Which is smaller: 0 or d?
d
Let s(q) = q**3 - 9*q**2 + q - 7. Let h be s(9). Let a(n) = -2 + 2*n + h - n + 4. Let w be a(-3). Does w = 2?
False
Let k = 2 - 1. Suppose -1 = 4*x - 9. Let g = -1 - x. Is k at most as big as g?
False
Let y = 1 + 0. Let p = 55 + -54. Is p at least y?
True
Suppose -r + 251 = -5*i, 255 = r - 0*r - 3*i. Let q = -1309/5 + r. Which is smaller: -1 or q?
-1
Let q = 1 - 0. Suppose -r = -3*r + 2. Is q smaller than r?
False
Let l = 87.1 + -87. Which is smaller: -45 or l?
-45
Let g = -8 - -5. Is g < -1/6?
True
Let u = 8 + -3. Suppose 0 = u*r + 50. Let c be (r/(-15))/(4/(-6)). Is c less than or equal to 2?
True
Let s(l) = l**3 + 3*l**2 + 3*l + 1. Let n be s(-2). Let a = 4 + n. Let m be 2 + (-4)/((-24)/(-15)). Which is smaller: a or m?
m
Let r = -12 - -11. Is r smaller than 0.02?
True
Let i = 0.1 + -0.1. Let b = -145 - -160.05. Let l = b - 15. Which is bigger: l or i?
l
Let v be 1 + (-3 - -4)*1. Let k be (1 - -3) + 36/(-15). Which is bigger: k or v?
v
Let q(x) be the third derivative of -x**4/24 + x**3/6 - 2*x**2. Let j be q(1). Let w be j - 1 - (-3 - -3). Is w greater than or equal to 1?
False
Let n = -140 + 141. Which is smaller: n or 1/61?
1/61
Let h be (9/18)/(1/14). Is h at most as big as 7?
True
Let p = 2 - -1. Suppose -3*s = p*f - 3, -14 = 2*s - 7*s + 4*f. Which is bigger: s or 5?
5
Let m = -5.7 + 5.6. Which is smaller: m or -30?
-30
Let g be (1 - -1 - 1)*-19. Let d be 2316/126 + (-2)/(-7). Let o = g + d. Which is smaller: o or 0.2?
o
Let o = -6 + 0. Let s = -1.48 + 1.4. Let v = 0.18 + s. Is v less than o?
False
Let m be (-4)/(-16) - 76/176. Is m equal to -1/7?
False
Let z = -1.51 + 1.5. Are z and -0.6 equal?
False
Let k be 3 - 5 - 96/(-51). Is 0 smaller than k?
False
Let j(a) = 2*a**2 - 4*a + 1. Let y be j(2). Which is smaller: -1/6 or y?
-1/6
Suppose -4*b + 3*b = 0. Suppose 76 = -4*f - 136. Let w = -262/5 - f. Is w at least as big as b?
True
Suppose 0 = -2*o + j - 27, -5*o - 65 = 4*j - 6*j. Is o smaller than 1?
True
Let l(y) = y**2 - 2*y. Let z be l(3). Suppose o - 12 = 2. Suppose 16 = 3*p - 5*p + 5*x, 3*p + o = 5*x. Which is smaller: p or z?
p
Suppose -2*n - 3*w - 2 = -5*w, -n = -4*w + 7. Let h be 3 + (-2 - (-4 - -2)). Is n smaller than h?
True
Let u be (2 + -3)*(0 + -3). Suppose 12 - 3 = -u*o. Is -3 <= o?
True
Suppose -28*f + 3 = -25*f. Which is greater: f or -1/4?
f
Let f(s) = s**3 + 5*s**2 - 6*s + 2. Let z be f(-6). Let c be z + 3/(3/(-4)). Suppose -4*r = 19*r + 23. Which is smaller: c or r?
c
Suppose 0 = -5*h - 7 + 32. Let m = h - 9. Is -4 smaller than m?
False
Suppose 4*d + 2*h = 1348, -2*h = -d + 342 - 15. Let c be d/(-230) + (-3)/(-2). Which is bigger: c or 1?
1
Let u = -59 + 61. Do u and 2/11 have the same va