et b(u) = 2*u - 7. Let o be b(4). Let j be (1 + o - 5) + -6. Let c be 15*(21/j - -2). Do -4 and c have the same value?
False
Suppose 3*t - 5*y = -7, -4*t + y - 3 = -5. Let s = 14/19 + -499/703. Is t less than or equal to s?
False
Let r be 15*(-11)/33 - (-365)/(-9). Which is bigger: r or -47?
r
Let r = 15 + -13. Suppose 0 = p + p + r. Let g be (-4)/7 - p/2. Is g smaller than 0?
True
Let y be (0 - 1052)*99/(-180). Let q = y + -576. Which is smaller: 2 or q?
2
Let c(b) = b + 8. Let v be c(-1). Suppose 0*x + 553 = -v*x. Are x and -78 equal?
False
Let u(c) = -c**2 + 31*c - 128. Let y be u(26). Which is greater: y or 1/4?
y
Let c = 9/55 - 393/385. Are c and 3 non-equal?
True
Let a be 3085/6 + (-31)/186. Is 515 bigger than a?
True
Let d = -33 - -56. Let s = -23.2 + d. Which is smaller: s or -0.01?
s
Let r be (-13)/(273/(-56))*(-1)/(-3). Let j be (-2)/12 + 26/12. Suppose -4*g - 2*i + 7 + 9 = 0, i + j = 3*g. Is r greater than g?
False
Let p = 17327/17 + -1019. Let l = -374/9 - -124/3. Which is smaller: p or l?
l
Suppose 123*t - 118*t = -25. Let i = 10 + -17. Is t less than i?
False
Let t(i) = i. Let q be t(0). Suppose q = -5*u + 2*l - 22, 0*u + 3*l = -2*u - 5. Let r be 6/8 + 3/u. Is -4/9 greater than or equal to r?
False
Let m(p) = p**3 + 8*p**2 + 4*p - 19. Let l be m(-7). Suppose -2*j - 8 = 0, l*s + j + 6 = -0*s. Let r = -4832/15 - -322. Is s not equal to r?
True
Suppose -n - 32 = -3*s + 5, -s = 2*n - 24. Let h = -22 + s. Is h < 2/9?
True
Let b be ((-4)/(-750))/((-5)/(-50)). Which is bigger: 1 or b?
1
Suppose -2*r + 16 = 2*n + n, 0 = -4*n - 4*r + 24. Suppose 0 = n*m + g + 252, 2*m - g + 127 = 1. Which is smaller: -64 or m?
-64
Let k = -139 + 68. Is -0.1 at least k?
True
Suppose 30*k - 18767 = 79*k. Which is smaller: k or -386?
-386
Let n(q) be the second derivative of -q**5/20 - 11*q**4/12 - 7*q**3/3 - 5*q**2/2 - 22*q. Let g be n(-10). Which is greater: 34 or g?
g
Let d = 873 + -2617/3. Which is smaller: d or 185?
d
Let j be 1 - -93*(-35)/15. Which is smaller: -217 or j?
-217
Let w = 57.8 + -53. Let q = -1.3 - w. Which is smaller: q or 0.1?
q
Let t(m) = -209*m - 105. Let h be t(-7). Is 1359 bigger than h?
True
Let q(r) = -r**2 - 2*r + 11. Let p be q(-5). Let v be 4 - p/(1 + -5). Suppose -i = v*i - 12. Which is smaller: 4 or i?
i
Let m(q) = -4*q + 6. Let p be m(-7). Let f = 22 - p. Let v be 7 - (-3)/f*4. Is 8 at least as big as v?
True
Let l be (-9)/(270/12)*2*5. Let h be (l + 3 + 2)*-1. Which is smaller: -2/31 or h?
h
Suppose -159*t = -156*t. Is t < -10?
False
Let q(p) = -3*p - 12. Let b be 132/18*(1 - -2). Let h = -27 + b. Let m be q(h). Is 0.03 equal to m?
False
Let r be ((-20)/8 - -1)/((-24)/320). Which is smaller: r or 104/5?
r
Let m = 15.023 + -0.023. Let d = -14 + m. Do -16 and d have the same value?
False
Let d = -657 - -1102. Is d < 444?
False
Suppose 2*g + 4*c = -g + 12, 3*g = 5*c - 15. Suppose 0 = -g*n + 5*n - 660. Let y = n + -1714/13. Is -2/7 at least y?
False
Let i = -144918/67 - -2163. Are i and 1/4 nonequal?
True
Suppose 2*t + t = 3. Let b = 19 + -15. Suppose -b*j = s - 1, 0 = -2*j + 3*s + 18 - 7. Is j > t?
False
Suppose 4*y + 0*y = 5*j - 25, -3*y = 2*j - 10. Suppose y*u + 41 = -u. Let x = -285/7 - u. Does 0 = x?
False
Suppose -4*u - 1015 = 1185. Which is smaller: u or -552?
-552
Let w = -6701 + 6700. Let z be 55/(-114) + (-3)/(-6). Which is bigger: w or z?
z
Let x be 3/(3*4/172). Suppose 5*z = 2*a - x, 0 = 3*a + 2*a - z - 50. Which is greater: a or 5?
a
Suppose r = s - 0*s - 33, 0 = -2*s. Let d = r + 52. Are d and 19 nonequal?
False
Let o(y) = y**3 + 4*y**2 + 3*y. Let d be o(-3). Let v be 13 - ((-5082)/(-222) + -10). Is v bigger than d?
True
Suppose -18*o - 417 = 231. Which is bigger: 0 or o?
0
Let l = -0.028 - -0.148. Let p = -1.32 + 1.1. Let q = l + p. Is q at least -1?
True
Suppose -3*b + 16 = 13. Let h be 74/(-210) - 4/(-10). Is h > b?
False
Let k = -77 + -23. Let h = -100 - k. Which is smaller: 3/14 or h?
h
Suppose -5*x - 181 = -2*r - 19, 3*x = 5*r - 82. Is -25 < x?
False
Let d = -75853/10 - -7568. Let h = d + 568/35. Which is greater: 0 or h?
0
Let y = 93/82 - 12191/410. Is -28 at most as big as y?
False
Let f = -0.22 - -0.15. Let r = 1.27 + f. Let o = 1 - r. Are o and 0.2 nonequal?
True
Let z(w) = -w**3 + 2*w - 1. Let f be z(1). Let h be (-2)/(3 - (0 - f)). Which is smaller: -0.07 or h?
h
Let b(l) = 5*l - 16. Let z be b(7). Which is smaller: 16 or z?
16
Suppose 133*g + 609 = 132*g. Is g smaller than -607?
True
Let r be (1 + 9/(-6))*0. Let f(d) = -2*d + 38. Let s be f(17). Suppose -b - b + s = r. Is b smaller than 2/3?
False
Let n be (2/1)/(-1 - 1). Let x be 1 + -3 + n + 2. Is 1/214 < x?
False
Let z = 1.36 - 1.26. Are 2/199 and z unequal?
True
Let q = 495 - 538.9. Let m = -44 - q. Which is greater: 0.9 or m?
0.9
Let n be 5230/(-581) - (25 + -34). Is n < 1?
True
Let j = 1 + -2. Let c be 35/(-312) + (-52)/(-338). Is c less than or equal to j?
False
Let s(c) = 11*c - 443. Let z be s(52). Which is greater: z or 3?
z
Suppose -11*o - 2*o = 0. Let x be 0/8 + (o - -15). Which is smaller: x or 11?
11
Let k = 15.94 - 16. Let j = 3.94 - k. Let s = 9 - j. Is -1/3 at least s?
False
Let d = -617 + 1466. Let v be (-157902)/(-124)*(-6)/9. Let y = v + d. Is 0 less than y?
True
Let h be 0*((-2)/2)/2. Suppose 10 = y - h*y. Let p = -12 + y. Does p = 0?
False
Let r(j) = -2*j - 3. Let o be r(-4). Suppose b - 5*c + 19 = 0, -4*b + 5*b + c = o. Suppose 7 = -h + s, -h - 4*s + b = 4*h. Is -9/5 equal to h?
False
Let k = 0.0411 + -3.5411. Is -2 bigger than k?
True
Let b be (7 - 5) + 53 - 11. Which is smaller: b or 46?
b
Suppose -5*d - x - 5 = -10*d, 4*d = 4*x - 12. Let o = -4/31 - -268/155. Which is greater: o or d?
d
Let l = -101/20 + 5. Let q(g) = -g + 17. Let i be q(10). Let s = -6 + i. Which is bigger: l or s?
s
Suppose 10*z - 2 = -2. Let v be 4/(-18) - (-200)/(-72). Let j be v/19*3/(-9). Is z >= j?
False
Let q(x) = x**3 + 3*x**2 - 3*x + 5. Let c be q(-4). Let z be ((-4 - -6) + -9)*1. Let f be (-3 - (z + 4))/c. Is f greater than or equal to 3/4?
False
Let t = -1735 + 1465. Is -273 smaller than t?
True
Suppose -2*p + 5 = 3. Let q be 2/4 + 33/22. Suppose 2*n = -q, -b - 4*b = -4*n + p. Is 3 less than b?
False
Let w = 67 + -75. Let n(z) = -z**2 - 9*z + 2. Suppose 30 = f - 4*f. Let b be n(f). Is w at most b?
True
Suppose -z = -6*z + 7*z. Is z less than -3/155?
False
Let c = -9 + 12. Let x be (-2 + 1)*(-1 + c). Let l = -4 - x. Which is greater: -3 or l?
l
Suppose -2*g - 2*j - 79 - 153 = 0, 0 = -3*g + j - 340. Which is smaller: g or -115?
-115
Let k(a) be the third derivative of -a**5/60 - a**4/3 - 17*a**2 - 3. Let o = 16 - 24. Let l be k(o). Is l at least as big as -2?
True
Let i = 2441/68640 - -1/1248. Suppose d - 15 = -2*d. Let k = d + -5. Is k >= i?
False
Let s be ((-102)/(-1173))/(-1 + -9). Which is smaller: s or 0?
s
Let a be 162/6 - (-1 - -4). Suppose -a = -3*m - m. Let v = m - 7. Which is bigger: v or 4/15?
4/15
Let c(o) = o**3 - 11*o**2 + 11*o - 11. Let z be c(10). Suppose 4*y - g = 6*y - 332, -144 = -y + 5*g. Let v = y + -4099/25. Is v bigger than z?
True
Let l be (-4)/((-76)/(0 + -4)). Is l at most as big as 0?
True
Let n = 16 + -11. Suppose 0 = n*d - 3*z + 50, -3*d + 7*z - 4*z = 36. Let l(q) = -q**2 - 19*q + 1024. Let c be l(24). Which is smaller: d or c?
c
Suppose -3*w - 18 = 4*j, w + 0 = -j - 4. Let n be (-8)/3 + (-112)/48. Which is smaller: j or n?
j
Suppose -40*o + 19389 - 1829 = 0. Is 439 > o?
False
Let f(x) = -3*x**2 + 3*x - 3. Let w be f(1). Let v be (1 - 4) + (-1 - w). Is v >= -2/9?
False
Let b = -16.276 - -13.276. Let i = -5 + 12. Is i bigger than b?
True
Let u = 0.754 + -487.754. Which is bigger: u or -2/5?
-2/5
Let o = -5 + 7. Suppose -3*z - 35 = n, o*z + 162 = -0*n - 5*n. Let l = n + 35. Do 3 and l have different values?
False
Let b = -11 + 12. Suppose k + b = -0. Let l be k/2 - (-2)/3. Is 0 at most as big as l?
True
Suppose 0 = 21*y - 25*y + 8. Let p be (-1)/y*16/56. Which is greater: p or 0?
0
Let f(l) = -183*l - 102. Let i be f(-4). Is 630 equal to i?
True
Let q = -725 - -718. Which is smaller: q or -10?
-10
Suppose 48 = 13*k - 16*k. Let u = k - -17. Which is bigger: u or 3/2?
3/2
Let w be -3 - -3 - -4 - (-4155)/(-1035). Which is smaller: w or 0?
w
Let o = -5 - 9. Let p = 147.4 + -133. Let g = p + o. Which is bigger: -1 or g?
g
S