s r greater than 13?
False
Let a(u) = -19*u + 54. Let k be a(-5). Let o = 134 - k. Is o < -13?
True
Let g = 67.082 + 585.726. Let k = -653 + g. Which is smaller: k or -1?
-1
Let m be 3/15 - (4/920)/((-9)/(-594)). Is 52/55 >= m?
True
Let o be (20 + -2)/(-54)*(3 + 0). Which is bigger: o or -119/86?
o
Let y = 25956 + -11074. Let s be (-48)/16 + y/4836. Let u = 1/78 - s. Which is greater: u or 1?
1
Suppose 0 = 2*q - 15 - 21. Suppose -b - 2*x = -7, 1 = b + 5*x - q. Is 4/21 < b?
False
Suppose -5*q + 10 = 5*l, 0*l + 2*l + 6 = 0. Suppose q*d - 10 = 0, 0 = -4*s - 3*d + 20 - 18. Is 15/43 < s?
False
Let c = -801585202/6587 + 121692. Are 1 and c nonequal?
True
Let q = 256 + -30. Let o = q - 234. Which is bigger: o or -52/7?
-52/7
Let d be (-1)/(-2)*(3 - 5). Suppose -4*s + l = -0*l - 386, -290 = -3*s + l. Let z be (166/s - 2) + (-2)/(-8). Which is greater: d or z?
z
Suppose 9*x - 4 = 13*x. Let v be x/(420/6453) - (0 + 2). Let f = 69/4 + v. Is -1 smaller than f?
True
Let j be (-26)/(-14) + 2/14. Suppose -x - 2 = 4*k, -4 = k + 2*k + j*x. Suppose k = -w - 2*w + 3. Is -2.2 <= w?
True
Let y = -2/3833273 + -123347058584/19166365. Let k = y + 293482/45. Let o = -2807/36 + k. Which is smaller: 7 or o?
7
Let d(y) = -y + 1. Suppose -14*c + 4*c + 90 = 0. Let f be d(c). Let t be f*(-2)/4 - 4. Is t less than or equal to -12/17?
False
Let w = 2288/3 - 36496/51. Which is greater: 47 or w?
w
Let v be 7318125/(-4275) + (-6)/38. Which is greater: v or -1711?
-1711
Let t be 16/280900*7010 + 6/(-15). Do 0 and t have different values?
True
Suppose -3*b = -4*r + b - 48, 2*b = -r - 24. Which is bigger: -15 or r?
-15
Let a(d) = 2*d**3 - 2*d**2 - 4*d + 1. Let h be a(3). Let y = -51 + 26. Let i = y + h. Is -6/11 bigger than i?
False
Suppose z - 4*c = -855 + 8333, 37270 = 5*z + 4*c. Is z != 7458?
False
Suppose 5*c = 4*z + 18892, 68*c - 5*z - 18895 = 63*c. Which is smaller: c or 11326/3?
11326/3
Let y = -153 - -76. Let q = 6081/79 + y. Suppose 236*n + 7 = -5*g + 240*n, 3*g + 5*n - 18 = 0. Which is smaller: q or g?
q
Let r = -3.171 + 3.271. Are -49/5 and r equal?
False
Suppose -3*r = -5*x + 95, -3*r - 378 + 321 = -3*x. Suppose 2*i - 9 = 4*v + 9, -5*i = -4*v - 27. Let b be 0 + 12*v/(-2). Which is smaller: x or b?
b
Let k be 9178/(-3770) + 6/(-10) + -2. Which is smaller: -6 or k?
-6
Let h = 29 - 30.02. Let a = 8613 + -8613. Which is smaller: a or h?
h
Let v be 1145 + (-6)/4*4. Suppose -11*o + v = -346. Which is bigger: o or 136?
136
Let j = -685 - -613. Let n be (474/j)/((-45)/120). Is 18 equal to n?
False
Let o = 8739 - 8101. Are o and 639 unequal?
True
Suppose 9*o = 2*o + 7. Let m be (-1 + -11)/3*(2 + -1). Let w(s) = -2*s - 5. Let r be w(m). Is r at least as big as o?
True
Let s(p) = -1995*p - 406. Let m be s(-2). Which is bigger: m or 3586?
3586
Let q(i) = i**2 + 3*i - 7. Let l be q(-5). Suppose 2*h = -l*d - 309 + 70, -d + 5*h = 74. Let x be d/(-115) - 6/10. Which is smaller: 0 or x?
0
Suppose 5*f - a = 540, -6*f + 7*f = 15*a + 34. Suppose 3*y + c = 332, 0*c - 570 = -5*y - 5*c. Is f smaller than y?
False
Suppose -2*v + u + 2 - 3 = 0, 5*v = -2*u + 11. Let d be 2943/(-36) - (0 + v/1). Let i = -86 - d. Is i at least -4?
True
Suppose 34*a + 37700 = 8*a. Suppose -4*j - d - 8 = 2*d, j + d + 2 = 0. Let f be (-490)/a - j/(-10). Which is smaller: f or -1?
-1
Suppose -g - 43 = -5*m, 2*g + 215 = -3*g + 4*m. Let z(y) = 4*y**3 + 75*y**2 - 21*y - 78. Let k be z(-19). Is k at most g?
False
Let h be 1*(-52)/(-12)*3. Let u = 14 - h. Let y = 37.4 - 39.4. Which is bigger: u or y?
u
Suppose 7*u - u + 2517 + 40959 = 0. Which is smaller: -7247 or u?
-7247
Let l be ((-8)/6)/(23 + -1). Let h be 1/((-1)/(-4)) - -5. Let x = 8 - h. Which is bigger: x or l?
l
Let m(z) = 3*z - 8. Suppose -p - j - 1 = 0, -11*p = -12*p + 3*j + 11. Let b be m(p). Which is bigger: b or 0?
0
Let h(o) = -6*o**3 + 3*o**2 - 5*o. Let z be h(2). Let p = z + 48. Suppose 5*s + 0 + 5 = -p*k, -5*s - k = 5. Is s greater than -1/34?
False
Suppose 252*q + 2000 + 1054 - 282 = 0. Which is smaller: q or -345/29?
-345/29
Let y be 428511*((2 - 3) + -40). Let c = y + 46856393093/2667. Let q = -2/381 + c. Which is bigger: 0.1 or q?
q
Let p = -568 - -567.893. Let f = -0.207 - p. Is 345 at least f?
True
Let k be -5 - -4 - (-1 + -3 + -219). Let o = k + -1994/9. Is o < 0?
False
Let s = -0.2401 - 75.7599. Is -1 <= s?
False
Let h = -2200547/395 - -5571. Let z = 31 + -32. Is z at least h?
False
Let t(d) be the third derivative of -d**4/24 - d**3/6 - 14*d**2. Let j be t(1). Let u(r) = -2*r**2 - 8*r - 15. Let h be u(j). Is h equal to -10?
False
Let c be ((-22)/4)/11*-10. Suppose -c*q + q = -2*i + 268, 4*i = -q + 500. Which is bigger: 2/7 or i?
i
Let h be ((-45)/30)/((-20)/(-130) - 193/(-520)). Which is smaller: h or 0?
h
Let z(k) = 4*k**2 + 92*k - 365. Let j be z(4). Is j less than 66?
False
Let x be (3/6)/(2/(-484)). Let a = -25578 - -25460. Is a >= x?
True
Let x = 1248 - 842. Let z = 403 - x. Is z equal to 0.038?
False
Let i = 0.34645 + -1.34645. Which is greater: -116.9 or i?
i
Let t be (-439)/2 + (-252)/24 + 11. Let i = 219 + t. Which is greater: -10/17 or i?
i
Let a = -69 - -60.6. Let q = 8.4 + a. Let k = 17 - 5. Is q equal to k?
False
Let f = 33521/150 + -1337/6. Let w = -32 + 33. Which is smaller: f or w?
f
Let c = 16.55 - 18.753. Let i = -2.17 - c. Which is bigger: 3/2 or i?
3/2
Let h be (-2)/((-6)/159)*(94 - 95). Which is smaller: -55 or h?
-55
Let c = -11 + 16. Let b = -2 + c. Let m = -1027/2056 - 1/2056. Is b equal to m?
False
Let r be (636/(-16324))/(2/14). Let i = -308623/55 - -5611. Let y = r + i. Is y at most as big as -0.2?
True
Let x(w) = -2*w**3 + 53*w**2 - 31*w + 131. Let j be x(26). Which is smaller: 2/39 or j?
2/39
Let d = -14799 + 15116. Which is smaller: 3 or d?
3
Suppose 8 + 16 = 6*s. Let a be s/8*((-4)/(-4) + -41). Is a < -20?
False
Let y be (3/90*32)/(-2). Let p = 1845 + -1846. Are p and y non-equal?
True
Let g be (-60)/(-75) + (-390)/18. Is g greater than -20?
False
Suppose -5*g + o - 57 = 0, -5*g + 6*o = 3*o + 51. Let t be 6/5*(g + 5 - 23). Is t not equal to -32?
True
Suppose -26*z - 25 = -27*z. Suppose 2*x - 7*x + 4*a = -67, 2*x - a = z. Is 120/11 at most x?
True
Suppose -7*t - 4*t - 1400 = -7351. Which is smaller: t or 542?
t
Let w(o) = -o - 4. Let l be w(-6). Let q = 29 + -48. Let f = -26 - q. Which is smaller: l or f?
f
Let l = 2.78 - -0.22. Let y = -0.289 - -0.499. Which is bigger: y or l?
l
Suppose -204*v + 202*v + 38 = 0. Suppose z + 4*q = 11, 5*q = -z + v - 5. Which is greater: z or -1/2?
-1/2
Let l be -4*(-2)/4 + (-4176)/1740. Is l > 2/99?
False
Let m be (-20)/1315*(-2)/8. Let v = -30786 - -30787. Which is greater: m or v?
v
Suppose -l = -0*l - 4. Let g be (156/8)/((-3)/l). Suppose -3*j = -3*f + 66, -23*j + 25*j = 3*f - 40. Is g less than j?
False
Let l(j) be the first derivative of j**2 - 74*j + 74. Let c be l(34). Let g(o) = -o**2 + 8*o - 5. Let k be g(8). Is c at least k?
False
Let m = -2591 + 2590.9. Which is smaller: m or -0.0768?
m
Suppose -u - 76 = -2*f - 9, 4*u - 2*f + 274 = 0. Let p(l) = l**2 - 23*l + 6. Let q be p(4). Is q equal to u?
False
Suppose -v = -5*b - 1043, 2*v = 9*b - 11*b + 2110. Is 5272/5 < v?
False
Let p = 730 - -18. Let f = p + -747. Is 79 greater than or equal to f?
True
Let n = 16553 + -16496.2. Is -1/11 less than n?
True
Suppose 2*w - 4*a + 62 = 0, 2*a = w - 4*w - 77. Let t = 4 + -3. Let n be 0/(-3) + t - 30. Is w greater than n?
True
Let u be 1 + 66/(-16) + 3/24. Suppose 3*r + 6 = 0, 3*a + 2*r = r - 14. Let z = 1 + a. Do u and z have different values?
False
Let n be ((156/13)/(-36))/(1/(-831)). Let j = n + -301. Which is bigger: j or -26?
j
Suppose -18*z = 17*z + 198485. Let w = 16652/3 + z. Which is smaller: w or -119?
w
Let z(b) = 15*b**2 - 2*b + 1. Let t be z(1). Let v be 143/(-117)*-11 - 24/54. Which is bigger: t or v?
t
Let k be 314*20/(-9600) - (4/3 - 2). Let m be 3/12 - (-6)/8. Is k >= m?
False
Let t(l) = l**3 - 57*l**2 + 109*l + 55. Let w be t(55). Which is greater: w or 2/241?
2/241
Let g(b) = b. Let y be g(-1). Let r = 41/6915 - -25027/55320. Which is smaller: y or r?
y
Let q = -1/242548 - -493165/1957119812. Is q bigger than 1?
False
Let w = -45817 + 51307. Which is smaller: w or 5489?
5489
Let t be ((-6)/328)/((170/8)/17). Let c be (7/4)/7*(-1 + 5). Is c less than or equal to t?
F