 = 2*b + 21 + 105. Are b and c unequal?
False
Let l(u) = -u**3 + 10*u**2 - 1. Let v = 11 - 1. Let p be l(v). Let n be 2 + (1 - 58/16). Which is smaller: n or p?
p
Let v = -3 - -2.8. Suppose -3*p - 2*i = -i - 12, 0 = 3*p + 5*i - 12. Suppose 0 = -3*w + 5*w - p. Which is smaller: w or v?
v
Suppose 2*c = -c + 3*o + 18, 6 = 4*c + 2*o. Let d be (2/(-4))/(c/48). Is d at least as big as -7?
False
Let v = -89 - -25. Let i = v - -28. Which is bigger: -35 or i?
-35
Let z be ((-4)/5)/(8/100). Let x = 315 - 322. Which is bigger: z or x?
x
Let n be -4*(-3)/6*2. Let z(i) = -i**2 + 6*i - 4. Let j be z(n). Suppose -j*h = -h. Are 10 and h equal?
False
Suppose 4*j - p = -2*p + 35, 3*p + 65 = 5*j. Let o be -1 - (0 - j - -2). Suppose 5*t + 2 = o. Is t > 8/7?
False
Suppose -6*r + 4*r = -8. Let w be r/(-22) + 13056/(-66). Let y be (-2)/8 - w/24. Is y != 2?
True
Suppose 5*z + 2*v = -0*v + 20, -3*v - 12 = -3*z. Suppose -z = t + 2*x + x, 3*x = -3*t. Suppose -6 = 4*y - t*y. Is -4 smaller than y?
True
Let r = 64 - 64.04. Let i = r - -4.04. Is 0.3 less than i?
True
Let g = -0.55 - -0.6. Let s = 881/60 + -44/3. Let q = 13/20 + s. Is q less than g?
False
Let t be (-340)/(-15) + (-2)/(-6). Suppose 3*i + 8 - t = 0. Suppose -i*k + 102 = -5*u - 18, k - 46 = 2*u. Does u = -22?
True
Let u = -0.917 + 2.017. Let f be 4/3*(-2)/8. Which is smaller: u or f?
f
Suppose -4*g + 8*g = 0. Let i be (-2 - (-14)/6)/((-148)/555). Which is smaller: g or i?
i
Let q = 0.874 + 0.126. Is q at least 17.2?
False
Suppose -6 = 7*t + 8. Which is smaller: 4 or t?
t
Let f = 91.342 - -0.458. Let k = -92 + f. Let d be (1 - -1)*(-10)/(-16). Does k = d?
False
Suppose 4*s = -s + 15. Let z(i) = -3*i + 6. Let c be z(s). Which is greater: -8 or c?
c
Let h = -4.44 - 31.46. Let a = 36 + h. Which is smaller: -1 or a?
-1
Let u = 26 - 10. Let d(o) = 2*o + 102 - 118 + 14*o. Let j be d(2). Is j >= u?
True
Let u = -10 - 6. Let m = 24 + u. Let j = 4 + -2. Which is smaller: m or j?
j
Suppose 2 = 4*y - 10. Suppose 0 = y*g - 2*g - 1. Let j be 1 + (1 - (4 + g)). Is j <= -3?
True
Let v(u) = -3*u**2 - 4*u - 9*u + 2*u - 9. Let c be v(-4). Which is bigger: c or -11?
-11
Let b be (-1)/(3/(-3))*1. Let x = 5 + -2. Suppose -5 = c - y - x, -3*c - 6 = -y. Is b less than or equal to c?
False
Suppose f = -15*s + 11*s + 619, 2*f + 634 = 4*s. Do 154 and s have different values?
True
Let z(h) = 8 + h**2 - 5 + 4 + 8*h + 5. Let t be z(-9). Let r = t + -25. Which is smaller: r or -5?
-5
Suppose -2*c - 3 = 4*a + 51, -63 = 5*a + 4*c. Is a greater than -19?
True
Suppose 0 = -2*c - 3*z - 84, -5*z = -4 - 6. Let o be -1 + (4/18 - 44/c). Suppose -4*w + 5*y = -29, 0*w + w = -4*y - 19. Do w and o have the same value?
False
Let r = -4 - -10. Let z be (-20)/r*(-18)/10. Let j(q) = q**2 + 3*q - 2. Let m be j(2). Which is smaller: m or z?
z
Let n = 312898/13833 + -1196/53. Which is smaller: n or 0?
0
Let y be -55*(-7)/14*-2. Are y and -54 nonequal?
True
Let a be ((-12)/894)/((-7)/(-3) + -3). Is 0 != a?
True
Let h = 1 - 2. Let n = 2 + h. Let i = 2.3312 + -6.3312. Which is bigger: i or n?
n
Let j(g) = 12*g - 23. Let x be j(2). Do x and 1/92 have the same value?
False
Let q = -200 + 300. Let b = q - 110. Let o = -22 + 12. Is b greater than or equal to o?
True
