
True
Suppose -3*i + 18 - 15 = -z, -2*i + 2 = z. Suppose 5*f - 8 + 3 = z. Let o be (5/7)/(36/21). Is f >= o?
True
Let x = -14340 + 14020. Is x greater than -1?
False
Let x be 12/(-15) + (-180602)/(-365). Is x equal to 488?
False
Let w = 7938 + -7939. Is w at most -7/1451?
True
Let a be (30/5)/12 + (-38)/(-16). Suppose -4*u - 4*r + 31 - 7 = 0, -3*r + 10 = -u. Which is bigger: u or a?
a
Let g = 363.6 + -359. Which is bigger: 8 or g?
8
Let c be (1152/564 + -2)*(-1046)/328. Let j = 6/41 + c. Which is smaller: j or 0?
0
Let l = -207 + 210. Suppose 20 = 5*g - 0*g. Suppose 10 = g*v + v. Is l less than v?
False
Let h = 9006 - 9004.31. Is 0.32 != h?
True
Suppose 0 = 3*h + 4*t - 3, 0 = 4*h - 0*t + 2*t - 4. Let x = -598 - -11366/19. Is h > x?
True
Let s = -388/7 - -96231/1736. Let h = s - 5/248. Suppose 5*c + 2*q - 9 = 0, 0*c - 8 = -4*c - 2*q. Which is smaller: h or c?
h
Let r = -216 + -316. Let c = r + 4772/9. Suppose 3*j - 2*k = -17, -611*k + 612*k = 5*j + 19. Which is bigger: c or j?
c
Let p = -47713/2 - -548653/23. Which is smaller: -1 or p?
p
Let t = -147937234223/183 + 808398108. Let b = t - -2079. Which is bigger: b or 0?
0
Suppose 12*i - 16*i + 2051 = -5*o, -o - 5*i = 445. Which is bigger: -404 or o?
-404
Suppose -4*k + 1290 = -o, 0 = -o + k - 556 - 746. Which is bigger: -1304 or o?
-1304
Suppose 4*n - 188 = 4*j, -282*j + 2*n = -285*j - 176. Which is smaller: j or -72?
-72
Suppose -5*g - 21 = -5*j + 4, 2*j - 5*g = 13. Which is greater: j or 42?
42
Let y = 3216/11 + -1903883/6512. Is y not equal to 1?
True
Let y = 14.3 + -135.8. Let w = -121 - y. Which is smaller: -7.8 or w?
-7.8
Let c(f) = 928*f - 229. Let a be c(-7). Let m = 87509/13 + a. Which is bigger: 6 or m?
m
Let m be 1683/(-63801)*6/4. Which is smaller: m or 1?
m
Let i = 47 - 20. Let c = i + -30. Let j be -2 + c + 6 + (-4)/2. Which is smaller: 4/39 or j?
j
Let v = -328858/23 - -14296. Which is smaller: -11 or v?
-11
Suppose -6*x + x = 105. Let v(o) be the first derivative of o**4/4 + 22*o**3/3 + 23*o**2/2 + 15*o + 1641. Let i be v(x). Which is bigger: i or 1?
1
Let h = -941805/16 + 58863. Suppose 0 = -j - 3*j + 8. Suppose -z - 2 = 3*z - y, -y + j = 5*z. Which is greater: z or h?
h
Let a = 4997 - 4726. Are 267 and a equal?
False
Suppose -19*o + 51*o = 25*o + 14. Is o smaller than -1/23?
False
Let t(i) = i**3 - 17*i**3 + 9*i**3 + 5*i + 1 + 8*i**3. Let j be t(0). Suppose 6 = -0*h + 3*h. Which is greater: j or h?
h
Let i(h) = 3*h - 17. Let z be i(25). Let x be (-4 + 1 - -2)/(-1) - -57. Is x less than or equal to z?
True
Let r be 28 - 2 - 92492/3553. Is r >= 0?
False
Suppose -3*n - 6 = -4*c, 8 = 4*c + 13*n - 15*n. Let k be (-34)/51*c/108. Is k bigger than 0?
False
Suppose 3*o - 352 + 358 = 0, 4*v - o + 2 = 0. Which is bigger: -27/19 or v?
v
Let h = 48472 + -48533. Is h <= 236?
True
Let t = 28.068 - 0.068. Let g = 48 - 20. Let b = t - g. Which is smaller: b or 16?
b
Suppose 45*r - 47*r = -26. Suppose -1930 = 3*n - r*n. Is 0.1 greater than n?
False
Let k = -175 + 183. Let b = 7 - k. Is -3/70 > b?
True
Let g = 671.155 - -0.845. Let y = 571 - g. Does -1 = y?
False
Suppose -3*i + 4*i = -4*o - 59, 2*o = -4*i - 292. Let p be (-292)/4 - 3/1. Is i >= p?
True
Let z(w) = 16*w + w**3 - 65 + 50 - 16*w**2 - 2*w**3. Let d be z(-17). Suppose -12 = -v - d*v. Are 1 and v non-equal?
True
Let h = 363.14 + -360. Let a = -0.03 - -0.17. Let f = a - h. Which is smaller: 7 or f?
f
Suppose 109*q - 490 = 102*q. Suppose -q*i = -77*i - 140. Is -20 > i?
False
Suppose 110*h = 106*h + 3632. Suppose 5*c - h = 3*a, -296 = -4*c + 2*a + 432. Are 183 and c non-equal?
True
Let u be (1 - (-9)/(-8))*234. Let l(v) be the second derivative of -v**5/20 - v**4/3 + 5*v**3/3 + 5*v**2 + 2*v - 27. Let p be l(-4). Is u bigger than p?
True
Let u = 211 - 217. Let o(r) = r**2 - 3*r - 36. Let i be o(u). Let p = 0 - 0.1. Are i and p non-equal?
True
Let k = -112.5 - -114. Let f = 238/87 + -2/29. Which is greater: k or f?
f
Let b(y) = y**3 + 2*y**2 - 5*y - 2. Let w be b(2). Let h be (-1 - -1) + 0 + (w - 3). Suppose 2*v = -6 + 8. Is v greater than h?
False
Suppose -195*c - 96 = -187*c. Let g(t) = -5*t - 113. Let d be g(c). Are -53 and d nonequal?
False
Let k = -0.1541 - -31.1541. Which is smaller: k or 2.1?
2.1
Let m be 4/242*((-4)/1 - -5). Let l = -129/484 + m. Which is smaller: 0.04 or l?
l
Let u = -282869/9004 + -5/6753. Do u and -31 have different values?
True
Let b(r) = -r**3 + 9*r + 102. Let g be b(0). Which is smaller: 2732/27 or g?
2732/27
Let j be (-48)/(-72)*(2*3)/(-1). Let k be (j/(-16 - -4))/((-3)/(-108)). Suppose -2*o + 0*o + 24 = 0. Do k and o have the same value?
True
Let s(a) = -9*a - 59. Let q be s(-7). Suppose -4*y - u + 331 = 0, 3*u = q*u + 1. Is 83 at least y?
True
Let t = -1211.018 + 1211. Which is smaller: -0.071 or t?
-0.071
Let b be 2/(-7) - 463/(-28). Let c(o) = 176*o**3 - o**2 + 5*o - 2. Let n be c(1). Let h = 193 - n. Is b greater than or equal to h?
True
Suppose -211337 = -56*l - 24801. Is 3331 <= l?
True
Let j = 11/369 + -11075/12546. Let l = j + -1187/442. Which is greater: -5 or l?
l
Suppose -v - 2*v + 12 = 0. Suppose d = 3*y - 4, -v*y - 4*d + 0*d = 0. Let h be 1*10/6 + -2. Is y less than h?
False
Suppose 3*h - 166 = -55. Let q(v) = -v**2 - 32*v + 7. Let r be q(-31). Are r and h nonequal?
True
Suppose 370*g + 236*g = -1212. Let p = 0.14 - -1.86. Do g and p have the same value?
False
Suppose 3*m = 2*p - 0*p - 40, 4*m + 8 = 0. Let j = 20 - p. Suppose -8 = -3*k - 2. Is j at most as big as k?
False
Let l = -163 + 154.7. Let p = 4.25 + -12.55. Let w = p - l. Is 31 greater than or equal to w?
True
Let o be (-167)/(-140) - 16/20. Let a = 428 - 427. Are a and o unequal?
True
Let j(d) = -11*d**2 - 4*d**2 + 2*d + 0 + 0. Let b be j(2). Let t = b - -48. Which is greater: -6 or t?
-6
Let y = 90 + -264. Let j = y + 229. Which is bigger: 57 or j?
57
Suppose -522 = -20*t + 718. Is 34 at most t?
True
Let v be (-252)/(11 - 2445/45). Is v less than 7?
True
Suppose -18 = 6*a - 48. Suppose 762 = a*l + 3*n, -5*l = 2*n - 5*n - 738. Which is bigger: 149 or l?
l
Let g be (11/(165/(-48)))/((-2)/5). Suppose 2*m + 4 = 4*l, l + g*m - 1 = 4*m. Let f = -657/5 + 131. Which is bigger: l or f?
l
Let l(d) = -4*d**2 + 679*d - 94. Let c be l(29). Is c at least 16232?
True
Let s = -0.64 + 0.6. Let h = -309 + 271.2. Let a = -38 - h. Which is bigger: a or s?
s
Let t(s) = 6*s**2 - 10*s + 6. Let d be t(6). Let i = -167 + d. Which is smaller: i or -24/5?
i
Let h = 855.61 + -855. Let w = -31.1 - -31. Are w and h non-equal?
True
Let h = 631 + 425. Let a be 16/264 - 328/h. Which is greater: -13/7 or a?
a
Let w = 46 + -46. Suppose -2*i - n + 2*n + 152 = w, 302 = 4*i - n. Let h = i + -58. Which is bigger: h or 15?
h
Let o = 0.1384 - 0.106. Let w = -0.0196 - o. Is w smaller than -0.5?
False
Let k be (-7 - (-65)/5) + (414/(-24))/3. Suppose -9 = 4*i + 7, -i + 236 = -4*t. Is t <= k?
True
Let h be ((-139)/(-2))/((-7)/336*-8). Let f = 403 - h. Are -100/7 and f non-equal?
True
Let i = -712 + 711. Let w = -4939 + 4968.07. Let z = 29 - w. Which is bigger: z or i?
z
Suppose -4*z + 35 = -3*v, 2*z - 2*v = v + 25. Let t be 2/(z/(((-6)/(-5))/3)). Is 1 at least t?
True
Let g = 124.2 - 122. Let p = g - 1.2. Which is greater: p or -312?
p
Let f be (55/20)/((-2)/(-8)). Let z(x) = -x**3 + 10*x**2 + 13*x + 8. Let r be z(f). Let t be 1*r/8*4. Do t and 12 have the same value?
False
Let w be 280/1164*(2195/2325 - 1). Let n = w - 2/279. Which is bigger: n or 0?
0
Let r = -213 + 239. Do r and -10/9 have the same value?
False
Suppose r + 0*r = -n + 1, 0 = -4*n - 2*r + 6. Let j(k) = -n*k + k**2 + k - 410 + 406. Let y be j(-2). Is 2/3 smaller than y?
True
Let d = -804 + 820. Suppose 0*r + 4*r - 8 = -4*g, -5*r = 2*g - 1. Suppose g = 2*m + 2*n - 27, 0 = m - n - 13. Is m greater than d?
False
Suppose 3*k - 57 = -0. Let o be 5 - k/(19/6). Which is smaller: o or -9/8?
-9/8
Let a be (-570)/50 - 6/10 - 0. Let m be (-87)/738 + (-2)/a. Suppose 3*n + 3 = -0*n. Which is smaller: m or n?
n
Let h = 762 + -757.91. Let g = -0.09 + h. Let c = 24386.03 - 24386. Are g and c equal?
False
Let c = -9921.44 + 9923. Is 0.1 smaller than c?
True
Let p(l) = l**3 + 17*l**2 + 12*l + 6. Let f be p(-16). Suppose -24 = -74*g + f*g. Suppose 345 - 51 = -g*i. Is -49 greater than or equal to i?
True
Let m be (534/(-15))/(6