Let q be (-32)/(-40) + (-28)/10. Is p at least as big as q?
True
Let a = -17 + 20. Suppose -5*q + 2 + a = 0. Which is smaller: q or 0?
0
Let z be -3 + -3 + (-616)/(-105). Let o be 3 + 0/(-1) + 0. Is z < o?
True
Suppose -3*n - 6 = -2*q, 2*n = -0*n. Suppose -3*l + 4*l - q = 0. Suppose -4*a - 8 = 0, -5*w + 3*w + l*a + 4 = 0. Which is smaller: -1/4 or w?
w
Let f = -127 - -128. Is -0.37 != f?
True
Let b(m) = 2*m**2 + 3*m + 2. Let g be b(-2). Let l(y) = y**3 - 7*y**2 + y - 2. Let u be l(7). Suppose -q - u = g*q. Which is smaller: -2/3 or q?
q
Let b = 19.1 + -19. Is -10 >= b?
False
Let l = 0.97 + -1. Let d = l - -0.13. Is d < -2?
False
Let d = -1 + -1. Let n be 6/(-5) + d/(-10). Which is smaller: n or 0?
n
Let x = 12 - 20. Let w = -7.7 - x. Which is bigger: w or -1/3?
w
Let u = -0.9 + 3.9. Let g = 0.4 - -1.6. Let k = g - u. Is k at least 0.4?
False
Let y(g) = -g + 7. Let w be y(6). Let c be 0/(-2 + 0 + w). Let x = -1/21 - 23/399. Which is greater: x or c?
c
Let p(d) = d**2 + 6*d - 1. Let x be p(-6). Let y(t) = t**3 - 9*t**2 + 9*t - 11. Let q = 13 + -5. Let f be y(q). Is f at least as big as x?
False
Let w = -5 - -9. Suppose -84 = 3*j - 3*z, z + 26 = 3*j - w*j. Let i be (-6)/j*3/(-4). Is 0 less than i?
False
Let p be (184/40)/(1/5). Is 23 <= p?
True
Let p = 6 - 7.3. Let l = p - -0.6. Let h = l - -0.5. Which is smaller: -1 or h?
-1
Let h be ((-190)/(-19))/((-3)/1). Is -2 > h?
True
Let x = -2.63 + 1.63. Let k = 2.4 - 2. Is x at least k?
False
Let m(j) = -j**3 + j**2 - j - 1. Let f(u) = -2*u**3 - u**2 - 2*u - 1. Let t(s) = f(s) - 3*m(s). Let y be t(4). Is 5 at most y?
True
Let j = 6 + -5. Which is smaller: -2/5 or j?
-2/5
Let b = 0 - -1. Let z = 0.6 + -0.8. Is z <= b?
True
Let t = -109/168 - 1/56. Which is smaller: t or 5?
t
Let q = -21728 - -912623/42. Let p be -3 + 3 + 9/7. Let f = p - q. Is 0 greater than or equal to f?
False
Suppose 5 = 2*y + 3*y. Which is bigger: 9 or y?
9
Suppose 0*k = 3*k + 63. Let m be 1*k/3 - -3. Is m < -4?
False
Suppose 2*h + 6 = 5*h. Let w be (9/153)/(h/(-6)). Is 0 greater than w?
True
Let w(t) be the second derivative of -t**4/12 - 11*t**3/6 + 2*t**2 + 3*t. Let f be w(-11). Do 4 and f have the same value?
True
Let d(y) = -y**2 + 3*y - 1. Let t be d(1). Which is bigger: 15/7 or t?
15/7
Let b = -11 + 9. Let p = -5 - -4. Let d be (2/4*p)/(-1). Which is greater: b or d?
d
Let j = -7.2 - -7.7. Let o = 5 - 8. Which is smaller: o or j?
o
Let m(x) = x - 5. Let u(v) = v**2 - 11*v + 5. Let l be u(11). Let a be m(l). Let o = -101/30 - -11/3. Does a = o?
False
Let l = -3 + 3. Suppose -15 = -5*r - 5*s, -6*r - 15 = -r - s. Is l less than or equal to r?
False
Suppose 0 = -x + 12 + 3. Which is smaller: x or 13?
13
Let w = -9 - -10. Let b be 7 + w/((-1)/2). Suppose 4*t = b*t. Is -2 > t?
False
Let z be ((-30)/8)/3 + 1. Let t = 0.068 + -11.168. Let r = -11 - t. Do z and r have different values?
True
Let v(g) = g**3 - 2*g**2 - 2*g - 1. Let m be v(3). Suppose -6*h = -m*h. Let l(b) = b + 6. Let z be l(-6). Is h > z?
False
Let b be 3/6*2 + -1. Suppose 5*a + 5*x = 10, -2*a + 3*a - x = b. Let w = -32/3 + 346/33. Which is smaller: w or a?
w
Suppose -6*v + 3*v = 0. Let k = 0.04 - 2.04. Which is greater: k or v?
v
Let t(o) = -o - 1. Suppose 2*q = -5*h - 22, 5*q + 25 = 2*h - 7*h. Let x be t(q). Let k = 964/2233 + -1/319. Is x not equal to k?
True
Let p = -9 - -9. Let l be 12/3 - 1 - p. Is 4 less than or equal to l?
False
Suppose 3*i + 25 = 7. Let y = 7 + i. Which is smaller: y or 2?
y
Let x = -4.877 + -0.023. Let u = 17 - 22. Let h = u - x. Is h at most -5?
False
Suppose 4*z = -5*o - 50, 0 = 3*z - o + 32 - 4. Let g = -12 - z. Which is bigger: g or -3/4?
-3/4
Let v(m) = m + 4. Let x be v(-3). Let b = -31 - -28. Is x smaller than b?
False
Let p be (-80)/180 + 4/18. Let s(j) = -1 - 2*j - j + 4*j. Let g be s(2). Which is smaller: g or p?
p
Suppose 2*a + 3*a - 5 = 0. Let m be (-1 - 16/(-20))*-2. Is m < a?
True
Let a(z) = z**2 + 7*z - 3. Let o be a(-7). Suppose 0 = 2*w - 3*w + 36. Let q = -75/2 + w. Which is smaller: o or q?
o
Suppose 2*c + 20 = -c + r, 3*c - 5*r = -28. Let g be (2/c)/((-55)/66). Is g < 3?
True
Let q = -48 - -47.79. Let a = 0.11 + q. Let b = 1.3 - 1. Which is smaller: b or a?
a
Let l = -0.1 - -0.2. Let s(y) = 2*y - 4. Let p be s(4). Suppose -2*r = 3*o - 0 + 7, 0 = -p*r + 5*o + 19. Is r <= l?
False
Let t = -41/3 + 217/15. Let m = t - 3/10. Are 0 and m nonequal?
True
Let x = -10.8 - 0.2. Let f = 10 + x. Which is bigger: f or 1/6?
1/6
Let j = -207 + 2265/11. Let z be 1*-4 - (0 + (-208)/56). Are j and z nonequal?
True
Let k = 12 - 4. Suppose 0 = k*a - 4*a. Is -1/7 less than or equal to a?
True
Suppose -18 = -3*f + 3*n, -2*f - n - 5 = -2. Let a = 97644 - 8299637/85. Let i = a + -24/17. Which is bigger: f or i?
f
Suppose w = -z - 2, w + w + 10 = -5*z. Let s be 4/(-2) + 0/z. Let q be s*(-2)/(-4) + 1. Are q and 1/3 unequal?
True
Let w(o) = -o**3 + 3*o**2 - 3*o + 2. Let q be w(2). Which is greater: q or -2/19?
q
Let x be 3/(-12)*-2*0. Let z(f) = -6*f + 1. Let m be z(1). Let q be 2/(-10)*m/6. Which is greater: q or x?
q
Let n(k) = -k + 10. Let l be n(6). Let t(m) = m + 11. Let h be t(-8). Which is greater: h or l?
l
Let j be 2/6 - 222/18. Let p(z) = z**3 + 13*z**2 + 11*z - 6. Let c be p(j). Let h be (2/c*3)/(-1). Which is smaller: h or 2?
h
Let b = 73 + -75. Which is smaller: -10 or b?
-10
Let h = -9 - -27. Are 18 and h nonequal?
False
Suppose -u = -0*u - 19. Which is greater: 18 or u?
u
Let b = 7/610 - 2271/1220. Let f be (-21)/10 - 2/(-4). Let m = b - f. Which is smaller: 1 or m?
m
Let v be 1*((-30)/27 + 1). Is -1 at least as big as v?
False
Let b = 572/7 - 82. Suppose -3*s = 3*d + 9, -s - s + 5*d = -15. Which is smaller: s or b?
b
Let t = -5 - -5. Let p = 41/6 + -37/6. Are p and t equal?
False
Suppose 2*l - 10*l = 16. Which is smaller: 0 or l?
l
Let d be ((-14)/(-42))/(19/6). Suppose -4*b = -0*b + 12. Let r be (9/6)/b*0. Are r and d nonequal?
True
Let q = 21 - 18. Which is bigger: 2 or q?
q
Let i = 10 - 10. Is i equal to 0.22?
False
Let j(z) = 5*z - 1. Let q be j(-2). Is q bigger than -1/2?
False
Let o = -30 + 30.17. Let m = o + -0.07. Which is greater: 1/4 or m?
1/4
Let w = 69 - 70. Which is smaller: -2/11 or w?
w
Let f(n) = n**3 + 3*n**2 - 6*n - 6. Let k be f(-4). Let a be (-1)/(-2*k/16). Suppose -x = -a*x. Is 1 less than or equal to x?
False
Let w(y) = 3*y + 8. Let s be w(-6). Let c(f) = f**2 - 16*f + 29. Let b be c(13). Is b greater than s?
False
Let g = 55 - 55.1. Is g less than or equal to -0.075?
True
Let m = -2/43 + 125/1763. Suppose -3*j - 3 = 2*z - 14, -3*z = 2*j - 9. Which is smaller: z or m?
m
Suppose -2*t - 4*j + 22 = t, -j = 5*t - 14. Suppose 17 - 5 = t*s. Suppose s*b = b - 15. Which is bigger: -4 or b?
b
Let n be 4/(-1 - (3 - 2)). Which is greater: n or -11/4?
n
Let p = -4.6 + 5. Let c = p - -0.6. Which is greater: -7 or c?
c
Let l = -7 - 7. Let f be l/8 - (-3)/(-12). Is f > -4?
True
Suppose 28 - 16 = -3*i. Which is smaller: -19/6 or i?
i
Let r(g) = -3*g**3 - 6 + 5*g**2 - g + 4*g**3 + 0*g**3. Let b be r(-5). Let n be -1 - -3 - 0 - 1. Are b and n equal?
False
Let v be -1 - (-2 - 57/(-75)). Is v smaller than 0?
False
Suppose -208 = -55*v + 29*v. Let z be -1 - 0 - (1 - 9). Which is greater: z or v?
v
Suppose 0 = q - 2 - 2. Suppose -5*z - 6 = q*t - 3*t, 5*z + 2 = -2*t. Let c be 2*z/6*-3. Which is greater: 2/3 or c?
c
Let s = -1114394212/1095 - -1017712. Let o = s - -2/219. Which is bigger: o or 0?
o
Let l be (2 + 118/(-58))/(-1). Are l and 1 non-equal?
True
Let m be (-3 - -3) + (-248)/(-1278). Let a = m - -2/71. Let s be 7/(-28) + (-2)/(-8). Is s equal to a?
False
Suppose -5*l + 8*j - 40 = 3*j, -l - 3*j - 8 = 0. Let p(y) = -y**3 - 9*y**2 - 7*y + 11. Let o be p(l). Is o >= 12/7?
True
Suppose -27 = -2*j + v, -5*j - v = -0*v - 50. Let m(k) = -k**3 + 12*k**2 - 12*k - 7. Let c be m(j). Are -18 and c equal?
True
Suppose -3*f - 5*g = -24, 0 = 3*f - 2*g + 2 - 5. Suppose -h - 3*n - 16 = -6*h, 0 = f*h + 2*n - 2. Suppose 0 = -3*m + 6, -2*y + 5*m = -y + 9. Is y bigger than h?
False
Let m = -2 + 7. Suppose k + 4 = d + d, m*d = 5*k. Suppose -d = l + l. Is l equal to -4?
False
Suppose 1233 = 10*h - 407. Which is bigger: 163 or h?
h
Let v(r) = 3*r - 16. Let u be v(7). Is u less than or equal to 6?
True
Let i(f) = -5*f + 2 - 1 + 2*f. Let l be i(2). Le