+ l - 4*t = -10, 2*l = -2*t + 6. Do l and -2 have the same value?
True
Let j be 0*-1*(-1 + 2). Suppose 0 = -j*k + 5*k. Let c be 1*-2*(-1)/(-22). Which is greater: c or k?
k
Let v(g) = 4*g**2 + g. Let r be v(-1). Suppose 0 = 5*w + 4*s + 43, 2*w + 3*s - 31 = 4*w. Let c be (-46)/w + 2/(-11). Which is greater: c or r?
c
Let h = 0 + 0. Suppose z = -y, 3*y - 4*z - 7 = -h*y. Let t be ((6 - 5) + -2)*(-2)/(-4). Which is smaller: y or t?
t
Let p = 49 + -42. Is p less than or equal to 7?
True
Let f = 5 + 0. Let q = f + -3. Let w = q + -2.1. Which is greater: 4/5 or w?
4/5
Let f = 527935613/869 - 607521. Let q = f + -2/79. Let k be 9/(-7) + (-6)/(-21). Which is smaller: k or q?
k
Suppose -4*x + x = 0. Suppose -3*n = 4*v - 1 + 4, n + 3*v + 1 = x. Let j be 2/15*(2 - n). Which is greater: 0 or j?
j
Let i(v) = -v**2 - 3*v + 2. Let a be i(3). Is -14 smaller than a?
False
Let j = 0.2 + -2.2. Is -1/2 less than j?
False
Let y(k) = 27*k**2 + 9*k + 5. Let m be y(-2). Are 94 and m equal?
False
Suppose 14 - 48 = o. Let u be ((-3)/(-6))/(o/4). Are u and -1 nonequal?
True
Suppose 12 = 4*h, 0*h + 2*h = 4*i - 6. Suppose i*p = -p - 12. Suppose -m = 3*m + 16. Which is bigger: m or p?
p
Let t = 3 + -3.2. Let q = -0.1 - t. Let k = 2.67 - 2.47. Which is smaller: q or k?
q
Let i be (2/6)/(4/24). Suppose 21*q - i = 19*q. Which is bigger: 2 or q?
2
Let x be (-330)/(-106) - (1 - -2). Let l = x - -146/583. Is -1 equal to l?
False
Suppose -2*x + 3*k - 26 = 2*k, 3*k = -x - 6. Which is smaller: -14 or x?
-14
Suppose 4*j - 2 - 6 = 0. Is j > 3?
False
Let t(p) = -11*p + 2. Let i be t(2). Is -20 < i?
False
Let y = -1.7 - -0.4. Let r = y - -1. Let c = 0.3 + 0.7. Which is bigger: c or r?
c
Suppose 0 = -2*s - 3*s - 60. Let w = s + 10. Which is greater: w or 1/2?
1/2
Suppose -4*r - 12 = -0*r. Suppose -4*u + 0 + 8 = 0. Suppose 4*o - 3*k + 9 = -u*k, -2*o = k + 9. Is r greater than or equal to o?
True
Let f(j) = j**3 - 11*j**2 - j + 11. Let o be f(11). Let n = -273031/9 - -30307. Let k = 30 + n. Is k greater than or equal to o?
True
Let d be ((-4)/(-2))/((-12)/(-14)). Let z = d + -11/9. Which is greater: 2 or z?
2
Let m be 4/(-10)*(-60)/32. Which is bigger: 1 or m?
1
Let i = 11 - 5. Let h = i + -3. Suppose -h*z - 5*s - 23 + 8 = 0, -4*z - 3*s - 9 = 0. Which is greater: z or -6/5?
z
Let k be 204/72 + (-2)/(-12). Suppose -6 = -k*l, 3*q = -5*l + 8 + 2. Which is smaller: -3/10 or q?
-3/10
Suppose 4 - 9 = -5*z. Which is smaller: z or 2?
z
Let d = -0.5 + 0.3. Let m = -0.8 + d. Let o be (-4)/(-3) - 28/(-42). Which is smaller: m or o?
m
Let w = -146 - -77. Which is smaller: -71 or w?
-71
Let l(j) = j**2 + 5*j + 4. Let b(f) = 3*f. Let m be b(-2). Let v be l(m). Do 8 and v have different values?
True
Let v(d) = d**2 + 2*d + 3. Let a be v(-2). Suppose m - a - 4 = 0. Let g be (1 - -2) + 15/5. Is m greater than g?
True
Let q(o) = -o**3 + 10*o**2 - 7*o - 13. Let i be q(9). Which is smaller: 6 or i?
i
Suppose 3*x - 3*t - 249 = 141, 2 = t. Let u be 2 + 0 - x/69. Are 0 and u equal?
False
Let u be 6/36 + 2/(-3). Let y = 1.92 - 2. Is y smaller than u?
False
Let n = 23.4 + -5.4. Which is greater: n or -2?
n
Let x = -183 + 2197/12. Which is smaller: x or 1?
x
Let p(d) = 3*d - 11 - 5*d + 3*d - 3*d. Let j be p(-6). Does j = 5/3?
False
Suppose 0 = 4*h - 3*f, -h + 2*f - 5 = -0*f. Suppose 4*u - 13 = -3*q, -4*q = 5*u - 1 - 15. Which is smaller: u or h?
h
Let m(s) = -s. Let a be m(-1). Let v(h) = h**3 - 8*h**2 - 8*h - 8. Let j be v(9). Are a and j equal?
True
Let d(c) = -c**3 + 6*c**2 - 2*c + 12. Let l be d(6). Let x = -77 + 229/3. Which is smaller: l or x?
x
Let c be 14/(-21) + 1328/11. Let d = c - 120. Which is smaller: d or 0?
0
Let s = 12 - 29. Which is bigger: -16 or s?
-16
Let x be (-2 - -1)/(1/1). Let p = 0 - x. Which is smaller: p or -6?
-6
Suppose -5*n - 5 = r, n - 3 = -r + 4*n. Suppose r = -g - 4 - 2. Let v be (-48)/70 + g/(-15). Which is greater: -4 or v?
v
Suppose 5*z = 3*z - 12. Let h = z - -6. Is -0.3 at most as big as h?
True
Let t be 0*(-1)/(-5) + -1. Is t at least -9/10?
False
Suppose -18 + 61 = -3*n + 5*l, -n = -5*l + 31. Let w be -2*((-9)/n + -2). Which is smaller: w or 3?
w
Suppose -4*c + 2*r + 113 = -3*r, 5*c + r - 105 = 0. Which is smaller: c or 24?
c
Let u be (-5)/10*(1 + -5). Suppose 6*x - 20 = u*x. Suppose -x*d + 20 = 5. Which is bigger: d or 1?
d
Let k = 0.11 + 6.89. Let q = 4 - k. Which is smaller: q or 1?
q
Let r = 9 - 7. Is r less than 0.3?
False
Let v = 23/248 - -1/31. Suppose 0 = x - 5*p - 9, -4*p - p = -5*x + 5. Are v and x equal?
False
Let c(m) be the first derivative of m**4/4 + 2*m**3/3 + m**2/2 + 2*m - 1. Let r be c(-2). Does r = -1?
False
Let m be (-34)/18 + 3/(-27). Suppose 2*s - 15 = 5*s. Is s >= m?
False
Suppose -14 = -3*x - 2*q, 2*x + 3*x = 5*q + 15. Suppose -1 = z, x*p - 2 = -4*z + 2. Let h = -1 + 1. Which is greater: h or p?
p
Let y be (2/14)/((-2)/4). Let l = 2/989 - -10867/5934. Let p = l - 67/30. Are y and p equal?
False
Let m be (-3 + 172/60)/((-2)/40). Is 4 > m?
True
Let b be (-5)/20 - (-71)/(-4). Let x be (-147)/b + 1/(-6). Which is bigger: 9 or x?
9
Let f(k) = -70*k + 210. Let n be f(3). Suppose 3*h + h = 4*i - 16, -20 = 4*h. Which is greater: n or i?
n
Let m = 14.7 + -14.8. Does m = -3/5?
False
Let s be 3/(-2) - 156/(-8). Let x = s - 30. Do -12 and x have the same value?
True
Let b = -0.9 + 1. Let s = -0.286 - -0.186. Is b equal to s?
False
Let p(b) = b**3 + 7*b**2. Let s be p(-7). Which is greater: -1/2 or s?
s
Suppose 4*y + y - 20 = 0. Suppose 0*j - 5*o = 5*j - 20, -y*o = 2*j - 14. Let a(c) = -c**2 + 4*c. Let r be a(4). Which is bigger: j or r?
j
Let s = -0.9 - -1.7. Let r = s + -0.6. Is r not equal to -3?
True
Let q be (-148)/18 + 24/108. Is -9 > q?
False
Suppose -6*y = -0*y - 6. Let w(h) = h**2 - 4*h + 3. Let r be w(2). Which is greater: r or y?
y
Let h = 20 + -13. Is 3 equal to h?
False
Suppose -3 = -2*h - h. Suppose s = -2 + h. Is s equal to 0?
False
Suppose 5*t + 6 - 51 = 5*w, -5*w = 2*t - 53. Are t and 2/5 equal?
False
Let d be 1/(-2) - (-34)/4. Suppose 0 = 5*c - d - 2. Is c < 4?
True
Let b = 3 - 4. Let s be 1 - (2 + 1 + b). Which is greater: 3 or s?
3
Let s = -0.4 + 0.42. Is -2 less than s?
True
Let c = 13/11 + 1/55. Is c >= 2?
False
Let y = -0.1 - -1.1. Let d = y + 0. Do d and 0.3 have the same value?
False
Let i = -10 - -14. Suppose 4*q - g = -3, 5*q - i*q + 2*g = -3. Let u = 1/17 + -53/34. Is q greater than or equal to u?
True
Suppose -7 = 4*v + 1. Let a be 1/(v/8) + 2. Let l be 20/(-21) - 2/(-7). Which is bigger: a or l?
l
Suppose -2*z + 6*h = 2*h + 24, -2*z - 4*h = 16. Are 2/9 and z equal?
False
Let o(v) = v**3 + 6*v**2 + 5*v + 3. Let w be o(-5). Suppose 5*s + 2 = -w. Let n = 0 - s. Which is smaller: n or 0?
0
Let x be 0/((-2)/(-6)*-3). Is 7/6 greater than x?
True
Let a = -9/22 - 1/11. Is -57 not equal to a?
True
Let r be (-19)/(0 - (3 + -2)). Suppose -r = -4*u - 7. Which is greater: 4 or u?
4
Let z = -2 + 2. Let a(x) = -4*x**2 + 4*x**2 + x**2 + x. Let d be a(z). Which is bigger: 1/3 or d?
1/3
Let l = -1.7 - -2. Which is smaller: 0.2 or l?
0.2
Let t be (-2 - 3/(-2))*12. Suppose 0 = 3*f - 4*p - 0*p - 24, 6 = -2*p. Let b = t + f. Is b less than or equal to -5/3?
True
Let x(i) = -i**2 - 7*i + 11. Let b be x(-8). Suppose 0 = 3*o - 3*v, 0 = -4*o - 3*v + 11 + 17. Suppose -h + b = -o*h. Which is smaller: 1/5 or h?
h
Let o = -18 + 41. Let r = o - 23.3. Are -2 and r nonequal?
True
Suppose 4*g = -2*d - 26 - 130, 2*g + 3*d + 78 = 0. Do -39 and g have the same value?
True
Suppose -4*a - a = -10. Let c = 2 - 8. Let p be 10/6 - (-4)/c. Which is smaller: a or p?
p
Let q be 21/63 + (-110)/(-3). Let f = -7/2327 + 607396/16289. Let r = f - q. Are r and 1 non-equal?
True
Let s(y) = -2*y - 1. Let m be s(-3). Let b(l) = -l**3 + 6*l**2 - 3*l - 7. Let g be b(m). Which is bigger: g or 2?
g
Let q = -19 - -34. Let i = -15 + q. Do -2/3 and i have the same value?
False
Let j(r) = -r + 3. Let v be j(7). Let w be 0 - (2 + v) - 0. Let y = 425/3 - 140. Is y at least w?
False
Let i be (-17)/(-3)*(-18)/6. Is i at least as big as -16?
False
Let t = -14 - -15. Let z be t/(-3) - 7/(-39). Which is smaller: z or 0?
z
Suppose 4 - 5 = -2*x - a, -3*a + 13 = x. Let r = x + 6. Suppose c = 11 - r. Which is smaller: 8 or c?
c
Suppose 3*o - 3*r = 0, -r - 1 + 0 = -2*o. Do 3 and o have different values