 Let d(n) = n + 9. Let b be d(-8). Does m = b?
False
Let c = -72475/1806 - -241/6. Let d = 3986/100835 - c. Which is greater: d or -1?
d
Let j(m) = 1302*m - 3731. Let t be j(3). Do t and 1570/9 have the same value?
False
Let n = -1/758543 - -1517097/8343973. Let z = 0 + 0. Let q(y) = y - 7. Let a be q(z). Which is greater: a or n?
n
Suppose -1074 - 312 = 42*k. Which is bigger: k or -35?
k
Let o(m) = 60*m**2 - 8*m - 48. Let y be o(-3). Is y at least -0.1?
True
Let m be ((-3)/3)/((-11)/(-913)). Let q = m + 85. Which is smaller: 17 or q?
q
Let d = -39461 + 39560. Is 991/10 greater than or equal to d?
True
Suppose 160 = 2*g + 164, 3*g - 30 = 4*q. Let o(c) = c - 4. Let f be o(-6). Let d be f*(1*-2 + 3). Is q at most as big as d?
False
Let u = 156017 - 156018. Let j = -19/462 - 2/21. Is j at most as big as u?
False
Suppose -6*i + 12 = -9*i. Let h be (-141)/i*14/21. Let m = 44 - 21. Is h greater than or equal to m?
True
Let w(a) = -8*a + 7*a**3 - 8 + 9 - 8*a**3 + 6*a**2. Let g be w(4). Let t be (-3)/(-1 - -1 - g). Is 1 greater than t?
False
Let r be (-5 - 9) + 29 + 91. Which is bigger: r or 108?
108
Let h(w) = 3*w - 12*w + 13 + 2*w**3 + 8*w - 4*w**2 - 12. Let z be h(-1). Which is smaller: z or -6?
-6
Let v = -0.23 - 77.77. Let d = v + 78.2. Is d greater than 2/35?
True
Suppose -z + 53*k + 295 = 58*k, 0 = 5*z - k - 1605. Is z > 315?
True
Let n = -1069 - -210. Let l = -865 - n. Let z = -1/228 + -1291/228. Do z and l have the same value?
False
Let l = 268 + 4783. Is l > -1/3?
True
Let k(l) = 2*l + 77. Let n be k(-14). Let g = 3001 - 8860/3. Is g less than n?
True
Let x = 687 + -465. Let a = x - 220. Is 65 != a?
True
Let l = 7.857 + -51.157. Which is smaller: l or -0.2?
l
Let a(t) = t**3 - t**2 + 13*t + 39. Let v be a(6). Which is greater: 295 or v?
v
Suppose o + 16 = -2*t + 14, -22 = 3*o - 2*t. Let n = -449/6 - -69. Which is smaller: o or n?
o
Let v = 407791/26 + -15686. Is -0.1 smaller than v?
False
Let h = -8/249 + 30431/954915. Which is bigger: h or -1?
h
Let p = 66 + -94. Let d = p + 25.7. Which is smaller: d or 0.5?
d
Let h be ((-1502)/19)/((-8)/(-44)). Let o = -435 - h. Let m = -6 + 6. Is m at least as big as o?
True
Let a be ((-1560)/70)/(6/(-644)). Are 2392 and a equal?
True
Let j = 119.4 + -5.4. Let w = j - 86. Let i = -0.01 + 1.01. Is w at least i?
True
Let w = 0.1 - 1.1. Let o = -1.58 + 1.62. Let s = -0.14 + o. Which is smaller: w or s?
w
Suppose 45 = -8*o - 27. Let s be (3*(-6)/o - 1)/(-1). Let c be s/(-12)*(-7 - -5). Which is bigger: 0 or c?
0
Suppose 7*r = 4*r + 2*g + 326, -g = -8*r + 852. Which is bigger: 123 or r?
123
Let h be -6*(-3)/12*6/3. Suppose u = -h*x + 2 + 1, -x = 0. Let g be (1/(-4)*1)/(u + -2). Which is greater: g or 17?
17
Let b be (-21)/(-14)*(-22)/(-36). Let f be 5 - 9 - (-119)/36. Let k = b + f. Which is greater: k or -1?
k
Let v = -4.06 - -4. Let t = -19.2 - -19.32. Let b = v + t. Which is bigger: -0.2 or b?
b
Let i be 3 + (54 - (-4 + 2)). Suppose -2*f + 9 = 4*z + i, -3*z = -f + 25. Let n(t) = -t - 9. Let q be n(z). Which is bigger: q or 2/13?
q
Let u = -10 - -17. Let x(o) be the first derivative of -o**3 + 43*o**2/2 - 79*o - 270. Let g be x(12). Are u and g unequal?
True
Let k(m) = m**3 + 9*m**2 + 5*m - 19. Let t be k(-8). Let s(h) = -h**2 + 4*h + 1. Let y be s(t). Let w = y - -2. Do -15/11 and w have the same value?
False
Suppose 0 = -10*w - 6*w + 7*w - 27. Which is bigger: w or -282?
w
Let x be (-5)/15 + 0 + (-410)/(-6). Let p be -3 - ((x - 9) + 4). Which is bigger: p or -62?
-62
Let n = 215 + -204.1. Let d = n - 10.7. Which is bigger: 2/25 or d?
d
Suppose -5*n - 8 = 12, o - 11 = n. Let y(w) = -13*w**2 - 83*w + 451. Let i(f) = -3*f**2 - 21*f + 113. Let k(r) = 9*i(r) - 2*y(r). Let j be k(-27). Is o > j?
False
Let q be 0 - (1 - 246/250). Let v = 448.857 - -0.143. Let w = v - 450. Which is smaller: w or q?
w
Let h = 5050 + -5046. Which is greater: h or 1/661?
h
Let v be 38/57*6298/4. Which is greater: 1051 or v?
1051
Let h(d) = d**3 + 11*d**2 - 29*d - 12. Let o be h(-13). Let c be ((-10)/3)/(1/(o/(-6))). Suppose 0 = 5*r - t - 67, 2*r = 4*t + t + 13. Which is bigger: r or c?
c
Suppose 24 = z + z. Let o = 36 - z. Let q = -128329 - -128353. Is q < o?
False
Let w be (-1)/(-1)*(56 - 73). Suppose -11*x + 12*x + 1 = 0. Is x smaller than w?
False
Suppose -5*b - 4*f = -34, 3*f - 138 = 3*b - 9*f. Let j = 5329 - 133242/25. Which is smaller: b or j?
b
Let a be ((-488)/5)/(516/1290). Is a at most as big as -485/2?
True
Let i = -187/6 - 13/3. Let s be ((-47385)/(-150))/(-9) - 1/(-10). Which is bigger: i or s?
s
Let m be (-27)/81 + (-757)/(-3). Let o be -3*(1504/m + -6). Is o smaller than 0?
False
Let j be 8*(-16)/(-888064)*(-4)/(3 + -2). Is j <= 5?
True
Let s(v) = -2*v**3 - 17*v**2 - 39*v - 334. Let m be s(-8). Suppose -3*q + 8*q = -425. Which is greater: m or q?
q
Let r = 960 + -960. Which is bigger: r or -1/146?
r
Let g = 16.475 - 16.675. Is -1/2077 < g?
False
Let w = -9750 + 1101747/113. Are 8 and w equal?
False
Let l(k) = k**2 + 13*k + 19. Let o be l(-7). Let m = o - -99. Suppose m = -11*x + 10. Which is bigger: x or -4?
-4
Let r = -601 + -2339. Let p = r + 2889.94. Let h = -50 - p. Is h < -1/7?
False
Let f = 6.774 - 7.174. Is f less than or equal to -665?
False
Let b be 252/(-28) + 41960/5. Is 8383 >= b?
True
Suppose 17*t + 15*t + 4 = 33*t. Are t and 43 non-equal?
True
Let w = 1.2 - 1.6. Let y = w - 35.6. Let k = y - -33. Which is smaller: -4 or k?
-4
Let a(s) = -s**2 + 5*s + 10. Let f be a(5). Suppose 45 = 7*d + f. Let o be d - 8 - -6*1. Which is smaller: 17/5 or o?
o
Let s be ((-205)/(-3) - -4) + 3/(-9). Suppose -4*j - 5*a = 2 + 2, 5*a + 8 = -3*j. Let c(m) = 6*m**2 - 3*m - 12. Let v be c(j). Is v at least s?
True
Let s(k) = -3*k**3 - 26*k**2 - 28*k + 30. Let o(g) = 4*g**3 + 25*g**2 + 27*g - 30. Let n(q) = -4*o(q) - 5*s(q). Let p be n(31). Are 3/152 and p equal?
False
Suppose -4*x + 42 = 5*z, 0 = x - 1 - 2. Suppose 0 = 2*f + 2*a - 6, 5*f - 5*a = -z*a - 1. Let q be (1/((-9)/(-3)))/((-693)/(-54) - -5). Which is smaller: q or f?
f
Suppose -y + 33 = 3*t - 6*y, -2*y = 3*t - 12. Let o = 125.37 - 125. Let m = -0.03 - o. Is m <= t?
True
Suppose -4*j + 6 = -2*f, 5*j + 3 - 5 = -3*f. Let b = 1/5 + -38/15. Do f and b have the same value?
False
Let c be 1936/(-5) - (4/(-22))/(20/(-88)). Does -389 = c?
False
Suppose -j = -4*d - 21, 0 = -j + d + d + 11. Suppose 11 = 4*w + 3*x - j, 2*x = 0. Which is smaller: w or 9/4?
9/4
Suppose 0*y + 3*y - 4*d = -65, -5*y - 2*d = 65. Let x(t) = t**3 - 11*t**2 - 13*t + 19. Let k be x(12). Let i be k/(1/6*-3). Which is greater: y or i?
i
Let v = 180 - 186. Suppose 33*b - 27*b + 120 = 0. Which is smaller: v or b?
b
Let f = 7.07 + -387.07. Let u = f + 380.1. Which is greater: 0.06 or u?
u
Let f = -26 + 75. Let i(d) = -3*d**2 + 1. Let b be i(-1). Let n be b*(-3 + 4) - -52. Which is greater: n or f?
n
Suppose 0 = 9*z - 362 - 61. Let l be ((-11851)/21)/(z/3). Let b = 36 + l. Is b equal to -1?
False
Let d be (4 - 0)/(8/(-180)) - -2. Let j = 96 + d. Suppose -c + 4*m - 5 = 3, c = 5*m - 12. Is c greater than j?
False
Let w(h) = -h**3 - 11*h**2 - 7*h + 10. Let b be w(-10). Let x(v) = -2*v**3 + 16*v**2 - 15*v - 17. Let a be x(7). Is b less than a?
False
Let k = -166 + 158.3. Let f = -24.3 + k. Which is greater: -4 or f?
-4
Suppose 0 = 5*p + 12*p - 5168. Suppose -3*u + p = -7*u. Let a = 4938/65 + u. Is 1 at most a?
False
Let o be (-4095)/108 + (-24)/18. Let v = 7383/188 + o. Which is smaller: v or -4?
-4
Let z(v) = v**2 + 10*v + 12. Let f be z(-6). Let m(n) be the second derivative of -2*n**3/3 - 15*n**2 + 3*n. Let o be m(f). Which is greater: o or 16?
o
Suppose -56*j + 43*j + 104 = 0. Suppose -j*t + 11 = 19. Which is smaller: t or 1/67?
t
Let k = -0.9 - -1. Suppose -2*t = -a - 39, 4*a = -36*t + 276 + 272. Is t smaller than k?
False
Let f be 33883/155*(52 - 2). Is f > 10930?
False
Let s = -1874 + 1836. Which is greater: s or 75?
75
Let w be 2 + 1 - 0/13. Suppose -4*r + f - 1170 = -r, w*f + 1547 = -4*r. Which is greater: -390 or r?
r
Let d be -3 + (-6 - (1116/(-981) - 8)). Which is smaller: 0 or d?
0
Let s = 0.6487 + 0.3513. Is -45.07 smaller than s?
True
Suppose 0*g - 12 = -2*g. Suppose -4*y + 6*y = g. Let o be -9 + 117/(-65) + 14. Which is greater: y or o?
o
Let y = 336.9 - 332.5. Which is greater: -6/11 or y?
y
Let w