 be t(1). Suppose 0 = 4*w - h + 53, -2*w + b*h + 2*h = 28. Is w smaller than -20?
False
Suppose -92*v = -5313 - 391. Suppose 0 = -0*p + 3*p - 186. Are v and p equal?
True
Let n be (-2)/4*(-14 - (-22968)/1629). Is -1 >= n?
False
Let w(o) = 5 + 5*o + 0 + o**3 - 1 + 74*o**2 - 80*o**2. Let a(g) = -g**2 - g + 5. Let y be a(0). Let r be w(y). Which is smaller: 5 or r?
r
Let j be 124/44 - 8/(-44). Let y be (-39)/104 + j/8. Which is smaller: -5/4 or y?
-5/4
Let m be 3/(1917/2388) + 1. Let g = -17684/71 - -249. Let q = m + g. Which is bigger: 5 or q?
5
Suppose -22 = 3*y + 5*u, y + 2*u = -7 - 2. Suppose 2*k = y + 13. Let g be (1 + (-3)/k)*3. Which is bigger: 3 or g?
3
Let l(n) = -6*n + 172. Let r be l(26). Suppose -4*j = -j - 48. Are r and j equal?
True
Let b be 18/12*(-2)/(-3). Suppose -5*a = -2*t - 11, -8*t + a - b = -7*t. Which is smaller: 1 or t?
1
Let h = 474.9 - 467. Is 0.1 smaller than h?
True
Suppose -2*g = k - 13, -5*g + 3*g + 16 = 2*k. Suppose -k*h = -8*h + 30. Let b be 0 + ((-16)/h)/(-4). Which is smaller: b or 1?
b
Suppose 3*r - 2*r = 0. Let a = 7151 + -321797/45. Which is smaller: r or a?
a
Let u = 107819/83 - 1299. Which is smaller: 1 or u?
u
Let a be (-12)/(-3) + 1469/65. Do 26 and a have the same value?
False
Let a = -501 - -1504/3. Which is greater: 113.3 or a?
113.3
Let b be (-2)/(2/3)*(-50)/30. Suppose 4*x + 0*x = -r + 28, 34 = 5*x + r. Is x < b?
False
Let v(g) = -7*g + 279. Let j be v(38). Which is smaller: j or 14?
j
Let w be 36/(-210)*-7 + -2 + 4. Which is smaller: 1/3 or w?
1/3
Let c = -8619/46 - -375/2. Let z be 8/24*(-2 + 5). Is z < c?
False
Let f = -6/641 + -12646/18589. Is f < -1?
False
Let d = -46 - -23. Let h = 777 + -777. Which is smaller: d or h?
d
Let t(p) = -2*p**2 + p. Let g(r) = 9*r**2 - 10*r - 26. Let m(n) = -g(n) - 4*t(n). Let h be m(10). Let o = -45/2 - -22. Is o <= h?
False
Let f(b) be the first derivative of b**3/3 + 7*b**2/2 + 7*b + 7. Let j(g) be the first derivative of f(g). Let q be j(-4). Is -1/11 at most q?
False
Let n(q) = 5*q**2 + q. Let c be n(1). Let v(b) = -b**2 + 7*b - 2. Let t be v(c). Let r be (t/16)/(14/(-12)). Are r and 1 nonequal?
True
Let h = 25499/68 - 4918217/12852. Let v = h + 54/7. Is -1 at most v?
True
Suppose -39*s + 35*s + 3*g = 1, 5*s = 2*g - 3. Which is bigger: -35 or s?
s
Let w = -142 - -30. Let o be 1*(-2)/w*40/50. Is o at most as big as 0?
False
Let o = -9 + -22. Let v be 1/(-1) - -1 - (o - -30). Is 1 bigger than v?
False
Let p = -1.84 - 28.16. Does -0.01 = p?
False
Let p(h) = 12*h + 29. Let c be p(-10). Let o be (-4)/14 + 65/c. Let v(w) = w**2 - 2*w. Let f be v(2). Is f not equal to o?
True
Let g be (-189)/(-243) + (-8)/(-36). Suppose 4*f + 0*f + 16 = 0. Let l be f/6 + (-132)/(-63). Which is smaller: g or l?
g
Let d(r) = -8*r - 186. Let y be d(-21). Are 4/7 and y nonequal?
True
Let v = -5 + 5. Let c = -1049 + 11525/11. Is v >= c?
True
Suppose -15*p - 75 = -240. Is 54 less than or equal to p?
False
Let v = -11 + 16. Suppose -3*t + 0 - 4 = v*d, t + d = -4. Let b(l) = -2*l**2 + 4*l - 1. Let h be b(3). Is t equal to h?
False
Let a = 8978/5 + -1788. Is a less than or equal to 7?
False
Let q = 0.209 + -1.209. Are q and 43 non-equal?
True
Let l = -926 - -924. Which is bigger: l or 43?
43
Let c = 0.0251 + -0.0251. Which is greater: c or 19?
19
Let c = 0.2 + -1.2. Let n = -0.178 + -0.45. Let v = -0.072 + n. Which is bigger: v or c?
v
Let a = 115771/10 - 11587. Which is smaller: -10 or a?
-10
Let w = -555 - -1109/2. Let s = 0.3 + -0.3. Is s at least w?
True
Let s be 1 - (2 + 0)*1/34. Is s less than 0?
False
Suppose 4*h - 10*h = 18. Suppose 3988 = 4*p - 0*p. Let j = 6963/7 - p. Is h < j?
True
Suppose -2*z - j + 0*j = 0, -4*z + 4*j - 12 = 0. Let n = 10 + -17. Let i = 13 + n. Which is greater: z or i?
i
Let b be -1 + 632/1575 - (-78)/130. Let r = -122872/17325 + b. Which is bigger: -7 or r?
-7
Let a = -945 - -949.5. Let r = 0.9 + -3.4. Let m = r + a. Which is smaller: 0.7 or m?
0.7
Let y be (-51)/(-15) + -1*6/15. Let g(k) = -2*k + 13. Let s be g(y). Which is bigger: s or 5?
s
Let d(h) = 43*h + 104. Let t be d(-6). Which is smaller: -153 or t?
t
Let f be 55/(-575) - (-2 - 84/(-40)). Is f equal to -1?
False
Let r be ((-1)/(-1))/((-26)/(-156)). Is 20/3 less than or equal to r?
False
Let h(p) = 2*p**2 - 18*p + 18. Let w be h(8). Suppose -4*k - 11 = m - w*k, -4*k - 1 = -5*m. Which is bigger: -2 or m?
-2
Let q(t) = -t - 1. Let d be q(-7). Let g be (d/(-246))/(1 + -2). Let b = -47/246 + g. Does 1 = b?
False
Suppose -b = -0*b. Let h = 265926136 + -530522625083/1995. Let l = 155/19 - h. Which is smaller: b or l?
b
Let w(x) = 20*x**2 + 2*x + 1. Let b be w(-1). Let k = 22 - b. Suppose 7*o = k*o. Is 7/5 <= o?
False
Suppose 0 = 70*t - 67*t + 69. Let n = t - -68/3. Is 27 greater than n?
True
Suppose -2*v + 13 + 15 = 4*b, 6 = 4*v - 2*b. Which is greater: 33/8 or v?
33/8
Let l be ((-2)/(-8))/((-81)/36). Let v = 664 + -665. Which is bigger: l or v?
l
Suppose -3 = -5*s + 8*s. Which is smaller: 4/107 or s?
s
Let a(x) = -30*x - 183. Let o be a(-4). Are o and -56 equal?
False
Let l(n) = 6*n + 4. Let d(h) = -6*h - 3. Let f(a) = 4*d(a) + 5*l(a). Let j be f(4). Which is bigger: 31 or j?
j
Let q = -27/70 + 11/14. Is q equal to -1?
False
Suppose v = -4*s - 29 - 141, 3*v = -4*s - 550. Does -186 = v?
False
Let g be 17/(4/(-6 - -10)). Does g = 14?
False
Suppose 13*o = -45*o - 174. Are 0.125 and o nonequal?
True
Suppose -7*c - 49 - 350 = 0. Let m = c - -54. Do 2/11 and m have different values?
True
Suppose -u - 6 = u. Let x = 127556910097/3507 - 36372087. Let k = x - -2/501. Is k not equal to u?
True
Let k(t) = t**3 + 8*t**2 + 23*t + 72. Let a be k(-5). Are -18 and a equal?
False
Let h = 37 - -18. Let j be -3*((-150)/(-99) - 10/h). Is -18/5 less than or equal to j?
False
Let i = -24 + 37. Suppose -4*q - i + 21 = 0. Which is smaller: q or 7?
q
Let j(k) = -k + 1. Let l be j(6). Suppose -5*z = -2*z + 21. Let d = z - l. Which is smaller: -5/3 or d?
d
Let d = 23 + 15. Let r = -36 + d. Which is bigger: r or -25?
r
Let d = -95 - -101. Suppose 3*j = -3*j + d. Are j and 12/7 non-equal?
True
Let x(z) be the second derivative of z**4/6 + 7*z**3/3 + 4*z**2 - z - 21. Let n be x(-7). Let q = -2 + 3. Which is bigger: q or n?
n
Let y(t) = -t**2 + 13*t - 22. Let h be y(11). Let z be (h - 24/9) + 3. Let q be -1*(0 - 1 - -1). Which is smaller: q or z?
q
Let u(d) be the second derivative of d**5/10 - d**4/4 + 5*d**3/6 - 3*d**2/2 - 19*d. Let y be u(1). Do 0 and y have the same value?
False
Let j(t) = t**2 + 4*t. Let s be (-1)/(-4) - 34/8. Let i be j(s). Is i smaller than -3/14?
False
Let j = -141.11 - 1.89. Which is smaller: 2 or j?
j
Let u = 2377 + -6979/3. Does u = 1/2?
False
Let m = -4075.38 + 3993. Let w = 82 + m. Is w equal to 1/2?
False
Let q = -2.85 + 0.05. Let z = q + -3.2. Which is smaller: z or -1?
z
Let g = -6/7 + 1. Let y = -13 + 12. Let v be (y/2)/(5/(-10)). Is g equal to v?
False
Suppose 2*t = 3*h, 3*h - 11*t = -16*t. Which is bigger: 164 or h?
164
Suppose 5*f + o = 60, f - 5 = -3*o + 7. Let z = f + -46. Is -33 bigger than z?
True
Let u = -517/5 + 103. Suppose 2*a = 4*a - 4. Let q = a - 2. Is q less than or equal to u?
False
Let s = 5882/39771 + -12/491. Which is greater: s or 1?
1
Let p be 2/10*-2 - 219/365. Let x = 223 + -6915/31. Which is greater: p or x?
x
Let d(p) = 28*p + 703. Let y be d(-25). Which is smaller: y or 21/5?
y
Let l = 3.8 - 2.4. Let m = -17.4 + l. Let i = m - -6. Do i and -1 have different values?
True
Let w(i) = i**3 - 2*i. Let j be 2 + (-1 - -2) + -1. Let h be w(j). Let o(l) = -2*l + 2. Let c be o(-2). Is c smaller than h?
False
Let k be (-3 - (-84)/20)*(2 + 3). Suppose -104 = -k*o + 2*o. Does o = 26?
True
Let a = 504.3 + -505.3. Suppose -117 = 5*l - 12. Which is bigger: a or l?
a
Suppose 6*u - 5*u = 33. Let w = u + -33. Is w greater than or equal to -2/81?
True
Suppose -12 = j + 11*j. Which is greater: 27/70 or j?
27/70
Let s = -148 + 146. Which is greater: -13/17 or s?
-13/17
Let d = 1461 - 40903/28. Is 1 >= d?
True
Suppose -a + 3 = 2*c, 8 = 2*a + 4*c - 2*c. Suppose 5*u = 2*b + 3 + 10, -a*b - 24 = -4*u. Is b > -0.07?
False
Let a = 18334329/1292 - 56763/4. Is 1 smaller than a?
False
Let w be 1 + (0 - 9/(-1)). Let z = 11 - w. Let l be (-2 + 2)/(-1 + -1). Which is greater: z or l?
z
Suppose 5*t + 44 = -m, 2