 Which is greater: 0 or k?
k
Let s(x) = -2*x - 2. Let b be s(-1). Is b smaller than 3/4?
True
Let n = -4.97 + -0.03. Let r = n - -5. Which is smaller: r or 0.02?
r
Let h = -3 - -3. Let u = h + 0.1. Let j = -1 - -2. Are u and j non-equal?
True
Let i = -0.11 - 2.89. Is i at least as big as 7?
False
Let c be 27/(-12) + 1/4. Let z = 3 - 3. Suppose 5*p - 5*q + 45 = z, 12 = 2*q + 2. Which is bigger: p or c?
c
Let i = -3.4 - -2.5. Is -3/5 > i?
True
Let a = 98/5 - 407/20. Suppose x = -0*x + 1. Suppose -x - 1 = 2*u. Which is greater: u or a?
a
Let m = 4.2 - 5.2. Is m != 13/3?
True
Let a = 60 + -119/2. Are a and 1 unequal?
True
Let l = -20 - -13. Let x = 9 + l. Is 2 at most x?
True
Let t = -109 - -106. Suppose 3*i + p + 4*p + 40 = 0, i = p. Is t <= i?
False
Let z be 4/14 - 325/819. Let m = -8 - -9. Which is smaller: z or m?
z
Let i = -26 - -27. Let p = -16/3 - -79/15. Is i at least as big as p?
True
Suppose 5*s = -0*s - 25. Let m = s + 3. Suppose 2*k - 7 = 3*k - 2*w, 0 = 5*k + 5*w - 10. Which is greater: m or k?
k
Let s be -1 + 22 + 1 + 0. Let d be s/(-4) - (-8 + 5). Which is smaller: -3 or d?
-3
Let v(q) = q**3 - 4*q**2 + q - 3. Let s be v(3). Let m = -7 - s. Which is bigger: m or 1?
m
Let j = -14 - -15. Let o be (j/3*2)/2. Which is smaller: -1 or o?
-1
Let y = 2/37 + -45/148. Which is smaller: 2/21 or y?
y
Suppose -4 = 2*o - 14. Suppose 0*c = -5*c - o. Is c != 0?
True
Suppose 0 = 3*l + 5 + 4. Let u be (l - -2)*(2 + -2). Is u at most as big as -6/5?
False
Let f be (19 - 12)*(-4)/14. Which is smaller: f or -2/3?
f
Let q be (16/(-6))/((-2)/3). Let t be 3/9*15/q. Which is smaller: t or 0?
0
Suppose -4*y + 1 = -3*y. Suppose 4*t = -2*l + 94, 2*t - 48 = l + 1. Let n be (1/4)/(t/160). Which is greater: n or y?
n
Let c = 5.5 + -3.5. Which is bigger: c or -0.1?
c
Let n(s) = 2*s**3 - 5*s**2 + 4*s + 4. Let l(u) = -u**3 + 5*u**2 - 5*u - 4. Let p(w) = 3*l(w) + 2*n(w). Let b be p(-6). Is b at most as big as 0?
False
Let d = -13 - -13. Which is bigger: d or -3/10?
d
Let g(m) = m**3 - 10*m**2 - 14*m + 11. Let u be g(11). Let r be ((-4)/6)/(u/33). Let b = -0.02 + 3.02. Which is smaller: r or b?
r
Suppose 3 = x + 2. Let i(v) = v + 2. Let o be i(-5). Let u be 2*(o - 5/(-2)). Do x and u have the same value?
False
Suppose -c + 12 = 5*w, 3 = -2*c + 4*w - 29. Which is smaller: -34/5 or c?
c
Let s be 1/1*4*1. Let b(n) be the third derivative of n**6/120 - n**5/60 - n**4/6 - n**3/6 + 2*n**2. Let g be b(3). Is s greater than or equal to g?
False
Suppose 3*l - 5*a = -2*l, -3*l = 3*a. Suppose l = s - 1 - 1. Suppose s = -5*n + 7. Which is bigger: 3/10 or n?
n
Suppose -2*s - 6 - 2 = 4*w, 4*w + 16 = 2*s. Let r = -33 + 37. Suppose -r*c - 1 = -17. Is s at most as big as c?
True
Let x = 104 - 105. Let p be (-6)/21 - 1/(-7). Which is bigger: x or p?
p
Let m = -1/7 + 18/77. Let w be (1*-1)/(-1 + 0). Which is bigger: m or w?
w
Let v be 1*(-1)/(-3)*12. Suppose v*i - 50 = -i. Suppose 4*m - 2*z = -0*z + i, -4*z = -4*m + 16. Which is smaller: 0.2 or m?
0.2
Let h = -12 - -23. Let m be ((-1)/h + 0)/1. Is m >= 1?
False
Let r be (-9)/9*(3 - 48/14). Let c(g) = g**2 - g - 2. Suppose 2*u - 3 - 1 = 0. Let l be c(u). Is l smaller than r?
True
Suppose 5*h + s = h - 71, 2*s = -h - 23. Which is bigger: h or -5?
-5
Let c be (2 - 0) + (-249)/210. Let v be (66/45)/((-8)/(-6)). Let r = c - v. Which is bigger: r or -1?
r
Let t be (-2)/8 - 1/(-4). Let u be -4 + (-14)/18*-6. Which is smaller: u or t?
t
Suppose -i - i = -8. Suppose i - 24 = -5*b. Suppose -3*u + 11 = b*d - 15, -2*d + 6 = -2*u. Is 2 at most as big as u?
True
Let p be ((-2)/(-1))/((-4)/(5 + -69)). Is p <= 33?
True
Let q = -334 + 4340/13. Is q equal to -1/12?
False
Let p = -23 + 22. Let s = -2 - -3. Are p and s unequal?
True
Suppose h - 3 = -4. Let b be 15/4 - h/4. Suppose -6 + 10 = d. Is d less than b?
False
Suppose 3 - 31 = -4*o. Suppose 5*m - o*m = 40. Are -20 and m nonequal?
False
Let r(b) = b + 9. Let z(k) = 7*k. Let d be z(-1). Let h be r(d). Suppose 1 = -2*a - q, -2*q = 4*a + 3*q + 11. Which is bigger: a or h?
h
Let w be (-2)/6*-6 - 5/4. Is 0 less than w?
True
Let y(f) = -f - 3. Let b be y(-5). Let n be (b/6)/((-2)/18). Is n greater than or equal to -2?
False
Let t be 1/(-4)*20/5. Do 2/31 and t have the same value?
False
Let v be 19/(-24) - 4/(-6). Which is smaller: 0 or v?
v
Suppose 0 = -2*u + 17 + 3. Which is smaller: 12 or u?
u
Let h = -62 - -59. Let v be 4 + 2*-1 - 0. Is h >= v?
False
Suppose -21*d = -24*d - 18. Which is bigger: d or 0?
0
Let n = 1371 - 483965/353. Let s = 3893/1765 + n. Is 2 at least s?
False
Let s = -4 + 0. Let m = 4 + s. Which is smaller: 2 or m?
m
Let s = 0.34 + -0.5. Which is greater: 1/3 or s?
1/3
Let p(r) = 2*r**2 + 2*r - 4. Let x be p(-3). Let l(z) = -z**2 + 7*z + 10. Let g be l(x). Let m be 1/g*(-8)/20. Is m less than 1?
True
Suppose 3*c - 5*a = 5, a + 0*a + 1 = 2*c. Suppose -4*l - 37 + 9 = c. Let r be 16/l - (-2)/7. Which is smaller: r or -2/5?
r
Suppose -3 + 9 = 3*u. Let k be 0 + (-24)/(-20) + (-2)/(-15). Is u greater than k?
True
Let g be (-7)/(-4) - (-3)/12. Suppose 30 - 10 = 5*y - 5*r, 5*y - 4*r = 20. Suppose y*h - 5*h = -2. Is g bigger than h?
False
Suppose -5*j - 35 + 9 = -4*d, 3*d - 22 = 5*j. Which is smaller: -4 or j?
-4
Let c = -28/3 + 1363/147. Does 1 = c?
False
Let g be (2 - (-24)/(-18)) + 82/21. Which is greater: 6 or g?
6
Suppose -2*n - 3*n = 3*f - 593, 0 = 2*f - 4*n - 432. Let m = -3297/16 + f. Let y = -3 - -2. Is m at least as big as y?
True
Suppose 0 = -7*z + 4*z + 21. Are 7 and z non-equal?
False
Suppose 0*h + 20 = 5*h. Let c = -3 + h. Let x be 3/9 - 3/9. Is x < c?
True
Let j(q) = -3*q - 5. Let x be j(-3). Is x less than or equal to 1/2?
False
Let f = 123 - 181. Let v = f - -168. Let b be (-3)/(-15) - 42/v. Which is smaller: b or -1?
-1
Let p = 361/11 + -33. Let i(n) = -2*n**3 + 2*n**2 - 1. Let r be i(1). Let b = 0 - r. Which is smaller: b or p?
p
Suppose -4*m = 4*m + 40. Which is greater: -7 or m?
m
Let l = 20 + -40. Are l and -19 unequal?
True
Let a = 3 - 5. Let p = -2 - a. Which is smaller: p or 3?
p
Suppose 2*a - 60 = -2*k, -2*a + 134 = 2*a - 3*k. Let h be 2*(-3 - a/(-10)). Which is smaller: h or 0.08?
0.08
Let c = -0.01 + -0.59. Let q = c + 0.6. Which is bigger: -2 or q?
q
Let i(u) = -u**2 - 3*u - 1. Let q be i(-3). Let d(j) = -j - 9. Let m be d(-8). Is q less than m?
False
Let c = 18 + -51. Which is greater: -34 or c?
c
Let v(z) = -z + 11. Let q be v(11). Suppose q = -w + 5*w. Is w equal to 1/5?
False
Let m = 3 - 4. Suppose 0 = -4*o + 172 - 60. Let f be o/45 + (-2)/9. Is m less than f?
True
Let g = 17 - 12. Suppose 4*n + 24 = 3*r, -r - 19 = -g*r + n. Suppose r*d - 8 = -4. Which is greater: 0 or d?
d
Let n be 1/(-3) - (-8)/(-3). Let k be (5/((-5)/(-8)))/1. Let t = k - 12. Is n bigger than t?
True
Suppose k = -9*k + 80. Which is smaller: 14 or k?
k
Suppose 0 = -0*h - 2*h - 28. Let c be h/(-3)*(-9)/54. Does 0 = c?
False
Suppose -5*h + 8*h - 36 = 0. Let f be 9/h + 87/(-84). Which is smaller: 1 or f?
f
Let c(w) = -2*w**2 - 3*w + 2. Let g be c(5). Let y = -316/5 - g. Which is bigger: -0.1 or y?
-0.1
Let k be (-210338)/198 - (-12)/54. Let q = k + 1061. Which is smaller: q or -1?
q
Suppose 7*g - 9*g + 36 = 0. Which is smaller: 16 or g?
16
Suppose 2*y = -y + 3. Let z be (-2)/3 - (1 - y). Let u = 1 - 3. Is u bigger than z?
False
Let n(v) = -4*v**3 - 3*v**2 - 6*v - 4. Let d be n(-1). Suppose -s + 6 - 4 = 0. Suppose -s*o - 3*o = -10, -o = -c + 2. Which is greater: c or d?
c
Let i(a) = -a**3 + 7*a**2 - 3*a - 1. Let m be i(7). Which is smaller: -21 or m?
m
Let r(z) = z**3 - 5*z**2 - z + 3. Let n be r(5). Suppose -3*d = -4*d - 6. Let t be (2 + -3)*(-2)/d. Is t smaller than n?
False
Let d = 0.2 - -2.8. Which is smaller: d or -0.1?
-0.1
Suppose 1 = -2*p + 11. Suppose -5*l + 0*c = 4*c - 3, 9 = p*l + 2*c. Let i(r) = -r. Let o be i(-4). Is o smaller than l?
False
Let c = 13.6 + -14. Which is smaller: c or 0?
c
Let j be (2/(-8))/((-25)/40). Suppose -5 = 4*w + 5*t - 3, -2 = -3*w - 2*t. Suppose -2*y - w*y = -4. Which is greater: y or j?
y
Let d = -0.08 + 0.03. Let x = d + -0.05. Is x bigger than -0.3?
True
Let n be 1 + 2/(-2) + 0. Let i be -2 + 1 + (-4 - -6). Which is greater: n or i?
i
Let s(u) = -1. Let k(y) = y + 2. Let o(a) = k(a) + 4*s(a). Let p be o(0). Let v = -0.31 + 0.11. Is v greater than p?
True
