f**2 - 41*f + 15. Let d be a(-21). Let q be (d/204)/((-1)/(-36)). Are -1 and q non-equal?
True
Suppose 0 = -232*z + 239*z - 49. Let u be ((-5)/(-1))/((z/(-35))/1). Is u smaller than -25?
False
Let j = -11087 - -10832. Which is smaller: j or -268?
-268
Suppose -3*w + 230 = g - 6*g, 2*g = -w + 62. Suppose 4*z - 24 = -4*o, 0 = 3*o + 2*z + 2*z - 16. Suppose o*d - 186 = 374. Is d at most w?
True
Let g = -649.69 - -3.69. Let h = g + 645. Is 8/3 greater than h?
True
Let t(p) = p + 11. Let w be t(-8). Suppose 5*u = -4*i + 128, -i - w*i = -u + 40. Suppose -10 = -6*j - u. Which is smaller: j or -1?
j
Let c = 70 + -57. Let n = c - 27. Let l be 4 - 0 - (13 - (3 - -5)). Which is bigger: l or n?
l
Let h = 764052056/9519 - 80266. Is -1 bigger than h?
False
Let a(s) = s**2 - 10*s - 77. Let w be a(15). Let u(j) = 25*j + 104. Let h be u(w). Suppose -3*m = -3*g - 6*m + 174, m - 3 = 0. Which is bigger: g or h?
g
Let z = 0.6 - -7.4. Let j = -98.042 + 96.9. Let p = j + 1.642. Which is bigger: p or z?
z
Let x be 2401/5145*4/(-14). Let z(d) be the first derivative of -d**2/2 - 3*d - 4. Let t be z(-4). Is x bigger than t?
False
Let p be -114 + 52 - 0/2. Is p at most as big as 24?
True
Let z = -34.3 - -35.3. Which is smaller: z or 2/37?
2/37
Let o be 0/(-2) - 1 - 1. Let w = 90749 - 818969/9. Let p = w + 246. Are o and p equal?
False
Let h = -175370/240543 + 1/4077. Which is smaller: 0 or h?
h
Suppose 4*j + 3879 = 7*c - 8*c, 2*j + 1923 = 5*c. Which is bigger: j or -966?
-966
Let f = -659.8 + 657.8. Is 4/259 at most as big as f?
False
Suppose -36 = 274*c - 271*c. Let f be (1 + c)*((-40)/13)/(-5). Does f = -7?
False
Let u(z) = 6*z**2 - 71*z - 1160. Let v be u(-15). Does 1 = v?
False
Let b(l) = -7*l**2 - 33*l + 82. Let v be b(6). Is v smaller than -381?
False
Let f(c) = c**2 + 4*c + 76. Let g be f(0). Let m = 76 - g. Which is smaller: m or -1?
-1
Let i(x) = 7*x - 23. Let n be i(4). Suppose 0 = 3*d + 5*h + 16, 5*d - n*h + 56 = 2*d. Let v be -1 - d/4 - 15. Which is bigger: v or -9?
-9
Let c = 0.046 - 0.421. Let p = 0.625 - c. Which is greater: -84 or p?
p
Let i(r) = r + 18. Let o be i(6). Suppose -o*d = -25*d. Let m be ((-1)/(-3))/(47/(-6)). Is m > d?
False
Let q(r) = 12*r + 28. Let y be q(-13). Let t = y + 131. Suppose -4*p - 1 = t. Which is greater: -2 or p?
p
Let w(h) = -87*h - 1677. Let x be w(-19). Which is smaller: x or -1?
x
Suppose 22*j - 202 = 150. Let l be 16/(-5)*10/(-2). Let r = l - j. Which is smaller: 5/9 or r?
r
Let t = 2303 + -2308. Let w(i) = i**3 + 4*i**2 - i - 4. Let j be w(-4). Let d be 60/33 + (j - 2). Which is smaller: t or d?
t
Suppose -6*u - 2*u = 12*u. Which is bigger: -2/6435 or u?
u
Let t(d) = -26*d + 284. Let y be t(11). Is 175.7 less than or equal to y?
False
Suppose -3*n = -26*n + 2598 + 1726. Which is bigger: n or -4?
n
Let g be (15029/686 - 7)/((-1080)/(-21)). Let k = 1623 - 389521/240. Let d = k + g. Which is greater: 0.4 or d?
0.4
Let w = 2 + -30. Let v = 13593 + -13627. Is v at most w?
True
Let q be (-105 - -75)*((-224)/10)/(-4). Is -173 at least q?
False
Let d be -16 - 3740/(-242) - 501/(-11). Which is bigger: d or 64?
64
Let d = -1083 + 1082. Is d bigger than -12/1393?
False
Let n = -257.02 - -257. Let c = -1.98 + n. Which is greater: c or 0.1?
0.1
Suppose -590*u = -622*u - 27520. Which is smaller: u or -857?
u
Suppose -4*z + 1828 = 7*z - 3430. Which is greater: 460 or z?
z
Let c be (41/(-123))/((-2151)/5 + 8/(-60)). Which is smaller: c or 0?
0
Let t(p) = -p - 8 + 2*p + 26 + p. Let d be t(-8). Suppose 3*l + 3*s = l + 39, d*l - 32 = 4*s. Is 18 equal to l?
True
Let b = -1/650555907 - 6188087760337/17595585616629. Let k = b + -2/1591. Suppose 0 = 2*u + 9*u + 11. Is k at least u?
True
Let g = 99718/5 - 19944. Which is greater: -1823 or g?
g
Let j = -169/1034 - -60677675/9306. Let v = 6527 - j. Is 7 > v?
True
Suppose 3*d - 1783 = 4*q, -174*q + 178*q = -16. Is 586 not equal to d?
True
Let s(l) = l**2 + 14*l + 6. Let k be s(-12). Let n be 2*3*3/k. Let o be 0 + (-4 - -4)/((-2)/n). Which is greater: 3/8 or o?
3/8
Let o be 35658/(-12600) - (-6)/75. Which is greater: 232 or o?
232
Let x = 33 + -33. Suppose 3*j + 9 = -g + 2, -4*j - 7 = g. Let q be ((-1)/g)/(140/98). Which is greater: q or x?
q
Let z = 508.487 - 508. Let u = -0.437 + z. Let i = 16 - 47/3. Which is greater: i or u?
i
Suppose -30*n + 5*h + 319 = -28*n, 0 = -n - 2*h + 173. Do 164 and n have the same value?
False
Let j be (-7 - (-184)/(-8))/2. Let g(w) = -w + 3. Let t be g(3). Let l(v) = -v**3 - v - 14. Let o be l(t). Which is bigger: o or j?
o
Let q(a) = -4*a + 10. Let u be q(7). Let c be (-570)/u*1/5. Let g be (-3)/21*(-770)/(-165). Is c < g?
False
Let z = -13363/11 - -1213. Let k = -108 - -120. Suppose -k = -3*y + 3*v, -v = 5*y - 5 + 15. Is z at least y?
False
Suppose -5*m = 2*w, 11*w - 10*w - 7 = m. Is 204/49 != w?
True
Suppose 4*c + 50 = 2*j + c, 5*j - 116 = 3*c. Suppose j*h - 941 = -61. Suppose q + 4*l - h = 0, -q + 45 = -0*q + 5*l. Which is smaller: q or 23?
q
Let r(i) = i**2 - 7*i + 7. Let z be r(6). Let n(t) = 30*t. Let l be n(z). Suppose -2613*c + 39991 = -1183*c - 2909. Is c smaller than l?
False
Let f be 2 + 5 + (3 - 1). Let u(w) = w**2 - 9*w + 5. Let l(n) = -n**2 + 9*n - 5. Let a(s) = 5*l(s) + 4*u(s). Let v be a(f). Does -6 = v?
False
Let s(l) = -l**3 - 10*l**2 - 4*l + 15. Let r be s(-9). Let b be (30/18)/((-3)/54). Is b less than r?
False
Suppose -5*y + 73 = 18. Let f = y - 6. Let z be (-2)/f + 18/(-30). Which is smaller: -3/10 or z?
z
Suppose -4*l + 4*w = w - 163, 0 = -4*w - 4. Suppose t + 7*t - l = 0. Let y = -24 + t. Which is smaller: y or -20?
-20
Suppose 32*n = 455 - 6695. Which is smaller: -188 or n?
n
Suppose 0 = 2*k - 9*k + 28. Suppose -o + k*n + 1 = 2, 2*n - 2 = 2*o. Is o < 1/48?
True
Suppose 3*o - 135 = 117. Suppose -5*z = 5*i - 185, -5*i + 0*i + 4*z + 185 = 0. Let r = o - i. Do r and 47 have the same value?
True
Let c be (-460)/(-253) - -10 - 12. Which is bigger: c or 2/1521?
2/1521
Let m be (-60)/25*-1*10. Suppose -2*k + 5*r = -m, 83 = 5*k + 5*r - 6*r. Which is smaller: k or 16?
16
Suppose 12*s + 5*t = 15*s - 57, 2*s - 3*t - 39 = 0. Is 103 smaller than s?
False
Let y = 128.7 + -128.5. Do 31/21 and y have the same value?
False
Suppose z - 14 + 0 = -4*y, -2*z = 2*y - 4. Let l(i) = 3 - 9 + 1 + 17 + i - 5. Let k be l(z). Are k and 6 equal?
False
Suppose 15*w - 17*w = -3*t - 1465, -5*t + 3*w - 2443 = 0. Let z = t - -541. Let u(h) = 7*h**3 - h**2 - h + 1. Let o be u(2). Is o greater than z?
True
Let h = -273 - -162. Let o = 119 + h. Which is smaller: o or -1/2?
-1/2
Let j = -356/45 + 64/9. Let v = -242 + 244. Let u be 3 - -1 - (v + (6 - 4)). Which is greater: j or u?
u
Let b = 29.8 - 30.697. Let j = -2723.897 - -2724. Let a = b - j. Which is smaller: a or -4?
-4
Let c be 8 - (-5)/(-10)*-6. Let n be (-2)/c - (-70)/22. Suppose -5*w - 5 = -5*i, -11 = n*w + 6*i - i. Which is smaller: w or -16/9?
w
Let u = 894.9 - 895. Which is bigger: u or -144?
u
Let q(u) = 2*u**2 + 2*u. Suppose w - 8 = 2*t, 0 = -3*t + w - 6 - 6. Let c be q(t). Which is smaller: c or -1?
-1
Let h = -9/19454 - 12138261/2237210. Is h smaller than -5?
True
Let x = -240 + -66. Let s = x + 276. Let b be 0/(2/(4 - 2)). Is s > b?
False
Let r(j) = 7*j**2 - 22*j + 110. Let b be r(5). Suppose -180*n + b*n = -825. Is 163 less than or equal to n?
True
Let k be (-4)/(-6) + 77/(-120). Suppose 3*s - 1 = 3*n - 10, -2*s = 4*n - 6. Suppose -2*v + 3*r = 9, 2*v + 2*r - 8 = -n. Is k greater than or equal to v?
True
Let v = 2961 - 2897. Which is smaller: v or 443/7?
443/7
Let y be 5 - ((-149690)/(-11510) - 8). Which is greater: 1 or y?
1
Let h be 5/15 - (-28)/(-138). Let j(u) = -2*u + 9*u**2 + 3*u**2 - 3*u - 11*u**2 - 1. Let w be j(0). Is w < h?
True
Suppose -28 = 28*y - 0. Let j be (-52)/(-4) - (1 - -3). Let m be ((-18)/(-27))/((-21)/j). Are y and m nonequal?
True
Let o = 3841 - 2165. Which is bigger: o or 1/4?
o
Let q = 52.16 + -0.16. Let w = q - 29. Let t = -0.16 + 0.36. Is w != t?
True
Let d be 1/((-1)/(-2)) - (-1 - 0). Let p be -6 + (2 - d)*-2 - -8. Suppose -x + 6 = 2. Is x <= p?
True
Let y = -0.381 + -2.389. Let z = -1.44 + y. Let j = z + 1.21. Which is bigger: -7 or j?
j
Let q be 1*316/(-472) + (-12)/(-18). Suppose -3*x + 0*u - 4*u = 5, -u = -3*x + 5. Which is smaller: x or q?
q
Let g = -17.26 - -17.7. Which is sma