-2*k - 3*k. Suppose y + y = -k. Let b be (y/(-2))/((-6)/4). Is b smaller than -1/4?
True
Let g be (6/(-15))/((-27)/(-15)). Do g and 0 have the same value?
False
Let l(x) = x**2. Let c be l(-2). Suppose -c*m = m + 5. Let i = -0.92 + 0.82. Are m and i unequal?
True
Let z = -35 + 36. Are 3/5 and z nonequal?
True
Let d = 0.01 + 2.19. Let k = -2 + d. Let y = -6.3 - -6. Do k and y have different values?
True
Let q = -25 + 19. Let w = 6 - 12. Is w > q?
False
Let j(l) = -l**3 - 3*l**2 + 5*l + 4. Suppose -5*f - 2*h + 14 = -4*h, -3*f - 5*h = -27. Suppose -f*n - 18 = -2. Let z be j(n). Is z less than or equal to 0?
True
Let a(n) = n**3 - 6*n**2 - 8*n + 10. Let k be a(7). Suppose -1 - 2 = k*w. Is 4/11 bigger than w?
True
Let v(c) = 2*c + 10. Let a be v(6). Let f be 1 + (-1)/(a/20). Is 1 >= f?
True
Let j = -0.005 + -9.995. Which is bigger: j or 0.2?
0.2
Suppose -11 = f + 3*n, -3*n + 3 - 16 = -f. Let m(c) = -c**3 - 10*c**2 + 13*c + 13. Let i be m(-11). Let p be i/(-12)*1/(-3). Is p < f?
True
Let j(g) = 10*g + 67. Let u be j(-6). Which is greater: u or 31/4?
31/4
Let n(z) = z**3 + 5*z**2 - 5*z - 3. Let d be n(-6). Is -9 equal to d?
True
Let b = 1/21 - -2/7. Let l(f) = 4*f - 3*f**2 + 6 + 4*f**2 + 4*f. Let i be l(-7). Is i equal to b?
False
Let w = -2.42 + 0.42. Which is bigger: -10 or w?
w
Let i = 65 + -66. Which is smaller: -1/30 or i?
i
Let x(l) = 2*l**2 + 17*l + 26. Let y be x(-10). Is y <= 56?
True
Let l be ((-2)/4)/(-5*12/(-40)). Which is greater: 1 or l?
1
Let k = 3 + 1. Let n = -4 + 10. Suppose -n = c - 3*c. Which is bigger: c or k?
k
Let f = 1.9 + -3. Let v = f - -4.1. Is v < 0.3?
False
Let t be -3 + 1/(3/6). Is t bigger than 6?
False
Let t = -1 - 0. Let u = 0.1 + -0.2. Let z = u + 0. Is t at least z?
False
Let v be (-2 - (-34)/18)/(1/(-3)). Are -1 and v equal?
False
Let c = -9 - -11. Suppose b - c*b + 10 = 0. Let j be -1 + (-2)/(b/(-3)). Do j and 0 have the same value?
False
Let l = 2234 - 20078/9. Is 2 bigger than l?
False
Let g = 4 - 4. Let d = -7 - -11. Suppose 3*k = -d - 2. Is k bigger than g?
False
Suppose 4*r - 4*f + 0 = -8, -4*r + 3*f - 3 = 0. Let t be -2 - (-5 - -2) - -1. Which is greater: r or t?
r
Suppose 0 = -0*r + 5*r + 4*o + 2, 3*r + 2*o = 0. Does r = 1?
False
Let q be ((-6)/(-5))/((-9)/(-60)). Let j = q - 5. Are j and 3 equal?
True
Let k be (-9)/27 - 13/6. Which is bigger: -1/3 or k?
-1/3
Let s be (3/12)/(10/32). Is 2 <= s?
False
Suppose 3*q - 2 = 16. Is q < 26/5?
False
Let a = 27 + -27.3. Which is bigger: -1/7 or a?
-1/7
Let b(d) = -5*d + 5. Let o be b(1). Let f = 5 + -4. Which is bigger: f or o?
f
Let l = -7 + 2. Let i = l + 3. Suppose 0 = -3*z - 2*z - 10. Is i greater than or equal to z?
True
Suppose 0 = -5*u - 5 - 0, -5*z - 2*u - 2 = 0. Let q = 999/7 - 143. Which is greater: q or z?
z
Let t = 39 - 38. Let q = 1.95 - -0.05. Does t = q?
False
Let h be 18/(-12)*10/(-3). Suppose -12 = -5*f + 2*j, 0 = -2*f - 3*j - 0*j + 20. Suppose -g - f = -h. Is -2/9 at least as big as g?
False
Let y = 0.23 + -0.13. Is y equal to 8?
False
Let w = 0.87 + -0.17. Let f = w - 0.6. Which is greater: 0.06 or f?
f
Let k = 117 + -587/5. Let j = 0.05 + -0.55. Let d = 0.3 + j. Which is greater: k or d?
d
Let z be 5 - 2 - (-223)/(-75). Which is smaller: z or 1?
z
Let x(f) = f + 2. Let w be x(-7). Which is greater: w or -4?
-4
Let j(g) = g**3 + 4*g**2 - 4*g + 3. Let h = -18 + 13. Let p be j(h). Let w = 2 + p. Is -1/3 smaller than w?
True
Suppose -16 + 17 = t. Which is greater: t or -2?
t
Let u(r) = -2*r - 2. Let a be u(-1). Suppose -9 = s - a. Are s and -10 unequal?
True
Suppose 4*t = 6 + 6. Suppose -t*j + 0 = 3. Is -2 greater than or equal to j?
False
Let i = -743/21 + 107/3. Which is greater: 0 or i?
i
Let q be 86/203 - (-8)/(-28). Which is smaller: q or -1?
-1
Let b = 31 + -16. Which is smaller: 16 or b?
b
Let y = -75.01 - -75. Is y > 3/5?
False
Let z = 0.057 - 2.357. Let q = z + 2.3. Let v = -0.1 - 0. Is q less than v?
False
Let y be 3 + 0 + (-210)/77. Is y < 0?
False
Suppose -2*t + 5 = -1. Suppose t*s + 3 = -6. Which is smaller: -2 or s?
s
Let p = -373411/15 - -24906. Let q = p - 59/5. Let m = 4 - 2. Which is smaller: m or q?
q
Suppose -132 = -5*o + 3*o. Let s be ((-3)/o)/(4/(-26)). Let a = 1/22 - s. Does 1 = a?
False
Let v be (11 - 6)/(1/1). Suppose -4*s + 5 = -v*s. Do s and -5 have different values?
False
Let l = 9 - 41. Is -31 greater than l?
True
Let g = -0.1 + 0.02. Let j = g + 0.03. Is j not equal to -2/5?
True
Suppose 7 = -5*z - 3*h + 36, 0 = -z - 4*h - 1. Is 6 < z?
True
Let k = 115 + -347/3. Which is greater: k or -2?
k
Suppose -5*h - 3 = -2*h. Which is greater: 3/14 or h?
3/14
Let y(w) = w**2 - 5*w - 3. Let h be y(6). Let v = 29 - 28. Which is smaller: v or h?
v
Let m = -3.3 - 13. Let d = m + 16. Which is bigger: 0.1 or d?
0.1
Let a = -1.7 - -2. Let m = 105.9 - 111. Let f = -5 - m. Which is smaller: a or f?
f
Let m = 0.2 + -0.2. Let u = -66 + 58.6. Let q = u + 7. Are q and m equal?
False
Let h(t) = t**2 - 1. Let x be h(2). Suppose -4*o + x = -m - 9, -2*m + 28 = 5*o. Suppose o*p + 25 = -5*r, r + 15 = -3*p - 2*r. Does -2/19 = p?
False
Let c be 6/(-21) + 0/(-1). Let l be 3/6 - 6/4. Which is bigger: c or l?
c
Let t = -3/263 - 451/6575. Which is greater: t or 0?
0
Let s = -2.93 - 0.07. Let m = -4 - s. Which is bigger: 0.1 or m?
0.1
Let k = -0.18 - -0.08. Which is greater: k or 0.02?
0.02
Let y be 38*(5/2)/5. Let x = y - 7. Is x at most 12?
True
Suppose 5*m - 5 = -0*m. Let k be (m - 1)/((-4)/(-2)). Suppose y - 3*y = k. Is -1/2 at most as big as y?
True
Let u = -0.16 - -2.16. Is u equal to -0.08?
False
Let b(m) = -m**2 + 5*m - 4. Let n be b(4). Suppose 3*d - 10 - 5 = n. Is 6 > d?
True
Let v = 13 + -14. Let p(u) = -u**2 - 2*u - 1. Let k(f) = f**2 + 2*f + 1. Let q(x) = -5*k(x) - 4*p(x). Let j be q(-1). Which is bigger: v or j?
j
Let w = 2 + -6. Let o be w/10 + 16/(-10). Let z(c) = -c**3 - 2*c**2 - 2. Let a be z(o). Is -2 greater than a?
False
Let c = 16 + -16. Which is greater: 24 or c?
24
Let j = -235 + 3527/15. Is j at most 1?
True
Suppose u - m = -2, 0*m = 3*m + 6. Let r be (-42)/4*u/(-3). Which is bigger: -13 or r?
-13
Let p be 10058/70 + 12/(-30). Let r = p - 143. Is -1/2 smaller than r?
True
Let j = 16 + -17. Which is smaller: j or -2/25?
j
Suppose -3*j + 6*j + 18 = 0. Let g = 11 + j. Suppose g*t + 6 + 14 = -5*c, 2*c + 5*t = -23. Do 1 and c have different values?
False
Suppose -2*m - 3*z = 11 + 9, 5*z = -10. Is -8 less than m?
True
Let n = -3.055 + -0.045. Let b = -3.4 - -0.4. Let h = b - n. Which is bigger: -1 or h?
h
Suppose -4*k - 2*m - 4 = -0*k, 0 = 3*k - 2*m + 3. Let d = k + 0. Let l be (-1)/(3/9)*(-1)/(-3). Is l greater than d?
False
Let r(k) = -4*k + 6*k**2 - 13*k**2 + 2*k**2 + 6*k**2. Let u be r(4). Let p = 112/5 - 23. Is p at most u?
True
Suppose p = -0*p + 1. Let i be (-33)/(3*p/(-2)). Let d be (3 - 5)*(-2)/i. Is -1 > d?
False
Suppose 0*m + 314 = 3*s - 2*m, -4*s + 430 = 3*m. Let z = s - 744/7. Which is smaller: 6 or z?
z
Let d be (1 + 5)/(-5 + 81/9). Let y = 2 - 0. Are y and d unequal?
True
Let u = -0.3 + -0.2. Let i = -0.1 + 0. Which is smaller: i or u?
u
Let g = -24 - -67/3. Let n be -7 + 6 - (1 + 1). Which is smaller: n or g?
n
Let z(w) = w**2 + 3*w + 4. Let t be (-1)/1 - (-10)/(-2). Let n be z(t). Suppose 13 + 0 = 3*u + 2*s, -n = -4*u - 5*s. Is 4 at most u?
False
Let f = -27 - -42. Which is smaller: 14 or f?
14
Let p be 0/(2*1/2). Let m = p + 6. Suppose -3*s + 3 = -m*s. Is s not equal to -1?
False
Let b = -1 + 0.8. Let w = -16.12 + 16. Let y = 2.12 + w. Is b at most as big as y?
True
Suppose -725 = 2*l - 7*l. Let c be 33/55 - 77/l. Which is smaller: 1 or c?
c
Let p = -94/99 - -8/11. Which is smaller: p or -1?
-1
Suppose 6*h + 283 = -5*o + 5*h, -2*h = -2*o - 118. Which is smaller: -56 or o?
o
Let q be 15/(-28) + (-12)/(-16). Suppose -2*x + 2 - 4 = 0. Which is smaller: q or x?
x
Let d = -3 + 1. Let t be d/1*2/4. Let m = -124 - -617/5. Does t = m?
False
Let x = -6 - -9. Suppose -h = x*h. Let q be (-2)/(-8)*-2*h. Which is smaller: 2/9 or q?
q
Let h(b) = -b**3 + 8*b**2 - 7*b. Let z be h(7). Suppose -2*d + 90 + 23 = 3*i, d = -4*i + 149. Let c = i + -479/13. Is c greater than or equal to z?
True
Suppose 4*r = -0*r + 3*d - 2, 0 = -5*r + 5*d. Is r < -2?
False
Let j = -1 - -2. Let g = 5.5 - 5.4. Is g greater than or equal to j?
False
Let x = 79