482. Which is greater: m or 1259?
1259
Suppose 5*b = -25, -5 = -3*y + 18*b - 17*b. Let r(x) = -x**3 + 5*x**2 - 1. Let o be r(5). Let w be 3 + o + 0 + -6. Which is greater: w or y?
y
Let l(n) = -14*n - 3. Let j be l(1). Let q(h) = -h**3 - 18*h**2 - 17*h + 8. Let u be q(j). Is u not equal to 8?
False
Let y = -5 + 4. Which is smaller: y or -3/43?
y
Let n be 10 - -2 - 8 - 36/10. Is n greater than -0.5?
True
Let l = -30 + 152/5. Let z = -68.027 + 68. Let f = -0.003 + z. Which is bigger: l or f?
l
Let c = 26.905 - 27. Let f = c - 39.905. Which is smaller: 1 or f?
f
Suppose 2 = -2*d + 14. Let v = 4 + d. Let c = 15 - v. Which is greater: c or 4?
c
Let b = 22/3 + -8. Suppose 0 = -p + 5*z - 18, 4*p + 3*z + 0*z + 3 = 0. Let d = p + 2. Which is greater: b or d?
b
Let p = 6 + -4. Let y = -5 + p. Suppose 10 + 38 = -24*w. Is y <= w?
True
Let b be (2 - 3*(-28)/(-36))*105. Which is smaller: -34 or b?
b
Let c be (-21)/(-5) + 2/(-10). Let h = -3 + c. Let p be (18/(-75))/(((-12)/15)/(-1)). Which is smaller: h or p?
p
Let a = -339 + 359. Which is greater: 22 or a?
22
Suppose 117 = 4*b - b. Which is smaller: 38 or b?
38
Suppose -242 = -4*f + 190. Let w = f + -110. Suppose 0 = -0*m + 5*m. Is m <= w?
False
Let g = 0.088 + -66.088. Let n = g - -74. Are n and -2 nonequal?
True
Let k(n) = -3*n - 7 - 12*n - 5*n**2 + 6*n**2 + 0*n**2. Let i(w) = -6*w - 8. Let g be i(-4). Let f be k(g). Which is smaller: 11 or f?
f
Let r be (5 + (-3)/1)*13/(-26). Which is greater: 4/187 or r?
4/187
Let b(r) = r**3 - 2*r**2 + 7. Let j(z) = -3*z + 14. Let n be j(6). Let o be b(n). Is o greater than -89?
False
Let s(k) = k**2 + 5*k + 2. Let h be s(-5). Suppose 0 = -z + p + p - 5, h*z + 2 = 2*p. Let u be z/(2/(-8)*2). Is -4 <= u?
False
Let g be (10 + -13)*(-4)/6. Suppose 22 = g*t - 4*y, -4*y = 4*t + t + 15. Do 0 and t have the same value?
False
Let n = -102 + 25. Let d = 537/7 + n. Let o be -1 - (7/6 - 3). Which is smaller: d or o?
d
Suppose 5*h - 3*f + 0*f = 57, 3 = -h - 3*f. Is h <= 14?
True
Let p(b) = b - 71. Let n be p(12). Which is smaller: n or -61?
-61
Suppose 0*w + w - 2 = 0. Let h be 20/24*3*w. Suppose -h*q = -35 + 10. Is q not equal to -0.1?
True
Let o = -0.81 + 0.01. Let a = -0.087 + -0.113. Let x = o + a. Which is bigger: x or 0?
0
Suppose -24*k + 35*k - 44 = 0. Which is bigger: k or 23?
23
Suppose -5*s - 7*m - 335 = -3*m, 4*s = 2*m - 242. Which is smaller: s or -57?
s
Let f be 24/(-40)*15/(-9). Which is bigger: 2/125 or f?
f
Let m be (-3)/9 - (899/3 + 2). Is -301 > m?
True
Suppose -6*r - 393 = 537. Is r greater than -154?
False
Let f be 30/36 + 6/36. Is f smaller than -1001?
False
Suppose -153 + 33 = 4*l. Let j = -29 - l. Do j and 1/90 have different values?
True
Let c be (1 - (-15)/(-2))*(15 + -7 + -10). Let x be (-3)/12 + (-94)/(-8). Are c and x unequal?
True
Let a be ((-126)/14)/((-1 + 3)/(-2)). Let u(c) = -c**3 + 7*c**2 + 18*c. Let d be u(a). Is -2/35 not equal to d?
True
Let p = 38294/25 + -1532. Let v = 120 - 122. Do v and p have the same value?
False
Let c be 53*(-7)/((-42)/(-18)). Is c smaller than -158?
True
Let u = 10748 - 10749. Let g = 0.5 + -0.3. Is g smaller than u?
False
Let i = -85/12 + -247/60. Is i equal to -0.1?
False
Let j be (7/(-3))/(14/(-6)). Which is bigger: 2/285 or j?
j
Let b = 1798 + -16183/9. Is -1/21 >= b?
True
Let r = -1.032 - -3.032. Which is bigger: -0.024 or r?
r
Let k = 115 - 109. Let a(u) = -u + 3. Let l be a(0). Which is smaller: l or k?
l
Let l = 32 - 33.6. Are 2/9 and l equal?
False
Suppose -13*d - 4*d = -561. Is 163/5 smaller than d?
True
Let y(i) = -8*i - 10. Let q be y(-5). Do q and 21 have different values?
True
Let q = 3 + -3.1. Let s = -6.533 + 9.51. Let z = 0.023 + s. Are q and z unequal?
True
Let h be 42/63 + 25/3. Suppose 6*a = 3*a + h. Which is smaller: a or 4?
a
Suppose 8*r - 20*r - 2076 = 0. Which is smaller: r or -174?
-174
Let s = 53 + -33. Let j(k) = 3*k + 6. Let l be j(-7). Let f = s + l. Which is smaller: 14/3 or f?
14/3
Let k(j) = -j**2 - 7*j + 4. Let v be k(-5). Suppose 98 - v = -4*y. Is y greater than or equal to -22?
True
Let p be ((-35)/10)/((-2)/((-24)/(-2))). Let h = 3 - -21. Is p at least h?
False
Suppose 0 = -4*q + 2*b - 8, 2*q + 2*q + 3*b = 12. Do 1/185 and q have the same value?
False
Let z = 23 + -24. Let a be z/3 + (-56)/12. Suppose -6 = -5*m - 36. Which is smaller: a or m?
m
Let j be (10/4 - 2)*-26. Suppose 0 = 3*s - s + 96. Let x be (5/(-10))/((-2)/s). Which is greater: x or j?
x
Suppose -7*x + v - 654 = -8*x, 2*x + 4*v = 1304. Is 655 less than x?
True
Suppose -2*t - 5*m + 2 = 0, m = -4*t + 5*t - 15. Suppose 30 = 5*z - 5. Suppose z*n - 20 = 5*n. Is t less than n?
False
Let f be -2*1 - (-16)/40*5. Let c be (-2)/(-4)*f*(-6 - -5). Does 12/19 = c?
False
Let d be 1 - 7/10 - (-10990)/(-36700). Which is smaller: d or 1?
d
Let a = -36.48 + 0.48. Is a equal to 6?
False
Let g = 65.51 + -0.51. Let d = g - 64.94. Is 0 at most d?
True
Let k = -0.48 - -0.57. Let g = k + -0.12. Is g bigger than -2?
True
Let k(c) be the second derivative of -c**3/2 + 3*c**2/2 - 6*c. Let f be k(1). Let y be 2/(-6) + 6/(-9). Which is smaller: f or y?
y
Let h = -0.2 - 0. Let m = -0.053 - -2.253. Let l = h + m. Is l > -0.1?
True
Suppose a = w - 44, 0 = -3*w - a + 131 - 3. Let p(v) = -9*v + 5. Let d be p(-4). Which is smaller: d or w?
d
Suppose 4*o + 44 = -2*t - 42, 4*t = -12. Is o > -20?
False
Let p(g) = g**2 - 8*g. Let y be p(6). Let o be (20/12*-3)/(2 + -1). Let x(v) = -v**2 - v + 7. Let b be x(o). Which is bigger: y or b?
y
Let z = 30 - 28. Let w = 3 + -4. Let a be w*(-1)/(z/10). Which is smaller: 6 or a?
a
Let l(c) = -2*c**2 + 10*c + 167. Let a be l(-7). Which is smaller: a or -10/371?
a
Let f(w) = w**2 + 2*w - 2. Let d be f(3). Let k be 1*4 + (6 - 9) + -12. Let o = k + d. Is o < 2?
False
Let t be (3 + 514/(-170))*(9 - -26). Which is bigger: 0 or t?
0
Let u = -0.02 + -0.08. Which is smaller: 19/15 or u?
u
Suppose -5*c = 5*p - 65, -5*p = 4*c + 25 - 90. Let f = 12 - p. Is f greater than 1/8?
False
Let t be 0/((-9)/3) + 3. Suppose 7*a - t*a + 5*f = -6, a - 3*f = 7. Is -1/37 less than a?
True
Let z(d) = -d - 4. Let p be z(-7). Suppose -24*v + 224 = -8*v. Let c = p + v. Is c less than 17?
False
Let o = 63 + -14. Is 5 smaller than o?
True
Let f(w) = w**3 - 10*w**2 - w + 6. Let x be f(10). Let b be 3 - 3 - 266/49. Is b greater than or equal to x?
False
Let n = 0.0542 - -92.9458. Which is smaller: n or -0.3?
-0.3
Suppose -3*v = 4*u - 85, 0 = 17*v - 15*v + 2*u - 60. Which is smaller: 26 or v?
26
Let q be 7 + -1 + 15/(-3). Is 2/9 greater than q?
False
Suppose 43 = -5*g - 132. Let h be 887/(-24) + 37/(-888). Which is smaller: h or g?
h
Let s = 6173726/17 - 363744. Let h = s - -584. Which is greater: h or 1?
1
Let a = 329 + -366. Is -36 less than or equal to a?
False
Let i be 27/((-98)/35 - -3). Which is greater: 134 or i?
i
Let o = -1780 - -1693. Which is smaller: -86 or o?
o
Let o = -291.5 + 292. Which is bigger: o or 31?
31
Let u be (-16)/8*(1 - -2) + 509. Which is bigger: u or -1/4?
u
Suppose 6*v - 13 = -1. Suppose 4 = v*u - 6*u. Let y = 1/151 - -142/1359. Is y at least u?
True
Let y(l) = 2*l - 3. Let c be y(7). Suppose -c*u = -9*u - 12. Which is smaller: u or 5?
5
Let x = 0.52 - 0.5. Let k = -0.13 + x. Which is smaller: 1 or k?
k
Let i = -10150/27 - -376. Let d = 46 + -47. Let o be d/(-3)*(-18)/6. Which is smaller: o or i?
o
Suppose 4*k + 3*i - 480 = 0, 2*k + i - 134 - 104 = 0. Is 115 equal to k?
False
Let n(q) be the third derivative of q**6/120 + q**5/30 - q**4/8 - q**3/6 + 4*q**2. Let x be n(-3). Let a be (4 - -3 - 3)/x. Is -3 not equal to a?
True
Let v = -607/13 - -69055/1482. Let w = v - -599/38. Is 1/4 >= w?
False
Let v be (-16)/(-2*3/36). Suppose 19*o = 22*o - v. Is o bigger than 32?
False
Let b = 25661/2310 + -111/10. Let j = -5323/1155 + b. Is j != -4?
True
Suppose 2*y = -5*i + 6, -3*i + 4 = -2*i - y. Let h be 6*(24/9 - 0). Suppose -2*p + h = i*p. Is 4 <= p?
True
Let a = -2010 + 4099/2. Which is bigger: 41 or a?
41
Let q be (16 + (-6 - -4))/2. Let k = q + -7. Suppose k = -12*l + 5*l - 70. Is l equal to -10?
True
Let c be ((-52)/(-8) - 6)*74. Is c <= 35?
False
Let p(a) = a**3 - 3*a**2 + a + 1. Let w(t) = t**3 + 5*t**2 + 4*t + 2. Let k be w(-4). Let b be p(k). Is -3/14 greater than b?
True
Let g = -0.24 - -0.14. Let d = -45 - -16. Are g and