16 = 3*f + l. Suppose 2*i = -0*i + 10, -f*y - i = 19. Which is smaller: y or -8?
-8
Let p(s) = -3*s - 7. Let m be p(-2). Let j be (m - -1)/((-12)/(-4)). Is j at least as big as 4/21?
False
Let u be (-286)/(-77) + (2 - 6). Is 0.049 <= u?
False
Let a be (260/(-6))/(-13 + (-4792)/(-360)). Which is smaller: a or -138?
a
Suppose -3*v + 44 = -k, k - 8 = 2*v - 50. Is k at least 3?
False
Let g = -8.544 - 0.056. Let t = 7.6 + g. Is t greater than or equal to -3?
True
Suppose 3*m - 3*z + 579 = 0, 4*z + 380 = -4*m + 2*m. Is m < 0.1?
True
Suppose -5*o = -3*q - 7*o, 2*q + 4*o = -8. Suppose 0 = q*b + 4 - 2. Is -10/7 greater than b?
False
Let h = 763 - 589. Is h > 173?
True
Let n(p) = 3*p**2 + 4*p - 4. Let r be n(-4). Let d be ((-21)/r)/(1 - -2). Let v = -30 + 31. Are d and v equal?
False
Let r be ((-1)/(-72))/(13 - 7). Is 1 at most as big as r?
False
Suppose t - d = 40, t - 64 = 4*d - 9*d. Let p be 11/14*(6 - t). Let y = -31 - p. Is -1 at most as big as y?
False
Let o(j) = j**2 + 15*j + 25. Suppose -3*f - 43 = f - 3*w, -2*w = 3*f + 45. Let s be o(f). Which is smaller: 2/67 or s?
s
Suppose 4*h = -41 - 7. Let i = h + 4. Suppose -2*w = 2*d - 4*w + 24, 4*w = -4*d - 8. Is i > d?
False
Suppose -2*j + 7 + 5 = 0. Let r = 9 - j. Suppose c + r*c = -24. Is c >= -6?
True
Let x = -70 - -81. Which is smaller: x or 2?
2
Suppose 15 = -g - 4*c, -2*g + 3*c - 9 + 23 = 0. Let w(v) = -3*v**3 - 3*v**2 - 2*v - 2. Let d be w(-2). Let q = d + -12. Is g greater than or equal to q?
False
Let s(v) = -v. Let d be s(0). Let j be ((1 - d)*3)/5. Let u = -183 + 185. Is u at most j?
False
Let y = -16 - -23. Let g be ((-1)/3)/(y - 40/6). Does 0 = g?
False
Suppose 0 = 5*j - 11*w + 12*w + 1, 0 = j + w + 1. Are -25/21 and j nonequal?
True
Suppose -8*j = -5*j + 6, 4*j - 32 = -2*h. Are 16 and h non-equal?
True
Let d(l) be the third derivative of -1/12*l**4 + 0*l - 1/120*l**6 + 1/12*l**5 + 0*l**3 + 0 - l**2. Let r be d(3). Is 13 >= r?
True
Let r be ((-172)/(-152) + -1)/1. Let b = r - -47/76. Which is bigger: b or -1/2?
b
Let u(g) be the second derivative of g**4/12 - g**3/2 + g**2/2 - 7*g. Let p be u(3). Suppose 0 = -v + 4 + p. Does 0 = v?
False
Let s be 312/(-91) - (-3)/7 - -117. Suppose -s - 14 = 4*a. Is a <= -32?
True
Let o be (2 - 4)*(-3)/(30/815). Which is greater: o or 0.1?
o
Let i = 0.12 + -0.08. Let o = i - 0.24. Let a = o + 1.2. Which is bigger: a or 0?
a
Let v = 0.0224 - 0.1224. Is 270 > v?
True
Let r(j) be the third derivative of -j**4/24 - 2*j**3/3 + 4*j**2. Let o be r(-8). Suppose 5*a + 3*i - 37 = 0, 5*a + 2*i = -3*i + 45. Is a > o?
True
Let d = -7504 - -52832/7. Which is bigger: 44 or d?
44
Let i = -302.9 - -303. Is i < 437?
True
Let y(b) = b**3 - b**2 + b + 1. Let k(u) = u**3 + 8*u**2 + 5*u - 4. Let h(d) = k(d) - 2*y(d). Let r be h(10). Let q be 8/r - (2 + -2). Is q != -3/20?
True
Let d = 1/159 + -866/53. Which is smaller: d or -1/4?
d
Suppose k + 3*b - 9 = 0, -5*b = -k - 3*k + 2. Suppose k*x = j - 16, 0 = 4*j - 2*x + x - 64. Which is smaller: 17 or j?
j
Let m(g) = 3*g**3 + 27*g**2 + 4*g + 7. Let u be m(-9). Which is smaller: u or -10?
u
Let y(s) = -15*s**2 - 45*s + 5. Let l(u) = 7*u**2 + 22*u - 3. Let z(b) = -13*l(b) - 6*y(b). Suppose 3 = 3*d + 48. Let a be z(d). Is a > 23?
True
Let w = -2.1 + 2. Let p = -169.1 + 166. Let x = p - -0.1. Which is greater: x or w?
w
Let t(g) = -g**3 - 16*g**2 + 14*g - 19. Let p be t(-17). Do p and 31 have different values?
True
Let y(z) = -3*z**3 - 2*z - 1. Suppose 3*t + t + 4 = 0. Let n be y(t). Which is smaller: n or 5?
n
Let c be 16/32 + 6/(-4). Is 2/35 at most c?
False
Let g = -2.362 + 1.362. Which is greater: g or -675?
g
Suppose -5*r = p - 286, -153 = 5*p + 3*r - 1473. Is p less than or equal to 260?
False
Let j = 16 - 12. Let y be (j/3*(-24)/16)/2. Which is smaller: y or 2/41?
y
Let w(r) = r**3 + r**2 + 10. Let z be w(0). Let h = -0.59 + 0.534. Let u = 0.044 - h. Which is greater: u or z?
z
Let b = 16 - 49/3. Let v = -1.621 + 0.621. Is b <= v?
False
Suppose -2*z = -7*z - 3*h - 3289, -4*z + 4*h - 2644 = 0. Do -659 and z have different values?
False
Suppose 2*k + 5*t = -27, k = -t - t - 11. Let a = k + -1. Suppose -15*q = -14873 + 14918. Which is smaller: a or q?
q
Let g be 3*6/72*(1 + 3). Let m = 3 + 2. Is m >= g?
True
Let z = -5 + 14. Let f = 9.08 - z. Let w = 5.08 - f. Which is greater: w or -1?
w
Let u(v) = -57*v - 23. Let p be u(6). Which is greater: p or -0.1?
-0.1
Suppose 8*d - 6*d + 38 = 2*p, p + 3*d - 3 = 0. Is p less than or equal to 5?
False
Let v(f) = -2*f**2 - 9*f - 1. Let p(r) = -3*r**2 - 10*r - 2. Let x(t) = 3*p(t) - 4*v(t). Let j be x(6). Let o = -0.9 + -2.1. Is o > j?
False
Let z = -118 + 282. Suppose -4*m + z + 72 = 0. Are m and 58 nonequal?
True
Let t be (-6)/(-1) - 5*1404/1125. Which is bigger: -2/15 or t?
-2/15
Let s = 1.786 - 0.486. Is -0.14 at least as big as s?
False
Let g = -673.97 + 679. Is -1 >= g?
False
Let q be 13 - (-10)/(10/(-2)). Let m be q/22*(1 - 3). Which is smaller: 1/7 or m?
m
Suppose -15*q + 568 = -212. Suppose -22*f + q = -24*f. Which is bigger: f or -22?
-22
Suppose -1 + 15 = -7*w. Let g(c) = c**2 + 4*c + 5. Let t be g(w). Which is bigger: t or 8/7?
8/7
Let m = 14441/1975 + 67/79. Are 9 and m non-equal?
True
Let p = -41 + 40.67. Let i = p + -0.67. Which is smaller: i or -1/12?
i
Let a be 3/20 + 62/(-155) + 2. Which is smaller: 1/3 or a?
1/3
Let w(s) = s**3 - 3*s**2 - 6*s + 14. Let o be w(3). Which is bigger: -7 or o?
o
Let w = 0.562 - -13.788. Let g = 0.35 - w. Let p = g - -13.95. Is -1 greater than p?
False
Let b = -3.36 + -0.64. Let v = -6 + b. Is v > 0.1?
False
Suppose 0 = -2*o + 36*o - 34. Does o = 82?
False
Let d(y) = -y**3 + 4*y**2 + y + 4. Let g be d(4). Suppose -23*n + 21*n - 10 = 0. Let c(x) = -4*x - 12. Let o be c(n). Is o > g?
False
Let f be (-826)/35*3/(-4) + (-78)/65. Let l be (-16)/15 - 4/(-10). Which is greater: f or l?
f
Let h be (30/(-18))/(1/(-3)). Let g(i) = -i + 2. Let n be g(h). Let q be (n/4)/(66/(-16)). Which is greater: q or 0.1?
q
Let a = 29 + 25. Let h = -470 - -470. Is a > h?
True
Suppose -157*t - 5 = -162*t. Does t = 0.031?
False
Let t = -1209 - -658. Is t smaller than -551?
False
Suppose -17*c = -12*c - 15. Suppose c*u = -0*u - 39. Is -14 greater than u?
False
Let n = 136 - 136. Is n smaller than 2/249?
True
Let l be (-7)/(35/10) - -8. Suppose -3*r = -l*r - 27. Is -7 at least as big as r?
True
Suppose 5*o + 5*l + 19 = -1, -l - 4 = 4*o. Let i be (-33)/24 + (1 - -1). Let c = -29/56 - i. Which is greater: c or o?
o
Suppose -279 + 111 = -4*b. Is b >= -3?
True
Let n be 744/(-16)*4/(-6). Let w = n + -28. Let k(h) = -h**2 + h + 5. Let c be k(w). Do -1 and c have the same value?
True
Suppose -3*v = 3*r - 30 - 108, -3*r = -2*v + 77. Let j = v - 42. Which is smaller: j or 2/7?
2/7
Let c = -4 - -3. Let o(y) = y**3 - 6*y**2 - 15*y - 10. Let l be o(8). Does l = c?
False
Let w = 3 - 4. Let g = w - 2. Let k = 792.3 + -792. Is k less than or equal to g?
False
Let m(g) = 8*g**2 - 21*g + 41. Let t be m(8). Is t smaller than 387?
True
Let m(t) = t - 11. Let j be m(11). Suppose -4*s - 32 = -4*l, -77 = -j*s + 4*s + 5*l. Is s equal to -13?
True
Let m = 2 - 0. Let p = -0.1797 + -0.0603. Is p smaller than m?
True
Let i be 418/(-900) - 16/(-36). Which is smaller: i or 1?
i
Let x = 74 - 60. Let q(a) = a**2 - 16*a + 28. Let n be q(x). Let w be 1/(-8) - -1 - 1. Which is smaller: w or n?
w
Let z(w) = -w**3 - 13*w**2 - 2*w - 21. Let q be z(-13). Suppose -h = q - 6. Which is bigger: h or 1/30?
h
Suppose 5*h + 2490 = 10*h. Let x = -2502/5 + h. Which is bigger: 1 or x?
1
Let m be 3708/10476 + (1/(-3) - 0). Let k(c) = -c + 1. Let u be k(0). Which is bigger: u or m?
u
Let s be (4/14*-2)/(3 - 25). Let b = -9 + 9. Are b and s unequal?
True
Suppose -3*o = -5*u + 14, 2*o - 3*o - 14 = -4*u. Suppose -o*t - 51 = -9. Let k = -273 + 252. Is t not equal to k?
False
Suppose 0 = 12*t + 3861 + 795. Are t and -388 non-equal?
False
Let n = -168 - -169. Which is smaller: n or 3/46?
3/46
Suppose 3*m + 2*m - 1915 = 0. Suppose -m = 3*f - 5*b, 0*f - b + 631 = -5*f. Let q = f + 247/2. Is 0 smaller than q?
False
Suppose -33 = 12*y - 9*y. Let r = y - -21. Suppose 0 = 4*a - h + r, -5*a + 0*a - 23 = 4*h. Are a and 2/7 non-equal?
True
Let i = -1 + 3. Let x(l) = -l**3 + l**i + 5*l + 0*l**3 + 9 - 4*l. Let n be x(0). Which is smaller: 8