10/(-40). Which is smaller: -1/11 or c?
c
Let d be ((-1408)/(-660) - (-18)/(-10))*-2406. Is -811 less than or equal to d?
True
Suppose q + 2*j = 6*j + 249, -3*j - 250 = -q. Let n be q/(-92)*4/1. Are n and -4 unequal?
True
Let j = 3/4828 - -2529809/101388. Do j and 25 have different values?
True
Let n = -31 + 31. Let r be (-5)/3*(-1 + -2) + -1. Suppose r*j - 9 + 1 = 0. Which is greater: j or n?
j
Let c(s) = -s**3 + 3*s**2 + 4. Let v be c(3). Suppose -g = v*g. Let h = 13190 + -751834/57. Is g equal to h?
False
Let w be ((-60)/70)/(3/(-105)). Suppose -41 + 11 = w*c. Let g be 50/48 - (-1 + 2). Which is smaller: g or c?
c
Let h = -8825 - -7662. Which is greater: h or -1162?
-1162
Let i = -544955/16854 + 3/5618. Is -31 at most as big as i?
False
Let v = -334 - -17. Is -0.1 at most as big as v?
False
Suppose 0 = 90*v - 100*v + 20. Let q be (724/6)/(v/3). Is q at least as big as 180?
True
Let z(b) = -3485*b + 14357. Let d be z(4). Let w be ((-834)/8)/((-3)/12). Is w bigger than d?
False
Let c = 379 + 28. Let x = c + -408. Is x at least -145?
True
Let u(w) = -717*w - 231. Let q be u(-28). Let p be 3/(-2) + q/13338. Is p at least 0?
False
Suppose -5*s = 3*y - 93, -y + 80 = 5*s - s. Let c be s/6*(6 + 449292/(-74886)). Is -1 equal to c?
False
Let c(z) = -2*z**2 - 28*z - 6. Let x be c(-6). Let u = 86 - x. Let s be (-1)/(-1 - (u + (-3 - -5))). Is 4 bigger than s?
True
Suppose -z + b + 38 = 14, 3*b = 5*z - 112. Suppose 3*f + u - 10 = 0, 4*f - u + 4*u = z. Is 9/10 smaller than f?
True
Suppose -x + 9*h - 32 = 246, -865 = 3*x + 4*h. Which is smaller: x or -288?
-288
Let s = 6.78 - 326.78. Let z = 341 + s. Is z greater than or equal to -1/3?
True
Let f be ((-56)/42)/(1/6). Let o = 6 + -3. Which is smaller: f or o?
f
Let d be 2/4 + 133/(-14). Let r = d - 23. Let l = -33 - r. Which is smaller: 10/7 or l?
l
Suppose 2*j + 2*t = -5006 - 232, -2637 = j - 2*t. Is 0 smaller than j?
False
Suppose 0 = 11*l - 5*f + 105, -50*f + 47*f = -4*l - 37. Let m be 2/1*18/(-4). Let o be (-3)/m*(-6)/l. Is 0 bigger than o?
False
Let t be (-12)/(-7)*((-2100)/(-102552))/25. Are 1 and t non-equal?
True
Suppose 5*d + 5*n + 91 = n, -d - 2*n = 23. Suppose -2*r = 5*k - 39, 3*r = 4*k + 49 - 2. Which is smaller: d or k?
d
Let d(y) = y**3 - 81*y**2 - 2*y + 122. Let m be d(81). Which is smaller: -11 or m?
m
Let u(l) = -18*l - 44. Let h be u(-18). Suppose -11*i + h = -6*i. Suppose -12*a = -4*a - i. Which is bigger: 8 or a?
8
Let i be 32 - 31 - (5 + (-123)/(-27)). Which is bigger: -8 or i?
-8
Let i = -0.0077 + -0.0293. Let t = -73 - -72.937. Let h = t + i. Which is smaller: h or 3.7?
h
Let c = -8993/7 + 1288. Which is greater: 1 or c?
c
Let k(b) = -3*b**2 - 8*b - 7. Let v(n) = n**2 + n. Suppose -3*m + 3 - 6 = 0. Let p(w) = m*k(w) - 2*v(w). Let z be p(-7). Is z bigger than 2?
True
Let n be (72/(-27))/(-4)*1*57. Suppose -n + 32 = 6*m. Which is smaller: 26 or m?
m
Let g be (-29740)/(-15)*(-234)/104. Is g at most -4462?
False
Let f = -2995 - -2994. Which is smaller: 1/407 or f?
f
Let b = -355 - -362. Suppose 4*y = -5*n - 13, b*n + 3 = 2*n + y. Which is greater: n or 2/223?
2/223
Let k = -137 - -154. Let b(y) = 2*y**2 - 36*y + 54. Let a be b(k). Is a equal to 22?
False
Let x = -628 + 609.79. Which is bigger: x or 0?
0
Let d(m) = m**3 - 25*m**2 + 18*m - 147. Let q be d(23). Are q and -793 unequal?
True
Suppose 122 = -4*z - j, -z - 3*j + 161 = -6*z. Let w = 22 + z. Suppose 23 = -2*l + 3*y, 2*l + l - 4*y + 34 = 0. Is l bigger than w?
False
Let d(b) = b**3 - 2*b**2 + b - 3. Let a be d(2). Let x be 1/((a/6)/((-60)/72)). Suppose 0 = -x*q + 20 - 20. Which is smaller: -2/123 or q?
-2/123
Let u = -1.961 + 1.461. Let w = -290.8 + 291. Is w bigger than u?
True
Let f = 1 + -1.1. Let u = 2960537/15 - 197369. Which is bigger: f or u?
u
Suppose -59*w - 8 = -61*w. Suppose 3*d + 286 + 65 = -3*t, 0 = w*d + 2*t + 470. Is -118 > d?
False
Suppose 568 = 19*s - 748 - 660. Suppose -5*j = -0*j + 5, 4*j = b - 85. Let d = b - s. Which is bigger: d or -22?
-22
Let v(j) = -j**2 + j - 15. Let n be v(0). Let y = -16 - n. Let p(i) = 12*i**3 - 214*i**2 - 35*i - 22. Let h be p(18). Is y < h?
False
Let u = -385/5694 - -4/73. Let s = 2/13 - u. Which is greater: -6 or s?
s
Let u be 4 - ((-4)/24)/(4/(-108)). Let j = 26 - 18. Let a = 8.8 - j. Is u at least a?
False
Let i(b) = b**3 - 7*b**2 + 8*b - 6. Let p be i(6). Let n(q) = -2*q**2 + 3*q - 22. Let m be n(4). Let l be (-23)/(552/16) + (-220)/m. Is l < p?
True
Suppose -u - 57 = 5*r, -2*r + 215 = -5*u - 151. Let m be (u/8)/3 + 6. Which is bigger: -2/5 or m?
m
Let y be (-3)/(-6) + (-1)/(-2). Is -11/126 at least y?
False
Let m = -22.0685 + 21.978. Is m > -5?
True
Let q = 307430758/1537 - 200020. Is 0 <= q?
True
Let m be 2/4 - (-17610)/(-8136). Let t = -1/452 + m. Is 0.1 at most as big as t?
False
Suppose 0 = 5*d + 2*d - 42. Let l be ((-2)/d)/(-3 - (-159)/54). Suppose l = -5*y + 11*y. Is y equal to 2/183?
False
Suppose 12717 = -23*b - 27104 - 1257. Is -1788 at most b?
True
Let i(s) = 329*s - 3147. Let r be i(6). Which is smaller: r or -1174?
-1174
Let c = -5598 - -9583777/1712. Let f = -44531/32528 + c. Is f at least as big as -2?
True
Let r be (7 + 10 + -16)*42. Do -6 and r have different values?
True
Let o = -5016/33085 + 3554044378/1488825. Let r = -2387 + o. Which is bigger: r or -1?
r
Let c = 100 + -73. Let i = -36 + c. Which is smaller: 0.09 or i?
i
Let y = -143 + 140. Let a be (10/(-35))/(y/21). Is a bigger than 0.3?
True
Let b = 1367.3 + -1367.27334. Which is smaller: b or -2?
-2
Let w = 1.0304 - 2.6304. Which is smaller: 52 or w?
w
Suppose -832 - 2107 = 20*j + 401. Is j not equal to -167?
False
Suppose -17 - 3 = -4*a. Let z be (-13464)/14960*(-1 + (1 - 10)). Which is greater: z or a?
z
Let t be (3388/110)/((-56)/(-80)). Let y(r) = -41*r**3 + 2*r**2 - 1. Let j be y(-1). Is j <= t?
True
Suppose 0 = 30*y + 82452 - 23112. Which is bigger: y or -1?
-1
Let y = 84 + -46. Let k = 40 - y. Suppose -k*z + 44 = -6*z. Which is bigger: z or -8?
-8
Let y(t) = t - 6. Let z be y(7). Let l = -21 - -25. Let d be ((-5)/(-30))/(l/(-9)). Are d and z unequal?
True
Let g = 54 - 56. Let o be 208/12 - g/(-6). Which is smaller: o or 16?
16
Let d = 47901 - 239508/5. Let c = 1 - 1. Is c greater than or equal to d?
True
Suppose -3*d = -5*d + 2. Let n = 1 - d. Let g be (-18)/2 + 300/30. Is n bigger than g?
False
Let b = -24 - 89. Let z = b + 118. Which is bigger: z or -6?
z
Let k = 58 - 54. Let v = k + 7. Let m = v - 13. Does m = -0.1?
False
Let p = 53/5 - 618/55. Let c(d) = -d**2 + 18*d + 115. Let o be c(23). Which is smaller: p or o?
p
Let p = 1465 - 1464.845. Let b = p - 0.055. Let g = 50 + -49.951. Which is smaller: g or b?
g
Let w = 607/11 + -1799/33. Let h = 667 + -356. Which is greater: w or h?
h
Let q = 269/33 + -6683/825. Which is greater: q or 0?
q
Let x be (-124)/10*(36/2 + -8). Let c be 86/x - (-4)/8. Which is greater: -1 or c?
c
Let h(l) = -502*l + 202. Let s be h(7). Let w be (s/(-6) - 1)/(-1*1). Which is smaller: w or -550?
w
Let f = -821/4 - -149. Is -55 at most as big as f?
False
Let b = -133 + 137. Suppose 9*w - 4*w - b*d - 110 = 0, -2*w = 4*d - 44. Which is bigger: 16 or w?
w
Let u(y) = 10*y + 3. Suppose 2*w + 2 = f, 0 = -5*w + 5. Let q be u(f). Let s = -40 + q. Which is bigger: 18/11 or s?
s
Let z be (-15)/7218*-2*4/(-170). Which is smaller: 1 or z?
z
Suppose -3*d + 68 = 218. Let g be (72/5)/((-15)/d). Let v = 92 - g. Is v <= 44?
True
Let y be 22 + (-32 - -10 - -1). Is y < 2/6381?
False
Let k = 0.623 + -460.623. Let r = k + 460. Is r >= -273?
True
Let t be ((7 - 3) + -4)/(-1). Suppose m - 3*y + 172 + 40 = t, m = -y - 228. Is -223 < m?
False
Let p be (-2)/2 - (-51)/(663/(-103103)). Is -7933 != p?
True
Let c(b) = -b**2 + 15*b - 3. Let r(u) = 3*u**2 - 46*u + 9. Let w(d) = 11*c(d) + 4*r(d). Let m be w(16). Let t = m - -46. Is t != 2/47?
True
Suppose -4*p + 144 = -3*a, -3*a = 4*p - 81 - 63. Suppose 30*n + 76*n - 226 = 3802. Which is bigger: n or p?
n
Let x = 33123 - 52651. Is -19529 < x?
True
Let k be (-93 + 92)/(9/(-6) - -2). Which is smaller: k or -56/37?
k
Suppose 4*m + 5 - 1 = 0. Let b be m + (0 - 0/1). Let n be (-2)/33*32 + 2/1. Which is bigger: b or n?
n
Let q = 65 + -54. Let w(p) = -3*p**3 + 74*p**2 - 77*p + 110. Let f(y) = -y**3 + 25*y**2 - 26*y + 37. Let u(z) = 17*f(z) - 6*w(z). Let r be 