e?
False
Suppose 162 + 66 = 19*n. Which is smaller: n or 10?
10
Let n be 5*4*3/150. Let l = -0.45 - 44.55. Let v = -52 - l. Is v > n?
False
Let n(z) be the first derivative of z**4/4 + 3*z**3 - 11*z**2/2 + 12*z - 37. Let o be n(-10). Which is bigger: o or 20?
o
Let b be 846/90 + 2/(-5). Suppose 5*a - b = -j, -2*a - 2 = -3*j - 9. Is a at most 1?
False
Let j = -2/41 - -45/82. Let q = -11 - -18. Let x = 7 - q. Is x < j?
True
Let m be 1/(-10) - 28/(-280). Which is bigger: 1/308 or m?
1/308
Suppose 36*t = 38*t - 16. Let r be t/(-44) + 174/(-11). Which is smaller: r or -11?
r
Let i be (((-5265)/(-6))/(-13))/((-1)/6). Which is greater: 408 or i?
408
Let w = 275 + -255.9. Let y = w + -19. Is -1/3 smaller than y?
True
Let v(y) = -y**2 - 28*y - 82. Let b be v(-26). Let d = -31 - b. Which is greater: 3/64 or d?
3/64
Let g = -0.01 - -0.31. Let l be 9/(558/155) - (-1 + 9). Which is bigger: l or g?
g
Let z = -2/333 + -4/703. Let y = -49700/3 + 16566. Which is bigger: y or z?
z
Suppose 0 = -5*b + 5*p, 2*b - 2*p = -p - 1. Let w = -504 - -6555/13. Which is smaller: w or b?
b
Let m = 1/276 - 2669/276. Let l be ((-54)/24)/((-4)/(-16) + 0). Are m and l unequal?
True
Let g = -0.0081 + 0.0071. Which is greater: g or -6?
g
Let k = 981/400 + -45/16. Let l = k + 113/175. Let o = 6 + 3. Is o greater than l?
True
Let h be 25/((-4525)/726) + 4. Is 0.1 greater than or equal to h?
True
Suppose -3*g + 0*g = -5*j - 1528, -3*g + 604 = -2*j. Let p = j - -6467/21. Which is smaller: 0 or p?
p
Let f be 9072/(-348) - -11 - -7. Which is smaller: -9 or f?
-9
Suppose -4*n - 2*u + 242 = 0, 3*u - 39 = -2*n + 72. Let x = 70 - n. Is 1 at most x?
True
Let y = 0.02 + -0.82. Let f = -6 - y. Let a = 0.2 + f. Which is bigger: a or -1?
-1
Let q = 11 + -10.7. Let h = q - 15.3. Let g = -17 - h. Which is smaller: g or 3?
g
Let t be (5 - -2) + -1 + 2. Let c = t + -5. Let v be (c/(-27))/((-1)/6). Which is bigger: 1 or v?
1
Let z = 2411/3212 + -1/1606. Which is greater: z or -70?
z
Let b = 26 + -32. Let l = b - -3. Is -3 < l?
False
Suppose 8*j = 5*j - 4*p + 12, 0 = 3*p + 9. Which is greater: 4 or j?
j
Suppose 3*z = -z + 12. Let v be (280/(-25))/(4/(-10)). Let d = v + -25. Is d smaller than z?
False
Let u(b) = b. Let r be u(0). Let a(p) = -p**3 + p**2 - 2*p + 14. Let m be a(r). Is 15 greater than m?
True
Let k(u) = -5*u - 16 - 2*u + 6*u + 4*u. Let p be k(6). Which is smaller: 1/47 or p?
1/47
Suppose 5*i + v = -23, -14*i = -18*i + 3*v - 7. Which is smaller: i or -15/4?
i
Let o = 9.91 + -340.91. Do o and -0.1 have the same value?
False
Let j be (-10)/135*(-42)/(-4). Let y = 0 - -0.1. Which is greater: y or j?
y
Let g be (-15)/(-2)*5/15*2. Which is smaller: 33/7 or g?
33/7
Let o(x) = -x**2 - 12*x + 1. Let h be o(-12). Suppose 10*c + 0 = -10. Is c smaller than h?
True
Let r = -2/2719 - -274623/5438. Which is smaller: 50 or r?
50
Let b(u) = -u**3 + 5*u**2 - 4*u + 3. Let n be b(4). Let t = 4 - n. Let f(g) = -g**3 + g - 6. Let d be f(0). Which is smaller: t or d?
d
Suppose 0 = p - 1. Let j = 24 - 22. Let h be j/(-10) + (-7)/490. Is p at least h?
True
Let v(f) be the first derivative of f**4/4 + 6*f**3 + 8*f**2 - 16*f + 4. Let j be v(-17). Which is greater: j or 1/3?
j
Suppose -20*q + 20 = -25*q. Suppose 0 = 4*w + 20, -3*l - l = 5*w + 81. Let n be l/q*(-6 + 5). Which is smaller: -3 or n?
n
Let i(u) = 0*u**2 + 168 - 161 + u**2 - 8*u. Let v be i(7). Which is smaller: 2/17 or v?
v
Suppose 3*t - 23 = p + 87, 2*t = 2*p + 240. Which is smaller: -124 or p?
p
Let f = -34 + 10. Let g be f/5 + 3/(-15). Let p be g/(-7) - (-3)/(-7). Does -4 = p?
False
Let r be 7/(-7) + (-1 - -2). Suppose -7*x + 3*x + 392 = r. Let o be 0 + 3 + (-315)/x. Which is smaller: o or 0?
o
Let x(t) = 3*t**2. Let f be x(2). Suppose -6*h + 35 = 11. Suppose -h*g = 3*k - 44, 5*k - 2*g - 52 = 2*g. Is f bigger than k?
False
Let i = 0.22 - 0.07. Let h = -0.04 + i. Let a = 0.41 - h. Which is bigger: a or -1?
a
Let n = 21 + -17. Let h be (1/(-2))/(n/16). Let o be (3 - 2 - 0) + h. Is -2 < o?
True
Suppose 2621 = -29*b - 221. Which is bigger: b or -397/4?
b
Let t = 149/24 - 47/8. Is 23 >= t?
True
Suppose -2*i + 4*y = -34, -4*y + 9*y = -2*i - 2. Suppose 15*c - 78 = 2*c. Is i > c?
True
Suppose 0 = -2*w - 2*w + q + 11, 14 = w - 4*q. Suppose -5*p - 4 = 4*m - 11, -m - p + w = 0. Let t = 0.8 - -0.2. Which is smaller: t or m?
t
Let p be 0/10 - (-1 + -15). Let a be ((-6)/(-16))/((-60)/p). Which is smaller: 1 or a?
a
Let b(d) = 3*d**2 - 19*d - 11. Let i be b(7). Which is smaller: i or 6?
i
Let c = 6 + -4. Let l be c/4 + 34/4. Let d(s) = 144*s - 1434. Let x be d(10). Which is smaller: l or x?
x
Let h = -49 + -87. Is h greater than -138?
True
Let r = -556.9 + 559. Let c = 54 - 57.1. Let y = c + r. Is y < -2/3?
True
Let v(o) = 112*o - 4819. Let u be v(43). Let f(j) = 5*j**2 + j - 1. Let d be f(1). Suppose -13 = 3*c - 6*c - d*n, c = -5*n + 21. Which is smaller: c or u?
c
Let u = 1 + -18. Let m = 11 + u. Let r(t) = -5*t**2 + t - 1. Let c be r(1). Which is bigger: m or c?
c
Suppose 211*n = 216*n + 10. Is -9/14 greater than n?
True
Let k = -73/561 - -1/11. Which is greater: -7 or k?
k
Let m = 9.91 - -0.09. Let u = -15.85 - -17.85. Which is smaller: m or u?
u
Suppose -u - 3 = -4. Let b be ((-424)/6 - -2)*3. Let c = b - -6800/33. Which is greater: u or c?
u
Let v be 3/(-11 + 2)*6. Let l = v - -6. Suppose l*f - 5 = -f. Is f greater than or equal to 1/11?
True
Let j be 2 + -6*1/4. Suppose 2*d = -4*q - 160, 0*d = 2*d - 4*q + 120. Let c be (-4)/(-14) - 22/d. Which is smaller: c or j?
j
Let v = -1.22 - -2.13. Let c = -1.01 + v. Which is smaller: c or 51?
c
Suppose -10*i + 33 = -17. Let w = 1 - i. Does -17/4 = w?
False
Let h = 2 + 1. Let b be (-2)/(-4) - 18/24. Which is smaller: h or b?
b
Let f = 396389/584 + -2715/4. Which is smaller: f or 1?
f
Let n be (-30)/105 - (2 + (-23)/7). Which is smaller: 21 or n?
n
Let v(c) be the second derivative of c**5/20 - c**4/3 + c**3/3 - c**2 - 5*c. Let m be v(3). Let x be 2/(m/((-10)/(-4))). Is -3/10 less than or equal to x?
False
Let u = -11.9 + -0.5. Let f = u + 12.4. Is f smaller than 52?
True
Let l be -7 - 2*(-1)/((-6)/36). Are 3 and l non-equal?
True
Suppose -49 = 3*r - 4*c, 4*r = 55*c - 56*c - 59. Which is smaller: r or -9?
r
Let z be (-1)/(-2) + 473/(-22). Let m be (2/8)/(6/z). Is -2 bigger than m?
False
Let n be (-5)/(25/(-10)) + 3. Suppose k - n = 0, 15 = 2*x - 4*k - 9. Is 21 greater than x?
False
Let o = -58 + 64. Suppose 0 = -0*v + v - 36. Suppose -v = o*t - 3*t. Which is smaller: -11 or t?
t
Let b(m) be the second derivative of -4*m**5/5 - m**4/4 + m**3/3 + 7*m. Let c be b(1). Which is greater: -16 or c?
-16
Let k be (4 + 105/(-30))*(131 + 1). Is k != 69?
True
Let v = -526 + 664. Do v and 1 have different values?
True
Let y = 37.1 + -35.47. Let q = 1.8 - y. Let j = q + -0.17. Which is greater: j or 2/5?
2/5
Suppose 0 = 4*u - 9*u - 15. Let o be 7*3*(u + 2). Let q = -41/2 - o. Is 0 < q?
True
Let t = 24.5 - 32. Let u = -0.5 + t. Let q = 11 + u. Are -2 and q nonequal?
True
Let u(h) = h**3 + 11*h**2 + 23*h - 9. Let r be u(-8). Are -1/11 and r nonequal?
True
Let g be (2 - -261) + 16/40*-5. Is 260 >= g?
False
Suppose -4*n = -3*n + 2*m - 9, -n - 5*m = -24. Let x be (11/(-4))/(2/8). Let h = x - -56/5. Which is greater: n or h?
h
Let v = 166 - 163. Do -2/49 and v have the same value?
False
Suppose -4*r + 26 = -2*r. Let u(b) = -13 + 12*b**2 + 8 - 122*b + 136*b - 9 - b**3. Let w be u(r). Is w < 1/5?
True
Let v = -40.75 + 41. Let k = 0.35 - v. Which is greater: 12 or k?
12
Let h = 0.005 - -1.895. Let a = 1.97 - h. Which is greater: a or -3?
a
Let x = -9 + 7. Let s be 2/(-8) - 396/(-208). Let k = 2/13 - s. Which is smaller: k or x?
x
Let x be (-28)/49 + (-3)/7. Which is bigger: 7/34 or x?
7/34
Suppose 55*r - 840 = 50*r. Suppose -4*b = 2*f - r, -5*b - 4*f + 36 = -171. Are 0 and b non-equal?
True
Let z be ((-4)/6)/(2/42). Let u(a) = -a - 17. Let p be u(z). Which is bigger: -2 or p?
-2
Let m = -8270 + 8263.7. Let u = -2.9 + 3. Is m not equal to u?
True
Let c = -22.5 - 4.3. Which is smaller: 0 or c?
c
Let l = 178.352 + -179. Let c = 0.052 - l. Is c at most as big as -2/7?
False
Let v be (-162)/(-216) - (-23)/(-20). Let f = -25 + 24. Is f at most v?
True
Let h = -260 - -82. Let n be (-7)/56 - h/16. Which is smaller: n or 19/2?
19/2
Let y(x) = 6*x*