- 6. Suppose 5 = 7*m - q*m. Is m at least 0?
True
Suppose 4*v + 4 = -2*x, -2*v = -0*v. Is x at most as big as -3/2?
True
Suppose 7*t = 579 + 772. Is 193 at most as big as t?
True
Let t be 1/6 - (-1)/(-6). Is t at most as big as 1/5?
True
Let x be ((-7)/(-4))/((-2)/8). Let t be 2/x + 8/(-21). Let k = -0.23 - -0.33. Which is smaller: t or k?
t
Let o = -12 + -2. Let u = o + 9. Let c = u + 1. Is -4 >= c?
True
Let f be 8/(-42)*(-21)/(-18). Let x = 14 + -4. Suppose 2*n - 8 = -4*z, x = 5*z - 6*n + 2*n. Is z at least f?
True
Let d = 0.12 - 0.02. Let g = 1.1 - d. Which is smaller: g or 1/3?
1/3
Suppose -i + 6*i = 30. Is 6 at most as big as i?
True
Let a = 220/721 + -2/103. Is 7/4 at least a?
True
Let j = -4868 + 53508/11. Are -3 and j equal?
False
Suppose -3*t = -2*v + 15, -3*v = t + 2*t + 15. Let p = 953 - 40977/43. Let u = 35/172 + p. Is v >= u?
False
Let o = -85 + 57. Does o = -27?
False
Let u = 6 - 3. Suppose 0 = -5*d + u + 2. Let v(g) = -g**2 - 6*g + 1. Let a be v(-6). Is d <= a?
True
Let i = -3 + 3. Suppose -2*s + i*s - 10 = -2*h, 2*h + 25 = -3*s. Which is greater: s or -6?
-6
Let x be (0 - (3 + -2))*0. Let m be (-2 - -2)/(x - 1). Suppose m = 2*z - 0*z. Is 1 < z?
False
Let s = -3 + 2. Is s greater than or equal to -3?
True
Let w be (-95 + 0 + 1)*2. Let u = w - -1313/7. Which is smaller: u or 0.2?
u
Let f(o) = o**3 + 4*o**2 - 1. Let a be f(-4). Which is greater: 1/6 or a?
1/6
Let q = 7.7 - 8.8. Which is smaller: 1/6 or q?
q
Let x = -1788 - -3671/2. Let n = x - 46. Is 3 smaller than n?
False
Suppose -24 = t + 5*z, 0 = -3*t + 5*t - 3*z - 4. Let i be (4/(-35))/(t/10). Let j be -1 + 2 + (-3)/2. Which is smaller: i or j?
j
Let v be 2/(-4) + 12/24. Let o be (-37)/39 - (-5)/5. Is v at most as big as o?
True
Let c = 0.59 + -0.59. Is c equal to -0.37?
False
Let i = 0.064 + -2.064. Are 2/3 and i non-equal?
True
Let m(g) = -g - 4. Let d be m(15). Let f = d - -20. Which is smaller: f or -1?
-1
Let m = -30 + 31. Which is smaller: m or 5/3?
m
Suppose -5*z = -2*t - 83, -z + 3*z - 2*t = 32. Suppose 6*u + 3*h - z = 4*u, 0 = 5*u + h - 10. Which is bigger: u or 3?
3
Let f = -1.1 - -3.1. Suppose 3*a = 8 + 4. Suppose -b - a*b = 10. Which is greater: b or f?
f
Let o(p) = -p**2 - 2*p - 4. Let x be (0 - 0)*(-4)/(-8). Let h be o(x). Which is smaller: h or 0.1?
h
Let a(k) = -k**2 + k + 13. Let j be a(4). Which is bigger: -3/10 or j?
j
Suppose -3*i + 7*i = 212. Let s be (-160)/3 - (-2)/4. Let u = i + s. Is 1/4 at most u?
False
Let w(f) = -f**2 - 7*f - 5. Let u be w(-6). Suppose 2*a = -2*a - 4. Let z be u/((-6)/8) - a. Which is bigger: z or 0?
0
Suppose -2*k + 5*s = -55, 0*k + k + 5*s = 20. Is k at least as big as 25?
True
Let v(j) = j**2 - 2*j - 8. Let r be v(-4). Which is greater: -2 or r?
r
Let x = -0.02 - -2.62. Let t = -0.4 - x. Which is smaller: t or -1?
t
Let w = -6.74 - 0.46. Let u = w - 1.8. Let o = 5 + u. Which is smaller: -0.2 or o?
o
Let b(o) = -2*o**2 + o + 3. Let f be b(0). Let x(d) = -2*d. Let g be x(-1). Which is greater: g or f?
f
Let c be (20/25)/(1/(-5)). Let w = c - -4. Suppose -3*q + 0*q - 9 = w. Are -3 and q non-equal?
False
Let x be 4/(-14) - ((-22)/(-28))/(-1). Which is smaller: x or 2/101?
2/101
Let b = -2 - -9. Are 6 and b unequal?
True
Let y be (-6)/4 - (-9)/(-6). Is -2 less than or equal to y?
False
Let g(m) be the third derivative of -m**4/24 - 5*m**3/3 + m**2. Let p be g(-7). Let c be (p/(-4))/((-6)/4). Which is greater: 1 or c?
1
Let c = -12 - -12.03. Which is smaller: -2 or c?
-2
Let r = 3 + -1. Suppose s - 2 = r. Are s and 4 equal?
True
Suppose -7 - 2 = -r. Suppose d + 2*d + r = 0. Do -2 and d have different values?
True
Suppose 4*j - 12 = -2*q, -3*j + 4*q + 3 = -17. Suppose -j = g - 3. Let z be (2 - -2)*(-1)/2. Are g and z nonequal?
True
Suppose 3*z = -2*o - 7, -5*o + 3 = -z + 12. Let l be o*4*1/24. Which is smaller: 1 or l?
l
Let n(p) = p**2 - 11*p + 12. Let j be n(10). Is 1 less than or equal to j?
True
Let y(x) = 4*x**2 + x + 2. Let w be y(-2). Let u be (-1)/4 + 4/w. Let h be ((-4)/(-6))/(4/3). Is u bigger than h?
False
Let f = -0.97 - -0.07. Is f less than or equal to -1?
False
Let t = -10/11 - -159/187. Let f(p) = p. Let k be f(-1). Is t at most as big as k?
False
Suppose 2*x - 88 = -5*l + 11, 11 = l - 4*x. Is 18 at most l?
True
Suppose -c = -0*m + 2*m - 7, -4*c + m = 8. Let t = -2/11 - -4/11. Does t = c?
False
Let n = 159 - 165. Which is greater: 1/8 or n?
1/8
Let q be (-2)/4 + 0/(-1). Let t = -0.04 - 0.06. Are q and t nonequal?
True
Suppose -2*f = -0*f + 6. Is f != -3?
False
Let d = -13 - -19. Which is smaller: 0.2 or d?
0.2
Let m be ((-4)/158)/(4/8). Let v = 221/316 - m. Is v less than 2/7?
False
Let a = -0.28 + -0.02. Let v be (0 + -2 + 2)/1. Suppose 3*u - 6*u = v. Which is greater: a or u?
u
Let t(w) = -w**3 + 5*w**2 + 6*w + 2. Let m be t(6). Let d be 1/(m/(-4) + -2). Let b = 18 + -17. Which is bigger: d or b?
b
Let k be (-10)/5*1/15. Is k less than -5/4?
False
Let r be ((-30)/12)/((-4)/(-8)). Is r > -9?
True
Suppose 8*k = 13*k + 50. Which is greater: k or -0.2?
-0.2
Let f = -466/969 - 22/323. Let a = f - 2/17. Let o be -1 - (2*-1)/2. Which is smaller: a or o?
a
Suppose -p = 7 - 14. Is -4 equal to p?
False
Let w be (-1402)/(-2580) - (-8)/(-20). Let o = 1/43 + w. Is o less than or equal to 1?
True
Let h = -76 + 106. Is h at most 29?
False
Let c be (8/(-84))/((-6)/27). Is c <= 0.1?
False
Suppose -2*c - 3 = m, 0*m + 5*c + 3 = 2*m. Suppose 5 = -9*p + 4*p. Is m >= p?
True
Suppose -a + 4 = 1. Let w(y) = -y**2 + 7*y - 3. Let r be w(6). Suppose -r*i = 5*k - 28, -k + 5*i = -0*k. Is a smaller than k?
True
Let h(y) = y**3 + 8*y**2 + 10*y + 10. Let l be h(-7). Let d = l - -10. Do -1 and d have different values?
False
Suppose 5*n - 20 = n. Suppose 0 = -2*d + n*d. Do -2/3 and d have the same value?
False
Let c = 25 - 62. Does -37 = c?
True
Let k = -1/129 - -263/645. Suppose -4*d - g - 3 = 0, 0*d + 3*d + 4*g = -12. Which is greater: d or k?
k
Let u be (0 - -2) + (-2 - -4). Suppose 4*v - u*f - 8 = -f, v = 3*f + 11. Which is greater: v or 2/27?
2/27
Let h = -15 + 17. Let f be (9/(-15))/(1/(-5)). Suppose -5*k = 3*w - 18, 3*k - 7 = 5*w - f. Are h and w unequal?
True
Let p = 5 + -2. Suppose 2*w - 3*w - p = 0. Let z(l) = l + 2. Let u be z(-5). Is w greater than or equal to u?
True
Let p(o) = 2*o**3 - o + 2. Let c be p(2). Which is smaller: 18 or c?
c
Let o be (-32)/(-208) + (-56)/702. Is 1 not equal to o?
True
Let j(i) = -i**2 - 6*i + 1. Let c be j(-6). Let t be (10/(-6))/((-3)/36). Let g = t - 20. Is g at least as big as c?
False
Suppose -h - 4*j = 4 + 12, -4*h + 3*j - 64 = 0. Which is bigger: h or 0?
0
Let m = 688/1745 - -2/349. Which is smaller: m or -1/9?
-1/9
Let f = -8 - -7.8. Which is bigger: 5 or f?
5
Suppose 0*z = 2*z. Suppose -2*g - 4*h + 14 = 0, -7*g + 4*g + 15 = 3*h. Suppose z = -g*w, -4*i - 3*w = -8*i. Are 1 and i unequal?
True
Let g be -3*((-8)/30)/4. Let i(b) = b**2 + 11*b + 27. Let s be i(-7). Which is smaller: s or g?
s
Let n = 191/4 - 47. Which is greater: n or 0.12?
n
Let a = 247 - 224.1. Let p = 23 - a. Do p and 0.1 have different values?
False
Let f be 1/(0 + -1 + 0). Which is bigger: f or -1/11?
-1/11
Let q = 2.2 - 1.4. Let p = q + 0.4. Which is smaller: p or 1?
1
Let v be (2 - 2) + (-5 - -4). Is v less than or equal to -7?
False
Let i = 28 + -25. Let k(q) = -q**3 + 6*q**2 + 8*q - 4. Let x be k(7). Let l = x - i. Are l and 0.1 equal?
False
Let v be 1/(-9)*(-6 - -3). Are 1/4 and v equal?
False
Let o = 12 - 7. Let q = -6.5 + 6.5. Let j = o + q. Is -1/4 <= j?
True
Let q be (6/5)/((-6)/(-15)). Suppose q*p - 20 - 7 = -4*l, 3*l - 21 = -3*p. Suppose -2*n - 1 + l = 5*a, 5*n + 2*a = 2. Is n greater than or equal to -1?
True
Suppose 7*q = -292 - 212. Which is bigger: q or -73?
q
Let s = 2 + -3. Let q = -2.8 + 1.5. Which is smaller: s or q?
q
Let m(v) = -8*v - 2. Let k be m(-6). Which is bigger: k or 45?
k
Let v(z) = 2*z. Let u be v(4). Let g(f) = -f**3 + 9*f**2 - 9*f + 9. Let j be g(u). Let t be (-1 - -2)/1 + -1. Do t and j have different values?
True
Let k(v) = -v**2 + 8*v - 16. Let g be k(11). Which is smaller: -48 or g?
g
Let d be (0 + 1)*1/5. Suppose -9 = -8*m - 1. Which is bigger: m or d?
m
Let y = 1.04 + -0.04. Is -3 greater than y?
False
Let c = 1 + -1. Suppose c*t = -3*t - 3. Let a = 3716/13 - 286. Is t < a?
True
Let v = 27 - 2