 smaller: -3 or l?
-3
Let n = -3 - -6. Let i = 25/1221 - -28/111. Are n and i equal?
False
Let p(u) = u**3 - 7*u**2 - 5*u + 21. Let q be p(7). Let d be (-72)/(-126) + (-258)/q. Is d smaller than 19?
False
Let w = -6926 + 6926.9. Which is smaller: -0.336 or w?
-0.336
Let m = 442 - 176. Suppose -3*y + 10*y - m = 0. Suppose -5*f + 48 - y = 0. Is f smaller than 10?
True
Suppose -2*u = -5*v + 25, -5*v - 5*u = -5 + 15. Let d(c) = c**3 - 3*c**2 + 4*c - 9. Let l be d(v). Suppose -3*o - 2 = -2*a - l, -3*a = 4*o - 7. Does 2/67 = a?
False
Let z = -183465/52 - -3528. Let n(h) = -8*h**2 + 60*h - 108. Let p be n(3). Which is smaller: p or z?
z
Suppose 3*w - 2*h + 11 = -h, h + 1 = 0. Let v(c) = 7*c**2 + 2*c - 27. Let f be v(w). Let a = 61 + 16. Is f smaller than a?
False
Suppose 4*d + 204 = -4*l, -l - 51 = 2*d + 3*d. Let x(b) = b**3 - 13*b**2 - 24*b - 142. Let a be x(15). Is a > l?
False
Let r be ((-6)/9 - -1)*(-2)/(10/255). Let m(i) be the first derivative of i**3/3 + 13*i**2/2 - 47*i + 2. Let x be m(r). Which is smaller: 18 or x?
18
Let s(z) = 2*z**3 + 7*z**2 - 10*z - 24. Let o be s(-2). Let k be ((-620)/(-125))/(2/(-710)). Let b = k - -1768. Which is greater: o or b?
o
Let w(q) = 222*q - 234. Let p be w(10). Which is smaller: p or 1985?
1985
Let l = -1936 - -1937. Which is smaller: l or -2/9479?
-2/9479
Let c(t) = 1191*t - 4625. Let f be c(4). Are f and 75 equal?
False
Let n(q) = -71*q**2 + 6*q + 11. Let i be n(-12). Let p = i + 462847/45. Let v = 1/90 + p. Which is smaller: v or -30?
-30
Let h(y) = y**3 - 4*y**2 - 5*y - 30. Let i be h(9). Suppose 12*w - 678 = i. Let g = w + -92. Is -1/2 <= g?
False
Let y be 10/125 + 9/(-75)*617244/(-9). Is 8230 greater than y?
False
Suppose 91 = -4*t - 5*j, -j = 1 + 2. Let s = 25 + t. Suppose -3*n + 2 = 11, 2*v - 4*n = -s. Which is smaller: -8 or v?
v
Let t(b) = b**3 - 34*b**2 + 8*b + 620. Let d be t(33). Is d != -206?
True
Let i(x) = 11*x**2 - 91*x - 452. Let b be i(-6). Is b less than 489?
False
Let r = 69 + -9. Suppose 0 = 69*m - 71*m + 10. Suppose -60 = -z - 0*z + m*v, v + 180 = 3*z. Is z != r?
False
Let z(m) = 2*m + 1. Let w(h) = 4*h + 1. Let q(x) = -6*w(x) + 11*z(x). Let f = -159 + 163. Let g be q(f). Is g >= -2?
False
Let z = 23 - 31. Let a be (65/z + 4)/3. Is -2 greater than a?
False
Suppose -3*j - 579*p = -582*p + 21, -4*j + 5*p = 34. Is j greater than 8/5857?
False
Let n = -99 + -29. Let h = -125 - n. Let o be (-2)/3 + 14/3. Which is smaller: o or h?
h
Suppose 0*v - 21*v = v - 45562. Is 2070 < v?
True
Let x(g) = -g**2 - 10*g - 14. Let a be x(-6). Suppose -3*o - 8 = -q + a, 0 = -3*q + o + 46. Let k(c) = -2*c + 31. Let l be k(q). Is 1/28 greater than l?
False
Suppose 2*n = -4*g - 542, -2*n - 64*g + 59*g - 543 = 0. Is -271 <= n?
True
Let c be 126/33 + (-14)/(-77). Suppose c = -i - i, -1963 = 5*q + 4*i. Which is greater: q or -390?
-390
Let v = -6195 - -5315. Which is greater: -881 or v?
v
Let y(p) = -p**2 + 6*p + 1. Let w be y(7). Let i be (4/(-15))/(w/(-15)). Let l = -196 - -194.5. Which is bigger: i or l?
i
Let l be -8 + (-12)/(-3) + 14/((-224)/(-124648)). Which is bigger: 7786 or l?
l
Let m = 1.68 + 0.02. Let n = 1.4 - m. Let f = -392 - -5878/15. Which is greater: n or f?
f
Let a = -5485755887/10094 - -543467. Let z = a - -193138/1075011. Let o = z + -1/71. Is 1 at least o?
True
Let s = -69 + 68.926. Suppose -13*q + 12*z - 17*z = -17, -4*q + 2*z = 16. Is s smaller than q?
False
Suppose -5*n + 298*u = 282*u + 366, -16 = n + 2*u. Let t be 2*(-2)/4 + -43. Which is smaller: n or t?
t
Let s be 96/80 + (-966)/800. Let k = s + -2247/400. Is -5 at least as big as k?
True
Let w = -66421/135 + 492. Suppose -9*t + 2*t = -t. Are t and w unequal?
True
Let k(o) = -2*o**2 - 99*o + 826. Let l be k(8). Are l and -98 equal?
False
Let c = -55742 + 55742. Let s = 0.1 - 7.1. Which is greater: c or s?
c
Let m = 4550 - 4559. Which is smaller: -20 or m?
-20
Let m(y) = y - 1. Let x be m(0). Let h be (-65)/(-212) + x/4. Suppose 0 = -1072*l - 741*l + 2583 - 770. Is l >= h?
True
Suppose 2*u - 3*l - 1 = 0, 6*l = -5*u + 2*l - 9. Suppose v - 5*v + 140 = -4*q, 0 = 4*q - 5*v + 145. Let g be (-2)/(-2) + (3 - q/(-8)). Is g <= u?
False
Let k(m) = m**2 + 7*m - 77. Let i = 199 + -212. Let o be k(i). Which is greater: o or -2/149?
o
Suppose 4*y = s + 35, 2*s - 11*y + 8*y = -45. Let d be ((-48)/80)/(3/s). Is d greater than -2/5?
True
Let s = 1106 - 1110. Let o = 5.6 - -1.4. Let v = o + s. Which is greater: v or 2?
v
Let k be ((-9)/(-15))/((-40)/(-75)). Let q be 6*3/(-18)*0*(-3)/12. Which is smaller: k or q?
q
Let d(f) = f**3 - 7*f**2 + 4*f - 33. Let x be d(7). Let u(k) = -5*k + 1. Let c be u(-7). Let g be (9/c)/(2/(-36)). Is x > g?
False
Let d = -13670 - -13638. Which is greater: d or 64?
64
Suppose -5*t - 4*l - 11 = 0, -3*t - 3*t = 3*l + 15. Let a(m) = -2*m**2 - 11*m - 29. Let n be a(t). Is n at most 1?
True
Suppose 48*i - 52*i = -20, 0 = -b - 7*i - 159. Is b less than -193?
True
Suppose l - 44 - 46 = -d, -4*d = 5*l - 452. Suppose 7*i - 25 = 2*i, 3*i = -5*f - 5. Let y = l + f. Is y equal to 88?
True
Let c = 21591 + -21432. Which is bigger: 30/17 or c?
c
Let x be (-13)/(4/((-36)/3)). Let a = x - 25. Suppose 38*h = 32*h + 90. Is a at least h?
False
Let h = -434.332 + -0.168. Let g = 434 + h. Which is greater: -0.08 or g?
-0.08
Let g = -197 - -196. Let p = -57.9 - -55. Let w = p + 1.6. Which is greater: w or g?
g
Let m = -3.236 - 0.064. Let z = -3.1 - m. Is 0 at least as big as z?
False
Suppose 0 = 4*l - 13*b + 15*b + 1164, -l - 4*b - 270 = 0. Does -585/2 = l?
False
Let f be (10 - 5895/594)*452/10. Let d = f + 39/55. Which is greater: d or 3?
d
Let s(k) = -3*k + 17*k**2 - 4*k**2 - 10*k**2 + 16*k + 109. Let u be s(-10). Which is bigger: u or 281?
281
Let q = -4/269 - -4324/1345. Let h be -7 + 16/(-8) + 7 - -4. Which is bigger: h or q?
q
Let n = -193 - -195.08. Let r = 0.08 - n. Is 7/4 < r?
False
Let f be 2*((-4)/(-1172) + 0). Let l = 216/117493 - f. Let i = -5197/3208 + l. Which is smaller: i or -3?
-3
Suppose -10*k - 26282 = 28*k + 32808. Which is smaller: -1560 or k?
-1560
Suppose 7*u - 3*u + 4 = 0. Let q = -1296722/45 + 28816. Which is smaller: q or u?
u
Let b be (-8 - -1 - (115 + -202))*-1. Are -80 and b non-equal?
False
Let p = -37 - -35. Let y(j) = 32*j**2 + 2*j. Let x be y(-1). Let s be x/35 - (p - 0). Is 1 greater than s?
False
Let h be ((-12)/12186)/(4/6). Let t be ((-12072)/2031 + -4)*2/(-76). Let s = h - t. Which is greater: s or -1?
s
Let y = 7504 + -45179/6. Let f = -62 + 37. Which is smaller: f or y?
y
Let j = 39874 - 36575. Is j at least 3301?
False
Suppose 31*o + 60580 = -366879. Do -13787 and o have the same value?
False
Let u = -2051 - -2052. Which is smaller: -919 or u?
-919
Let p be (-75)/(-24) + (-609)/174. Which is smaller: p or 7?
p
Let h = 55 + -50. Suppose -4*q = 3*b - 26, -6 = -h*b + q - 1. Let r be (-102)/(-165) - (-2)/10. Does r = b?
False
Let q be -2*(-55)/10 + -11. Suppose 58*r - 54*r - 7 = -b, q = -b + 4*r - 9. Let f = -5715/451 + 141/11. Which is smaller: b or f?
b
Suppose 12 = 2*k + 2*j + 2*j, k + 8 = 5*j. Suppose 3*a + 2*o = 41, -5*a = -k*a + 3*o - 42. Suppose -u - 25 = -p + 2*u, 4*u + 10 = -p. Which is smaller: a or p?
p
Let b(l) = l - 8. Let r be b(6). Suppose f - 2*i + 5 = 1, 3*f = 2*i. Let c be f*(-9)/((-72)/(-5)). Which is greater: r or c?
c
Suppose -5*m + 25 = -0*m. Suppose 5*z - 4*v = -v + 23, 5*v - 15 = -m*z. Suppose -4 = -t - q, -q + 2 + 8 = z*t. Which is smaller: 2/3 or t?
2/3
Suppose 13 = -5*r - 7. Let d be r + 6 + 159/(-75). Which is smaller: d or 0?
d
Let d be 485/(-388)*(-36)/15. Let n be -36*(1 + 14/(-4)). Suppose -d*f = -9, 3*s - f = 4*f - n. Are -24 and s equal?
False
Let h be 6/((-60)/(-55))*2. Suppose v - s = -h, 3*v = 5*v - 5*s + 28. Let o(y) = -2*y**2 - 17*y + 11. Let i be o(v). Does i = 12/5?
False
Suppose -9436 - 2106 = -3*r - 5*n, 10*r - 38450 = -5*n. Is 3844 smaller than r?
False
Let x be (36/(-42))/((-15)/385). Suppose x*b - 100 = 20*b. Which is smaller: 48 or b?
48
Suppose 320*r - 95 = 315*r. Let t be r/(-209) - (-4)/44. Let y = 1/1273 + -1397/157852. Which is greater: t or y?
t
Let p(m) = 253*m + 1026. Let r be p(-4). Which is smaller: 25 or r?
r
Let p = 27.5 - 195.5. Let k = p + 168. Is k >= 2/149?
False
Suppose 4*n + 268 = -92. Let r be (-66)/n + (2 - 1)/(-3). Is -44/5 greater than r?
