 Let o(r) = 6*r + 3. Let a be o(0). Let c be t(a). Is 16 at least as big as c?
False
Let y(n) = -n + 18. Let m be y(-16). Suppose -37*t + m*t = -12. Is 9/2 at most t?
False
Let j = 5785 + -5492.9. Let b = j - 276. Let k = 16 - b. Is 4/7 at most k?
False
Let g = 7 + -7. Let t be (2 + g)*3/(-36). Let k = -2/3 - t. Is 0 < k?
False
Let k = 647 - 562. Which is greater: 5 or k?
k
Let o = -27.9 + 31. Let d = -0.004 - 2.996. Let p = d + o. Which is smaller: p or -4?
-4
Let r be (-3)/(-179)*4/(-6). Let i = r + -171/716. Is i < -27?
False
Let t be ((-3432)/3423 - -1)/(8/860). Let j = -1/326 + t. Is j at most -7?
False
Suppose -n + 761 = 4*m, -5*m - 32*n + 34*n + 948 = 0. Is m > 190?
False
Let t = -0.0604 + -30.8396. Let s = t - -31. Do 3/10 and s have the same value?
False
Let n(u) = -u - 3. Let d(j) = -2*j**2 - 8*j - 1. Let w be d(-5). Let a be n(w). Suppose 3*c + 55 = -a. Which is smaller: c or -20?
c
Let f(z) = -z + 16. Let w be f(0). Suppose -o + 2*o - 20 = -3*q, 3*q = -5*o + w. Let k be (10/q)/5*1. Do k and -7 have the same value?
False
Suppose 3*k - 2*j = -361, -4*k + j - 3*j - 458 = 0. Let t be 6 - 14 - (-4)/2. Let g be 0 - t/k*-3. Is 0 less than g?
True
Let x = -194956/273 + 2146/3. Let t = x - 12/13. Let m = 0.9 + 0.1. Which is smaller: t or m?
t
Let s(b) = -2*b**3 - 3*b**2 + 2*b. Let c be s(2). Let h be 118/(-38) + c/(-8). Let n = 24 + -23. Is n bigger than h?
True
Let c(s) = -s**3 - 6*s**2 + 4*s - 5. Let g be c(-7). Let x be 1*0/(g/4). Which is smaller: 5/7 or x?
x
Let x = -21103 - -3735217/177. Which is smaller: 0 or x?
x
Let m be ((-75)/(-20))/((-12)/8)*-20. Is 352/7 less than m?
False
Let q = -1758 - -38679/22. Is q > 0?
True
Suppose p - 14 = -p. Let a(v) = v**2 - 5*v - 2. Let z be a(p). Let y be (4 - z)*(-11)/4. Is y <= 22?
True
Let j be (3/(-2))/((-138)/(-1012)). Is j < -14?
False
Let k be (-152)/(-32) + (-1)/(-4). Suppose 0 = -6*f + f - 3*y - k, -f = 2*y + 1. Is 18 != f?
True
Let v be (-4)/(-20)*(-9)/12*-5. Is -3/2 at least as big as v?
False
Suppose -9*g + 974 = -583. Which is bigger: 172 or g?
g
Let d = 295 - 311.5. Which is smaller: d or 1/2?
d
Suppose 0 = -2*a - 2*a + 84. Suppose 0 = -0*s - 3*s - a. Let w = s - -6. Is -2/7 smaller than w?
False
Suppose -4*c - 3*s - 6 = 0, -10*s + 4 = -5*c - 12*s. Which is bigger: c or -2?
c
Let k = -18 + 16.9. Let z = k + -2.9. Is 0.2 bigger than z?
True
Suppose -q - 80 = 2*y + 2*y, -4*q - 3*y = 281. Which is smaller: -65 or q?
q
Let p = 3/244 - -251/19276. Suppose 25*v + 20*v = 9*v. Is p at most as big as v?
False
Let f be (12/8)/(3/(-28)) + 0. Does -69/5 = f?
False
Let k(z) be the second derivative of 5*z**3/6 - 7*z**2/2 + 8*z. Let y be k(2). Suppose 0 = -5*v + 2*b + 1, -y*v + 2*b + 3*b = 7. Which is greater: v or -3/7?
v
Let f = -1 + 1. Let p be (-13 - -11)/(2 + f/2). Is p > 3/28?
False
Suppose 3*n + 6*v - v - 4 = 0, -4*n + 15 = -3*v. Let c be n/6 - 2/4. Suppose -15*g = 2*m - 12*g + 10, 1 = 5*m + g. Is m less than c?
False
Suppose -38 = -o - 3*o + s, 0 = 3*o - s - 29. Let t = -1880 + 2822. Let k = t - 2801/3. Is k at most o?
True
Let n be ((-7)/21)/((-1)/(-6)). Let h(o) = o**3 + 3*o**2 + 1. Let d be h(n). Suppose -2*b = 2*r + 2*b + 4, d*r - 4*b = 4. Which is smaller: 2/5 or r?
r
Let f be 9/6*(-4)/(-3). Let t be 1 - -1 - (-27)/(-36). Is f bigger than t?
True
Let z = -197 + 229. Is z < 24?
False
Let r(f) = -31*f + 79. Let c be r(3). Is c > -66/5?
False
Let i(k) = -k**2 - 3*k + 2 - 2*k - 6*k - 15. Let m be i(-7). Let s = m - 21. Is -6 at most s?
True
Let z(l) = -l**3 + 5*l**2 - 2*l. Let i be z(4). Let t be (-1)/2 - 4/(-8)*-11. Let j be (i/30)/((-2)/t). Is j greater than 2?
False
Suppose -3*l = -4*w - 2, -8*l - 5*w = -12*l + 3. Let r = -0.04 - 0.14. Is l != r?
True
Suppose -12 + 39 = -9*r. Let h be (3/r - -1)/(-2). Let n = -2/153 - 292/1071. Which is bigger: h or n?
h
Let w be (-261)/(-116)*(-8)/(-6). Suppose 9*i - 22 = 3*m + 4*i, 4*m - 3*i + 11 = 0. Which is greater: m or w?
w
Let v(j) = -j**3 + 5*j**2 + 7*j - 1. Let o be v(6). Let n = 4/297 + -13967/594. Let q = -20 - n. Which is greater: q or o?
o
Let j = -88 - -97. Suppose j*i = 5 - 5. Is i not equal to 1/3?
True
Let y = -0.1 - -0.3. Let j = 0.32 - y. Let m = -0.64 - -0.64. Which is greater: m or j?
j
Let g be (-3)/6*52/6. Let a(n) = n**2 - 15*n - 131. Let s be a(21). Which is smaller: g or s?
s
Let r = -0.05 - -0.14. Let q = r + 1.91. Suppose 5*h - 2*o - 24 = -o, 20 = 2*h - 3*o. Is q at least h?
False
Let i = 897/2261 - -2/133. Does -1 = i?
False
Suppose 0 = 3*d + 4*b - 34, -4*b = -2*b - 8. Suppose -d*a + 5 = -1. Are 12/5 and a nonequal?
True
Let w(h) = -h**3 + 2*h**2 - 3*h - 4. Let d be w(-1). Suppose 20 = -5*i - 5*k - 0, 0 = -i - d*k - 7. Which is bigger: -89 or i?
i
Suppose 9*f - 83 - 16 = 0. Let r be (-160)/128*84/(-10). Which is greater: r or f?
f
Let l be (3/(-4)*-2)/((-16)/(-224)). Suppose -2*u + 6*u = -5*x - 85, -u - x - l = 0. Which is smaller: -19 or u?
u
Suppose 18*x - 33 = 7*x. Suppose 64 = -x*u + l, -4*l = -5*u - 6*l - 125. Which is smaller: -24 or u?
-24
Let l = 5 - -1. Suppose -3*h = -4*s + 41, 4*h - l*h = 2*s + 4. Which is smaller: h or -9?
-9
Let d = -1301/84 + -1/84. Let g be 397/30 + 2 - (-10)/15. Let y = d + g. Which is bigger: y or -6?
y
Suppose 0 = 6*t - 5*t + 16. Let k = t - -33. Let c = k + -19. Is c at least -2?
True
Suppose 4*g + 72 = 16. Let i be (-74)/g + 22/(-77). Which is greater: i or 1/2?
i
Let p = 1.54 - -0.46. Which is smaller: -0.075 or p?
-0.075
Suppose -129*u + 139*u = -100. Let h = 4 - 6. Let p be h/((u/16)/(-5)). Is -15 <= p?
False
Let j = -0.002 - -6.702. Let q = -7 + j. Suppose 6*u - 22 - 8 = -3*t, 3*t + 40 = 4*u. Which is bigger: u or q?
u
Let b = -25 + 8. Let l be (-6)/(-36)*142 + -7. Let f = b + l. Is f greater than 0.1?
False
Suppose 5*r - r - 4*g - 40 = 0, -4*g - 46 = -5*r. Let s(d) = -d**3 + 6*d**2 + d - 13. Let q be s(r). Let k = -3 + 5. Which is greater: k or q?
k
Let b be 267142/264480 - 9/54. Let h = b + -3/2320. Which is greater: h or 1?
1
Suppose 4*o = n, -3*o = -5*n + 3*n. Which is bigger: 2/393 or n?
2/393
Let h be (-2)/((-1 + 0)*9/(-9)). Is h > -10/11?
False
Let s be ((-8)/(-6))/(3 - 17/6). Let w be 64/s + (-1)/1. Is 7 greater than w?
False
Let a = -3 + 4.5. Let j = 5.5 - a. Let d be (-72)/(-42) - 4/2. Is j equal to d?
False
Let r = 152 - 152.8. Which is smaller: r or -11?
-11
Let i = -8.2 + 10. Let x = i + -1.89. Let r = 10.09 + x. Is 2/7 > r?
False
Suppose -122*t = -202 - 164. Does -15.9 = t?
False
Let w(i) be the third derivative of -i**6/120 - i**5/60 - 11*i**3/6 + 20*i**2. Let l be w(0). Do l and -11 have the same value?
True
Let r = 26.61 + -27. Let m = -0.09 - r. Which is smaller: m or 0.13?
0.13
Let z = 179 - 178.9. Let b = 23 - 22.91. Let s = -1.89 + b. Which is greater: z or s?
z
Suppose -o - 1 = w, -2 = -6*o + 5*o. Let x be -3 - (-3 + -1) - w/(-12). Let m = -2 + 2. Is m not equal to x?
True
Let u be (4/14)/(13 - (-1400)/(-98)). Which is smaller: -0.045 or u?
u
Let u = -54.1 + 0.1. Let m = u - -54. Which is bigger: m or -1?
m
Let z = -5068 - -15050/3. Is z <= -51?
True
Let r = 41.1 - 45. Let i = -3.6 - r. Which is greater: 6 or i?
6
Let h = 2 - 4. Let r be (2 + h + -1)*105. Let n be 5/(r/(-18)) + -1. Is 1 at most as big as n?
False
Let h be ((-6)/(-39) - -2) + -3. Which is bigger: 1/2 or h?
1/2
Let h = -19 + 43. Let s be (-4)/(-6) - 70/h. Let n be 0 - (2 - (-2 + 2)). Which is greater: s or n?
n
Let c = 825 + -825. Let b be (3/2)/(1/106). Let o = b - 1269/8. Is c smaller than o?
True
Let y(s) be the first derivative of 1/3*s**3 + 3 + 9*s**2 + 31*s. Let v be y(-16). Are -3/7 and v equal?
False
Let n be (12/(-15) + (-10)/(-75))*30. Which is smaller: n or -12?
n
Let w be (2/(3212/33))/((-30)/8). Which is smaller: 1 or w?
w
Let x = -1676 + 2215. Are 539 and x equal?
True
Let y = 5/12 - -1619/204. Which is smaller: y or 8?
8
Let u = 1778 - 1757. Which is bigger: u or 133/6?
133/6
Let t(k) = -2*k**2 - k - 5. Let w = -58 - -58. Let f be t(w). Let q = -6 - -3. Which is greater: q or f?
q
Suppose -10 = -4*y + 2. Let c(x) = 3*x**3 - x**2 - 4*x + 3. Let l(f) = 4*f**3 - f**2 - 5*f + 4. Let u(i) = y*c(i) - 2*l(i). Let s be u(2). Is 2/21 equal to s?
False
Let x be 8/(-36) - 100/36. Let l be (4 + x)/1 + 5. Suppose 0 = -3*s - 3*s + l. Which is smaller: s or 1/5?
1/5
Let u be (-12)/8*590/(-15)