- h. Which is bigger: p or 3?
p
Let y = -0.109 + -0.191. Which is bigger: -1/6 or y?
-1/6
Suppose 4*r - r = 3. Let n = 0 - 1/5. Is n at most r?
True
Let f = 6 - 13. Suppose 0 = m + 4*w - 7, -2*m - m + 5*w - 30 = 0. Which is smaller: f or m?
f
Let d = 0 + 4. Suppose -d = -r - 1. Suppose 0 = 3*s - r*u - 15, 3*s = -0*u - 3*u - 9. Which is bigger: 2 or s?
2
Suppose 12 = -5*i - 4*w, -6*i + 4*w = -i - 12. Let a be (-1 - -1)*(-1)/2. Suppose a = -3*y - 0*y. Is y > i?
False
Let d be (11/55)/(1/5). Let l be 74/232 - 1/4. Which is smaller: d or l?
l
Let o be ((-6)/2385)/(2/169). Let t = o + 2/159. Let f(g) = g + 7. Let r be f(-6). Which is smaller: t or r?
t
Let m be 4/(-1) + 732/144. Which is bigger: 1 or m?
m
Let n = -0.2 + -2.8. Let p = n - -3.2. Is -2/9 >= p?
False
Let s be (-11)/(-2) + (-6)/12. Suppose -s*z + 33 = -22. Which is smaller: 10 or z?
10
Suppose -4*z = -0*z + 8. Let h = 25 + -28. Is h < z?
True
Suppose 4*j - 2*r = j + 18, 5*r = 5*j - 35. Let m = -4 - -6. Are m and j nonequal?
True
Let z = 82 - 100. Is -17 at most z?
False
Let k(g) = -g**2 - 2*g**2 + 0*g**2 + 5*g**2. Let d(l) = -l - 4. Let r be d(-5). Let b be k(r). Is 1 at least as big as b?
False
Let l = 2 - 2.06. Let o = l - 0.04. Which is smaller: 0 or o?
o
Let k be (4/((-16)/6))/3. Which is bigger: 5 or k?
5
Suppose 3*n + 17 = -2*k, -2*n = -3*k - 0*k + 7. Let q = -1039/18 - -115/2. Which is bigger: k or q?
q
Let v be (-1)/(3/24) - 28/(-7). Which is greater: 16 or v?
16
Let y be (-96)/(-18) - 2/6. Suppose -x = 7*w - 2*w + 33, -y*w = -3*x + 21. Which is smaller: -7 or w?
-7
Let w = 55 - 55.94. Let j = w + -0.06. Which is greater: j or 0.01?
0.01
Suppose -4*a - 17 - 15 = -3*y, -4*a = 4*y + 4. Which is smaller: 5 or y?
y
Suppose 0*g = 4*g. Which is smaller: 1/4 or g?
g
Let f = -416 - -1205/3. Is -14 at least as big as f?
True
Suppose -4*r + t = -4, 0 = -3*r - t - 3 + 6. Let v(w) = w. Let k be v(0). Suppose k*n = -2*n + 4. Which is smaller: r or n?
r
Suppose 3*q + 4*i + 5 = -1, 0 = 2*q + 2*i + 2. Let o(b) = b - 4. Suppose -4*x + 18 = 2*u, -x - 4*x + 45 = -5*u. Let m be o(x). Is q <= m?
True
Let h be -10 - (-3 + 0/(-2)). Let t = 7 + h. Let o be (-6)/(-8) + (-2)/(-4). Is o less than or equal to t?
False
Let k be (-6)/4 - (-4)/8. Let m(o) = -o**3 + 8*o**2 - 10*o + 10. Let r be m(7). Let a = r + 9. Is k <= a?
False
Let h = 8 + -4. Let x be (-2)/h*(-2 - -6). Let n = -9 - -6. Which is bigger: x or n?
x
Let a = 3.2 + -2.2. Let x = 5 + -5. Which is bigger: x or a?
a
Let y(u) = u**2 - 8*u - 1. Let w be ((-1)/(-2))/((-1)/(-16)). Let n be y(w). Let j be (-24)/10 - 2/n. Which is bigger: 1 or j?
1
Suppose 0 = 3*q + s - 4, -q = -s + 2*s. Are q and -7 non-equal?
True
Let b be (175/(-21))/((-1)/(-2)). Is b greater than -18?
True
Suppose -3*b - 52 = -7*b. Which is greater: b or 14?
14
Let d(q) = -q**2 + 2*q + 8. Let z be d(4). Let c(g) = -g + 1. Let m be c(-3). Suppose 5 = -5*j, -k + m*j - 1 + 0 = z. Is -5 != k?
False
Let z be (-52)/(-5) + 12/20. Let l = -9 + z. Which is smaller: l or 4?
l
Let j be 75/(-7) + 28/(-98). Let s = -12 - j. Is s > -4/13?
False
Let f = 166 + -167. Is -1/61 at least f?
True
Let v(s) = -s**3 - 2*s**2 - 4. Let l be v(-3). Let a be (1 - 3)*l/10. Let d be (a - 27/(-12))*-4. Are -4 and d non-equal?
True
Suppose x - 1 - 1 = 0. Let q(g) = g**3 - g**2 + 4*g - 6*g**x - 8 - 11*g. Let d be q(8). Is d < 1/6?
True
Suppose -4 = -3*r + r. Let z = r - 1. Let i be 0 - -1 - (-1 + z). Are i and 2 non-equal?
True
Let c be ((-4)/2 - -1) + 23. Let b be -1 + (c/4 - 3). Suppose 2*k = -k + 9. Is b >= k?
False
Let c = -6 + 4. Let o = 11 + -81/7. Are c and o unequal?
True
Let c be ((-8)/(-10))/((-2)/(-20)). Suppose q + c = 1. Is -8 > q?
False
Let z be (4 - (6 - 3))/1. Which is smaller: 5 or z?
z
Let g = 6.206 + -0.106. Let f = -6 + g. Which is bigger: 2 or f?
2
Let m = -5/909 - -29143/9999. Let n be (-8)/352*534/(-4). Let v = n - m. Is v >= -1?
True
Suppose -4*p = -16, 4*p + 1 = -5*l + 3*p. Let r be 0 + l/9*28. Let a = r + 26/9. Are 1 and a unequal?
True
Suppose -3*a + a = 0. Suppose 2*q + a = -w + 2, -2*w = -3*q - 4. Which is smaller: -4 or q?
-4
Suppose -4*t - 12 = 4*j, -4*j - 55 + 16 = -5*t. Is j greater than or equal to 0.1?
False
Suppose 5*v - 10 = 20. Let u be (-56)/120 - (-4)/v. Which is smaller: 1 or u?
u
Let k(o) be the second derivative of -o**4/3 - 7*o**3/6 + o**2/2 + 2*o. Let n(b) = -5*b**2 - 8*b + 2. Let y(x) = 4*k(x) - 3*n(x). Let t be y(-3). Does t = 0?
False
Let s = 2.9 - 3. Which is smaller: s or -27?
-27
Let s = 0.2 - 0.1. Let v = -0.074 - 0.226. Which is smaller: v or s?
v
Let v = -243/4 + 61. Is -5 > v?
False
Let h(d) = -43*d + 1. Let j be h(2). Let a = -593/7 - j. Let i(o) = 2*o - 30. Let t be i(15). Which is smaller: t or a?
t
Let b = 5 - 3. Let s = 3 - b. Let v be (1 - 0) + 6/(-4). Which is greater: s or v?
s
Let v = -6 - -2. Suppose 0*x - y = -5*x - 15, -2*y = -5*x - 15. Let w be v/(-84) - (-1)/x. Is w != -1/6?
True
Let f = 2 + -3. Let y = -1 + f. Let a = -1 - y. Is -2/5 smaller than a?
True
Suppose -5*u + 9 = 2*s, 4*s - 4*u + 21 = s. Let c(k) = 6*k**3 - 7*k**3 + 12 - 11 - 3*k**2. Let r be c(s). Are -2/7 and r nonequal?
True
Let a = 0.21 + -0.51. Do a and -2 have the same value?
False
Suppose 0 = -3*a - 2*a - 5. Let z be (a/2)/((-2)/(-4)). Let j = -354/5 + 71. Is z at least as big as j?
False
Let n(u) = -u**3 - 10*u**2 - 8*u + 7. Let m be n(-9). Suppose 5*g + 24 = 3*x, -3*g + 3*x - 5 - 13 = 0. Which is greater: g or m?
m
Let g = -12 - -13. Suppose 4*w - g = -13. Let t be (4/3)/((-3)/9). Does w = t?
False
Let z = 8 + -17/2. Is -0.8 at least as big as z?
False
Let q = 79/3933 + 4/171. Is 0 equal to q?
False
Let m(d) = -d**3 - 8*d**2 - 6*d + 9. Let i be m(-7). Suppose 2*t = 10, i*o + 10 = 7*o + t. Let w be -2 - (1 - o - 1). Which is smaller: w or -2?
-2
Let x = 7 + -5. Let j be (x/(-5))/(-2 + -1). Suppose 0 = -p - 0*p. Which is smaller: j or p?
p
Suppose -3*a - 3*l - 3 = 0, -16 = -5*a + 4*l + 15. Let t be 0 - (9/(-6))/a. Is t not equal to 0?
True
Let i be 2*-1*(3 - 1). Which is smaller: -3 or i?
i
Let u be (3 + 3)*(-8)/(-6). Suppose -3*y + u = -7. Suppose -k + 0*o - 1 = -o, -o - 3 = -2*k. Is k not equal to y?
True
Let c(d) = -2*d**2 - 14*d - 7. Let m be c(-6). Let g(i) = -i**3 + i**2 + i + 3. Let u be g(0). Let n = 8 - u. Is m greater than n?
False
Let o = -0.01 + 0.03. Let t = 0.22 - o. Is -2/11 greater than or equal to t?
False
Let u = -1/208 + -411/1040. Is 1 > u?
True
Let z(s) = -s**3 + 7*s**2 - 8*s + 6. Let b be z(6). Suppose 6*r - 35 = 11*r. Are r and b equal?
False
Let j = 1 + 5. Which is smaller: j or 7?
j
Let g be (-12)/45 - (-4)/(-10). Let x be ((-6)/5)/((-2)/5). Let l be 2*(x + (-20)/7). Is l > g?
True
Let b = 0.86 + -0.86. Which is smaller: 1 or b?
b
Let t = -30.133 - -0.133. Which is smaller: t or 0?
t
Suppose 4*j + j - y = 210, 0 = -2*y - 10. Let l = j + -159/4. Which is smaller: l or 1?
1
Suppose 3*y = 28 + 17. Let m = -39 - -54. Is m less than y?
False
Let g(x) = x + 4. Suppose 0 = 4*y - 12, -4*h - 9 = y + 4. Let a be g(h). Suppose 12 = -5*l - 2*r, 2*l + r - 5*r = 0. Which is smaller: a or l?
l
Let m(v) = -v**3 + 4*v**2 - 4*v + 4. Let d be -4*((-30)/4)/(-5). Let i = 9 + d. Let p be m(i). Does p = 1?
True
Suppose 14 = -2*y + 4*f, -19 = -5*f + 6. Suppose 0*q - y*q = 12. Let o be (0 - -1) + 2/q. Which is greater: 2 or o?
2
Let t(h) = -h - 5. Let i be t(-3). Let u = -9 - -18. Let f = 8 - u. Is f >= i?
True
Let s = 119 - -121. Let r = -2158/9 + s. Is -0.1 > r?
False
Let k be (4/18)/(1/(-39)). Let u be 220/3*(-3)/24. Let q = u - k. Which is bigger: -2 or q?
q
Let i(t) = -t - 2. Let s be i(-5). Which is greater: s or 18/5?
18/5
Suppose 0*g + 5*g = 20. Let m(d) = d - 1. Let j be m(5). Suppose j*k - 6 = k. Is k greater than or equal to g?
False
Let j be 4/((-60)/9)*-5. Suppose 2*z - 5 = -j*z. Which is smaller: -2/13 or z?
-2/13
Let a = 6.186 - 6.2. Are -0.1 and a nonequal?
True
Let f = 120 + -117. Which is bigger: f or 0.1?
f
Suppose 0 = -5*z + 2*z + 12. Suppose 0 = 4*m - s, 4*m + z*s + 20 = -0*m. Is -3 at least m?
False
Let x = 1.7 - 11.7. Let q = 12 + x. Let c be ((1 + 1)/1)/(-2). Does q = c?
False
Suppose 4*r + 5*n = 20, r - n + 5*n - 16 = 0. Let h(w) = -w**3 - 5*w**2 - 5*w - 5. Let s be (0 - 4/(-10))*-10. Let t be h(s). Is r smaller than t?
False
Suppose 42 = -10*m + 3*m