. Is 26 != j?
False
Let u be (-7)/21*(-21)/(-7)*(-5 + 2). Is 1099 >= u?
True
Let l = 35.18 - 42.18. Which is smaller: -9.5 or l?
-9.5
Let k be (2/4)/((-21)/12 + 2). Let p = 19 + k. Suppose -c = 6*c - p. Is c at least as big as 2?
True
Let c be (-3 - 498/(-18))/((-2)/(-3)). Suppose -41 = -2*p - c. Let u = -2 + p. Which is greater: 2/7 or u?
2/7
Let f = -4.04 - -35.04. Let k = 20 - f. Which is smaller: k or -0.04?
k
Suppose 5*c + 115 = o - 5, o - 100 = c. Let v = o + -662/7. Which is smaller: v or 0?
0
Let z = -15 + 0. Which is smaller: -136/9 or z?
-136/9
Let b = -149 + 149. Let t be b + 5 - (-1888)/(-352). Is t not equal to 0.1?
True
Let y be (1/(-2))/((-1)/(-142)). Let b(a) = -1818*a + 10836. Let u be b(6). Which is smaller: u or y?
u
Let k = 218 + -212. Let t be ((-14)/k + 2)/(43/(-12513)). Is t at least 98?
False
Let t = 23300082921/21101 + -1104217. Is -1 bigger than t?
False
Let m = 0.2483 - 0.3483. Is m > -19317?
True
Let u = 585 - 236. Let f = u - 362. Is -79/6 at most f?
True
Let h = 199.618 + 5.382. Which is smaller: h or -7?
-7
Suppose -5*g + 83 = 2*n - 32, 3*n = -4*g + 99. Let k = g + -69. Let h be k/(-7) - (7 - 3). Which is smaller: 3 or h?
h
Let o = 39.8 + 1.7. Let f = -38.57 + o. Let h = 0.47 + f. Which is greater: h or 0?
h
Suppose 0 = 44*k - 24*k - 12*k. Is -10844 at most k?
True
Let d be 10/8*(-912)/855*(-9)/78. Let r = 1/11 + 26/77. Is r at least d?
True
Let j = -33601 + 33558.07. Which is smaller: j or -2?
j
Let c = 3671 + -6475643/1764. Which is smaller: c or -1?
-1
Let q be ((-16)/(-6))/4*12/(-8). Let h be (q*1/(-2))/(2/48). Suppose -h*y = -8*y - 4. Which is bigger: 1/22 or y?
y
Let u be (-2 - 6/(-4))*-188. Let a = u - 95. Which is smaller: -25 or a?
-25
Let y be -1 + (7 - -42) + -7. Suppose -32*u - 9*u + y = 0. Is -7/50 less than u?
True
Let a(c) = -c**3 - 25*c**2 + 53*c + 2. Let r be a(-27). Is r >= 428/15?
True
Suppose 2*x + 3*w - 930 = -3*x, -x + w + 194 = 0. Suppose 0*i + 2*k = -i + 54, -3*i + 3*k + x = 0. Is 58 smaller than i?
True
Let u(d) = d - 6. Let w be u(-9). Let f = w - -23. Let b be ((-6)/(-16))/((-30)/f). Is b not equal to -0.1?
False
Let m = -13 + -7. Let r(g) = 4*g - 11. Let s be r(4). Suppose -d - 94 = 5*h, 0*h = h - s*d + 24. Are m and h nonequal?
True
Suppose -b = 12 + 4. Let g = 394.4 - 394. Is g greater than b?
True
Let c(v) be the second derivative of -22*v + 0*v**4 + 0 + 1/20*v**5 + 1/6*v**3 + 0*v**2. Let g be c(0). Is g equal to 1/9?
False
Let q be (-8)/(-14) + 1186660/(-51660). Let c = -13/287 + q. Is -23 at most as big as c?
True
Let b(s) = s - 21. Let w be b(24). Suppose -91 = -w*q + 47. Which is greater: -1 or q?
q
Let r be 1396/2094 + 862/48. Which is smaller: r or 13?
13
Suppose -68 + 35 = 11*n. Let w be (42/52)/((-4)/(-40)*-5). Is w < n?
False
Suppose -h - 61 = -65, -5*n - 104 = -h. Which is greater: -161/8 or n?
n
Let x = 0.9591 + -0.9591. Which is smaller: x or -0.13?
-0.13
Let t be (65/(-111))/(1460/(-876)). Is -1 < t?
True
Let m be (-18)/(471/501 + -1). Let a = 301 - m. Which is greater: a or -326?
a
Let s(y) = -2*y**2 + 6*y - 3. Let l be s(4). Suppose 3*u - j - 29 = 0, 2*j = -3*u - j + 33. Suppose -u*o = o + 66. Which is greater: o or l?
o
Let z(j) = -j**3 - 9*j**2 - 3*j + 10. Let y be z(0). Is 90 bigger than y?
True
Suppose -3*c - 8*j + 5*j + 15 = 0, 0 = 3*c - 4*j + 6. Let s = -5 + 9. Suppose -s*l = c*l. Is l bigger than -4/51?
True
Let u = -113125/332613 + 43/127. Is -1 >= u?
False
Let h(r) = -r**3 + 21*r**2 + 18*r + 1. Let c be h(-5). Let s be 15/17 + 66/c. Which is smaller: -2/71 or s?
-2/71
Let c(a) = -a**3 + a**2 + 2*a. Let o be c(-2). Let w be (-170)/(-58) - (-18)/261. Suppose -2*z = w*h - 16, -5*h = -3*z + 21 - 73. Is o smaller than h?
False
Let b(d) = -72*d + 138. Let j be b(2). Is j greater than or equal to 45/8?
False
Let q = 76618.8 + -76623.6. Let p = 0.03 - -0.27. Which is smaller: p or q?
q
Let j = -5932 - -5932. Which is smaller: j or 4/4383?
j
Let p = -1914 - -1917. Which is smaller: -559/3 or p?
-559/3
Let t(s) = 3*s - 17. Let z be t(14). Let m(k) = -3*k + 69. Let l be m(z). Let b(a) = -a**2 - 6*a - 21. Let p be b(l). Is -21 smaller than p?
False
Suppose -4*q + 0*q = -1352. Let v = q + -235. Let t = v - 121. Is -15 at most as big as t?
False
Suppose 5351 = 270*a - 3346 - 1023. Let t = 9 - 5. Suppose t*k - 111 = 5*j + 39, 115 = 3*k - 5*j. Is k at most as big as a?
True
Let p be (1/(2/78))/((-48)/(-64)). Suppose 0 = 2*b - 80 + p. Is -10 > b?
False
Let o = 37208 - 36535. Is 2020/3 at most o?
False
Let x = -233/636 + 7/212. Which is greater: 10.93 or x?
10.93
Let g = 39.634 + -39.652. Is g > -56?
True
Let m be 3*((-2)/(-12) + 0). Suppose -w - 2*u = -896, w = -16*u + 11*u + 899. Let n = -894 + w. Is n > m?
False
Let t = -178 - -192. Suppose 4*s + 3*f = 2*f + 45, -5*s = f - 57. Is s > t?
False
Suppose 4*a = 2*g + 39070, 3*g - a + 0*a = -58640. Is g < -19550?
False
Let u = -94.486 + 95. Let o = u + -0.514. Is o smaller than -102?
False
Let f = -62.1715 + 1.3815. Let g = f + 61. Let u = g - 3.21. Is -1/2 equal to u?
False
Let v be ((-29)/1506)/29*2/(-8)*3. Is 1 smaller than v?
False
Let n = -1007 - -1006.9313. Let c = -0.0377 - n. Is c at most -2?
False
Let s = 27153 + -27156. Is 1/4151 bigger than s?
True
Suppose -2*z + 3*z - 1430 = 2390. Which is smaller: 3818 or z?
3818
Let q = 530.7 + -555. Let l = 24.7 + q. Let c = -13 - -13.5. Which is bigger: l or c?
c
Let s be 1/((2/(-6))/((-1)/(-3))). Let l be s/((-2)/4 + (0 - -1)). Let h = l - -11. Is 9 at least as big as h?
True
Suppose -33511 = -27*b - 33538. Is b bigger than 2?
False
Let f be (-75559)/(-2) + (15 - 14). Let a = f + -38604. Let b = a - -801. Which is bigger: b or -22?
-22
Let b = -2/753 - -4648/48945. Let u = b + 88/455. Suppose 4*p - 9*p + 40 = 0. Is p bigger than u?
True
Suppose 0 = 2*x - 13*x. Suppose -25*p + 22*p - 147 = x. Which is greater: -50 or p?
p
Let n = 2.3574 - -1359.6426. Are n and 3/5 equal?
False
Let z(r) = -r**2 - 24*r + 43. Let j be -21 - ((-4 - -5) + -2). Let c be z(j). Let s be c/2 + 21/14. Which is smaller: s or 64?
s
Let v be 1 + ((-106)/16 - -2). Suppose -100 = 101*y - 76*y. Is y >= v?
False
Let a = -851 - -851.33. Is a at most -11/4?
False
Suppose -14676 = -4*i - 4*a, -i = 5*a - 2675 - 998. Let u be (-29596)/i + 2*4. Is u not equal to 1?
True
Suppose -2*q = -4*y - 148, 11 = -y - q - 23. Let k(x) = 2*x + 76. Let c be k(y). Let a = 6 - 2. Is c bigger than a?
False
Let s = 89 + -131. Let t be (-63)/9 + (-161)/(-21) + -1. Is t bigger than s?
True
Let v be (-3838)/(-8) - 21/28. Let g = 36881/77 - v. Which is smaller: g or 0.2?
g
Let t = -0.2 - -0.27. Let u = 172 + -199. Let c = u - -27. Which is bigger: c or t?
t
Let m = 0.38 - -0.12. Suppose 9*r = -22*r + 465. Is m > r?
False
Suppose -5*r + 2*r = -87. Let v = -28 + r. Let j be 10/35 - 0 - v. Which is smaller: -0.1 or j?
j
Suppose -o + 3*y = -7, -5*o + 2*o = y + 9. Let j be (-6)/(-2) - 14/4. Is o <= j?
True
Let z(y) = -2*y**3 - y**2 - y + 1. Let s(x) = -3*x**3 + 5*x**2 + 10*x - 11. Let t(l) = -s(l) + z(l). Let r = 12 + -5. Let o be t(r). Is o not equal to -16?
False
Let k be (81/(-198))/((114465/40)/13). Which is smaller: -1 or k?
-1
Let f = -581 - -582.952. Let l = f + -2. Let w = l + -0.052. Is w < -2?
False
Let u = 48 - 93. Let k = -633 + 677.7. Let b = u + k. Is b greater than 0.08?
False
Let p(l) = 3*l**3 - 8*l + 7. Let q be p(2). Suppose 0*w + s = -5*w + 9, -4*s + q = -w. Which is smaller: -4/43 or w?
-4/43
Let a = -7586 - -8022. Which is greater: a or -5?
a
Suppose -7*v - 632 = -30. Let p = v + 86. Let h be 13/(-3)*((-3)/(-4) - p). Is -4 >= h?
False
Let l = 13894 - 13901. Which is smaller: l or -167/23?
-167/23
Let p(o) = -3*o**2 + 96*o + 113. Let x be p(33). Which is smaller: x or 79?
x
Let m be 10860/(-40)*(-3)/(-9). Let j = 90 + m. Which is greater: -9.8 or j?
j
Let u = 494909/2212 + -459/316. Are u and 223 nonequal?
True
Let c = -2314 - -2306. Is -105/13 >= c?
False
Let s = -900.7 + 914.7. Which is greater: s or -46?
s
Let j = 47627/96 + 14679/32. Which is greater: j or 955?
955
Let a = 10712 - 10710.9521. Let c = 0.0479 - a. Which is smaller: -42 or c?
-42
Suppose 0 = 3*q - 7*q + k - 50, 0 = -2*q + 3*k - 30. Is -52 greater than or equal to q?
False
Suppose -m = -5 + 5 - 1. Is m not equal to 31/25?
True
Let b be ((-3861)/(-180) + -