ose 14*u = 175*u - 155204. Is 960 equal to u?
False
Let u = -110 + 120. Suppose 0 = 11*g + 12 + u. Which is greater: -48/17 or g?
g
Let b be (-16)/320*10*0. Is -16/397 equal to b?
False
Let h be ((-2)/(-114))/(2/2 + (-6)/10). Is h < 14?
True
Let m(x) = -x**2 - 7*x + 3. Let u be m(-5). Let r(n) = -n**2 + 24*n - 50. Let j be r(21). Are u and j equal?
True
Let r(p) = p**3 - 97*p**2 + 190*p + 401. Let g be r(95). Which is greater: 403 or g?
403
Suppose 0 = -13*n + n + 564. Suppose 17 = -h + 60. Which is greater: n or h?
n
Suppose -5*i + 4*t = -25, -31 = 2*i + 5*t - 8. Let p = -1/1575 - 298/26775. Which is greater: p or i?
i
Let y = 1.09 + -1.02. Which is bigger: y or 2/59?
y
Suppose 3*v - 6 = 0, 3*n - 3*v = -653 - 637. Is -428 greater than or equal to n?
True
Let p = 686 + -404. Let h = p - 284. Which is smaller: -0.01 or h?
h
Let w be ((-201)/(-32))/(15 - 18) + 2. Which is bigger: -1 or w?
w
Suppose y - 2*n = 2, -y - 2*n = -9 - 9. Suppose -z - 275 = y. Let l = z - -1999/7. Which is bigger: -1 or l?
l
Let r(v) = -110*v - 2. Let d be r(1). Let c be (140/d)/(10/8 + -1). Let i be ((-18)/(-10))/(c/(-225)). Which is smaller: i or 82?
i
Suppose -7*d = 145*d + 1672. Suppose -3*a + 2*z - 12 = 0, -4*a - 28 = 4*z + 8. Let p be a/3*d + -1 + -2. Which is smaller: 15 or p?
15
Suppose -8*k - 25*k = 2*k + 38290. Is -1098 at most as big as k?
True
Let c be (-1*(0 + -2))/2. Let w = -6377/199938 + 5/1418. Is w at least as big as c?
False
Let g = 9.9 - 2.9. Let m = 1.9852 - -0.4148. Is m less than or equal to g?
True
Let o(z) = 4*z**2 - z + 1. Let t be o(2). Suppose 3 = 5*x + r - 0, 2*x + 5*r = t. Suppose 100 = 3*s - 5*f, 0 = -3*f - x*f - 15. Is 25 bigger than s?
False
Suppose -33 = -3*q + 2*q. Suppose -p + q = -4*p. Let c(t) = -t**2 - 409*t - 1631. Let x be c(-4). Is x less than p?
False
Let o be 5 + 0 - ((-1417864)/(-77) + 64/352). Which is bigger: -18410 or o?
o
Suppose 27 = 26*y - 17*y. Let b be (-9 - 891/63) + 12/y. Is b less than -20?
False
Suppose -1500 = -19*c + 94*c. Suppose 6*p = p - 95. Are c and p non-equal?
True
Suppose 0 = 10*k + 4*k - 1260. Suppose -k + 52 = -19*z. Does z = -7?
False
Let h = -6 + 3. Let k = h - -8. Suppose -37678*u = -37651*u - 81. Is u greater than k?
False
Let b be ((-28)/6)/((-25)/(-15)). Let t = 7 + -7. Let r be (t + 0)*4/(-16). Which is bigger: b or r?
r
Suppose -68 = -2*v + 28. Let l be ((-246)/v + 5)*-2. Are 2/3 and l unequal?
True
Let n be ((-798)/1463)/(13096/(-22)). Which is greater: n or 0?
n
Suppose 2*t = 5*z + 13, 37*t = 34*t - 3. Let n = 27 - 19. Let d be (-6)/n + 1/(-4). Which is smaller: z or d?
z
Suppose 3*y - 11*y = -16. Let i = -4715 + 7601. Let m be i/3211 + (-2)/(-13). Which is smaller: y or m?
m
Let l = 2243 - 2244. Let y(z) = z**2 + 6*z + 1 - 3*z + 2*z**2 - 7*z**3 - 2*z**2. Let h be y(l). Is 9/2 != h?
True
Let w = 4577 + -4217. Are 369 and w nonequal?
True
Suppose 53*m - 58*m + y = 1259, -758 = 3*m + 2*y. Is m at most as big as 1?
True
Suppose -7049 - 33331 = -91*y - 2433. Is y bigger than 3345/8?
False
Let w be (-114)/7 - 20/(-70). Suppose 12 = 4*s + 64. Let u be s*1 + (-2 - 2). Which is greater: w or u?
w
Suppose 23*x = 24*x + 1. Let y be (9 + (-1)/x)/(21/3). Suppose 4 = 5*w - 6. Is w at least y?
True
Let c = -4844 + 4844. Which is bigger: 11/221 or c?
11/221
Let s be (-366)/(-9)*7/((-3528)/(-222)). Let n = -89/18 - s. Is n < -22?
True
Let w = 112 - 340/3. Let k = 10/27 + w. Is 0 smaller than k?
False
Let k = -281 + 295. Let n be (k/8)/(4 - 105/28). Which is smaller: n or 0.5?
0.5
Suppose 0*q + 1684 = 4*q + 4*z, -3*z = -12. Suppose i = -5*w - q, 10*w - 11*w = -5*i + 99. Which is greater: w or -83?
-83
Suppose 6*k - 19 = 3*k + 10*u, -5*k + 20 = -5*u. Suppose 0 = -4*t + 14 - 2. Suppose -k*g = n + t*n + 118, 2 = g. Is -30 >= n?
True
Let u = 423.47 - 8.47. Let q = -415.051 + u. Are 2 and q unequal?
True
Suppose 0 = 20*b - 3*b - 102. Suppose g + b = 2*r, -5*r = -2*g - 7 - 6. Is r >= -3?
True
Let g be -5*1 + ((-222)/(-4))/(135/180). Which is smaller: 68 or g?
68
Let f be 2/(-4) + (-157)/(-2). Suppose 4230*j - 405 = 4225*j. Is j at least f?
True
Suppose 3*t - 144 = -t. Let h = 934 - 978. Let k = t + h. Do -9 and k have different values?
True
Let w = 517.2 + -517.3. Is w bigger than -13.56?
True
Let d = 533/12 + -133/3. Suppose -32*i = -67 - 29. Suppose i = -3*s - 3*b, 4*s - 6*b = -7*b - 1. Which is greater: d or s?
d
Let m be (-1330)/(-98) + -1 + -13. Let p = 22 + -13. Let k = p + -8. Is m <= k?
True
Let x = -101 + 83. Let m = 9.8 - x. Let b = m - 28. Is b > 1/8?
False
Let c = -31462 + 31461.8. Is c at least as big as -1/5447?
False
Let f = 1605 - 1128. Let t = 504.1 - f. Is -1/2 bigger than t?
False
Let s be 1*-459*(-50)/15. Let g be (144/28)/12 + s/7. Does 219 = g?
True
Suppose 79*s - 2*w + 36 = 82*s, 4*w = 4*s - 28. Which is smaller: -13 or s?
-13
Suppose 9*d - 10*d + 15*b - 112 = 0, -5*b - 336 = 3*d. Which is smaller: d or -2550/23?
d
Let y(i) = -14*i + 239. Let a be y(17). Is 2/223 greater than a?
False
Let q = 19131/816202 - 3/914. Is q > 1?
False
Suppose 3*x + h + 10 = 8*x, 3*x - 3*h = -6. Let v be 3/((-9)/(-471)) + x. Let m be (-48)/v*4/3. Which is bigger: m or 0?
0
Let s(c) = -5*c**3 - 4*c**2 - 6*c - 6. Let k be s(-2). Let r be -1*(2 - 0) + (k - -54). Is r < 80?
False
Let o = 144 + -142. Let x be (55/2 - (o - 0))*-8. Do x and -204 have the same value?
True
Let h be (250/(-625))/((-3)/10) - 6078/4329. Is h <= 1?
True
Suppose 5*p - 4*z = -z - 37542, z = -5*p - 37546. Let d = 1659486/221 + p. Which is bigger: d or -1?
d
Let y(q) = -3*q + 21. Let k be y(0). Let m be k*4/(-12) + -321. Is m bigger than -327?
False
Let b(k) = -2*k**3 - 14*k**2. Let m be b(-7). Let j be (12/(-4) - -2)*-122. Let g = -2066/17 + j. Which is smaller: m or g?
m
Let q(j) = -j**3 - 234*j**2 + 950*j - 477. Let c be q(-238). Let m(k) = 2*k - 2. Let y be m(4). Let u be ((-15)/y)/((-26)/(-4)). Which is smaller: u or c?
c
Suppose 4138 + 4652 = 10*u. Suppose -15*b + 18*b - 4*z = -1336, -2*b + 5*z = u. Do -2/7 and b have different values?
True
Let p be (5 + 0)*82/4*62/1023. Is -2 <= p?
True
Let u(h) = h**3 - 2*h**2 - 32*h - 22. Let z be u(7). Let k be (-4298)/(-478) + -5 - (-4)/z. Which is smaller: k or -1?
-1
Let k be 8 + (-2230)/5 + -1 + -7 + -8. Is -3 > k?
True
Let x = -3649 + 3660. Which is greater: 2 or x?
x
Let a = -2600/27 - -13324/135. Let t be (-4)/10 - (-104)/10. Suppose 2*l + t = 2*j, 0 = 4*j + j + 3*l - 1. Is a less than or equal to j?
False
Let y = 7 - 2. Let g(b) = -b**2 + 18*b - 72. Let x be g(11). Suppose p - 2*u = x, 3*p + 4*u - y + 0 = 0. Which is smaller: -2/5 or p?
-2/5
Let u(z) = -3*z**3 + 305*z**2 - 197*z - 41. Let q be u(101). Is q at most 463?
False
Suppose -5*i + 93 + 147 = 0. Let n = 53 - i. Let a be (n - 5 - 22/4)*2. Which is bigger: -9 or a?
-9
Let p be ((-12)/9)/((117/(-54))/(-13)). Let n(s) = 25*s + 226. Let f be n(p). Is f at least as big as 129/5?
True
Let i = 4/19 - -7/57. Let s = -139.15 - -140. Let o = 19.85 - s. Which is smaller: o or i?
i
Suppose -2 = -3*t + 1. Let k be -4 + ((-2)/1 - -6). Suppose k*m = -11*m + 275. Are t and m non-equal?
True
Let i be ((-2 - -1)/2)/(5/(-40)). Suppose 2*m - 3*j = 25, 4*m + 2*j - 22 = i. Let t be (-10)/2*(-8)/5. Is m at least t?
True
Let r = 57.975 + -58. Let t = r - -0.495. Is t <= 0?
False
Let i = 4564 - 4713. Is i equal to -166?
False
Suppose 9208 = -48*a + 44*a. Is a less than or equal to -2302?
True
Suppose 7*m + 18 = -8*z + 12*z, -5*z = 4*m + 3. Is 7/186 >= z?
False
Let c(m) be the first derivative of -7*m**3/3 - 4*m**2 - m + 99. Let l be c(-1). Which is bigger: l or -7/67?
l
Let c be 13 - 11 - (0 + -1). Suppose 0 = c*k + n, 0 = -0*k + 3*k - n. Let g = 126 - 101. Is k not equal to g?
True
Let b be 1*(-5404)/(6 + -2) + 7. Let w = b + 1368. Let k be (-73)/(-3) - (-1)/(-3). Is w greater than k?
False
Let a = -48 + 50. Suppose -2*i = i + 3*w - 138, a*i = -4*w + 88. Let z = i + -45. Which is smaller: z or 5?
z
Let l be 0*(-7 - (-42)/7). Suppose l = 5*i - 8*i + i. Is -3/185 >= i?
False
Suppose 0 = -5*l + 4879 - 12379. Let d = l - -70503/47. Suppose 0 = 3*v + 5*u, 0 = -99*v + 99*v - 2*u. Which is bigger: d or v?
d
Let q be 7*(1 + 46/14). Let b = q + -7. Suppose 209*y - 46 = 207*y. Is y != b?
False
Let m be (78/(-1768))/((-6)/1240). Is m < 8?
False
Let d(a) be the first deri