 t be (-7 - 57449/(-8715)) + 2/5. Let j be ((-4)/(-747))/(2/(-86)). Let w = t - j. Is w smaller than 1?
True
Let r = 4/1145 - 54131/90455. Let s = -2105/711 + r. Is s > -5?
True
Let f(g) = -g**2 - 6*g - 5. Let b be f(-11). Let u(c) = -14*c**2 + 4*c - 6. Let p be u(2). Let w = p - b. Is w >= 11?
False
Let w = -171 + 408. Let d = 244 - w. Is d != 17/3?
True
Suppose 3*w + 12 = 4*v, -8 - 4 = 4*v + 3*w. Let g be ((-4)/95)/(973/29190). Which is bigger: v or g?
v
Let t = -1990733/535 + 3721. Let y = -22 + 22. Is y bigger than t?
False
Let k = -142297/38 - -3744. Is k less than or equal to -1?
False
Let u = -126 + 132. Let y be 30/20*u/(-9). Is y not equal to 4/41?
True
Let t = -1.63 + 1.7. Let f(k) = 10*k - 50. Let r be f(5). Suppose r = g - 6 + 4. Which is bigger: t or g?
g
Let p = 88/747 - 29417/253233. Is p at least 1?
False
Suppose m - 10 + 12 = 0. Let k be ((-41)/246)/(1/1023*m). Which is smaller: k or 84?
84
Let z = -665 + 750. Which is greater: z or 92?
92
Let u(i) = 235*i**2 + 1124*i + 15. Let l be u(-5). Which is smaller: l or 269?
269
Let f be ((-167)/(-4))/((-555)/444). Are 1/14 and f unequal?
True
Suppose 0 = -5*j - 2*m + 4, 6 = j + 65*m - 62*m. Is 1/56151 greater than j?
True
Suppose -30*b - 1436 - 2254 = 0. Which is smaller: 14 or b?
b
Let l = 4891 - 4770. Which is bigger: 1100/9 or l?
1100/9
Let q = 20743/6 + -3460. Is q bigger than 8/9?
False
Suppose 2*d + 715 = -1333. Let r = d - -254977/249. Which is greater: r or 1?
1
Let c = 87 - 0. Let g = c + -48. Let r = -38.96 + g. Which is bigger: r or 0?
r
Suppose z = -8 + 7. Let n(i) = i**3 + 3*i**2 - 6*i + 15. Let s be n(-5). Let q be z/s - (1/(-5))/(-1). Are 2/85 and q non-equal?
True
Let u be 4/(-6)*3 - (-7434810)/(-2505). Let t = u + 2970. Is t at least 2/5?
False
Suppose 0 = 9*q - 14*q + 970. Let u = q - 132. Is 1 at least as big as u?
False
Let d = -34.203 - -33.903. Which is smaller: d or 0.03464?
d
Let b be -4 - (-1194)/(-102)*54. Let g = -636 - b. Is g at most -2?
False
Let h = 55.6 + -55.13. Let q = h + -0.67. Which is greater: -6 or q?
q
Let n(c) = -509*c - 3367. Let b be n(-7). Is b greater than or equal to 1171/6?
True
Suppose -122*z = -119*z - 15. Suppose -35 = 4*g - 7*g - 2*l, -z*l + 35 = 4*g. Which is smaller: 19 or g?
g
Let z = -19 - -4. Let a = z + 15. Let y = -119 + 118. Is y != a?
True
Let f be (364/(-21))/(8/420*7*5). Let q = 32 - 62. Which is smaller: f or q?
q
Let r = -75.569 + 76.569. Let g = 44 - 18. Let o be 1/(-3) - g/(-60). Is r smaller than o?
False
Let s(j) = j**2 - 57. Let r be s(-8). Suppose r*x + 14 = -7*x. Is x less than -0.177?
True
Let k(c) = c**2 + 3*c + 2. Let d be k(0). Suppose -u = -d*h + 1 - 3, 0 = 5*h - u + 2. Let q be h + -3 + 260/84. Which is smaller: q or 0?
0
Let m be (-1)/(-2) + 1116/72. Let s be m/(-40) - 174/(-35). Do s and 5 have different values?
True
Let a be (2/3)/(13/(-39)). Let p = 73 - -278. Suppose -349*v = -p*v - 6. Is a bigger than v?
True
Let o(y) be the third derivative of -y**4/24 - 29*y**3/6 + 2*y**2 + 5*y. Let q be o(0). Which is bigger: -28 or q?
-28
Let n = -823 - -233. Let h = 589.9 + n. Which is smaller: 20 or h?
h
Let r = 778673/2235 + -1742/5. Which is smaller: r or 0?
r
Let x = 189 - -206. Let n = 6711/17 - x. Which is smaller: -0.5 or n?
-0.5
Suppose -x + 105 = 4*w, -31 = -4*w - 2*x + 79. Let d = w - 19. Let p be (-86)/(-5)*3/d + 2. Which is smaller: 10 or p?
10
Let q = 1003 + -1003. Let c be (4/(-3))/((-6)/9). Suppose q = c*o + 3*k + 4, -5*o + 16 - 5 = -3*k. Which is bigger: o or -1/45?
o
Let c = -64 + -576. Let h be (9/228)/(8/c). Is h <= -2?
True
Suppose z = -4*z + 5. Suppose -2*j + 3*v - 1 = z, -5 = 5*j - v. Let y = 20351 + -20353. Is j at least y?
True
Let w = 34 + 5. Let p be (14 + (-287)/21)/(1/111). Which is greater: w or p?
w
Let s(v) = 5*v**3 - 52*v**2 + 13*v + 49. Let f be s(9). Does -400 = f?
False
Let c = 178344.193 + -178422. Let m = -0.193 + c. Let d = m + 77.88. Which is greater: d or -2/5?
d
Suppose 21 = -x + 5*n, -4*x - 3*n - n - 204 = 0. Let d(o) be the first derivative of 45*o**4/4 - o**3 - o**2/2 - 27. Let j be d(-1). Which is greater: j or x?
x
Suppose -5*d + 3*s = -26, -17 = -5*d + 4*s + 11. Let k be 8/(-48) - (1 - d)/18. Which is bigger: 4 or k?
4
Let b = -11252 - -4649. Is -6603 at most b?
True
Suppose 2*h - 12 = h. Let b(n) = n**3 - 12*n**2 + 5. Let p be b(h). Suppose 2*l - 6 = 2*w, 4 + 1 = p*w + 5*l. Which is smaller: w or -3/2?
-3/2
Let q = -9 - -113. Let s = q + -104.04. Let m(b) = b**3 - b**2 - b - 1. Let h be m(0). Are h and s equal?
False
Suppose 0 = w - 7*w. Let h(q) = q**3 - q**2 - 2*q + 24. Let v be h(w). Let d be 55/(-60) - (-1)/4. Is d at most v?
True
Let u(f) = 8*f**2 - 15*f. Let d be u(2). Suppose d*h = 12*h - 20. Is h at most 46?
True
Suppose 222 - 24 = -11*g. Which is greater: 28 or g?
28
Let g(w) = w**3 - 5*w**2 + 7*w - 31. Let v be g(5). Let c = 3 - 1. Suppose -3*d - c*d = v*d. Which is greater: d or -10/29?
d
Let d = -19 + 8. Let z(o) = -10*o. Let c be z(-1). Let k = c + d. Which is bigger: -1/89 or k?
-1/89
Let a be 7/(-21) + (-1870)/78. Let z = -1637/39 - a. Let v be 1344/(-70) + 0 + 4/20. Is v <= z?
True
Let r(t) be the first derivative of 7 - 1/3*t**3 - 3/2*t**2 + 21*t. Let p be r(-6). Which is smaller: 11/5 or p?
11/5
Suppose 8*c - 10*c + 5*f = 21, -2*c - 18 = -4*f. Which is smaller: -34/11 or c?
-34/11
Suppose 225 = 93*w - 76*w + 208*w. Which is greater: w or -1/2838?
w
Suppose m = 4*m + 6. Let n = -19 - 474. Let o = n + 515. Are m and o equal?
False
Suppose -37 + 37 = -99*v. Which is smaller: -8/783 or v?
-8/783
Let d = -0.03744 + -0.06256. Which is bigger: d or 11/7?
11/7
Let v = -867 + 867.0563. Let y = 109.9437 + v. Which is smaller: y or -0.1?
-0.1
Let y(q) = -1056*q - 320. Let n(v) = -96*v - 29. Let o(x) = -56*n(x) + 5*y(x). Let t be o(-3). Let m be (-6)/(-10) - t/(-40). Is -1 <= m?
False
Suppose -3*u + 6*u - 18 = 0. Let f be u/(-4)*(-57 - -11). Is 135/2 less than f?
True
Let l = -224 - -225. Let s be (-2846)/(-474) + -7 + l. Is s less than or equal to -1?
False
Let u = -7 + 6.994. Let b be (1384/(-2422))/(2 - (-24)/(-14)). Which is smaller: u or b?
b
Let h(p) = 4*p**2 - 118 + 2*p**2 - p**3 + p + 124. Let y be h(6). Suppose -5*m + 8*d - y = 11*d, -4*d = -2*m + 16. Is m greater than -2/245?
True
Suppose 1829*m = 1795*m + 68510. Is 2014 greater than m?
False
Suppose -236*t = 515*t - 31*t - 90000. Are -23 and t nonequal?
True
Let g = 433 + -359. Which is smaller: -0.61 or g?
-0.61
Let r(u) = u**3 + 188*u**2 - 202*u - 2369. Let c be r(-189). Which is smaller: c or -1.6?
-1.6
Let x = 1436 - 2033. Let v = x - -594. Let u = -7 - -10. Is u less than or equal to v?
False
Suppose -4*w = -5*z - 125, -60 = -2*w + 2*z + 4. Suppose 5*p = 2*v + w, p - 40 = v + 3*p. Let x be (17/51)/(1/v). Is x greater than -10?
False
Suppose -162*f - 6963 = -173*f. Suppose 0 = 637*d - f*d + 112. Let t = -71 + 40. Which is smaller: d or t?
t
Let v = -6223 + 6218. Which is greater: v or -104?
v
Let z = 3879 - 38891/10. Let y be 325/(-30) - 1/(-3). Let p = z - y. Which is bigger: p or 20?
20
Let f be (38 - (-1 + 2))*-1. Let q = -80119 - -80085. Do q and f have the same value?
False
Let o(g) = -52*g - 561. Let l be o(-13). Which is bigger: l or 0.05?
l
Let x(s) = 150*s**3 + 6*s**2 + 23*s + 32. Let z be x(-2). Is z less than or equal to -1190?
True
Suppose 33*o - 73 - 75 = -148. Is o at least 1/9154?
False
Let d = 1.256 + 8.924. Let x = d - 2.18. Which is bigger: x or 9?
9
Suppose j - 4*i = -927, 1622 = -4*j + 4*i - 2122. Which is greater: -937 or j?
-937
Let n(h) = -5*h**3 + 455*h**2 - 286*h + 177. Let k be n(90). Which is greater: -2 or k?
k
Let a be (1 + 104)*27/(-45). Is a at least -952/15?
True
Let h be (32 + (-4)/2)*-3. Let u = 15/386 - 17088/193. Which is bigger: u or h?
u
Let a be -16 - (30294/72)/(-9). Are 31 and a nonequal?
True
Let u be (-3)/((-3)/(-535))*(11 + (-195)/13). Is 2144 < u?
False
Suppose m = -w, 10*w - 6*w + 6 = -2*m. Suppose -4*s + m*u + 4 = 0, 9*s = 5*s - 3*u + 4. Let o = 2960 - 8954/3. Is s != o?
True
Let p = -3933 + 3944. Is p <= 92/7?
True
Suppose 0 = -2*p - p + 3*l + 12828, -5*p + 21350 = 5*l. Let n = p + -2698. Let r = n + -20489/13. Is 0 < r?
False
Let f = 973 + -1000. Which is smaller: f or 35?
f
Let s(n) = n**3 - 2*n**2 + 35. Let r be s(0). Suppose -u + 6*u = -r. 