 p = -3.6 - 1.4. Which is smaller: -1/10 or p?
p
Let c be (-186)/(-16) - 30/(-80). Are 11 and c non-equal?
True
Let b(d) = -2*d**2 - 16*d + 7. Let q be b(-9). Are -11 and q unequal?
False
Let f = 0 - 1. Let w be ((-1)/(-4))/((-35)/(-15)). Let h = w + -71/140. Which is bigger: f or h?
h
Suppose -3*g + 0*g = 2*v - 23, 0 = v - 4. Are 5 and g non-equal?
False
Suppose c = -c. Suppose c*a + 4*a = -12. Is -4 greater than a?
False
Let s be (121 - -1) + 1 - -3. Let a = 501/4 - s. Which is smaller: 0 or a?
a
Let t = 33.02 + -33. Let o = -4.92 - -5. Let j = o + t. Which is smaller: j or 1?
j
Let o = -46053/25 + 1845. Let q = o + -14/5. Is -1 smaller than q?
True
Let t(w) = w - 1. Let q be t(4). Let z be (2 + -11)/(1 + 0). Let f(r) = -r**2 - 10*r - 5. Let y be f(z). Is q at most y?
True
Suppose -k = -4*q + 320, 2*q - k = q + 77. Let o = 895/11 - q. Is 0 != o?
True
Suppose 4*u + 3*n = 28, -4 = 3*u - 4*n - 0. Let i = -2 + u. Let z = 5 - 6. Which is smaller: z or i?
z
Let j = -6.9 - -6.5. Is j bigger than 0.03?
False
Let p be (36/15)/(-3)*-170. Let c be 1/3 + p/(-12). Let z = -8 - c. Which is smaller: 2 or z?
2
Let r(k) be the second derivative of -k**5/20 + k**4/3 + k**3/6 + k**2/2 - 3*k. Let f be r(4). Suppose -f*n + 0*n = 0. Which is smaller: 1 or n?
n
Suppose c + 7*b = 3*b - 7, 0 = 5*b + 5. Let f be c + 5 - (0 - 0). Let v be (-1)/(-5)*15/6. Which is greater: f or v?
f
Suppose -s = 16*s. Which is greater: -11/12 or s?
s
Let t be (-1008)/(-540) - 1/5. Are -3/4 and t equal?
False
Let w = -428/2771 + 6/163. Suppose -4*y = -y + 4*x - 4, 20 = 4*y - 2*x. Suppose -5*r + r = y*u - 20, 0 = -5*u + r - 5. Are u and w unequal?
True
Let z = -66.22 + 67. Is z greater than 1?
False
Let v = -2 + 7. Let w be -2 + (-5)/(v/(-4)). Suppose -3*j + 1 = -w. Do 0 and j have the same value?
False
Suppose -5*n = 182 - 182. Which is greater: -1 or n?
n
Let z(d) = d**2 - 4*d - 2. Let c be z(4). Let w be 5/(75/(-12))*5. Let a be (w/(-3))/((-22)/9). Is c < a?
True
Suppose -v + 3 - 6 = 0. Let m = v - -3. Which is smaller: 2 or m?
m
Let v = 2 + 1. Suppose m - 21 = -4*i, -2*i + 28 = 3*m + v*i. Let r = -1 + m. Is 3 less than or equal to r?
False
Let j = -3.1 + 2.9. Let k be 4/(-16)*-4 + -1. Which is smaller: k or j?
j
Let h = -91 - -96.3. Let n = -5 + h. Let g = -0.3 + n. Do 0.1 and g have the same value?
False
Suppose 0 = -3*z + 4 + 14. Let l be 1 - 22*(-3)/z. Suppose -l = -k - 3*k. Are k and 2 unequal?
True
Suppose -3*f - 20 = -7*f. Let w be ((-2)/f)/(2/(-5)). Is w less than 1/2?
False
Suppose 4*k - 2*d + 4*d - 14 = 0, k = -5*d + 17. Let p = 61 + -60. Does k = p?
False
Let f = 359/1000 + 2/125. Let v(i) = 3*i - 3*i + i - 2. Let z be v(3). Which is smaller: f or z?
f
Let c be 117/(-12) + 2/(-8). Let o be (-8)/10*c/18. Suppose -5*w + 3*w + 2 = 0. Is o > w?
False
Let l(o) be the second derivative of o**4/12 - o**3/3 - 2*o. Let q be l(2). Let g be (9/(-12))/(102/(-16)). Which is smaller: q or g?
q
Let k = -2 - -7. Suppose -a - 14 = -k*d, -d - 4*a = -2*d + 18. Do d and 1 have the same value?
False
Let y(n) = n**2 + 1. Let m be y(-2). Suppose m*k - 6 + 1 = 0. Is k bigger than -4/9?
True
Let j(c) = -c**3 - 6*c**2 + c + 8. Let w be j(-6). Let n(l) = 0*l**2 - l**3 + 0*l**3 - w*l**2. Let p be n(-1). Which is smaller: 0.5 or p?
p
Let a be (6/(-4))/((-2)/(-4)). Let w(i) = i - 6. Let d be w(4). Which is greater: a or d?
d
Let q = 210 + -207. Suppose 4*s = -4 + 12. Suppose 4*n - 4*r = -8, -r - 10 = s*n - 5*r. Which is smaller: q or n?
n
Let y be 6/9*3/(-2). Let m(f) = f**2 - 5*f - 3. Let s be m(6). Let d = -4 + s. Is d > y?
False
Suppose -5*p = 10*p + 1980. Is -132 >= p?
True
Let d be (17 - 3)/(-3 + 2). Do d and -15 have the same value?
False
Suppose -5*a - 132 = -4*q, -4*q + a - 6*a + 172 = 0. Which is smaller: 40 or q?
q
Let l be (-2)/(-3) + 4/(-6). Suppose -o + 9 = -g, 4*o + 3*g - 13 = -o. Let q be 2/5 + o/(-25). Which is bigger: q or l?
q
Let w(j) = -6*j. Let q be w(-1). Let x(l) = -l**2 + 7*l - 6. Let k be x(q). Which is smaller: k or 1/2?
k
Let y = -8 + 12. Suppose -2*c = -1 - 9, y*q + 4*c - 24 = 0. Which is bigger: 2/5 or q?
q
Suppose 3*p = q - 0*q + 4158, 0 = 2*p - 5*q - 2772. Let j = 3907/3 - p. Let g = 83 + j. Which is smaller: g or -2?
-2
Let x = 175/3 - 4381/75. Is 1 at most as big as x?
False
Let o = -37 + 46. Is -0.5 not equal to o?
True
Let k = -21 - -20. Do -15 and k have the same value?
False
Let b = -2.1 - -0.1. Let u be 1/((-3)/(-27)) + 0. Let y = 9 - u. Is y at most as big as b?
False
Let t(w) = -2*w - 4. Let f be t(12). Is -29 >= f?
False
Let b be 1/(3 - (-5)/(-2)). Let z be ((-16)/420)/(b/(-5)). Which is greater: 1 or z?
1
Suppose -39 = 4*i + 5*a, -2*i - a = i + 32. Let k = -7 - i. Suppose -q + 3*n = 11, q = 2*n - k - 5. Which is smaller: -3 or q?
q
Let m = 3 + -4. Let a = m - 0. Let k = 383/5 + -77. Which is greater: a or k?
k
Let b be (1/5)/((-748)/55). Which is bigger: 0 or b?
0
Let s = -23 - -13. Let f be 6/s + (-4)/(-10). Which is bigger: 1/4 or f?
1/4
Let l(z) = z**3 + 9*z**2 - 5. Let v be l(-9). Which is bigger: v or -7?
v
Let c = -17.2 + 17. Suppose -j - 10 + 2 = 0. Let s = j - -38/5. Is c > s?
True
Let h(o) = -o**3 + 2*o**2 + o. Let v be h(-1). Let r = 44 - 43. Is v greater than r?
True
Let f = 48 + -56. Which is greater: -3 or f?
-3
Suppose h - 4*n + 3 = 0, h - 3*h + 5 = 3*n. Is -3/7 greater than h?
False
Let d = -47/777 - -4/37. Are d and -1 unequal?
True
Suppose 2*m - 4*m = 5*n - 50, 2*m = n + 2. Let f be 60/9*2/n. Suppose s - 7 = -4. Which is smaller: f or s?
f
Let x = -0.08 + -0.22. Is x at least as big as 4?
False
Let m = -25/91 + 3/7. Which is bigger: -0.2 or m?
m
Let b = 12873 + -12996.03. Let h = -121 - b. Let o = h - 0.03. Which is smaller: o or 0.1?
0.1
Suppose 4*o + 32 = -3*h, 2*h + 0*h + o + 13 = 0. Do -28/9 and h have the same value?
False
Suppose -v = 4 - 0. Let t = -62 - -57. Is v < t?
False
Let j(x) = x**3 - 6*x**2 - 1. Suppose -5*k + 0 + 30 = 0. Let r be j(k). Is -2 < r?
True
Let z = 13 - 15.5. Let p = z - 0.5. Let r = 0.43 - 0.43. Is p greater than r?
False
Let j = 546044/157 - 3478. Is 1 greater than or equal to j?
True
Suppose 5*t + a - 16 = -2*a, 3*t = -2*a + 9. Suppose 0*n + t*n = 0. Let h = 1 - 2. Are h and n non-equal?
True
Suppose -2*x - 1 = 3*i + 4, -2*x = 5*i + 15. Which is smaller: x or 4?
4
Let u(l) = l**3 + 13*l**2 - 14*l - 3. Let b be u(-14). Let f be (-4 - -1)*(-4)/(-6). Let g be -1 - ((-5)/(-2) + f). Which is bigger: g or b?
g
Let t(p) = -p**3 + 6*p**2 - 3*p - 5. Let g be t(5). Suppose f = -o + 2 + 1, -4*o + 7 = g*f. Is 6 smaller than o?
True
Let a = -41 - -41.1. Let g be 8/(-12)*(-1 - -2). Which is smaller: g or a?
g
Let i = 6 + -3. Let r = i + -5. Suppose -u - u = x + 4, 1 = -x + u. Is r greater than x?
False
Let p be (-10)/(-45) - 2/9. Suppose -g - g - 4 = p. Which is bigger: g or -8/7?
-8/7
Suppose -1 = -p - 3. Let f be 117/12 - (-1)/4. Let y = 7 - f. Which is smaller: p or y?
y
Let c(b) = -4*b - 134. Let l be c(-30). Suppose -5*u = -5*y - 65, -3*y = u - 3*u + 39. Is y equal to l?
False
Let h(u) = u**2 - 12*u - 12. Let x be h(13). Which is smaller: -5 or x?
-5
Suppose 13*m = 9*m + 8. Let f be (m*1)/(-3 + 7). Which is smaller: 1 or f?
f
Let r be 14/(-4) - (-5)/10. Let g = -3 + 1. Which is smaller: r or g?
r
Let q = -10 + 26. Let f = -15.3 + q. Let r = f + -0.8. Is -0.1 < r?
False
Suppose -3*g + 0*k - 2*k - 22 = 0, -5*g = -4*k + 22. Suppose -4 = -0*c - c - 5*z, 29 = 3*c - 2*z. Let l = c + g. Which is smaller: l or -1/4?
-1/4
Let m(y) = 2*y**2 - 6*y - 3. Let w be m(-2). Is w > -4?
True
Let s = 476 + -3331/7. Let f be -1 - (-1 + 0) - -1. Let x = f - 1. Is s bigger than x?
True
Let d = 0.087 - -50.913. Does 0 = d?
False
Let p = 9 + -9.2. Which is bigger: -8 or p?
p
Suppose -55 = -5*s - 0. Let r(d) = -d + 9. Let t be r(s). Which is smaller: -1 or t?
t
Let m = -1/28 + -41/28. Let f = m - -1. Do f and -1 have the same value?
False
Let l be ((-1)/(-5))/((-1)/(-18)). Are 5 and l equal?
False
Let c be (-14)/(2*(1 + -2)). Let o = -7 + c. Which is bigger: o or 5/4?
5/4
Let f(i) = -i**2 - 6*i + 7. Let v be f(-7). Let m = 0 - 1. Which is smaller: m or v?
m
Suppose 11*d - 2 = 9*d. Which is bigger: d or -36?
d
Let m = -0.236 + 0.096. Which is smaller: 1 or m?
m
Let a = 4 - 4. Let r = -103.1 + 97. Let j = r + 6. Which is bigger: a or j?
a
Let l(r