 -5*f. Suppose 5*z + 4*i = o*i + 1, -2*z - 5*i = 18. Which is smaller: 2/23 or z?
2/23
Let i be (4/(-2) - -1)*-1. Let x = -0.084 - -4.084. Which is smaller: x or i?
i
Let h = 1538 + -1255. Which is bigger: h or -2?
h
Suppose 3 = -4*v + 7. Let k be (31/4 - v) + (-21)/(-84). Is k at most as big as 7?
True
Let u = 108 + -110. Do -0.1 and u have different values?
True
Let f = 49 + -39. Suppose 6 - f = 4*g. Is 3/20 less than or equal to g?
False
Let z(u) = 82*u - 403. Let i be z(5). Let y = -6 + 10. Suppose 0 = 2*n - v + 2, 5*n - v = y*v - 10. Are n and i nonequal?
True
Suppose -3*v = -5*v + 2*n - 988, 2*v = n - 992. Which is smaller: v or -497?
v
Let h(x) = -4*x**2 + 9*x - 29. Let f be h(6). Is -118 less than f?
False
Let c = -6.7 + 6.64. Which is smaller: c or -0.1?
-0.1
Let f be (2/(-7))/(12/(-84)) - 47. Is 0.25 at most f?
False
Let l(j) = j**3 - 5*j**2 - 14*j - 3. Let u be l(6). Which is smaller: -49 or u?
u
Let a = -1.1 - 12.9. Let y = -25 - a. Let d = y - -10.9. Is d smaller than 0.03?
True
Let a be (-6)/(-15) - (-549)/15. Let t = a - 42. Which is greater: -2 or t?
-2
Let m be 9*(-2)/(-6) - 1*3. Let q = -2 - -7. Let t be 1/q*30/126. Which is bigger: m or t?
t
Suppose -5*u + 4 = -3*u. Suppose p - t - 166 = u*t, -528 = -3*p + 3*t. Let d = -5067/28 + p. Is d at most as big as 0?
False
Let f be (3 + 6)/3 - 0. Let q be -1*((-3)/(-9))/(f/(-9)). Which is smaller: q or -15?
-15
Let r = -58 + 92. Let d = 29 - r. Which is bigger: -6 or d?
d
Let z = 418 - 286. Let t = 5410/41 - z. Is t not equal to -1?
True
Suppose 2*q + 5*v + 20 = 7*q, 2*v + 3 = -3*q. Let a be (q + -5 + 11 + -9)/2. Is a not equal to -1?
False
Let y = 11 + -21. Let m = 0.034 - 10.234. Let p = m - y. Is 0 != p?
True
Let k = 0.107 + -8.307. Let y = 52.2 + k. Are 0 and y equal?
False
Let w be -2*(-12 - -5)/(-14). Is -2/139 > w?
True
Let p be (-12)/(-126) + 133/(-9114). Is p at most as big as 1?
True
Let c = -75670 + 682378/9. Let o = c + -150. Is 3/10 greater than or equal to o?
True
Suppose -12*o - 22 = -10*o. Let r = 5 + o. Let p = r - -8. Is 16/5 bigger than p?
True
Suppose -b = 2*n - n, 0 = 3*b - 5*n - 8. Suppose -4*w + 13 = b. Does 4/3 = w?
False
Let z = -48 - -47. Let s = -1 - -2. Let g = -2 + s. Is g < z?
False
Suppose 50 = -2*z - 4*s, 7*z + 40 = 6*z - 5*s. Is -15 at least as big as z?
True
Let o be (7/(-14))/(335/4 - -1). Is o at least as big as 1?
False
Let t(a) = a**2 - 14*a + 47. Let r be t(7). Which is smaller: -60/29 or r?
-60/29
Suppose -11*q = -7 - 15. Suppose -c + 3 = w - 7, -q*c + 18 = w. Is c smaller than -4?
False
Let p(g) = g**3 + 8*g**2 + 2*g + 24. Let k be p(-8). Suppose -k*w = -10*w + 4. Let a = -2/55 + 18/11. Which is smaller: w or a?
a
Suppose 0*a + 12 = -d + 4*a, 5*d + 60 = a. Let i be (2/21)/(((-130)/d)/13). Is i not equal to -1?
True
Let b(i) = -i**3 + 9*i**2 + 8*i + 10. Let h be b(10). Let d be (-16)/h - (-4)/10. Let v(l) = -l**2 + 3*l - 2. Let a be v(d). Which is smaller: -1/14 or a?
-1/14
Let n(x) = 18*x + 118. Let c be n(-7). Let v(t) = -10*t + 16. Let f(y) = 2*y - 3. Let r(q) = -22*f(q) - 4*v(q). Let a be r(3). Which is smaller: a or c?
a
Let f be (2 + (-18)/4)/(273/(-21)). Which is smaller: f or 0?
0
Suppose 51*k - 19*k = 21*k. Which is smaller: k or -2/5137?
-2/5137
Let p(q) be the third derivative of q**4/24 + q**3/2 + 4*q**2. Let u be (-6)/(-9) - 34/6. Let d be p(u). Is d equal to 4?
False
Suppose 4*h + h = 3*x - 4, 0 = -2*x - 5*h + 11. Suppose x*f = 4*f. Suppose f = -0*o - 2*o. Is 0 less than or equal to o?
True
Let t = -186.7 + 210. Let o = 25 - t. Let q = -1.4 + o. Which is bigger: 0.2 or q?
q
Let o = 2.2 + -4.2. Let f be (-7 - -9)*2/28. Is o less than or equal to f?
True
Let j = 46.7 - -0.5. Let h = 47 - j. Let p = -2/97 + 105/388. Which is bigger: p or h?
p
Let h = -55 + 129. Let l be -4 + h*4/80. Is l > -2/5?
True
Let y be (6 - (-1 - -1)) + 1. Suppose 86*a = 612 + 162. Is a smaller than y?
False
Let r be (-3)/((-8)/6 + 1). Suppose 0*y + 3*y - r = 0. Suppose 5*u - y*u = 2. Is 1/5 < u?
True
Let c be (2*-2)/(6 - (-82)/(-14)). Let s be (c/10 - -3) + (-64)/20. Is s at most as big as -3?
True
Let j(h) = -h**3 + 14*h**2 - 2*h + 7. Let w be j(14). Which is smaller: w or -28?
-28
Let w be 8/(-12) + (-26)/(-66). Let h = 70 - 71. Is h smaller than w?
True
Let z = -33 + 49. Let c = z + -13. Let q = -2 - -3. Which is smaller: q or c?
q
Let v be -37*24/(-40) + (-2)/10. Is 19 less than v?
True
Suppose j - 2 = -5. Let s = j - -5. Suppose 9 = y + 6. Which is smaller: y or s?
s
Let c = 57 - 36. Let s = -83/4 + c. Which is bigger: s or -2.2?
s
Suppose -2*u - 17 = -3*x, -29*x + u = -28*x - 6. Suppose -5*c + f + 15 = -c, -2*c - 2*f = -10. Suppose 12 = 4*n - c. Do x and n have the same value?
False
Let g be ((-5)/2)/(-5) - (-66)/(-180). Which is greater: g or 1.4?
1.4
Let s be 3/15 + (-5089)/25795. Which is bigger: s or 0?
s
Let r = 261 - 260.3. Does -21 = r?
False
Suppose -14*p + 456 = 24*p. Is 222/17 less than or equal to p?
False
Let x = 6956 - 6949. Let r = 2 + 4. Which is smaller: x or r?
r
Let a(d) = -47*d**2 - 24*d + 23. Let c be a(1). Which is greater: -61 or c?
c
Let h = 0.053 - 0.065. Let t = 1.888 - h. Is t <= -1/6?
False
Let n(b) = 19*b. Let p be n(1). Suppose 0 = -5*m - 5*f - 15, 5*m + 4 = f + p. Let v be (-16)/(-14) - (-1 + 1). Which is smaller: m or v?
v
Suppose 5*p - 3*b - 12 = 0, p - b = b + 8. Suppose 0*w - 4*w - g - 84 = p, -w = 3*g + 10. Is -24 less than w?
True
Suppose -3*h - 11 = 8*h. Let m(o) = 28*o**2 - 2*o - 1. Let v be m(h). Which is bigger: v or 30?
30
Let q be (-1)/(-5)*-1*19. Suppose -6932*c - 24 = -6924*c. Is q equal to c?
False
Let t = 861 + -37889/44. Let f = -4/11 - t. Let y = 0 + 6. Which is bigger: y or f?
y
Let c(o) = -o**3 + 4*o**2 + 4*o. Let d be c(5). Is d at most 20?
True
Let x(l) = l**3 + 16*l**2 + 3*l + 39. Let b be x(-16). Let s be ((-6)/b)/(11/9). Let q = -3 - -5. Are s and q equal?
False
Let u be (14/(-3))/(22/330) - 5. Is -71 > u?
True
Let c be (-1 + 3 + -12)*(-6)/3. Which is bigger: c or 23?
23
Suppose 18 = -2*s - 32. Let r be ((-3)/120)/(10/s). Which is smaller: 1 or r?
r
Let i(g) = -1498*g**3 + 2*g**2 - 1. Let m be i(-1). Let k = m - 2824. Let p be 5/(-2)*(-20)/k. Is 0 <= p?
False
Let k(q) = q - 2. Let z be k(1). Let b be (z - 183/(-186))*-4. Let p(j) = j**2 + 22*j - 1. Let a be p(-22). Which is bigger: b or a?
b
Let v be -13 - -22 - (-20379)/(-2265). Is 1 at most v?
False
Let g = -493 - -492. Which is smaller: g or 18/217?
g
Suppose 5*q = -5*l - 10, 0 = 3*q - 0*l - 2*l - 14. Suppose c - q*c - 16 = 0. Let x = c - -18. Is 3 greater than or equal to x?
True
Let y be (-1)/3*(17 + -13). Let n be ((-12)/(-30))/((-2)/(-5)). Let j = -3 + n. Which is greater: y or j?
y
Let c be (-92)/23*74/(-4). Is 74 less than or equal to c?
True
Let f = -10.7 - -51.7. Let z = -43 + f. Which is greater: z or 8/9?
8/9
Let d = -1 + 9/7. Let a = -47 - -67. Let w = a + -24. Which is bigger: w or d?
d
Let b = -1.2898 + -0.0002. Is b less than 2?
True
Let o = 80/9 - 578/63. Is o greater than -1?
True
Let u = -4909 + 2282684/465. Which is smaller: -1 or u?
-1
Let q(x) = 2*x**2 - 28*x + 65. Let r be q(11). Let g be 8/(-2)*(-2)/(-42). Is r at least as big as g?
False
Suppose -3*p + 2*p - 11 = -2*y, -2*p = -y + 10. Let z be 1364/(-10) + p/1. Let x = z + 139. Are -17 and x equal?
False
Let a = -0.0218 + 0.3218. Is 50/7 > a?
True
Let a = 37 + -29. Let k = a + -6. Which is greater: k or 0.7?
k
Suppose 0 = -5*a - 3*l + 12, -a - 2*l = -3 + 2. Let y = 4/1567 + 25052/7835. Is a bigger than y?
False
Let b be 6/10 + 1 + -1. Suppose -5*a = 5*r, 4 = 4*a - 64*r + 66*r. Which is greater: b or a?
a
Let z be (-12615)/25056 + 2 + (-3)/2. Is 1 less than or equal to z?
False
Let w = -3 + 13. Let l = -17 + 26. Which is smaller: w or l?
l
Let a = -40 + 37. Let r be a*(7/(-35))/(6/(-10)). Are -7/4 and r equal?
False
Let i = -113 + 149. Let z be (i/(-16) - -3)/((-4)/16). Suppose -w - 3 = 2*k, -4*w - 25 = -5*k - 0*k. Which is bigger: z or w?
z
Let o(d) = -d - 1. Let p be o(0). Let q = 4485/272 - 3805027/232560. Let b = -1/171 - q. Is b at least as big as p?
True
Let b be 3222/(-14) - (-3)/21. Let s be 4/2 + 480/b. Are s and -1 unequal?
True
Let g(v) = v**3 - 11*v**2 + 11*v - 5. Let q be g(10). Let s(c) = -5*c + 28. Let z be s(q). Is z bigger than -5?
True
Suppose 3*f - 7*