/7. Let p = -2/5 - 1/10. Are r and p nonequal?
True
Suppose 20 = -4*c, z - 4*c - 14 = 3*z. Suppose 0 = -s + 4*d + 19, -5*s + z*d - 4 = -14. Is 3/17 > s?
True
Let y(q) = -3*q + 5. Let d be y(6). Let v = d - -7. Is 0 at most as big as v?
False
Let n be 3/(-2)*(0 - 2). Is 5 at most as big as n?
False
Let o = -27 - -26.93. Which is smaller: o or 0?
o
Suppose -3*l - 15 = -5*r + 2*l, 5*l = 2*r - 12. Suppose r = g - 0. Let y be g + 2 + 33/(-12). Which is smaller: 1 or y?
y
Let s(v) = -v**2 + 5*v - 11. Let l be s(5). Let d(u) = u**3 + 12*u**2 + 11*u - 1. Let r be d(l). Let f = -582/5 - -116. Do f and r have different values?
True
Let l = -4 + 8. Suppose 3*m + 21 = 10*m. Which is greater: l or m?
l
Let l be (-61)/(-21) - (-2 + 2 - -3). Let k = 2 + -2. Are l and k unequal?
True
Let l be ((-2)/5)/((-3)/1 + 5). Is 2 bigger than l?
True
Let c = 0.059 - 3.759. Let w = 3 + -7. Let u = w - c. Which is smaller: u or -0.1?
u
Let x(d) = d**2 + 4*d - 7. Let p be x(-5). Suppose 3*m - 1 = -3*k + 8, -2*m = 3*k - 4. Is k < p?
False
Let d = 0.1 - 0.3. Let i = -0.8 + d. Do -2/5 and i have the same value?
False
Suppose 5*t = 4 + 1. Let g = 0 + t. Let h = 0 + g. Does h = 2?
False
Let h = 371/484 - 2/121. Which is smaller: 11 or h?
h
Let t = 20/23 - 152/69. Suppose 0 = -4*m + m + 12, 4*b = -4*m + 8. Which is smaller: t or b?
b
Let s be (2/8)/(2/(-4)). Let i = 6 - 4. Let b = i + -2.2. Which is bigger: b or s?
b
Suppose -x = 2 + 8. Is x <= -11?
False
Let v be (15/(-6))/((-1)/(-2)). Let z = -5 - v. Is -1/4 at most as big as z?
True
Suppose -4*s = -14 + 6. Let g = -3 + s. Let w(t) = -2*t - 1. Let a be w(g). Which is greater: a or 2?
2
Let m = -14282/7 - -2034. Which is greater: m or -6?
-6
Suppose -p = -60 - 8. Is p > 68?
False
Let i = -1.5 + -0.5. Let b = i - -2.1. Which is smaller: 2/11 or b?
b
Suppose 0 = 4*m + 3*v - 10 + 55, 3*m + v + 35 = 0. Which is greater: -34/3 or m?
-34/3
Suppose -4*c = 5*b - 6, 5*c - 22 = -3*b + 4*b. Suppose -4*g - 6 - 6 = 0. Which is bigger: b or g?
b
Suppose 5*d = 2*d - 3. Let s be 2/(-30)*(2 - 4). Is s bigger than d?
True
Let f = 3 - 1. Suppose 68 = 17*p - 0*p. Is f <= p?
True
Let s = 14 - 21. Are -0.01 and s unequal?
True
Let g = -16/13 - -14/13. Which is bigger: g or 0?
0
Let c = 0.4 - -1.4. Let g = -2.1 + c. Which is greater: g or -2/9?
-2/9
Suppose 3*p = -0*p. Is -1.4 >= p?
False
Suppose 0*u + 2*u - 12 = 0. Let b be u/(-4)*(-5)/(-30). Which is smaller: 0.3 or b?
b
Suppose 5*j + 29 = g, 3*g + 0*g + 2*j - 2 = 0. Suppose 0 = -2*b + g*b. Suppose 2 = 4*u + u - 4*a, b = -3*u - a + 8. Which is smaller: 5/2 or u?
u
Let u be -1 + 0 - 11805/(-85). Let q = -138 + u. Which is bigger: q or 1?
1
Let c(d) = 6*d + 1. Let g be c(1). Let t be -1 - ((-15)/g)/3. Which is smaller: t or 2?
t
Let v = 21 - 21.08. Which is bigger: 0 or v?
0
Let x(b) = b**3 - 6*b**2 - 6*b - 7. Let j be x(7). Let s be (-8)/(-14) - (-2)/(-7). Is j <= s?
True
Let s be 2*((-21)/(-18) + -1). Are 6 and s equal?
False
Suppose -f + 6 = -2. Is f less than or equal to 3?
False
Let v = -45 + 44. Let n = 13373/25 + -535. Which is smaller: n or v?
v
Let c(t) = -t**2 - 5*t - 2. Suppose 5*j - 4*f = -15, 5 = -2*j - 5*f - 1. Let s be c(j). Suppose -45 = s*r + 5*q, r - q = -0*r. Is r greater than -3?
False
Suppose 0 = 8*m - 2*m. Which is smaller: m or 2/23?
m
Let j(s) = s**3 - 7*s**2 - 9*s + 7. Let u be j(8). Suppose -q - 3*q - 4 = 0. Is u at least as big as q?
True
Let i = -522/5 - -105. Is -1.8 smaller than i?
True
Let l be 3/(-6) - (-111)/6. Let b be (-4)/l + (-276)/(-27). Let m = b + -51/5. Which is smaller: -1 or m?
-1
Suppose 4*j + 37 = -2*d + 5*d, 8 = -2*j - 2*d. Suppose 0 = -5*t - 32 - 8. Which is bigger: t or j?
j
Let l(k) = -3*k - 12. Let o be l(-8). Suppose 5*c - 4*y = -3*y + o, y = -c. Let d be 51/(-45) + (c - 1). Is d at most as big as 1?
True
Let u be ((0 + 0)/1)/3. Suppose u*m + m + 1 = 0. Which is bigger: m or 0.6?
0.6
Suppose -2*q + 0*l = -5*l + 13, -2*q + l = 9. Let k(p) = -2*p - 7. Let y be k(-5). Let h = y - 6. Is q < h?
True
Let k = 64/37 - 1168/333. Is -2 != k?
True
Let p = 14 + 5. Let l = p + -7. Suppose -q = r - 4, 2*r + 5*q = l + 2. Do r and 0 have different values?
True
Suppose -10*b + 2*b + 360 = 0. Is 46 greater than or equal to b?
True
Let u be (-1)/4 - (-1)/36. Let a = -1.7 - -3.4. Let r = a - 1.8. Which is greater: r or u?
r
Let n = -0.1 + 5.5. Let r = 0.4 - n. Let b = r - -4. Do -1 and b have the same value?
True
Let t be (2 - 9/8)*1. Let m = t - 5/8. Are 0 and m nonequal?
True
Let u = -2090/13 - -161. Which is smaller: u or 0.1?
0.1
Suppose -5*c - 52 = 3*d + 6, -3*d = -4*c - 68. Is -16 > c?
False
Suppose 0 = -5*z + a + 31, z - 5*a = 6*z - 25. Let u = 1 - z. Which is bigger: u or -4?
-4
Suppose 2*k - 4 = -18. Which is greater: -0.2 or k?
-0.2
Let v(j) = -3*j - 4. Suppose -3*w + 3 = 0, -5*w + 13 + 2 = -5*c. Let h be v(c). Is h at least -1?
True
Suppose -5*i + i + 25 = -5*q, 3*q + 21 = 3*i. Let t be (-15)/i*(-2)/3. Let r = t + 1. Is r less than 3/4?
False
Let o = -25 + 24. Is o equal to -1/44?
False
Suppose 0 = 12*k - 9*k. Is k equal to 1/27?
False
Let q be (-24)/(-18) - 3/9. Let i be (-1)/2*-3 - 1. Is i at most as big as q?
True
Let x(i) = -i**2 + 4*i - 1. Let t be x(2). Let o be -6 + 5 - -4*1/3. Is o >= t?
False
Let z = 155.05 + -149. Let x = -6 + z. Is x less than or equal to -0.1?
False
Let s = -0.17 - -2.33. Let n = s + -0.16. Is n <= -0.5?
False
Suppose -2 - 2 = 4*f. Suppose 0 = -3*w - w + 4. Let h = f + w. Is h smaller than -2/7?
False
Let p = -4.7 + 4.8. Which is bigger: p or -1/42?
p
Let b be (4/(-10))/((-2)/(-20)). Let x(z) = z**2 + 4*z + 3. Let s be x(b). Let a be (s/(-6) + 0)*-4. Is a at most 2?
True
Let c = -26 - -14. Let r = -2 - 10. Are c and r nonequal?
False
Let m = 6 + -15. Which is greater: -8 or m?
-8
Let o = -9 + 28/3. Which is smaller: o or 1?
o
Suppose -7*i = -5*c - 5*i + 12, -8 = -3*c + 2*i. Which is smaller: c or 3/4?
3/4
Let g(l) = -l**3 - 10*l**2 - 10*l + 9. Let c be g(-9). Let x = 15 - c. Suppose 0 = -d - 4*b + 1, -2*b = 2*d + b + 3. Is x smaller than d?
False
Let g be 2/10 - (-12)/(-20). Is 3 greater than g?
True
Let h be -7 - (-12 - -16)*(-2)/(-8). Suppose g - 4*g = -2*t + 8, -5*g - t = 35. Which is bigger: g or h?
g
Let t = -511 + 498. Let j = -59/6 - -19/2. Which is greater: t or j?
j
Suppose 0 = 4*x + 1 + 3. Let y = -1/164 - 319/1476. Do y and x have the same value?
False
Let q = -143 + 1717/12. Are -1 and q non-equal?
True
Let f = 1/52 + -10/13. Which is greater: -1 or f?
f
Suppose -3*f + 5*t = -2*f, 0 = t. Let u(w) = w**3 + 4*w**2 + 4*w + 3. Let b be u(-3). Let v = f - b. Which is smaller: -1 or v?
-1
Let p(z) = -z**3 - z - 1. Let k be p(-1). Let u be k/(-2)*(-24)/(-21). Is u < -2?
False
Let x = -87.1 + 87. Does x = -7/18?
False
Let g be (18/(-4))/((-8)/16). Are g and 10 unequal?
True
Let b = -42063/47 + 895. Which is smaller: b or 0.2?
b
Suppose 3*v = 8*v + 30. Let d be 5*(0 - -1)*-1. Do d and v have the same value?
False
Let l be (1 + -1)*(-31 + 30). Is 14/25 at least as big as l?
True
Let v be (-105)/(-6 + 1) - 0. Are 21 and v non-equal?
False
Suppose -29*z = -24*z. Is -6/31 at least as big as z?
False
Let x(p) = -29*p**3 + 9*p**2 - 6*p + 9. Let j be x(8). Let d = j + 72811/5. Let t = 252 - d. Which is greater: t or 1?
1
Let f(l) = -7*l**2 - 8*l - 7. Let m(v) = 8*v**2 + 7*v + 6. Let g(r) = 7*f(r) + 6*m(r). Suppose 4*k - 13 = 5*k. Let z be g(k). Which is smaller: z or 1?
z
Let c(f) be the third derivative of 0 + 0*f - 3*f**2 - 1/24*f**4 + 1/2*f**3. Let n be c(4). Which is smaller: n or -1/11?
n
Let j = -34 + 101/3. Is j greater than or equal to 0?
False
Suppose 3*t = 6*h - 11*h - 70, 0 = -2*t - 3*h - 45. Which is greater: t or -16?
t
Suppose 3*k = 2*k + 4. Let c(g) = -g**3 + 5*g**2 - 6*g. Let r be c(k). Let h = r - -6. Is h smaller than -3?
False
Let s = 5458/7 - 776. Which is greater: 5 or s?
5
Let z = 1 - 0. Let p be 7 - 7 - -1*z. Let q(k) = -k**2 + 1. Let o be q(0). Is p greater than o?
False
Suppose -m - 2*m = 3. Which is smaller: m or -5/6?
m
Suppose -w = 2*w. Let i be 4 + (0 - 42/10). Is i > w?
False
Let n = 0.85 - -0.05. Let k = n + 0.1. Which is smaller: 10 or k?
k
Suppose 3*n = 6*n - 9. Suppose -3*x = 2*j - 3, 5*x + 2*j - 3 = -2. Let z be x/(n/(-9)) + -2. Is 3 bigger than z?
True
Suppose -u = -0*u - 12. Let m be 11/u + 1/