) - 3*y(w). Let i be z(-1). Suppose i*m - 4 = -4*h + 29, -4*m + 10 = -5*h. Is 2 smaller than h?
False
Let k be (((-150)/(-4))/5)/((-7)/(-14)). Which is bigger: k or 17?
17
Let t = 0.3 - 0.4. Let o be (-5 + 7)*(-2)/8. Are t and o nonequal?
True
Let x = 685 - 685. Are 3/434 and x unequal?
True
Let x = 2262 - 2261.977. Are 0.2 and x equal?
False
Suppose 4*r - 4*b + 16 = 0, -10*b + 8*b = 4*r - 14. Let c be (-126)/(-76) - (-3)/(-6). Let i = 20/19 - c. Is i less than r?
True
Let n = -32203 - -32203. Let l be (1/2)/(1/(-2)). Is n < l?
False
Let d = 3 + -3. Suppose -4*x - 67 - 61 = d. Is x at most -32?
True
Let u = -484 - -895. Is 412 < u?
False
Suppose 14*l - 13 = 113. Is 7 not equal to l?
True
Let c = 18 - 17. Suppose -s + c = -3. Suppose s*i = 3*i. Which is greater: -0.11 or i?
i
Let n = -57 + 63. Let k be (-3)/(-11)*(-14)/n. Is k equal to -2?
False
Let t = -4542330/439 + 10347. Which is greater: t or 0?
t
Let m = -93 - -102. Let i = 3 + 5. Which is smaller: i or m?
i
Let x be (-4 - (1 - 5)/8) + 2. Do 4 and x have the same value?
False
Let u = -1636 - -1924. Does 290 = u?
False
Let u(f) = -f**2 - f - 3. Let p be u(-2). Let r be 0 - (p + 549/111). Which is bigger: 0.2 or r?
0.2
Let f(m) = -3*m**2 - 13*m - 33. Let r be f(-6). Is r smaller than -1/4?
True
Let o be (-40)/12*(-138)/(-8). Is o equal to -58?
False
Let n(y) be the second derivative of y**3/2 - 17*y**2/2 - 7*y. Let s be n(8). Which is bigger: 3 or s?
s
Suppose 16*p = 9*p - 462. Are -66 and p nonequal?
False
Suppose -3*r = -2*t + 12, t = -0*t - 3*r + 24. Suppose -7*a + 2 + t = 0. Which is bigger: 8/5 or a?
a
Let o be 2/(-3)*45/10. Let b be ((-18)/(-160))/(o/4). Let v = -33 - -34. Is v less than or equal to b?
False
Suppose -2 + 6 = -m. Let l be 11 - 1/(m/12). Suppose -5*p - l = 56. Is -13 less than or equal to p?
False
Suppose 18 = 2*c + 4*w, -4*c - 2*w = 2*w - 36. Is 28/3 greater than or equal to c?
True
Suppose 6 = 3*a + r - 5*r, 0 = 5*r. Suppose -6 = 4*y - o + 11, -y = a*o + 11. Is -9 greater than or equal to y?
False
Suppose 33*j - 6*j - 405 = 0. Which is greater: j or 136/9?
136/9
Let d be 10/(-40) - 3*(-7)/4. Let s be (-2)/3*(9 + 0). Let h = d + s. Which is smaller: h or 2/69?
h
Let j = -507 - -772. Let f = j + -5036/19. Which is smaller: -1 or f?
-1
Suppose -4*p = -64 - 8. Suppose 7*r - 10*r = -p. Is r at most as big as 7?
True
Suppose 0 = -4*u - 3*s + 16, 5*u - 5*s + 15 = -0*s. Which is greater: -1/415 or u?
u
Suppose 0 = -1042*r + 1021*r + 105. Which is smaller: r or 6/19?
6/19
Let i = 7 + -2. Suppose -i*g = -2*t + 6*t + 14, 5*t + g + 7 = 0. Let b(w) = 2*w**2 + w. Let d be b(t). Is 5/7 greater than or equal to d?
False
Let w(b) = 2*b - 16. Let o be w(7). Let v(h) = 15*h - 2. Let c be v(o). Is -33 != c?
True
Let y = -13.7 - -0.7. Let r = y + 12. Which is bigger: r or 3?
3
Let a = 130.2 - 145. Let u = -15 - a. Which is smaller: 11 or u?
u
Let j(d) = -d + 3 + 2*d - 4*d - d**2 + 2*d. Let i be j(-2). Which is smaller: i or 6/19?
6/19
Let p be 0*(12/(-15) - -1). Is 3/994 at most as big as p?
False
Let p(q) = -q**3 + 6*q**2 + 2*q + 8. Let y be p(6). Suppose y = -4*k + 4*a, 2*a - 17 = -3*k - 3*a. Which is smaller: -6/5 or k?
-6/5
Let k = -41 + 47. Suppose 4*x - 4*h + 8 = 0, -k - 7 = -4*x - 3*h. Is 2/13 < x?
True
Let w(b) = -19*b**3 + 5*b**2 - 6*b + 2. Let q be w(1). Which is smaller: -91/5 or q?
-91/5
Let w = 638483 - 14678325/23. Let b = w - 295. Is b at most as big as 0?
True
Let y = -0.89 - -0.42. Let h = -19.53 + y. Let f = h - -19.4. Which is smaller: 4 or f?
f
Let n(f) = -f**3 - 6*f**2. Let g be n(-6). Let s = -2563/15 + 171. Which is smaller: g or s?
g
Suppose 2*j = -6*j + 144. Let c be (-9)/j - (0 + 3/18). Suppose 2*r - 1 = -3. Which is greater: r or c?
c
Let g = 9 - 9.2. Which is greater: g or 1?
1
Let z be 1030/12600 - (-1)/(-5). Let x = -2/63 + z. Which is greater: x or -1?
x
Let a(y) = -2*y**3 + 2*y + 1. Let u be a(-1). Let q(j) = -45*j + 4. Let l be q(-3). Let c = -975/7 + l. Which is bigger: u or c?
u
Let u = 1357.8 + -1379.8. Suppose -3*g + 5*g - 4*w = -12, 3*g = 5*w - 14. Are u and g nonequal?
True
Let g(s) = -2*s**2 + 18*s + 32. Let y be g(14). Let k = 108 + y. Is k less than -3/26?
False
Suppose q = -2*t - 4*q - 11, t = -4*q - 13. Suppose -c = 4*l - 7, -5 = -4*c + t. Is -1/48 <= l?
True
Let u(h) = h**2 + 3*h + 2. Let q be u(-3). Let w(l) = l**3 - 5*l**2 - 11*l - 25. Let t be w(7). Let g be (t/(-10))/((-26)/(-195)). Which is greater: g or q?
g
Let q = -65 - -38. Let o = q - -27. Is o less than -1?
False
Let f = 16646971/17 + -980351. Let b = -1117 - f. Is 0 > b?
False
Let z = -44 - -42. Let g be 54/(-418) + 24/11 + z. Which is bigger: 0 or g?
g
Let s = -234 - -267. Which is smaller: 34 or s?
s
Let y(t) = t**3 + 44*t**2 + 43*t + 4. Let s be y(-43). Is 16 > s?
True
Let k be 23/21 - 94/987. Is -2/2505 at least k?
False
Suppose z - 5*o = -3 - 12, 5*z = -2*o + 6. Suppose -a + 4*j - 7 = 0, z*j + 4*j + 37 = -3*a. Is a <= -11?
True
Let o be ((-4)/(-10))/((-67)/3350). Which is bigger: -22 or o?
o
Let h = 21 - 18. Let j = -1 + h. Which is bigger: -2 or j?
j
Let n = -14/653 + -2667/88808. Is n > 1?
False
Suppose 4*k - 10137 = q, 5070 = 2*k - 13*q + 11*q. Which is bigger: 2533 or k?
k
Let y = -3.2 - 0.8. Let f = -1 + y. Let i be 9/(-162)*1*-4. Which is smaller: i or f?
f
Let u(c) be the second derivative of 5*c**3/6 - 3*c**2/2 - 7*c. Let q be u(2). Suppose q = -5*l + 2. Which is smaller: -2 or l?
-2
Let a = -84 - -42. Let t = a + 43. Which is smaller: t or 2?
t
Let g(s) = 8*s**2 + 4*s + 2. Let m(f) = -7*f**2 - 4*f - 1. Let c(r) = 6*g(r) + 7*m(r). Let i be c(-5). Is i at most as big as -10/13?
False
Suppose 0 = 8*g + 54 - 46. Which is greater: g or -8/21?
-8/21
Let m = -2 + 4. Suppose 2*l - 5*l - 4*o = -39, 5*l + o - 82 = 0. Let p(k) = -k + 21. Let t be p(l). Is m greater than or equal to t?
False
Suppose u + 4*y + 13 = 0, -3*u + 3*y - 4*y = -5. Let c(p) = 4*p**3 - 2*p**3 + 6*p**2 - 4 - p**u - 1 - p. Let v be c(-6). Which is smaller: v or 1/10?
1/10
Let z = 4.4 - 7.3. Let y = z - -5.4. Is -0.2 >= y?
False
Let y(g) = 58*g - 119. Let s be y(2). Which is greater: s or -11/6?
-11/6
Suppose 4*t - 138 = -3*q + 7*t, 5*q - 216 = -2*t. Let n be 69/q + -3 + 39/(-52). Suppose -s = -6*s - 5. Are n and s unequal?
True
Let d = 1/1529 + 1292/362373. Which is bigger: d or 0?
d
Let h = -1336/7 - -190. Is -7 less than h?
True
Let p be -1 + 36/(8/2). Let k = -4 + p. Suppose -3*q + 4*q = -5*l + 9, 5*l + 11 = k*q. Is 6/11 greater than l?
False
Suppose -3*d = -d - 10. Let q be 0 - (-3 - -2) - (-5 + 6). Suppose f + 10 = 5*v, -d*f + v - 2 = -q*v. Which is smaller: f or 0.4?
f
Suppose -145 = -23*u + 154. Is u != 13?
False
Let n(r) = 1. Let w(v) = -2*v + 18. Let x(m) = 8*n(m) - w(m). Let l be x(4). Which is greater: l or 3?
3
Let z = 11 + -11.2. Let o be 4 - (4 - 1) - -3. Suppose 0 = 5*j - 6*j + o. Is z bigger than j?
False
Let r be ((-10)/4)/(4/(-8)). Suppose 22 = -r*i - b, 0*i - i - 17 = -4*b. Let l be i + 1 - (-2 + 3). Which is bigger: -3 or l?
-3
Suppose -s - 5*y - 2 = -y, -3*s - 4*y = -2. Suppose 2 = -s*l - 10. Let g(a) = -2*a + 4. Let m be g(5). Are l and m equal?
True
Let x = 10 + -21/2. Let r(j) = j**3 + 3*j**2 + 3*j + 4. Let z be r(-3). Let b be (z - -3 - -2)/(-3). Is b at most as big as x?
False
Let m be (-6)/(-2) + (6 - 16). Suppose 0*d + 63 = 3*d. Suppose 0 = 5*o + 51 - d. Which is greater: m or o?
o
Let i = 128 - 124. Suppose -2*j = -i*k - 72, -3 = 5*k - 6*k. Which is smaller: j or 41?
41
Let t be 27664/(-20) + 4/(-5). Do 2/5 and t have the same value?
False
Let s be 0/(-1*(-1 + -1)). Let u(c) = c - 8. Suppose -7*t = -12*t + 60. Let a be u(t). Is a >= s?
True
Let t be (-6)/(-1 + (-2)/4). Suppose -4*r - 8 = -8*r - k, 5*r + 1 = -t*k. Let n(w) = -w**2 - 21*w + 103. Let i be n(-25). Is r > i?
False
Suppose -4*n + x + 37 = 6*x, 3*x - 6 = 3*n. Let u = 30 - 24. Let q = n - u. Are q and -3 equal?
True
Let j be (-21)/2*3520/(-8880). Which is smaller: j or 3?
3
Let p = -144 - -249. Is 0.1 at least as big as p?
False
Let u(b) = -45*b + 357. Let q be u(8). Which is bigger: -6/7 or q?
-6/7
Let o(l) = 34*l + 7. Let x be o(-4). Let u be x/4*(-9)/(-54). Let f = -239/40 - u. Do f and 0 have different values?
True
Let i(m) = 53*m + 123. Let n be i(-3). Which is smaller: n or -181/5?
-181/5
Let g = 10 - 11. Let q