r 9?
m
Suppose 0 = 518*u - 43*u - 1875775. Which is smaller: u or 3950?
u
Let o be 1 + 25 - (418 + -391). Is o > -1027?
True
Let p be (-2 + -1)/(5/((-50)/255)). Is p > -8/327?
True
Suppose 291*x + 21480 = 321*x. Is x < 716?
False
Suppose -277*b - 2604 = -270*b. Let l = -372 - b. Let s be (-1)/((-262)/790) - 3. Is s greater than l?
True
Suppose 5*d + 7 = 37. Suppose -1 = d*q - 31. Let c be ((-88)/(-100) - 1)*q/30. Which is greater: c or 0?
0
Let k be 8/(-4)*-11*(-3)/231. Is k > -67?
True
Let h be (-5)/((-700)/(-96))*115/667. Which is bigger: h or -1?
h
Let p = 5621460405831/33544 - 167584677. Let v = -1/599 - p. Is 0 less than or equal to v?
False
Suppose 5*w + 20 = 0, 2*z = 3*w + 53 - 17. Suppose 3*g = -0*g + z. Suppose -3*p + g*v - 3 = 0, -2*p - 2*v + 1 = -3*p. Which is greater: -12/7 or p?
p
Suppose 6639*p - 6672*p = 0. Does -2/3947 = p?
False
Let z be 108/(-162) - 64/(-102). Which is greater: z or -0.38?
z
Let p = -31/28 - -5/14. Let b be -4*((-20)/6 - -3). Are b and p unequal?
True
Let s = 282.2 - 279.4. Are -1/3 and s non-equal?
True
Let p = -2 + 2. Let q be (-1)/2 - (1113/(-118) - (-143 - -134)). Which is smaller: q or p?
q
Suppose 0 = -m - 4, 14*c - 3*m = 17*c - 6. Let y = 36 + -20. Suppose -y = c*x - 22. Is -0.8 smaller than x?
True
Let l = 2806 + -2803. Which is smaller: l or -40?
-40
Let l be ((-40)/(-75))/(4/20*-2). Is l >= -299?
True
Let z(o) = -o**2 + 7*o + 8. Let s be z(8). Suppose s = j + 4*j - 70. Let l be j/10 - 12/8. Which is greater: 1 or l?
1
Suppose 3*w + 201 = 27. Let f be -2 + (-32)/(-18) + 46806/(-783). Do w and f have different values?
True
Suppose -8170 = 293*v - 295*v - 5*w, 0 = 2*v + 4*w - 8174. Is 4098 smaller than v?
False
Let x be ((-256)/384)/(7/3 + 0). Which is smaller: 621/2 or x?
x
Let u = -42 - -46. Suppose -5*b + 7 = c, 0 = -4*c + 3*b - 0 - 18. Which is smaller: c or u?
c
Let g(u) = u**2 - 8*u + 1. Let a(d) be the second derivative of d**4/12 - 3*d**3/2 - 6*d. Let i(b) = 4*a(b) - 5*g(b). Let q be i(2). Which is smaller: 1 or q?
q
Let m = 15388 - 15545. Is -147 <= m?
False
Let p(o) be the second derivative of o**3/6 + 23*o**2/2 - 10*o. Let q be p(10). Let w be (22/q)/((-2)/3). Is w bigger than 6/17?
False
Let g(k) = 2*k - 3. Suppose -77*d + 72*d + 230 = 0. Let h = -45 + d. Let i be g(h). Which is smaller: 2/21 or i?
i
Let r = -6224 + 5183. Is r > -1039?
False
Let a(k) = 170*k + 16. Let b be a(1). Suppose 191 = 5*g + b. Which is smaller: g or 7/4?
g
Let r be (2/4)/(45/24 + -2). Let y be 0*(7/2 + r). Suppose -5*o + 22 = 3*c, 3*c - 2*c + o - 4 = 0. Do y and c have the same value?
False
Let y = -4345 - -4342. Which is smaller: 0.97 or y?
y
Let r be 1/4 + 25/(-20). Let o = 6/7 - 26/35. Which is smaller: o or r?
r
Let s = 16.3 + -17. Let h = s - 0.3. Let t = 2429175 + -2429186. Is h bigger than t?
True
Suppose -f = -5*f - 588. Let h(t) = 32*t**2 + 26*t - 193. Let y be h(5). Let u be y/f + 35 + -30. Which is smaller: -1 or u?
-1
Let o(b) = 13*b**2 - 202*b - 42. Let u be o(18). Which is bigger: u or 535?
535
Let g be (45/4)/3 - 5/(-20). Suppose 4*b = -2*d - 16862, -g*b - 5*d - 12657 = -b. Let c be (-1253)/b - (-6)/(-21). Which is smaller: c or 1?
c
Let j be 9 + -875 - -3*2. Let r be ((-8)/j)/((-7)/35). Suppose 2*v + 1 = v. Is r > v?
True
Suppose 0*x - 4 = 4*x. Let b = -39/577 + -22417/9809. Which is smaller: b or x?
b
Let t be 1*(3 - (-7)/(-5))/(11/(-330)). Suppose 0 = 12*x - 8*x + 196. Is t at least x?
True
Let g = -5587 + 8038. Are g and 2449 nonequal?
True
Suppose 25 = -14*t - 101. Let w be (-14)/t*(-36)/(-8). Which is greater: 1 or w?
w
Let h(n) = n**3 + 6*n**2 + 6*n + 10. Let y be 1 - (3 + (1 - -2)). Let j be h(y). Is j greater than or equal to -5?
True
Let u(n) = n**3 - 3*n**2 - 2*n - 7. Let j(i) be the first derivative of i**3/3 - 6*i**2 + 15*i - 6. Let p be j(11). Let h be u(p). Does h = -1/4?
False
Suppose -4*o + 3*d + 9 = 0, d - 2*d - 19 = -4*o. Let n(l) = -44*l - 2200. Let q be n(-50). Which is smaller: o or q?
q
Let l be -2*21/62 + 1. Let c = -0.509 + 0.609. Which is greater: l or c?
l
Let w = -1792 - -1791. Is w at most as big as -4/3165?
True
Suppose 55 + 35 = 6*f. Let v be (-7 - (-2469)/354)*(-4)/f. Is 1 <= v?
False
Let p = 6089.6 - 6097. Let k = 0.023 + 4.377. Let c = p + k. Is c at least -2/11?
False
Let y be (2 + 0)/(842/(-48415)). Do -121 and y have different values?
True
Let a = -3352 + 3391.2. Let v = 38.93 + 0.07. Let g = a - v. Are g and 0.02 nonequal?
True
Let c = 817858.9 - 817859. Suppose -167 + 495 = 4*j. Does j = c?
False
Let q(b) = -b**3 + 4*b**2 + 24*b - 136. Let n be q(5). Let w(i) = -2*i**2 - 85*i - 125. Let r be w(n). Which is greater: r or 151?
151
Let h = 6 + -6.3. Let k = 6 + -6.3. Let g = h - k. Is g greater than or equal to -4/9?
True
Let r = 3449126/1025 - 3365. Do 1 and r have the same value?
False
Let u = -69164 - -66466593/961. Is -1 <= u?
True
Let g be 1/1 - -217*13/(-4368). Let j = g + 7/48. Which is smaller: j or -53?
-53
Let i(a) = a**3 - 45*a**2 - 130*a - 166. Let p be i(49). Is 3068 less than or equal to p?
True
Suppose -2*f = -2, -73 = -v - 3*v - f. Let w be ((-47)/(-9) - 5)*v. Let t = 29 - 2. Are w and t equal?
False
Let l = -94.35 + 130.4. Let t = 36 - l. Let r = 0.3 + t. Are r and 0 nonequal?
True
Let j = 50641 + -454535/9. Which is bigger: 136 or j?
j
Suppose 0 = -5*q - 4*c + 15, 2*q + 6*c - 5*c = 9. Let l be 1/q*(-98)/(-42). Let j be (-8)/(-18) - (-6)/27. Which is smaller: l or j?
l
Let d = 3107 - 3385. Are 1/5 and d non-equal?
True
Let b = -1204.1 - -1204. Which is greater: 4/89 or b?
4/89
Let t be (-115465)/154 + 4/(-8). Let g = 751 + t. Is g greater than 2?
False
Let g be (-1 - -1)/((-6)/(-3)) + 5. Let h(s) = s**2 - g*s - 12*s + 7*s + 2*s. Let i be h(8). Which is smaller: i or -2/13?
-2/13
Suppose 2*x = 5 - 3. Let n = 15314706/79 - 193857. Which is smaller: x or n?
n
Suppose -3*n = -18 + 30. Let s(a) = -a**2 + 6. Let x be s(n). Let b be (-51)/(-5) - 8/x. Is b less than or equal to 11?
True
Let i(n) = -n**3 + 12*n**2 - 36*n + 162. Let j be i(13). Is -464 smaller than j?
False
Suppose 0 = c - 2*y - 4, -3*c - 9 = -4*y + 5*y. Let h be (-7)/(-2 + (-15)/18*c). Let p(w) = 3*w - 63. Let x be p(h). Is 1 < x?
False
Let i = -183020/123 + 1488. Which is smaller: 0 or i?
0
Let l be 734/(-208) - 1/(2/(-6)). Let x be (-19)/(-8) + (-3 - -1). Let c = x + l. Which is greater: c or -1?
c
Let i(r) = r**3 - 4*r**2 - 2*r - 3. Let d be i(0). Let m be (110/(-30) + 1)/(d/(-7)). Which is bigger: -5 or m?
-5
Let r = -5039 - -5039.983. Is r > 0.1?
True
Let a = -287 + 286. Is -19/68 greater than a?
True
Let l be (4*-1)/12 - 4046/(-17520). Let v be (-124)/803 + (-4)/(-22). Let i = l + v. Which is bigger: 1 or i?
1
Let l = -5 - -4. Suppose -5*d + 4*c - 7794 = 0, d + 3*c + 475 = -1080. Let w = 14006/9 + d. Which is smaller: l or w?
w
Let g be (-117)/(-11)*(-55)/385. Which is greater: -3 or g?
g
Suppose -8*q + 12 = 4*q. Let w be (-4)/12*q/(-2)*-1. Is -22 at least as big as w?
False
Let a = 3152 - 3153.6. Which is smaller: a or 1/33?
a
Let a = -33.61 - 0.39. Let m = -320 - -173. Let i = m + 148. Is a less than or equal to i?
True
Let j be 5/(-3) + (-3429)/(-2592)*-8. Let v = 0.1 + -0.1. Is v greater than j?
True
Let p(a) be the second derivative of a**4/12 + 5*a**3/3 + 3*a**2/2 + 3*a. Let y be p(-10). Let g be -1*(-2)/4*(y + -5). Are g and -7/10 equal?
False
Let v(l) = -2*l - 12. Let d be v(-8). Suppose -d*j + 10*j - 72 = 0. Suppose -j*k = -10*k + 2. Which is smaller: 0.024 or k?
k
Let g = -0.78 + 0.704. Let k = -0.175 - g. Let i = k + 1.099. Which is greater: -23 or i?
i
Let h = 87.9346 + -52.695. Let j = 0.0396 - h. Which is smaller: j or 1?
j
Suppose 0 = 2*z - 1068 - 546. Let h be (z/(-6) + 2)*(-64)/(-40). Let i be h/24 - -2 - 4/6. Is 0 bigger than i?
True
Let v(u) = 1 + 6*u**2 + 15*u**2 - 22*u**2 - 11*u. Let q be v(-11). Is 0 bigger than q?
False
Let q be (59 - 0/4) + -3. Let j be q/16 + (-2)/8. Let s(u) = -u**2 - 9*u + 2. Let c be s(-9). Is j at least c?
True
Let f = 1029 + -1845. Let x be (-2 + -1)*34/f - 0. Which is greater: -1 or x?
x
Let j(l) = -l + 1. Let y be j(-3). Suppose -88 = -0*o + 4*o - y*c, -4 = c. Let n(x) = x**3 - 103*x**2 + 2098*x + 122. Let a be n(75). Which is smaller: a or o?
a
Let i = 9.44 + 439.56. Let s = i - 448.8. Which is smaller: s or 23/2?
s
Let j = 2/69 - 