- 2*c = -1. Let p(q) = -3*q - 5. Let a be p(-4). Let n = x - a. Is -4/3 != n?
True
Let w be 4/1*20/(-16). Which is smaller: -56/9 or w?
-56/9
Let x(g) = -g**2 + 8*g + 19. Let t be x(10). Do t and 3 have the same value?
False
Let j be (6/9)/(10/135). Which is smaller: 15/2 or j?
15/2
Suppose 0 = 2*n - 3*z + 3, n = 6*n - 3*z + 3. Let k be ((-1)/(-6))/((-506)/(-464)). Let g = k + 2/69. Which is smaller: g or n?
n
Let v(k) be the first derivative of k**4/4 - 8*k**3/3 - 5*k**2 + 9*k - 1. Let y be v(9). Which is greater: -3/10 or y?
y
Let x(i) = -2*i + 2. Let t be x(3). Let q be t/9*(-21)/98. Is q at most as big as 0?
False
Let i be (0/2)/(-2 - -4). Suppose 4*l - 2*l = i. Let s = 2 + -2. Is s less than or equal to l?
True
Let j = -10 + 8. Which is greater: -0.1 or j?
-0.1
Let a be (2*2/(-4))/(-1). Which is bigger: -2/7 or a?
a
Let j be ((-8)/(-36) - -2) + -2. Is j not equal to -1/2?
True
Let d = 3.07 + -0.07. Let o = 0 - d. Which is smaller: 0.1 or o?
o
Let y = 95 + -94.8. Which is smaller: -1/27 or y?
-1/27
Let t(m) = -m**3 + m**2 + m + 1. Let h be t(2). Let v(c) = -8*c + 1. Let b be v(h). Let s be (-2)/3 + 6/b. Is 3/7 at most s?
False
Let i(x) = x - 1. Let c(v) = -3*v**2 - 12*v + 1. Let p(s) = -c(s) - 4*i(s). Let r be p(-2). Let w be 4/6*3*-1. Do r and w have the same value?
False
Let k(y) = y - 4. Let l be k(5). Suppose -3*v = -5*v + 20. Let j = v + -8. Is j equal to l?
False
Suppose -3*l + 3*f = 207, 0 = -3*l + 4*f - 43 - 165. Suppose -21 = 3*z - 9. Let i be l/(-56) - (-6)/z. Are 1 and i unequal?
True
Suppose 0 = -5*o - 5*g, 2*o + 3*o - 4*g - 9 = 0. Is o less than or equal to 3/2?
True
Let l = 1/97 + -101/388. Is l > 2?
False
Suppose -16 = 4*k + 4*g, -k = -0*k - 4*g - 16. Let x(d) = d + 12. Let w be x(-12). Do k and w have the same value?
True
Let w = 8 + 18. Suppose 2*i = -3*r - w, -i + 4*i = -4*r - 37. Is i < -8?
False
Let t = 1.8 - 1.63. Let n = t - 0.26. Let i = 1.91 - n. Which is smaller: 0 or i?
0
Suppose 0 = -5*p - 3*z + 56, p - 5*z = -2*z + 4. Let j be (-20)/(-21) + p/(-15). Let w be (-2)/4 - 6/(-4). Is w greater than or equal to j?
True
Suppose -3*q = -q + 4. Let g be q*(2 - (-15)/6). Let f be 11/3 - 3/g. Is f >= 3?
True
Let v be -5 - -3*4/6. Suppose 4*o = 3*b - 11, 3*b = -o + 3 - 2. Let d be o/6*v/(-2). Which is smaller: d or -2/7?
d
Let v = -121663/15996 - -30/1333. Let p = -41/6 - v. Let a be 8/5 - 4/(-10). Is a at most as big as p?
False
Let v(o) = -o**2 - 10*o - 20. Let r be v(-8). Which is smaller: r or -17/5?
r
Suppose 4*u + 24 = -y, 6 = -2*y + 3*u + 2. Is y > -5?
False
Let a(j) = -j**2 + 6*j + 5. Let f be a(7). Which is smaller: f or -6?
-6
Let b = 0.3 + -0.26. Let p = -0.034 + 1.074. Let t = p - b. Are -0.1 and t nonequal?
True
Let s = -3.5 - -0.5. Suppose 0 = -3*j + 2*a + 22, 0 = -3*j - 0*j + 4*a + 26. Let q be 1/(-3) + (-1)/j. Is q greater than s?
True
Suppose -5*v + 3 = -5*q - 7, 2*q + 3*v = 11. Let w be (-4)/(-8)*(-1 + -1). Which is smaller: w or q?
w
Let v be 1/(-4) - (-1640)/32. Let g = -355/7 + v. Let d be (-2)/(-3)*9/(-6). Which is smaller: g or d?
d
Let r = 0.4 - 0.4. Let t = -0.1 - r. Is 2/11 greater than t?
True
Suppose 3 + 6 = 3*c. Is 4 <= c?
False
Let l(y) = -y**3 - 13*y**2 + 14*y + 8. Let f be l(-14). Which is greater: 7 or f?
f
Suppose 31 = 3*o + 1. Which is greater: 8 or o?
o
Let i = 14584123/193985 + 2/17635. Let p = i - 75. Suppose -1 = 4*q - 3*b - 17, 3*q = -b - 1. Is q bigger than p?
True
Suppose -5*s - 7*u = -2*u - 25, 2*u - 9 = -s. Let t be -6 - ((-3)/s - -1). Let p be -2*3/156*t. Is p bigger than 1?
False
Let r(n) = -n**3 - 7*n**2 - n - 10. Let x be 2/(-2)*(9 - 2). Let v be r(x). Suppose 3*s + 20 = 2*z, z + 4 = -5*s - 3*z. Is v greater than s?
True
Let c(u) = -u + 8. Let m be c(6). Suppose 0*g + 5*p = -2*g - 29, g - m*p - 8 = 0. Let w = -1 - 1. Do w and g have different values?
False
Let r = 3.2 - 0.2. Let y = -2 + r. Let c = -1 - y. Are c and -1 unequal?
True
Let h be 0/2 + (-4482)/3. Let a = h - -156812/105. Let m = -4/35 + a. Which is bigger: -1 or m?
m
Let g be (-2)/(-4)*4/(-2). Let z(b) = -3*b**2 - 1. Let j be z(-1). Let m be 2/j + -2 + 2. Is g >= m?
False
Let q = 2 + -2. Let o = q - 0. Suppose -5 + 2 = 3*m. Which is smaller: o or m?
m
Let n be (-18)/(-14) - (-4)/(-14). Let k = n - 1. Is k greater than 0.1?
False
Let o = 11 + -9.8. Let y = -1.3 + o. Do y and 0.12 have the same value?
False
Let w = 136 + -135. Is -1 greater than w?
False
Let z = 4.1 + -4.34. Which is greater: 0 or z?
0
Suppose -5*c + 9 = 2*w, 6*w - 2*w - 4*c = 4. Let p(y) be the second derivative of -y**4/12 + y**3/6 + y**2/2 + 13*y. Let r be p(w). Which is bigger: -2/3 or r?
-2/3
Let y = 8 - 5. Let l = 250 + -249. Is l less than y?
True
Let z = -830/7 - -118. Are -1 and z equal?
False
Suppose -2*p + 4 = -6. Suppose p = -6*s + s. Let d(r) = -6*r**2 + 119*r + 18. Let b be d(20). Which is smaller: s or b?
b
Let n be (2/8)/(4/16). Let a(y) = -5*y**2 + y. Let l be a(n). Let i = -2.9 + 3. Are i and l equal?
False
Let i = -95 - -94. Is i bigger than -0.06?
False
Let s = 0.23 + -0.16. Let l = -0.17 + s. Is 1/7 less than l?
False
Suppose -5*f + 5*g + 20 = 0, -f - 3*g + 0*g - 8 = 0. Let r be (2 - (15 + -3))/f. Is -10 at most r?
True
Let u = 1.4 + -9.4. Let l = 8 + u. Which is smaller: l or 9?
l
Suppose 0 = 3*n - 4*l - 5, -5*l - 5 = n - 5*n. Which is bigger: -2 or n?
-2
Let c(r) = -r**2 - 16*r + 35. Let g be c(-18). Which is greater: -1/33 or g?
-1/33
Let b = -126 - -129. Let i(r) = -2*r - 4. Let s be i(-3). Suppose -25 = -5*c - 5*w, c - 7 = -s*w - 0*w. Is b equal to c?
True
Let r(y) be the first derivative of y**4/4 - 2*y**3 + y**2/2 - y - 1. Let d be r(6). Let t = d - 6. Is 0 at most t?
False
Let m(y) = y - 31. Let f be m(6). Is f at most -99/4?
True
Let d = 1 - 2. Let m be -2 - (-2 - (-6)/(-33)). Is m at least d?
True
Let z be 1*-2 + 9 + -9. Let i = -29 - -27. Is i > z?
False
Suppose k + 1 = -3. Let r = k + 3. Let w be -1 + 2 + 6/(-2). Which is greater: w or r?
r
Let y(c) = c**3 - 7*c**2 - 10*c + 15. Let q be y(8). Let j be 1/(-2)*9/(-12). Is j equal to q?
False
Let x(w) be the first derivative of -w**2/2 - 9*w - 3. Let a be x(-7). Let l be ((-1)/(-3))/(-1)*a. Is l bigger than 2?
False
Let u = -11222 - -190721/17. Let z = 56/17 + u. Is z < -1?
False
Let l = 107/7 - 1791/119. Which is greater: 0 or l?
l
Suppose -5*w - g = 5, -4*w - 4 + 14 = -2*g. Let l = w + 0. Let o be (2 + 0)*3/18. Is l less than o?
True
Let v(r) = -10*r - 33. Let p be v(-4). Which is bigger: 12 or p?
12
Let l = 9.8 - 8. Is l >= 1/3?
True
Let n = 7 + -9. Let x = 202/3 - 68. Do n and x have the same value?
False
Let m = 0.5 + -0.2. Is m bigger than 3?
False
Let m = 163/3 + -55. Suppose 0 = -51*d + 46*d - 10. Do d and m have different values?
True
Let s = 1429/39 - -165/13. Let v = 50 - s. Let f = -15 - -17. Is f <= v?
False
Suppose x + 1 = 4*u, 2*u - u + 14 = 5*x. Let i be ((u - 3)/(-6))/(-3). Which is bigger: i or 0?
0
Let r = -18 + 9. Which is bigger: -10 or r?
r
Suppose 0 = 6*p - 4*p + u - 6, 0 = 3*p - 3*u + 9. Which is smaller: p or 2/75?
2/75
Let j = 32 + -39. Do -1 and j have different values?
True
Let o = 246 + -28288/115. Are 0 and o nonequal?
True
Let b = 3.9 - 4. Let z = -9 + -8. Do z and b have different values?
True
Let c(q) = -3*q**3 - q**2 - q - 1. Let k be c(-1). Suppose y - 6*y = -5*i + 10, -5*i = 2*y - 10. Suppose i*w = -w + 9. Is k greater than w?
False
Let x = 2.6 - 16.6. Let b = 13 + x. Is 3/5 >= b?
True
Let d be ((-1)/10)/((-27)/18). Which is smaller: -1 or d?
-1
Let b = -610 - -14032/23. Is b greater than 1?
False
Let t = -1 - -12. Let q = t - 5. Let b be (2 - 0) + (-9)/q. Which is smaller: b or 2?
b
Let f = -53/2 - -27. Let q = -0.65 + 0.05. Let y = -0.4 - q. Which is smaller: y or f?
y
Let m = -17 + 14.6. Let c = m + -4.6. Which is smaller: c or -1/4?
c
Let p(x) = -3*x + 15. Let s be p(5). Is s bigger than -2/9?
True
Let l = 64 - 63. Which is smaller: -3/29 or l?
-3/29
Let c be (2/(-6))/((-6)/(-9)). Which is bigger: c or -0.2?
-0.2
Let s = 10 - 229/23. Is s smaller than 1?
True
Let z(y) = y**3 - 5*y**2 - 2*y + 5. Let b be z(5). Let c = 5 + b. Let f be 2/(-4) + 2 - 2. Is c at most as big as f?
False
Let l = -0.8 + 1.03. Which is greater: 2/3 or l?
2/3
Let z = 250 - 519/2. Is z < -10?
False
Let u be 39/52 - 2/(-8). Is u at most -2/179?
False
Let b 