 p and x have different values?
True
Let t = -25 - -26. Are 2 and t nonequal?
True
Suppose 1 = -2*x + 9. Suppose h + 6 = -2*p, 4*p = -h - 8 - x. Let c be p/(-3) + 1*-2. Which is greater: c or -2/13?
-2/13
Let k = 0.1 - -0.9. Let c = k - 0.7. Let z = c - 0.2. Which is smaller: -0.01 or z?
-0.01
Suppose 2*j + 24 = 6*j. Let v be 2/j + 4/(-12). Which is smaller: v or 2/9?
v
Suppose 2*w = 3*f + 4 - 0, -2*w - 4*f = 24. Let o = -5 - w. Is -2/19 greater than or equal to o?
True
Suppose -m - 12 = -3*j, -2*j + 6 = -0. Is m greater than or equal to -7/2?
True
Let r = -2160 + 390959/181. Is r equal to 1/2?
False
Let w = -12 - -10. Let u = -2.94 - 0.06. Which is greater: w or u?
w
Let o = 35/4 - 9. Is o at least -4?
True
Let g = -0.93 - 0.07. Is g equal to 8?
False
Let l be 64/(-11) + 2/(-11). Let a be l/(-2) + -2 + -3. Suppose 10 = -6*m + 4. Which is bigger: a or m?
m
Suppose 2*f = 4*t - 2*t + 12, 4*f - 21 = 3*t. Let h = -34 - -33. Which is greater: t or h?
h
Let u = -0.7 - -0.9. Are u and -2/19 unequal?
True
Let g = 3 - 27. Is g at most -23?
True
Let c = -9 - -8. Which is greater: 23 or c?
23
Let z be 15/90 - 238/(-12). Is z at least as big as 21?
False
Let o(r) = r**3 - 3*r**2 - 5*r + 4. Suppose 0 = -8*z + 3*z + 20. Let g be o(z). Let v = 13/7 + -53/21. Which is greater: v or g?
g
Let k be ((-3)/36)/((-1)/2). Suppose -3*c + c = 0. Is c at least as big as k?
False
Let m = -10 - -10.01. Let a = m - 0.11. Let l = a - -1.1. Which is bigger: -1 or l?
l
Let m(j) = j**2 - 2. Let n be m(0). Let o(s) = s + 6. Let a be o(-6). Suppose -3*w - 3 = -a. Is n less than w?
True
Let x(b) = -6*b - 2. Let q be x(2). Which is smaller: -1 or q?
q
Let i(s) = s**2 - 5*s + 4. Let y be i(4). Let d be ((y/2)/(-1))/(-1). Suppose -4 = 4*r - d. Is r > -3?
True
Let g be ((-1)/(-16))/(12/16). Suppose 0 = m + m. Is g > m?
True
Let x be (-4)/(-16) - 202/(-56). Is x > 4?
False
Let k(p) = p**3 - 6*p**2 + 4*p + 4. Let w be k(5). Which is smaller: w or -4/3?
-4/3
Let d = 0.7 - -0.2. Let y = d - 0.6. Let x = -97/3 - -33. Is y at least as big as x?
False
Let n = -0.8 + -0.2. Let r = 3 + -2. Let w = r + n. Which is bigger: 1 or w?
1
Let i = -12 - -13. Which is bigger: i or 3?
3
Let i = 0.17 + -0.37. Which is bigger: i or 0.1?
0.1
Suppose 0 = c - 3*c + 4. Suppose f = -y, -3*f + f - 7 = -5*y. Is c at least as big as f?
True
Let n(f) = -f**2 - 6*f + 1. Let m be n(-7). Let w(o) = o**3 + 7*o**2 + 6*o + 2. Let r be w(m). Is 2/3 at most r?
True
Let o = 19 - 21. Which is greater: 0.9 or o?
0.9
Let c be (-2)/(7/(140/8)). Is -7 less than or equal to c?
True
Let d be -2 + -1 - (-4 - 11). Is d less than or equal to 10?
False
Let f be (5 - (-55)/(-10))/(3/6). Which is bigger: f or -2?
f
Suppose -10 = -2*c - 5*z, 3*z - 2*z = 5*c + 2. Let i(q) be the second derivative of -q**4/12 + q**2/2 + 2*q. Let o be i(c). Does o = 1?
True
Let g be (14 - 11) + 2*1. Which is smaller: 3 or g?
3
Let l(x) = -2*x + 8. Let y be l(4). Is 0 at most y?
True
Let d = -113/68 - 3/34. Is -3 greater than d?
False
Let r(k) = -k - 1. Suppose -2*z - 5*f = 1 - 10, 0 = z + 2*f - 3. Let w be r(z). Suppose 0 = -l + w*l. Which is smaller: l or -1/6?
-1/6
Suppose -5*v - 4*j + 4 - 24 = 0, -2*v - 8 = j. Let q be (-19)/v - 6/(-24). Let f be (6/60)/(2/q). Is -0.1 less than f?
True
Let j = 1 + -3. Let p = -8 - j. Let f = p + 11. Which is bigger: 0.1 or f?
f
Let v = -58.2 + 58. Is 5 smaller than v?
False
Suppose -d + 5*v = -16, v = 5*d - 4*v - 20. Which is smaller: -0.4 or d?
-0.4
Let y(f) = -3*f - 5. Let s be y(10). Which is smaller: -36 or s?
-36
Suppose -8*t + 72 = 3*l - 5*t, -69 = -3*l - 2*t. Which is smaller: 23 or l?
l
Let g = 2 + 5. Let v = -11 + g. Is -3 bigger than v?
True
Let s = 25 - 21. Is s greater than 4?
False
Let g be (-30)/20*(-28)/3. Is 14 >= g?
True
Suppose w - 7 - 5 = 0. Which is smaller: w or 13?
w
Let g(u) = u**3 + u + 1. Let d be g(0). Which is smaller: d or 2?
d
Suppose -c - 3 = -p + c, -p + c + 5 = 0. Is p < 8?
True
Let n be (-11)/(-7) - (-2)/(-2). Let r(s) = -s**2 - 6*s + 2. Let t(q) = q**3 + q**2 + q. Let c be t(-2). Let p be r(c). Which is greater: p or n?
p
Let i be (-1)/(-2) - 59/7. Let b = -3635/462 - i. Which is greater: b or 0?
b
Let z be (1 + 14/(-10))*5. Let k be (-2)/z + 0 - 1. Let w be 2 - 1/9*20. Is k > w?
True
Let p be ((-3)/16)/(3/2). Let x(m) = -m**3 - 6*m**2 - 6*m - 5. Let i be x(-5). Is p < i?
True
Let w = 9 + -6. Suppose w*s - 12 = -i + s, 2*i + 2*s - 16 = 0. Let j be i + (-1*2 - -2). Which is greater: 3 or j?
j
Let q = 8 - 8. Let v(y) = y**3 + 5*y**2 - 6*y + 3. Let u be v(-6). Is q greater than u?
False
Let x be 190/(-616) - (-4)/14. Which is greater: 0 or x?
0
Let j = 0.007 - -0.193. Let b = 6.15 - 0.15. Is b greater than j?
True
Suppose 5*y + 3*b + 13 = 2*b, -y - 4*b = -5. Suppose 0 = 5*d - m + 19, -4*m + 0*m = -d. Which is bigger: d or y?
y
Let a be (4/(-3) - -2)*-3. Let z be 4 - (-1 + 4) - 1. Which is greater: a or z?
z
Let a(h) be the third derivative of -h**6/120 + h**5/15 + h**4/6 + h**3 + 8*h**2. Let y be a(5). Is y greater than 2/37?
True
Suppose 0 = 5*f + 13 + 7. Let r = -7 - f. Let u be (-1 + -2)*(-1)/(-2). Which is bigger: r or u?
u
Let w be (-48)/10*(-100)/3. Let q be w/15*(-6)/4. Let b = -49/3 - q. Which is smaller: b or -1?
-1
Suppose 3*m + 6 = -v + 1, -2*v = -5*m - 12. Let l be 4/(-10) - (-15102)/(-420). Let x = 71/2 + l. Which is bigger: x or m?
x
Let o(j) = -j**2. Let x be o(-1). Suppose -3*d - 27 = 4*m - 0, -5*d - 31 = 2*m. Let n = d - x. Are n and -4 unequal?
False
Let s(r) = r**3 - 9*r**2 - 8*r - 19. Let o = 20 - 10. Let b be s(o). Are b and -0.02 non-equal?
True
Suppose -6*w + 0 = -6. Is w at most 4?
True
Let j be 0/(-3) + 1 + -1. Let x(i) = i**3 + 5*i**2 + 5*i - 1. Let z be x(-3). Is j < z?
True
Let f(l) be the second derivative of l**4/12 + 7*l**3/6 + l**2/2 + 6*l. Let x be f(-7). Is 2 bigger than x?
True
Let y be 2 - ((-1434)/(-16) + 0). Let l = -87 - y. Is 0 at least as big as l?
False
Let t = 2 - 3. Let s = t + 2. Let g be (10/275)/((-4)/(-20)). Which is smaller: g or s?
g
Suppose 5*d + d = 24. Is d greater than or equal to 8?
False
Let n be (-1)/(-2) + 4/(-8). Suppose 4*y = -2*d - 2, 4*y = -3*d - n*d + 1. Which is smaller: -1 or y?
y
Let s = 31 - 42.1. Let a = -11 - s. Which is bigger: a or 1/4?
1/4
Suppose 2*p = p. Let y = p - -4. Suppose 5*g + 3*n = 15, -y*n = 3*g - 14 - 6. Is 1/6 bigger than g?
True
Let d = -1260/13 + 97. Let n(q) = 14 - 3 - 41*q + 43*q. Let s be n(-5). Which is greater: d or s?
s
Let w = 9 + -13. Let t be (1 + -1)/(w - -6). Suppose u + 0*u = t. Which is smaller: 1 or u?
u
Let q be (-2 + 4)*(3 + -2). Let h = 2 - q. Is h bigger than -0.1?
True
Let t(c) = 2*c + 20. Let l be t(-10). Let i = 1163/24892 + -3/508. Which is smaller: l or i?
l
Let k = -31 + 27. Suppose -7*p - 12 = -3*p. Is k greater than p?
False
Let m = 1/2 - 1. Let r(i) = i**3 - i**2 - i - 2. Let x be r(0). Is x smaller than m?
True
Suppose 0 = 3*i - 4*i + 5. Suppose 2*y - 4*q = -2*y + 60, 2*y - 45 = i*q. Let s be 4/y + (-9)/(-15). Is 1 != s?
False
Let l = -6 + 8. Suppose 3 = -5*b - l. Let w be 0 - (-1 + (1 - 0)). Which is bigger: b or w?
w
Let s = -4 - -4. Which is smaller: s or -1/38?
-1/38
Let m = -45 + 45. Let l be 8/(-9) + (-8)/(-12). Which is smaller: l or m?
l
Let g = -188 - -176. Which is smaller: g or 0.1?
g
Let d = 0.5 + -0.3. Let u = -0.05 - -0.35. Which is smaller: d or u?
d
Let c(q) = q**2 + 7. Let k be c(0). Suppose 2*g - 1 + k = 0. Let z be ((-1)/g)/((-2)/(-6)). Which is smaller: z or 1/3?
1/3
Suppose -z + 32 = 2. Let r be ((-20)/z)/((-2)/(-3)). Is r at least as big as -4?
True
Let h = -0.07 + 10.07. Is -1 >= h?
False
Let q(n) = n**2 + 6*n + 2. Let c be q(-4). Let d be 24/18 + (-4)/c. Is 1 >= d?
False
Let r = 10501/11 + -954. Which is smaller: -2/5 or r?
-2/5
Let d be (-102)/(-4)*80/120. Let f = -9 + 26. Is f not equal to d?
False
Let t(p) = -p - 14. Let l be t(-4). Which is smaller: -11 or l?
-11
Let c = -3 + 2. Suppose 2 = 2*i - 5*q + 12, -2*q + 4 = 3*i. Are i and c equal?
False
Suppose 0 = -m - 5*c + 17, m = -m - c + 25. Is m > 12?
False
Let n(k) = -k**2 + 6*k - 2. Let l be n(7). Is l at most as big as -9?
True
Let u = -7.6 + 8. Is u greater than or equal to 1?
False
Let j = 48 + -46. Which is smaller: j or -2?
-2
Let x = -6 - -6. Let p = -1 + x. Do p and 3 have the same val