 b?
False
Let k be 4 - 1 - 0/(-1). Suppose 8 = h - 4*i - 8, 3*i - 33 = -3*h. Suppose 6*d - h = k*d. Does 4 = d?
True
Let x = -407 - -199. Let k be 1/(-2) + (-136)/x. Which is greater: 1 or k?
1
Let t be 1 + (-1)/(-4)*0. Is 2/19 < t?
True
Let f be (-3 + (-58)/8)/(-1). Let h = f - 279/28. Are -1 and h equal?
False
Let a = -143 + 144. Which is greater: 77 or a?
77
Let o = 33 - 63. Let x be 1 + 0 - o/(-54). Which is greater: 1 or x?
1
Suppose 0 = -4*r - 2*b - 408, 3*r - 2*b + 319 = 3*b. Which is greater: -102 or r?
-102
Suppose -39 + 4 = -5*b. Is 6 < b?
True
Suppose -7*i + 8 = -3*i. Let o = -3 + i. Is -2 less than or equal to o?
True
Suppose 0 = -x - 3*k + 11 + 13, -4*x - 5*k + 110 = 0. Suppose -3*o + x = 4*u - 9, -3*u + 30 = 3*o. Are u and 9 unequal?
False
Let j be (2/(-7))/(2/(-14)). Let l(i) = i**j + 2 - 6 - 2*i + 1. Let m be l(3). Is -3/5 < m?
True
Suppose 5*c - 21 = -1. Suppose -7 + 4 = -3*m. Let v = m - -1. Is c >= v?
True
Let u be (-5 - -1*2) + 2. Let g = -2 + u. Which is bigger: -2 or g?
-2
Suppose -4*m = 2*z + 14, 4*z = 5*m + z - 10. Which is greater: 1/6 or m?
1/6
Let c be 4/(4/(-11)) - 2. Let q(b) = -b - 11. Let d be q(c). Let h be 2*(15/d)/(-5). Are -3 and h unequal?
False
Let u(v) = 5*v - 25. Let s(b) = -2*b + 12. Let x(l) = 7*s(l) + 3*u(l). Let p be x(-4). Let n be 6/15 - 3/p. Do n and -1 have the same value?
False
Let g be 27/36 + 1/4. Let v = -83/35 - -14/5. Which is smaller: g or v?
v
Suppose 0*n + 20 = 5*n. Suppose n*j - j = 15. Suppose 3*g - 15 = -5*f - 0, g = -j*f + 15. Which is greater: 0.1 or g?
0.1
Let v be (-2)/3*(-3 + 0). Let z = v - 0. Is 2 greater than z?
False
Let m(t) = t**3 + 7*t**2 + 7*t + 1. Let z be m(-5). Suppose 3*o + z = 4*a, -a - 5*o - 11 = 8. Is -1 > a?
False
Suppose 4*h - 5*m + 3 + 0 = 0, -4*m - 3 = -5*h. Suppose h*a + 0 = -12. Let p be (-9)/(-2)*a/6. Is p smaller than -3?
False
Let q = -4048 - -2047. Let v = -10117/5 - q. Let s = 22 + v. Is -2 at least s?
False
Let k be (-24)/18*(-3)/30. Which is bigger: k or 0.3?
0.3
Let o = -4.9 - 1.5. Let u = o - -6. Let k = -2.9 + 3. Which is greater: k or u?
k
Suppose -4*k - 3*m - 2*m - 3 = 0, 0 = k + 4*m - 2. Let j be (-18)/(-4)*-1 - -2. Is k bigger than j?
True
Suppose 30 - 170 = -5*j. Let z be (0 + 4)*j/8. Let u be 1 + (-48)/z - -3. Is 0 < u?
True
Suppose 0 = o + 3 - 6. Let b = o + -3. Let d(v) = -v**3 + v + 1. Let u be d(b). Which is smaller: 2 or u?
u
Let p(n) = 2*n**3 - 10*n**2 + 4*n - 6. Let v be p(5). Do v and 14 have different values?
False
Let v = -53 + -11. Let a be v/(-5) + 11/55. Is 12 < a?
True
Let q(l) = l**3 - l**2 + 2*l - 2. Let m = 3 - 1. Let v be q(m). Suppose 2*f = -f + v. Are -1/3 and f non-equal?
True
Let x = 0 + -0.2. Let t = -0.3 - x. Which is greater: t or 2/5?
2/5
Let d = 43.8 + -0.8. Are -2 and d unequal?
True
Let l(b) = -b**2 - 6*b + 4. Let a be l(-6). Suppose a*z = 3 + 5. Let s be 0 + z + (-13)/6. Is 1 < s?
False
Let x(o) = -7 - 3*o + 2*o + o - o**2 + 8*o. Let q be x(5). Suppose w = -w - q. Is -5 greater than w?
False
Suppose 2*f - f = 2. Suppose -f*z = -6*z + 4*r, -4*z + 3*r = 0. Suppose z = -a + 2, -n + 2 + 4 = 3*a. Are n and 1/7 equal?
False
Let a = -1480/19 - -78. Which is bigger: 1 or a?
1
Let z be (-2)/(-10) - (-117)/15. Let c = -5 + z. Suppose 0 = 2*b + b - c. Do b and 3 have different values?
True
Let r be ((-12)/(-35))/(3/10). Are r and 1 unequal?
True
Let d(t) = t**3 - 3*t**2 - 3*t - 3. Let o be d(4). Let p be (3/(-6))/(189/30). Let y = p - -2/9. Which is greater: o or y?
o
Let x be 10/((-2)/(-6) - 20/15). Which is bigger: -4 or x?
-4
Let c = -10.1 + 3.1. Which is smaller: 0.3 or c?
c
Let y be 6*(2/(-3))/1. Let w be -4 - y - 14/4. Let f(m) = m**3 + 4*m**2 + 2*m + 5. Let u be f(-4). Is u > w?
True
Let c = 117 + -120. Is -6 smaller than c?
True
Let w(z) = z**3 + 5*z**2 - z - 6. Let o be w(-5). Let v be 1/1*2*o. Let s be (-2)/(-8) - v/(-8). Which is greater: 1/2 or s?
1/2
Let u be (-1)/(-33)*-3*(4 - 2). Let f(p) be the first derivative of -p**4/4 - p**3 - p**2/2 - 2*p + 1. Let x be f(-3). Which is smaller: u or x?
u
Let w(l) = -l + 4. Let j be w(-4). Let d = 2 - j. Let x be (6/(-108))/(2/d). Is x less than or equal to 1?
True
Let x = 0.15 + -0.05. Is x at most 2/3?
True
Let b = 78 - 142. Is b less than -62?
True
Suppose -5*b = -b + 8. Let j(s) = -2*s**3 - 2*s**2 + s. Let q be j(1). Let c = b - q. Which is smaller: c or 2?
c
Let i be 0 + -1 + (3 - -2). Let x = -168/5 + 38. Is x < i?
False
Let c(k) = -3*k**3 - 3*k**2 - 2*k. Let t be c(-1). Is 4 bigger than t?
True
Let u = -4 + 5. Are 2 and u non-equal?
True
Let z(q) = -q**3 - 4*q**2 + 7*q + 3. Let t be z(-5). Let s = -48/7 - t. Is 1/4 smaller than s?
False
Let g = 0 + -5. Let o = g + 10. Is 4 at most as big as o?
True
Let x be (-2)/16*(-1 - 57). Let p = 211/28 - x. Suppose -15 = 4*g - 7*g. Which is bigger: p or g?
g
Suppose 5*u = 2*g + 10, 0*u = 3*u + g - 6. Let q be ((-6)/(-21))/(3 - u). Which is smaller: -0.04 or q?
-0.04
Let y(d) = d - 6. Let s be y(6). Let l = 37 - 183/5. Is s > l?
False
Suppose 0 = n - 4, 2*z = -2*z + n + 4. Let a(j) = j**2 - 1. Let f(s) = 4*s**2 + 5*s - 4. Let b(q) = -3*a(q) + f(q). Let h be b(-5). Which is greater: z or h?
z
Let y be 6/28*331/9. Let w = 54/7 - y. Which is greater: w or 0?
0
Let c be -3*((-3)/21 - 0). Is c greater than or equal to -1?
True
Let o = -38 - -35. Which is greater: o or 3?
3
Let y be (-3 - 1)*(2 + -1). Let b = 2 - -5. Let n = -9 + b. Which is smaller: y or n?
y
Let t = 54 + -40. Do 0 and t have different values?
True
Let t be (-4)/1 - 2093/(-525). Are t and 1 equal?
False
Let k(u) = -4*u - 7. Let h be k(-2). Let p be 2 + 2*2/(-12). Which is smaller: h or p?
h
Suppose -17 = -5*s - 2*y - 2*y, -s - y + 3 = 0. Is 5 not equal to s?
False
Let z(o) = 2*o - 4. Let h be z(5). Let a be (-1 + -2)*(-4)/h. Suppose 3*d + 1 = -a. Which is smaller: d or 0?
d
Let t = -321/469 - 2/67. Which is bigger: t or 0?
0
Let s = -15 + -11. Is s greater than -25?
False
Let s = 21 - 12. Is 8 less than or equal to s?
True
Let v = 16.91 + -17. Do v and 2/5 have different values?
True
Suppose g = 6*g + 3*d + 10, -d - 2 = 3*g. Let h be 74/(-35) - 8/28. Let k = -11/5 - h. Is k < g?
True
Suppose -f - 3 = 2*v, 5*f = -0*v - 5*v + 5. Suppose 6 = -5*w + 1. Which is smaller: v or w?
v
Suppose 0 = -5*x - 398 + 13. Let h be 4/10 + x/105. Which is bigger: h or 0?
0
Let r(t) = -t. Let k be r(-4). Suppose -4*g - 30 = -5*p, -2*p + 22 = -k*g - 14. Which is bigger: g or -11?
g
Let a(o) = o**2 - 8*o - 33. Let k be a(-6). Is 51 bigger than k?
False
Let a = 1 + -3. Suppose 2*k - 4*g + 22 = 0, -3*k + 2 = -4*k - g. Let s be (6/k)/3*5. Is s not equal to a?
False
Let w(q) = q + 7. Let l be w(-6). Which is smaller: l or 1/8?
1/8
Let t = -2.5 + -0.5. Let x = t + 3. Is x at least as big as 2?
False
Let q = -31 + 31.4. Let x = -0.6 - -0.3. Let v = x - -0.2. Which is greater: v or q?
q
Suppose -6 = -t - 0*t. Suppose -2*n + n = -4*i + 16, 5*i = 5*n + 5. Which is bigger: t or i?
t
Let g = -13 - -2. Let f = 16 + g. Which is greater: 1 or f?
f
Let r = -24 + 21. Are r and -2/7 nonequal?
True
Let h = 0.0002 - 2.9302. Let u = h + -0.07. Let w = 253/3 + -85. Which is bigger: u or w?
w
Suppose 0 = -3*u + 2 - 17. Let y be (3 - (u + 3))*1. Which is smaller: y or 4?
4
Suppose 0 = t + 2*t - 6. Suppose -2*h - 2*i - 6 + 4 = 0, 2*h - t*i = 10. Which is greater: 3 or h?
3
Suppose -2*o - 4 = 0, -5*p - 2*o = 3*o + 85. Let v be (-33)/p - 2/10. Let j be ((-6)/(-8))/(2/8). Which is smaller: v or j?
v
Let l be ((-6)/15)/((-2)/10). Let v = l - 5. Let m = 3 + v. Is m greater than 1/2?
False
Suppose -31 = -5*p + 4*y, 3*y = 6*y + 12. Suppose 0 = -5*i - 5*j, -i + 3*i + 6 = 4*j. Let z be -2*(-2 - i)*1. Which is smaller: p or z?
z
Let z(n) = 9*n + 3. Let m(v) = -5*v - 2. Let b(d) = -11*m(d) - 6*z(d). Let f = 6 + -11. Let g be b(f). Is 0.1 greater than or equal to g?
True
Let u(j) = -j**3 + 5*j**2 + 6*j. Let a be u(6). Let b(s) = s**3 - 7*s**2 - 6*s - 4. Let t be b(8). Let g be 17/t - (-9)/(-12). Is a != g?
True
Suppose 0 = u - x - 2, 2*u + 4*x = -u - 1. Let q be ((-4)/6)/(1/(-3)). Suppose -k = k + q. Which is bigger: k or u?
u
Let w(d) = d**3 - 3*d**2 + d - 1. Let r be w(2). Let s be (1/1 - 1) + r. Let b be (-10)/(-4)*6/(-5). Is s <= b?
True
Let n be 6/(-39) + 2/13. Let w = 2 + -1. Let m be n - 1/(-2)*w. Is 2 greater tha