f/(-4))/(12/(-8)). Which is smaller: v or 0?
0
Let a = -114 + 70. Let u be 4/(-6) + a/(-12). Suppose 0 = -4*z + w + u*w + 16, 2*w + 5 = 5*z. Is -1 equal to z?
True
Suppose 0 = -2*f - d - 31, -3*d + 4 = -5. Is f at most -2?
True
Let v(j) = -2*j**2 + 10*j - 8. Let l be v(6). Let n be (72/l)/(-3) + -1. Suppose 2*d = -2*d - 4*u - 8, -2*u = d + 3. Is d less than or equal to n?
True
Let f = 8 - 5. Let u be (3/4)/(f/(-12)). Let i be (0 - 1)/(2 + u). Is 2/9 != i?
True
Let o = 64.006 - 64. Which is bigger: 1/2 or o?
1/2
Let v(p) be the third derivative of p**5/60 - p**4/8 - p**3/3 + p**2. Let w be v(5). Suppose 0*f - 3*f = -5*a - 22, -2*f = -w. Are a and -3 equal?
False
Suppose -18 = -f - 17. Is f greater than -23?
True
Let q be 1*3 + (-45)/25. Suppose -2*m = m - 15. Suppose 0*u + 4*u = -4*z + 4, -4*u + m = 5*z. Is q less than u?
False
Let l = -9/11 - -34/55. Let f = 0.03 - -0.27. Let j = 0.7 + f. Which is smaller: l or j?
l
Let j be -2 + 1 - (-1 + -1). Let a = 0 - j. Is 0 <= a?
False
Suppose -3*d + 1 = -4*w, -w + 4 = 2*d - 4. Suppose w*f = -2*f. Let q(u) = -3*u - 4. Let r be q(-1). Which is smaller: r or f?
r
Let t = -0.05 - 0.65. Let l = -0.5 - -0.8. Let q = l - t. Is -1 > q?
False
Let l(j) = j + 14. Let x be l(-13). Is x at least -6?
True
Suppose 5*d - 4 = 3*w, -2*w + 44 - 15 = 3*d. Let n = -1 + w. Let y = 8 - n. Is 2/5 greater than y?
False
Let y = 192 + -193. Let t be 9/3*(-13)/(-3). Let l be 2*t/(-18) - -1. Is l smaller than y?
False
Suppose -3*g - 3*f = 12, -3*g - 2*f = -5*g - 16. Let w be (g/(-4))/(6/32). Suppose 5*l + 3 = w. Is l smaller than -3/8?
False
Suppose j + 2*x = 2*j + 48, -128 = 3*j - 2*x. Is j at least as big as -41?
True
Let t = 3/92 - 2879/828. Let q = 28/9 + t. Which is greater: q or 0.4?
0.4
Let a = -0.1 - 0.15. Which is smaller: 1/3 or a?
a
Let f(m) = -m**3 - 7*m**2 - m - 3. Let x be f(-7). Let l = x + -2. Does 1 = l?
False
Suppose 2*f = -0*f. Let x be (-3 + f - -3)*1. Is -1/5 bigger than x?
False
Let m be (6/(-8))/((-153)/(-544)). Let c be 3/(-6)*1*8. Which is smaller: c or m?
c
Let c = 5.8 - 6. Let u = c + 0.4. Which is smaller: -2 or u?
-2
Suppose 1 = 3*p + 7. Let s = 5 + p. Which is greater: s or 4?
4
Let w(n) = -n + 1. Let d(y) = -4*y + 11. Let f(i) = -d(i) + 5*w(i). Let g be f(0). Let q be g/(-21) - (-36)/70. Are 0 and q nonequal?
True
Let r = 0.2 - 0. Suppose -3*i + 1 + 0 = -2*a, 2*i - a - 1 = 0. Which is greater: i or r?
i
Let o be (-12)/(-8) - 6/(-4). Which is bigger: 9 or o?
9
Let g be 4/(-268)*-1*2/(-1). Is g < 0?
True
Suppose 5*g + 3*m - 45 = 4*m, 0 = m. Is 7 less than or equal to g?
True
Let o(m) = m**2 + 5*m - 7. Let d be o(-6). Let y be (-2 - d) + (-1 - -2). Let t be -1*3 + -3 + 5. Which is smaller: t or y?
t
Let h = 4 - 14. Suppose -5*m + 7 = -3*n - 3*m, 2*m - 2 = 2*n. Let r be n + 7 + 24/h. Which is smaller: r or 1?
r
Suppose 2*n - 4*m + 0 = 2, -5*m = 5*n - 50. Suppose 4*t = -2*u, 3 + 1 = -2*u. Let b be (-16)/n + 2/t. Is b bigger than -1?
True
Let d = -60.9 - -65. Let x = -4 + d. Which is smaller: x or -0.2?
-0.2
Let z be 2*((-105)/6)/7. Let c be (z/15)/((-1)/3). Is -1/6 less than or equal to c?
True
Let f be 58/6 + (-12)/(-9). Is f >= 9?
True
Let l = 191/45 - 40/9. Let j = 69 + -68. Are l and j non-equal?
True
Let h be 0 + -6*12/9. Let n = -2 - h. Which is bigger: n or 4?
n
Let b = -15 + 10. Which is smaller: b or -2?
b
Let c be 24/9*(-3)/(-2). Suppose 2*r - 9 = -r, o - c*r = -11. Is o < 2/55?
False
Suppose 2*l + c + 6 = 0, -l - 12 = 7*c - 2*c. Is l greater than -2?
False
Let a(i) = -i**2 + 4*i + 3. Let d be a(6). Let s = 9 + d. Which is bigger: s or 2/5?
2/5
Let a = 347 + -4863/14. Which is smaller: a or 1?
a
Let c(k) = -k + 3. Let w be c(0). Suppose 2*t - 12 = -2, 0 = -2*h + w*t - 23. Let v = -4 - h. Which is smaller: -2 or v?
-2
Let y(z) = -11*z**2 + z - 1. Let c be y(1). Which is smaller: -10 or c?
c
Let f(r) = -r**2 - 13*r + 3. Let c be f(-14). Let p = c - -8. Which is bigger: p or -2/21?
-2/21
Let y = -1123155/211 + 5323. Which is smaller: y or -1?
-1
Let y be (12/(-9))/(2/(-3)). Suppose -y*n = n. Suppose 0 = -z + 2*h + 3, 4*z + n*h = -3*h + 1. Is z equal to -2/7?
False
Let b(o) = 5*o - 24. Let a be b(4). Is -25/8 at least a?
True
Let k = -0.2 + 0.6. Let u = 0 - k. Let o = u - -0.3. Which is smaller: o or 4?
o
Let g = -1.2 - -2. Let c = g - 1. Let s = -0.1 - -0.2. Which is greater: s or c?
s
Let d = 16 + -60. Is d < -45?
False
Suppose 71 + 81 = z. Let k = -1066/7 + z. Which is greater: -1 or k?
k
Let r be 0 + 140/75 + 4/30. Let q be 0*(2/(-4) - 0). Let u be q/(0 - 0 - -2). Does u = r?
False
Let z = -25 + 77. Which is smaller: 53 or z?
z
Let l = 8 + -1. Let w = -37 + 28. Let r = l + w. Which is bigger: -1 or r?
-1
Let p(s) = s + 2. Let n be p(0). Let y be (0 + -1)/(2/(-4)). Let j be (-2)/(y + (-30)/9). Which is greater: n or j?
n
Suppose -n + 3*h = 63, 3*n + 103 = -3*h - 98. Is -67 greater than n?
False
Suppose -3*g = -4*g - 5. Let y = g + 0. Let v(w) = -w**3 - 4*w**2 + 6*w + 5. Let c be v(y). Is 0 at least c?
True
Let y be 31/(-29) - (1 - 2). Let s be 1/5*0*3/6. Which is smaller: y or s?
y
Let l(m) = 4*m**3 - 14*m**2 - 13*m. Let u(p) = 5*p**3 - 14*p**2 - 13*p. Let t(b) = -6*l(b) + 5*u(b). Let a be t(-13). Is -1/8 less than or equal to a?
True
Let j(l) = l**2 - 4*l + 3. Let r = 10 - 7. Let s be j(r). Which is smaller: s or 1?
s
Let o be 2/(-5) - (-21)/15. Let s = 163/195 - 16/15. Which is smaller: o or s?
s
Suppose 3*v + 0*b - 137 = 2*b, 2*v - 91 = b. Which is greater: 46 or v?
46
Let f = 1.57 + -1.7. Is 3 != f?
True
Let f be 2 + 8/(-5)*1. Let c be ((-2)/(-5))/((-1)/5). Let u(l) = -l**2 - 2*l - 1. Let s be u(c). Which is greater: s or f?
f
Suppose 3*y - 10 = -2*o + y, -10 = -2*o - 3*y. Is o <= 5?
True
Let s = 65.85 - 64. Let g = -0.25 - s. Let q = 2 + g. Is -0.2 equal to q?
False
Let w = 1 - 3. Let j = w + 1. Is j >= 2?
False
Let k = 1/8135 + -463703/65080. Let v = 1099/152 + k. Which is greater: 1 or v?
1
Let q(j) = j**2 - 9*j + 24. Let x be q(8). Is 15 at most x?
True
Let y = 5 - 2. Let p be 0/(y/(-6)*-2). Let q be (-1 + p)/((-3)/(-6)). Is -2 at most q?
True
Suppose 4*b - 2*g - 92 = -0*b, 3*b = -g + 79. Is 26 less than b?
False
Let j = -2896/13 + 223. Is j greater than or equal to 0?
True
Let r = -2369503/19845 - -2/3969. Let w = -120 - r. Which is greater: -1 or w?
w
Let g be (0 - (-3 + 1))*1. Let s(t) = t**3 + t**2 + t - 1. Let q be s(0). Let p = q - -2. Which is smaller: p or g?
p
Let d = -299/515 - 2/103. Suppose 0 = 3*w + 12, -5*b - 5*w - 21 = 79. Let r = 14 + b. Which is greater: d or r?
d
Let s = 110272/4275 + -8/475. Let h = s - 26. Which is smaller: h or 1?
h
Let y = 4985/9 + -553. Let x = -25/18 + y. Is 0.02 at least as big as x?
True
Let d(q) = -q**3 - 3*q**2 - 8. Let s be d(-4). Is 1 >= s?
False
Let t = 2.1 + -2. Let n = -20 + 20. Is t greater than n?
True
Let p = 16 + -15. Let y = 10 - 10. Which is smaller: y or p?
y
Suppose 2*x - 28 = 4*p, -2*x = 3*x - 3*p - 49. Let y = x - 23/3. Which is bigger: y or 0?
y
Let f(w) be the second derivative of w**6/120 - w**5/5 + 11*w**4/24 + 5*w**3/6 + w**2/2 + w. Let h(x) be the first derivative of f(x). Let y be h(11). Is 4 < y?
True
Suppose s - 18 = -129. Let q be (3 + -13)*(14/(-10) + 1). Let c be (-6)/4*q/s. Which is smaller: c or 1?
c
Let n = 66/5 + -517/35. Which is smaller: -3 or n?
-3
Let j be (-2)/(-4)*(8/92)/2. Is j bigger than 1?
False
Let s(b) = b + 8. Let z be s(-8). Is z at least 2/471?
False
Let n(h) = 2 + 0*h + 2*h**2 + h**3 - h - 6*h**2. Let d be n(4). Is d < -1/2?
True
Let s(p) = -p**2 - 8*p + 1. Suppose 0 - 8 = w. Let k be s(w). Let m = k + -2. Are 1 and m unequal?
True
Let l = -221.95 - -222. Which is smaller: -20 or l?
-20
Let t = 11 - 8. Let q = 4 - t. Let r = -1 + 1. Is q not equal to r?
True
Let t = 7 - 2. Suppose 0*r + 5*r = 10, 2*r = 3*x - 8. Which is bigger: x or t?
t
Let y = -49 + 43.3. Let m = y - -6. Which is greater: 0 or m?
m
Let u be 0*-2*1/6. Let v(q) = -q**2 + 3. Let a be v(u). Let k be 5*(0 + (-8)/(-10)). Is k at least a?
True
Let c = -163 - -8967/55. Is 0 at least c?
False
Suppose 5*l - 90 = 3*l. Let q be 3 + l/(-24) + -1. Let r = -2 - -3. Which is greater: q or r?
r
Let c be ((-8)/98)/(6/(-7)). Are 2/13 and c nonequal?
True
Let n(y) = -y**3 + 4*y**2 - 2*y - 2. Let q be n(2). Suppose 3*w + 2 = q*w. Let b be ((-12)