= -m**2 - 25*m - 58. Let r be u(-22). Are r and 7 equal?
False
Suppose i + 2*l + 4 = 1, i - 25 = 5*l. Suppose -i*c = -6 - 19. Suppose -q + 4*g = 8*g - 1, g = -c*q - 14. Which is bigger: q or -2?
-2
Let t(n) = n**2 - 6*n + 5. Let f be t(7). Let v = f - 8. Let l be (-2 - (-2 + -5)) + -1. Do l and v have the same value?
True
Let y = -20 - -17. Is -2 > y?
True
Let x(l) = l - 5. Let q be x(6). Suppose -3*b = 3*h, -5*h - 7 = 3*b + q. Suppose -14 = 2*y - 4. Which is smaller: y or h?
y
Let u be ((-6)/(-9))/((-2)/15). Let p = -3 - u. Suppose h - 1 - p = -v, -2*h = -4. Is v greater than 1?
False
Let a = -6 - -6. Suppose c - 20 + 7 = a. Are c and 14 equal?
False
Let c(l) = -l + 6. Let t = 15 + -11. Let r be c(t). Which is greater: r or 1?
r
Let r = 6 - -1. Let c be 21/24*3/r. Is c at least -1?
True
Suppose -3*i - 6 - 67 = -y, -94 = 4*i - 3*y. Let g be (-5)/i - (-48)/10. Suppose 0 = -4*m + 3*m - g. Which is smaller: -3 or m?
m
Let a = 14 - 11. Which is bigger: a or 8?
8
Let d be (-11)/55 + (-3)/(-5). Is d at most as big as 0.11?
False
Let b = 59.7 - 56. Let z = -0.02 + 4.02. Let x = z - b. Is x smaller than 1?
True
Let j be (-175)/30*12/39. Let q = 663 - 8625/13. Let v = j - q. Which is smaller: v or 0?
v
Suppose q + 4*q - 5 = 0. Let p = 93 - 645/7. Is q > p?
True
Let p(y) = -y**3 + 9*y**2 + 2*y - 2. Let t be p(9). Let b be (t/42)/((-8)/12). Suppose -2*h + 3*z - 9 = -5*h, 0 = 3*h - 3*z + 9. Is b equal to h?
False
Let p = 0.081 - -0.019. Is 11/6 less than or equal to p?
False
Let i = -12 - -14. Let f be i - 18/10 - 0. Which is smaller: f or 2/7?
f
Suppose 71 = 11*m + 203. Which is bigger: -11 or m?
-11
Let o(y) = y + 9. Let w be o(-7). Suppose -4*t + w*t = 0. Let d = -296/1183 + -6/169. Which is smaller: t or d?
d
Suppose 5 = -4*r - 3*o, -o + 20 = 3*o. Is -2 greater than or equal to r?
True
Let z = 0.8 - -0.2. Let a = 9.35 + 3.65. Is a less than z?
False
Let m be (-2)/(-24)*(1 - -1). Let d = 1 + -1. Which is bigger: m or d?
m
Suppose -5*n + 2 - 21 = -2*h, 2*n + 5*h + 25 = 0. Which is bigger: n or -7?
n
Let f = 4 - 5. Let l = 28 - 27.9. Are f and l nonequal?
True
Let g be (-3 + (-978)/(-324))/((-16)/6). Which is smaller: 1 or g?
g
Let q be (-2 - -3)/((-2)/22). Let n = q - -20. Which is greater: n or 8?
n
Let b be 52147/(-627) - (1 - 0). Let l = b - -1476/19. Let m = l - -20/3. Is m not equal to 1?
True
Let w(b) = -2*b**2 - 4*b - 5. Let f be w(-4). Let x be 0 + 1/(f/6438). Let j = -306 - x. Are 2 and j unequal?
True
Let p = 7 + -6. Let h be 8/(-16)*(0 + p). Are h and 0 equal?
False
Suppose 0 = -2*k - 2*k - 8. Let m be (2/k)/((-4)/8). Let u be (12/15)/(m/5). Is u bigger than 4?
False
Let y = -2.95 + 3. Let z = 79 + -79. Which is smaller: y or z?
z
Let n(g) = -g**2 - 13*g. Let y be n(-13). Which is smaller: y or -6/11?
-6/11
Let h(z) = z - 3. Let u be h(4). Suppose n = -0*k - k - u, -4*n - 3 = 3*k. Does 3/13 = n?
False
Let k = 14 + -23. Let h be 0 - (-4)/k*1. Which is smaller: h or 0?
h
Let d = 11 + -5. Is 6 at most d?
True
Let j be (16/(-32))/((-3)/(-2)). Let a be (3/(-4) - 1) + 2. Which is smaller: j or a?
j
Let s be (-2)/(-4) + (-5)/(-2). Suppose s*a = a + 2. Do 16 and a have the same value?
False
Let q(a) be the second derivative of -a**5/20 + 2*a**4/3 - a**3 - 5*a**2 + 2*a. Let v be q(7). Which is bigger: v or -5?
v
Let q = 71.2 - 79. Let l = -1.7 - -9.7. Let w = q + l. Which is smaller: 1 or w?
w
Let a(w) = w + 16. Let x be a(-5). Do 12 and x have different values?
True
Suppose -2*g + 2 + 2 = 0. Let k be (-1)/(-2) + 1/6. Is k smaller than g?
True
Suppose 3*w = -t + 15, -4*t = 3*w - 12 - 3. Suppose -w*u = -2*i + 2, 2*u = 2*i + 4*u - 2. Let f = -0.9 + 1.4. Is i >= f?
True
Let y be 5 + -8*1/2. Do -2 and y have different values?
True
Let b = 4/101625 - -226522097/711375. Let s(u) = -u - 319. Let m be s(0). Let j = b + m. Which is bigger: j or -2?
j
Let t = -1209/76 + 63/4. Do -1/3 and t have the same value?
False
Suppose 4*j - z - 9 = 0, -j + 5*z + 11 = 2*j. Let w be -1 + 1*12/j. Which is greater: w or 4?
w
Let o be (40/(-4))/((-26)/(-4)). Let r = o + -51/26. Which is bigger: -5 or r?
r
Let m = 1.7 - 1.8. Let f be 2/(-1) - 34/(-12). Which is greater: m or f?
f
Suppose -y = 3*b - 47, -2*y - 32 = -4*b + 14. Let d be (1/2)/((-7)/b). Is -4/9 smaller than d?
False
Let w = -187 - -1313/7. Let d = w - 6/35. Let u be 2*(-1 + 6/4). Do d and u have the same value?
False
Let f = -5 - -10. Let q(m) = -m**2 - 5*m + 1. Let t be q(-5). Let w = 3 + t. Is f greater than or equal to w?
True
Let z(m) = m - 13. Let k be z(9). Is -25/6 <= k?
True
Let z = 1163930/21 + -55405. Let u = -61/3 + z. Let d = 17/42 - u. Is 1/2 not equal to d?
False
Let a = -16 + 22. Let i be a*3/(-6) - -5. Suppose 0 = r + r - 8. Is i smaller than r?
True
Let h(u) = u**3 - u**2 - u - 8. Let z be h(0). Suppose 0 = -p + 2*w - 3, 5*p = -0*p + 5*w. Let k be ((4 - p) + z)/1. Is k at least -7?
True
Let o(j) be the third derivative of j**4/12 + 7*j**3/6 + 2*j**2. Let f be o(-5). Is f at most as big as -3/2?
True
Let u = 1 - 2. Let m be (-3)/(-9) + u/3. Let i = -1 + m. Which is smaller: i or -3?
-3
Let g = -12 + 13.8. Let s = 0.8 - g. Is s at least as big as 2?
False
Let d = -7 - -5. Let r be (4 + -4)*d/2. Suppose n - 3*q + 0 + 2 = 0, -2 = n + 4*q. Which is smaller: r or n?
n
Let p = -0.4 - -0.3. Let g = p - 0.9. Is g at most 1?
True
Suppose -o - o + 6 = 0. Suppose 7*j = 2*j + 10. Suppose -u - o = j*u. Which is smaller: -1/2 or u?
u
Let y(s) = -4*s**2 - 6*s. Let n(k) = 7*k**2 + 11*k - 1. Let w(i) = 3*n(i) + 5*y(i). Let u be w(-4). Is u less than -1/7?
False
Let h(o) = o**2 - 3*o - 2. Suppose 16 = -4*a + 40. Let x be (-3)/a*(1 - 9). Let f be h(x). Which is smaller: f or 1?
1
Let s = 14.7 + -14.7. Which is smaller: s or 18?
s
Let f = -0.2 + -0.8. Let j = -39 - -42.7. Let g = j + -4. Is g less than f?
False
Let x = 9 + -8. Let c = x + -1.2. Which is smaller: c or 0.04?
c
Let a = -13 + 17. Suppose 5*c - 3*h - 10 = 0, 2*c = 3*c - a*h - 2. Which is smaller: c or 1?
1
Let y = -15 - -15. Suppose -4*p = -4*g + 20, 4*g - 2*p + 0*p - 26 = y. Is 4 <= g?
True
Let f = 19 - 14. Let i = -4.5 + f. Is 2 <= i?
False
Let u = 3 - 4. Let v = -6 - -4. Let l = u - v. Is 1 smaller than l?
False
Let x be (123/6)/((-8)/(-20)). Let o = 51 - x. Which is greater: -1 or o?
o
Let n be 2 + -2 - (-3 + 1). Let k be 1/15 + n/6. Let v be 1*(-1 + 0 + 1). Is v bigger than k?
False
Let f(v) = v + 7. Let r(d) = 3*d + 15. Let i(j) = -5*f(j) + 2*r(j). Let u be i(6). Let q = -2 + 1. Which is smaller: u or q?
q
Let j be (-177)/(-12) + (-1 - -2)/2. Is j smaller than 0.1?
False
Let k(q) = -2*q - q**2 + q + 0*q + 3*q - 1. Let m be k(3). Let d(j) = j + 4. Let b be d(m). Is -1 < b?
True
Let f(h) = h**3 + 8*h**2 + 5*h - 11. Let s be f(-7). Which is bigger: -8 or s?
s
Suppose -5*f - 5*l + 15 = 0, 2*f - 6*l + 2*l - 12 = 0. Let j be f/(32/(-21)) + 3. Which is smaller: 0 or j?
0
Let v be (54/(-8))/(15/(-40)). Let c = 12 - v. Is c greater than or equal to -7?
True
Let h = 68729/35 + -10207/5. Let o = -78 - h. Let c be 8/6*12/40. Is o at most c?
True
Let v(p) = -p**3 - 15*p**2 + 17*p + 16. Let z be v(-16). Let u(o) = o + 5. Let i be u(-4). Which is smaller: i or z?
z
Let d = -0.1 + 1.1. Let n = 9 + -7. Which is bigger: d or n?
n
Let c = 15 + -11. Suppose a - c*a = 0. Is a at least 4?
False
Let b be (-12)/8*3*6/(-99). Which is smaller: -0.1 or b?
-0.1
Suppose 25 = 5*y, -3*o + 3*y = 5 + 10. Suppose 0 = 2*b + 7 + 1, 4*c = -b - 620. Let d be 12/66 + 50/c. Which is smaller: o or d?
d
Let d(h) = 3*h**2 - 3*h - 2. Let l be d(-2). Which is bigger: l or 33/2?
33/2
Let m = -732 + 2881/4. Let j = 12 + m. Suppose -3*x + 3 + 0 = 0. Is j bigger than x?
False
Suppose 0 = 3*i - 8 - 4. Suppose i*o = -d + 1, 0 = 4*d + 4*o - 2 - 2. Which is greater: d or 2/5?
d
Let d = 35 - 35. Which is smaller: d or 2/13?
d
Let a = 0.14 - -1.16. Let j = 3.3 - a. Is j less than 2?
False
Let v(m) = -m + 7. Let t be v(6). Is t >= 2?
False
Let p = -29 + 29. Let c(i) = i + 2. Let n be c(-6). Let b be n/10 + (-3)/(-45). Which is smaller: b or p?
b
Suppose -a = -4 - 1. Is a greater than or equal to 3?
True
Suppose -5*g - 2*c - 2*c = -212, 4*g = 4*c + 148. Is g bigger than 40?
False
Let o(x) = x**2 + 10*x + 21. Let t be o(-5). Which is smaller: -7 or t?
-7
Let x = -318 + 11768/37. Which is smaller: 1 or x