nd p equal?
False
Suppose 14*b - 3010 = 392. Is b smaller than -1?
False
Suppose -x + 5*g = -4, -x - g = 2*g + 12. Let v be x/(-4)*8/3. Let l be 132/(-4) - (-2147)/57. Which is greater: v or l?
l
Suppose v - 2*h = 10 - 1, 30 = 4*v - 2*h. Let c be -5*v/70*0/(-1). Is c > 15?
False
Let l = 412767/15557 + -627/331. Which is smaller: 25 or l?
l
Suppose -5*o = -2*o + 30. Let u be 874/57 - 2/(-3). Let g(y) = y**3 - 14*y**2 - 35*y + 38. Let d be g(u). Is d <= o?
True
Let l = 468009 + -3288499/7. Are l and -1777 non-equal?
True
Let m = 0.04305 + -0.14305. Is 3/16 not equal to m?
True
Let m = 1.39 - 16.29. Let n = -15.4 - m. Which is smaller: 31 or n?
n
Let r(n) = 90*n**2 - 55*n**2 - 35*n**2 + 9 + n + n**3. Let z be r(0). Is z at least 17/2?
True
Let h = -1657 - -2355. Let v = -697.84 + h. Which is smaller: v or -0.7?
-0.7
Let d be (-1196)/(-276) + 1/(-21). Let r = 1 + 4. Is d > r?
False
Let z = -186679/1272 + -31/424. Which is smaller: -147 or z?
-147
Let a be (-1)/((-14)/12005) - (-2)/(-4). Is 858 at least as big as a?
True
Let b = 126.42 - 131. Let r = b - -3.58. Is r less than 143?
True
Suppose -51*r + 179 = 153*r - 25. Let m = 4 - 1. Suppose -1 - 8 = -m*n. Which is greater: r or n?
n
Let o(j) be the third derivative of -j**4/12 - 17*j**3/6 + j**2. Let i(w) = 187*w - 196. Let r be i(1). Let m be o(r). Does m = -3/46?
False
Let y(w) be the first derivative of -2*w**3/3 + 11*w**2/2 - 8*w - 1439. Let q(m) = 5*m. Let n be q(1). Let t be y(n). Which is smaller: t or -4?
-4
Let t = -403 - -234. Let s = t - -169.7. Is s > -0.01?
True
Let i be (348/957)/((-39)/(-33)). Is i equal to 8/9?
False
Let n = 137 - 246. Let q = 109 + n. Suppose 4 = l, -5*l = -4*z - q*l - 104. Which is greater: -20 or z?
-20
Let f = -2250 + 2251. Is 140/69 bigger than f?
True
Suppose 9 = 5*r + 4*h - 7, r + 16 = 4*h. Let p be (-4 + 4)/((r + -3)*-1). Is p at least 1/383?
False
Let a = 122194 - 2994608356/24507. Are a and 0 nonequal?
True
Let u = 247 + -247.0563. Let g = 4.0563 + u. Which is greater: g or 11/6?
g
Let u be 15*(-3 + 60/18). Let q be (-6)/(-12)*(0 - (-63)/6). Is q > u?
True
Suppose 2*v = v + 9. Let c = -27358/9 + 466544/153. Which is smaller: c or v?
v
Suppose -32*z + 77316 - 320260 = -19*z. Do -18687 and z have the same value?
False
Let q be -3 - (420 + -1 + 1). Suppose -294 = -3*o + 3*r - 1551, 3*r + 1690 = -4*o. Is o bigger than q?
True
Let t = 257 - 257.179. Let r = 1687/3 + -563. Is t at most r?
False
Suppose -20*o - 757 + 617 = 0. Let j = -6239/858 + 15/143. Which is greater: o or j?
o
Suppose 2*i - 9 = 3*i. Let l = -6 - i. Suppose t - l = x - 2, 0 = -4*t. Which is bigger: -2/9 or x?
-2/9
Let g = 332.0349 - 0.0349. Let b = -332.05 + g. Which is smaller: 0.25 or b?
b
Let k be -4 - 6/(-8)*5. Let a = 956 + -955.02. Is a at least k?
True
Suppose 1 = 2*g - 313. Let y = 158 - g. Which is bigger: -4/13 or y?
y
Let k = -200 + 210. Suppose 3*h + 0*h = -5*j + k, -h + 5 = 0. Which is smaller: 1/115 or j?
j
Let j = 3 + 4. Let v = 81 + 63. Let q = v + -143.7. Which is greater: q or j?
j
Let t(z) = -27*z**2 - 4*z + 6. Let v be t(4). Let k be 33/(-11) + (-112)/v. Let o = 38/13 + k. Which is smaller: 0 or o?
0
Let v(a) = a**3 + 7*a**2 + 10*a + 3. Let y be v(-5). Suppose -5*c - 6 = -5*s - 11, y*s - 5*c + 7 = 0. Which is bigger: s or -55?
s
Suppose -340 = 4*u + 5*r + 103, 0 = -2*u - 2*r - 220. Let y be (-12)/18*((-12)/u)/1. Which is bigger: y or -1?
y
Let i be ((-14)/(-3))/(2/18). Suppose -i = -16*h + 22. Suppose 5*w - 89 + h = 0. Which is greater: w or 16?
w
Let i be (-149189)/(27/(-57) - 0). Let h = i + -314467. Let t = 487 - h. Which is greater: t or 0?
0
Let m be 9/12*-2*36/(-108). Let t = -56 + 52. Which is greater: m or t?
m
Let r be 10/(-50) - (1664/10)/(-2). Let q = -257 - -136. Let x = r + q. Is -38 >= x?
True
Let x(o) = 22*o - 19. Let a be x(2). Let d be (a/15)/(15/9). Which is greater: 3/59 or d?
d
Let g = -5209 - -3442. Is -1769 less than g?
True
Suppose f = -4*a + 4*f - 1, -3*a - 5*f = 37. Let i be (-4*4/13424)/(a/8). Does i = 0?
False
Let k be ((-2)/4)/((-3)/6). Let b = 315/269783 + -32648085673/22391989. Let a = 1458 + b. Which is greater: k or a?
k
Let p be (-1 + 1 + -1)/(-1). Let h = 901 + -862.1. Let t = h + -27.9. Is t greater than or equal to p?
True
Let c = 15.673 - 0.073. Let p = 16.6 - c. Let a = -1.1 + 1.178. Is p bigger than a?
True
Let z = 95.29 - 189.29. Which is greater: -0.014 or z?
-0.014
Let d be (-6)/36*(1 + 3)*-12. Suppose -5*x = -3*b - 25, -11 + d = -4*x - b. Is 18/17 less than x?
True
Let l be -5 + 8076728/1815 + -7. Let y = -4438 + l. Let n be 0 + 1 - (-2 + 4). Which is smaller: n or y?
n
Let a = 15.06 - 0.06. Let l = a + -8. Let u be (7/(-3) + 2)/((437/276)/(-19)). Is u greater than l?
False
Suppose -3*w = 2*v, -2*v = 5*w + 3*v. Let z be 4757/(-10) - 0/5. Let i = z + 475. Is w != i?
True
Suppose r + 62 = -5*l - 56, -2*l = r + 49. Is -66 < l?
True
Let q be (-2)/(-1351)*(-651333)/(-90). Let c = q - -2/2895. Let j = -893/84 + c. Which is greater: j or 1?
1
Suppose 4*o + 5*m - 556 = 4*m, -670 = -5*o + 5*m. Let l be ((-128)/(-10))/(-4 - o/(-30)). Let a = l + -21. Is a smaller than 6/17?
True
Let n = -48442/3 - -16147. Are n and 28/43 equal?
False
Suppose 4*c + 570 = c. Let b = 198 + c. Is b at most 76/9?
True
Let o(r) = -165*r - 1024. Let g be o(-6). Which is greater: -16 or g?
-16
Let o = 277/1309 + -38/187. Which is bigger: o or 0?
o
Let v be -4 + 7 - (-2 + -1). Let i be 14/v + (-3 - -1). Let x = 2/13637 - -27152/831857. Which is smaller: i or x?
x
Let s(y) = 15*y + 130. Let n be s(9). Let j = n + -793/3. Which is smaller: -0.023 or j?
-0.023
Let f = 1193264 + -48931080/41. Let g = f - -177. Are g and -1 unequal?
True
Let m be 3/((-18)/6) - -1*186. Suppose 8*f - m = 3*f. Is f <= 38?
True
Let x be ((-144)/8 - -14) + 17. Which is smaller: x or 77?
x
Suppose 2*t - 3*n - 23 = 22, -4*n = 4*t - 40. Let y be t/(-6)*12/6. Let b be (-69)/(-12) - y/20. Which is greater: 5 or b?
b
Let d be (-17 - (-329)/14)/(3/72). Is 172 greater than d?
True
Let s = -36973/291147 + 41/321. Which is smaller: s or 0?
0
Let h(t) be the first derivative of t**2/2 + 13*t + 7. Let y be h(-15). Let r be (y/(-35))/(-2 - (-51)/15). Is r less than or equal to 0?
False
Let s be 2/(-4)*(-115 - 2115). Are s and 1114 non-equal?
True
Let u be -1 + (-16)/(-7) + (-4)/3. Let s(n) = -n + 10. Let d be s(7). Let g be -1 + (1 - 2) + d. Which is bigger: u or g?
g
Let x(m) = -2*m**3 - 43*m**2 + 22*m - 31. Let w(f) = -f + 2. Let c(v) = 5*w(v) + x(v). Let z be c(-22). Is z at most 90?
True
Let p = 7 - 6. Let y = 3/776 + -597/3880. Which is smaller: y or p?
y
Suppose -5*p + 2*u + 1 + 0 = 0, -2*p - 5 = u. Let n be (1 + p)*(-4 + 3) - -4. Suppose -10 = -n*s - 118. Is s greater than or equal to -0.2?
False
Let q = 1242 + -1756. Let u = 444 + q. Which is bigger: u or -69?
-69
Let u = -8580 + 8591.1. Which is bigger: 4/13 or u?
u
Let g(w) = w**3 + 6*w**2 + 3*w + 1. Suppose 11*k + 169 = -172. Let z = k - -29. Let a be g(z). Which is smaller: a or 1?
1
Let t = 16/629 - 1562/11951. Which is bigger: t or -3.2?
t
Let l(u) = 2*u**3 - 10*u**2 + 18*u + 55. Let x be l(11). Let z = x - 56260/33. Is z bigger than -1?
True
Let u = 52.43 + -54.43. Let g = 3 + -14. Let p = g + 7. Are u and p unequal?
True
Let x be ((-38)/9 - (-8)/36) + 142. Suppose z = -2, -u + z = -z - x. Which is greater: u or 135?
135
Suppose 12*p = 14*p - 4. Let z(s) = -p*s**2 + 35 + s + 3*s**2 - 10 - 23*s. Let f be z(22). Is 26 at least f?
True
Let p = 29 - 37. Let y be (0/1)/(-2*4/p). Let v be (0 - y)/(3/3). Which is bigger: v or -1.4?
v
Let z(t) = -t**2 + 6*t + 18. Let l be z(8). Suppose 8*d = -3*k + 6*d + 130, l*d = k - 54. Suppose -2*c - i = i - 92, -c + 46 = -i. Is c at most as big as k?
True
Let x(b) be the second derivative of -b**3 + b. Let u be ((-88)/110)/((-4)/(-10)). Let r be x(u). Is r at most 11?
False
Let z = 37890.1 + -37890. Is z less than or equal to -12235?
False
Let t = 27 + -22. Suppose 85 = 5*o + 5*u, t*o + 2*u - u = 85. Suppose -o + 29 = -3*a. Which is smaller: -17/6 or a?
a
Let y = -3/22 + 443/506. Let l = 5511 - 5510. Are l and y non-equal?
True
Let u be (6 + (-5 - -7) + 192)*1. Let p be (-458)/1456 + u/700. Which is smaller: p or 0.1?
p
Let j = 203 - 452. Let h = j + 248. Which is smaller: h or 5.1?
h
Suppose -53*g = -51*