 = -5 + 8. Suppose -h*b = -b + 4. Let n be 1 + (-3 - b) - -1. Is n bigger than -2/19?
True
Let d = 1 + 9. Let m = -22 + d. Let r = m + 12. Is r at least as big as -5/6?
True
Let n be (-2)/(64/(-80)*5/2). Let s be (-78)/8 + ((-18)/(-24) - n). Let l = -5 - 5. Is l greater than s?
False
Let r(b) = -5*b - 207. Let w be r(23). Which is smaller: w or -323?
-323
Let n = 3 + -1. Let b be 6/(96/(-20))*n. Let a be ((-6)/(-9) + -2)*3. Which is greater: a or b?
b
Suppose -3*w + h - 20 = 0, -w - 12 = -2*w + 5*h. Which is smaller: 7 or w?
w
Let m(p) = -p - 32. Let i be m(-15). Is -50/3 equal to i?
False
Let l be 6/(-5)*30/(-4). Let f be (-20)/(-6) + (-3)/l. Let k be (0/(-2))/(f - 4). Is k <= -2/15?
False
Let b = 1.9037 + 0.0603. Let s = b + 0.036. Which is smaller: s or 0.2?
0.2
Let p be ((-9779)/(-147))/11 - 4/12. Which is smaller: p or 5?
5
Let m(i) = i**2 + 4*i - 2. Let y be m(3). Suppose 10 = 3*j + y. Which is bigger: j or -7?
j
Let v(h) = -h**3 + 18*h**2 - 82*h + 17. Let u be v(8). Is -17/39 != u?
True
Let r = -6845/2 - -3490. Is 69 smaller than r?
False
Suppose -2*n - n - 14 = -5*q, 2*q + 3*n - 14 = 0. Let r = 36 - 24. Let u be (r/15)/((-4)/(-18)). Is u at most as big as q?
True
Let i = -99 + 194. Is -2 at least as big as i?
False
Let g be 5 + (2 - 3)*-1. Let i = 9 - g. Is i not equal to 5?
True
Let g(z) = z**3 - 9*z**2 - 6*z + 6. Let p be g(9). Let i = -47 - p. Is -2/37 less than i?
True
Let j be (-318)/(-2067) - (0 + 1380/13). Is -106 != j?
False
Suppose -b + 2*a + 35 = 0, -131 = -3*b - 2*b - a. Which is smaller: 8 or b?
8
Let c = -7572 - -22478/3. Let k = c - -80. Let v = -0.87 + 0.77. Which is smaller: v or k?
v
Suppose -10 = -5*f - 5*l, -l - 1 = f + 3*f. Let c be ((-24)/(-20))/(21/35). Is f at most as big as c?
True
Let c(a) = -4*a**2 - 35*a + 19. Let b be c(-9). Which is smaller: -6 or b?
-6
Suppose 0*t = -5*t. Let s = 0 - -4. Suppose t = q + s*q. Which is smaller: q or -1/4?
-1/4
Let j = -352 + 354. Which is bigger: 10 or j?
10
Let u(g) be the second derivative of -g**3/3 - g**2/2 - 9*g. Let k be u(-4). Suppose 0 = i - 0*i + k. Is -8 at least as big as i?
False
Let d(q) = -2*q + 15. Let h(k) = -k**2 + 16*k - 41. Let b be h(12). Let r be d(b). Is r greater than or equal to 22?
False
Suppose 0 = 3*d + 4*o - 6, d + 0 = 3*o + 2. Which is bigger: 13 or d?
13
Suppose 5*p = 2*b + 79, -2*b = -2*p - 4*b + 26. Let d = p + -18. Is -9/4 at most as big as d?
False
Suppose 40 = 251*o - 261*o. Is o < -35?
False
Suppose -y = -10 - 1. Suppose 0 = a - 17 + y. Is a at most as big as 6?
True
Let l = -100367 - -13047609/130. Let w be 11/52*(1 + 1). Let b = w - l. Which is bigger: b or 0?
b
Let g(o) = o**2 - 6*o + 3. Let b be g(5). Let w = -6/625 + -6839/3750. Does b = w?
False
Let v = -2/185 + -364/555. Are v and -9 unequal?
True
Let h = 44 - 47. Let j(u) = -u + 20. Let v be j(h). Are v and 23 unequal?
False
Let n = 67 - 75. Let l(r) = -r**2 - 7*r + 9. Let o be l(n). Let d = 2 - 3. Is d > o?
False
Suppose -2*h - 2*u + 92 = 3*h, 3*u - 75 = -4*h. Let g be 2/(-7) - h/(-14). Let w be g/(-3) + (-23)/3. Are -9 and w equal?
False
Let h be 6/4*40/210. Which is greater: -109 or h?
h
Let h be (-16)/64 + 2/8. Which is smaller: h or -1/74?
-1/74
Let q = -2239/49629 - -2/699. Is 1 at most q?
False
Let q be -10*(-33)/(-54) + 34 + -28. Which is bigger: 0 or q?
0
Let j = -2652.16 + 2727. Let r = 75 - j. Is r < 0?
False
Let d(z) = 2*z**3 - 8*z**2 + z - 1. Let k be d(4). Suppose 25 = c - 6*c + r, k*c + r + 7 = 0. Which is bigger: c or -13/5?
-13/5
Let z(d) = 3*d + 5. Let n be z(-1). Suppose -n*t + 6 = 68. Is -29 != t?
True
Let m(c) = -c**3 - 5*c**2 - c - 1. Let i be m(-5). Let f be 4/(-2)*(-18)/i. Is 8 at least as big as f?
False
Suppose 2*t + 11 = r + 4*r, 5*t = -4*r - 11. Are 139 and r nonequal?
True
Suppose 9*w + 141 = 6. Is w less than -59/4?
True
Let r = -89.41 - -1.41. Let b = 43 + r. Which is smaller: -2/5 or b?
b
Let t = 0.01 + -1.89. Let s = t + -0.32. Which is smaller: s or -0.2?
s
Let s = -263 - -254.7. Is s > 1?
False
Let a = -74 + 1112/15. Let g(d) = -3*d**2 + 12*d. Let r be g(4). Is r less than a?
True
Let q be (90/25)/(((-27)/(-2310))/3). Does -0.1 = q?
False
Suppose 0 = -5*a - 3*a - 8. Which is greater: -3/871 or a?
-3/871
Let f = 712.07 - 713. Is 2/13 at least as big as f?
True
Suppose 3*i + 24 = 210. Let f = 55 - i. Is 3 bigger than f?
True
Suppose 47 = 69*m - 91. Let f = 1 - -1. Is m > f?
False
Suppose -5*k - 130 = -2*r, 4*k - 2*k + 244 = 4*r. Suppose -9*q + 4*q = -r. Is q < 13?
True
Let v = -117 + 122.16. Let j = 0.16 - v. Let w = -4 - j. Which is greater: w or -11?
w
Let w be (-16 - -1)*(-3)/3. Let a be (-5)/(-6)*20/w. Let b = 30 - 28. Which is greater: b or a?
b
Suppose 5*p + a = -69, -4*p - 77 + 22 = a. Let y = 0.9 - 0.81. Let l = -1.09 + y. Is l greater than p?
True
Suppose -2*o = 12*o - 70. Is 21/5 <= o?
True
Let b(q) = 3*q**2 - 5*q + 6. Let y be b(4). Let r be (0 - (-4)/(-10))*-150. Suppose 29*c - r = y*c. Does c = -12?
True
Let z = 3 + -3. Suppose -3*u + 6*u = 0, 0 = 4*b + u - 56. Let d = z - b. Which is greater: d or -15?
d
Suppose -27*y + 10*y = -1207. Which is smaller: y or 69?
69
Let s = 10 - 11. Let a = s - -3. Suppose t = a*t + 8. Is -8 greater than t?
False
Let c(v) be the third derivative of -v**4/4 - 4*v**3/3 - 3*v**2. Let h be c(-5). Let w be (-16)/h + 1 - 0. Do 0 and w have different values?
True
Suppose o = 4*v - 3*v + 25, -4*o + 3*v = -96. Let l = o - 20. Suppose -8*d + 12 = -2*d. Is d >= l?
True
Let a = -8 + 7.9. Suppose 4 = 4*j + 4*q, 2*j - 5 = -j - q. Is a <= j?
True
Let x(t) = t**2 - 4*t + 3. Let d be x(4). Let c be -7 + (1 - (2 - d)). Let b = 1298 + -1299. Which is bigger: c or b?
b
Let v(q) = -179*q + 650. Let r be v(-9). Is 2261 <= r?
True
Let n = -1668/1495 - -16/65. Which is greater: n or -2?
n
Let y be (-274)/18 + 7 + 427/(-63). Let x = y - -17. Is x at most 4/5?
False
Let p be ((-2)/10 - 0) + (-7073)/(-440). Which is smaller: p or 15?
15
Let c(x) = 3 + 5*x - 4*x + 3. Let y be c(-5). Let g be (-3)/9*(-13)/((-312)/(-9)). Which is smaller: y or g?
g
Let p = 20/3 - 34/3. Let c = -29 + 19. Let m be -15*((-4)/c)/1. Do m and p have the same value?
False
Let q = 0.107 - 0.107. Which is smaller: 1.68 or q?
q
Let y = 923 + -923.9. Which is smaller: y or 1?
y
Let x = -1.4 - 0.7. Let h = x - -2.22. Let q = -0.22 + h. Are q and 2/3 equal?
False
Let m = -1.305 + 1.405. Which is greater: 0.268 or m?
0.268
Let j be (1 - (-9)/(-3)*-1) + -4. Which is greater: j or -1/45?
j
Let t(g) be the second derivative of -5*g**4/12 + 8*g**3/3 - 9*g**2/2 + 28*g. Let c be t(5). Is c not equal to -56?
True
Suppose -2*z - 51 = -19*z. Let u = 8 + -2. Suppose 0*h = -z*l - 3*h + 3, u = -2*h. Is 4 bigger than l?
False
Let v be (-11)/3*12/(-4). Let w be -1*v + 5/5. Let c = w + 2. Is -2 less than or equal to c?
False
Let f(z) = -z**3 + 4*z**2 + 6*z + 1. Let p be f(5). Suppose -7*v = -13 + p. Which is smaller: 3 or v?
v
Suppose -2*l = -193 - 69. Let a = 134 - l. Which is smaller: 8 or a?
a
Let a = 0.74 - 0.6. Let n = 7.14 - a. Suppose -33*i = -25*i - 16*i. Is n smaller than i?
False
Let p = 0.017 + -0.157. Let o = -0.34 - p. Is o greater than 3/8?
False
Let n = 105 + -92. Suppose 0 = 2*r + n - 9. Is 2 at most as big as r?
False
Suppose 5*d + 30 = o, 0 = -14*d + 12*d + 2*o - 20. Do -61 and d have different values?
True
Let x = 1198 + -2104. Are -904 and x nonequal?
True
Suppose 0 = -4*q + 5*q. Suppose -2*h - 13 = 3*k - q*h, 2*k = 5*h + 23. Let i = -4 - k. Which is greater: i or -3/2?
-3/2
Let u = -210364052 + 482785515142/2295. Let c = u + -184/27. Let j = c - -1263/170. Is 7 > j?
False
Let g(z) = z - 8. Let w be g(6). Suppose -5 = -d, -3*k = -0*d + d - 5. Suppose 3*n - 4 + 10 = k. Is n <= w?
True
Let f = 0.082 - -0.018. Let t = f + 0. Suppose -4 = 2*r - 3*r. Is r greater than t?
True
Suppose 5*i = 5*w - 15, 0*i - 1 = -5*w - 2*i. Let b = w - 3. Let v = 1/468 + -703/468. Which is smaller: v or b?
b
Let y be 1/(5 - (-3102)/(-621)). Suppose -3*q + 4*b + y = 0, 2*b + 207 = 3*q + 7*b. Is q smaller than 67?
False
Suppose -3*q = -15, 0 = -0*d - 4*d + q - 13. Let l = -28 + 26. Is d at most as big as l?
True
Let o = -1725 + 1800. Is 71 <= o?
True
Let i = -12902/35 - -1876/5. Let z = i + -281/63. Which is greater: 1 or z?
z
Suppose 2*c = -18*c - 11760. Are c and -588 unequal?
Fa