+ 38/3. Which is smaller: 1 or b?
b
Let p(o) = -o + 3 + 8*o**2 - o**3 + 5*o**2 - 5*o**2. Suppose 5*s - 2*i = 63 - 13, 3*i = 3*s - 39. Let t be p(s). Which is greater: -4 or t?
-4
Let w be (-1 - 2)*1 + -268. Let u = -3521/13 - w. Which is smaller: u or 0.1?
0.1
Let m = -7/10 + 1/5. Is m smaller than 0?
True
Let f be 848/84 - 12/28. Is 10 != f?
True
Let a(y) = -y**2 - 1. Let f be a(1). Let u be 3/(6/4 + 0). Which is bigger: f or u?
u
Let i(l) = -4*l + 64. Let w be i(16). Is 0 not equal to w?
False
Suppose -3*v + q = -21, -9 = -2*v + 4*q + 5. Suppose -5*l + 10 = y - v, -5*y + 4*l = 2. Is y < 2?
False
Suppose 29 + 15 = 11*d. Which is smaller: d or 32/11?
32/11
Suppose -4*c - 20 = 12. Let d be -3*(14/3 - 2). Is d <= c?
True
Let x(a) = -3*a - 5. Let r be x(-4). Let k be (-432)/(-42) - 2/r. Suppose 0 = -8*h + 3*h - k. Is -2 greater than h?
False
Let a be 2/(-20) + 0/1. Let y = -2/5 + a. Suppose 0 = m - 2, f = -0*m - m - 2. Does f = y?
False
Let v be 12/(2 + 1) + 57. Let j = 304/5 - v. Is -7 smaller than j?
True
Let l = 1450/21 + -206/3. Which is greater: l or -1?
l
Let b be 4 - 13/3 - 140/(-6). Do 23 and b have the same value?
True
Let o = -30 - -29. Is o at least -9/8?
True
Let i(r) = 4*r**2. Let b be i(1). Suppose 7*d + 48 = b*d. Let w be (-1)/3*(-12)/d. Which is greater: -1 or w?
w
Let u(c) = -2*c - 42. Let p be u(-21). Is -2/57 at least p?
False
Let g = 0.03 + -4.03. Let d = g - -5. Which is bigger: 4 or d?
4
Suppose 5*h + 5*x = -70, 4*h = -x - 46 + 2. Let f = h + 6. Which is bigger: f or -0.1?
-0.1
Let f(p) = -8*p - 9. Let z be f(7). Let b be 64/135 - (-26)/z. Which is smaller: 1 or b?
b
Suppose -2*w + 1 = 13. Let m = -4 - w. Are m and 0 nonequal?
True
Let r(o) = 4*o - 1. Let a be r(1). Let j be (a/3 + -2)/1. Suppose 2*x + 3*p = -6, x + 3*p - 3 = -9. Is x at most as big as j?
False
Let p = -65 - -65. Which is greater: -47 or p?
p
Suppose -6 = -5*c + 4. Suppose -3*a + 16 = -5*x, -2*a + 6*x - 2*x = -12. Is a at least c?
True
Let w(j) be the second derivative of 2*j**3/3 - 2*j. Let s be w(3). Let y be 2*((-22)/s - -2). Which is smaller: y or 1?
y
Let y(l) = l**2 + 4*l + 3. Let g be y(-3). Suppose g*x - x + 1 = 0. Let m be 10/15 + 32/(-30). Which is smaller: m or x?
m
Let s = -0.01 - 0.01. Let g = 3.98 - s. Let u = 3.9 - g. Is 2/3 smaller than u?
False
Suppose 3*i = 5*u + 699, 4*u = 3*i - 7*i + 964. Let j be ((-4)/i)/((-6)/14). Is -1 less than j?
True
Let c = 38.1 + -38. Let k = -18.11 + 18. Which is bigger: c or k?
c
Let z = 23 + -21.9. Let x = z - 1.2. Which is greater: x or 0.09?
0.09
Let l = -258 - -214. Which is smaller: l or -2?
l
Let w(x) = x**2 - x. Let r be w(0). Let t be r + 3*(-3)/(-405). Let v = t - -1/5. Which is greater: v or 0?
v
Let z = 0.76 + -33.76. Is z equal to -2/7?
False
Let l = -44 + 44.05. Which is smaller: -4 or l?
-4
Let b be ((-32)/15)/8*15/10. Which is smaller: 1 or b?
b
Let x = -3 - -2. Is 2/45 equal to x?
False
Suppose -4*b + b = -9. Let d be 9/15 + b/(-5). Suppose 3*c - 4*s - 7 = 0, d = -5*c - 5*s + 3 - 38. Is c not equal to -3?
False
Suppose f = -4*a + 45, a - 7 = -0*a + 4*f. Let v(j) = -j**2 - 7*j + 17. Let p be v(-8). Which is greater: a or p?
a
Let y(z) = -z**3 + 4*z**2 - 2*z - 2. Let u be y(3). Let x be 10/4 - (-1)/(-2). Let f = x - u. Which is smaller: f or -2/11?
-2/11
Let a = -0.6 - 0.1. Which is bigger: -1/2 or a?
-1/2
Let o = 10.3 - 0.3. Let y = o + -11.1. Let v = -1 - y. Do v and 1/4 have different values?
True
Let b = -54 + 53.84. Is 2/11 less than b?
False
Suppose 0 = r - w - 1, -5*r - 31 = 2*w - 8. Let o = 29 - 21. Let b = o + -11. Is b at most r?
True
Let s = -1582/15 - 659/45. Let b = 120 + s. Which is smaller: 0 or b?
b
Let j = 4.97 + 0.03. Let i = 5 - j. Let l = -0.4 - -0.2. Which is bigger: i or l?
i
Let r be ((-2)/(-84))/(2/507). Let d = 250/13 + -701/52. Let m = r - d. Which is smaller: 1 or m?
m
Suppose -5*o = c - 6, -7*o - c + 2 = -4*o. Suppose 0 = 4*t + o + 6. Let x = t - -4. Which is greater: x or 1?
x
Suppose 4*r = -5 - 19. Is r > 0?
False
Let x be ((-5)/4)/(3/(-12)). Suppose -x*s = -4 - 1. Let r be 1/(-2) - 6/(-4). Is s < r?
False
Let q be 12/2*(5 + -5 - 6). Which is bigger: -35 or q?
-35
Let f be 2/((-9)/((-621)/(-1140))). Let d = f - 3/38. Does -1 = d?
False
Let p(i) = 5*i**3. Let c be p(1). Let a(v) = -v**3 - 7*v**2 - 6*v + 4. Let r be a(-6). Which is bigger: c or r?
c
Let a = -7 - -3. Let u be (2/a)/(2/(-4)). Let t be u + 11/(-4) + 2. Is t at most 0?
False
Suppose z - 14 = 3*n, -5*z - 2*n - 14 = -z. Which is smaller: z or -5/11?
z
Let j = -766/5 + 150. Is j smaller than -3?
True
Let d = 0.1 + -0.3. Let l = -5 + 5.3. Let s = l + d. Which is smaller: s or 1?
s
Suppose 26*z + 445 = 31*z. Which is greater: z or 90?
90
Let u = -941 + 1346. Let o be (12/u)/(6/(-15)). Which is greater: -1 or o?
o
Let x = -2.07 - -0.07. Which is smaller: x or 2/23?
x
Let a be 102/16*98/(-3). Let y = 207 + a. Is -2 bigger than y?
False
Let z be (-106)/(-228) - (-1)/6. Is z at least as big as 2?
False
Let s(q) = q**3 - 3*q**2 - 7*q + 2. Let b be s(5). Suppose 4*a + i + 25 = 0, i + 2 = 4*a + b. Let r be (-2)/7 + a/7. Is r smaller than -2/15?
True
Let w be (4/6)/(3/360). Suppose 2*y + w = -3*y. Let x be (4/y)/((-1)/(-2)). Is x less than -2?
False
Suppose 4*g + 2 = 2*g. Is -2/7 >= g?
True
Let t(g) = 5 + 3*g - 4 + 3*g - 3*g. Let q be t(-2). Which is smaller: -0.1 or q?
q
Let q(g) = 0 - 14*g**2 + 13*g**2 - 4 - 5*g. Let p be q(-4). Which is greater: p or 1?
1
Let p = -8 - -7.93. Let o = p + -0.03. Is 1/2 less than o?
False
Suppose 3*v + 2 = 9*k - 4*k, 0 = -3*k - 2*v - 14. Is -4 < k?
True
Suppose -2*v = -1 - 21. Let d(w) = w + 3. Let l be d(7). Which is bigger: l or v?
v
Let v be ((-6)/(-8))/((-8)/64). Let o = 9 + v. Suppose -12 = -x - o*x. Is x less than 3?
False
Let d(f) = 2*f - 3. Let o be d(4). Suppose 0*l - o*l = 0. Which is greater: l or 2?
2
Let n = -14 + 14. Is 3/10 < n?
False
Let s = -5 - -10. Let f = s + -4.7. Let z = -0.2 + f. Do z and -2 have different values?
True
Let b = -0.1 - -0.3. Let o = 1.4 + -1.8. Let n = o + 0.5. Is b at least n?
True
Suppose -g + 0*z = 3*z + 35, -4*z = 5*g + 142. Let r be g/(-6) + 2/(-6). Is r equal to 3?
False
Let t be 1 - -39*(-3)/108. Is t < 0?
True
Let g(b) = -b**2 + 3*b + 3. Let c be g(3). Let f = -0.41 + 3.61. Let t = f - 3. Is c not equal to t?
True
Let h(o) = -o**3 + o**2 + 1. Let j(y) = -y**3 + y**2 - y. Let g(n) = 2*h(n) - j(n). Let p be g(0). Let w be -1 + p/6*3. Which is smaller: 3/5 or w?
w
Let x(j) = j**2 - 3*j + 2. Let b be x(4). Suppose -b*y - 1 = 23. Which is bigger: -6 or y?
y
Suppose -l = -5*v + 20, -2*l - 2*l = -2*v + 26. Let s be (-2)/l - 0/(-3). Suppose -9 = -g - 5*h, -5*g + g = 2*h. Which is smaller: s or g?
g
Let z = -2 - -2.2. Let n = -0.07 + -1.73. Let i = n - z. Is -0.1 < i?
False
Let z be (37/19)/(-1) - -2. Let p(o) = o + 2. Let f be p(-1). Is f not equal to z?
True
Let g = 54.67 + -56. Let v = g - -1.4. Which is greater: v or -0.1?
v
Let x be (-2 - -5 - 6)/(-3). Is x at least -3/11?
True
Let u(c) = c**2 - 4. Let r be u(-3). Suppose q + 6 = -2*w, -q - 1 - 9 = 3*w. Suppose 26 = r*v + q*g, 2*v + 3*g - 10 = 7. Is 3 less than or equal to v?
True
Let t = -0.65 + 0.05. Let d = 0.6 + t. Which is smaller: d or 1?
d
Let s(o) = -2*o - 3. Suppose -1 = m + 2. Let j be s(m). Which is greater: j or 0?
j
Let f be (-1)/2 + (-3)/2. Let x be (1 - 1)/(f - -4). Let l = 0 + 0. Is x smaller than l?
False
Let r = 4.2 + -11. Let u = -0.8 - r. Which is greater: 0 or u?
u
Let o(h) = -h**3 + h**2 + 3*h + 1. Let x be o(-2). Let c(z) = z**3 - 26*z**2 - 58*z + 63. Let f be c(28). Do x and f have different values?
False
Let q(f) = -f + 20. Let j be q(15). Is 4 equal to j?
False
Let k = -36 - -39. Are k and -4 nonequal?
True
Let y = -0.2 + 0.3. Let s = 3 - -2. Suppose 4*p + s*w = -7, 0 = -4*w - 11 - 1. Which is smaller: y or p?
y
Let x = 22 - 22. Which is greater: -1/6 or x?
x
Suppose 0*g + o + 28 = 4*g, 2*g - 8 = -o. Suppose g*d - d = -30. Let z(c) = -c**2 - 7*c - 4. Let s be z(d). Which is bigger: s or 1?
s
Suppose 5 = z - 16. Let m be (-4)/10 + z/15. Does 2/13 = m?
False
Let w = -7 + 14. Suppose -5*v + w = 37. Let c = -17 + 10. Is v at least c?
True
Let o = 16 - 49/3. Let v(q) = q + 1. Let w be v(-1). Is w > o?
True
Let n = 0.1 - 0. Suppose 0 = y - 3 - 3. Let q = y + -20/3. Which