and p have different values?
True
Let y be 68/(-3)*(-5)/(-20). Which is greater: y or -7?
y
Let z = 0.15 - -0.25. Let p = -1.4 + z. Do 0.2 and p have different values?
True
Suppose 2*p + 4*p = -336. Let s be (p/(-105))/(2/(-5)). Which is greater: -2 or s?
s
Let g = -9 + 3. Do -5 and g have the same value?
False
Let l = -7.125 - -0.175. Let a = l - -7. Let w = a - -0.05. Which is smaller: w or 0.01?
0.01
Suppose 4*z = -2*u - u - 19, 5*z - 10 = 3*u. Let l be z*(-1 + (-2)/(-2)). Is -1 >= l?
False
Let x = 0.2 + -0.16. Let u = x + -3.04. Suppose 4*w - 6 = -o, -2*o = -6*o - 3*w + 11. Which is smaller: u or o?
u
Let t = -42 + 41. Is 3/34 at least as big as t?
True
Let t = 149 - 161. Is t < -12?
False
Suppose 2*c - 1 = -2*o + 1, -c - 23 = -5*o. Is c smaller than -5?
False
Let y = -9 - -19. Let o be 5/(y/4)*1. Suppose a = -3*u - 2*u + 6, -4*a = -o*u - 2. Which is greater: a or 7/3?
7/3
Let f = 90 - 91. Which is smaller: -2/87 or f?
f
Let q = 6 - 9. Let s = q - -6. Let d = -4 + s. Which is greater: d or -2/3?
-2/3
Let x be (0/(-1))/(8/4). Let j = x + 2. Let v be 1/2 + 0/j. Which is greater: v or 1?
1
Suppose -4*i - 92 = 2*n, 5*n + 38 = 5*i - 117. Is -35 equal to n?
False
Let i = -0.93 - -0.9. Let c = 0 - -0.1. Is i at least c?
False
Suppose 4*w - 5*k = -26, 3 = 2*w + 5*k + 1. Is w at least -4?
True
Let x = -2 - -1. Let i be (-2)/(-2)*-1*x. Let a(l) = 2*l**2 + 26*l + 45. Let m be a(-11). Is i at most as big as m?
True
Suppose -9 = -4*f + 47. Suppose -5*i + 24 = -v, -f = -i + 3*v + 2. Let n be ((-64)/14)/i + 1. Is -1 greater than or equal to n?
False
Let b = 94 - 206. Let x be ((-14)/b)/((-2)/(-8)). Which is smaller: 3 or x?
x
Let g = 811 - 8117/10. Let v be 3/10*12/18. Let j = v + g. Is -0.1 at most as big as j?
False
Suppose -2 = 5*t - 12. Let i be (t/(-8))/(4/24). Is -2 <= i?
True
Let u = 6 + -10. Does -4 = u?
True
Suppose -2*n + m - 61 = 0, 4*n = -2*m - m - 107. Which is smaller: -31 or n?
-31
Let o = -10 + 18. Let n = -6 - -12. Let y = n - o. Which is smaller: -1 or y?
y
Suppose 0 = -3*f - f + 36. Suppose -4*r = -4*s + 5 + 55, 4*s = r + 48. Let b = s - f. Which is smaller: b or -1?
-1
Let d(a) be the second derivative of a**3/6 - 3*a**2 - 3*a. Let w be d(7). Which is greater: w or -2/17?
w
Let x(v) = -v**2 - v - 4. Let w be x(-4). Suppose 0 = 4*y + 113 - 45. Is y less than or equal to w?
True
Let l(g) = g**2 - 4*g + 2. Let p be l(4). Let f be p/((0 - 1) + 11). Is f at most as big as -1?
False
Let l = -11.2 + 11. Is 0.1 at least l?
True
Let o(x) = -x**3 - 3*x**2. Let i be -1*1*(16 + -13). Let g be o(i). Is 2 at least g?
True
Let a = -29.7 + 30. Which is greater: a or 0.5?
0.5
Suppose 0 = r - 5*r + 8. Let b = -13 + 18. Suppose 5*q = 4*w + w + 40, 0 = b*q + w - 10. Which is greater: r or q?
q
Let r = 10.3 - 7.3. Which is bigger: -5 or r?
r
Let s(g) = 2*g**2 + g - 36. Let l be s(-7). Which is bigger: 54 or l?
l
Let o be ((-1)/(-3))/((-2)/(-6)). Let f be (-2 + 4)/o - -16. Let a be f/(-14) - 10/(-35). Is a <= -2?
False
Let l(y) = y**2 - 5*y + 4. Let q be l(4). Let b be (0 + -1 - q)*105. Let f be 4/14 - (-44)/b. Which is smaller: -1 or f?
-1
Let i(d) = -17*d - 1. Let a be i(-1). Let v be (-1 - (-14)/a)/(-1). Suppose 3*f + f = 0. Is f < v?
True
Let o be 4/10 + 46/10. Suppose o*r = 4*r. Let b = 3/11 + 18/55. Is r at least b?
False
Let c = 18 - 8. Let z = -9 + c. Let h be (-7)/12 - (-1)/4. Is h greater than or equal to z?
False
Let w(r) = -2*r + 27. Let b be w(11). Let l = -6 + 12. Is l > b?
True
Let g(m) = -m + 13. Let j be g(10). Is 2 at least j?
False
Let v = 35 - 35.3. Are 1 and v unequal?
True
Let w = 32 + -33. Let t be -2 + 6/2 + -1. Which is smaller: w or t?
w
Let a = 2/111 - -257/111. Is 1 less than or equal to a?
True
Let g(b) = b**2 - 8*b + 5. Let q(d) = -d**2 - 6*d + 2. Let o be q(-5). Let p be g(o). Is p at most as big as -3?
False
Suppose 4*x = -3*r + 67, -4*r = -3*x - 0*r + 69. Let h = x + -18. Let b be 15/(-28) + (-4)/(-14). Is b less than or equal to h?
True
Let l(m) = 12 + 5*m**2 + 10*m - 6*m**2 + 2. Let n be l(11). Suppose 5*y - n*b + 7*b - 7 = 0, 0 = -2*y + 5*b - 17. Which is smaller: y or 0?
y
Suppose 4 = -2*r - 0. Let a = 0.1 + -2.1. Does a = r?
True
Suppose 0 = -4*a - a - 3*v - 22, 3*v - 3 = 0. Let w = a + 5. Which is smaller: w or 2/7?
w
Let n = -0.1 + 0.6. Let w = n - 0.4. Which is smaller: w or 2/11?
w
Let o be (-1)/(-6)*(-10)/30. Is -0.1 at most as big as o?
True
Let i(d) = -2*d + 2. Let s be i(2). Let k be (4/(-6))/(s/3). Suppose 2*w + 3 = -w. Which is greater: k or w?
k
Suppose -j + 0 = -5. Suppose 0 = -j*r - 3 + 28, -2*r = -n - 13. Let g = -6 - -3. Are g and n nonequal?
False
Let t = -1031/2422 + -1/346. Which is smaller: t or -1?
-1
Let z(m) = m + 5. Let b be z(-4). Are b and 10/7 nonequal?
True
Let q be -1 - (-2 + 101/161). Let d = q - 2/23. Is d greater than -1?
True
Let i be -2*(-10)/16*4. Suppose p - i = -1. Is p not equal to 5?
True
Suppose 5*q - 4*i = -1, 3 = -4*q + i - 0. Let p be ((-8)/10)/(q/(-5)). Let x = 2 + p. Are x and -3 nonequal?
True
Let w = -3.6 + 4. Let g = -1 + w. Let o = -0.4 + g. Is 0.1 < o?
False
Let v = 15 - 7. Let j = -10 + v. Let t = -7 + 6. Is j greater than t?
False
Suppose m - 3*k + 10 + 1 = 0, 5*m - 4*k + 11 = 0. Let x = 29 - 27. Which is greater: x or m?
x
Let f(o) be the second derivative of o**4/12 - 5*o**3/6 - 5*o**2/2 - 6*o. Let s be f(6). Is s > 2/17?
True
Suppose -3*w - 32 = -4*t, 3*w - 7*w - 5*t = -9. Let b be 32/24*6/w. Which is greater: b or -6/5?
-6/5
Let n = -0.06 + 0.36. Let k = 1.3 - n. Let s = 0 - -0.1. Which is smaller: s or k?
s
Let b be -67*3/(-51) + -4. Which is smaller: -1 or b?
-1
Let v = -1 + 2. Which is greater: v or -5?
v
Let b(n) = -n**3 + 12*n**2 - 11*n. Let p be b(11). Suppose 2*k + w - 1 + 2 = p, 12 = -4*w. Which is bigger: k or -1/13?
k
Let t be (-2 + 2)/(4 - 2). Is t less than 1/3?
True
Suppose 5*a - 13 = 12. Suppose -2*r + a*j + 2 = 0, 0 = 2*r - 5*r - 5*j + 3. Let s = r - 0. Is s >= 2?
False
Suppose 0 = -4*x + 12 - 4. Suppose -y = x - 1. Which is greater: y or -3/4?
-3/4
Let s = -3 + -1. Let a = -50 - -44. Which is smaller: s or a?
a
Let a be (0 - 0)*(3 + -1 + -3). Are -28 and a non-equal?
True
Let b = 213 - 1488/7. Suppose 0 = 4*u + i - 4*i - 1, -5*u + 3*i + 2 = 0. Is b > u?
False
Suppose 0*q + 21 = 3*q. Which is smaller: q or 23/3?
q
Let l = -195 - -1363/7. Suppose f - 2*x + 40 = -f, 5*f - 4*x + 102 = 0. Let p = 155/7 + f. Is l greater than or equal to p?
False
Let a = -2.02 + 0.02. Let u = 36 + -33.9. Let h = a + u. Which is smaller: -0.2 or h?
-0.2
Suppose 5*z = 5*m + 75, m - 4*m - 4*z = 38. Are -2 and m unequal?
True
Let t(f) = f**2 + 2*f - 2. Let w be (2 - 0)/(-1 + 3). Let j be -1*(w/1 + 2). Let q be t(j). Do q and 1/8 have the same value?
False
Suppose -3*v + 22 + 2 = 0. Suppose -2*l - v = -0*l. Is -3 greater than or equal to l?
True
Suppose 0 = d + 3, 7 = g - 2*d - 10. Let j be (1/g)/((-7)/(-14)). Which is smaller: -1 or j?
-1
Suppose 5*a - 10 = 40. Let b(x) = -2*x + 37. Let z be b(14). Which is smaller: z or a?
z
Let w be ((-4)/(-63))/(-4 - (-65)/15). Is w greater than or equal to -1?
True
Let l(q) = -2*q**3 - 10*q**2 - 1. Let n be l(-5). Suppose y = 3*w + 6, -2*y + 30 = 3*y + w. Let a be (-2)/3*y/14. Are a and n non-equal?
True
Let o(n) = -n + 4. Let l = -9 + 11. Let z be o(l). Are 2 and z equal?
True
Suppose -3*t - 30 = 4*z, -5*t - 19 = 2*z + 17. Is t >= -3?
False
Let c = 152/45399 - -6/409. Which is greater: -1 or c?
c
Let z = -40 - -37. Is z less than -1/5?
True
Let p = 10 - 10.9. Let g = p + -0.1. Are -2/5 and g non-equal?
True
Let a = 7.3 - 8. Which is greater: a or -1?
a
Let d(r) = -2 - 2*r + 2 + 0. Let a be d(-1). Are 3 and a equal?
False
Let q = 259 + -1810/7. Let y(g) = g**3 - 3*g**2 + g. Suppose -5*p + 3 = -2. Let c be y(p). Which is smaller: c or q?
c
Let u = 38 - 38. Which is greater: 2.3 or u?
2.3
Suppose -l + 4*q + 4 = -3*l, -l - q = 1. Suppose -m - 4*k = l, -4*m + 6*k = 5*k + 68. Are -16 and m unequal?
False
Let i be (2/10)/((-2)/(-4)). Let o = -1.9 - -2.9. Which is bigger: o or i?
o
Let f = 889/6 - 419/3. Which is bigger: 10 or f?
10
Let b = 2 - -1. Are b and 4 non-equal?
True
Suppose 5*a + 12 + 13 = 0. Let k(x) = -x**2 - 4*x + 7. Let f be k(a). Which is bigger: 1 or f?
f
Suppose -2*a - 23 = 3*n, a + 4*n + 35 = 11. Let p = 4 + a. Let r be 2 