False
Let j(d) = -d**2 + 22*d + 78. Let u be j(25). Is u at least 1?
True
Let b = 2 + -1. Let i be b + (-2 - -1) + 2. Suppose 3*z - 15 = i*c - 0*c, -4*c + 5*z - 27 = 0. Are c and -3 nonequal?
False
Let p be 3/9 + (-24)/(-9). Let i be 4*((-15)/(-4) - p). Is i at most as big as 4?
True
Let n be (-1)/(1 + 1/(-2)). Let j(v) = v**3 - 8*v**2 - 12*v + 6. Let o be j(9). Let m be 70/o + (-2)/(-6). Which is greater: m or n?
n
Let h = 1.154 - 0.154. Are h and 2 nonequal?
True
Let u(a) = -7*a - 52. Let b be u(-10). Which is bigger: 92/5 or b?
92/5
Let n be (-3511)/(-12901) - (-2)/(-7). Let p = 131167/294880 + n. Let d = -1/32 + p. Which is bigger: 0 or d?
d
Suppose -2*p - p = -72. Let j = 375 + -351. Is j smaller than p?
False
Let q = 0 - 0.11. Let s = -0.19 + q. Which is smaller: s or 1?
s
Suppose -23 = 5*h - 2*m + 44, 2*h = -5*m - 50. Which is smaller: h or -1?
h
Suppose -2*i - 11 = -5*x, x - i = -6*i + 13. Let n be (x/(-9))/(1/15). Are -2 and n nonequal?
True
Let n = 1 - -1. Let o(d) = -d - 3. Let f be o(-4). Is n < f?
False
Suppose -3*o + 6 = -0*o. Let c(i) = 2*i**o + 3 - 3*i + 1 - 7. Let z be c(3). Which is smaller: 5 or z?
5
Let q = 1.7 - 2.2. Let c = 0.6 + q. Which is bigger: c or -4?
c
Let z be 0/(-1) - 2/7. Let t = 15 - 10. Suppose -2*j - t*f = -15, 5*j - 30 = 3*f - 8*f. Which is bigger: j or z?
j
Let n = -161/4 + 40. Let t be 1/(-5)*(-10)/3. Which is bigger: t or n?
t
Let k = 0.08 + 0.02. Let u = 28496/25 - 1140. Let v = 33/50 + u. Is k smaller than v?
True
Let d = 65 + -63. Does 9/7 = d?
False
Let n be 2/(-5) + 2/5. Let i = n + -1. Which is smaller: -2/7 or i?
i
Suppose 0 = -3*f + 6. Suppose 4*g - 3 = -5*u + 2, f = 2*u - 3*g. Is u at most -3?
False
Let q be (-1)/((-1 - 0)/(-1)). Let x be (-1)/2 - ((-22)/(-20) + 0). Which is greater: q or x?
q
Let s = 0.1 + 0.9. Let m = 0.72 - 0.52. Which is smaller: s or m?
m
Let w = 2.1 + -2.4. Do w and -0.03 have the same value?
False
Let y(g) = -g**2 - 12*g + 16. Let c be y(-13). Suppose c*w + 5*j = w - 1, -4*w + 5 = 3*j. Suppose n - 7 = -w*h, 2*h - 3*h + 6 = n. Which is smaller: h or -1?
-1
Let l be ((-2)/3)/(3 + -2). Let f = 0.69 - 0.61. Which is bigger: l or f?
f
Let z be (-18)/(-4)*(-2 - -4). Which is greater: -3 or z?
z
Let a = 5 + -9. Let h = 7 + a. Let r = h + -9. Which is smaller: r or -5?
r
Let s(z) = -z**3 + 2*z**2 + z - 1. Let g be s(1). Let h(v) = -v**3 - 5*v**2 - 2*v - 7. Let c be h(-5). Which is bigger: g or c?
c
Let f be 5/25*(1 - -154). Is 31 greater than f?
False
Let p = -3 + 5. Suppose 5*s - p*v = 18, 13 = 2*s - 4*v - 7. Suppose 0*k + 6 = -s*n + 2*k, 5*n - k = 1. Is n smaller than -3?
False
Let c = 0 - 0. Let a(x) = x - 3. Let n be a(6). Suppose -2 + n = r. Which is greater: r or c?
r
Suppose 0 = u - 5*u - 4. Let d(r) = -r**3 - 11*r**2 - 10*r. Let a be d(-10). Is a at least as big as u?
True
Suppose 2 = o + 3, -3*g + 13 = 2*o. Suppose -g*z = -7*z - 6. Which is greater: z or -2?
-2
Let m = -3 + 9. Let b be (-9)/(15*(-3)/m). Is 2 greater than b?
True
Let p = 10 - 10. Let t = 42 + -42.2. Which is smaller: p or t?
t
Let l be ((-3)/6)/((-4)/(-8)). Is l at most as big as -2?
False
Suppose 3*x - 7*x = 0. Let v = -2 + x. Let l be (-10)/(-15) - v/(-3). Which is greater: l or 0.2?
0.2
Let u be (-2)/12 + ((-555)/18 - -5). Is u less than -23?
True
Suppose -2*g - 12 = g. Let y be g/((-2)/(2 - -2)). Let j be 1/4 - 10/y. Is 2/5 <= j?
False
Let x = -5/26 + 139/182. Let d(j) = j**2 - 5*j + 3. Let f be d(6). Suppose f*s - 5*s = 0. Which is smaller: s or x?
s
Suppose -4*s + 4*h = 56, -4*s - 29 = 4*h + h. Let f = 11 + s. Which is bigger: f or 2/27?
2/27
Suppose 6 = 3*q + 2*r - 4*r, 0 = 3*q + 3*r - 6. Let n = -32 - -33. Is n greater than q?
False
Suppose 2*s + 16 = -5*k, -3*s - 2*k = -4*s - 26. Let f be s/14 - 8/(-28). Is 2 > f?
True
Suppose 5*l - 5 = 0, -2*l = -w - 2*w + 4. Is w greater than -1?
True
Let r = -444954/4249 - -90/607. Let m = 105 + r. Which is bigger: m or 1?
1
Suppose 0 = 4*q, 0 = 8*y - 4*y - 2*q - 4. Which is greater: 1/2 or y?
y
Let k = -136/45 + 14/5. Let i(y) = -y - 3. Let c be i(-3). Suppose -5*p + 2 + 3 = c. Which is bigger: p or k?
p
Let c be 3/(-2)*((-102)/(-18) + -5). Which is smaller: c or -3/16?
c
Let q = -7.2 - -6.6. Which is bigger: q or -2?
q
Let g be 15/21 + 1 + -2. Is 4 equal to g?
False
Suppose 3*s + 2*s = -50. Is -17 > s?
False
Suppose 3*y + 8 = -1. Let r be 2*y*2/(-12). Is r bigger than 0.2?
True
Suppose -p - p - 166 = 0. Let u = p - -251/3. Are u and 0 unequal?
True
Let j = -2 + 2. Let h = -455930/11 - -100767768/2431. Let c = h + -48/17. Is c <= j?
False
Let d = 58.95 + -59. Is d greater than 1?
False
Let i = 13/110 - 3/10. Suppose 0 = 4*g - 9*g. Is g >= i?
True
Suppose -5*n = -3*v + 25, 0*v + 5*n = -2*v - 25. Let m = -7 + v. Let l = 10 + m. Is 2 greater than or equal to l?
False
Let c = -6 + -1. Let h(r) = -r**3 - 5*r**2 - 3*r - 2. Let d be h(-4). Let u = d - c. Is u at most 2/9?
False
Let g be (2 + -3)/(4 + -5 + 2). Let b be (-1)/(-3) - (-11)/(-51). Is b < g?
False
Let l be (4/(-6))/((-42)/9). Suppose -2*d - 5 = -d + n, -5*n = 20. Which is bigger: d or l?
l
Suppose -11*h = 2*a - 7*h - 16, -2*a + 4*h - 16 = 0. Which is smaller: 3 or a?
a
Let i = 0.04 + -5.04. Let z = 4.8 + i. Let w = z - -0.5. Is 2/3 greater than w?
True
Let h = 109 - 156. Which is bigger: -46 or h?
-46
Let f be ((-30)/25)/((-1)/30). Suppose 2*t + y + 11 + 9 = 0, -f = 5*t - y. Is -8 <= t?
True
Let f = -3/2 - -2. Is f > -1?
True
Let g = 30 - 20. Suppose -2*c - 3*c + g = 0. Suppose 5 = -c*b - 3. Which is bigger: -6 or b?
b
Suppose 0 = y + 3*y + 48. Suppose 3*b - 9 + 42 = 0. Is b <= y?
False
Let a(n) = -n. Let o be a(-6). Let p be -2*((-21)/o - -2). Suppose p*l + 6 + 0 = 5*g, 6 = -5*g - 3*l. Is g < 0?
False
Suppose -8*f - 8 = -4*f. Let b(y) = y**2 + 3*y + 3. Let o be b(f). Let s = 1/2 - o. Is s equal to -2?
False
Let i be (-22)/(-77) + 2/(-7). Which is smaller: i or 9/11?
i
Suppose 2*u + 4*k = -2*u - 8, -3*k = u + 12. Is 7 less than or equal to u?
False
Suppose 4*y + 3*w + 335 = 0, -2*y + 3*w = 3*y + 439. Let u = y - -1116/13. Is 1 smaller than u?
False
Suppose 4*c = 2*c. Let t = 10/59 + -1521/2360. Let d = t + 7/8. Is d != c?
True
Suppose -h + 7 = j, -h + 0*j = 2*j - 7. Suppose 2*a + h - 5 = 0. Which is smaller: a or -2/11?
a
Let p be 2 - 2 - (0 + 4). Suppose 0 = -4*w + 2*w - 2. Are p and w non-equal?
True
Let t = 5.94 - 6. Let a = t - -0.06. Is a smaller than 0?
False
Let u = -1 + -2. Let y = u - -2.96. Is y less than or equal to 0?
True
Let d(j) = j**2 - j. Let y be d(1). Suppose -2*t + 0*t = y. Are t and 1 unequal?
True
Let h = -0.94 - 0.06. Which is smaller: h or 0.1?
h
Let g = 3 + 7. Let h = -6 + g. Is h less than 4?
False
Suppose 0 = 3*k + 2*u + 40, -3*k + 0*k = -u + 34. Suppose 0 = 4*h - 3*r + r - 12, 5*r + 17 = -3*h. Let i be h*((-39)/k + -3). Does 1 = i?
False
Let p(s) = -s**3 + s**2 + s. Let l(g) = -3*g**3 + 3*g**2 + 3*g - 2. Let f(y) = -l(y) + p(y). Let j be f(2). Which is smaller: j or 7?
j
Suppose -2*v = 3*p + 13, 2*p + 5*v = -3*p - 30. Let j be 35/45 + 0 + p. Which is smaller: -1 or j?
-1
Suppose 0 = 3*o + 5 + 4. Let j be 0 + o - (1 - -7). Is -11 smaller than j?
False
Let b = 1.9 - -3.1. Is 0.1 less than b?
True
Let r = 11 + -6. Suppose -r*d + 0*d = 0. Let s = 0.6 - 0.5. Which is greater: d or s?
s
Let l be (-2)/(2 - -2 - -5). Is -7 at least as big as l?
False
Let b be ((-10)/(-20))/(3/(-6)). Suppose 5*h + 3 = -2. Do h and b have different values?
False
Let x(r) = r**2 + 11*r. Let h be x(-11). Is h > -1/12?
True
Let c be 5/((-15)/6 - -3). Let z be (-9)/(-495) - 2/c. Which is smaller: -1 or z?
-1
Let b = -6 - -9. Suppose b = 3*v + h, 0 = 3*v + 4*h - 0*h - 12. Suppose -2*d = -v*d. Is -2/23 smaller than d?
True
Let v = 5/8 - 1. Is v >= 14?
False
Let x = 1 - 1. Suppose 1 = -3*t - 5. Let a be t/(-6) - 1/21. Is x > a?
False
Suppose -z = 5*h + 28, 10 + 8 = -3*h - z. Which is smaller: 1 or h?
h
Suppose 3*p + 2*g = -59, -4*g + 12 = -3*p - 23. Is -6 at most as big as p?
False
Suppose -40 = 3*d + 2*d. Let y be ((-2)/d)/(1/3). Let l(w) = -w. Let h be l(0). Does y = h?
False
Let w = -7.8 - -8. Is 5 greater than or equal to w?
True
Suppose -8 = r - 3. Let g be (-9)/r + 6/(-3). Let z be ((-3)/(-6))/(2/(-4)). Is g at least z?
True
Suppose 0 = -4*t - 3*i + 2 + 7, -2*i + 6 = 0. Suppose k - 4 = 0, k + t*k - 8