2. Which is smaller: y or 1128?
1128
Suppose 4*n - 5*y = -14, 6*n - 2*n - 3*y + 10 = 0. Let h(r) = r - 4. Let w be h(-2). Let b be (-8)/w*(-6 + (-2154)/(-360)). Which is smaller: b or n?
n
Suppose -6 = 3*o, -2*z + 6*o - 3*o = -4. Which is smaller: z or -2/15627?
z
Suppose -z - 2*k - 118 = 0, 108*z - 111*z = 3*k + 351. Is z less than or equal to 16?
True
Let a be (-30)/8 - (-5)/(-20). Let p be (2252/(-16) + a)*4/(-3). Is p at least 194?
False
Let p(x) = -x**3 - 13*x**2 + 11*x - 30. Let l be p(-14). Suppose 2*s - 3 = 7*s - o, 0 = -5*s + 4*o - l. Suppose 4*z - 49 - 11 = s. Which is bigger: 44/3 or z?
z
Suppose 604*g - 603*g = 0. Let b be (-69)/75*-2 + -2. Which is greater: b or g?
g
Let d = 650/1239 + -79/413. Which is smaller: 3887 or d?
d
Let f(z) = -5*z - 8. Let h = 41 + -43. Let y be f(h). Suppose -4*a + 11 + 17 = y*m, 3*a + m = 21. Is a less than or equal to 7?
True
Let n(p) = -p**2 - 7*p - 22. Let y be n(-9). Let f be 8 + 5/(y/72). Does f = 3/113?
False
Suppose 20 - 18 = 2*c. Let u(g) = -10*g**2 + 2*g - 8. Let y be u(-8). Let v = 149401/225 + y. Which is smaller: v or c?
v
Let y be (-27578)/(-395676) - 38*(-49)/(-26999). Which is smaller: y or -1?
-1
Let p(x) = -x + 10. Suppose 168*u + 60 = 173*u. Let y be p(u). Let d be (5/115)/(-1 + 33/36). Which is greater: d or y?
d
Let w = 1695 - 1694. Is w >= 23/17?
False
Let o = 2/19185 - -140636/517995. Which is greater: o or 0?
o
Let v = -7397 - -5717880/773. Let g = v + -720/40969. Suppose x - 5 = 4*k, -5*x - 12 = 4*k - 13. Is k at most as big as g?
True
Let w = 18 - 14. Suppose -5*v - 20 = z, z + w*v + 16 - 1 = 0. Suppose -z*u + 9*d - 7*d = -10, d = -u - 5. Which is smaller: -6 or u?
-6
Let d = 2 + 39. Suppose 0 = -2*j - 5*y + d - 4, 4*y - 26 = -j. Suppose -m = j*m. Which is smaller: m or -6/17?
-6/17
Let k(y) = -y + 13. Let j be k(11). Let t = 57 - 54. Suppose -4*l = j*g - 68, t*g - 7*g - 16 = 0. Is l smaller than 19?
False
Let m = 339 - 459. Let d = m + 124. Does d = -34?
False
Let j = -1218/49781 - 4/743. Which is smaller: j or 153?
j
Let z be (1/(-2))/(407/2). Let k(x) = -x**3 - 80*x**2 + 94*x + 1052. Let t be k(-81). Which is smaller: z or t?
t
Suppose -2*n - 186*s - 6 = -191*s, -n - 5*s = -12. Let w = -1922 - -25006/13. Which is smaller: n or w?
w
Let i = 7734 - 7734. Which is greater: i or 3/7172?
3/7172
Suppose 0 = 2*m + 2*w - 3*w - 1189, -2*m = 2*w - 1198. Let y = m - 602. Is -7 not equal to y?
True
Let z(o) = 21*o + 2576. Let i be z(-106). Which is bigger: i or -6?
i
Let x(w) = -242*w + 1484. Let o be x(6). Do o and 5/33 have different values?
True
Let u = -1923 - -1943. Let s be (-11 - -10)/((-1)/(-4)). Which is smaller: s or u?
s
Suppose -6556 = 47*s - 2614 + 4800. Is -201 greater than s?
False
Suppose 0 = -132*k + 9080 + 6232. Which is greater: 140 or k?
140
Let k = -15.963 - -16.163. Which is bigger: -1271 or k?
k
Suppose 1357*v + 10 = 1356*v. Let o be 118*(-2 - 35/v - -2). Is o smaller than 413?
False
Let v be (-5583)/30*5*(-1)/(-102). Let d = v + 182/17. Which is bigger: d or 2?
2
Let o = -10505792/261 + 40252. Let c be (-3)/15 - ((-29292)/(-1740) + -17). Let y = o + c. Is -1 > y?
False
Suppose 19*b - 15*b = -4, 5*c + 2*b = 3. Suppose 3*y + 178 + 164 = 0. Let s = -1483/13 - y. Which is smaller: s or c?
s
Suppose 31*f + 2*n = 33*f + 7022, 4*f + 4*n = -14084. Which is greater: f or -3513?
-3513
Let x(k) be the first derivative of k**5/30 + 11*k**4/12 + 31*k**3/3 - 32. Let w(u) be the third derivative of x(u). Let s be w(-8). Is -9 > s?
True
Let x = -0.616 - -0.6326. Let k = -0.0834 - x. Which is smaller: k or -6/13?
-6/13
Let b = -0.2169 + 3.2169. Are -43.88 and b equal?
False
Let b = 3719.29 + -3719. Let f(w) = w + 13. Let q be f(-13). Which is smaller: q or b?
q
Suppose 8*c = 5*c + 9. Let g(k) = k**3 - 5*k + 2. Let j be g(c). Let q = 15 - j. Is -1/5 at most as big as q?
True
Let q be (-16)/20*2*((-344)/32 + 11). Let d = 4 - -2. Let h = -11 + d. Which is smaller: h or q?
h
Let r(d) = 5*d - 20. Let j(f) = f - 1. Let c(h) = 6*j(h) - r(h). Let v be c(-6). Let l = -20 + 28. Is l not equal to v?
False
Let t = 490.4 + -491.4. Which is greater: -10/1101 or t?
-10/1101
Let a = -879.63 - -875. Let p = 4.47 + a. Are -18 and p unequal?
True
Suppose 0 = 3*l + 372 + 294. Which is greater: -221 or l?
-221
Let g be (2 + (0 - 0))*99/3. Let r = -63 + g. Let k be (-9)/2*-3*16/108. Which is smaller: k or r?
k
Let s = 29709/2320 - 205/16. Which is bigger: 2 or s?
2
Let s be ((-21)/(-2))/((-48)/128). Suppose -2*k = k - q + 4, 8 = -2*k - 2*q. Let n(p) = -8*p**2 - 4*p - 4. Let h be n(k). Is s smaller than h?
False
Let f be 1398/828 + (-2 - 0). Let g = f + -1/46. Let m = 0.18 - 10.18. Are m and g equal?
False
Let o = 52 - 243. Let y = 6853/39 + -14296/39. Let g = o - y. Which is smaller: g or 3?
g
Suppose o + o = 576. Let x = -7.8174 - -6.8174. Which is smaller: x or o?
x
Let j be -2*(-7)/77 + (-6990)/(-33). Let z be 13/(-78) + (-2)/j*-17. Which is smaller: z or 1?
z
Suppose l = -9 - 6. Let t = 37 + l. Let q = t + -21. Which is smaller: q or 2?
q
Suppose 57308 = 105*f + 3338. Is f smaller than 512?
False
Let t = -73 - -118. Let k = t + -47. Let m be k/(-10) - (4 + (-615)/175). Is 1 <= m?
False
Let h be 2600/(-65) - 1*3. Let z(g) = -8*g - 340. Let v be z(h). Is v greater than or equal to 28?
False
Let j(s) = 20*s**2 - 53*s + 3. Let t be j(2). Is -57 equal to t?
False
Let o be -21 + 78/7 + 63/(-441) + -7. Let i(l) = 19*l + 1. Suppose -2*m - 5 = 3*m. Let g be i(m). Does o = g?
False
Let r be -4 + (21/(-273))/(2/(-6)). Let j = r + 53/13. Suppose s + 7 = 4*h - 0*s, -6 = 2*s. Is h at least j?
True
Let x be (3/(-36) + 250/(-200))/((-4)/18). Is x not equal to 29/4?
True
Let z = -0.089 - 1.512. Let m = z - -0.201. Which is smaller: m or 3?
m
Suppose -4*s = 3*y - 3005, 7*s - 5*y = 6*s + 734. Let w = s - 12739/17. Let u(z) = z + 6. Let f be u(-6). Does f = w?
False
Let f(t) = -t**2 + 16*t - 24. Let g be f(14). Suppose -g*u = -5*l + 2*l - 10, 0 = -2*l + 2*u - 6. Let a be ((-12)/(-16))/(l/32). Is a less than -1?
True
Let o be 21/14*6 + -6. Let i = -4 + 4.4. Let r = 5.6 + i. Is o <= r?
True
Let u be ((-22)/4)/((-7458)/(-1496) + -5). Is u smaller than 3?
False
Let f be 8/7 + 2/(-7). Let y(p) = 5*p + 12. Suppose -483*g + 484*g + 2 = 0. Let l be y(g). Is f at most l?
True
Let d(w) = w**2 + 13*w + 33. Let m be d(32). Let a = m + -1458. Suppose -34 = -5*z - 4*i + 44, 4*z - 50 = 3*i. Is a bigger than z?
True
Suppose -2*j - 2577 = 5*v, 4*v + 1 = 5*v. Let t = 116191/90 + j. Which is smaller: 2 or t?
t
Suppose g - 32 = 2*p, 2*p - 4*g + 56 = -2*p. Is -13 equal to p?
False
Let k = -53.81 - -54. Let i = k - 0.09. Let j be 5/(-10) + (-150)/4. Which is bigger: i or j?
i
Suppose -89*l + 42*l = 1833. Which is bigger: 0.8 or l?
0.8
Suppose -n - 44 + 2 = 0. Suppose 0 = -151*g + 162*g - 418. Suppose -4*l = j + g, -5*j - 112 - 94 = 4*l. Is n smaller than j?
False
Suppose 0 = w - 0*w. Let f be (-28)/(-16)*((-24)/(-9) - w). Let p = -25/6 + f. Is p at most -13?
False
Let l = -253 - -256. Let s be (-6 + (-260)/(-44))*(-69)/l. Is 2 at most as big as s?
True
Let l(c) = -2*c**3 - 46*c**2 + 49*c + 27. Let p be l(-24). Suppose 3*g + 54 = 3*t, -t = -p*g + 7*g + 2. Is t at most as big as 152/11?
False
Let j = -1174 + 1021. Let y(z) = -16*z - 9. Let g be y(9). Is j less than g?
False
Let q(b) = 4*b**2 + 29*b - 14. Let p be q(8). Which is smaller: 0.2 or p?
0.2
Let r = -22 - 4. Let u = 63087 - 630873/10. Is u != r?
True
Suppose 16 = -t + 5*i, 2*i + 0 = -2. Let o be (56/(-98))/(54/t). Are o and -0.066 equal?
False
Suppose 4*r - 5*t = 72 + 25, 0 = 4*t - 12. Suppose -5*k + 23 = -r*k. Which is greater: -3 or k?
k
Let z = 14389/2 + -7194. Is z greater than 411.3?
False
Let o(z) = z**2 + z - 10. Let k be o(-4). Suppose -k = -8*i - 114. Suppose 4*j = 5*j + 1, -5*a = -5*j + 65. Is a at least as big as i?
True
Suppose v = 3*x + 30, v + 4*x - 16 - 21 = 0. Let a = -16 - v. Is a at least -49?
True
Let c = -298/141 + 301538/705. Are c and 426 equal?
False
Let n = -3219 - -3218.4. Which is greater: n or -55/2?
n
Let f(l) = l + 4. Suppose -5*u + 4*r + 6 = 0, -3*u + 10 = -3*r - r. Let q be f(u). Let i be (-1)/(-1) + (-5 - (-99)/(-11)). Which is smaller: q or i?
i
Let u = -118.112 - -118. Let g = u - 0.188. Is g bigger than 1?
False
Suppose a + 3*k - 52 = 0, -k -