*n - 1170 = 0. Let q be (-17)/51 + 23/n. Let i = -16 + 15. Is i <= q?
True
Let w be -3 - (5982/(-4) + ((-36)/(-18) - 3)). Is w equal to 1495?
False
Let s(j) = 20*j - 107*j**3 - 12*j**2 + 62 + 106*j**3 + 6*j + 39*j**2. Let c be s(28). Suppose c*x = 11*x + 5. Which is greater: x or 1/7?
1/7
Let c = -329.06 - -333. Let x = c + -3.64. Which is smaller: x or 0.06?
0.06
Let j be ((-1910)/(-60) + 1 + -8)/((-8)/(-6)). Is 19 at least as big as j?
True
Suppose 4*p - 1458 = -j, 0 = -12*p + 9*p - 4*j + 1074. Is -0.04 greater than or equal to p?
False
Let m(f) = 10*f**2 + 9*f - 6. Let g be m(2). Suppose 49*v = g*v. Which is smaller: -2/45 or v?
-2/45
Let f = -195.5493 - -195.1. Let o = f + 0.0493. Is -33 less than o?
True
Let f(a) = -a**3 + 2*a**2 - 18. Suppose -21 = -3*v - 3. Let k be f(v). Let h be (k/360)/(1/4). Which is greater: h or -1?
-1
Let t = -8716 - -8679. Does -42 = t?
False
Let k be 20/((-15)/(-3)) + (-4 - -2) + -502. Which is smaller: k or -521?
-521
Let c = -3253 + 6371. Is c < 3118?
False
Let b(m) = m**3 - 10*m**2 - 33*m - 29. Let a be (1 + 17)/3 - -4. Let h be b(a). Which is smaller: h or -360?
-360
Let k be (-4)/10 + (108108/110)/7. Which is smaller: k or 138?
138
Let w = -547 + 547. Suppose 4*p + 6*p - p = w. Let k = 5 - 0. Which is greater: k or p?
k
Let i be 2 + 3/((-18)/(-12)) - 1. Suppose -v - 4*d + 6 = 0, -2*v - 13 = -7*v - i*d. Does 59 = v?
False
Suppose -4*z + 27 = -2*z - 5*w, 0 = -3*z - 4*w + 6. Suppose -242 + 128 = z*o. Which is bigger: o or -13?
-13
Suppose 39 = q - 13. Let c be -4*(1 + (-3)/4) + q. Let l = c - 52. Is -4/5 greater than or equal to l?
True
Let n be 1157240/21040 + -49 - ((-2)/2 - -7). Let j(k) = -k**2 - 6*k. Let r be j(-6). Is r less than or equal to n?
True
Suppose 4*r = -3*l - 6, 5*l - 3*r = -r + 16. Suppose -7*h = -16 + l. Suppose -3*g + 71 - 1 = -4*a, h*g = 5*a + 84. Is a < -15?
True
Let v be (8/(-16))/((20/528)/5). Suppose -11*q - 74 = -9*q. Let u = q - 30. Which is bigger: u or v?
v
Let z = 19193801/735 + -26114. Which is smaller: 1 or z?
z
Let g = -83/3 - -28. Let b = 217.169 + -0.969. Let u = 216 - b. Which is greater: g or u?
g
Suppose 97*g = 85*g - 3120. Are g and -264 equal?
False
Let w(j) = -2*j**2 + 7*j + 5. Let y(l) = 8*l**2 + 6*l - 7. Let r be y(3). Let t = -79 + r. Let v be w(t). Which is smaller: v or 9/4?
v
Let c = 15 + -33. Let y be (-2)/7 + c/(-14). Suppose -4*w - 2*h + 36 = -6*h, -h = -5*w + 37. Which is greater: y or w?
w
Let d be (-73185)/(-476294) - (1 + (-11)/13). Let u = 52273/350678 - d. Is u at most as big as 1?
True
Let c = 36053 - 36053.067. Which is smaller: c or -99?
-99
Let f = -27 + 12. Let x = -129 - -151. Suppose 7*y = x - 71. Which is smaller: y or f?
f
Suppose -5*h + 3*f = -72, 4*h - 19 - 38 = 3*f. Let l(r) be the first derivative of 2*r**3/3 + 35*r**2/2 + r + 38. Let t be l(-18). Are t and h nonequal?
True
Suppose 8*z - 5*f - 5 = 3*z, -1 = f. Let o be 3*(-2)/327 + z. Suppose 0 = 352*b - 348*b + 4. Which is greater: b or o?
o
Let b = -12277/396890 + 7/215. Which is smaller: -1 or b?
-1
Suppose -l - 3*y - 56 = 3*l, -4*y = -4*l - 56. Let i be ((15/(-25))/((-14)/(-35)))/((-14)/(-124)). Which is greater: l or i?
i
Let s = 7257/940 + 15/188. Which is smaller: -14 or s?
-14
Suppose -23*p + 234 = -88. Suppose p*d + 115 = 9*d. Which is bigger: d or -26?
d
Let z be 1 - -2 - (1 + 0). Let y = -14 + z. Let c = 9 + y. Is c less than -7?
False
Let x be (25876/(-8))/(15/(-25)*35/42). Is 6468 smaller than x?
True
Let a = -722 + 1544. Let y = 825.33 - a. Let r = y - -0.67. Do 4 and r have the same value?
True
Let a = -3.6 - -26.6. Let j = 329 - 354. Let b = j + a. Is 2/9 less than b?
False
Let u(a) = -65*a - 1. Let l be -7*((-1)/3)/((-16)/(-48)). Suppose 0*f - 3 = n + f, n + 3*f + l = 0. Let o be u(n). Which is smaller: o or 65?
o
Let b be 11180/(-4180) + (-2)/(-11) - 166/3154. Let m = 2 + -4. Is m at most as big as b?
False
Let r(w) = 1535*w - 5657. Let j be r(9). Which is bigger: j or -1/3?
j
Suppose 2*a = -4*o - 13996, -4*a = 5*o + 12346 + 5155. Which is smaller: -3494 or o?
o
Let o = -9.7 - 15.3. Let i = o + 34. Do i and 0 have different values?
True
Let j = 1587.7 + -1623. Is j less than -1/3?
True
Let c = 701 - 451. Let y = -136 + c. Let g = 1935/17 - y. Which is smaller: -1 or g?
-1
Suppose -5*n - 24 = -11*n. Suppose n*v - 4 = 2*v. Let u be (3/v)/((-21)/8). Is -2 bigger than u?
False
Let i = -71.17 + 66.17. Let p be (6/(-14))/(8/(-42)). Is p at most i?
False
Let o = 6.115 + -0.015. Let h = o - 5.29. Let j = h + -0.91. Which is smaller: 4 or j?
j
Let y(t) = t**2 + 13*t - 3. Let s be y(-13). Let v be 2/s - ((-34)/6 + 4). Which is smaller: v or 118?
v
Let a be (-123497)/492244 - 1/(-4). Which is smaller: 0 or a?
a
Let j be (-5)/((-80)/(-6))*-4*138. Let r(l) = 25*l + 3. Let g be r(6). Let h be (-16)/g + 46/j. Which is bigger: h or -0.3?
h
Let g = 0 - 0.2. Suppose 0 = -4*f - 199 + 203. Let n be (-232)/2233 - (-4)/14*f. Is n smaller than g?
False
Let z = -213883/147 + 1455. Let f = 578/735 + z. Which is bigger: 1.1 or f?
1.1
Let n(u) = -u**3 - 6*u**2 + 2*u + 2. Let h be n(-6). Let x = -34.945 - 0.055. Let b = 37 + x. Is b less than or equal to h?
False
Suppose -11*k = -3540 + 3397. Is -31 greater than k?
False
Suppose 8 = -0*q + 4*q. Let g = -425/253 - -7/11. Let t = 303/92 + g. Which is smaller: q or t?
q
Let h = 93823/84 + -2957/28. Which is smaller: h or 1011?
1011
Let f = -2284 + 2283.5. Which is greater: f or 1804?
1804
Let r = -349 - -604. Let c = -257 + r. Which is smaller: 2/167 or c?
c
Let l = 11.642 + 11.358. Is -5.1 != l?
True
Let d be 0 - (1 + 1 + -2). Let s = 1232033/7 - 176431. Let b = -427 - s. Which is smaller: d or b?
b
Suppose 4*a = -5*x + 26 - 11, 0 = -a - 4*x + 1. Suppose 3*o + a*z = -110, -3*o = -0*o - 3*z + 78. Which is bigger: o or -29?
-29
Let l be 10/(1 - 0 - -1 - 4). Let t be -3 + -3022*l/(-70). Let s = -47450/217 - t. Which is bigger: s or 1?
1
Suppose -29*z + 24*z - 479 = -4*o, 2*o - 238 = 2*z. Which is bigger: o or 90?
o
Let f = -30 - -33. Suppose q - 11 = f*o, 5*o + 23 = -q - 6. Let c be 2*o/(30/109). Is c at most -37?
False
Let k(q) = -19*q - 4. Let w be k(0). Let j be (-192)/366*w - (-2)/(-1). Are j and -1 non-equal?
True
Let f be 4413/2210 - 11/3*504/924. Is f less than -1?
False
Let b be 6*4/(-2) - (-315 + 303). Let z be 3/((-1167)/(-391)) + -1. Is z less than b?
False
Let w = -12226 - -14634524/1197. Let y = -482 + 481. Is y less than w?
True
Let u be ((-6)/(-99))/(-8 - 3/(-54)). Which is bigger: u or 0?
0
Let d = -27.12 + 27.3. Let f = d - 0.053. Which is smaller: 0 or f?
0
Let u = -116 - -629. Let i = -435.98 + u. Let o = i + -77. Which is smaller: o or 5?
o
Let x be 224/(-80)*15*-1. Let z be x/(-3) - (-11 + 17). Are -13 and z nonequal?
True
Suppose 46229 = -37*o + 13875 - 30842. Does o = -1704?
False
Let t = 0.727 + 5.443. Let h = t - -1.53. Let o = h + -53.7. Which is bigger: -2/5 or o?
-2/5
Let p be 11/(-33) + (-4)/6 - 8. Let y be p + ((-2)/(-6))/(4/36). Let n be (6 - 4) + (-30)/4. Which is smaller: n or y?
y
Suppose -3*f + j + 105 = -j, 0 = 5*f - 5*j - 170. Suppose -2*c - 19 = -21, -5*p = 2*c - f. Which is greater: -10 or p?
p
Suppose 7*f = -52 + 129. Suppose -12*l + 4 = -f*l. Suppose 2*i = 4*h - 2*h - 18, 2*h - 30 = l*i. Which is smaller: -8 or i?
-8
Let k = -131.28 + 129.28. Is k not equal to -2339?
True
Suppose -12*a + 2*a + 3707 - 24867 = 0. Which is bigger: -2117 or a?
a
Let c = -83 - -131. Let d = 39.9 + 12.1. Let g = d + -51.9. Which is greater: c or g?
c
Let w = 19573 - 19571. Let g be (-2)/4*(0 + -12). Is g at most as big as w?
False
Let k be (((-405)/(-75))/27)/((-2)/(-8006)). Which is greater: 800 or k?
k
Let x be 5*(-470)/(-25) + 7. Which is greater: x or 100?
x
Let f(m) = m**3 + 11*m**2 - 14. Let t be f(-11). Let y be t/(-40) - (-6)/(-10). Let r = 9 - 8.82. Is y at most as big as r?
True
Let l = 193 + -169. Suppose 3*u = -3*p + 12, -4*p + 0 = -4*u - l. Is u equal to 3/16?
False
Let l(n) = n**3 + 4*n**2 - 60*n - 60. Let b be l(-10). Is -53 at most b?
False
Suppose -2*w + r + 3 = -4, 2*w - 25 = -5*r. Suppose -w*v + 9*v = 4*a - 12, -3*a + 9 = -5*v. Is -3/38 at most as big as v?
True
Let m be (4 + -1 - -3)/2. Suppose m*h + 10 = -5*o + 8*h, 4 = 2*h. Suppose 16*r - 18*r - 4 = o. Do -10/13 and r have the same value?
False
Let v = -14984 - 