 f be 6/a*81/6. Is 1 > f?
False
Let o = 512 - 511. Is o not equal to 0.01?
True
Suppose -z + 20 = -18. Which is smaller: 2/5 or z?
2/5
Let j be (-1 + (-4)/(-6))*-69. Suppose 0 = 26*u - 34*u. Are u and j non-equal?
True
Let s be (-344)/6*7*9/231. Which is smaller: -15 or s?
s
Let a = -20 - -33. Let u(p) = 10*p**2 - 20*p + 16. Let t(n) = -3*n**2 + 7*n - 5. Let r(d) = -7*t(d) - 2*u(d). Let l be r(10). Is a equal to l?
True
Let i be 2/(-14) + (-119712)/406. Is i bigger than -294?
False
Let r = -127/7 - -627/28. Let m be 60/24 - 2/(-4). Which is greater: m or r?
r
Let v = 0.1665 - 0.0665. Is 7 at most as big as v?
False
Let k(n) = -4*n**2 - 7*n + 3. Let p be k(-2). Is -0.2 at least as big as p?
False
Suppose 0 = -g - 3, -2 = 5*i - 2*g + g. Let l be (1/(-7) + 0)/(0 - i). Is 1 less than or equal to l?
False
Let t = 29 + -19. Suppose z + 40 = 2*f + 12, 5*z = t. Are f and 16 non-equal?
True
Let v = 33 + -16. Let k = v - -58. Do 1 and k have the same value?
False
Let i(r) = r**3 + 13*r**2 - 15*r - 16. Let v be i(-14). Let d be 15/5 + v/(-2). Are 4 and d nonequal?
False
Let q = 7 + -6. Let r be (-32)/40*(1*5)/q. Which is smaller: r or -7?
-7
Let t = 11954 - 7847. Let w = -669439/163 + t. Which is bigger: 0 or w?
w
Let p = 15 - 4. Let f be (-3)/(-2)*2/3. Suppose -3*z - p = f. Which is smaller: z or -2?
z
Let x = 801 + -125756/157. Let v = -145/1884 - x. Let g = -57 + 58. Is v < g?
True
Let l = 1055 - 628. Is 427 greater than l?
False
Let h = -3.8624 + 0.0724. Let f = -3.8 - h. Is 0.2 at least as big as f?
True
Let y be (5/4)/(2/(-79)). Which is greater: -48 or y?
-48
Suppose 4*r - 356 = 6*r + 4*p, 0 = -3*r - 4*p - 542. Are -186 and r equal?
True
Let y be (-38)/6*(-18)/15. Let n = 36/5 - y. Let d = 0.7 - 0.8. Is n at most as big as d?
True
Let k = -23 + 30. Let a be (-3)/k*7/8. Which is smaller: 0 or a?
a
Suppose -24*j - 11 = 13. Is -12/65 at most as big as j?
False
Let q be (1/(-3))/(3 + (-78)/27). Let u be (6/(-33))/(q + (1 - 0)). Which is smaller: u or 0?
0
Let f = 670 + -753. Is -77 greater than or equal to f?
True
Let y = -104.1 + 104. Which is bigger: -1/36 or y?
-1/36
Let h = 3/23 - -106/69. Let u(o) = 5*o - 10. Let p be u(-4). Let r = 32 + p. Is r < h?
False
Let g be (-10)/(-4) - (-3)/((-18)/(-3)). Let q = g - 29/9. Is 0.1 less than q?
False
Let m(u) = -u**2 + 18*u - 15. Let n be m(15). Let o = n + -28. Do o and 13 have different values?
True
Let g = 423 + -421. Is 14/11 < g?
True
Let o = -4/249 + 1811/4233. Which is greater: 1 or o?
1
Suppose 10 - 1 = m + 3*j, 4*j = 5*m + 31. Let a = 0 + m. Let d be -4 + 2/4*4. Which is smaller: d or a?
a
Let h be (-3)/2*(-16)/12. Let p = -42 + 37.6. Let y = 3.6 - p. Which is smaller: y or h?
h
Let t be (-40)/(-750)*(1 + (-17)/(-1)). Which is smaller: 2 or t?
t
Let a = 4.95 - 2.25. Let i = -0.054 + 2.754. Let o = i - a. Are o and 12 unequal?
True
Let x = 1.249 - 8.749. Which is bigger: -0.05 or x?
-0.05
Let n = -0.014 - -0.014. Let w = 3.5 - 3. Let m = w + n. Is -2 bigger than m?
False
Suppose -17*h + 170 = -7*h. Suppose 10 = -3*m + v, -2*m + 4*v + 7 = h. Which is smaller: m or -17/5?
-17/5
Let l = 11/273 + 3277/728. Let j = 3961/24 + -165. Let h = j - l. Is -5 <= h?
True
Let h = 21.55 + -22. Let o = 81.8 - 81.65. Let r = o + h. Which is smaller: r or -1?
-1
Let z be (-1 + 2)*1 + -7. Let k be z/(-3)*(-5)/(-20)*-12. Is k greater than -5?
False
Let z(y) = y**2 - 4*y - 6. Let v be z(6). Suppose -5*u + 3 = -22. Which is smaller: u or v?
u
Let f(v) = v + 7. Let c be f(-4). Suppose c = -3*u - 0. Is 1/7 smaller than u?
False
Suppose w + 2*h - 23 = 0, -94 = -5*w + 4*h + 119. Let n be 3*(-1)/((-3)/38). Which is bigger: w or n?
n
Let h = 30 - 31. Let t be 18/(-24) + h/4. Is t smaller than -1/29?
True
Let p be 1/(-1) - 21/(-7). Let m(d) = d + 5. Let w be m(0). Which is smaller: w or p?
p
Suppose -13159*f + 13160*f - 179 = 0. Which is smaller: 176 or f?
176
Let i be 28/(-126)*26/(-20). Let b = i - -2/45. Suppose -4*h - 1 = 4*s - 3*s, -s = -5*h + 1. Do b and s have the same value?
False
Suppose 0 = 3*s - 2*s + 5. Suppose 0 = -4*f - 2*f - 174. Let z = -32 - f. Which is bigger: z or s?
z
Let f(c) = -c**2 + 13*c + 607. Let m be f(-19). Is -2/581 < m?
False
Let z(b) = b**2 - b + 1. Let v(l) = 15*l**2 - 4*l + 6. Let f(p) = -v(p) + 5*z(p). Let t be f(-1). Let j be 16/(-20) + (-33)/t. Which is greater: 4 or j?
4
Let x = -11 + 13. Suppose 2*k = x*m + 3*k - 14, 4*m - k = 22. Let j = 5 - m. Which is smaller: 1/4 or j?
j
Suppose 4 = -4*c, 3*c + 1 = -6*u + 5*u. Suppose 4*z + 362 = u*a, -2*a - a + 279 = -3*z. Are z and -88 equal?
True
Let r(d) = 2*d**3 + 53*d**2 + 36*d - 3. Let q be r(-26). Which is smaller: -262 or q?
q
Let a = 525 - 11557/22. Is -1 at most a?
True
Suppose 0 = -2*w + 2*n + n + 25, -w - 5*n - 20 = 0. Let r be -1*2/(1 - w)*0. Which is bigger: r or -4/85?
r
Let h be (-17856)/(-1620) - 2/(-10) - -3. Is h at most as big as 13?
False
Let z(q) = -q - 3. Let k be z(-4). Let y(b) be the first derivative of -b**2/2 + 17*b - 4. Let w be y(15). Which is smaller: k or w?
k
Let d(f) = -f**3 + 5*f**2 + f - 2. Let h be d(5). Suppose -5*r = s - 15, -3*s = 2*r - 13 - 6. Let m = h + s. Are 8 and m equal?
True
Let r = -11/134 + 1339/9782. Is -2 >= r?
False
Let w = -1712 - -54775/32. Are -1 and w equal?
False
Let j(c) = c - 2. Let n be j(2). Let x be 15/45 - (-76)/(-210). Which is greater: x or n?
n
Suppose 3*b + s = 4, 4*s - 7*s = -3. Let j = 1865/7 - 266. Is j smaller than b?
True
Suppose 480 = -9*v + 49*v. Which is greater: 7 or v?
v
Suppose o - 2*l + 18 = l, -5*o = 4*l - 5. Let y(s) = 3*s - 1. Let d = 9 - 11. Let i be y(d). Which is bigger: i or o?
o
Suppose 8*w + 1516 = -5324. Is w bigger than -855?
False
Let r = -14 + 7. Let c be (-10)/8 + (-14)/((-672)/60). Which is smaller: c or r?
r
Suppose -3*g + 5*g + 10 = 0. Let o be 3*(10/6)/g. Is o greater than -1/16?
False
Let b be ((-3)/12*0)/((-5)/(-5)). Which is smaller: 44/37 or b?
b
Let a = -4/193 - -1957/85113. Is -1 smaller than a?
True
Let o be -5*8*(-6)/(-480). Are -0.0031 and o equal?
False
Let s be 6/30 + 1017/15. Which is smaller: 67 or s?
67
Let j be (6 - 5)*(-2 + 4). Suppose j*l + 23 = 27. Which is greater: -1 or l?
l
Let q(l) = 48*l**3 - l**2 + 1. Let b be q(1). Let z = b + -27. Let j = z - 21. Which is smaller: 2/7 or j?
j
Let l = 3 - 2. Let k(j) = 5*j + 20. Let a be k(-4). Suppose -5*b - 7 - 43 = a. Which is greater: l or b?
l
Let y = -0.6 + 0.57. Let m = 0.57 - 0.7. Let n = y - m. Which is bigger: 1/15 or n?
n
Suppose -5*k = -20, 8*l + 2*k = 3*l - 597. Is l not equal to -124?
True
Let x = 7097/55 - 240512/55. Let p = x + 4249. Are 5 and p unequal?
True
Suppose -3 = -2*c - 7. Let j = -843 + 5883/7. Is c at least as big as j?
True
Let s = -3590 - -240554/67. Are 0 and s equal?
False
Let y = 185 + -149. Is y at most as big as -8/9?
False
Let a be 539 + (15/(-6))/((-5)/(-10)). Is a smaller than 533?
False
Let p be (-1 - (-1)/3)*(-810)/6. Is p <= 86?
False
Let s = 7 - 15/2. Let r(g) = -3*g**2 - g. Let k be r(1). Let o(z) = -z - 4. Let d be o(k). Is s less than d?
True
Suppose 454 + 1598 = 9*f. Which is smaller: 230 or f?
f
Let u be (-10)/(-12)*(-2)/(-5)*0. Suppose u*i = -3*i + 36. Is i at most as big as 10?
False
Let t = 0.700881 + 5296.489119. Let g = t - 5266. Let y = g + -31. Is 1 equal to y?
False
Let q(t) = -t**2 - 3*t - 10. Let v be q(0). Is -112/11 smaller than v?
True
Suppose -6*c - 10 = 8. Does 14 = c?
False
Let b(y) = -3*y**3 + y**2 + y + 2. Let q be b(2). Let s = 16 + q. Suppose p + s*p = 0. Which is smaller: -1/7 or p?
-1/7
Let t = 12 - 0. Suppose 2*p - 8*p = -t. Suppose u - 4*q + 18 = 0, -4*q = -3*u - 6*q + p. Which is smaller: -8/7 or u?
u
Let z(w) be the second derivative of w**5/20 - w**4/3 + w**2/2 - 3*w. Let l be z(2). Let h = l - -11. Are -2 and h equal?
False
Let q = -176 + 877/5. Which is smaller: q or -1?
-1
Let f(s) = -s**2 - 27*s - 8. Let o be f(-12). Is 164 greater than o?
False
Let i be (-242)/680 - ((-3)/(-4) + -1). Let j = -5/17 + i. Which is bigger: 2/23 or j?
2/23
Suppose -71*o + 69*o - 4 = 0. Let c be 6*(1/(-2) - 0). Is o at most c?
False
Suppose 5*f + 125 = 5*o, -2*f + 0*f - 10 = 0. Is o equal to 62/3?
False
Let l(v) = v**2 - v + 3. Let r be l(-2). Suppose -4*n - 10 = -5*n. Let h = n + -1. Is r greater than h?
False
Suppose 2*n - v - 314 = -3*v,