t q be g(-23). Let a be (q/12)/(38*(-1)/24). Is a less than or equal to o?
False
Let k = -5893570/167 + 35291. Is 1 less than k?
False
Let p be -2 - -6*(-80)/(-15). Let t be p/(-5) - 3369/(-561). Which is greater: 0 or t?
t
Suppose r + 2*b = 6*b + 53, -4*b = -4*r + 248. Suppose -20 = -61*d + r*d. Which is smaller: d or 14?
d
Suppose 0 = r + 11*y - 7*y - 3, 2*r - 2 = -4*y. Is 4/2497 >= r?
True
Let i be (-119)/(-17) + (-976)/20. Does i = -41?
False
Let o be (-4)/(-3) - (-445)/15*1. Suppose 19*s - o*s = 2460. Is -204 less than s?
False
Let d = -13842 - -12153279/878. Which is smaller: d or 0?
0
Let z(w) = -2*w**3 + 14*w**2 - 27*w + 165. Let h be z(6). Is h <= 41?
False
Suppose 2*r + u = -150, 173 - 11 = -2*r + 5*u. Let p = 305 - 224. Let x = p + r. Which is greater: x or 0.7?
x
Suppose -2904 = 11*j - 14146. Which is smaller: j or 1/3?
1/3
Suppose 0 = -19*v - 147 - 81. Let h be ((-7535)/(-2510) - 3)/((-2)/v). Is h not equal to -1?
True
Suppose 4*o + 158 + 1182 = 0. Let g = o - -415. Is -1/2 at most as big as g?
True
Let y be -3*(7 + (-172)/6) - (-7)/7. Is y smaller than 866/13?
True
Suppose 4*m - 4*d - 2692 = 0, -5*m - 40*d + 3355 = -43*d. Is m smaller than 667?
False
Let v = -75 - -156. Let m = -53 - v. Let z = -131 - m. Is z less than or equal to 2/9?
False
Suppose -31 = -4*n - 11. Let s be ((-2 - -3)*-1)/(9/(-603)). Suppose -m - 2*m - 17 = -o, 0 = n*o + 3*m - s. Is o greater than 14?
False
Let b be 3650422/(-230) + 9/(-15). Which is smaller: b or -15871?
b
Let o be (-5 + (2 - 2))/(9948/(-663) + 15). Is o at most as big as 7730/7?
False
Suppose 0*d + 3*d + g = -3811, 2*d - 4*g + 2536 = 0. Let m = d - -13980/11. Which is smaller: 0 or m?
0
Let i be ((-18)/27)/((12/(-483))/((-24)/(-28))). Is i > 133/6?
True
Let a = -1761 + 1762. Which is greater: a or -6/4315?
a
Let q = -449913/1047809 + -9/5789. Which is bigger: 1 or q?
1
Let n = -0.6 - -1.9. Let w = 384 + -383.7. Let h = n - w. Which is smaller: 0 or h?
0
Let a = -11 + 15. Suppose -13*w + 11*w + 278 = a*v, 5*v = w - 111. Let l = -213 + w. Is l at most -82?
True
Let p be (332/(-913))/(6/(-99)). Which is greater: 106/17 or p?
106/17
Let i = 19634 + -19496. Do i and 10 have different values?
True
Let t = -1829.8 + 1827.8. Which is smaller: 24.47 or t?
t
Let b = -1976 + 1976. Is b at least -7?
True
Let f = 14 - 18. Let l be 17/2*(-2 - f). Suppose 9 - l = 4*o. Are -2 and o nonequal?
False
Let i = 24791/5 - 4958. Let d = 0.76 + -1.83. Which is greater: i or d?
i
Let l(k) = 4*k + 24*k**2 - 9*k**2 + k**3 + 8*k + 2*k. Let q be l(-14). Is 1/13 greater than or equal to q?
True
Suppose -2 = -0*c - 2*c. Let u be (99/12)/((-24)/(-32)). Suppose -18 = -u*t + 9*t. Which is smaller: c or t?
c
Suppose 34 = 2*x + 94. Suppose -2*y + 33 = -3*d, -d - 1 = -5*y + y. Let v be 0 - d - x/(-10). Is v not equal to 9?
True
Suppose 4*u = q - 1491, -2 - 1 = 3*q. Let z = u - -361. Is -12 equal to z?
True
Suppose 2*z = -4*v + 27492, 4*z - v + 19886 - 74879 = 0. Which is greater: z or 13749?
13749
Let y be 1 + 5 + -3 - (-555)/(-183). Let w(p) = -p**2 - 11*p - 1. Let s be (-2)/6 - 544/51. Let q be w(s). Which is smaller: y or q?
q
Suppose -3*u + 10 = -g, -u - g + 16 = 10. Which is smaller: -79 or u?
-79
Let a = 4306 - 4305. Which is smaller: 2/15147 or a?
2/15147
Let q(a) = a**2 + 1749*a + 529096. Let s be q(-389). Let p be 68/18 - 4/(-18). Let d be ((-6)/p)/(1/(-38)). Which is smaller: s or d?
s
Let w be ((-15)/15)/((4/2)/8). Let u(o) = o**3 + 4*o**2 - 6*o - 8. Let l be u(w). Let k be (-3)/(-2)*l/12. Is k != 2?
False
Let z be (-10 - (-22304)/2232)/(10/(-2)). Is z less than 0?
False
Let o be (20*1)/(1 - 2). Let b = -1.4965 + 1.52. Let c = b + 0.0765. Is o <= c?
True
Let k = 28 + 87. Let b = 207 - k. Let j = 92.057 - b. Is j less than or equal to -1?
False
Let o = 373 + -467. Which is bigger: o or -90?
-90
Suppose -2*k + y - 75 = 2*k, -3*y + 35 = -2*k. Let i = 19 + k. Suppose 33 = 3*p + 3*g, g - 3*g = i. Is p at most 10?
False
Let w be ((-16)/(-32))/((-1221)/(-1224) + -1). Let c = w + 166. Is c <= -36?
True
Let m = 7.68 - 411.68. Let x = 398.9 + m. Which is bigger: x or 1?
1
Let k = 7.926 + 383.074. Is -0.1 > k?
False
Let g = -15.39 + -9.61. Is g <= -1/147?
True
Let r = 7.6 - 15.5. Let p = r - -8. Which is smaller: p or 51?
p
Let a = 0 - 0. Suppose 2*x = -4*m + 1 - 7, 3*x + 9 = 2*m. Let z be (m + (-4)/3)*-21. Is a at least z?
False
Let t = -0.7614 + -0.0186. Which is bigger: -0.14 or t?
-0.14
Let j(k) = 399*k + 150. Let u(w) = -266*w - 100. Let x(y) = -5*j(y) - 7*u(y). Let q be x(2). Which is smaller: q or -315?
q
Let o be (-3)/(4/((-8)/(-3))). Let v(j) = -j + 38. Let g be v(6). Suppose -28 = -4*z - g. Is o greater than z?
False
Let u be 4/22*(-187)/(-1632). Let l = -2 - -3. Which is bigger: u or l?
l
Let k = -1.749 - -0.249. Let m = -3.5 - -3. Let q = k + m. Is 2 >= q?
True
Let y be (-17)/(1/5*(-40)/(-72)). Let n(h) = -h**3 - 8*h**2 + 4*h - 2. Let r be n(-9). Let s = r + y. Is -111 < s?
True
Suppose 5*w + 5*c = -15, -18*w = -21*w - c - 15. Suppose -8*j + 6*j + 20 = 0. Let y be j/55 + (-103)/22. Which is bigger: w or y?
y
Let i(j) = -j**3 + 21*j**2 + j - 45. Let d be i(21). Suppose -5*w = 5*p + 80, -110 = 5*p + 2*w - 3*w. Is p greater than d?
True
Let v(d) = -186*d - 2606. Let p be v(-14). Which is bigger: -162/67 or p?
p
Let z = -3759862/77 + 48828. Are z and 0.1 non-equal?
True
Let c be ((-4)/(-14))/((-309)/(-14))*3. Let o be -6*3/12 - (-35)/14. Is o at most as big as c?
False
Let j(g) = 25*g + 85. Let u be j(0). Which is greater: -7 or u?
u
Let m = -237.38 - -237.32. Which is greater: -5.82 or m?
m
Let z = -32752.89 + 32611. Let x = -142 - z. Is -0.08 greater than x?
True
Let z = 2596 + -3015. Is z at least 1/2?
False
Let q = 5/13 - 227/455. Suppose -294 = 19*d - 25*d. Let l = -48 + d. Which is bigger: l or q?
l
Let l = -6/28037 - -16990524/476629. Is 36 at most as big as l?
False
Let n be 6/45*(-11 - 1)*(-2065)/280. Which is bigger: n or 8/7?
n
Let h = -464.7 - -411.7. Which is bigger: h or -2/41?
-2/41
Let y be -14*(20/(-14))/10. Let r be -1*(1 + y) + (-351)/135. Suppose -9 = -4*w - 37. Are w and r nonequal?
True
Let l = -163 - -244. Is 89 <= l?
False
Let l = -202 + 202. Let s = -2/1021 + 4214/66365. Which is smaller: l or s?
l
Let y = 1261 - 1260.83. Is 77 at most y?
False
Let u = -397 + 1185. Suppose -148*w = -152*w + u. Which is smaller: 198 or w?
w
Let p(b) = b**2 + b + 3. Let y be p(0). Let i = -640 + 631. Let a be (85/10 + i)*114/(-21). Is y bigger than a?
True
Let u(s) = s**2 + 8*s + 3. Let x be u(-2). Let b = 11 - -35. Let n = b - 48. Which is smaller: x or n?
x
Let c = -34 - -34.362. Let u = c + -0.335. Are 2 and u non-equal?
True
Let s = -6290.2256 + 6290. Which is greater: -2/7 or s?
s
Suppose -p + 3*s - 88 = -0*p, p = -4*s - 53. Let x = 123 + p. Let z be (x/39 - (-10)/30) + -3. Is z at least 1?
False
Let t = 1638345/9238 - 75/298. Let d(r) = 6*r**2 + 6*r - 3. Let x be d(-6). Let u = t - x. Is 1 at most as big as u?
False
Suppose 6*l = -768 + 2172. Let a be ((-104)/l)/(2*21). Do -3 and a have the same value?
False
Let r(u) = 8*u**2 - 1. Let l be r(1). Suppose b - 33 = 2*b - 10*b + 39. Is l bigger than b?
False
Let x = 175 + -169.2. Let s = -5.86 + x. Is 0.066 at least as big as s?
True
Let q = 320 + -85. Let f = q + -242. Is f greater than -10?
True
Let o = 115 - 114.254. Let y = 3.746 - o. Which is greater: 35 or y?
35
Let r = -0.5 - -0.2. Let l be (-532)/(-18) + 4172/(-2682). Are l and r unequal?
True
Suppose 5*r + 20 = -5*t, t + 4*t = 3*r + 20. Let b = 402 + -167. Let y be 1*4/(-6)*(-15)/b. Is t < y?
False
Let s(j) = j - 6. Let x be s(9). Suppose x*i + 51 = 2*b, -4*i = b - 12 + 3. Let w be -4 + 2 + -2 + 1 + 24. Is w != b?
False
Let k be (-549)/54 - (-4)/24. Let g = -66030/7397 - -2/569. Do g and k have the same value?
False
Let d be (-165476)/3*(-6)/28. Let q = d - 11842. Let j = -158/7 - q. Do j and -1.1 have the same value?
False
Suppose x - 38 + 0 = 0. Suppose f - 22 = -m, -5*m + f + 84 = -x. Let y be 0*(m/20)/(-6). Which is smaller: -4/63 or y?
-4/63
Suppose 10331 - 45083 = -24*c. Is 10140/7 less than c?
False
Suppose -87*h - 23*h + 342 = 4*h. Let j = -42 - -130. Which is greater: h or j?
j
Let p = -21247/9291 - -130/57. Let c = 196 - 197. Which is greater: c or p?
p
Let j be ((91168/(-132))/56)/((-38)/(-