t - 4*r - 0 - 20. Let y be t/(-5) + 1/(-5). Are y and p unequal?
True
Suppose -13*j + 10 = -2*j - 1. Do 2/74705 and j have the same value?
False
Let l = -356.705 + 355. Let c = l + -0.295. Is c smaller than 8?
True
Suppose 3*t - 17 = f + 5*t, 3*f - 4*t = -71. Let h = 180 + -178. Let u = h - 2.1. Which is greater: f or u?
u
Suppose -3*h - 9 = 2*r + 6, 2*h + 3 = r. Suppose -3*p + 5*w + 3 + 16 = 0, 5*p = -5*w + 45. Let f be ((-4)/p)/(r/36). Is 6 greater than or equal to f?
True
Suppose -5*h - 80 = -2*s - 2*s, 0 = -s + h + 20. Let o be 305/42*s/50. Let a = -55/63 - o. Which is smaller: a or -3?
a
Let l = -100 - -6.8. Let o = l - -92.96. Which is greater: o or -1.6?
o
Let t be 8/3*(-1656)/168. Let f = t + 26. Suppose -2*k = 2*k - 116. Which is bigger: f or k?
k
Let o = -213 + 215. Let j = 194 - 187. Which is greater: o or j?
j
Let k = 102238 + -6129419/60. Suppose -452 = 4*s - 4*y - 108, 4*y - 20 = 0. Let x = k + s. Is -1 equal to x?
False
Let t be (2/(-4))/((-19 + 8)/330). Let j be (-12)/t + 1398/1785. Suppose 2*i - 2 = -2*a - 0, -a + 2 = 0. Which is smaller: j or i?
i
Let q be -1*((2 - 19) + 1). Suppose -k - 17 = -q. Let l be 3*(k/3)/1*1. Which is smaller: l or 1/31?
l
Let y(v) = v**2 - 3*v - 3. Let s be (0 + 1)*(5 + -4). Let a(i) = 6*i - 2. Let g be a(s). Let c be y(g). Which is smaller: 6 or c?
c
Let l = -1 + 0. Suppose 21*c + 11*c = 192. Suppose -5*h - 35 = 5*z, -c*z = -z - 3*h + 67. Is z less than l?
True
Suppose 49*p = 14938 + 203. Which is greater: 302 or p?
p
Suppose -15 + 25 = -5*c. Is -93/32 bigger than c?
False
Let j = 969.0058 - 969. Let b = j + -7.0058. Is b != -21/5?
True
Suppose 2*s - 4*d = -18, -s + 4*s + 4*d = 13. Let g be (6*(-3)/(-24))/(s/(-40)). Let w = 33 - g. Which is bigger: 10 or w?
10
Let h be 11 - 3 - 2/(-2)*8. Which is greater: -0.0189 or h?
h
Let z(d) = -d**3 + 6*d + 10. Let t be z(-2). Let u be (-3)/(t/(-4))*1/(-2). Let i = -3837/8 - -479. Do i and u have different values?
True
Let t = -104 + 46. Let i = -73 - t. Let q(z) = 2*z - 5. Let f be q(-4). Which is greater: f or i?
f
Suppose -3*h + 41 = -k, -5*k + 2*h - 232 = -1. Let s be (-16)/(-52) - (-51114)/(-1092). Which is smaller: k or s?
k
Let o = 7608 - 7465. Is o greater than or equal to 145?
False
Let l be (-7)/(-35) - 2/10. Suppose 2*h - 31 = -3*x, -43 = -2*h + 2*x - x. Suppose -5*u - 4*y = h, 5 = 4*u - 3*y + 2*y. Is u > l?
False
Let s = -29 - -40. Suppose -521 = -s*j + 205. Let i = -66 + j. Is i < 2/75?
True
Let h = 3062 + -2467.1. Let s = -595 + h. Are 85/14 and s equal?
False
Let n = -355 + 354.9. Which is greater: n or -1/2193?
-1/2193
Let n(w) be the first derivative of w**4/4 + 7*w**3/3 - w**2/2 - 17*w + 34. Let u be n(-7). Let r = -11 - -1. Is u <= r?
True
Suppose 4*p = -p - 5. Let s = 3314941721/71 + -46688343. Let x = 977 - s. Which is greater: p or x?
x
Let g = -22 - -10. Let c = 5109 + -5128. Let r be (6/g)/(c/(-6) + -3). Is -0.19 != r?
True
Suppose 2*u = -u + 9. Let z be ((-4)/(-15))/(u/(-18)). Suppose 0 = -26*m - 1100 + 1048. Do m and z have the same value?
False
Let m be ((-1406)/(-185))/(1/(-5)). Let f(z) = -z**3 - 6*z**2 + 3*z + 2. Let c be f(-5). Let p = c - m. Is -3/16 at most p?
True
Let p = -231 + -497. Let f be (-488)/p + 10/(-35). Is f <= 0?
False
Let o be 9/3 + -2*1. Let z be (156/208)/(177*(-5)/(-12)). Is z >= o?
False
Suppose 754*p - 680*p = -74. Which is smaller: p or 3/73?
p
Let b be ((-30)/(-76) - 0)/((-476)/(-5474)). Which is smaller: 5 or b?
b
Suppose -5*z - 5 + 13 = 4*k, -5*k = -4*z + 31. Suppose z*b + 214 - 218 = 0. Let l = 5 + -8. Which is smaller: b or l?
l
Let z(s) = 380*s - 2677. Let y be z(7). Which is smaller: -117 or y?
-117
Let n = 11 + -7. Suppose -2523 = 13*f + 2521. Let i be (-2)/n + f/8. Is -49 less than i?
False
Let u = 551/876 + 11/292. Do -1232 and u have the same value?
False
Let j(z) = z**2 + 24*z + 27. Let h be j(-23). Suppose -6*q - 2*w - 454 = -2*q, q + h*w + 131 = 0. Is q smaller than -112?
False
Let t be 10/15 - 4174/(-246) - (-31)/(-31). Which is bigger: t or 16?
t
Let p = -1295382/17 + 76199. Let w = -1 - -2. Let z be 1 + (-1)/1 - w. Which is greater: z or p?
p
Let m = -20.41 - -32.41. Which is smaller: -1/11 or m?
-1/11
Let a be (15/3 - 4) + (-8)/1. Let x = 26 - 21. Suppose x*t = g + 9 - 0, -4*g + t - 17 = 0. Is a at least g?
False
Suppose 2*q - 19 + 5 = 0. Let o be 20*(63/6)/q. Let g be 5/(o/(-88))*3. Is -44 at most as big as g?
True
Suppose 2*r + 2225 = 2235. Suppose -v - 2*a + 0*a - 126 = 0, r*a = -3*v - 376. Suppose -88 = h + 34. Is v greater than h?
False
Let l = 282 + -221. Suppose -68*v + 357 = -l*v. Is 52 < v?
False
Let h be 9/(252/(-8)) + (-117)/7. Let a = -11 - h. Suppose 5*i = 0, u + 5*i + 50 = a*u. Which is smaller: u or 0.2?
0.2
Let v = 8241 - 8241. Let k = -2.24 + -10.06. Which is bigger: k or v?
v
Let a = -1378.2 - -1368.2. Is a at least 14?
False
Suppose 24*k - 2 = 22*k. Let c be k - 229994/(-328) - 54/(-72). Let d = c + -703. Is d at most 0?
True
Let x(v) = -2*v**2 + 5*v - 11. Let c(r) = -5*r**2 + 14*r - 33. Let w(f) = 3*c(f) - 8*x(f). Let l be w(-5). Which is smaller: 11/3 or l?
11/3
Let n be 0/((5 + -21)/(-8)). Suppose -1660*w + 1662*w + 686 = n. Which is smaller: w or -342?
w
Let j = 2181701679/8227 + -265188. Is j at least as big as 0?
True
Let x = 37188 - 260241/7. Let v(r) = r**2 - 2*r. Let j be v(2). Suppose y - 2*y = j. Are y and x nonequal?
True
Suppose -7*n + 420 = 8*n. Let r = n - 38. Is r greater than or equal to -7?
False
Let i be 63*((-165)/(-18))/(-5). Let q = -589 - -473. Let h = q - i. Is h > -3/11?
False
Let i be 2100/70 - ((-2 - -3) + -1). Let l be (-1 + -3)/(2*-5). Which is bigger: l or i?
i
Let v be -865*((-115)/(-25) - (-17 + 22)). Which is smaller: 344 or v?
344
Let h = 42604948/2079 + -20493. Let o = h - -1831/515592. Which is smaller: o or -1?
-1
Let m = 8159/10 - 197171/240. Is m greater than -7?
True
Let t(s) = 35*s. Let y be t(0). Let b be (2 + 0)/((-2)/4). Let q = y + b. Which is bigger: -34/7 or q?
q
Let v = -1042 + 2384. Do v and -2 have the same value?
False
Let m be ((-4)/(-55))/((-12)/10). Let s(a) = 4*a**2. Let j be s(2). Suppose -4*i = j - 20. Which is smaller: i or m?
m
Let i = -0.226 - 0.044. Is 8/5 > i?
True
Let g(w) = 187*w + 1. Let a be g(-1). Let d be a/(-114) + 1 - 3. Is d <= -1?
False
Let d = 234 - 233.1. Which is bigger: -23 or d?
d
Let o be 7830/(-406) + 4/14. Let l be (-2)/4*104/17121. Let v = -106661/5268 + l. Is o less than v?
False
Let r be (-15)/(-7) - (-7)/((-245)/5). Suppose 6*h = 4*z + r*h - 36, 0 = z + 2*h - 3. Which is smaller: 3 or z?
3
Let f be -8*4/8 + 6. Suppose 0 = 2*b + 3*p + 39, -b = 2*b - f*p + 65. Let l be 7/b + (-14)/(-15). Which is smaller: 2 or l?
l
Let h(d) = 1973*d - 1487. Let p be h(3). Is p at least 4431?
True
Let u = 17768 - 17706. Does 813/13 = u?
False
Let c = 7836/33611 + -2/551. Is -1 < c?
True
Let s = 55 - -54. Let w = s - 107. Is -7/2 smaller than w?
True
Suppose 0 = c + 3*c - 3*w - 134, w = -c + 30. Let z be 0*(28/(-8))/(-7). Suppose z = -5*y + y. Which is smaller: c or y?
y
Let m = 22007 - 8636. Is m bigger than -1/4?
True
Let c(q) = q**3 + 30*q**2 - 32*q - 32. Let n be c(-31). Let i be 12/85*20/(-8). Which is smaller: n or i?
n
Suppose 2*w = -4, -c - 1 = -2*w - 5. Suppose 16*x = 17*x - 2. Suppose -4*t + 28 = -2*a + a, 20 = x*t + a. Which is bigger: c or t?
t
Suppose 22*x + 174 = 28*x. Let g = 17 - x. Which is bigger: g or -4?
-4
Suppose 9*l = -9*l + 2052. Suppose 5*m = -2*b + 102, l = -4*m + 9*m - b. Which is smaller: m or 20?
20
Suppose -9*j + 29 = -7. Suppose 2*r + 4*f = 7*r - 30, f = -j*r + 24. Is r bigger than -7?
True
Suppose 2*p = 117 - 15. Let g = p + -49. Suppose 3*s + 4*x - 28 = -s, g*s = 3*x + 39. Which is bigger: 0.1 or s?
s
Let g be (1090/872)/((-5)/(-4)). Is -1/4931 less than g?
True
Let q = 0 - 7. Let j be (-25)/(-10)*q/(-10). Let x = -6794.8 + 6795. Do j and x have the same value?
False
Let a(b) = 6*b**2 - 1. Let o be a(1). Suppose -23 = o*l + 17. Suppose 801 = -79*q - 68. Which is greater: q or l?
l
Let r be (-403138)/(-476) - (-1)/14. Let j be 1/3 + r/(-210). Which is smaller: j or -3?
j
Let l be (-7)/((-105)/20)*-201. Suppose 0 = 2*x + x + 801. Is x smaller than l?
False
Suppose -2*w - 517 = -49*w. Suppose -5*v - z = 25, 0*z + z - 11 = v. Which is bigger: v or w?
w
Suppose -65*k + 60*k = 5