ual to w?
False
Let r = -208 + 197. Which is smaller: r or -6?
r
Suppose 0 = 3*f - 6*f. Are f and 3/5 unequal?
True
Let n = 1 - 0. Let i(g) = g**3 - 7*g**2 + g - 5. Let a be i(7). Which is smaller: n or a?
n
Let p = 8 - 8.6. Which is greater: p or -0.7?
p
Suppose 3 = -2*q - 3. Is q at least -3?
True
Let b be 1/(-1 + 2 + 0). Suppose -3*l - 12 = 4*d, 2*l + 4*d + 8 = -d. Let p be (b/12)/(l/40). Which is greater: p or 0?
0
Suppose -10 = -2*o + 7*o. Let q be ((-1)/62)/(o/(-8)). Is 1 less than q?
False
Let u be (4/8)/(17/(-18)). Which is smaller: -1 or u?
-1
Suppose 2*c + 27 = -0*c - 5*o, -4*o - 23 = 3*c. Let s = 100/3 + -34. Do c and s have the same value?
False
Let i = 7.2 + -7. Which is smaller: i or 0?
0
Let c(u) = -14*u**3 - 2*u**2 - 2*u - 2. Let m be c(-1). Is m smaller than 12?
False
Let b be -1*(202/74 + -3). Let r = -24/185 - b. Are r and 0.1 nonequal?
True
Suppose 0*n - 4*n + 20 = 2*d, 5*d + 13 = -n. Does 10 = n?
False
Let o = 276 - 2211/8. Let b = 0 + 0. Which is smaller: o or b?
o
Suppose -4 + 0 = -2*z. Suppose k - p + z = 0, -4*k + 0*p = -p + 5. Which is bigger: k or 8?
8
Let s(j) = j**3 + 9*j**2 - j - 7. Let w be s(-9). Let f be (-1 + 3/w)*12. Is f at most 5?
False
Let k = -45 + 42. Which is smaller: k or -30/7?
-30/7
Let x(h) = -h**2 + 7*h - 4. Let m be x(7). Let b be -2 - -27 - m/2. Let o be 2*(-2 - b/(-12)). Which is smaller: o or 1?
o
Let q be ((-78)/(-182))/((-18)/(-28)). Let w = -0.7 - -0.3. Which is bigger: w or q?
q
Let t = 0.3 - 1.7. Let a = -0.4 - t. Let x = a + -0.8. Is 0 < x?
True
Let g be (6/(-15))/((-30)/(-25)). Is 3 not equal to g?
True
Let t = -3 - -2. Let j be t + (-10)/(-14) - 0. Let n be -1*0/3 - -1. Which is bigger: n or j?
n
Let c(k) = -k**3 + 5*k**2 + 6*k + 5. Let x be c(6). Suppose x = -3*q - 4. Which is smaller: -4 or q?
-4
Let j = -29 + 231/8. Is -0.21 at most j?
True
Let n be ((-1)/3)/(((-52)/(-108))/(-1)). Which is smaller: n or 1?
n
Let v be 2/(-8) - (-73)/4. Suppose 0 = -r + 4*i + v, -2*r + 5*r + 4*i + 10 = 0. Suppose -2*g = -3*g + r. Are g and 2 unequal?
False
Let u be (-31 - -1)*(-7 + 29). Let b = u - -16502/25. Which is smaller: 0 or b?
0
Suppose 0 = 3*x - 44 + 11. Is 11 at most as big as x?
True
Suppose 2*t + 18 = -6. Let w be (3 - (-34)/t) + 0. Suppose q = -f + 4*f + 13, -5*f = -4*q + 24. Which is bigger: w or q?
q
Let f be 9 - 6/3 - 2. Let g(l) = -l + 7. Let r be g(f). Which is bigger: r or 1/2?
r
Let u be (-2)/(-4) - (-30)/(-68). Is u greater than 0.2?
False
Let q = -0.53 - -0.5. Let k = q + -1.77. Let m = -2 - k. Which is greater: m or 2/7?
2/7
Let a be 2/(-6)*(-13 - -13). Let g(t) = t**2 - 2. Let n be g(2). Which is greater: n or a?
n
Let s = -34 + 52. Is 18 != s?
False
Suppose 0*d + 5*d = -5. Let h be -2 - (-2 + -1 + d). Let k be (8/(-2) - -1) + h. Is -3 > k?
False
Let w = 8 + -5. Suppose -2*g - 3 = -w*g. Which is bigger: g or 2?
g
Let b = 10 + -7. Let h be (-2 + b)/((-1)/4). Let q be 1/h - 25/(-4). Is 7 < q?
False
Let r(i) = -2*i**2 - 11*i + 5. Let q be r(-6). Which is greater: -1/5 or q?
-1/5
Let s be (-50)/(-15)*24/(-20). Are -1 and s non-equal?
True
Let w = 11 - 9. Let t = -27 - -42. Suppose -m = 2*l - 4, -t + 5 = -5*l - m. Are w and l equal?
True
Suppose 4*d + 143 = 3*v + 30, 2*d - v = -57. Does -29 = d?
True
Let n = -15 - -12. Suppose -3*j - 6 = 0, 5*k + 3*j + 30 = -2*j. Is k at most as big as n?
True
Let m(s) = 3*s - 2. Let c be m(7). Let k = 29 - c. Which is smaller: -1 or k?
-1
Let o = 0.261 - -0.039. Is 18 >= o?
True
Suppose t = o - 1, -3*o + 0*o - 2*t = -3. Let w(g) = -3 - 6*g + o + g**2 - 3*g - 8. Let j be w(10). Is -2/13 greater than or equal to j?
False
Let t = 12 - 12.1. Let w = 10724/3285 - 201/73. Let x = 1/9 - w. Is t <= x?
False
Let j = -7 + 6.7. Let i = -71 + 74. Which is smaller: i or j?
j
Suppose o - 3*o - x = 8, -o - 11 = 4*x. Do o and -9/5 have different values?
True
Let h be (6/5)/(24/60). Is h bigger than 7/2?
False
Let i = -1786/231 + 84/11. Which is greater: -2 or i?
i
Let v be (9/(-24))/((-12)/(-16) + 3). Is v less than 1?
True
Suppose 0 = -5*q - 4*x + 19, 2*q + 2*x = -3*x + 11. Which is smaller: 15/4 or q?
q
Let y(i) be the third derivative of -i**4/12 + 2*i**3/3 - 5*i**2. Let q be y(7). Is -10 greater than q?
False
Let a be 9/3 + 10/(-8) - 2. Let s = 2 - 4. Which is bigger: s or a?
a
Let a = 2 + -3. Let k be (3/(-9)*-3)/1. Let g be (-6)/3 - (k + a). Which is smaller: g or 1?
g
Let v = 24 - 30. Let d be (-2)/(1/(-3)*v). Which is smaller: -2/17 or d?
d
Let u = 9 - 2. Let z = 3 - -7. Suppose -u*s + 2*s = -z. Do s and 1 have different values?
True
Suppose -4*v - 6*y + 16 = -2*y, 2*y - 8 = -v. Let u = 20.96 - 21. Is u at least v?
False
Let y(g) = g - 13. Let c be y(-5). Is c <= -18?
True
Suppose -2*d - 2*d = -2*d. Which is smaller: 2/349 or d?
d
Let o be (-1)/(-2 - 9/(-3)). Let y(i) = 2*i**2 - 15*i + 5. Let h be y(7). Is o greater than or equal to h?
True
Let q(m) = -3 + 38*m - 37*m - 5 - 1. Suppose -5*l - 4*t + 30 = 0, -2*l + 7*l - 30 = -2*t. Let z be q(l). Do -3 and z have the same value?
True
Suppose o = -2*o + 6. Let w be o/3*12/(-8). Are 1 and w unequal?
True
Let d be 38/(-3) + (-44)/(-66). Suppose 0 = -5*g + 2*r - 49, -3*g + 4*g + r = -14. Which is bigger: d or g?
g
Suppose 5*k = -5*x - 0*x + 5, 7 = 4*k + 3*x. Let g be (k/(-16))/(2/(-2)). Which is smaller: g or -1?
-1
Let d = 1 - -2. Let c = -7 + 11. Suppose d*k + 1 = 5*u, -c*u - 5 + 3 = -k. Do u and -2 have different values?
True
Let k be 1*(-1 - -1)/(-4). Suppose -4*d = -k*d - 16. Which is greater: 3 or d?
d
Suppose -5*c + 0 = h - 16, -c - 16 = 5*h. Let o be h/(-14) - 2/7. Is o less than 4/11?
True
Let t(o) = -o - 2. Let m be t(-2). Let h be m - -1*(2 - 1). Which is bigger: h or -2/19?
h
Let h = 3 + -2. Let n(b) = -b**3 + 9*b**2 + 11*b - 8. Let m be n(10). Is m smaller than h?
False
Let u be (4/1 - 22/6)*-213. Is u > 2/5?
False
Let w(y) = 2*y - 4. Let x be w(4). Let o(m) be the second derivative of m**4/12 - m**3/2 + 2*m**2 + 3*m. Let l be o(3). Does x = l?
True
Let z be -2 + 4 - (-4)/(-2). Suppose 3*g - 9 + 3 = 0. Suppose f - 2*q + z = 2, -5*f - g*q = 26. Is f bigger than -4?
False
Let q(h) = -h**3 - 8*h**2 - 6*h + 7. Let z be q(-7). Suppose z = 2*o - 7*o. Are o and 4/3 nonequal?
True
Let q = -51 + 51. Which is bigger: q or 5/8?
5/8
Let n be (-16)/(-14)*(50/20 + 1). Is n at most 4?
True
Let t(v) = -3*v**3 - v**2 + 1. Let k be t(-1). Is 5 smaller than k?
False
Let y(d) = 8*d. Let t be y(-1). Let l = t - -7. Which is smaller: l or -0.1?
l
Let l(q) = 2*q - 4. Suppose -5*f = -f - 8. Let o be l(f). Which is bigger: o or 3/4?
3/4
Let h be (-6)/(-21) - 55/560. Are h and -1 equal?
False
Let j(z) = -z + 11. Let o be j(9). Let y = o + -4. Let v be (3/18)/(2/12). Is v > y?
True
Let f be (2/3)/2 + (-546)/(-9). Which is greater: f or -0.1?
f
Let v = 174 - 148. Which is smaller: 27 or v?
v
Let j be 602/(-24) - (-2)/(-8). Let n = 1087300/33 + -32974. Let y = n - j. Which is greater: y or 1?
1
Let q(o) = o**2 - 5*o + 5. Let x be q(4). Let s = -37 - -38. Does x = s?
True
Let z(l) = l + 4. Let q be ((-35)/(-15))/((-2)/6). Let r be z(q). Let u = 5 + -9. Are r and u unequal?
True
Let x = 7 + -15. Let u = -7 - x. Is -2/9 >= u?
False
Let f = -1/13 + 16/39. Is 11 smaller than f?
False
Let n = -12 - -7. Let a be n/(-10)*(-4)/(-2). Let c = -0.05 + 2.05. Is c less than or equal to a?
False
Suppose 3*f = -2*f + 70. Let s be (21/f)/((-6)/(-20)). Suppose y = -s*r - 20, 2*r = -5*y + 2 - 10. Is -1 bigger than y?
False
Suppose l = -h, 5*l + 3*h = 4 - 0. Suppose 18 - 18 = 4*p. Are p and l unequal?
True
Let m = 0 + 4. Suppose 2*v + 25 = 7*v. Is m at least v?
False
Let k be 0/((0 - -1)*1). Suppose k = 4*n + s - 5, -n - n + 3 = s. Let d be 0 - (6/4 - n). Is d bigger than 0?
False
Let z = -12 + 12. Suppose -33 = 4*n - 5*f - z, -n - 27 = -5*f. Is n < -4/5?
True
Let i(l) = l - 7. Let o(y) be the second derivative of y**4/4 + y**2/2 - 2*y. Let t be o(-1). Let j be i(t). Which is smaller: -2 or j?
j
Let r be ((-2)/6)/((-3)/18). Suppose 0 = -3*v + w + 45, -v = -2*w + w - 17. Suppose 5*p - 3*o - v = -4*o, -5 = -p + 2*o. Is r smaller than p?
True
Suppose q + 6 = -0. Which is greater: 1 or q?
1
Suppose -3 = -5*a - 13. Let u(i) = -i**3 - i**2 + 2*i - 1. Let d be u(a). Is -3/4 less than d?
False
Suppose 4*v - 16 = 0, 2*x - x = 4*v + 2. Is 18 >= x?
True
S