= -3790 - -3755. Let w = -1.2 - -0.2. Do w and y have the same value?
False
Let j = 3349/2 - 1674. Is j <= -6/187?
False
Let t be (-22 + -50)/(-1 - (-2)/8). Is t at most 2?
False
Let p = 0 + 0. Let m be -8*((-3)/(-12))/((-1)/(-2)). Let o be (p - 1)/((-4)/m). Which is bigger: o or 0?
0
Let x = 60392 - 3804608/63. Let v = x + -9/7. Which is bigger: -1 or v?
v
Let o be (-195)/20 - 3/(-4). Let c be (-84)/o*4/(-32). Let w = c + 1/2. Which is smaller: w or -1?
-1
Let z(m) = -10*m - 16. Let i(g) = -23*g - 33. Let s(h) = -3*i(h) + 7*z(h). Suppose 1 - 7 = u. Let w be s(u). Is w > -7?
False
Let z = -259 + 338. Do z and 78 have different values?
True
Let v = 471.9 - 472. Which is bigger: v or -2.8?
v
Let t = -6.19 + -1.81. Do -26 and t have the same value?
False
Let p be (-1)/((-3)/135*-3). Let l = p + 18. Suppose -d + 0*n + 16 = -5*n, 0 = -l*d + 5*n + 18. Is -1/46 <= d?
True
Suppose 4*g = 4*q - 16, -5*q + 7 + 12 = -4*g. Let d be 2/q*(-9)/18. Which is smaller: d or 0?
d
Suppose 4*o + 4*u - 204 = 0, -2*u = -4*o - 3*u + 189. Suppose 5*j = -3*g + 9 + o, -5*g + 65 = 5*j. Is 8 greater than j?
False
Suppose -49*a - 5*a - 21*a - 75 = 0. Let d = -462/23 - -85424/4255. Is a <= d?
True
Let i = -2 + 3. Let v = 1285/3448 - -1/431. Are i and v nonequal?
True
Suppose 0 = 31*s + 15*s + 3266. Is -70 less than s?
False
Let u be (-1)/(6165/(-8903)) + (-40)/(-50). Let z = u - 3/137. Which is bigger: 3 or z?
3
Let k = -0.0218 - 0.0482. Let j = -0.14 - -0.1. Which is smaller: j or k?
k
Suppose -3*i - 2*i + 10 = -l, 2*l + 10 = 0. Let a be (56/(-12))/i*3. Let s be 148/(-28) - 4/a. Which is bigger: s or 0.2?
0.2
Let t be (4/(-3))/(144/(-432)). Is 63 != t?
True
Let m = -1508/7425 - 1/1650. Which is bigger: 0 or m?
0
Let j be (-199)/6*2*(-53 + 50). Does 199 = j?
True
Let w(a) = 7*a**2 - 4*a - 5. Let g be w(-2). Let n = -25 + g. Let j = -33/62 + 1/31. Which is smaller: j or n?
j
Let b be (60860/30)/(-17)*(-3)/2. Is b bigger than 180?
False
Suppose 13*s - 18*s = 2*v - 24, -s - 3*v - 3 = 0. Are -2 and s nonequal?
True
Let u(p) = p + 1. Let l(f) = -12*f - 7. Let v(g) = -l(g) - 5*u(g). Let d be v(1). Suppose 5*m = -14 - 1, -m - d = -3*s. Which is smaller: 5/8 or s?
5/8
Let o(s) = s - 3. Let v(g) = g - 1. Let n(b) = -o(b) + 2*v(b). Let c be n(-12). Is -10 at least c?
True
Let v(p) = -p**2 - 11*p + 22. Let h be v(-11). Let q(c) = -c**3 + 3*c**2 - c - 2. Let k be q(4). Let i = k + h. Which is smaller: 2/13 or i?
i
Let p = -0.2 - -0.2. Let a = p - -2. Let k = -0.6216 + 0.7516. Is k > a?
False
Let f(b) = -b**3 - 7*b**2 - 2*b + 1. Let i be f(-7). Suppose -9 = -y + s, -y - 2*s + i = 3. Suppose -13 = 4*d - 3*n, -4*n + 2 = -y. Is 3/10 greater than d?
True
Let w be ((-12)/(-10))/(33/(-110)). Let u be (-4)/w - (-4 + 8). Which is greater: u or -1?
-1
Let h = 4.3 - 0.6. Let d = h - 1.9. Let t = -1.3 + d. Is -2/3 less than or equal to t?
True
Let i(d) = 21*d**2 + 6*d - 12. Let o be i(-9). Suppose -f - o = 4*f. Let a = f - -2284/7. Which is smaller: a or 0?
a
Let f(c) = -c**3 - 10*c**2 + 13*c + 22. Let s be f(-11). Is -1/458 not equal to s?
True
Let t(l) = 2*l + 1. Let k be -2*3/12*2. Let b be t(k). Let z be (12/276)/((2 - 1)*-1). Is z at most as big as b?
False
Let v be 4 - 3 - (18 - 2). Let s be (-160)/v + 1/3. Suppose 4*c = -s - 13. Which is bigger: c or -7?
c
Let d(c) = -c**3 - 6*c**2 - 2*c. Let r be d(-6). Let w(l) = l**3 + 12*l**2 - 14*l - 11. Let g be w(-13). Which is bigger: r or g?
r
Let k = 7 - 15. Let t = 7 - k. Let n = -262 - -262. Is n at least t?
False
Let d = -343 - 31. Is d at most -374?
True
Let g = -9.8 - -5. Suppose 145*j = 118*j. Which is smaller: g or j?
g
Let x = -0.027 - 24.973. Let t = x + 26. Does t = 1/5?
False
Let w be ((-5 - 3) + 2)/(-11 + -3). Which is greater: -2/55 or w?
w
Let d be 18/(-63) - (-108)/(-14). Let j be (d/(-12))/(10/(-105)). Suppose 0 = 4*p - 5*a + 5, 0*a = 3*p - 2*a + 2. Which is smaller: p or j?
j
Suppose 0 = 3*t + 43 + 2. Which is smaller: t or -22?
-22
Let b = 39 - 587/15. Let o = -121 - -122. Is b at most o?
True
Let m = 124 - 162. Is m at least as big as -35?
False
Let m = 2.59 - -0.41. Which is smaller: m or -5/2?
-5/2
Let a be 11 - 13 - 1/(-259)*524. Is a at most -1?
False
Let h = -28 - -27. Is h at most 1/54?
True
Let f = 95 - 8456/89. Which is bigger: 1 or f?
1
Suppose 0 = -4*r + 7*r, 4 = 4*i - 3*r. Let m = 1.9 + -2.02. Which is smaller: m or i?
m
Let w be (-18)/(-110)*75/(-45). Which is bigger: -1/14 or w?
-1/14
Suppose -102 = 2*o - 5*x, 4*x - 39 = -31. Are -44 and o equal?
False
Let r = 366 - 366. Which is smaller: -4 or r?
-4
Suppose 4*q - 7 = 3*w, 17*w = 3*q + 12*w - 8. Is 2/521 bigger than q?
False
Let y be ((-36)/30*-1)/33. Do y and 4/5 have different values?
True
Let z be (-7745)/(-55) + (-8)/(-44). Are -1 and z unequal?
True
Let r be (-6)/9 - ((-2)/(-3))/2. Let y be -6 + 5 + 11/14. Let l = y - 9/14. Is l != r?
True
Let m be (-2250)/410*30/(-2). Let z = 377575/4674 - m. Let j = -2/57 - z. Which is smaller: j or 1?
1
Let w = -653 + 652. Let r be ((-1)/3)/((-52)/(-96)). Is r > w?
True
Suppose 0 = 4*k + 4*p + 80, -120*p + 122*p + 24 = -k. Let y = -4 - -2. Let f be (20 - 3)/(2/y). Is f < k?
True
Let d = -11 - -13. Suppose g - 19 = -w + 4*w, 0 = -5*w + 2*g - 32. Let u = w + d. Is -2 equal to u?
False
Let a be ((-94)/235)/((-2)/25). Suppose 2*h - 3*s = 4*h - 25, -s = -5*h + 20. Suppose 3*n = 4 + h, n = 2*b + a. Which is smaller: 0 or b?
b
Let i = -741898/39 - -19022. Is -1 equal to i?
False
Let f = -33.3 - -33.2. Which is smaller: f or 2/171?
f
Let g = 1105/322 - -892939/483. Let v = g - 1863. Is -10 at least as big as v?
True
Let s = 138 - 134. Suppose s*j = -31 + 19. Which is smaller: -4 or j?
-4
Let a = 6/103 + -121/309. Is -297/5 equal to a?
False
Let i = 0.596 + 8.404. Is 22 < i?
False
Let q(l) = l**3 - 3*l**2 - 4*l. Let x be q(4). Let r be 6/2 - 12775/4263. Let p = r - -1168/15225. Is p smaller than x?
False
Let y be (2 - 3)*3 - (-26)/8. Which is greater: y or 5/114?
y
Let r = -71 + 77. Let f be (2 - -17) + 10/(-5). Let q = r + f. Is 24 at most q?
False
Suppose 88 - 322 = 9*y. Do y and -26 have the same value?
True
Let z = -57/8 - -1397/200. Is -1 bigger than z?
False
Let a(d) = -d**2 - 4*d + 7. Let f be a(6). Is -381/7 > f?
False
Let z(b) = -264*b**2 + 6*b. Let o be z(1). Which is smaller: o or -256?
o
Suppose -4*x + 3 + 5 = 0. Suppose 0 = 4*o + x*t + t - 126, -t = -4*o + 118. Let g be o/4*(-14)/(-21). Are g and 6 unequal?
True
Suppose 3*c - c - 98 = 0. Let o = c - 53. Which is bigger: o or -7?
o
Let u = 415 - 537. Is 2/11 less than or equal to u?
False
Let p be (1 - -57)*((-147)/(-72) + -2). Let q = -11/4 + p. Is -1/7 smaller than q?
False
Let m = -109 - -69. Let f = -31 - m. Which is smaller: 5 or f?
5
Let d = -1 - -16. Suppose -f + d = 46. Is f less than -30?
True
Let w(q) = q**3 - 7*q**2 + 5*q + 4. Let m(p) = p + 6. Let h be m(0). Let a be w(h). Suppose -j + 2*g = 11, -2*j + 12 = j + 3*g. Which is bigger: j or a?
j
Let s = -30/2209 + 38254/214273. Which is bigger: 0 or s?
s
Suppose -5*x = -20, 5*r - 30 - 27 = -3*x. Suppose -5*y + r*y - 8 = 0. Suppose 0 = -4*b + 2*c - 4, -y*b - 8 = -0*b - 4*c. Is -2 <= b?
True
Let k(y) = 3*y - 3. Let q be k(7). Suppose -q = -2*w + 2*x, -4*w + 3*w = 4*x + 16. Suppose w*h = -h. Which is smaller: h or -1/15?
-1/15
Let k = 54 - 54. Let n be (5/(-15)*3)/(-94). Which is bigger: n or k?
n
Suppose 4*v - 40 = 48. Let g = -660 + 2729/4. Let j = g - v. Is -0.3 < j?
True
Suppose -744 = o - 26*p + 22*p, -3*o - 5*p = 2300. Is -761 less than o?
True
Let w(c) = c + 1. Suppose 2*u = 2*n + 5*u - 7, -2*n + 3*u - 11 = 0. Let y be w(n). Let i = 527 + -1055/2. Is i bigger than y?
False
Suppose -5*s = 2*x - 3*x - 8, 5*s - 16 = -3*x. Let p be -2 + (x - 0) + 2. Let w be (-498)/(-189) + (-12)/(-54). Is w > p?
True
Let h(a) be the second derivative of 6*a + 0 - 1/12*a**4 - a**3 - 5/2*a**2. Let f be h(-5). Which is greater: f or -1?
f
Suppose -4*a - 13 = -5*m, -7 + 29 = 2*m + 4*a. Suppose m*v = 0, -h - v + 3 = 2*h. Let d be 60/(-45)*2/(-4). Which is greater: h or d?
h
Let z(s) = -2*s - 3. Let v be z(-4). Suppose -v*i = 3*a - a + 19, -2*i - 13 = -a. Suppose a*k = -f, 4*k - f - 2 = -3*f. Which is smaller: -2 or k?
-2
Suppose -o = 0, -15 = -3*d - 0*d + 3*o. Suppose -31 = 5*b - 4*n, -5*b - 1 = d*n - 6. Let s = -10 + 7. Is s equa