7. Let z = m - 0. Are 0.2 and z non-equal?
True
Suppose 0 = 5*w - 2*g - 4, 0 = -g - 0*g - 2. Which is bigger: 3/19 or w?
3/19
Let j = -1 - -1. Suppose 5*q - 4*q = 8. Let g be (-2)/6*(-6)/q. Is g < j?
False
Let d = 1 + -1. Is -3/20 < d?
True
Let c = -382/3 + 125. Which is smaller: -2 or c?
c
Let c(w) = -w**3 - 18*w**2 + 23*w + 46. Let z be c(-19). Which is smaller: z or -31?
-31
Let b = -3 - -4. Let d be (-2)/19*(b - 0). Which is smaller: 1 or d?
d
Let v(k) = -3*k**3 - k**2 - 3*k - 7. Let m(w) = -7*w**3 - 3*w**2 - 7*w - 14. Let y(b) = -2*m(b) + 5*v(b). Let s be y(0). Which is smaller: s or -6?
s
Let d(t) = -t - 27. Let b be d(-7). Let p(n) = -n**3 + n + 3. Let i be p(3). Which is bigger: b or i?
b
Let f be (-18)/(-4)*(-12)/(-18). Let t = 2 - f. Which is greater: -2 or t?
t
Suppose 2 = i + 6. Is i at most as big as -2?
True
Let d(o) = o**3 + 5*o**2 + 3. Let h be d(-5). Suppose -2*s = h*s - 15. Let r be s - 1 - (-1 - -3). Do -1/2 and r have the same value?
False
Let f(p) = 15*p + 1. Let x be f(1). Which is greater: x or 17?
17
Let s = 1.57 - 1.87. Which is smaller: s or 0.9?
s
Let n be (-3)/(-6)*4/(-2). Let h = 16 - 22. Let q be n/h*(3 - 1). Which is smaller: q or -1?
-1
Let h(q) = -q**2 - q. Let y = 4 + -4. Let p be h(y). Is 4 != p?
True
Let f = 28 - 235. Let t = 2279/11 + f. Suppose -5*p - 9 = -2*p, -n = 4*p + 12. Which is bigger: t or n?
t
Suppose -w - 7 = -17. Which is bigger: 9 or w?
w
Suppose -2*v = -6*v + 16. Suppose -k - y - v = 0, 0 = 2*k - 4*y + 2. Let m = 8 + -11. Is m < k?
False
Suppose 3 = 3*l - 12. Is l less than 5?
False
Let g(s) = -s**3 - 4*s**2 - 3*s. Let q be g(-2). Let x = q - -1. Let b = -56.4 + 56. Which is smaller: x or b?
x
Suppose 2*c = y - 2, -3*c - 3*y = c - 6. Suppose -4*f = -3*u + 2, 2*u + 1 = 4*f + f. Is c > f?
False
Let w = 199/5 - 2179/55. Let x(n) = -2*n - 12. Let i be x(-6). Are i and w equal?
False
Let l = 4 + 9. Let k = 3.6 - 21.6. Let f = l + k. Is f <= 0.1?
True
Suppose 0 = 2*r - 4*r. Which is greater: -1/7 or r?
r
Let w = -1 - -6. Suppose -w*j + 90 + 330 = 0. Let d be j/8*(-2)/3. Are d and -7 equal?
True
Suppose -4*t - 44 = -2*d, 3*t = 2*d - 19 - 24. Let g = -20 + d. Which is smaller: g or 5/4?
g
Let f be ((-6)/(-4))/((-1)/(-2)). Suppose -7*h - 16 = -f*h. Let m = 4 + h. Are 0 and m non-equal?
False
Let i = -23/4 + 6. Let k be 2*((-2)/(-2))/(-1). Let c = -3 - k. Is i less than or equal to c?
False
Let a = -203.64 - -199. Let g = a + 0.44. Let h = g - -4. Which is smaller: h or 0.2?
h
Let x = -11308/1345 - -2/269. Which is greater: x or -7?
-7
Let i = 35.2 + -15.2. Which is smaller: 1 or i?
1
Let p = 11.6 - 12. Let u = p - -0.4. Which is bigger: u or -1?
u
Let y be (9/12)/(2/8). Let v be (1*6)/(y - 1). Does v = 3?
True
Suppose -8*k + 12 = -10*k. Which is smaller: k or -5?
k
Suppose 5*o + 5*o = -10. Is -3/32 less than o?
False
Suppose -3*v + 5*t = 12, 3*t - 16 = -v - 2*t. Let d = 503 - 8554/17. Which is greater: d or v?
v
Let a = 12 - 23. Suppose 2*l = 5*u + 54, 8*l - 5*l - 16 = u. Which is bigger: u or a?
u
Suppose -h + 21 = 5*j, 0 = -2*h + j + 4*j - 18. Let o(m) = m**3 + m. Let v be o(0). Let a = v - h. Which is smaller: a or 1/8?
a
Let t = 6 - 1. Which is bigger: 2 or t?
t
Let n = -0.041 - 7.059. Let p = -7 - n. Which is smaller: p or 2?
p
Let b = 211/5 - 42. Let v = 7/10 - b. Is 2 smaller than v?
False
Suppose -4*f + 16 = -0*f, 3*p - 41 = -5*f. Suppose -4*x + 12 = -p*x. Which is greater: -5 or x?
x
Let k be 4/(-6) - 20/15. Let t(u) be the first derivative of -u**4/4 + 3*u**3 - 9*u**2/2 + 4*u - 4. Let s be t(8). Is k < s?
False
Let h(q) = q**2 - 7*q + 10. Let u be h(4). Let d(k) be the third derivative of k**4/12 + 3*k**3/2 - k**2. Let n be d(-6). Is u greater than n?
True
Let d = 949/795 - -1/159. Which is bigger: d or 0?
d
Suppose 3*q - 5 = 5*d, -3*d - 1 = -q + 2. Which is bigger: 2/63 or q?
2/63
Let f be 2*(428/108 - 4). Is f > 0?
False
Let a = 38 + -32. Is 4 greater than a?
False
Let o be ((-3)/12)/(2/4). Suppose -b + c - 3 = -0*b, -2*b + 4 = 3*c. Which is smaller: b or o?
b
Let c(r) = 41*r + 1. Let b be c(1). Let a be (-18)/(-63) + 2/b. Which is smaller: a or 1?
a
Let q = -106.94 - -108. Let k = -0.06 + q. Are k and 3/7 unequal?
True
Suppose 3*b + 2*b = 25. Suppose b*x + 0 - 5 = 0. Let q be x/2 - (-9)/(-2). Is -3 > q?
True
Suppose 0 = -8*g + 3*g + 20. Suppose -4*w - 11 - 5 = -g*q, -2*w = 5*q + 1. Which is bigger: q or -9?
q
Let x = -0.3 + 0.1. Let c = 0 + 0.3. Let i = c - 0.5. Is x equal to i?
True
Let s = -51 + 47.1. Let m = 6 + -2. Let z = s + m. Which is bigger: z or -0.2?
z
Let n be (-10 - -13)*(-5)/6. Which is smaller: -2 or n?
n
Let z = -724682/11 + 65953. Let s = 73 - z. Let r(j) = j**3 - 2*j**2 - 4*j + 2. Let b be r(3). Do b and s have the same value?
False
Let b(u) = -u - 6. Let c be b(-8). Suppose -d = c*d - 6. Let g = d + -3. Is -3 bigger than g?
False
Let w = -9.97 - -1.97. Let k = -3 + 4. Does k = w?
False
Let h = 84 - 50. Is h smaller than -1?
False
Suppose 0 = f - 3*u + 3, 0*f + f - 2*u = -2. Suppose 35 = 5*h - 5*d, h + f*h + 5*d = 25. Which is bigger: 11 or h?
11
Let n = -1.011 + 0.011. Which is greater: 22/5 or n?
22/5
Suppose -12*d + 55 = -7*d. Suppose 0 = -3*v - n - n + 9, 0 = -3*v - 5*n + 9. Suppose -4*k = c - d, v*k - 3*c + 9 = 2*c. Is 2 < k?
False
Suppose 6 = -0*c + 2*c - 4*m, 6 = -3*m. Is -2/13 < c?
False
Let a = -42 - -25. Are -17 and a non-equal?
False
Suppose -5*g + 7*g = -22. Let w = 3 - 13. Is g < w?
True
Let r = 10/19 + -582/95. Let b = r + 6. Which is greater: b or 1?
1
Let r = -6 - -7. Let m = 0.4 - 3.4. Let g = 4 + m. Is g at most as big as r?
True
Let v be 20/36*4 + -2. Which is greater: 0.4 or v?
0.4
Let s = -4 + 4. Is s smaller than -14?
False
Suppose -38 = v + v. Let o = v - -10. Let l be o/12 + 2/(-8). Do l and -4 have different values?
True
Let b(n) = n**2 - 3*n - 2. Let w(d) = d**2. Let v be w(-2). Let a be b(v). Are 3 and a non-equal?
True
Let l = -9.119 + 0.119. Which is greater: -2 or l?
-2
Suppose f + 100 = 3*f - 4*q, -f + 5*q = -35. Is 0 less than f?
True
Let l = 7 - 6. Let y = -1 - l. Which is bigger: -4 or y?
y
Suppose 4*t + 31 - 39 = 0. Suppose 3*z - 2*v = 29, -2*z + 18 = -0*v - v. Let n = z - t. Is 4 smaller than n?
True
Let d(p) = p**2 - 14*p. Let u be d(9). Let s be 72/u - 2/5. Which is greater: -5 or s?
s
Suppose 57 = 5*c - 3*f, -2*c + 3*f + f + 34 = 0. Suppose -c + 1 = -4*l. Suppose r - l*r = 0. Which is greater: r or 1?
1
Let m = 4 + 2. Let j be m/24*-2*1. Let w = -0.06 - -3.06. Is j at least w?
False
Suppose 4*p = 5*y + 30, 4*p = y + 28 - 6. Let l be (4/6)/((-4)/(-6)). Which is smaller: p or l?
l
Suppose 12*b - 7*b + 10 = 0. Let q be b*(1 - 0) + 9. Is 7 >= q?
True
Let x = 1 + -4. Let r = x + 15. Is r at least as big as 12?
True
Let w be (1 + -1 + 0)/1. Suppose 3*o - 6*o = w. Suppose o = -5*a + 3*u - u - 18, 5*u = 4*a + 11. Which is greater: a or -2?
-2
Let y(q) = q**3 - 4*q**2 - 5*q. Let k be y(5). Is k bigger than -1?
True
Let d = 0.4 + -0.3. Let f = 14 + -15. Which is smaller: f or d?
f
Let q = -7/64 - -347/832. Which is smaller: q or -2?
-2
Let g(p) = 11*p**3 - p**2 + 1. Let h be g(1). Let c = -7 + h. Is 4 greater than or equal to c?
True
Let k be 2/40*87*(-4)/(-3). Is k less than or equal to 5?
False
Let i = -5 + 1. Let p be 20/(-6) + i/6. Let a be 7/(-4) + (-3)/p. Which is smaller: a or 1/4?
a
Let y = -27 + 44. Suppose -7 - y = 6*i. Which is bigger: i or -13/4?
-13/4
Let u be ((-8)/(-72)*3)/(3/(-9)). Let q = -139 + 697/5. Which is bigger: q or u?
q
Let p = -4 - -4.4. Let d = -0.6 + p. Let y = 0.3 + -0.8. Does d = y?
False
Suppose -4*v = -16, 4*v - 2 = 2*a + 2*v. Which is bigger: a or 2?
a
Suppose 2*n + 190 = -3*m + m, 5*n - 4*m = -520. Let y = n + 502/5. Is -0.1 >= y?
False
Let u(g) = g + 1. Let f be u(0). Let z = 1.92 - -0.08. Let d = 1 - z. Which is smaller: d or f?
d
Let y(q) = q**2 + 7*q - 7. Let d be (-76)/10 - 4/10. Let w be y(d). Which is smaller: w or 2/9?
2/9
Let v = -1/1115 - 1034/90315. Is -1 <= v?
True
Let v = 0.12 - 1.82. Let g = -5.3 + v. Are g and 2 equal?
False
Suppose 9 = c - 3*u + 6*u, -4*c = 4*u - 52. Which is bigger: c or 14?
c
Let m(n) = -n**3 + 12*n**2 - n + 12. Let t be m(12). Let l = 6 + -9. Let o be (-2)/(l - (-4 + 2)). Which is smaller: o or t?
t
Let j be ((-2)/(-8) + 0)*-1. Let u(w) = w**3 + 5*w**2 + 4*w + 3. Let d