
False
Let g(m) = 2*m - 10. Let i be g(6). Suppose -3*q - 15 = j - 4*j, 1 = -3*j - q. Which is bigger: j or i?
i
Suppose i + 4 = 3*x, -4*i - 2 = 5*x - 3. Let d(p) be the first derivative of p**2/2 + p + 2. Let l be d(i). Is 1/2 equal to l?
False
Let n(j) = -2*j + 11. Let f be n(3). Is f at most as big as 0?
False
Suppose 0 = 3*r + 2*n - 5, -3*r - 2*r = -5*n + 25. Let u be -2 - (-3 + (-1)/(-1)). Suppose u = -o - o, 5*k + o = 0. Are r and k nonequal?
True
Let v = 1 - 3. Let k be (1 - 2)/(1/v). Suppose -t + k*o + 13 = -0*t, t - 5*o - 28 = 0. Are 3 and t unequal?
False
Let z(i) = -i**3 + 5*i**2 - i - 6. Let h be z(5). Which is bigger: -9 or h?
-9
Let n = -1 - 0. Let z = -25 + 26.3. Let k = z + -3.3. Which is smaller: k or n?
k
Let l be 19/(-5 + 2 - -4). Which is greater: l or 17?
l
Let s be 2 + (32/3)/(-4). Let d = 0.25 + -0.3. Let x = d + 2.05. Are x and s equal?
False
Let j(h) = -3*h + 5. Let o be j(5). Let n be 2/o - (-48)/15. Suppose -n = -4*b + 1. Do b and 2 have the same value?
False
Suppose -3*a = 2*g - 8*a - 54, -12 = 3*a. Let f be (0/(-1) + -16)/(-1). Is g less than f?
False
Let a = -191.87 + 191. Let z = 0.07 + a. Let h = 0.9 + z. Is -3/7 greater than h?
False
Let v be (-8)/(-30)*6/4. Let f be ((-10)/15)/(2/6). Let j be 12/(-14)*f/(-6). Which is smaller: v or j?
j
Let v = -109 - -40. Let m be -2 - (2 - v/(-15)). Is m at most as big as 0?
False
Let a be (-2)/((-34)/(-12)*3). Is a < 0?
True
Let v be (-2)/(-10) - 17/(-15). Is v less than 1?
False
Let y be 16/12 - (-1)/(-3). Suppose 2*v + y - 21 = 0. Let s be -1*1*(-2)/v. Is 1 < s?
False
Let r be (-36)/10 - (6 - 9). Which is smaller: r or 0?
r
Let k = 30 - 29. Is k > 14/9?
False
Suppose 3*c = c - 5*h + 5, -5*h = -4*c - 35. Is -3/7 at least c?
True
Suppose -4*n + 6*n = -12. Is -6 at most n?
True
Suppose 0*r = -2*r - 2*y + 52, 4*y + 85 = 5*r. Suppose 4*s + r = -3*h, -s + 2 - 3 = 5*h. Let o(z) = z**3 + 2*z**2 - z. Let w be o(-3). Is w greater than s?
False
Let p be 12/3 + -2 + 1. Let n be 6*(303/(-102) + p). Is n at most as big as 1?
True
Let p = -5.3 + 4.7. Which is bigger: -12 or p?
p
Let n = -127 - -129. Which is greater: n or 9?
9
Let w be -3 - 4*(-3)/6. Which is smaller: w or -3/13?
w
Let h = 13 - 16. Which is smaller: h or -4?
-4
Let o(m) = -m + 1. Let u be o(-4). Suppose -2*a - 1 = -u*d + 4*d, -2*a = -4*d + 10. Which is greater: 2 or a?
2
Let k = -2 - -2. Let z = k - -20. Let y be ((-8)/(-50))/((-8)/z). Which is bigger: y or -1?
y
Let r = -0.3 - -0.5. Is -1 < r?
True
Suppose -2*s + j + 4 = 1, s + 16 = -3*j. Let d be -7*2/(-16) + s. Let h = 10 + -10. Which is bigger: d or h?
h
Suppose 2*p = 6*p. Suppose -2*y + 2*h + 8 = 0, 0 = y - 5*h - p*h - 8. Suppose y*g = 2*g. Which is smaller: -2/23 or g?
-2/23
Let b = -72587/4 + 18251. Let q = 80 + 25. Let n = q - b. Is 0 at least as big as n?
False
Let t(h) = h - 5. Let j be t(5). Suppose 4*u + 3*o = 1 - 16, o = 3*u - 5. Are u and j non-equal?
False
Let l = 48/5 + -389/40. Let c be (6/4)/((-6)/8). Let k = 2 + c. Which is smaller: l or k?
l
Let y = 7 + -9. Let w = y + 4. Let z be ((-10)/8 - -1)*w. Is -1 > z?
False
Let y be ((-6)/4)/(3/(-4)). Suppose -2*r = -4 + y. Which is smaller: r or 1/12?
1/12
Let j = 10 + -31/3. Let a be (1 - -1)*(11 - 9). Let z(n) = 2*n - 8. Let t be z(a). Which is smaller: j or t?
j
Suppose 2*a = -2*a. Let j be 24/(-6) - 108/(-28). Which is smaller: j or a?
j
Let d be (6/(-20))/(15/(-20)). Let t(r) = -r - 10. Let g be t(-6). Which is smaller: g or d?
g
Let z = -5 + 2. Let k be 1 + 2*(-1 - z). Let a be (-2)/k + (-115)/25. Which is bigger: -4 or a?
-4
Let b(r) = r**2 - 7. Let w = -10 - -7. Let p be b(w). Which is smaller: p or 3/2?
3/2
Suppose -2*k = 6 + 2. Are k and -3 nonequal?
True
Let k = 117/82 - -3/41. Suppose -l - 1 + 3 = 0. Are l and k nonequal?
True
Let x = 4/131 - 330/2227. Is -1 > x?
False
Let a = -12 - -7. Let v(m) = -m**3 - 6*m**2 - 4*m + 1. Let s be v(-5). Which is greater: a or s?
s
Let n = 6 + -4. Let d be 13/n - (-3)/6. Suppose -6*h + 5*f - 17 = -3*h, -3*h - f + d = 0. Is h less than -1/4?
False
Let r = 89 + -163. Let m be r/(-1) - (-4)/(-2). Let u be 3*3/m*-3. Is -1 < u?
True
Let m = 0 + 0. Let x = -2.8 - -0.6. Let n = x - -2. Do n and m have different values?
True
Let w = 1 + 1. Let y(g) = -g**2 - 5*g - 4. Let m be y(-4). Suppose -13*l + 11*l + 2 = m. Which is smaller: l or w?
l
Let l be (-10 + -1)*1*-2. Do 21 and l have the same value?
False
Let a = -36 + 35. Which is smaller: -12/13 or a?
a
Let y = -12 + 19. Suppose -3*j = 1 - y. Does 1/2 = j?
False
Let p(x) = 0*x + 5*x**2 - 3 + 2 - 2*x - x**3. Let u(a) = a. Let q(l) = -p(l) - 2*u(l). Let r be q(5). Which is smaller: 1/2 or r?
1/2
Suppose 3*j = -5*m + 1 + 12, 0 = -5*m + 10. Is 1 greater than j?
False
Let h be -2*2/(-6) + 345/(-504). Does 1 = h?
False
Let m(p) = 23*p**2 - 1. Let k be m(-1). Suppose 0 = 7*r - 3*r - 2*a + 26, -k = 3*r - a. Let b = 8 + r. Is -3/4 at most b?
False
Suppose -3*n + 10 = -i, 3*i - 3*n + 5 = 7*i. Is i equal to -1?
True
Let j = -55 + 69. Is j smaller than 16?
True
Let a be (-5 - 6)/(2/(-6)). Let j be (3/a)/(-1 - -2). Is j at least as big as 1?
False
Suppose -5*m + 11 = -2*g, 0 = 5*m - 6 - 9. Let j(c) = -c**2 + c + 2. Let r be j(g). Is -1/10 at least r?
False
Let b(u) = u**2 - 13*u - 13. Let p be b(14). Which is smaller: -6.7 or p?
-6.7
Let h = -5 - -3. Let t = -2 - h. Let n = 90 - 628/7. Which is smaller: t or n?
t
Let r(w) = -5*w + 4. Let y be r(5). Let v = y - -36. Suppose f - v = -4*f. Is -0.1 bigger than f?
False
Suppose -20 = -8*d + 3*d. Suppose 0 = 3*s + 5*m, -m - m - d = 2*s. Let k be 1/s - 0/5. Which is smaller: k or 1?
k
Let t = 53 - 52.1. Which is greater: 2 or t?
2
Let b = -7 + 4. Let x = -0.5 - -0.3. Let w = 0.2 + x. Is w bigger than b?
True
Suppose -4*z + 74 - 82 = 0. Which is smaller: z or -9/4?
-9/4
Let a = 64/5 + -497/40. Is a bigger than 1?
False
Let w(o) = o. Let j be w(8). Suppose -8 = -2*v, 7*m - v + j = 3*m. Which is smaller: m or 2/15?
m
Let j = -12.1 + 13. Let t = -0.9 + 1.1. Is j <= t?
False
Let o = 26 + -53/2. Are o and 0 non-equal?
True
Let x be 1/(3 + -4 + 2)*-1. Let q be 1/(-50)*1*4. Which is smaller: q or x?
x
Let g be (-4)/3*3/14. Let h = 17 + -17.22. Let m = 0.22 + h. Are g and m nonequal?
True
Suppose h - 13 = -7. Suppose 0 = h*y - y. Suppose l = -0*l + 1. Does y = l?
False
Suppose 13 = -7*h + 6. Is 2/205 > h?
True
Suppose -4*b + 9*b - 4*t = -1, 5*b - t = 11. Which is smaller: b or 0.1?
0.1
Let y = -1 - -8. Let l = -7 + y. Which is smaller: l or -3?
-3
Suppose 5*f = 4*j - 43 - 6, 2*j + 8 = -4*f. Let m be (4/(-6))/((-20)/j). Which is smaller: m or 0?
0
Let b be (11/(-11))/(1/(-2)). Which is smaller: 5 or b?
b
Let j = -2/1549 + 12402/7745. Let z be 2/(-7) - (-16)/7. Which is bigger: z or j?
z
Suppose 3*m - 12 = -9. Let h be -3 + (0/(-1) - -2). Let p = m + h. Is p <= -2/7?
False
Suppose -2*v = -v. Let r be v/(1 + -2 + 0). Are 0 and r nonequal?
False
Let i = -1 + 1.2. Let t = 10 - 10.1. Which is greater: t or i?
i
Let w(m) = m**2 - 9*m + 10. Let g be w(8). Let y(o) = -o**3 - 3*o**2 - 3*o. Let b be y(-2). Is b at least g?
True
Suppose 2*d + 4*q - 28 = 0, 4*q = -3*d + 35 - 1. Let b = d + -4. Suppose 0 = -b*p + j + 1, 2*p = 4*j - 19 + 5. Which is smaller: p or 2?
2
Let l = 3 - 2.9. Let w = -0.3 + -1.7. Which is greater: l or w?
l
Let w(o) = -o**2 - 14*o + 17. Let f be w(-14). Which is greater: f or 16?
f
Suppose j = -4*j + 5. Let f be 4 + (189/15)/(-3). Is f >= j?
False
Suppose 2 = 2*f - 0*f. Which is bigger: f or -2/9?
f
Let l = 13 + -8. Let t = 6 - l. Is t less than or equal to 0?
False
Let s = 19 + -19. Is 11 at most s?
False
Let g(i) = i**3 - 10*i**2 + 10*i + 7. Let n be g(9). Suppose -d - 4*t - n = 0, -5*d + 3*t + 16 = -t. Is 0 at most as big as d?
True
Let z = -82.8 - -93. Let v = -10 + z. Let n = 13 - 25/2. Which is greater: v or n?
n
Let h = -11 + 16. Suppose 2*n = h*f + 5, -4*f = 1 - 5. Let o = 3 - n. Is -3 bigger than o?
False
Let v = 2/115 + 567/460. Are v and 0 nonequal?
True
Let a be (0 - 3) + 12786/5236. Let x = a + 3/238. Which is smaller: x or -1?
-1
Let k = 83 + -74. Suppose -2*r - 2*r = -40. Is k > r?
False
Let r = -11 + 19. Let z = 7.68 - r. Let x = z + 0.02. Are 1 and x nonequal?
True
Suppose y + 0*y = 5. Suppose 5*m + y*c - 60 = 0, 0 = 5*m + 2*c + c - 52. Let n be -4 + m - 1*3. Which 