- 3*u - 8, -1 + 13 = 3*g - 5*u. Are p and g unequal?
True
Let q(b) = b**2 + 29*b - 51. Let g be q(-23). Suppose 6*m - m - 2*p + 940 = 0, 0 = -5*m - p - 955. Is g greater than m?
True
Suppose -23 = -i - 5*t, -7 = -i - 3*t + 8. Suppose -9*n = -6*n + i*f + 831, 283 = -n + 2*f. Is n at most -279?
True
Suppose 0 = -19*w - 17110 + 1929. Let i = w + 3996/5. Let u = 13 + -7. Is u less than i?
False
Let q = -4108 + 3575. Which is smaller: -536 or q?
-536
Let s = -0.4442 - -0.4522. Suppose -4*b - 5*y - 5 = -0*b, -4*b + 4*y + 40 = 0. Let w be b/3*(-2)/5. Is s < w?
False
Suppose 104*d = 109*d - 35. Suppose 0 = d*z - 5 - 142. Suppose g - 8*g + 154 = 0. Is g bigger than z?
True
Let q = 70308 - 34108. Does q = 36201?
False
Suppose 3*m - 16 = -4*h, -3*m + h + 3 = 7. Suppose f - 1 - 1 = m. Which is smaller: 4 or f?
f
Suppose -2*v - 4*q + 653 = v, -5*q = -4*v + 819. Let h = 369 - v. Which is smaller: h or 159?
h
Let k = -227.9433 + -0.0567. Is -2 greater than k?
True
Let x = 0 - -24. Suppose -r = -9*r + x. Suppose -r*s - 14 = 1. Which is bigger: -2 or s?
-2
Suppose -2237 = 4*o + 4*s - 5*s, -2*o - 1141 = -5*s. Let m be ((o/(-88))/(-3))/((-1)/(-8)). Which is smaller: -16 or m?
m
Suppose 28 - 112 = -3*g. Let u = 1214 + -1219. Is g < u?
False
Suppose 2*n = 4*y + 1036, 347*y = 344*y - 2*n - 791. Which is smaller: -265 or y?
-265
Let r(p) = -5849*p**3 - 7*p**2 + 5*p + 1. Let h be r(1). Let f = h - -2819701/482. Is f at least 1?
False
Suppose 7*n - 2*n = 75. Let q be -4 + (-9)/n*-5. Are q and -1/42 equal?
False
Let w be 2/26*(-1 - -11). Suppose 0 = -11*f + 28*f + 4471. Let g = 264 + f. Is g at least w?
True
Suppose 32*r = -7170 - 4286. Which is greater: r or -361?
r
Suppose 4*g + g + 185 = 0. Let c(k) = 2*k**2 + 36*k + 107. Let z be c(-12). Is g greater than z?
False
Suppose 0 = -5*h + 55 - 40. Suppose -6*y = -10*y - h*j + 1611, -5*y = 4*j - 2015. Is y < 399?
False
Let t = -30 + 30.2. Let o = t + -1.2. Let p be (-5)/(-8)*16/40. Which is smaller: o or p?
o
Let u(a) = 5*a + 55. Let b(k) = -8*k + 35. Let p be b(6). Let m be u(p). Let v be (-8)/(-6)*15/m. Which is greater: v or -1?
-1
Suppose -42*c = -29*c. Is -1/4707 greater than c?
False
Let d = 7584 + -121311/16. Is d at least 3?
False
Let j be ((-9970)/1132098)/(-5)*9*13173. Let t = j + -2/188683. Let n = t + -209. Which is smaller: n or -1?
-1
Suppose 169 = -5*k + 204. Suppose 6*a - k*a = 1. Let g = 343 - 6519/19. Which is greater: a or g?
g
Let u(t) = -t**3 - 448*t**2 - 2229*t - 8. Let k be u(-5). Is k at least as big as 112?
False
Let z = -55807/30099 - 398/381. Which is greater: z or -3?
z
Let g be (6/(-80))/((-1)/(15/(-174))). Let p = g - -821/1392. Is 0 at least p?
False
Let s(g) = -3*g**3 - 19*g**2 + 11*g + 5. Let q be s(-7). Suppose 3*l - 96 = -l. Is q != l?
True
Suppose -2*m + 11704 = -4*a, 25*a + m + 11698 = 21*a. Which is bigger: -2926 or a?
a
Suppose 26*f = -148 - 164. Let g be f/(-24) + (-3)/6. Which is bigger: 6.1 or g?
6.1
Let n = -11 + 13. Let y = 1461 - 1496. Is n at most y?
False
Suppose 0 = y + 29 - 28, 3*l = 5*y + 7016. Is l at least as big as 2333?
True
Let c = -12 - -16.8. Let a = c - 5. Let b = -106.54 + 100.54. Do b and a have the same value?
False
Let f = -117 + 121. Let m = -566 - -571.6. Is m <= f?
False
Let m(q) = q**3 + 18*q**2 + 74*q - 34. Let g be m(-11). Let c = -182 + 6737/37. Which is smaller: g or c?
g
Let w be 45*((-657)/(-81) - 8). Suppose 3*o - w*a = -171, -3*o - a = 92 + 61. Which is smaller: o or -48?
o
Let u = 6943 + -3363. Which is greater: u or 3581?
3581
Let d = -0.088 - -44.088. Let v = -57 + d. Let u be ((-18)/4 + 4)/1. Is u greater than v?
True
Let i be 1*(-2)/18*-14. Let n(h) = -30*h + 60. Let z be (84/49)/3*(-7)/(-2). Let p be n(z). Is p < i?
True
Let p be ((-228)/(-304))/(-2*238). Is p less than 0?
True
Let a be 8970/(-17316) + (-2)/(-4). Do a and -4 have different values?
True
Let i be (-28 + -229)/((-9)/(-5) - 2). Which is smaller: i or 1287?
i
Let k(x) = 4*x + 5. Suppose -m + 27 = s, 0*s + 3*s + 143 = 5*m. Let w = m - 32. Let h be k(w). Is -12 smaller than h?
True
Suppose 9*y = 6*y + 78. Let s be (-13)/y*4/(-1). Let f be 22/(-10) + s - (-682)/(-990). Which is bigger: -2 or f?
f
Let v = -3520 - -3520. Are 1/5904 and v unequal?
True
Let i(x) = -22*x + 41. Let y be i(0). Suppose 5*j - 26 + y = 0. Is -33/14 less than or equal to j?
False
Let z be 1/5 + 21618/(-165). Let p = -14049 + 14180. Let v = p + z. Which is smaller: 1 or v?
v
Let i = 0.15 - 0.2. Let h = 0.00212 + 2.04788. Let o = h + i. Is 9 < o?
False
Suppose 13*w - 6*w - 14 = 0. Suppose -4*r - 13 = w*g - 41, 5*g - r - 103 = 0. Suppose -72 = -2*t - 2*t. Is g < t?
False
Let s be ((-372)/(-620))/((-3)/855). Which is smaller: 1/7 or s?
s
Let v = 315 + -314.843. Let l(z) = -87*z - 610. Let x be l(-7). Which is bigger: v or x?
v
Let j be 1/(-5) + 597/3060. Let o(q) = 467*q + 11674. Let m be o(-25). Which is smaller: j or m?
m
Let c(j) = 2*j + 24. Let w be c(-16). Let k be (22/(-3575)*-5)/(w/(-50)). Is k bigger than 0?
True
Let b(a) = -a**3 - 8*a**2 + 31*a - 22. Let u be b(-11). Let t = -449/5 + 89. Which is greater: u or t?
u
Let w be ((-120)/50*2)/(1668/320 - -3). Is -1 less than or equal to w?
True
Let h be (12/(-24))/((-1)/2). Let s be h/10*28/3. Which is smaller: s or 1?
s
Suppose 0 = -j - 5*f + 3, 2*f + 46 = 4*j + 5*f. Let x(y) = y**3 + 36*y**2 + 260*y + 10. Let l be x(-10). Is l at most j?
True
Suppose 2*s - 8*k + 9*k = -8166, k + 4081 = -s. Are -4085 and s unequal?
False
Let m = -9658 - -9773. Suppose 0 = 3*c + c + 400. Let a be ((-6)/c)/(m/(-25) + 5). Is a at least as big as 0?
True
Let u be (-9 + 3)*(-4)/(-12). Let h be (45/594*u)/((-3)/(-18)). Which is smaller: -2 or h?
-2
Let a(z) be the first derivative of -z**4/4 + z**3/3 + z**2/2 + 2*z - 47. Let c be a(2). Is c greater than or equal to 2/189?
False
Let w = -3.316 - -2.816. Let s = -5 + 8. Is s != w?
True
Let h = -1.3 - -0.3. Let b = h - 0. Let x = 4452568/7 - 636076. Is x at most as big as b?
False
Let j = 2454 + -2453.814. Is j != 4?
True
Suppose 15 = 5*m + 332*d - 327*d, 2*m + 14 = 8*d. Let v = 119801/81 + -1479. Is m < v?
False
Let w be ((18900/(-125))/21 - -6)/((-14)/710). Suppose 0 = -g + i + 57, -5*g = 4*i - 14 - 316. Is w at least g?
False
Let n be 2*(-5)/((-25)/20). Let q be 17400/(-110) + n/44. Is -160 less than q?
True
Let f(o) = -76*o + 19*o + 27*o - 30 + 17*o. Let d be f(-5). Is d bigger than 36?
False
Let n be 1/(-2) - 2480/(-4929). Let k be (-2)/6 + (-15)/9 - -2. Is k > n?
False
Suppose -4*a + 5*u + 93 = 0, -2*a - 2*u + 18 + 24 = 0. Suppose 16 = -2*n - o, -2*o = -n - 4*n - a. Let p = 333 + -336. Is n smaller than p?
True
Let k(n) = -2*n**2 - 5*n - 2. Let q be k(-2). Suppose 15*m - 10*m + 20 = q. Suppose l - 1 = -j, 2*j - 3 = -4*l + 1. Is l < m?
False
Suppose 5*l = 4*y - 6, 0*y - 15 = 5*l + 5*y. Suppose -3*o + 20 = 4*j, -3*j + 4 + 9 = 2*o. Suppose o*g = 5 + 11. Which is smaller: l or g?
l
Let t be -5 - ((-64)/160)/(1/10). Which is bigger: -1/4222 or t?
-1/4222
Let s be (1894 - 1890) + 1699/48 + (-2)/(-3). Which is smaller: 39 or s?
39
Let k = 1011/19 + -425688/7999. Is -5/6 greater than k?
False
Let w be 658 + 9/(-3) + 5. Let t be ((-12)/10)/((-18)/w). Suppose -6*s + 2*s = t. Do -11 and s have the same value?
True
Let u = 28403 - 32388. Is -3985 at least u?
True
Let q = -597 - -600. Suppose -q*k + 47 - 2 = 0. Which is greater: 10 or k?
k
Let p = 696.8 + -720.8. Do -1/6 and p have the same value?
False
Let y = -9017/246 + 110/3. Suppose -5*c + 44 = 6*c. Let z be (2/c)/(-1)*(5 + -3). Which is smaller: z or y?
z
Let r = 22.4925 - -0.5075. Which is smaller: r or 2.8?
2.8
Suppose -2*k - 12 = 2*x + 2, -4*x + 3*k - 42 = 0. Suppose -92 + 1 = 13*c. Is c bigger than x?
True
Suppose -g = 22 + 6. Let l be g/6 + (-6)/(-9). Suppose 18*p + 280 = -38*p. Which is greater: p or l?
l
Let f(x) = -x**2 - 24*x - 18. Let m be f(-12). Suppose -11*g + 4*g = -m. Let k(l) = -l**2 + 12*l - 11. Let y be k(9). Is g greater than y?
True
Let q = -593 + 770. Suppose -t = -7*m + 12*m + 222, 4*m - q = t. Is t != -196?
True
Let a = 19 - 18.9. Let j = 300.1 - 328. Let q = a - j. Which is greater: -2 or q?
q
Let r(y) = 2*y**2 - 95*y + 1104. Let p be r(22). Let a be 2 - 5/((-5)/(-18)). Which is smaller: p or a?
p
Let f(v) = -30*v + 208. Let o be 21 + -20 - (1 - 7). Let i be 