0 = -8*j + 382 - 406. Which is smaller: j or b?
j
Let q(h) = -2 - 3 + 5*h + 2*h - 6*h. Let g be q(-3). Are g and -8 nonequal?
False
Let f be (1400/(-6))/((-76)/102). Let k = 313 - f. Do -1 and k have different values?
True
Let w be (-10)/(-15)*(-30)/4. Let b = -3 + 3. Suppose -5*t - 4*d - 30 = 0, b*d - 18 = 3*t - 2*d. Is t greater than or equal to w?
False
Suppose 8*b + 10 = 18. Is 5/9 >= b?
False
Let m = 220 - 181. Is m > 2?
True
Let g be 18/(-44)*48/(-108). Let b = 8 - 3. Suppose 0 = -b*n - i, -5*i = n - 0*i. Is g bigger than n?
True
Suppose 7*t - 20 = 3*t. Let k = t + -9. Which is greater: k or -2?
-2
Let m be (4 - 52/12)*-12. Suppose 3*x + 2*v + 2 = 0, -2*v + m = -0*v. Is x >= -2?
True
Let w = 6 - 9. Let h = w - -4. Let b = -29 + 29.04. Are b and h unequal?
True
Let s be (-1*(-2)/(-4) + 0)*2. Is s smaller than -3/34?
True
Let d be (-2)/((8/(-2))/(-4)). Which is smaller: d or -1?
d
Suppose i + 5*y - 2 + 1 = 0, -4*y = 3*i - 3. Let v(p) = 3*p**3 - p**2 + p. Let s be v(i). Let n be ((-1)/s*-3)/6. Is -1 equal to n?
False
Let u be 9/(-36) + 70/88. Which is smaller: 0 or u?
0
Let b be (-22)/8 - 2/8. Let r = b - -4. Is 1 < r?
False
Let g = 2 - -1. Suppose g*i = k + 16, -5*k - 2*i - 8 = 4. Which is smaller: -5 or k?
-5
Suppose -3*i - 14 = 4*y, 5*i = 4*y + 8 - 10. Let g be -1*5*(-44)/10. Let v = -70/3 + g. Which is smaller: v or i?
i
Let d(i) = i - 5. Let n be d(8). Let w be 1/(-3) + (-2)/n. Is 0 > w?
True
Let k be (-4)/(-10) + 72/(-30). Let h = 4 + -6. Is k bigger than h?
False
Let u = -181/1056 + -1/96. Suppose 2*m = i + i + 4, -3*i - 1 = 2*m. Does i = u?
False
Let m be (-1 - 3) + -6*(-6)/(-12). Let z be (-60)/9 - 2/(-3). Is z equal to m?
False
Let m = 5 + -4. Suppose b = 5*q + m, 0 = -b - 2 + 3. Is q at most 0?
True
Let o = -0.08 + -7.92. Let b = 7.9 + o. Is 0.4 at least b?
True
Suppose 48*q + 18 = 49*q. Are q and 20 non-equal?
True
Let c = 27 - 27.2. Let n = 4.4 - 4. Is n at least as big as c?
True
Let j = -9 + 6. Let x(g) = g**3 + 2*g**2 - 3*g + 2. Let b be x(j). Let n(u) = u**2 - 12*u + 2. Let r be n(12). Do r and b have different values?
False
Let l = -18 + 9. Is -9 greater than or equal to l?
True
Let z be (-2)/10 - (3 - 63/15). Is z equal to -6/23?
False
Let a = 3 - -7. Which is bigger: 11 or a?
11
Let i = 2 + -2. Let h = -620 - -35955/58. Let c = -9/58 - h. Which is greater: i or c?
i
Let o = 0.89 - -0.11. Let c = -0.5 - -0.5. Let k = c - -1. Is o less than or equal to k?
True
Let d be (3 - 1)*(-4)/(-32). Do d and -1 have the same value?
False
Let d be 2/(-8) - (-11)/12. Let q = 0.4 + -10.4. Let a = q + 16. Which is bigger: d or a?
a
Let w = -27 - -17. Is w > -10?
False
Suppose -3*q = 2*q + 2*n - 2, q + 4*n - 4 = 0. Let d(h) = h**2 + 3*h - 8. Let c be d(-5). Let k be (c/(-6))/(1/2). Are q and k equal?
False
Let q = 46/15 - 12/5. Let g = 1 - -1. Is q > g?
False
Let c = 1588/15 - 106. Suppose -6*z + 5 = -z. Which is smaller: z or c?
c
Let d = 6 + -6. Let s = d - -9. Is 10 at most s?
False
Let l = 14 - 13. Is l greater than -2/27?
True
Let i = 15691/84 + -4609/12. Let k = 197 + i. Do -0.08 and k have the same value?
False
Let n(f) = -6*f + 6. Let b(c) = 5*c - 5. Let v(o) = 7*b(o) + 6*n(o). Let y be v(4). Which is smaller: y or -2?
y
Suppose 0 = -4*l + t + 1, -2*l - 4*t - 2 = -2*t. Suppose -a - 1 + 2 = 0. Which is smaller: l or a?
l
Let b = 53/244 + 2/61. Which is bigger: 4 or b?
4
Suppose -5*n + 160 = 60. Suppose 3*a = 7*a - n. Which is smaller: a or 7/2?
7/2
Let b = -0.3 - -1.3. Let s = -2 + b. Let f = -2 - s. Which is smaller: f or 0.1?
f
Let f = -0.5 + 0.49. Let n = 3.99 - f. Let d = 4.1 - n. Which is smaller: -2 or d?
-2
Let m = 29/165 - 8/33. Does -1 = m?
False
Suppose 8*o - 7 = 1. Which is smaller: 3/28 or o?
3/28
Let b(v) = -v**2 - 6*v + 8. Let z be b(-7). Let g = 1 + 0. Let c be g*(2/z - 3). Which is smaller: c or 1/4?
c
Let x = 2.2 - 4.2. Are -0.2 and x unequal?
True
Let h be (16 - 1)*(-8)/(-24). Suppose 35 = 5*k - h*t, 0 = 3*k + 2*k - t - 19. Is 3 <= k?
True
Let x = -6 + 2. Let t(d) = -d**2 - 6*d - 4. Let w be t(-6). Is w >= x?
True
Let u(i) = i**3 - 2*i**2 + i + 2. Let a(t) = 5*t**3 - 9*t**2 + 4*t + 9. Let r(l) = -2*a(l) + 9*u(l). Let v be r(2). Is -3 less than v?
False
Suppose -4*k - 12 = -x, -2*x + 1 = -k - 2. Is -4/3 less than x?
True
Let d = 3 + -2. Let m = d + 5. Suppose -5*s - 7 = -3*b, -3*s = 2*b - 4*b + 5. Which is greater: s or m?
m
Let r = -6 + 9. Suppose -6 = -r*j + j. Which is smaller: 2 or j?
2
Let w = -0.2 - -0.2. Let c = -1 + w. Let z(l) = -l**3 + 19*l**2 + l - 18. Let i be z(19). Is i != c?
True
Let t = -1.4 + -0.6. Which is smaller: 9/5 or t?
t
Suppose -10 = -4*i - 26. Let v be -1 + i/(48/(-9)). Which is smaller: -0.09 or v?
v
Let w(h) = h**2 - 10*h - 22. Let m be w(12). Suppose 3*k + 5*c + 3 = -28, 0 = -5*k + m*c. Let f(o) = 4*o**3. Let d be f(-1). Which is smaller: d or k?
d
Let u = 5 - 3. Suppose 12 = 2*r + u*r + 4*i, 0 = 2*r - 2*i + 2. Which is smaller: 0 or r?
0
Let m = -82 - -163/2. Let g = 41/5 - 169/20. Is g <= m?
False
Suppose n - 6 = -n. Let c(h) = h**3 - h**2. Let j(z) = z**3 - z + 1. Let s(o) = -3*c(o) + 2*j(o). Let b be s(n). Which is bigger: -5 or b?
b
Let r(n) = n**3 - 4*n**2 - n - 2. Let w be r(4). Let d(k) = -k**2 - 6*k + 4. Let q be d(w). Suppose 3*x - q*g = x + 2, 0 = -3*g. Is x > 2/7?
True
Let c be (-3)/4 + 5/(-20). Let n = c - 1. Let b be (-6)/(-21) + n/7. Is b greater than or equal to -1?
True
Suppose -k - 2*k = 0. Is -3/5 at least as big as k?
False
Let d be (721/(-21))/((-1)/(-2)). Let g = d + 68. Let u be (6/10 - 1)*5. Which is smaller: g or u?
u
Suppose f = 2*d - 4, f - 5*d + d + 12 = 0. Let j be ((-1)/6)/(f/16). Let l be (-4)/10 + (-26)/(-40). Are j and l equal?
False
Let d(l) = -l**3 - 7*l**2 - 6*l + 7. Let x(s) = 7*s + 1. Let a be x(-1). Let k be d(a). Does k = 7?
True
Let h = 28/5 - 6. Let q be (5/15 + 0)*-3. Which is smaller: h or q?
q
Let m(c) = c**3 + 10*c**2 + 7*c - 8. Let o be m(-9). Let v = 6 - o. Let r(y) = -y**3 - 6*y**2 + 2*y + 9. Let u be r(-6). Which is smaller: u or v?
v
Let y = 19 - 18. Suppose 2*u - u = 2. Let l be (u/(-6))/(-2 - -1). Is l equal to y?
False
Let g be 86/30 + 14/105. Which is smaller: g or 5?
g
Let y be (-6)/4 + 920/16. Which is greater: -0.1 or y?
y
Let u = -50 + 71. Let g be u/18 - 1/6. Which is smaller: g or -1/4?
-1/4
Suppose -15 = -2*d + 5*o, -3*o - 8 = -2*d + 5. Suppose 0 = g - d, -3*k - 4*g = -20 - 15. Which is smaller: k or 6?
k
Let o(z) = -z**2 - 3*z - 1. Let h be o(-2). Let r be ((-6)/24)/(3/4). Are r and h unequal?
True
Suppose -2804 = 3*l + 4957. Let t = -10409/4 - l. Let f = t - -15. Which is smaller: -0.4 or f?
-0.4
Let c = 4 - 3. Let f = -1.6 + -0.4. Let v = 2 + f. Is v <= c?
True
Let p be (1/6)/(2/8). Let v be (-1)/(-2)*(1 - 1). Suppose 5*i - 5*h - 10 = v, -2*i = -3*h - 0 - 5. Is i >= p?
True
Let o = 1.6 - 2. Let q = o + 0.5. Let p = 0 + q. Which is bigger: 2/3 or p?
2/3
Let d = 0 - 0.1. Let f = d - -0.1. Let w = f - -1. Do 0.1 and w have different values?
True
Let u = 105 - 106. Is u at most as big as 2/325?
True
Suppose 3*u = -2*v + u, -2*v - 4*u = -4. Let p = -44173 - -219996/5. Let q = p + 173. Is q < v?
False
Let l = -8 - -7.7. Let g = -2 - -4. Let u = 1.9 - g. Is u >= l?
True
Let p = 0.13 - 0.13. Is 0.2 at least p?
True
Let z = 0.03 - -1.47. Let b = z - 0.5. Let k = 3 - b. Is -0.1 less than or equal to k?
True
Let p(x) be the second derivative of x**6/360 - x**5/40 - 5*x**4/24 + x**3/3 - 2*x. Let u(r) be the second derivative of p(r). Let k be u(4). Is k equal to 0?
False
Let j be (-240)/234 - 8/(-6). Is j at most 0?
False
Let o = 1 + 1. Let s = o - 0. Let h = 2 - s. Which is bigger: -1 or h?
h
Let t be (4/6)/((-4)/102). Which is greater: t or -18?
t
Let r = -4 + 0. Let n be -6*r/((-8)/(-2)). Is n <= 4?
False
Suppose 0*c = c - h + 13, 4*c + 57 = 5*h. Let z = -5 - c. Are 3 and z unequal?
False
Let n = -121/5 - -822/35. Which is greater: -1 or n?
n
Let n be (-37)/(-17) + (-18 - -16). Is n > 0?
True
Let r = 23 + -38. Let n be (-50)/r*2/(-15). Which is smaller: n or -1?
-1
Let d = -73 + 69. Which is bigger: d or -6?
d
Suppose 2 = -4*k - 6. Let x be (2 + k)*1/2. Is x greater than 0?
False
Let g = -159.95 - -160. Which is smaller: -1.3 or g?
-1.3
Suppose 0 = -3*u - 59 + 23. Is u at least -12?
True
Suppose 12 = -0*g - g. Is g at most as 