3)/10). Let c be (-7)/((-21)/(-15)) + i + -5. Let o be (6/(-8))/((-2)/8). Does o = c?
False
Let m be 4 + (3 + 2)/(-1) + 3. Suppose 49 = m*p + 3. Let t = p + -29. Is t < -5?
True
Let s(t) = -t**2 - 11*t + 4. Let b(y) = 2*y + 24. Let h be b(-18). Let v be s(h). Let a be (v/(-4))/(-1) - -1. Is a equal to 1/87?
False
Suppose 0 = 13*w + 337 - 636. Is -1/194 not equal to w?
True
Suppose -1100 - 90 = -5*q. Let k = q - 167. Suppose 3 = k*a - 68*a. Do 4/9 and a have the same value?
False
Let z = -9263/30147 + -1/2319. Which is smaller: -118 or z?
-118
Let h be (-2)/6 + (-276)/36. Let x be (2 + -1)/1 + 1. Suppose -50 = 7*v - x*v. Is v < h?
True
Let u = -17135 + 17171. Is u greater than or equal to -18?
True
Let b(l) be the third derivative of -l**6/120 + l**5/10 + 2*l**4/3 - l**3/3 - 12*l**2. Let m be b(8). Which is greater: -6/11 or m?
-6/11
Let v = 94 + -248. Let p = v - -153. Is -0.04 less than p?
False
Let c be (-147)/24 + (-22)/(-176). Let o be 68/c*(9 + -6). Suppose -2*w - 2*w - 3*y = 131, 0 = w + y + 32. Is w smaller than o?
True
Suppose 7*s + 34 = -k + 2*s, 0 = k - 5*s + 24. Suppose -155 = -6*r + 5*r. Suppose 28*o = 23*o - r. Is k smaller than o?
False
Let n = -169.36 + 29.36. Which is smaller: -0.31 or n?
n
Let q = -205 + 123. Suppose 5*g + 3*t + 419 = 0, -4*g + g - t - 249 = 0. Is g at least as big as q?
True
Let f = 2/53111 - 53937/21934843. Let z = -1 + 0. Which is smaller: z or f?
z
Let p(c) = 4*c**3 - 244*c**2 - 4*c + 244. Let i be p(61). Let o be -2 - ((-75)/18 - -2). Which is smaller: i or o?
i
Let d = 3239 + -3184. Is d at least as big as 61?
False
Suppose -3*b = -4*s + 2*b + 664, -b - 332 = -2*s. Suppose -8*q + s = 54. Suppose -y + 4 = -10. Is q at least y?
True
Suppose -2*z - 354 = 4*i + i, -2*z + 222 = -3*i. Let c = i - -78. Let f be 3*5/300 - c/8. Is f at least as big as -1?
True
Let t = -9 - -13. Suppose -6 + 171 = 33*f. Suppose t*x + 4*z = -0*z + 20, 15 = -f*x + 5*z. Is x < -9?
False
Let y = -22084/9 + 2460. Let c(a) be the first derivative of 35*a**2/2 - 343*a - 350. Let k be c(10). Which is greater: k or y?
k
Let a be (459/(-15) + 31)*(0 - 383). Which is smaller: a or -3?
a
Let c = 116884/43 - 2718. Which is smaller: c or 1?
c
Suppose -171*h + 152749 = -8675 - 79857. Which is greater: h or 1412?
1412
Suppose -3*j + 11 = -5*x, 3*j - 1 = -2*x + 3. Let a be 2/8 + x - 4565/(-44). Suppose -15*d = a + 17. Which is smaller: d or 5?
d
Let b = -4.687 - -4.6754. Which is bigger: b or 0.4?
0.4
Let r be -1 - -2 - (-5)/(-3). Let t = 7431 + -7432. Is t equal to r?
False
Let g be ((-200)/225)/((-2)/9). Suppose -g*t = z + 31, 0*t + 2*t = 2*z + 42. Let w = -51 - -30. Is z at most as big as w?
True
Let m = -551 + 515. Let u be 60/(-8)*1/(15/m). Is u at least as big as 20?
False
Let p(x) = -4*x - 18. Let j be p(-2). Which is smaller: j or -44/5?
j
Let o = 9 - 7. Suppose 70 = 6*y - 56. Suppose -t - y = o*t. Which is smaller: -8 or t?
-8
Let n(t) = -171*t + 4042. Let h be n(22). Is 284 at least h?
True
Suppose 364 = 6*y - 2*y - 4*c, 3 = c. Let z = 67 - y. Which is smaller: z or -1?
z
Let m = 7.1124 - 0.034. Let k = m + -0.0784. Let w = 0.04 + 2.96. Which is smaller: w or k?
w
Let q be (-3)/((-2 + 1)*8) + 9496256/3584. Do q and 2651 have different values?
True
Let z be 105/75 - (2/(-4))/(3/(-6)). Let f(k) = -k**2 - 10*k - 7. Let p be f(-9). Let m be ((-1)/(8/6))/p. Which is bigger: m or z?
z
Suppose 20*j + 301 = 15*j - a, -4*j + 5*a - 235 = 0. Let t = j + 60. Which is bigger: t or 16/11?
16/11
Let p(r) = 1. Let f(t) = -13*t + 60. Let h(k) = f(k) - 6*p(k). Let s be h(6). Let g = 1.7 - 2.7. Is s greater than or equal to g?
False
Let f = -4131.42 - -4131. Which is smaller: 34 or f?
f
Let g = 180 + -161.5. Let l = -18.7 + g. Is l smaller than -6/13?
False
Let p = -664711/78616 - -9/2536. Do -7 and p have different values?
True
Let d(u) = -468*u - 3. Let y be d(-6). Let w = y - 793816/283. Is w <= 1?
True
Let a be 1886373/(-720) + (0 - -4). Let t = a + 2616. Which is smaller: 1 or t?
t
Let o = 777 + -776.9579. Let h = -0.1579 - o. Let l = -3 - -1.4. Which is smaller: h or l?
l
Let b be 6 - 5 - -13*19. Let d be 3*(b/28)/((-12)/(-21)). Suppose -6*u + 322 = u. Is u greater than d?
False
Let c(x) = 24*x - 241. Let u be c(10). Which is bigger: 2/6873 or u?
2/6873
Let x = -1.884 - 0.056. Let c = 2.04 + x. Does c = 0.07?
False
Let j be 3/(-2)*(-38)/3. Let f be -18 - (3 - (-12)/(-2)). Let y be -3*1/f - 520/(-25). Is j equal to y?
False
Let y(b) = -2*b**2 - 2*b - 8. Let k be y(11). Let v(z) = 2*z**3 + 85*z**2 - 38*z - 58. Let f be v(-43). Does k = f?
False
Let w = -2427 + -2053. Which is greater: w or -4478?
-4478
Let u = -402 + 184. Let l = -214 - u. Which is greater: l or -74?
l
Let l = -8765 + 11286. Is -2 >= l?
False
Let u = -175 + 174.88. Let c = -8.88 + u. Which is smaller: c or 0?
c
Suppose -r - s + 63 = 0, -6*r + r + 317 = 4*s. Let o be -15 - -19 - r/17. Let d be 3/((-42)/8*-2). Is o at most as big as d?
True
Let h = -21245/6 - -3552. Let u be (-1)/(-6)*1952/(-32) - 20/24. Let i = h + u. Is -1 smaller than i?
True
Let l = 0.1636 + -0.9636. Which is smaller: l or -31?
-31
Let x = 2003 + -1994. Is 163/19 bigger than x?
False
Let x(g) = -5*g**2 + 14*g + 6. Let s be x(3). Suppose -5 + 2 = 3*q, s*a - 278 = 5*q. Is 91 not equal to a?
False
Let v = -98 + 31. Let o = -133/2 - v. Let p = -0.39 - 9.61. Which is greater: p or o?
o
Let f = 1/277 - 559/1385. Let n be ((-5)/30)/(427/28). Which is smaller: n or f?
f
Let d(z) = z**2 + 18*z - 72. Let v be d(5). Suppose -5*a + 2*l = -909, -48*a + l = -v*a - 907. Which is smaller: a or 183?
a
Let q = -25022 - -10585. Which is smaller: -2/7 or q?
q
Let o = 0.016 - -208.984. Let w = o - 97. Let z = -111.4 + w. Which is bigger: z or 0?
z
Suppose 0 = -2*l - 3*n + 23, -n = 3*l + n - 22. Suppose 3 = l*c - 5. Suppose -3*m + 0*h + 5*h + 163 = 0, -c*h = -4*m + 194. Which is smaller: 47 or m?
m
Let o be (3/(-2))/((-20)/42). Let l = o + 451/60. Which is bigger: l or 2?
l
Let r = -163 + 292. Suppose -r = 5*t + 56. Is t != -40?
True
Suppose 0 = -4*p + 12, -8*c - 852 = -4*c - 4*p. Let f = 205 + c. Which is smaller: f or -3?
f
Let a = -56438/3 - -18558. Which is greater: 8 or a?
8
Let x be -7 + ((-17136)/84)/(-2*1/(-13)). Is x >= -1333?
True
Suppose -3*v + 156 = -96. Suppose 0*j + 4*j - v = 0. Suppose 5*u + 100 = 5*y, 32 = -3*y + 4*y + 5*u. Which is bigger: j or y?
y
Suppose 0 = b - 4*z + 254, 96*b - z + 242 = 95*b. Which is smaller: -242 or b?
-242
Let i be (4 + (-54)/12)*(1 + -1). Suppose 0 = -i*s - 2*s - 8, 3*s = -4*m - 44. Suppose 4*a - 4*l = -l - 20, -3*a - 4*l - 40 = 0. Is a less than or equal to m?
True
Let g(m) = 109*m**2 - 34*m - 133. Let a be g(-5). Let j = a - 317632/115. Is j equal to 1/7?
False
Suppose -5*c + 5*m = -0*m - 30, -5*c = 4*m - 57. Let n be c/(486/12) + 79/9. Is n greater than 6?
True
Let g be (1 + (-1)/3)/((-30)/55395). Let b = 104638/85 + g. Is b < 1?
True
Let i be (-174)/((-6)/(-2)) - 4. Let x = i - -58. Let h(q) = 5*q + 20. Let l be h(x). Which is smaller: l or -6/5?
-6/5
Let u = -23020 - -4166621/181. Let o be 1/3 + 10/15. Which is bigger: o or u?
o
Let b = -19146 - -18535. Which is greater: b or -617?
b
Let l(o) be the second derivative of 5*o**3/2 + 5*o**2 + 22*o. Let z be l(4). Let h = z + -39. Is h less than or equal to 32?
True
Suppose 0 = 7*m - 5*m. Suppose m = -59*z + 63*z + 36. Let a be (0 - 5)*16/10. Are a and z equal?
False
Let b be 34/(-357) - 118/(-1386). Let f be -2 + 2 - (-4)/(-3 - -7). Which is smaller: b or f?
b
Let z = 925 - 934. Let y be (z/(108/30) + -8)*-2. Which is smaller: y or 5/4?
5/4
Let h(k) = -k**2 - 14*k - 14. Let m be h(-13). Suppose -2*n = -5*n + 3. Let f be 90/(-46) + (3 - n). Which is smaller: f or m?
m
Let b = 0.02 + -0.14. Let o = -0.344 - -83.344. Let f = o - 87. Do b and f have different values?
True
Let d = 12560 + -12723.94. Let b = -164 - d. Which is smaller: b or -11?
-11
Suppose 0 = -53*w - 87 + 40 - 59. Is w greater than -2.42?
True
Suppose -25*y = 4*y + 406. Let x be -11 + (-6)/1 + y/(-2). Which is greater: 8 or x?
8
Suppose 15*q = -14*q - 24*q - 1219. Which is smaller: 35 or q?
q
Let x(m) = m**3 + 3*m**2 - 5*m - 11. Let n be x(-3). Suppose 2*u = 10, 5*g + n*u = 14 + 1. Are -1/353 and g unequal?
True
Suppose 1873 + 4084 + 3979 = 12*n. Are n and 827 unequal?
True
L