1. Let y be (-44)/(-10) + 4/(-10). Which is smaller: k or y?
k
Let k be 6/(680/(-88) + 8). Suppose -28*n - 6 = -k*n. Are n and -1/4 unequal?
True
Let g(m) = m**3 + 3*m**2 + m - 5. Let h be g(-4). Suppose -8*b + 4*b = -152. Let q = b - 64. Which is smaller: q or h?
q
Let s be 1 + -9 + (0 - 0). Let i(r) = r**2 - 14*r + 48. Let g be i(6). Suppose 21*v - 18*v + 18 = g. Which is smaller: s or v?
s
Let b = -7225 + 7978. Which is smaller: b or 751?
751
Let f = 2966 - 1922. Does -1/3 = f?
False
Let k = 634 - 379. Let s be 5/((258/k)/(-1) - -1). Let q be (-24)/10*s/10. Is q at most 102?
True
Let i = 19 - 21. Let s be 1 + -2 - i - 351/63. Which is greater: -4 or s?
-4
Suppose 16*n - 14*n - 2 = 4*h, -5*n + 4*h + 29 = 0. Let b be 575/45 - 11 - 1/n. Is b less than 1?
False
Suppose 4*i = l - 73, 2*i - 2*l + 30 = -8. Let g(d) = d**3 + 7*d**2 + 6*d. Let q be g(-6). Suppose q = -r + 5*r + 72. Is r at most as big as i?
True
Let x be (-47)/15 + (-12)/(-90) - -265. Let g = x - 262. Are g and -153 non-equal?
True
Let s = -21 + 38. Suppose -16*p + s*p = 0. Suppose -2*i + 122*q = 127*q + 34, -i - 17 = 4*q. Is i less than or equal to p?
True
Let y = 4.166 - -36.834. Is 33 less than or equal to y?
True
Let b = -861.0407 + 861. Let c = b + 0.1407. Which is smaller: -522 or c?
-522
Let r = 1137 + -520. Which is greater: 618 or r?
618
Let p be (18/81 - 1822/18)*-1. Is 95 at least as big as p?
False
Let i be (-30)/(-32)*4*(182/35 - 4). Let q = 0 + 1. Is i at most as big as q?
False
Let q = -1971 - -1972. Let p = -26752/245 - -546/5. Which is greater: q or p?
q
Let c = 329 - 309. Let k(b) = -3*b + 61. Let n be k(c). Which is bigger: n or 40?
40
Let q(v) = 2*v**3 - 46*v**2 - 25*v + 122. Let x be q(19). Which is smaller: -3242 or x?
-3242
Suppose -5*g = -2*n - 7, -59*g + 60*g + 3*n + 19 = 0. Do g and -81/85 have the same value?
False
Let q be (7 - (-76)/(-36))/((-74)/111). Let n = 0.7 - 0.2. Which is smaller: q or n?
q
Let t = -35805/2 - -17400. Which is bigger: t or -503?
t
Let x(l) = -57*l**2 - 210*l - 8. Let a be x(-4). Does -890/11 = a?
False
Suppose -15*t - 2873 = 1627. Which is greater: t or 0.2?
0.2
Let b = 87.69 - 128.12. Let z = 0.43 + b. Which is greater: z or -0.3?
-0.3
Let u be -3*(2/10 + (-224)/120). Suppose -10 = -u*j + 5. Let p be ((-17)/6)/(j + (-36)/8). Is p >= 3?
False
Let n(f) = -f + 1. Let x be n(-2). Let w(p) = 5*p - 20. Let c(m) = m**3 + m - 4. Let a be c(2). Let d be w(a). Which is smaller: d or x?
x
Let q be (11 - 1)/(80/4400). Is q less than 3?
False
Let a be (-28 - -58)*(-344)/42. Does -245 = a?
False
Suppose -x - 5 = -2*f + 31, -68 = 5*x + 6*f. Are -268/13 and x non-equal?
True
Let k(n) = -2*n**3 - 13*n**2 - 4*n - 13. Let x(r) = r**3 - r**2 + r. Let l(y) = -k(y) - 5*x(y). Let t be l(6). Which is bigger: 22/3 or t?
22/3
Let w be (51/(-17))/((-2)/24). Suppose 12 = -v + o + 4, 5*o - w = 4*v. Let y be 6/v*14/7. Is y <= -13/4?
False
Let v = 5261 + 725. Is v less than or equal to 1?
False
Suppose o + 6 + 12 = 0. Let p(i) = -11*i + 70. Let v = 101 - 93. Let b be p(v). Are b and o unequal?
False
Let q be (-12 - -8 - -9)*(3 + -2). Is -70 smaller than q?
True
Let o be 60/(-1)*3/(-102). Which is smaller: o or -1/4?
-1/4
Let u = -24873 - -24671. Let o = 49 + -251. Is o at most as big as u?
True
Let w be ((-2)/(-2))/((-3)/(-15)). Suppose -5 = 4*h + 2*j + 5, -w*h = -2*j - 10. Let d be (-1 + (-95)/(-20))*(-3)/330*2. Which is smaller: d or h?
d
Let x be (112218/885)/((-6)/(-105)). Is 2216 not equal to x?
True
Let k(w) = -15*w - 89. Let u be k(-7). Let l = -7 + u. Is l less than 44/5?
False
Let m = -426 - -286. Let j be 36/4*(4/m - 0). Is -1 > j?
False
Let g(a) = -3*a**3 - 6*a**2 + a - 14. Let i be g(6). Let m be 3 - i/(-120) - (-3 - 1). Are -1 and m nonequal?
True
Let h = -0.697 - -0.158. Let n = h - -0.41. Is 2/7 greater than n?
True
Let m = -13842 - -9821. Is -4022 >= m?
False
Let i(m) = 18*m - 840. Let w be i(19). Is -506 less than or equal to w?
True
Let p = -1520 + 2330. Let i be (2/(-76)*-2)/((-162)/p). Which is bigger: i or -4?
i
Let y be ((-2)/(-6))/(2/(-3)). Let x = -13.0067 + 0.0067. Which is smaller: y or x?
x
Let i(q) = -23 - 9*q**2 - 14 + 2*q**3 + 14*q - 3*q**3 - 7*q**2. Let r be i(-17). Suppose -2*v + 8 = r. Is v at least -7/2?
True
Let v(r) = -r**2 - 42*r + 1431. Let n be v(22). Is n > 9?
True
Let y be (0 - 18/(-51))/(1920/256). Are -0.7 and y equal?
False
Let c = 23 - -4. Let z = -138 - -150. Suppose 182 = -5*q + z*q. Is q at least as big as c?
False
Suppose a = 4*a. Let q(r) = -r**3 + 9*r**2 - 2*r + 18. Let f be q(9). Let h be (1 - f)/(-4 - 13). Does a = h?
False
Let v = -278 + 297. Suppose -4*z - v + 3 = 0, 24 = -2*w - 4*z. Which is bigger: w or -7?
w
Let s = 80.5227 - -0.1773. Let b = -47.7 + s. Which is bigger: 0 or b?
b
Let o be (-2)/(254/50 - (-10)/(-60)*30). Is o at most -412/17?
True
Let y = -183.638 + -14.302. Let r = -198 - y. Which is smaller: -2/31 or r?
-2/31
Let k be -289 + (54 + -12)/(-7). Which is smaller: k or -289?
k
Let r be 1/(1 + 12/(-9)) + 320/140. Is 2/59 at most as big as r?
False
Suppose m + 13*m = 3304. Suppose 13*k = -518 - m. Which is greater: k or -60?
k
Let w be (-105)/((1 - (-4 + 4))/23). Which is bigger: -2416 or w?
w
Let m(p) = -12*p - 445. Let y be m(-37). Are y and 24/275 equal?
False
Let g be (11 - 1300/117) + 570/27. Which is bigger: g or 13?
g
Let w be (-2)/(-3) - -7*(-8)/(-24). Suppose -3*s - i = 1, 0*s + w*i = 5*s - 17. Is s bigger than 8/5?
False
Suppose 6*g + 34 = w + 9*g, 20 = 5*g. Let z(m) = m**2 - 21*m - 19. Let i be z(w). Suppose 3*c + 0 = i*l + 3, 5*c = -l + 5. Which is bigger: -7 or l?
l
Let p(t) = t**3 - 12*t**2 + 12*t - 37. Let u be p(17). Are 1613 and u nonequal?
True
Suppose -5*s - 1068*d + 15 = -1072*d, -s - 26 = 5*d. Are 1/48875 and s equal?
False
Let o = -131.84 - -2957.84. Which is greater: o or -3?
o
Let o(n) = n**3 + 14*n**2 - 53*n + 22. Let b be o(-17). Let f be b*(-9)/90 + (-4)/(-5). Suppose 4*a = -4*i - 36, -i + 4*a = -2*i - 24. Is f at most as big as i?
True
Suppose -43 = -2*b + z, -47*b + z = -49*b + 49. Which is smaller: 25 or b?
b
Let y = 0.0805 - 168.0805. Let j = 65.2 + -65. Which is smaller: y or j?
y
Let s = -51.957 - 0.043. Let j = 4716 + -4664. Let l = j + s. Is 7/6 greater than l?
True
Suppose 0 = -m + 3*f + 417, 3*m + f + 0*f = 1271. Let q = m + -423. Is -2/355 at least as big as q?
False
Let w(o) = -4*o**3 + 4*o**2 + 15*o + 27. Let s be w(-4). Suppose 0 = -11*m - s + 309. Let b(i) = i + 2. Let k be b(-3). Is k at least m?
False
Let t = 1/2472 + -7543/313944. Let p be 34/((-136)/(-8)) + -2. Is p bigger than t?
True
Let v = 13 + -6. Suppose 3*l + 5*h = v, 4*l + 0*h = 3*h + 19. Let z be (-1)/8 - (-1)/l. Is z at least -1?
True
Let w(l) = 8*l**2 + 33 + 7*l - 11*l**2 - 21 + l**3 + 5*l**2. Let v be w(-5). Are v and 1 equal?
False
Let w = -1971 - -1971. Let c be (-4 - 11)/(-5) + (-80)/18. Which is smaller: c or w?
c
Let p = -371 - -357.89. Let o = p + 12.2. Let d = -0.73 - o. Is 2/7 greater than d?
True
Suppose 0 = 4*w - 3*n + 19, -51 = -3*w + 4*n - 74. Is -27/40 <= w?
False
Let o be (-9)/8*(654/(-126) + 5). Let u = 104 - 726/7. Let w = u + o. Which is smaller: w or 1/26?
1/26
Let j(y) = 3*y**3 - 38*y**2 + 18*y + 13. Let q be j(15). Let z be (-4)/(-14) - q/(-14). Let b = z - 134. Which is greater: -3/2 or b?
b
Let q(d) = 391*d + 1. Let r be q(1). Suppose -1153 = -3*i + 669*f - 667*f, i + f = 406. Is i bigger than r?
True
Suppose 200*v - 45200 = 216*v. Is -2825 bigger than v?
False
Let s(l) = -2*l + 1 - 3*l - 4*l + 11*l. Let j be s(0). Let u be 78/330 + 3/(-5) + j. Is 0 >= u?
False
Let o = 12146.38 + -12146. Which is smaller: o or 1/99?
1/99
Suppose -n - 5*z + 36 = 0, -4*z + 36 = n - 8*z. Suppose 5*a = -3*x - n, 16 = -5*x + x + 4*a. Which is smaller: -43/6 or x?
-43/6
Let y(m) = -m**2 - 25*m + 2. Let a be y(-6). Let d be 0 + 1 + a/28. Let j = 598/119 - d. Which is bigger: j or -1?
j
Let s(y) = -y**2 + 8*y - 9. Let n = 50 - 44. Let l be s(n). Suppose -l*b + 5*a - 89 = 29, -2*b = -4*a + 82. Do -31 and b have the same value?
True
Let p be (-23)/(414/(-6)) - (-4)/6. Is p at most -3/865?
False
Let v = 34037008/783 - 43470. Is 1 less than or equal to v?
False
Suppose -929 = -35*a + 34*a + h, 4*h - 1888 = -2*a. Which is smaller: a or 935?
a
Let j be (16 + 3 - 1 - -1) + -3. Suppose j + 1