hich is bigger: -42 or p?
-42
Let c = -0.5 - 0.5. Let k = -0.9 + 1.9. Let l = k + -1. Which is bigger: l or c?
l
Let n = 91 - 90.6. Which is smaller: n or 0?
0
Suppose -3*a + 4 = -7*a. Let y be (a + 0)/(-1) - 2. Which is smaller: y or -2/5?
y
Suppose 3 = n, -o + 4*n = 2*o + 21. Is -1 at most as big as o?
False
Let g = -17.3 + 17. Suppose -s + 6 = -3*n, 7*s - 3*s + 3*n = 99. Let x be (s/4)/(-3) + 2. Is x < g?
False
Let v = 5/24 - 257/1464. Which is smaller: v or -1?
-1
Suppose -5*i + 2*k = 7*k + 5, 4*k + 10 = 2*i. Let w = 3103/15 + -207. Which is greater: w or i?
i
Let g = -13 + 29. Let x be (g/(-416))/(1 + 0). Which is smaller: -1 or x?
-1
Let m(q) = q**2 - 3*q - 11. Let f be m(5). Is f less than or equal to -3/46?
True
Let t(u) = -u**3 + 14*u**2 + 14*u + 14. Let h be t(15). Which is smaller: h or 2/11?
h
Let o be 8/(-2)*(-3)/54. Let z be (2/3)/((-6)/(-45)). Suppose 0 = z*m - 0*m - 5. Which is smaller: o or m?
o
Let r = -42 - -39.5. Is 0 less than r?
False
Let n be 5/8*4/10. Which is smaller: n or 0.6?
n
Let v = 9 + -12. Let k = -37/2 + 18. Which is smaller: k or v?
v
Let q = 6/35 + -121/910. Is -1 at least as big as q?
False
Let n(s) = s - 6. Let r be n(2). Which is smaller: -6 or r?
-6
Let x be (5/(-3) + 1)/((-238)/(-153)). Let r = 0 + 1. Let c = 1 - r. Is x < c?
True
Suppose 0 = x + 5 - 4. Are x and 1 non-equal?
True
Let p(u) = -5*u. Let y = -8 - -7. Let d be p(y). Suppose 2*n - d = n. Which is smaller: n or 3?
3
Suppose 0 = -5*v - 0*v + 90. Suppose 2*c + 0*c = -v. Is c less than -8?
True
Suppose -5*l + l = 0. Let p be (-4)/(-2) + (-1866)/10. Let n = p - -184. Which is smaller: l or n?
n
Let g be ((-7)/70)/(2/(-8)). Is 2 != g?
True
Let w = 6 + -4. Which is smaller: 5 or w?
w
Let t be (30/(-8))/((-3)/(-8)). Let d be 75/(-7) - 18/63. Which is smaller: d or t?
d
Suppose -3*n + 7 + 13 = 2*l, -4*l + 5*n + 18 = 0. Is 7 <= l?
True
Let j = -6 - -5. Which is smaller: -2/15 or j?
j
Let i be 1/(1 - 2/4). Suppose -4*v - 4 = 2*m - 2, 0 = -v - 4*m + 17. Let x be 2*(-3)/126*v. Is i less than or equal to x?
False
Let x(g) = -g**2 - 6*g - 1. Let o be x(-8). Let i = o + 16. Which is smaller: -3/10 or i?
i
Let v = -0.4 + 0.8. Let f = -1.4 + v. Which is greater: -5 or f?
f
Let y = 17 + -8. Let p be (4 + y/(-3))/(-1). Are 2/11 and p unequal?
True
Let a = -1/2 + 5/6. Let q be 3/(-2) - 76/(-40). Is a greater than or equal to q?
False
Let q be (-2)/7 + 16/7. Suppose -5*n = -5*r - 15, -q*r + n = 6 - 1. Is r >= -1?
False
Suppose 5*k - 3*w = -14, 3*k - 3*w = -4 - 8. Let d = 1 + k. Let h = -16 - -15. Which is smaller: d or h?
h
Suppose -2*q = -4*p + 58, -14 = -3*p - 4*q + 24. Suppose 0 = d - 2*g + 5, -3*d + d - 1 = 5*g. Let a be 1 - ((-54)/p)/d. Does a = 0?
False
Suppose 0 = -4*o + o - 12. Which is bigger: o or -9?
o
Let g = 8 - -1. Which is smaller: g or 8?
8
Let a be 9/(-5)*(-20)/6. Let t(l) be the third derivative of l**4/24 - 5*l**3/6 + l**2. Let j be t(a). Which is smaller: j or -2/7?
-2/7
Let l = -9 - -16. Let i = l - 47/7. Is -1 bigger than i?
False
Let d be -3 - (4 + (-7)/1). Suppose 0*m + 4*m - 24 = 0. Suppose -u = -m*u + 5. Is d >= u?
False
Let t be 4 - (-192)/(-33) - -2. Is t > -0.2?
True
Let o be ((-19636)/6384 + 3)*2. Let z = o - 2/133. Which is bigger: z or 0?
0
Let p = -1 + 2. Let m(q) = -q**2 + 5*q + 3. Let c be (-60)/8*4/(-6). Let t be m(c). Is p >= t?
False
Let q = -1 - 4. Let t = -5 - q. Are 0 and t equal?
True
Let y(l) = -5 - 2 + 3*l**2 + 2*l - 2*l**2 + 4*l. Let j be y(-7). Suppose j = -0*o + o + 1. Are -1 and o non-equal?
False
Suppose 4*b + 6 = b. Is b < 0?
True
Let d be (-9)/3*(-6)/(-72). Let p = 24 - 16. Which is smaller: d or p?
d
Let x be 2/9 + (-819)/405. Let g = -6 + 4. Is x != g?
True
Suppose 121 = 2*c - 5*f, -5*c + 115 = -3*c - 3*f. Is c at most 52?
False
Suppose -2*u = -u + 2. Which is smaller: u or 7?
u
Let f be (-5)/(20/(-8)) - -11. Is f less than 13?
False
Let i = 8.16 + 0.34. Let n = i + -8. Which is smaller: 0.1 or n?
0.1
Let m = 12 - 13.6. Let t = m + 0.6. Which is greater: -2/29 or t?
-2/29
Let b = -40 - -60. Suppose 2*x + 3*x = -b. Let o be (-1)/x + 18/12. Is 1 at most o?
True
Suppose -8*p + 6*p = q + 47, 5*p = -2*q - 96. Which is smaller: 1/2 or q?
q
Let g be (-8)/660 - (-2 - -2). Let t = 64/165 - g. Which is smaller: 0 or t?
0
Let f = 511/16 - 32. Which is bigger: f or 1?
1
Let k = -65/3 - -196/9. Suppose -8 = -n - n. Suppose h - 1 = 2*r, 2*r + n*h + 6 = -0*h. Is k at least r?
True
Suppose 4*s - 6 = p, 3*p - s = 2*s + 27. Is p < 15?
True
Let n = 4497/287 + -2/861. Which is smaller: n or 0.1?
0.1
Let x = -4 + -3. Let v = x - -6.96. Let i = v - -0.34. Is 1/3 smaller than i?
False
Let u = 9 + -11. Is u <= 8?
True
Suppose -6*p + 0*p + 6 = 0. Let u = -298406/11 + 27030. Let q = u + 98. Which is smaller: q or p?
q
Let r be 21/(-9) - (4 - 6). Is r equal to 0?
False
Let c = 17 + -20. Let i = 2 + c. Are -0.4 and i equal?
False
Let d be 12020409/1782 - 2/11. Let y = 6781 - d. Let r = -71/2 + y. Which is smaller: 4 or r?
r
Let w = 16 - -1. Is w != 17?
False
Let z be 3/(-3)*21/7. Are -2/5 and z nonequal?
True
Suppose 2*w + 7*w = -0*w. Which is bigger: w or -2/121?
w
Let c be (-1 - 0)/((-1)/3). Let w(k) = -3*k - 9. Let o be w(-4). Let a be (o/6*16)/2. Which is bigger: c or a?
a
Let u be (-4)/16*(-1 + -11). Let i = -4 + u. Is i at least as big as -1/5?
False
Let y(o) = -o**3 + 7*o**2 - o - 4. Let f be y(7). Is -11 smaller than f?
False
Suppose -o + 1 = -1. Suppose -o*d + 5*d + 15 = 0. Let i = -6 - d. Which is greater: -2 or i?
i
Let l = -49 - -49.04. Is 0 at most as big as l?
True
Let r = -13/2 - -6. Is r at least as big as -1?
True
Let v = -9 - -7. Let k = 4 + v. Suppose -7*o = -k*o. Are 2/3 and o equal?
False
Let k be 8/(-3)*30/20. Which is smaller: k or -1?
k
Let q = -332/71 + 2/213. Which is bigger: -4 or q?
-4
Let j be 5 - 63/12 - (-62)/(-8). Is j less than -4?
True
Let h = 51 - 16. Let d = h - 27. Which is smaller: -1 or d?
-1
Let r be 4/10 - 72/(-20). Suppose 4*z - 4 = -4*c, 0 = -z + r*z - c - 3. Let k = 0 - 0. Do z and k have different values?
True
Let z be ((-8)/60)/((-20)/(-45)). Which is greater: 0 or z?
0
Let x be (-38)/(-6)*(-24)/52. Let q = -216/65 - x. Let f be -2 + ((-5)/(-2))/5. Is f greater than q?
False
Suppose 0 = -3*j + 5*j - 112. Let p be (0 - 2)*21/j. Which is smaller: -2 or p?
-2
Let z = 0.019 + 6.981. Does z = -3?
False
Let u = 36 + -64. Which is greater: u or -29?
u
Let l = 2/61 - 85/732. Suppose 0 = 3*g - 2*g. Which is greater: l or g?
g
Let a be (-1)/3*(2 + 0). Let z = 42 + -25. Let h = 18 - z. Which is smaller: h or a?
a
Let r be (-7)/(-21) + 149/3. Suppose 0 = -3*h - 2*h - r. Is -11 at most h?
True
Let f = 9 - 7.2. Let n = f - 2.3. Which is bigger: n or 0?
0
Suppose 2*j + 0 = 4. Let n(l) = -l**2. Let c be n(j). Let z(v) = 2*v + 3. Let s be z(-3). Which is smaller: c or s?
c
Suppose 3*i - 4 = -1. Suppose -4*t + 16 = 0, -4*t + 0 + 11 = -5*f. Let b be f/2 + (-21)/30. Which is smaller: b or i?
b
Let w be (-4 - (-200)/36) + -2. Does w = 1?
False
Suppose 2*n - u - 7 = 2, n + 2*u - 2 = 0. Suppose 0*y - 10 = 2*i - 4*y, 2*y = n. Is i at least as big as -3/5?
False
Let k = 453/365 - 3/73. Suppose -8*o - 2*o = 2*o. Which is smaller: o or k?
o
Suppose -3*o - 3*y + 66 = 0, 0 = -3*o - 4*y + 41 + 27. Suppose w + o = -w. Let g be (-18)/w - 5/(-25). Are 3 and g equal?
False
Suppose g + 40 = 6*g. Suppose -2*s - 2*o - g = -4*s, -3*o - 16 = s. Is -1 at least as big as s?
True
Let o = -13 + 5. Let k = -8 - o. Let x = k - 0.3. Is x < 1?
True
Let o be (-3)/(-1) - (4 + 0). Let g be -2*(-2)/4*-1. Are g and o equal?
True
Suppose 0 = 3*r - 6 - 3. Does r = 2?
False
Suppose 5*k - 167 = -p, 5*p - 2*p = k - 43. Let c be (-24)/16 + 55/k. Are c and 0 nonequal?
True
Let s(x) = 3*x**3 + 6*x - 5. Let v be s(1). Which is bigger: v or 19/5?
v
Suppose 0 = -g + 3*r + 9 + 6, 2*g + 5*r = 8. Let c = g - 17/2. Let l be ((-4)/10)/((-2)/(-10)). Is c >= l?
True
Let z = 5 - 7. Let d = 5 + z. Suppose -4*j + 6 = -d*f, 0 = f - 3*j - j + 10. Is 3 not equal to f?
True
Let j(y) = y**3 + 3*y**2. Let f be j(-3). Is -2 at most f?
True
Let d = -5 + 7. Let t = -1/550 - -1113/7150. Does d = t?
False
Let o = 31/3 - 9. Let h = 3 + -1. Suppose -3*i + i + h = 0. Is o <= i?
False
Let t(n) = -n**2 - 11*n + 5. Let m be t(-8). Let c = -14 + m. Suppose -c = -4*i + 2*p - 3*p,