)/(-15) - (14 + 826/(-105)). Which is smaller: -2 or l?
l
Let y = 3721/11190 + 3/3730. Which is bigger: -22 or y?
y
Let f be 0 - -3*6/45. Let h(j) = 12*j - 229. Let d be h(14). Which is smaller: d or f?
d
Let c be 6*((-667)/92 + 7)/(1/31). Suppose -3*g = 193 - 55. Are c and g equal?
False
Suppose 3*s + 21 = 3. Suppose 14 = 3*m - 31. Suppose 0 = 2*g - 5*l + m, -3*l + 7*l - 29 = 5*g. Which is smaller: g or s?
s
Let k = -38 + 13. Let d(z) = 6*z + 18. Let q(b) = b**3 + 5*b**2 + 4*b - 7. Let y be q(-4). Let f be d(y). Which is smaller: f or k?
k
Let v = 25.172 - 7.172. Which is smaller: v or 311?
v
Suppose 7*k + 2525 = -975. Let p = 410 + k. Is -88 greater than p?
True
Let q = 296 - 292.57. Let s = q + -3.82. Is s < 4/5?
True
Let d = -16904 - -16831. Are -100 and d equal?
False
Let b be 4/(-30) + -1 + 179186/3570. Which is smaller: b or 48?
48
Let t(p) = 2*p**3 - 14*p**2 - 63*p + 319. Let m be t(12). Which is bigger: m or 993?
m
Suppose -61 = -2*j - 0*k - k, 4*k - 4 = 0. Let f(z) = 16*z**2 - z - 8. Let w be f(-2). Suppose 6*o + 5*m + 87 = 9*o, -3*m = -2*o + w. Is j > o?
True
Let r(u) = -u**3 + 37*u**2 + 78*u + 202. Let s be r(40). Which is smaller: -1483 or s?
-1483
Let d(c) = -10*c - 1. Let h be d(3). Let n = 36 + h. Let u be (-2)/(((-2)/(-6))/(-1)). Is n bigger than u?
False
Let r = 0.8 - 0.7771. Let x = r + -0.0529. Is -11 < x?
True
Let x = 1042 - 1041.771. Let k = -203 + 203. Is k less than or equal to x?
True
Let g = 3 - 1. Suppose 0 = 8*m - 12*m - 24. Let q be ((-576)/320)/(m/10). Which is greater: g or q?
q
Let x(l) = 43*l + 439. Let z be x(-11). Are z and 2/5 equal?
False
Let v = 21.3 - 6.7. Let n = v + -9.5. Let j = n - 7.1. Is 0 greater than or equal to j?
True
Let g(w) = -5*w**2 - 15*w - 17. Let f(r) = 14*r**2 + 46*r + 51. Let x(p) = 4*f(p) + 11*g(p). Let o be x(-18). Let t = -22 - -328/15. Which is bigger: o or t?
t
Let z = 432 + -497. Let b be ((-8)/10 - -1)/((-13)/z). Is -12/41 greater than or equal to b?
False
Suppose -t + 4*q - 33 = 0, -5*t + t - 4*q = 92. Let x be 7 + (3 + -1)/1. Let u be (t/30)/((-4)/x). Which is greater: 1 or u?
u
Let l = 93 - 83. Suppose -6*s + l*s + 496 = 0. Which is smaller: -123 or s?
s
Let q be (-7)/(-28)*-1 - (-92)/288*-2. Let o be 12/(-10)*7/2. Let r = 37/10 + o. Is q <= r?
True
Let u be 186 + (-1)/(7 + (-287)/42). Is -0.1 equal to u?
False
Let k be 2*6610/(-32) - (-3)/24. Is k >= -412?
False
Let m = 191/9 - 21. Let b = -260 + 91. Let v = -170 - b. Is m equal to v?
False
Let t = -327 + 325. Let v(j) = -28*j**2 - 19*j + 3. Let s be v(t). Is s smaller than -73?
False
Suppose 2*r = -3*a + 6122, -5*r = 4*a - 6409 - 1756. Which is bigger: 0.1 or a?
a
Let w = -18842 - -2835. Is -16007 >= w?
True
Let p be (32/15 + -2)*-3. Let u = 23270 + -23201. Is u greater than p?
True
Suppose -1637 = -2*f - q, -f + 575 = -2*q - 246. Which is smaller: f or 821?
f
Let c = -255 - -379. Let b = -94 + c. Which is greater: b or 36?
36
Let p(k) = -k + 1. Let g(a) = a**3 + 7*a**2 + 9*a - 3. Let u(z) = -g(z) - 4*p(z). Let o be u(-8). Which is greater: 105 or o?
105
Let r = 82.5148 + 0.3012. Let n = r - -0.184. Let q = -37 + n. Is 1 at most q?
True
Let t = -15838.673 + 15815. Let b = -23.8 - t. Let s = b - -0.027. Which is smaller: s or -2?
-2
Let y = -2376 + 2809. Which is smaller: 2161/5 or y?
2161/5
Let c = 15491/5 - 3085. Which is smaller: 12 or c?
12
Let t = -31/110 - -2/11. Let u = 34 + -24. Let g = u + -9. Which is smaller: g or t?
t
Suppose -1818 = -z - w, -1020 = -4*z - w + 6246. Are z and 12706/7 equal?
False
Suppose 0 = -4*k + 14*d - 11*d + 1374, -1031 = -3*k + 2*d. Is -3 bigger than k?
False
Let w = 21655 + -46534. Which is smaller: -1 or w?
w
Let r = 5253 - 5122. Which is smaller: -2 or r?
-2
Let a(g) = -4*g - 22. Let l be a(-8). Let f be l/(-65)*4/26. Which is greater: f or 1?
1
Suppose -4*j = -2*j - 50. Let a = 202/41 + 2387/123. Which is smaller: a or j?
a
Let l = 85 - -510. Let r = -420 + l. Let z be ((-1)/(-50))/(-6 - r/(-30)). Are -2 and z nonequal?
True
Let j = -140 - -144. Let u = -265 + 277. Which is smaller: u or j?
j
Let w(t) = -t**3 - t**2 - t + 29. Let n be w(0). Suppose 294 = n*c - 22*c. Suppose 2*l = 67 + 17. Does c = l?
True
Let q = 38119 - 647766/17. Is q not equal to 14?
True
Suppose -6*s + 2*s = -2*s. Let d be -4 + s + 26 + -2. Which is greater: 17 or d?
d
Suppose -2*v - 9*v + 308 = 0. Let o = v + -24. Suppose o*a + 3*x = -5, -2*a + 8*x - 4*x + 14 = 0. Which is smaller: a or -22/3?
-22/3
Suppose 0 = -45*a + 38*a - 14602. Let b = -657088/315 - a. Which is smaller: b or -1?
-1
Let d(m) = -22*m**2 - 9*m - 6. Let t be d(-6). Let p be 514/t - 38/(-57). Is 1 at most as big as p?
False
Let d(c) = 29*c + 29. Let y be d(-1). Suppose -2*x + w + 4 + y = 0, -3*w = 5*x - 21. Are 2/11 and x equal?
False
Suppose 0 = 9*q + 13*q + 10604. Let a = 522 + q. Which is greater: a or 81/2?
81/2
Suppose 4*z + 88 = 12*z. Suppose -x + 5*w - 2*w + z = 0, -3*x + 17 = -5*w. Which is smaller: x or 12/95?
x
Let v(o) = o**2 + 11*o + 24. Let r be v(-8). Suppose r = -3*y + 6*y + 2*y. Is 10/7 < y?
False
Let j = 12964 + -12964.2. Which is greater: 2104 or j?
2104
Suppose 566304 = -339*w + 305*w. Is w equal to -16655?
False
Suppose -7*q + 5*q = -4. Suppose q*k + 10 = 36. Let i = k - 0. Is 13 > i?
False
Let q = 2201/3 - 725. Let b be (20/8)/((-2)/4)*-2. Is b <= q?
False
Let q = 3542 + -3540. Does -88 = q?
False
Suppose -28*k - 85 = 25*k - 70*k. Is -329 at most k?
True
Let c(h) = -h**3 - 110*h**2 + 225*h + 106. Let u be c(-112). Which is greater: 0.113 or u?
0.113
Let n = 1709 + 482. Which is greater: 2189 or n?
n
Suppose 4 = -5*l - 21. Let z(s) = 9*s - 113. Suppose 6*q = -23 + 95. Let v be z(q). Is l greater than or equal to v?
True
Let d be 2/(-22) - 41*(-17)/(-697). Let z(n) = n**2 - n. Let b be z(1). Suppose b = 5*r + 13 - 3. Is r < d?
True
Suppose 3*u = -3*c - 5475, 3*u = -79*c + 82*c + 5511. Which is greater: c or -1830?
-1830
Let n be 6/15 - 552/(-5270). Let d be (-32)/6*(-18)/248. Let u = d - n. Is 0 at most u?
False
Let p = -123/6953 - -470149/26623037. Is p >= -1?
True
Let w(n) = -16*n - 28. Let g be w(-2). Let z be ((-15)/g)/3 + 3/12. Is 5/2 smaller than z?
False
Let p be (-1 + (4 - 55))*(-21)/14. Is p at most 78?
True
Suppose -13462 = 2*i - 5*z, 12*z = -3*i + 14*z - 20160. Which is smaller: i or -6718?
-6718
Let i(y) = 23*y - 2. Let d be i(2). Suppose -2*x - 5*w + 75 = 0, 3*w - 215 = -4*x - d. Let z = x + -43. Does z = -22?
False
Suppose -296*m = -300*m. Let w(u) = u**3 - 15. Let t be w(0). Let r be m/(t/5 - 1). Which is smaller: 1/2 or r?
r
Let f be (-24425)/(-4660) + -4 + 20/(-16). Is f < -2/3?
False
Suppose 4*o = -0*o - 72. Let h be 46*((-51)/o - 3). Suppose -2*p + 5*f = 16, -3*p = -4*f + 12 + 12. Is h greater than p?
True
Let p be ((5/9)/(-5))/((-1295)/(-1554)). Is p smaller than -9/5?
False
Suppose 24*t + t + 4525 = 0. Let m = t - -725/4. Which is smaller: -0.107 or m?
-0.107
Let o be 8/(-36) - (147/(-27))/(-7). Let v be (0 - o)/(3/9 - 0). Are -1.6 and v unequal?
True
Let w = 1.0768 - 0.0768. Is w > 964?
False
Let x be 2 - (-9)/(-4) - 12*(-176)/2304. Is x smaller than -234?
False
Let p(a) = -3*a**2 + 27*a - 185. Let d be p(5). Let o = 10 - -8. Let y be (4/d)/(o/(-90)). Which is greater: y or -1?
y
Let x be 462275/1385923 + 2/(-7). Is x not equal to 0?
True
Suppose -6*i + 190190 = -11*i. Let x be 152/i*1/(6/(-4969)). Let m = 10/273 - x. Which is smaller: 0 or m?
m
Let m(k) be the first derivative of k**3/3 - 19*k**2/2 - k + 101. Let b be m(19). Is b at most as big as -2/479?
True
Suppose -2*h + x = -4*x + 90, -5*h - x - 198 = 0. Let f be ((-2)/15)/((-36)/h). Let j(u) = -110*u**2 + 439*u + 3. Let g be j(4). Are g and f non-equal?
True
Suppose -h + 6 = x, 0 = -2*h - x + 5 + 12. Suppose -20 = -h*d + 9*d. Let l be (d/(-3) + (4 - 1))*21. Is -6 <= l?
False
Suppose 2*s - 6*s + 428 = 0. Let u be -216*1*(-5 + (-54)/(-12)). Which is bigger: u or s?
u
Let l = -529307 + 529311. Let r = -0.4 + 0.2. Which is smaller: r or l?
r
Let z(y) = y + 17. Let n be z(-15). Suppose 0 = 4*w - 3*g - 44, -4*w = -g - 4*g - 36. Suppose -t + 4*t = -4*m + w, -n*t - 3*m = -9. Is t at most 0?
False
Let j be 6/(-2*5/(-25)*-5). Let o be 6/((-5)/j - (18 - 17)). Which is greater: 15/2 or o?
o
Let j = -19837/9 - -2204. Let t = -7 + 5. Let z be ((-8)/(-4) + t)/2. 