6. Let c be g(-16). Let i = c + 11. Let x = 6 + -7. Do x and i have the same value?
False
Let l = -42 - -23. Let d = l - -19. Suppose -2*x = x - z, d = 4*x - z. Which is smaller: x or 1?
x
Suppose c + 5*g = 107, 0 = 2*c + g - 2*g - 225. Let f be (2 - c/60)/((-8)/(-9)). Suppose 0 = -2*i + 5*i. Which is smaller: f or i?
i
Suppose -f - v - 2 = -0, 2*v = -4*f - 14. Let x be f*2*4/(-8). Let h = 0 - x. Which is greater: h or 0?
0
Let c(p) = -2*p + 21. Let t be c(7). Let g be -12 + t - (-1 - 11). Is 8 >= g?
True
Let c(n) = n**2 + 8*n + 2. Let l be c(-3). Is l greater than -83/6?
True
Let s be (-2220)/110 + (-2)/(-11). Is -17 > s?
True
Let d = -30 - -31. Is -2/147 greater than d?
False
Let i = -10 + 7. Let d = -5292 + 5290. Which is smaller: i or d?
i
Suppose -3*w = 5*v + 26, 2 = -v - 2. Let t be -1*1 + (-5 - w). Let a be 16/t + 3 + -2. Which is bigger: a or -1?
-1
Let g(f) = -11 + 6 + f - 1 + 0*f. Let n be g(5). Is n != -1?
False
Suppose 2*c + 73 = 7*c + r, 3*c = 2*r + 49. Suppose 0 = -4*d - 4*f - c + 3, 2*f = 5*d - 20. Let z = -6 - -7. Do d and z have different values?
True
Let y(p) = p**3 + 15*p**2 + 27*p + 14. Let f be y(-13). Which is smaller: f or -79?
-79
Let y(f) = -23*f - 38. Let z be y(1). Let o be (-40)/(-6)*(-11 + 2). Which is smaller: z or o?
z
Let f = -1587 - -1586. Which is bigger: 3/661 or f?
3/661
Let k = 1323/6578 + -7/46. Is k at least 1?
False
Suppose 0 = i - 5*i. Suppose 2*s + p = 21, -2*s + 9 = 2*p - 5*p. Suppose n - 3*q = q - s, 5*q = 2*n + 12. Do n and i have the same value?
False
Let c be (3/(-14))/((-3)/(-4)). Let k = -41 - -12. Let i = k - -29.2. Are c and i equal?
False
Let c(q) = -13*q + 91. Let p(n) = 3*n - 23. Let h(j) = -2*c(j) - 9*p(j). Let m be h(20). Does m = -1/4?
False
Let r = -1441 + 1431.97. Let t = 9 + r. Let u = -0.03 - t. Which is smaller: u or -0.09?
-0.09
Let l be (3 + (-25)/10)*(171 + 1). Do l and 260/3 have different values?
True
Let w = 14 - 16. Let z = w - -4. Let u be 0 - (16/7 - z). Which is bigger: -0.1 or u?
-0.1
Let f(z) = -9*z - 12. Let k be f(-2). Let v(y) = y**3 - 7*y**2 + 5*y + 7. Let c be v(k). Which is smaller: -6 or c?
-6
Let f = -36 + 36. Suppose -2*t + f*t + 2 = 0. Which is greater: 5/6 or t?
t
Suppose 0 = 7*l - 2*l + 20. Let z be 14/4 - l/8. Suppose -5*s + 4*r + 3 = -1, -r = -4. Is s less than z?
False
Suppose 5*i = 25, -4*c + 2*c - 4*i + 74 = 0. Suppose h = -2*h + c. Let v(s) = s**2 - 9*s. Let k be v(h). Which is smaller: -3/16 or k?
-3/16
Suppose -u + 5*x = 11, -5*x + 34 = 5*u - 1. Suppose j = 2 - u. Let c be 3 - (3 + 3 + -3). Is j <= c?
True
Suppose 3*m = 2*m - 4*s - 20, -s = -2*m - 13. Let b be -5*m/(-30)*12/(-40). Which is smaller: -24 or b?
-24
Let h = -0.0027 - 59.9973. Which is smaller: h or -0.2?
h
Let h = -1.77 + 0.77. Let s(u) = 11 - 3*u - 8 - 3. Let k be s(3). Are k and h equal?
False
Let s(a) = 7*a**2 - 3*a - 2. Let i be s(-2). Suppose 5*o = -2*k - k, -i = -4*k + 4*o. Which is greater: -2 or k?
k
Suppose 3*j = j + 8. Let z be -2 - j/((-24)/11). Does z = 0?
False
Let s(z) = 3*z + 4. Let w be s(-2). Let t be ((-3)/(-9))/(1/w). Let c = -7 + 6. Are t and c non-equal?
True
Let h = -131.1 - -131. Let y be (-49)/(-21)*(-2)/(16/30). Which is greater: h or y?
h
Let z = -5.8624 + -0.1376. Let s = 0.17 + -0.1. Let o = -0.37 + s. Is z at least o?
False
Let g = 323 - -2. Is g > 324?
True
Suppose -3*r = -4*r - 9. Suppose -2*m + 0*o + 178 = 3*o, -o - 4 = 0. Let f = 87 - m. Which is smaller: r or f?
r
Let z = -31.88 + -0.12. Let b = z + 34. Which is smaller: -1/9 or b?
-1/9
Let r(o) = -2*o + 1. Let s = -16 - -22. Let z be r(s). Let w be (-357)/33 + (-4)/22. Is w equal to z?
True
Let w = 268 - 11523/43. Which is greater: 4 or w?
4
Let z be 1/4 + (-791)/452. Let v = -0.02 - 2.98. Is v != z?
True
Let j = 13 + -8. Let c(n) = n**3 + 8*n**2 + 13*n - 4. Let m be c(-4). Let h(i) = -i**2 + 10*i - 11. Let k be h(m). Are j and k equal?
True
Suppose 40 = 5*h - 10*h. Suppose -14 = 4*i + 2*l, 2*l - 7*l + 1 = i. Let k be (i/h)/(2/20). Do 0.2 and k have the same value?
False
Suppose 4*c + 2*c = 12. Let p be 30/(-45)*c/10. Which is smaller: -0.1 or p?
p
Suppose 3*z = -2*i + 4*i + 4, -z = 5*i + 10. Let b be (-2)/i*(-20 - -3). Which is smaller: b or -18?
-18
Let m be 1/(2*2/(-124)). Let k be (-9)/2*28/(-18)*300/(-70). Are k and m equal?
False
Let p = -0.4 - -6.4. Let m = p + -5.9. Are 0.18 and m unequal?
True
Let x be (-9 + 25)*9/60. Which is smaller: x or 3?
x
Let u = -19 + 5. Let i = u + 6. Let x = -8 - i. Which is bigger: 1 or x?
1
Let a = 26.3 + -35. Let c = a - -0.7. Let z = -1 + 0.7. Is c greater than z?
False
Let r be -71*((-5)/(-1) - 3). Let j = -141 - r. Which is greater: -1/111 or j?
j
Let z = 30 - 36. Let s = -2759/614 + -2/307. Is s bigger than z?
True
Let i be (-3)/(-24) - 126/(-144). Is i < -13?
False
Suppose -22 = 2*k + 5*f, -3*k - f - 33 = -6*f. Which is bigger: k or -4?
-4
Suppose -5*o + 3*q = -2*q, -q - 3 = -4*o. Let n be 2 - o*(2 + 5). Suppose -5*f - 3*c - 32 = -6*c, -4*c - 32 = 4*f. Which is smaller: f or n?
f
Let d be 12/10 + -1 - (-53)/(-240). Is 1 at most d?
False
Let n be (-4)/12*(5 + 58). Let d be (-70)/n*(81/(-25) - -3). Which is greater: d or -1?
d
Let i(y) = -2*y**3 - y**2 + 2*y + 1. Let x be i(-2). Suppose -194 + 32 = -18*p. Is p > x?
False
Suppose 0*l - 4*l + 5*j = 160, 3*l + 5*j = -155. Let o = l + 46. Which is greater: -3 or o?
o
Let w = -8 + 2. Let s be 3 + -2 + (-4)/w. Do s and 1 have different values?
True
Let v = 1115/63 + -194/9. Which is greater: v or -3?
-3
Let g(j) = -j**3 - 7*j**2 - 15*j - 12. Let a be g(-4). Suppose -4*u - 19 = 4*p + 49, -2*u - 4 = a. Do p and -41/3 have the same value?
False
Let s(g) = 2*g**2 - 32*g + 57. Let h be s(14). Does 1/94 = h?
False
Let k = -4 - -4. Suppose k = 6*f - f - 15. Suppose -a - 2*a = -f. Which is bigger: -1/5 or a?
a
Let z(r) = -3*r - 3. Let c be 5*2*(-1)/2. Let u be z(c). Let m = 12 - u. Which is bigger: -4 or m?
m
Let q(u) = -95*u - 1117. Let j be q(-11). Let n be ((-1)/2)/(1/146). Which is smaller: n or j?
n
Let d(n) = 3*n**2 + 19*n + 21. Let x be d(-5). Which is smaller: x or 4/41?
4/41
Let g = 15 - 9. Let s = 3479 - 3472. Is g greater than s?
False
Let z = -0.52 - 5.08. Let c = 1.4 - z. Let o = -27 + c. Which is greater: 1 or o?
1
Suppose -2*q + 5 = -f, 1 = 2*q + 3*f + 16. Let y(j) = -80*j - 11. Let n be y(-4). Let l = n + -2469/8. Is q <= l?
True
Let s = 56/29 + -1424/377. Suppose y + 2*a + 11 = 0, 0 = 4*y + 23*a - 22*a + 9. Which is greater: y or s?
y
Let m = 3 + 23. Let x be 29/9 + m/(-117). Suppose o + x = 8. Do o and 6 have the same value?
False
Let d(i) be the second derivative of -i**4/24 + 13*i**3/6 + i**2 - 5*i. Let l(q) be the first derivative of d(q). Let w be l(7). Which is smaller: 5 or w?
5
Let a(k) = -2*k**2 + 46*k + 44. Let p be a(24). Let r be (-9 - -11)/(1/((-6)/p)). Suppose 3*g + 0*g = 5*x - 14, -4 = -x. Which is smaller: r or g?
g
Let l = -14.13 - -14. Let m = -0.01 - l. Let q = 0.061 + 0.039. Are m and q unequal?
True
Suppose -10 = 5*w - 0*w, -4*w - 12 = -4*r. Let s = 20 - 101/5. Which is smaller: s or r?
s
Let c(o) = o**2 - 7*o - 6. Let t be c(8). Let a be 18/(-99) + (-70)/(-22). Suppose 5*n = 6*n - a. Which is greater: n or t?
n
Let y = 36.1 - 42.5. Let x = 5 + -2.6. Let l = x + y. Is -2/7 != l?
True
Let m be 195/(-140) - 3/(-12). Let a be 6/(-15)*(6 + -1). Are m and a unequal?
True
Let z be ((-18)/4)/((-9)/24). Suppose -z = -6*k + 2*k. Is 3 > k?
False
Let d be (-1 + 1)*12/12. Suppose -2*j - w + 10 = d, 0 = -2*j + 5*w + 8 + 2. Suppose -b = j - 4. Which is greater: -8/11 or b?
-8/11
Let l(i) = -i**3 - 1 + i + 3 + 5*i**2 - 4*i**2 - 3. Let o be l(0). Do -5/4 and o have the same value?
False
Let a = 15.011 - 0.011. Let o = -15.11 + a. Which is smaller: o or 1?
o
Let l = 5/17561 + -17719124/263415. Let v = 67 + l. Which is smaller: 1 or v?
v
Let p be -2 - (0 + 1)*4. Let t be (2/108)/(p/9). Let j = t - 65/252. Which is smaller: -3 or j?
-3
Let k(w) = -w + 12. Let p be k(15). Let x be (-3 - (p + 2))/9. Do 0 and x have different values?
True
Let s(u) = -u**2 - u + 14. Let l be ((-15)/4)/(9/(-12)). Suppose l*m + 6 = 2*m, -x = 2*m + 4. Let o be s(x). Are o and 13 unequal?
True
Let h = 1.9 + -41.9. Do h and -4 have the same value?
False
Let i(b) = -b**3 - 2*b**2 + b + 1. Let n be 0/8 + (1 - 4). Let v be i(n). Le