et a be y(3). Suppose -a = 2*k - 23. Which is greater: k or 7?
k
Let h be 0 - 2 - (-1176)/585. Does h = 0?
False
Let v = -7.8 + -0.2. Let i = -7 - v. Are i and 5/6 unequal?
True
Let v = 5 + -5. Let k = -3 - v. Is 0 != k?
True
Let d = -14 + 13.89. Let w = 4.11 + d. Let u = 3.2 + -3. Is u != w?
True
Let o = 2 + -3. Let v = 18 - 55/3. Which is smaller: v or o?
o
Suppose s = 6*s - 15. Suppose -k = 3*i - 1, 3*k + 11 = s*i - k. Let x = 0.3 + -0.1. Is i less than or equal to x?
False
Let c be -2 + 0 + 5 + 2. Is c less than 4?
False
Suppose -4*m + 0*u = -u + 23, -2*u - 14 = 2*m. Let y be (-1 + 526/m)*-1. Let b = y + -90. Is b >= 0?
False
Suppose 25 = -r + 5*d, d + 25 = -3*r + 6*d. Which is greater: 8/7 or r?
8/7
Let l = 114 - 92.6. Let f = l + -22. Is f at most -1/4?
True
Let b be (0 + 0/(-4))/(-2). Is 10/9 != b?
True
Let u = 21.998 - -0.002. Let m = u + -22.04. Is -2/5 > m?
False
Let v(h) = -h**3 + 10*h**2 - 3*h - 2. Let y be v(7). Which is greater: 123 or y?
y
Let m = 55.3 - 55. Is m less than or equal to 7?
True
Let h(s) = s**2 - 9*s + 15. Let o be h(7). Is o smaller than 3/23?
False
Let f = 74 + 12. Is f less than 87?
True
Suppose 30 = 4*p + p. Let b = -1 + -5. Let w be (-2)/(-4) - 27/b. Which is greater: p or w?
p
Let t = 11.9 - 11. Let d = t - 1.1. Which is bigger: d or 0.4?
0.4
Let b(u) = -3*u. Let g(t) = 4*t**2 - 2*t + 2. Let a be g(2). Suppose r + a = -4*j - r, -j - 4*r = 21. Let s be b(j). Is s less than or equal to 2?
False
Let t be -4*(-1 + (-27)/12). Suppose 3*i + 2*w = -2*i + 21, w = -3*i + t. Let f = i + -6. Which is smaller: -2/13 or f?
f
Let k = -57 + 58. Is -1/36 less than k?
True
Let v = -2 - 0. Let g = v - -2.1. Let x be 3/3 + (-12)/9. Which is smaller: x or g?
x
Let y be (-1)/((-1)/((-173)/3)). Let g = y + 57. Let c = 4 + -4. Are g and c nonequal?
True
Suppose 0 = 3*o + 4 - 52. Let k be (4/48)/(6/o). Is k less than 1?
True
Let t be (-6)/(-4) + 11643/(-12). Let l = -77507/80 - t. Let n = 3/80 - l. Is n greater than 0?
True
Let q = -7 - -7. Suppose -4*c + 1 - 5 = q. Which is bigger: 4 or c?
4
Let p(j) = j**2 - 4*j. Let c be p(4). Which is bigger: -2 or c?
c
Let l = -0.64 + 0.04. Let k = l + 0.5. Are 2 and k nonequal?
True
Suppose -6 = -g - 4*z, -4*g + 5 = -4*z + 1. Which is smaller: g or 0?
0
Let u(w) = 3*w - 8. Let m be u(4). Suppose 3*l - 3*k = 33, 2*k = -2*l + 10 - m. Is l at least as big as 7?
True
Let d = -18 - -1. Let q = 16 + d. Which is smaller: q or -2/15?
q
Let w = -13 + 13. Let j = w + -2. Are -10/7 and j nonequal?
True
Let d = -0.3 + 0.8. Let h = -0.8 + d. Let r = h - -0.2. Is r <= -1?
False
Let c be 4/(-12) + 52/57. Let q = c - 105/247. Suppose -4*o + 0*o = 0. Which is smaller: o or q?
o
Let f = 67/8 + -1/8. Which is smaller: 7 or f?
7
Let y be ((-33)/27 + 1)/(-2). Which is greater: 0 or y?
y
Let p = 1 + -1.2. Let w = 18 - 16. Which is smaller: p or w?
p
Suppose 8 = 4*g - 2*g. Suppose 0 = -g*i - y - 2*y + 10, 5*y = -10. Suppose -i*p - 5 = -4*o - 21, 5*p + 3*o + 12 = 0. Is 0 at most p?
True
Let m = -1 - 1.7. Are 3 and m nonequal?
True
Let j = 7 + 7. Which is smaller: j or 11?
11
Let o(d) = d**3 + d**2 - d - 2. Let a = -7 + 5. Let l be a + 2/(-3)*-3. Let y be o(l). Is y >= -3/4?
False
Suppose 0 = -5*j + 4*j - 1. Let v be ((-142)/(-4) + 3)*2. Let l = 383/5 - v. Which is bigger: l or j?
l
Suppose 2*n - 26 = -4*r, 4*n + 0*r = r + 25. Suppose 0 = s + 99 - 105. Which is smaller: n or s?
s
Suppose -4*c + 2 + 2 = 0. Let z be ((-258)/(-195))/((-3)/(-5)). Let o = z - 20/13. Which is bigger: o or c?
c
Let p be 2/(-3)*3*-1. Let y = p - 5. Is 0 greater than y?
True
Let x(q) = q + 3. Let t be x(-2). Which is smaller: t or -3/7?
-3/7
Suppose 4*s = -0*s. Let n be ((-7)/(-14))/((-1)/12). Let c(h) = h**2 + 5*h - 4. Let f be c(n). Which is smaller: s or f?
s
Let p = -5 + 10. Let w(j) = 2 + j - 2 - 2*j + p. Let b be w(4). Are -1/6 and b unequal?
True
Let v = -0.218 + 0.018. Let p = -0.1 + 0.1. Is v smaller than p?
True
Suppose -6*d - 6 = -5*d. Let o be ((-4)/d)/(13/39). Suppose -4*q + 1 = -7. Do q and o have the same value?
True
Suppose j - 3*t = -0*t + 6, -4*j + 4*t = -8. Is j at least 2/5?
False
Let x(b) = -b. Let m be x(-1). Let l = -40109/49815 - -319/486. Let d = l - -2/41. Is d equal to m?
False
Let z = 12 - 8. Let b = z - 1. Suppose -b*i = 2 - 5. Is i < 0?
False
Let r be 1*((-15)/(-10) + -2). Do r and 36 have different values?
True
Let t be (1 + -2)*(-4)/(-2). Let r = t - 0. Let g be (r/(-4))/((-4)/16). Is g >= -1?
False
Let g = -79 + -119. Let o = g - -983/5. Let m = 23/20 + o. Is 1 smaller than m?
False
Let j(z) = z**2. Let f be 3/(-6)*1*4. Let n be j(f). Suppose 4*h + 6 = -5*m, -n*h - 4 = 3*m + m. Is -2 at least as big as m?
True
Let b be (4/(-30))/(3/(-10)). Suppose 23*c = 22*c. Which is greater: b or c?
b
Suppose -5*k - 2*j = -22, -5*k + 0*k + 24 = 4*j. Let x be (-84)/(-72) + (-2)/k. Which is smaller: x or 1?
x
Let v = 1.7 - 1.6. Is v equal to 2/3?
False
Suppose 2 = -5*m - 3. Let g = 5 - 2. Are m and g nonequal?
True
Let g be (3/(-2))/((-15)/(-280)). Is -29 less than g?
True
Let j = -2 - -1. Let z be (-108)/(-14) - (-10)/35. Let w be 2/(-7) + z/(-21). Which is smaller: w or j?
j
Suppose -4*o = 3*z - 9, 5*o - 3*z - 2*z - 20 = 0. Suppose 0 = -5*h + 3*h. Suppose h*k + 6 = 3*k. Is o at least as big as k?
True
Let i be 1/5*-2*(0 - -5). Which is smaller: -3 or i?
-3
Let l = 3.072 + 0.028. Let o = -3 + l. Which is bigger: 2/19 or o?
2/19
Let s = -8 - -17. Let g = s - 4. Suppose g*n + 0*n = 0. Which is bigger: 3/11 or n?
3/11
Let d = -44 - -45. Which is greater: 3/7 or d?
d
Let n(f) = f + 1. Let m be n(-4). Suppose 1 = 13*l + 40. Do m and l have the same value?
True
Let l = -14 + 101/7. Let k = 42 + -41. Which is greater: k or l?
k
Let j be (-16)/(-18)*48/64. Is -1/2 at least j?
False
Let d be (-1)/(-1) - (-6 + 6). Let w be (24/9)/(6/9). Let r = w - 3. Are r and d unequal?
False
Let f = 4 + -4.02. Let u = f + -0.98. Which is bigger: u or 0?
0
Suppose 15 = -5*j + 4*q, -4*j - 3 = -q + 9. Suppose -3 = g - 1. Which is bigger: j or g?
g
Let t(k) = k**2 + 14*k + 4. Let h be t(-13). Is -6 less than h?
False
Suppose 6*v + 2*n = v - 16, -2*v - 4*n = 16. Let q = 3 + -4. Is v >= q?
False
Let m = -12 + 3. Which is smaller: -8 or m?
m
Let t = 7 + -7.06. Let y = t + -0.04. Is -1 bigger than y?
False
Let b(m) be the third derivative of -m**5/30 - m**3/6 - 2*m**2. Let x be b(1). Is -2 at least x?
True
Let h = 1.2 - 9.2. Let u = 8 + h. Is -2/7 less than u?
True
Let a(x) = 9*x**2 - 4*x + 2. Let m be a(5). Let r = 1446/7 - m. Is 1 bigger than r?
True
Let b(l) = -2*l**3 + 2*l**2 + l - 3. Let o be b(1). Is 5/11 at least o?
True
Let g = 3.17 - 0.17. Is g at most 1?
False
Let u(q) = 3*q**2 - q + 1. Let o be u(1). Suppose -21 = 4*b + o. Is b bigger than -6?
False
Suppose -5*m = -20, k + 7*m - 2*m = 21. Let u = k + -2. Let x be (3 - 2)*u/3. Which is greater: 0 or x?
0
Let l = -0.07 + 0.03. Let x = l + 0.24. Let y be -1*(2 + (-5)/2). Which is bigger: y or x?
y
Let n(f) = -f**2 - 14*f + 12. Let b be n(-15). Is -1 smaller than b?
False
Suppose 2*n + 8*w = 7*w, -2*n = 2*w. Which is smaller: n or -4/7?
-4/7
Let m(d) = d + 5. Let w be m(-5). Suppose -7 - 8 = -5*t. Suppose -r = t*r + 4. Which is smaller: r or w?
r
Let y be -1 + 1 - (-2 - -3). Let g = 1 - y. Let f(p) = p**2 - 3*p + 3. Let m be f(g). Are -1/4 and m non-equal?
True
Suppose 0 = -b - 8 + 30. Is 20 greater than or equal to b?
False
Suppose a - n = -27, -2*a - n = 2*n + 74. Are -30 and a nonequal?
True
Let d be (-2)/9 + 136/(-360). Is d at most -2?
False
Let i be (-92)/(-22) + (-6)/33. Suppose -w + i = 4*p + w, -p = w. Do p and 8/3 have different values?
True
Let s be 1 + (1 - (2 + 0)). Let d be 1*2*(-2)/8. Which is bigger: s or d?
s
Suppose -2*s + 3*w + 5 = 0, -3*s - 2*w - 10 = -s. Is -2 > s?
False
Let g = 8 + -11. Let o be (-4)/(-3) + (g - 0). Which is smaller: -2 or o?
-2
Let k = -5 - -4. Let b = -3 - -2. Is b at most k?
True
Suppose 5*h + 20 = -3*y, 0*y - 4*y = -3*h + 17. Let l = 7/2 + -13/4. Which is smaller: h or l?
h
Let m be 1/(0 - (-3)/9). Let f(c) = m*c + c**3 - 3*c - 5*c**2. Let i be f(5). Are i and -0.4 non-equal?
True
Let a = 4/35679 - -300619/927654. Let u = a + -1/26. Is -0.04 at most as big as u?
True
Let k = -13 - -12.95. Is k <= 0.2?
True
Let a(h) = -5*h. Let q be a(-1). Suppose v - 5*