21/w - 3) + 4. Which is smaller: q or -1?
-1
Let u = -0.0604 + 45.0604. Which is smaller: u or 0.5?
0.5
Suppose 15 = -3*i, -3*v + 5*i - 6 = -49. Suppose 4 = 4*n + n + 3*m, 2*m - v = 0. Let x be (-8)/20 - 0/(-1). Is n less than x?
True
Let l(j) = j**2 - 16*j + 22. Let s be l(9). Is s at least -37?
False
Let o = -5531/429 + 168/13. Let i = -97445/6 + 33228815/2046. Let z = o + i. Which is bigger: -1 or z?
z
Suppose 3*k - 3*a + 6 = 0, -a - 1 = 5*k - 3*k. Let d be (k - -1)*-1 - 75. Is -74 smaller than d?
False
Let q be 1/(((-50)/(-8))/(-5))*25. Let x = q + 19. Is -5/36 smaller than x?
False
Let h = 13 + -8. Suppose j - 4*v + 5 = 2*j, -1 = v. Suppose -3 - j = -3*d. Which is smaller: h or d?
d
Suppose -6*g + 46 = 28. Does -6 = g?
False
Let b(h) = -3*h - 5. Let z be b(-5). Let i = z + -22. Is -12 at most i?
True
Let k be ((-284)/42)/((-15)/45). Are 21 and k nonequal?
True
Let t = -116 - -102. Let f be 10/(t/(-119) - (-495)/(-17)). Which is smaller: 0 or f?
f
Suppose -2*d = -5*o - 120, -142*d + 146*d - 216 = 4*o. Which is smaller: 148/3 or d?
148/3
Let i be (30/(-442))/3*(-20)/50. Which is bigger: -1 or i?
i
Let j(p) = p**2 + 9*p + 2. Let r = 19 - 17. Suppose -r*v - 12 + 0 = 0. Let o be j(v). Is -15 != o?
True
Let b be (33/(-22))/((-2)/(-4)). Let o be b/(((-252)/8)/(-7)). Which is smaller: o or 0?
o
Let h(w) = -w**2 + 5*w. Let n be h(4). Suppose -n*q + 5*u - 5 = 2*u, 2*q = 5*u - 13. Let v = -3 - -2. Which is smaller: q or v?
v
Let w be 4/10 + (66/(-15) - -5). Which is smaller: w or 71?
w
Let s = 590 + -587. Let p(a) = -a**2 - 3*a + 7. Let r be p(-5). Let b be -1*(r + (s - 6)). Is 5 > b?
False
Let b = -2/187 + 445/24123. Which is smaller: b or -1?
-1
Let u = 760 - 1250. Is u greater than or equal to -491?
True
Let a = -34 - -28. Let m = 49/8 + a. Is m < 0?
False
Suppose 0 = -21*q + 19*q - 18. Let a(c) = c**2 - 9*c - 2. Let z be a(9). Let r(x) = 6*x + 2. Let o be r(z). Is q at most o?
False
Suppose 2*q = -2*z + 14, -3*q = -8*z + 4*z. Suppose -8 - 7 = -z*m. Let d = -8 + 12. Is m < d?
False
Suppose -6 + 6 = 14*v. Suppose -2 = -o - o. Let z be (0 + 0)/(o*2). Is v less than or equal to z?
True
Let u(l) = -3*l**2 + 0*l**3 - l**3 + 32*l - 4 - 28*l. Let i be u(-5). Suppose -3*o = -o - i. Is o less than or equal to 12?
False
Let s = -159449 + 1756119/11. Let x = -198 + s. Is -1 < x?
True
Let n(o) = -378*o**3 + o**2 - 1. Let s = -8 + 7. Let t be n(s). Let l be 153/t - 2/4. Which is smaller: 1 or l?
l
Suppose 37*m - 468 = -41*m. Let x(w) = w**2 - 4*w + 2. Let v be x(5). Which is bigger: v or m?
v
Suppose -2*s - 1 = 3. Let z(b) = -b**3. Let a be (-6)/4 - (-15)/6. Let t be z(a). Is t greater than s?
True
Suppose 32*i - 95 = 641. Let k = -7 + 31. Is k smaller than i?
False
Let o = -53.9 - -54. Let p = 3.07 + -0.07. Let i = p + -9. Which is greater: o or i?
o
Let q = 58 - 68. Let x be (14/35)/((-72)/q). Let w = 1 - 1. Which is greater: x or w?
x
Let c(u) = u + 1. Let d(z) = -5*z - 3. Let f(p) = 6*c(p) + d(p). Let r = 76 - 74. Let v be f(r). Is v > 5?
False
Let r(a) = -a**3 - 5*a**2 + 8*a + 2. Let y be r(-6). Let h(l) = l**3 + 4*l**2 + 3*l. Let c be h(-5). Let x be ((-2)/y)/(96/c). Which is smaller: x or -1?
-1
Let w be (-54)/15 - -3 - (-15)/25. Suppose -2*n - 5*n + 7 = w. Which is smaller: n or -3/11?
-3/11
Let m = 12798 + -64218/5. Is m equal to -47?
False
Let s = 21 + -21. Suppose -4*l + 10 - 34 = s. Let y be ((-30)/550)/(l/(-4)). Is 0 at least as big as y?
True
Let s = -426 - -427. Let t be 3 - ((-1716)/285)/(-2). Is s less than or equal to t?
False
Let p = -12 - -9. Let w be (4/p)/(6/9). Let j = -11/26 + -1/13. Are w and j unequal?
True
Let k be 3/15*0 + 4. Suppose -5 + 21 = k*u. Which is smaller: 1 or u?
1
Let s = -6.341 - -6.241. Let a = 27 + 19. Let c be 2/6 - a/3. Which is smaller: c or s?
c
Let o(r) = -2*r**3 - 14*r**2 - 14*r + 6. Let h be o(-6). Suppose 3 = -2*t + 5*z, 0 = -12*t + 7*t + 2*z - h. Is -4 at most t?
True
Let u = 25 - 17. Let b(q) = q**3 + 3*q**2 - 2*q + 5. Let y be b(-4). Let p be (-8)/(-1*(y - -4)). Is p at least u?
True
Let j(k) = -166*k + 1327. Let s be j(8). Are s and -3/49 nonequal?
True
Let q = -159.5 - -158.5. Which is greater: q or 1/9?
1/9
Let k(b) = -b**2 + 10*b + 14. Let r be k(11). Suppose 5*h = 3*q + 14, 4*q = -0*h - 4*h + 24. Suppose 2*t - h*t + 8 = 0. Is t less than r?
False
Suppose -3*p - 2*p - 2*g + 26 = 0, -3*p = g - 15. Suppose -27 = -p*i + 1. Is i greater than or equal to 2?
True
Let t be -2 - 9/(-18)*(-2)/(-1). Let y(c) = 9*c + 6. Let f be y(t). Which is bigger: f or -6?
f
Suppose 7*v + 38 = -2*j + 5*v, -3*j + v = 41. Which is bigger: j or -3?
-3
Let v = 9.56 + 46.74. Let h = v - 56. Which is bigger: 0 or h?
h
Let z(s) = -s**3 - 2*s - 6. Let p be z(0). Let x be (-3)/p + 1 - 5/2. Which is smaller: x or -2/23?
x
Let m(z) = -z - 5. Let s be m(-8). Let x be -1 - (6/2)/s. Is -4 at least as big as x?
False
Let d = 108629/43645 - 4/1247. Let v = 3/35 - d. Let i(j) = -j**2 - 36*j - 37. Let c be i(-35). Which is smaller: v or c?
v
Let d(p) = -p**2 - 5*p + 3. Let b be d(-5). Suppose 0 = j + 5, -b*h + 47 = -2*h - 4*j. Is h at most as big as 28?
True
Let c = 1256 + -1198. Which is greater: c or 57?
c
Suppose 0 = -4*a + 3*a + 2. Let z be a - (4 - (-60)/(-27)). Which is bigger: 0 or z?
z
Suppose 2*a - j + 50 = 3*j, 4*j + 95 = -3*a. Let h be 8/(-36) - a/9. Let z be h*((-1)/1 - -4). Is 8 equal to z?
False
Let i(g) = 10*g - 25. Let a be i(4). Let d(p) = -p**2 + 8*p - 3. Let t be d(6). Let q = t - a. Which is smaller: q or -2?
q
Let i = 1229 + -1181. Do i and 52 have different values?
True
Let a = -103 + 60. Let z = a - -44. Let r(q) = -q**3 + 7*q**2 - 7*q + 6. Let l be r(6). Is l < z?
True
Suppose 16*i + 18 - 2 = 0. Is i > 2?
False
Let l = 47 + -17. Let y be 20/l - 1/3. Is y less than or equal to 0.2?
False
Let k be (2/15*-9)/(-2). Let y = k - -9/10. Is y at most 7?
True
Let n = 359 + -350. Which is bigger: 168/17 or n?
168/17
Let u(l) = -l**2 - 7*l - 6. Let q be u(-5). Let c = -13 + 13. Let r be (1 - c)/(1/2). Which is greater: r or q?
q
Let u = 15089/3339700 + 1/10276. Is u less than 0?
False
Suppose x = 6*x. Let o = 2157 - 256685/119. Is o at least x?
False
Let d be 1 + 649/(-3) - (-56)/168. Which is greater: -211 or d?
-211
Let o be 2/2 - ((-2120)/180 + 13). Let p be (2/28)/(2/8). Which is bigger: p or o?
p
Suppose 0 = 2*q - q + l + 128, -3*q + 3*l = 372. Let x = q - -186. Let w be (-10)/x + 7/6. Which is smaller: 1/6 or w?
1/6
Let f = 218 - 219. Is -7 != f?
True
Let u(o) be the third derivative of o**5/60 + 7*o**4/24 + 4*o**3/3 + 5*o**2. Let t be u(-8). Let d be 21/(-12) + (-4)/t. Is -2/9 >= d?
True
Suppose -f + 6 = 2*f. Let r be (-12)/18*3/f. Let n be (-1 - r) + 3 + 2. Is n less than 5?
False
Suppose 0 = -59*l - 579 + 2644. Let f = -2/257 - 508/771. Is l != f?
True
Let r be 1/(-15)*3*(-7 + 4). Does 2 = r?
False
Let d be (1 - (-5 - -7)) + (9 - 179). Which is greater: -175 or d?
d
Let m = -18 - -5. Let x = 13.01 + m. Which is greater: 0 or x?
x
Let i = 262.21 + -262. Which is greater: i or 21?
21
Let f(d) = 102*d - 16. Let j be f(8). Let b be 3 - (j/(-54))/(-5). Which is bigger: b or -1?
b
Let o be 2/(-5) + (-6)/10. Let y be (-9 - (-280)/30)*6/(-13). Is y smaller than o?
False
Let v = -165 + 176. Let n = -44 - v. Are -56 and n equal?
False
Let g(s) = -s**3 + 7*s**2 + 18*s - 1. Let t be g(9). Which is greater: t or -3?
t
Suppose -35 = -5*x + 5. Let b(i) = i - 16. Let g be b(x). Is g not equal to -7?
True
Suppose -597 = -6*g + 15. Which is bigger: 98 or g?
g
Suppose -5*t + 71 = f - 94, -5*f - 4*t = -762. Which is bigger: f or 149?
f
Let u(k) = k**3 - 6*k - 5. Let l be u(4). Let w = l + -34. Which is smaller: w or -2/31?
-2/31
Suppose -4*g - 20 = -24. Suppose -3*v + 12 = 3*z - 9, -5*z - g = -4*v. Is z greater than 27/7?
False
Let u = 62 + -89. Let m = -27.1 - u. Which is smaller: 1/13 or m?
m
Let x = -0.03 + 0. Let m = x - 3.07. Let f = m + 3. Do 0.8 and f have the same value?
False
Let a be ((-5)/(-62475))/(-4 + (-91)/(-21)). Which is smaller: a or 1?
a
Let t = -95 + 91. Let n be ((-1)/39)/((-4)/t). Is 0 <= n?
False
Let g be 3*-1 - 0 - 625/(-300). Which is greater: 0 or g?
0
Let i(t) be the first derivative of t**3/3 - 5*t**2/2 - t + 34. Let g be i(6). Which is smaller: g or 12?
g
Suppose -z = -2*c + 3*c - 2, -4 = -5*c - 2*z. Which i