x be 5 - 0 - (-17 - 6570/(-195)). Which is greater: x or -12?
x
Let r be 141/48 - 1 - 2. Let i = -9/16 - r. Which is smaller: i or 1/6?
i
Let s(o) = -2*o**2 + 22*o - 37. Let a be s(9). Are a and 23/62 unequal?
True
Let w = 3 - 9. Let i(f) = f**2 + 5*f - 9. Let c be i(2). Let b = c + w. Is b bigger than 0.01?
False
Let q be (-56)/(-14) - (58 - -1). Let f = 0 - q. Is 55 at least f?
True
Let z = 138 + -138.1. Let q = z + -0.1. Which is smaller: -1/3 or q?
-1/3
Let g = -86 - -89. Suppose g*s = -i - 14, 5*i + 13 = 4*s - 0*i. Is s at least as big as -3?
True
Let s be ((12/(-15))/((-4)/80))/1. Suppose -11*i - 20 = -s*i. Is 2/13 greater than i?
False
Suppose 2*a + 5*i = 5*a - 285, -5*a + i = -453. Is a at least as big as 90?
True
Let j(z) = -z**3 + 5*z**2 + 6*z + 4. Let u be j(6). Suppose 3*x - m - 15 = -u*m, 0 = -2*m. Suppose 2*v + x = 5*v - 2*b, 0 = 4*b + 4. Which is bigger: 12/7 or v?
12/7
Suppose -r - 4*y + 5 = -y, 5*r - 2*y + 9 = 0. Let k be r - 1 - (-6)/2. Let l = 304 + -1819/6. Is k at most as big as l?
False
Suppose 0*u + 5 = 5*u. Let j be ((2/(-160))/(6/(-45)))/(88 - 91). Is j at most as big as u?
True
Suppose 25*b = 14*b + 18*b. Does b = -8/109?
False
Let x(j) = j - 3. Let c be x(3). Is -2/217 greater than or equal to c?
False
Suppose -23 = 3*f + 10. Let m = f - -11. Suppose -5*y + 10*y - 4*u = 48, 2*y - 10 = -3*u. Are y and m equal?
False
Suppose 0 = 54*l - 39*l + 15. Which is smaller: -9/41 or l?
l
Suppose 77*j + 27404 = 111*j. Which is greater: 805 or j?
j
Let l(p) = 2*p**2 - 55*p - 30. Let i be l(28). Suppose -s + 271 = 5*u, -2*u + s - 216 = -6*u. Let a = u - 282/5. Which is smaller: i or a?
i
Let o be 3/6*(-1 + 3). Let m = 0.08 - 0.08. Let w = -0.2 - m. Which is greater: o or w?
o
Let q be (1/4)/(63/(-42)). Is -7 less than or equal to q?
True
Suppose -7*q - 13 + 20 = 0. Suppose -2*d = -w, -2*w + d - 8 = -5. Let n be q + -1 + w + -2. Which is bigger: n or -5?
n
Suppose 0 = 2*o - 4*v - 14, -5*o + 8 = -2*v - 3. Let m be 43*12/508 - o. Is 1 smaller than m?
False
Suppose -8 = -38*z + 30*z. Which is greater: 34/25 or z?
34/25
Let v be (1/(-1))/(1/(-2)). Suppose 3*n + 18 = -3*y - v*n, 2*n + 5 = y. Which is smaller: -3 or y?
-3
Let k be (13 + (-1332)/(-24))*1*-2. Is -136 < k?
False
Let p = -24 + 59. Suppose 0*f - p = -5*f. Which is greater: 9 or f?
9
Let m = 9341/5 + -1875. Is m not equal to 1/2?
True
Let b = 18 - -51. Let v be ((-8)/b)/((-28)/70). Let x = v + 1/23. Is x greater than or equal to -2?
True
Let a be ((-19)/((-1026)/(-8)))/2. Suppose -3*u = -5*k + 34, -2*k - 4*u = -k + 7. Let p(x) = -x**2 + 4*x + 4. Let m be p(k). Which is smaller: a or m?
m
Let h = 91 - 131. Do -41 and h have the same value?
False
Let j be (-8)/((-4)/(-1))*2. Which is smaller: 4 or j?
j
Let i = -2.5 + -10.5. Let r = i + 13.14. Let z = -2.14 + r. Are -1/2 and z non-equal?
True
Let d = -9 - -10. Let z be d/(-3) - 2*2/12. Let l be -1 + (-1 + 2)/3. Is l != z?
False
Let l = 98.1 + -97. Let b(m) be the second derivative of m**4/12 + 5*m**3/6 - 7*m**2/2 - 4*m. Let i be b(-6). Is l at least as big as i?
True
Let b = 2.4676 + 0.0324. Which is smaller: 1/10 or b?
1/10
Let y = -631 - 653. Let o be (-1718)/y + 8/(-6). Let u = o - -373/11770. Is 0 > u?
False
Let g be 28/(-12) + 4/(-6). Let v be g + -3 + 50/8. Let m = -0.08 + 0.16. Which is smaller: v or m?
m
Let z be (3617 + 14)*2/16. Let k = z - 453. Let y = 3/8 - k. Are 6 and y unequal?
True
Let n = -5 + 4.8. Let f(g) = -2*g**2 - 43*g - 9. Let i be f(-21). Is n > i?
False
Let i be -5*(-5)/(-100) + 1722/8. Are i and 215 equal?
True
Suppose 4*n + 4*g = 180, 0 = 3*n - 5*g + 417 - 512. Let x = -20 + 60. Is x greater than or equal to n?
True
Let g be (-2)/3 + (-184)/(-24). Suppose g - 53 = 2*p. Let m = p - -32. Which is smaller: 8 or m?
8
Let q = 0.2662 + -0.1662. Which is smaller: q or -62/13?
-62/13
Let g = -10709314684/17768931765 - 1/4795933. Let a = g + 2/741. Which is bigger: 0 or a?
0
Let f = 28 - 20. Let i be ((-2)/f)/((-63)/19376). Let h = i - 77. Are 1 and h non-equal?
True
Let r = -360 - -377. Suppose 3 = 2*s + 2*x - 3, 0 = 4*s - 3*x - 12. Let m(i) = 3*i**2 - 3*i - 2. Let z be m(s). Which is smaller: z or r?
z
Let g be (3 - 3) + 0 + 19. Suppose -2*i - g = i + 2*p, -2*p - 22 = 4*i. Let s(x) = -x**2 - 39*x - 108. Let w be s(-36). Which is smaller: i or w?
i
Suppose -8*n + 4*n + q = 57, n = q - 15. Is -23 equal to n?
False
Let o = -0.46 - -0.36. Are 0.037 and o equal?
False
Let h = -5 - -3. Let r be (0 - 42/5) + 7. Are r and h equal?
False
Suppose -7 = -3*z + 2*m + 3*m, -5*z + m = -41. Suppose 39 = 4*p + 7. Which is greater: z or p?
z
Let u(p) = -3*p**3 + 2*p - 1. Let g be u(-2). Let x = -14 + g. Let n be ((-2)/(-115))/(1/x). Does 2/3 = n?
False
Let u = 1420.9 - 1421. Is 847 not equal to u?
True
Let z be ((-45)/5 - -10)/((-2)/84). Is -40 less than or equal to z?
False
Let z(h) = -2*h**2 + 5*h + 5. Let a be z(8). Let j = 164 + a. Let t be (-3)/(j/(-42)) - 0. Do 2 and t have the same value?
False
Let l be (1755/12)/(-13) + 11. Which is smaller: l or -827?
-827
Let i = -509 - -499. Is i less than -9?
True
Let z = 4922 + -4921. Let s be (-2)/3 - (-112)/186. Which is smaller: s or z?
s
Let p = -33 - -38. Suppose -a - 3*f + 10 = 0, 4*f - p*f + 18 = 4*a. Is 3 equal to a?
False
Let h = -4/369079 + 152430575/87471723. Let d = h - 6/79. Let p = 0 + 1. Are p and d non-equal?
True
Let z be (4/(-93))/((-8)/159012). Let v = 855 - z. Which is smaller: v or -1?
-1
Let o(k) = -k + 11. Let b be o(6). Suppose -3*j + 2*w = j - 6, b*j + 6 = -2*w. Is j < -21?
False
Let p be 1 - 2 - 18/(-16). Let a be -1 - 1 - (0 + -14). Suppose -u + 11 = a. Which is smaller: p or u?
u
Suppose -3*y - 4*m + 687 - 12 = 0, -y + 2*m = -215. Let j = -18369/77 + 1451/77. Let a = j + y. Do 0 and a have different values?
True
Suppose 0 = -3*s - l + 55, 3 = 3*l. Suppose -4*i + 7*i + s = 0. Is i less than -5?
True
Let d(q) = -8*q + 13*q + 16 - 7*q. Let n be d(6). Is 2 at least n?
False
Let o be 6/(-18) + (-60)/9. Let r be (12/(-14))/(o/(-49)). Let l be r/(-9)*(-2)/(-4). Is 1/3 > l?
False
Let b be (2622/(-135))/19 + (-4)/(-18). Which is smaller: 20 or b?
b
Let s = -3.6 + 1.6. Let z = s - 1. Let t(f) = f**3 - 3*f**2 + 2*f - 3. Let r be t(3). Which is bigger: z or r?
r
Suppose 0 = l + 3*l - 8. Suppose -5*u + 84 = -l*u. Let s be 8/21*(-21)/u. Which is smaller: s or 1?
s
Suppose -4*a + 6 = -2*r, -r + 3*a + a = 11. Suppose -2 = 2*g - 2*t, -r*t = -13 + 3. Let c = -49/12 - -15/4. Is g > c?
True
Let f = 6.31 - -0.29. Let z = 6.8 - f. Which is bigger: z or 18/7?
18/7
Let g be ((-2620)/30)/((-2)/3). Is g not equal to 131?
False
Let w be (3 - (-38)/(-12)) + (-23)/6. Let v be 8/2 - (-58)/w. Which is smaller: -11 or v?
-11
Suppose -5*n + 2*k - 221 = 0, 5*k + 97 = -3*n - 48. Suppose -m + 151 = -3*b + 12, -5*b - 245 = -5*m. Is n at least as big as b?
True
Let s be (9/6)/((-6)/(-20)). Suppose 2*a - 3*p = -25 - 23, -s*a = 5*p + 120. Let m be (-9)/a - (1 + 0). Do -1 and m have the same value?
False
Let p = 417 + -420. Which is greater: p or -6?
p
Suppose -q = 3*q - 36. Suppose 22*o - 21 = 21*o + 2*a, a = -5. Is o at least q?
True
Let q be ((-101)/(-505))/((-268)/10). Is q < 0?
True
Suppose 2*z = 2 + 4. Let k be (6 + -5)*(-5)/(-1). Suppose k*i = -5 + 25. Which is greater: i or z?
i
Let z(c) = 38*c - 16 - 38*c + c**2 + 0*c**2. Let s be z(-4). Suppose s*b - 4*b = -4*y + 20, -4*y + 16 = -3*b. Which is smaller: y or 30/13?
y
Let f(d) = d**2 + 12*d + 9. Let c be f(-10). Let j = c - -10. Is j less than 5?
True
Suppose l - 8 = 22. Which is greater: l or 27?
l
Suppose -13*d = 31*d - 44. Is d < 1/2076?
False
Let s = -5/92 + -1043/276. Which is smaller: -4 or s?
-4
Let d(o) = -3*o**3 - 3*o + o - 14*o**2 - 1 + 13*o**2 + 4*o**3. Let v be d(-2). Is -7 <= v?
False
Let l be ((-198)/55)/((-1)/5). Let r = l - 16. Suppose -r*s = -4*s. Is 2/23 greater than s?
True
Let h be 10/4 + (-1)/(-2). Let t = 4 - h. Let v be 176/(-286) + (-4)/(-6). Which is greater: t or v?
t
Let c(f) = -f + 20. Let a be c(11). Suppose -a = -w - 8*w. Let y = -1/4 + 1. Is w less than or equal to y?
False
Let u be (-1805)/8 + 6/(-16). Which is bigger: -228 or u?
u
Let c be 1 - (-5*2 - -1). Suppose 23 - 13 = -2*l. Let z be 2/(-8) - l/c. Is 0 at least as big as z?
False
Let a = 291 - 377. Do a and -0.1 have different values?
True
Let c