and q have different values?
True
Let p(s) = -s**3 - 6*s**2 + 8*s + 7. Let l be p(-7). Suppose -2*g = -2 + 4. Which is bigger: g or l?
l
Suppose 0 = -3*n - 12, -n - 2 - 2 = -v. Which is smaller: 1/55 or v?
v
Let f = 411 + -807/2. Is f bigger than 7?
True
Suppose -3 = 3*q - 18. Suppose -q*y + 27 = b, b - 3*y = y - 18. Suppose b*h - 4 + 2 = 0. Is 1 equal to h?
True
Let w(n) = n**2 - 6*n. Let l be w(6). Suppose -13 = 3*q - 4*j + 7, 3*j - 15 = 0. Suppose -v + 3 + q = -3*c, l = 3*v. Which is greater: c or -3?
c
Let i be (-1 + (-130)/(-126))*(-6 - 0). Which is greater: i or -1?
i
Let g = -251.01 + 248. Let c = -0.01 - g. Which is bigger: c or -0.2?
c
Let m(a) = a**3 + 2*a**2 - a - 2. Let c be -2 - 1 - (-1 - 0). Let h be m(c). Let o be -1 + ((-5)/(-6) - 0). Is h not equal to o?
True
Let i = 1.8 + -2. Let m = i + 0.4. Let t = 0 + m. Is t at most as big as 1?
True
Suppose 3*w - 9 = -3. Is 4 <= w?
False
Let m(l) = -l**3 + 10*l**2 - 9*l - 3. Let a be m(9). Let k be ((-35)/(-30))/(2/a). Which is bigger: k or -2?
k
Let g(b) = b**2 + 7*b - 7. Let w be g(-7). Let k(s) = s**2 + 8*s + 10. Let d be k(w). Suppose -2 = -j + q, -q = j - 0*q - 2. Is j at most d?
True
Let v(x) = -2*x - 3. Let o be v(-2). Let j = -4 + 10. Let p = j + -5.3. Is p greater than o?
False
Let g = -10/9 + 13/36. Suppose -4 = -y + n, -4*n - 8 = -y - 2*n. Which is bigger: y or g?
y
Let c = 3 - 3. Suppose 5*h - 3 = 5*y + 2, -4*h + y = -16. Suppose 2*z - 22 = 4*f, -3*z - h*f + 3*f - 7 = c. Is z at least 2?
False
Let y = -93 - -105. Which is greater: 13 or y?
13
Suppose -5*f = 4*d - 54, 5*f = 4*d + 72 - 26. Suppose 9*p - f = 4*p. Suppose 5 + 0 = 5*t. Is t <= p?
True
Let v = -75 + 75. Is v bigger than 1/6?
False
Let n(l) be the first derivative of l**2/2 + l + 4. Let t be n(-2). Let s = 2 - 3. Is t less than or equal to s?
True
Suppose -4*t = -t + 6. Which is smaller: t or -10/7?
t
Let s be (3 - -23*(-92)/352) + 3. Are -1 and s non-equal?
True
Suppose 4*b - 49 = 5*z, -4*z = -b - 2*b + 38. Suppose u + 5 - b = 0. Let q = u - 1. Which is smaller: q or -1?
-1
Suppose 4*l + 21 = 3*q, 4 = 2*q - l - 5. Suppose -20 = -14*j + 9*j. Suppose 7*s = j*s + 6. Is s less than or equal to q?
True
Let b(t) = t**3 + 6*t**2 + 6*t + 3. Let s be b(-5). Let k be (-6)/4 - (-100)/40. Which is bigger: s or k?
k
Let l be (-60)/(-7) + 1 + -3. Is 6 less than l?
True
Let y be (-2)/(10/(-5)) - 3. Let j be (-8)/6*(4 - 1). Which is bigger: y or j?
y
Let r(c) = c + 1. Let u(l) = 1. Let i(v) = -r(v) - 2*u(v). Let h be i(4). Let f = 12 + -19. Is h at most as big as f?
True
Let r = -0.2 - -2.7. Let v = -3.5 + 4. Let m = r - v. Which is smaller: 1 or m?
1
Let d = 0.19 + -0.99. Is 1 equal to d?
False
Let v = -5.97 + 6. Let t = v + -1.23. Let p = 1 + t. Which is smaller: p or 1/3?
p
Let n = 9.6 + -11. Which is smaller: n or -0.1?
n
Let w = 14.6 + 0.4. Let z = w - 7. Is z at least as big as 0?
True
Let y = -2.3 - -3.4. Let k = 1.09 - 0.09. Let i = k - y. Is i bigger than -3?
True
Let p = 5 - 8. Let m = -20 + 10. Let y = 6 + m. Is p less than y?
False
Let w be 11/4 - (-3)/12. Suppose d - 7 + w = 0. Which is greater: 1 or d?
d
Let p(s) = -s - 3. Let c be p(-4). Let w be (-2)/3*(-24)/(-40). Is w equal to c?
False
Let g(k) = -6*k + 4. Let c = -3 - 0. Let n be g(c). Suppose -l = -o - 6, -2*l + 8*o = 4*o - n. Is -3/7 bigger than l?
False
Suppose -4*k - 21 = -f, -2*k - 7 = f + 2*f. Is 4/19 less than f?
True
Let o = 15 + -3. Let p be (-8)/o - (-58)/6. Let f be p/(-3)*2/(-3). Which is greater: f or 4/5?
f
Suppose 0 = -5*p - 7 + 12. Let w = 1 + p. Is 1 less than or equal to w?
True
Let t = -79568 + 718204/9. Let g = 232 - t. Which is smaller: g or 1?
g
Let i be 2 + (-468)/231 - -2. Let l = i - 28/11. Is l at least as big as -2?
True
Let f = -0.91 + 0.6. Let s = -0.01 - f. Is s less than -0.1?
False
Let o be (-12)/(2*-2)*3. Let g be (-55)/(-180) - 2/o. Which is bigger: 0 or g?
g
Let x = -396/5 + 80. Let f = 151 - 150. Is f less than x?
False
Suppose -3*p + 9 = -6. Are 33/7 and p nonequal?
True
Let j be ((-64)/(-10))/(18/210). Let z = -74 + j. Which is greater: -0.03 or z?
z
Let y = 0.03 - 0.03. Which is greater: y or -20?
y
Let u(k) = k + 2. Let j be u(4). Suppose -2*f + j = 4*l - 3*f, -16 = -5*l - 3*f. Which is bigger: l or 3?
3
Suppose 1 = 2*m - 3. Suppose 3*c - 26 = y, 4 - 1 = -c - m*y. Is 7 > c?
False
Let w be 467/(-7) + (-7 - 376/(-56)). Do -66 and w have different values?
True
Let x = -23 - -19.9. Let n = x + 3. Let w = n - -0.2. Is w < -1?
False
Let l be 1 + -32 - 1*-2. Let d = 31 + l. Let f be ((-6)/10)/((-8)/10). Which is bigger: d or f?
d
Let s = 16 + -9. Let m = -3 + s. Let o = -0.3 - -0.2. Is o > m?
False
Let n = 0 - 0.1. Let w = 0.11 - 0.18. Let i = w - -0.07. Which is greater: n or i?
i
Suppose 5*d + 3 = 2*d. Suppose 0 = -g - 0 + 2. Suppose 2*r - 3*r = g. Is d < r?
False
Let f(z) = z**2 + 7*z + 2. Let i be f(-7). Which is bigger: i or 8?
8
Let p(n) = -n**2 + 4*n - 4. Let d be p(4). Let w = 3 + d. Which is smaller: w or -1/6?
w
Suppose -3*q - 3*u - 30 = u, 0 = 3*u. Is -11 <= q?
True
Suppose -2*i = 2, 5*i + 8 = h + i. Let g be 1/(h*2*-1). Are 1 and g equal?
False
Let y = 223/1165 + 2/233. Let d be (3/2)/(3/(-2)). Which is smaller: y or d?
d
Let v = 31.2 - 31. Let z = 4 + -6. Which is bigger: z or v?
v
Let a = -25 - -15. Is a <= -10?
True
Suppose -6 = -0*w + 2*w. Is -1 less than w?
False
Suppose -o - 114 = -7*o. Which is greater: 20 or o?
20
Let n be -2 - (422/(-140) - -1). Let b = 121/1330 + n. Suppose -5 = -m + 5*a + 16, a = -4. Is m at least as big as b?
True
Let j(n) = -n**3 + 6*n**2 - 6*n - 7. Let a be j(5). Let c = 10 + a. Which is smaller: c or 0?
c
Let m be (5/(-30))/(4/6). Which is bigger: m or -3?
m
Let g = -4/47 - -106/141. Let q = 0.5 + 2.9. Let r = q + -0.4. Which is smaller: r or g?
g
Let i be 0 - -1*(-3 + 1). Let o = -359/76 + 66/19. Is i smaller than o?
True
Let m = 14 - 15. Is -2/21 bigger than m?
True
Let b = -4 + 7. Let o = 2 - b. Let g be ((-2)/(-3))/((-52)/12). Which is bigger: g or o?
g
Let a be 2/(-5) + (-224)/40. Let l = a - -7. Which is bigger: 2/7 or l?
l
Suppose -3*y - 12 = -4*w - 162, 4*y + 8 = 0. Is -39 bigger than w?
False
Let h = 82 + -325/4. Which is greater: 1/28 or h?
h
Let d(k) = -k**2 - 6*k - 3. Let m be d(-3). Suppose -b + m*b + 5 = 0. Is b not equal to -3/17?
True
Let a = -7/17 + 89/51. Is a >= 0?
True
Suppose 2*u = 5*n - 1, -5*u + 8 = -u. Let s be -55 + (4/2 - 1). Let x = s - -541/10. Which is smaller: n or x?
x
Let n = 6 + -13. Let b = -5 - n. Let f = 1 + 0. Is f < b?
True
Let r be -2 + 10/12*2. Let b be 12/(-42) - 2/(-7). Is b < r?
False
Let w(m) = m**2 + 12*m + 2. Let t be w(-12). Is 16/11 < t?
True
Suppose -30*u = -17*u. Is u not equal to 6?
True
Suppose -5*o - m + 6*m = -10, -5*m = -3*o + 16. Is o equal to -30/17?
False
Let t = -1/47 - -50/141. Let q = -11 + 11. Which is smaller: t or q?
q
Let u be ((-8)/(-24))/(2/12). Suppose u*z = 6*z. Which is smaller: z or 3?
z
Suppose -b + 0 = 4. Let o = b + 9/2. Let a = 10 - 8. Which is greater: o or a?
a
Let r = -7 - -9. Suppose -r*d + 8*n - 3*n = 15, 2*d - 3*n = -13. Let s = d - -6. Which is smaller: 3 or s?
s
Suppose -4*r - 27 = -r. Let k be ((-3)/(-9))/((-3)/r). Which is bigger: -2/37 or k?
k
Let x be (-6)/(-8) - 225/12. Let u be -5*(-2)/15*-27. Is x equal to u?
True
Suppose 0 = -4*r + 1 - 9. Let y = 8 + -7.6. Which is smaller: r or y?
r
Suppose 0 = -5*l + 6 - 1, 0 = 3*m - 4*l - 92. Suppose -3*z = -5*g - m, -g + 2*g = -1. Let f = 5 + 3. Is z < f?
False
Let k be (-8)/(576/(-556) - -1). Let z = k - 227. Which is smaller: -6 or z?
-6
Suppose t + 28 = -7*c + 2*c, 5*t - 10 = 5*c. Which is greater: -7 or c?
c
Let m(h) = h**2 - h - 4. Let q be m(3). Suppose 5*j = -3*g - 17, -2*g + 13 = -3*j - g. Let d be ((-42)/j)/(q - 11). Is -2 > d?
False
Let b(a) = a**2 + 2*a - 1. Let h be b(-3). Suppose -h*d = -4*d + 6. Let t(k) = -2*k**3 - 4*k**2 - 3*k - 2. Let v be t(-2). Are v and d nonequal?
True
Let g be ((-18)/(-8))/(3/16). Let r be (1/3)/((-4)/g). Let x = 6/13 + -17/65. Are r and x nonequal?
True
Suppose -3*h - 36 = -6*h. Are h and 32/3 nonequal?
True
Let d = -0.157 - 10.543. Let p = d - -11. Let y be (-4)/14 + (-8)/(-14). Is p at most as big as y?
False
Let w(r) = r**3 + 16*r**2 - 18*r - 14. Let y be w(-17). Suppose -5*d + 3*h = -2*d - 51, 4*h = 0. Suppose y