 Let h be (-35 - g)/(112/(-84)). Is 25 at most as big as h?
True
Let o = 33 + -31. Let d = o + -7. Let l be 2/((-2)/(-14) + (-88)/224). Are l and d unequal?
True
Let t be (1/4)/(19 - 1145/60). Which is smaller: 21 or t?
t
Let p be -6*(-56)/(-12) - 2. Let a = 28 + p. Let t be a*(-3 + 20/8). Are t and -1/7 unequal?
True
Let j(c) = 210*c - 6656. Let t be j(48). Which is bigger: 3420 or t?
t
Let d(z) = 10*z + 70. Suppose 31*w = 22*w - 72. Let f be d(w). Do f and -10 have the same value?
True
Suppose 0 = -2*o + 6*o - 160. Suppose 26*x = 31*x - o. Suppose -r + 5*f - x = 0, 9*r - 6*r + 58 = -2*f. Is -3 greater than or equal to r?
True
Suppose 2*u + 2*n = -1 + 3, 0 = -4*u - 2*n + 2. Let z = 4081/276 - 342/23. Is z at least as big as u?
False
Suppose 0 = 3*j - 33*j - 16206 - 7344. Which is smaller: j or -5504/7?
-5504/7
Let f = 6468 - 6467.83. Let m = 49.8 + -50. Which is greater: m or f?
f
Suppose 5*a - 6*v + 2*v = 5, 4*v + 1 = a. Which is smaller: a or -13/3?
-13/3
Let o = -5586.2 + 5470.246. Let t = 116 + o. Which is greater: -2 or t?
t
Let v = -16/371 + 2/371. Suppose -2*s = 10 - 20. Suppose -3*y + 0*i + 13 = -s*i, -2*y + 6 = -2*i. Which is smaller: v or y?
v
Let c = 1/941 + 1847/32935. Suppose 3*f + 5 = 3*y - 4, -y - 4*f - 2 = 0. Suppose -1 = a, -j - 7*a - 4 = -y*a. Is j > c?
True
Let c be 15/705*578073788/(-42). Let w = c - -2049916/7. Let y = -1/141 - w. Are 0 and y equal?
False
Let j be -3 - (2688/(-160) - (-4)/5). Suppose -o = j*o - 378. Which is greater: o or 53/2?
o
Let m = 1/417 + -845/4587. Let w = 179 - 176.34. Let r = w + -1.66. Which is smaller: m or r?
m
Let v(w) = w**2 - 13*w + 32. Let d be v(10). Let k be (d - -6)/8 + (-11)/5. Does -2 = k?
False
Let r = -1134131/2772 + 14455/36. Let t = -12546 - -138096/11. Let x = t + r. Is -0.2 <= x?
True
Let b(c) = 32*c + 55. Let h be b(8). Let m = 289 - h. Which is smaller: m or -23?
-23
Suppose 212 = v + 2*w - 5740, 2*v - 5*w = 11922. Let h = 982744/165 - v. Which is greater: h or -1?
h
Let r = -2202 + 2260. Is 58 at most r?
True
Let t = -588473/45 - -141361/9. Is t <= 2630?
True
Suppose -25 = 5*d, -t - 2*d + 0*d + 35 = 0. Let a = 47 - t. Suppose -2*s = -a*z - 5*s + 24, 0 = -2*z + 5*s - 8. Is 6 not equal to z?
False
Let k(o) = o**2 + 23*o + 19. Let b be k(-22). Let d be b/((-1647)/(-88)) - (-2)/18. Is d > 0?
False
Let k be (-2)/(-10) - (-2)/(-10). Let v(q) = 4*q - 96 + 47 + 41 - q. Let f be v(k). Is f less than -6?
True
Let b = -649 - -1017. Let x = b - 411. Which is smaller: -0.3 or x?
x
Suppose -208 = -4*x + 144. Suppose -50*f = 32*f - 6644 - 490. Is x > f?
True
Let p be 2394/(-513)*6/14. Which is greater: p or -94?
p
Let l be (-87)/116 + 0 + 1739/(-12). Which is greater: -146 or l?
l
Let i = -44102 + 44119. Let u = -0.19 + 8.19. Which is greater: u or i?
i
Let i = 24.42 - -0.58. Let g = 44.7 + -7.7. Let w = g - i. Which is smaller: w or 0?
0
Let h be (1483/(-7))/((-150)/1050). Is 1483 != h?
False
Let c = -179 - -218. Let u be (4/6)/((-169)/c + 6). Is -2/135 smaller than u?
True
Let c(i) be the first derivative of 9*i**2/2 + 20*i + 27. Let y be c(-2). Are y and 2/11 equal?
False
Let o(c) = -c. Let k be o(1). Let j be (-8)/(-84) - (-544)/252*12. Suppose q + 0 = 2*s + 5, -2*q - j = 5*s. Is k <= q?
False
Suppose 4*k - 14 - 770 = 0. Let v = 209 - k. Are v and 3 non-equal?
True
Let h = -96 - -141. Let t = h + -31. Let g = t - 12. Is g at most 3?
True
Suppose 5*s - 61 = 4*s. Let x = -52 + s. Suppose -x*l + 2 = 2. Which is bigger: l or 0.17?
0.17
Let n be -4 - ((1197/(-411))/(-3) + (-3 - 2)). Which is greater: -1/3 or n?
n
Let p = -29 - -15. Let y be 144/14 - (-4)/p. Suppose 709*u - 710*u - l = -4, -3*u + 28 = l. Which is greater: u or y?
u
Let b(m) = m**3 + 49*m**2 + 613*m + 8. Let o be b(-22). Are -2057/5 and o equal?
False
Let b = 50 - 50.17. Let w = -0.38 - -0.03. Let o = w - b. Is 2 at most o?
False
Suppose 2*s + 2*j + 2 + 18 = 0, -j - 14 = 2*s. Which is bigger: s or -264/79?
-264/79
Let x(g) = -g**3 + 13*g**2 + 18*g - 28. Let a be x(13). Suppose 11*t = a - 899. Is t bigger than -64?
True
Suppose 81*f = 5170 + 35654. Is -11 greater than f?
False
Let j = -9 - -5. Let s = -367 - -369. Let c be ((-138)/(-27) - s)*24/(-14). Is c bigger than j?
False
Let v(p) = 10*p**2 + 14*p + 6. Let c be v(-2). Let m be (48/c)/((-14)/9). Which is smaller: m or -1?
m
Let c be 35*3*-16*(-5)/(-70). Is -116 equal to c?
False
Let n be 2 - (-48)/51 - 3. Suppose 5*c + 4*w = 1204, -2*w + w - 719 = -3*c. Let d = -240 + c. Is n at most d?
True
Let l = 3444.37 + -3451. Which is smaller: 0 or l?
l
Let z = 52207 + -211529/4. Is 0.1 at most as big as z?
False
Let s be 216/(-32) + 3/4. Let p be s*6/(-90)*35. Suppose -111 = -5*u + p. Which is greater: 26 or u?
26
Suppose -8097 = -5*h - 3*i + i, -6472 = -4*h + 4*i. Are 1619 and h equal?
True
Let y(u) = 5*u + 8. Suppose -4 = 8*r - 4. Let i be y(r). Let c be (i/14)/(4/14) + -2. Are 2/25 and c unequal?
True
Let u(j) = -2*j - 8. Let p be u(6). Let l be (226/872 + 5/p)*-55373. Let v = 508 + l. Which is greater: v or 0?
0
Let x be ((-284)/(-58) - 5)/(135/(-50)). Is x greater than or equal to 1?
False
Suppose 5*c - 32 = -12. Suppose 0*h + c*h - 480 = -2*o, 0 = 3*h + 2*o - 359. Suppose 2*n - d = -55 + 301, -d - 6 = 0. Which is smaller: h or n?
n
Let j = 116 + -93. Let n = 3 + j. Suppose 0*z + n = 2*z - 4*v, 4*z + v - 52 = 0. Is 15 >= z?
True
Let x = -270 + -92. Let y = x + 358. Is -16/3 equal to y?
False
Suppose -3177 = -4*r + 5*p + 6482, 0 = 3*r + p - 7230. Is -1 >= r?
False
Suppose 3*z - 5*z + 8 = 0, -z + 13270 = -3*o. Let v be 1/13 + o/(-143). Is 25 at most v?
True
Suppose -4*h + 2*p = -28, -21*h + 7 = -20*h + 2*p. Suppose -5*k - 8 = g, 6*g = h*g - 5*k - 2. Which is greater: g or -18?
g
Let b = 5.97 + -6. Let p = -65 - -22. Let x = 43 + p. Which is bigger: b or x?
x
Let k(m) = m**3 + 2*m**2 + 266*m + 259. Let j be k(23). Which is bigger: j or 19601?
j
Let f = 25209 - 25208. Let h = 4.38 + -4.8. Which is smaller: h or f?
h
Let b be 37/(((-16)/6)/(-8)). Suppose h + 2*n - 30 = 0, 5*h - b = -4*n + 27. Suppose 23*g - h*g - 138 = 0. Which is smaller: g or -47?
-47
Suppose 0 = 21*l - 17*l + 4. Let u be (2/4*19)/(l/(-6)). Let i = u - 50. Which is smaller: 15/2 or i?
i
Let n(a) = a - 11. Let i be n(11). Let r be 2*(-1 - i) - -2. Let x = 9694/25 + -388. Is r bigger than x?
True
Let f = 34.86 + -34.85. Is f != 37?
True
Let p(w) = -w - 88. Let h be p(0). Let y = -163 - -176. Let d(c) = -11*c + 55. Let z be d(y). Is h > z?
False
Suppose -5*y - 4*f = -11, -2*y + 3 = -3*f + 17. Let x = -154085/122 + 1263. Is y less than x?
True
Let o be 17 + (-3375)/(-625) + (-24)/(-15). Let f(q) = 8*q**2 - 2. Let g be f(-2). Which is greater: o or g?
g
Let u = 52 + -74. Let m = 204.4 - 204.3. Which is bigger: u or m?
m
Suppose -8*w - 4*s - 175439 = -13*w, -s = 4*w - 140326. Is 35084 at most w?
False
Let y(s) be the third derivative of s**6/120 - 4*s**5/15 + 7*s**4/12 + 5*s**3/2 + 2*s**2 - 9*s. Let z be y(15). Which is smaller: -18/29 or z?
-18/29
Suppose 20*h - 25*h + v = 62, -2*v + 28 = -2*h. Let f be h/(-138) + 1176/230. Which is greater: 5 or f?
f
Suppose -2*i + 249 = -5*v, -i - 4*v + 362 = 2*i. Let r = i - 163. Let p = -24 - 15. Which is smaller: p or r?
r
Let o be 42/6 - -1 - 55/7. Is o equal to -241?
False
Suppose -4 = 5*n - 4. Suppose -24*q + 21*q - 21 = n. Is -1/6 > q?
True
Let k = 988 + -988. Suppose k = -64*j + 60*j + 1940. Are j and 486 unequal?
True
Let j = 560343/7960 - 77488886153/1101035160. Let a = j - 2/2943. Is -1 less than a?
True
Let u(d) = d - 22. Let z(q) = q + q + 6*q**2 + 3*q - 4*q. Let h be z(-2). Let s be u(h). Is -4/13 less than or equal to s?
True
Let h = 3210 - 3238. Which is bigger: -26 or h?
-26
Let c(g) be the third derivative of g**6/120 - g**5/6 - 31*g**4/24 + 23*g**3/6 - 55*g**2. Let n be c(13). Is 128 smaller than n?
False
Let y(n) = -10*n**2 + 159*n + 1093. Let u be y(21). Suppose -3*q = -0*q - 6, 3*q = 4*i - 86. Are i and u equal?
False
Let o = 86 - 87.32. Let d = o - -0.32. Let h = -1927/11 + 175. Do d and h have different values?
True
Let i = -2344/229 - -86974578/8497045. Is -1 smaller than i?
True
Let m = -100 + 108. Suppose -5*i - 5*v - 16 = -2*i, -5*v + 33 = -4*i. Which is bigger: i or m?
m
Let w(n) = 89*n**2 + 30*n - 96. Let r be w(5). Which is bigger: r or 2281?
2281