 p(0). Do b and 1/4 have different values?
True
Suppose o - 3*f = -4*f - 4, 2*o + 11 = -3*f. Suppose 0 = -3*k - k. Suppose k = -3*c - c + 3*y - 15, 0 = -2*c - 2*y - 4. Is c != o?
True
Suppose -9 = -5*a + 2*a. Let i = a + -5. Which is bigger: -4 or i?
i
Let b = -23159/68 - -1359/4. Let z = b + 157/170. Let k = 0 + 1. Which is greater: k or z?
k
Suppose -2*a = -4*a + 14. Let h(f) = f - 7. Let w be h(a). Suppose -4*x - 3 - 4 = -3*r, w = 4*x + 2*r + 2. Which is smaller: 3 or x?
x
Let p = -114 - -111. Which is smaller: p or -24/13?
p
Let k be (-360)/(-84) + 4/(-14). Is 4 >= k?
True
Let b = 4 + -1. Suppose 0 = q - b, -x - 4*q = x - 8. Let s(f) = f**3 + f**2 - 4*f - 3. Let u be s(x). Is -1/5 at most as big as u?
True
Let q be 1 - (-2)/((-10)/7). Let d = -39 + 38. Is q < d?
False
Suppose 40 = -7*s + 2*s. Let t = 6 + -7. Is s at least as big as t?
False
Let u = 0.62 + -0.6. Let b = u + 0.18. Is b <= 1?
True
Suppose -5*l + 10 = -2*t, 3*l - l - 15 = 3*t. Which is smaller: -6/7 or l?
-6/7
Let i be 6 + -3*(-4)/(-3). Suppose -3*a - i = 1. Which is smaller: a or 2/3?
a
Suppose i - 3 - 5 = 0. Let m = -11 + i. Which is smaller: m or -4?
-4
Let r = 6 + -3. Let s be -1 + (26/6)/1. Do s and r have different values?
True
Let h = -2.1 + 2. Suppose -4*y - 1 = -5. Which is bigger: y or h?
y
Suppose 2*c - 2*t = 4, -3*c - 5*t + 15 = -7. Suppose 0*b + 2*b = 0. Suppose 17 = -3*d + 4*d - 3*x, b = -5*d + 2*x + 33. Is d less than or equal to c?
False
Suppose -n = -2*n. Let y = 39 - 19. Suppose n = -2*x - 2*x + y. Is 5 equal to x?
True
Let l = 2249/5 + -450. Let w = 10 - 6. Suppose 2*p + 0*h + 5*h = -27, -w*p = -3*h - 11. Which is greater: l or p?
l
Let n be 20/(-8) + (1 - -1). Let q be (1/2)/((-2)/4). Which is smaller: q or n?
q
Let s = -122.8 + 125. Is 0.1 greater than s?
False
Let r = 0.15 + -0.05. Which is smaller: r or 0.08?
0.08
Let w = 126 - 884/7. Let l = 0.1 + -0.3. Is w greater than or equal to l?
False
Let o = -167 - -333/2. Is 2/3 at most as big as o?
False
Let q(f) be the first derivative of f**2/2 + 5*f + 4. Let l be q(-6). Which is greater: -4/5 or l?
-4/5
Let s = 0.047 - 1.047. Let y be 1/(-1 + 0)*5. Which is smaller: y or s?
y
Let q = -26 - -56. Let m be q/(-50) - 4/(-10). Let b be 0*(1*-2 + 1). Is b smaller than m?
False
Suppose s = 2 - 1. Let r be (-1)/((0 - s)*1). Suppose 5*w - 6 = -r. Which is smaller: w or 4?
w
Let y(k) = -k - 6. Suppose 5*o = -3*h - 47, h = -3*o - 0*h - 25. Let p be y(o). Which is smaller: 3 or p?
p
Let k be 0 - (-1)/(-3)*0. Suppose k = -2*s + 3*p - 0*p + 19, 0 = -5*s - 3*p - 5. Let c be (-3)/(-21)*-1*s. Does c = 1/4?
False
Let q = 3 + -2.9. Let m = -240 + 2637/11. Which is smaller: q or m?
m
Suppose -4*v = v + 5. Let s be 4*((-12)/(-4))/(-78). Are s and v unequal?
True
Let v be (-2 - 4)/((-6)/(-8)). Let j = v - -5. Let r be (1 - 5)*1/2. Which is smaller: j or r?
j
Let d = -5 + 4. Let h be (d/5)/(5/(-25)). Which is greater: 2 or h?
2
Let o = -6 + 10. Suppose 4*x - o*a = x - 15, x - 5*a = -16. Let u = -0.5 - -0.3. Which is smaller: x or u?
x
Let o(y) = y**2 - 7*y + 7. Let q be o(6). Let n be -1*(1 - (-1 + 2)). Do q and n have the same value?
False
Let j(n) = 176*n + 3. Let g(y) = -44*y - 1. Let s(w) = -9*g(w) - 2*j(w). Let u be s(-2). Let d = u + 429/5. Is d at least as big as 1?
False
Suppose -86 = 5*o + 2*q + 2*q, -4*q + 40 = -4*o. Which is smaller: -15 or o?
-15
Let i = 30.2 + -30. Is i < -1?
False
Let s be (3 - (-2 + -1) - 4)/(-2). Is 2/53 < s?
False
Let g = -8187/13 + 629. Which is smaller: g or 0?
g
Let j = -43 + 46. Let m be ((-11)/2)/((-1)/2). Suppose -2*b + s + 6 = 3*s, 3*b - m = -s. Which is greater: b or j?
b
Let r be (-18)/5 + 2/(-5). Let m be (-3 - -3)/(0 + -1 - 1). Let j = m - r. Do j and 5 have different values?
True
Let r(g) = 2*g + 1. Let z be r(-1). Let m = z + 0. Let h be (-12)/(-20)*m/(-3). Which is bigger: -1 or h?
h
Suppose 77 = -5*u + 397. Which is bigger: 65 or u?
65
Let u be (2 - 16 - 0)*2. Is -27 at least as big as u?
True
Let l = -0.24 - -0.14. Is l != -0.3?
True
Let k be 8/(-20)*(-6)/4. Suppose -4*v - 18 = -14. Which is greater: v or k?
k
Let v(y) = -6*y**3 - y**2 + 2*y - 2. Let q be v(2). Does -50 = q?
True
Let q = 2 - 0. Suppose 3*g - q*g = -3. Is -4 at least g?
False
Let o = 24 - 24. Is o at least as big as -2/3?
True
Let i be (4/6)/(7/(-21)). Is i smaller than -3?
False
Let f be 4/(-10) - 2/45. Let h = -324 - -324. Which is smaller: h or f?
f
Let z be 2/4 - 91/126. Let h = 25/72 + z. Let y = -2 + 2. Does y = h?
False
Let u = -42.1 + 42. Which is smaller: -0.8 or u?
-0.8
Let i be 42/8 + (-4)/16. Suppose i*k - m - 20 = 0, 4*m + 10 = 2*m. Suppose 0 = 3*l + 3, -3*o = -o - k*l - 5. Is o < 0?
False
Let w be 4*((-38)/(-8) - 4). Suppose -5*d - w*x - 22 = -1, -3*d - x - 11 = 0. Which is bigger: d or -1?
-1
Let j be (-4)/6*9/(-12). Suppose -9*p + 85 = 67. Is p equal to j?
False
Let o = -1 + -6. Let v(h) = -18*h**2 - 10 + 7*h + 46*h**2 - 11*h**2 - 16*h**2. Let x be v(o). Does x = -9?
False
Suppose 0*q - 3 = 5*c - 3*q, -2*c + 4*q + 10 = 0. Let v be 1/(2 + c) - 1. Which is greater: v or -3/2?
-3/2
Let u be 4/14 - (-82)/7. Let c be (0 - -2)/(u/(-78)). Let o = c + 51/4. Are o and -7 equal?
False
Suppose 0*l = 2*l - 2. Suppose 2*a = -2*a. Does l = a?
False
Let i = 0 + 6. Let b be (-2)/(-6)*i/8. Which is smaller: b or 1?
b
Let f be 1 + 4/(-4) + 23. Let r = f - 19. Do r and 5/2 have different values?
True
Let g(t) be the first derivative of -t**3/3 + 3*t**2 - 4*t + 1. Let x be g(3). Suppose 0 = b - v + 1, x*b + 0*v - 2*v = 7. Which is smaller: b or 4?
b
Let h = -11 - -7. Which is smaller: -1 or h?
h
Suppose -19 - 6 = -5*b. Suppose -2*w = b + 3. Is -7 < w?
True
Let v = -30/23 - -4036/3059. Let h = v - -36/133. Is 2/5 < h?
False
Suppose r = -3*v + 11, 5*r - 2 = -4*v + 31. Let y = 11 + -6. Suppose -y*o - 1 = -6. Is o at most as big as v?
True
Let g = 64.1 + -60. Let u = g - 4. Let h = -0.3 + u. Are 0.1 and h nonequal?
True
Let b(m) = -4*m**2 + 3*m + m**3 + 0*m - 3 - 1. Let c be b(5). Let l = -107/3 + c. Is l less than or equal to 1?
True
Suppose 3*l = 2*l - 0*l. Which is smaller: l or -1/8?
-1/8
Let g be (3 - 1)/(6/9). Let y be (-2)/g - 84/(-99). Is y equal to 0?
False
Let u = 0.45 - 0.35. Is -5 <= u?
True
Suppose -8*k + 5*k - 9 = 0. Let i be k/9 - (-2)/18. Which is bigger: i or 1?
1
Let t be 4/1 - (3 - -3). Which is smaller: -8/9 or t?
t
Suppose 0 = 6*q - 5*q - 3. Suppose 6 = 2*d - 0*d. Suppose q = 3*g - 6*g + d*s, 2*s = 4*g + 4. Which is greater: g or 0?
0
Let u be 6/(-21) + (-455)/(-49). Which is bigger: u or 17/2?
u
Let s(x) = x + 1. Let d be s(0). Let o(v) = v + 1. Let i be o(-2). Let f = i + 2. Is d not equal to f?
False
Let o(y) = -y**3 - 5*y**2 - y - 4. Let q be o(-5). Let l(a) = a - 2. Let s be l(5). Which is smaller: q or s?
q
Let f(i) = 10*i + 352. Let q be f(-35). Suppose -2*k = -3*k + 5*n + 30, 5*k = -5*n. Suppose -4 = 3*y - k*y. Is q >= y?
True
Let m = -41 - -41.2. Is m less than or equal to -18?
False
Let n be 2*(-9)/(-6) + -3. Let s be 6*-1*3/(-93). Let t = -156/155 - s. Which is smaller: n or t?
t
Let p = 3 + -4. Let v be (-4)/9 + (-6)/27. Which is smaller: p or v?
p
Let l be 3 - (9 - -1)*1. Let w = 8 + l. Let u(q) = -3*q + 1. Let t be u(w). Is -3/4 at most as big as t?
False
Let b = 32 + 8. Let q be 2/8 - (-30)/b. Are q and 10/9 unequal?
True
Suppose 4 = 3*a + n, -5*n - 36 + 14 = a. Suppose -5*y = -w + 4*w - 18, -y = -3*w. Is y less than a?
False
Suppose 4*r = -0*r + 8. Let x be (-1)/((-9)/6 + r). Let g = x - -2. Is g less than or equal to 0?
True
Let f = 106/1121 + -18/59. Let b = f - 26/57. Let l = -1.6 + 0.6. Is b < l?
False
Suppose j + 2*j = 0. Which is smaller: 2/23 or j?
j
Suppose 0 = -2*z - 0 + 6. Let b be -5*((-12)/50)/z. Let v = -1/72 + 149/360. Is v less than or equal to b?
True
Let q = 0.13 + -0.23. Let a(l) = -l**2 - 2*l - 1. Let v be a(-2). Let t = v + 4. Is t > q?
True
Let t = 4/5 + -2/3. Let d = 10 + -2. Suppose -r - 3*c + 0 = d, -c - 2 = r. Is r < t?
False
Suppose -3*x = 2*x. Suppose 0 = z - x*z + 5. Which is greater: -4 or z?
-4
Suppose -3*z + 35 = 2*d, -4*d - 51 = -7*z + 2*z. Is z bigger than 11?
False
Suppose -z = -2*f + 1 + 75, 0 = 2*z - 4. Let p be ((-3)/f)/(2 - 1). Which is smaller: 0 or p?
p
Let j(b) = b**3 - 3*b**2. Let f be j(3). Suppose 2*n + 18 = -0*n. Let z = n + 44/5. Is z s