82 - -88. Let p be z(c). Let a be (-834)/(-744) - 1 - (-2)/p. Is 0 less than a?
False
Let h = -2/3363 - 9815/460731. Are h and 16 equal?
False
Let x be (-5 + (1 - 2))*44/(-6). Suppose x*a = 49*a. Suppose -4*t - 13 = 3*l, 3*l - 4*t - 15 = 4*l. Do l and a have different values?
True
Let j(f) = 4*f + 34. Let n be j(-10). Suppose 0 = 14*d - 13*d + 13. Which is smaller: d or n?
d
Let b = -178 - -200.2. Let k = 31.4 + b. Let r = 53 - k. Do -0.3 and r have different values?
True
Suppose 3*a - 7 + 1 = -2*p, -4*p = -3*a + 24. Let f be 12/(-14)*126/24*a. Which is smaller: f or -120/7?
f
Suppose -14*y = -13*y - 2. Suppose 0 = -3*h + y*s - 47 - 38, 5*s + 25 = -2*h. Let x = h + 46. Is 20 not equal to x?
True
Let p = 61 - 57.3. Let t = -3.74 + p. Let i = -0.14 - t. Is -2/21 bigger than i?
True
Let d = 19281 - 26003. Which is bigger: 2 or d?
2
Suppose 2*l = 11*t - 12*t + 11, -5*l = 2*t - 26. Let s be 1/l - 66/264. Which is greater: 192 or s?
192
Suppose -115*w - 12 = -118*w. Suppose -w*k = 5*h - 19 - 31, -4*k = 2*h - 20. Is 9 less than or equal to h?
True
Let c(j) = 6*j + 3. Let y be c(3). Suppose p - 45 + 10 = 0. Let m be (294/p)/((-10)/(-25)). Is m at most y?
True
Let z = -3.605 + 0.005. Let q = 175.35 - 179. Let n = z - q. Which is smaller: n or -1/2?
-1/2
Let h(z) = -5*z - 3. Suppose 0 = -5*d + 5*q - 15, q - 2 = 2*d - 1. Let v be (14/(-21))/(d/9). Let m be h(v). Are 1/3 and m equal?
False
Let a = 74 + -45. Suppose -26*k + 93 = -37. Suppose x = -a + k. Does -24 = x?
True
Suppose -4*x + 0*p = 2*p - 14, -15 = -5*p. Let z be 3*(-16 + 5 - x). Are z and -38 non-equal?
True
Let n(o) = 4*o**2 - 23*o + 54. Let p be n(6). Let h be p/48 + (-42)/34. Is h <= -1?
False
Suppose -i + 3*f + 5 = 0, -6*f - 6 = -2*i - 4*f. Suppose -2*p + 54 = -2*c, -45 = i*c - 9*p + 10*p. Let b = -43 + 17. Which is smaller: c or b?
b
Let b(q) be the third derivative of q**5/60 + q**4/6 - 13*q**3/6 + 2*q**2 - 9. Let z be b(2). Which is smaller: z or -12/25?
z
Let k = -0.6564 - -0.717. Let p = -256.9394 - k. Which is bigger: p or 0.1?
0.1
Let p = 0.083 - -7.117. Let y = p - 5.2. Is y smaller than 33?
True
Let q be (8238/14)/((-74)/222). Is q < -1765?
True
Let v be 6*(33/2)/(-3). Let c = v + 63. Suppose -4*z - 6*z - c = 0. Which is smaller: z or -3/2?
z
Let d = 22339/62322249 - 2/10833. Is d >= 1?
False
Let w(p) = p**2 - 5*p + 3. Let j be w(5). Let v be j/12 + (-94)/440. Let l = 3/1430 + v. Which is smaller: 1 or l?
l
Let d = 3821554/223 - 17137. Which is smaller: d or 1?
d
Suppose 370 = -2*j - 0*i + 4*i, -7*j - 1295 = -5*i. Do j and -237 have the same value?
False
Let m = -13569 + 5358. Is m != -8211?
False
Suppose 5*m = 39 + 11. Let f be (-23192)/(-46) + (13 - m). Let t = f + -507. Is t greater than 0?
True
Suppose 284 = s - 252. Suppose -s = 5*r + 14. Let x = 123 + r. Which is smaller: x or 66/5?
x
Let s(q) = -5*q - q + q**2 + 0*q**2 + 2266 - 2267. Let t be s(6). Is t at most -11/6?
False
Suppose -5*w = -2*q - 939, q + 347 = 5*w - 595. Suppose -5*l + 5*c = -975, 46*c + 755 = 4*l + 47*c. Which is bigger: l or w?
l
Let y be (3/(132/(-25)))/(670/(-20) - (-29 + -5)). Let m(h) = -h. Let v be m(1). Do v and y have the same value?
False
Let f = 13 - 17. Let j be (f/30)/((-32)/320). Which is smaller: j or 0?
0
Suppose -63*p = -158*p + 11305. Let f be 90/(-25)*530/(-16). Which is smaller: f or p?
p
Let f be 8/(-10) + 1770/150. Let j be ((-4)/(-3))/(407/33 - f). Which is smaller: -2/751 or j?
-2/751
Suppose 4*g = 4*a + 56, -5*a - 3*g - 20 = 2*g. Let w be 16/(-9) + -1 - 4/18. Which is smaller: a or w?
a
Suppose -36*n + 31*n + u - 419 = 0, 5*u = -2*n - 200. Which is smaller: n or -118?
-118
Let l = 59/45 - 629/495. Is l at most -1?
False
Let h = -5.12 + 0.12. Let b = h + 6. Let k = -0.764 + 3.464. Which is smaller: b or k?
b
Suppose 2*o - 5*x = -29, -o - 3*x + 2*x + 3 = 0. Suppose -f + 12 = 2*r, -f - 2 = r - 9. Let l be (-1)/(-8 + 4)*f. Which is smaller: o or l?
o
Let f be 12/(-42)*-36 + -10 - (-900)/(-21). Is f > -42?
False
Let n = 168 - 59. Suppose -9*s - n = 89. Do -21 and s have the same value?
False
Let u be 1664/(-460)*(2 - 1). Is u less than -4?
False
Let v = 16/48335 + -117842/648027345. Is -1 bigger than v?
False
Let z be 1 - 24/15 - 266/(-35). Suppose 7*w = -5*w + z*w. Let d be 3*(-2)/4 + 2. Is w <= d?
True
Let y(m) = m**2 + 40*m + 71. Let u be y(-38). Which is smaller: u or 254?
u
Suppose 0 = -7*h + 2419 - 207. Let v = h - 39817/126. Which is smaller: v or -1?
-1
Let z(l) = l**3 + l**2 - 4*l - 5. Let h be z(-2). Let a be ((-160)/150)/((-4)/(40/(-14))). Let q = a - -326/483. Which is greater: q or h?
q
Let r(c) = -9*c + 58. Let p(y) = 5*y - 29. Let a(k) = 5*p(k) + 2*r(k). Let b be a(5). Suppose b*q = q. Are q and 5/11 non-equal?
True
Suppose 4*j + 140 = 2*t, -5*j - 5*t = 83 + 47. Is 101 < j?
False
Suppose 2*w + 0*w = -2*c, 4*w = -c - 9. Suppose -z + 1 = -c*l, -3*z - 11 = -0*l + 5*l. Is l less than or equal to -2/333?
True
Suppose 39*c - 40*c = -4. Let t be (c/(-78))/(1/30)*-1. Which is bigger: 3 or t?
3
Let f = -35944.7 + 35939. Let q = -0.3 - 0.7. Are f and q non-equal?
True
Suppose -35*f - 60 - 47 = -72. Is f >= -5/1831?
False
Suppose -60 + 56 = -4*h. Suppose 0 = -7*p - 8 + h. Let s be p/6 - (-705)/126. Is s equal to 6?
False
Let k = -0.0378 + 286.0378. Which is smaller: -3 or k?
-3
Suppose 4*v + 90 = -3*m + 23, 0 = -2*m - 2. Let r(c) = -14*c**2 + 1687*c + 1689. Let g be r(-1). Which is smaller: g or v?
v
Let p = 148 + -146. Suppose 2*b + 70 - 25 = -z, p*z - 57 = 3*b. Which is smaller: b or 0.09?
b
Suppose 13 = m + 4*j + 32, 0 = 3*m - 3*j - 3. Let h be (m/2)/(1/(-6)). Suppose 0 = -5*q - 4*s - 21, -4*s + 5 = -2*q - h. Which is smaller: q or -6?
-6
Let p(w) = -w**3 - 6*w**2 - 13*w - 38. Let v be p(-10). Which is smaller: 496 or v?
v
Suppose r = 4*h - 7610, -2*r = h + 3*h - 7604. Let q = -106515/56 + h. Which is smaller: q or 1?
q
Let n be (-6)/(-3) - (-8 + 27/3). Is n at least 78/49?
False
Let j = -16099 - -16114. Is 399/26 at least as big as j?
True
Let h(p) = -1375*p + 6971. Let a be h(7). Which is greater: -2657 or a?
a
Let p(z) = -z**3 + 55*z**2 + 303*z - 191. Let v be p(60). Which is bigger: -186 or v?
v
Let l(z) = -24*z**2 + 13*z + 16. Let m be l(3). Which is smaller: 0 or m?
m
Let m be (-9 + 12)*(0 - 69/(-6)). Let l = -0.9 - -1.2. Are l and m unequal?
True
Let s be (2 - -12) + -1 + 0. Let m be (-1)/(-2)*(1 - s). Let i(x) = x**2 + 9*x + 21. Let k be i(m). Which is smaller: 26/7 or k?
k
Suppose -k + 3 = 0, -2*w - 2*w = 5*k - 115. Suppose 2*u = u + 3, 3*u + 15 = 2*q. Let l be 16/(-96) + 314/q. Which is smaller: l or w?
w
Suppose -4*x - 81726 = -a, -2*x - 48759 = -4*a - 7875. Is -20430 <= x?
True
Let b = -0.061 - 4.339. Let x = b - -2.4. Which is greater: 10/21 or x?
10/21
Suppose -5*f - 15 = 5*s, -5*s = 50*f - 51*f + 15. Is 3/4129 bigger than f?
True
Let l be 323554/3247 + -1 + -6. Which is greater: 93 or l?
93
Suppose -208 = -2*x + 2*d + 340, 3*d = 6. Which is bigger: 286 or x?
286
Suppose -5*b - 24 = 2*o, -6*b + 30 = -10*b + 2*o. Let r be 1/(2/(b - -10)). Which is bigger: -8 or r?
r
Suppose -3*u + 1 = 3*n - 152, -2*u + 88 = -5*n. Suppose 0 = -46*s + u*s. Let m be ((-56)/20)/7 - (-6)/75. Is m equal to s?
False
Let z be 2 + 2 + (-36 - -30) - -6221. Which is greater: 6218 or z?
z
Let v(n) = n**3 + 14*n**2 + 31*n + 120. Let q be v(-14). Is q at least as big as -314?
True
Let f be 13*-2 - (-19 + 3)/(-4). Let u = 676/23 + f. Which is smaller: -1 or u?
-1
Let u(t) = -t**3 - 11*t**2 - 13*t - 2. Let g be u(-9). Let w = -40 - g. Suppose -2*a = -4*n + 16 + 16, 5*n - 40 = -5*a. Do w and n have the same value?
False
Let t = -805.981 + 786. Let g = -20 - t. Let v = -0.219 - g. Which is greater: -14 or v?
v
Suppose -860*a - 103852 = -888*a. Which is greater: a or 3711?
3711
Let b = -235 - -52. Let k = b + 185. Is 4 smaller than k?
False
Let c be 1/4*(-5508)/27378. Which is smaller: c or 0?
c
Let m = -35.54 + 1730.54. Which is greater: 2/7 or m?
m
Suppose -961 = -5*b - 4*z, 3*z - z = 2*b - 370. Let v = b + -1901/10. Which is smaller: 0.1 or v?
v
Let o be 8/54*(-293)/(-586). Is o at most as big as 2/207?
False
Suppose -66 = -4*p - 90. Let o(a) = 4*a + 29. Let l be o(p). Suppose -4*d = 5*x - 42, -5*d - 26 = l*x - 66. Which is smaller: x or 5?
5
Let r = 23 - 140. Let b = r + 118. Which is smaller: b 