 = 3.5 - 78.5. Let z = -78.3 - c. Let a = z + 3.6. Are a and -3 nonequal?
True
Suppose -40*l + 23*l = -17. Which is greater: -9 or l?
l
Let d(u) = -8*u**2 + 4*u - 1. Let h be d(-4). Let s = -1352.81 - -1351.81. Are s and h nonequal?
True
Let r be ((-1032)/10)/(18/(-60)). Suppose 0 = 5*i + 1176 + r. Is i at least as big as -303?
False
Let b = 0.33 - 0.56. Let i = -2.0287 + 2.02. Let d = i - -0.1087. Is d not equal to b?
True
Let i be (1 - 5)*-6*3/12. Suppose i = -4*r - 2. Which is smaller: -55 or r?
-55
Suppose 8*f - 12*f + 2*u - 94 = 0, -3*u = 3*f + 66. Which is greater: -249/11 or f?
-249/11
Let n = -3651.98 - -3652. Is -647 greater than n?
False
Suppose -22 = a + 6. Let c be (-24)/(-98)*7*a/(-6). Which is smaller: -13 or c?
-13
Let h = -3 - -1. Let i(u) = -8*u**2 - 5*u + 4. Let t be i(1). Which is smaller: h or t?
t
Suppose -c = 2*w + 8, w - 3*c - 9 = 4*w. Let m be ((-8)/10)/(w - (-144)/(-45)). Let y(s) = -s - 12. Let k be y(-12). Is m at least k?
True
Let p be ((-18)/(-5))/(-3 - (-88)/30). Let d = p + 41. Let v(t) = t**2 + 11*t - 20. Let m be v(d). Is -6 not equal to m?
True
Let q(g) be the first derivative of 5*g - 11 - 3/2*g**2. Let c be q(2). Which is bigger: 2/63 or c?
2/63
Let i be ((-88)/2)/(8 + -7). Let d be (-2572)/i - (-24)/44. Are d and 59 unequal?
False
Let q = -187 + 94. Let i = q - -112. Is i greater than or equal to 20?
False
Let p be -1 + 54/13 + 4/(-26). Suppose p*c + 11 = 17. Let s be c/(-11) - 928/(-2200). Which is smaller: 1 or s?
s
Suppose 4767*g = 4794*g + 5724. Do -1053/5 and g have the same value?
False
Suppose 37*f + 19 + 8 = -10. Are -2/6947 and f non-equal?
True
Suppose -31 = b - 0*m + 2*m, 3*b = m - 79. Let t be (-116)/754 + 310/(-13). Is b >= t?
False
Let o(n) = -n**2 + 37*n + 93. Let x be o(19). Suppose m + 5*i = -46 - 45, -5*m - 5*i - x = 0. Which is bigger: m or -83?
-83
Suppose 0 = 8*v - 4*v - 20. Suppose 0 = 5*n + 7*n - v*n. Suppose j - 5*y = n, 2*j + 0*j + 3*y = 39. Is 15 at most as big as j?
True
Let i be 12*(-44024)/(-240) - (-8)/10. Is i >= 2202?
True
Suppose -j + 6949 = 47*d - 50*d, -3*j = -5*d - 11587. Is d != -4629/2?
True
Let a = -5402 - -5355. Is -90 != a?
True
Suppose 6*c = -6 + 18. Let n be (-46)/4 + c/(-4). Is n smaller than -27?
False
Let o be (14/(-8) - -2) + (-6)/184. Let z = o - 316/1771. Suppose 0 - 2 = -4*b + 2*m, 0 = 3*b - 2*m - 1. Is b at most as big as z?
False
Let j = 99 + -95. Suppose -4*i + k - 72 = i, -75 = j*i + 5*k. Is 1/5 at least as big as i?
True
Let u = -150.26 - -151. Let l = u + -4.54. Is l bigger than 2/3?
False
Suppose -1572 + 1620 = 2*k - 3*v, -72 = -4*k + 2*v. Let g = -6 + 11. Is k smaller than g?
False
Let d = 5 - -2. Suppose -2*y = -2*o + 502, 3*y - 246 = -o + 5*y. Let i be 10/65 - o/(-26). Which is smaller: d or i?
d
Let s be -18*(3/(-9)*1 + 1). Let j(y) = y + 14. Let r be j(s). Let t be (5 - 1) + -5 + r. Which is smaller: t or -6?
-6
Let n(p) = -4*p - 27. Suppose 5*r - 23 = -2*g + 6*r, 4*r = 3*g - 47. Suppose -7*x + g = 58. Let w be n(x). Which is smaller: -1/13 or w?
-1/13
Let y = 92659/312 - 33/104. Is y > 298?
False
Let y = 1713 - 32556/19. Let q be 5 + -3*549/228. Let g = q - y. Is g equal to -1?
False
Suppose -5*m - 14 = -3*m + 4*t, -4*t - 4 = 0. Suppose x = 4 + 1, 2*x = -j. Let u be (j/(-15) - 0)*-3. Which is smaller: m or u?
m
Let u be (-1223244)/(-348) - ((-504)/261 - -2). Is u not equal to 17571/5?
True
Let h = 26215.16 + -26215.3. Let r = -0.68 + 0.08. Which is bigger: h or r?
h
Suppose 0 = -3*h + 74 + 25. Let l = 495 - 463. Which is smaller: l or h?
l
Let y(q) = -92*q - 2661. Let u be y(-29). Which is bigger: u or 177/28?
u
Let v = -796 + 801. Is v >= -37?
True
Let t = 725 + -694. Suppose 0 = -3*p + t - 28. Which is smaller: p or -7/122?
-7/122
Let q be (1 + 1)/((-2)/(-69)). Let p = q + -27. Let g be (10/15*2)/p. Which is bigger: 0 or g?
g
Let t(i) be the third derivative of -i**4/8 - 35*i**3/6 + 26*i**2. Let g be t(-16). Which is smaller: -2/3 or g?
-2/3
Let u = 268151 + -1336382/5. Which is smaller: 874 or u?
874
Suppose -1240 - 623 = 4*y + 73. Is -1933/4 less than or equal to y?
False
Let b = 12.5 + -79.5. Let n = 66.938 + b. Let v = -0.038 + n. Is -18 >= v?
False
Let z be (519*(-4)/(-1620))/(3/(-111)). Let n = 103/27 + z. Is n greater than -45?
True
Let y(z) = 2*z**2 - 10*z - 6. Let l be y(6). Suppose -l*x + 5*x = -69. Suppose 6*v - 5*v - x = 0. Is 69 greater than or equal to v?
True
Suppose -a + 2*a = 4*a. Suppose -2*c - 83 + 539 = a. Suppose 4*x + g = -c, -x - 3*g - 64 = -g. Is x > -56?
False
Let v = -4450 - -3870. Is -2/7 smaller than v?
False
Let w = -4954 - -4937. Is w equal to -424/25?
False
Suppose -1 = j + 2. Suppose 5*n + 1188 = -13*n. Let d = -61 - n. Is d at least as big as j?
True
Let j be (-1)/4 + ((-78)/(-24) - 4). Let v = -10 + 55/6. Let x = -23/24 - v. Are j and x equal?
False
Let c = -0.9944 - 2117.0056. Which is smaller: c or -1?
c
Let t = 0.13 + 1.19. Let x = t + -3.32. Is -30 greater than or equal to x?
False
Let d = 0.022 - -0.578. Suppose -2*q = 0, 0 = -3*a - 0*a - 2*q - 756. Let m be ((-14)/a)/((-2)/(-8)). Is d > m?
True
Let i be (1456/53820)/((-12)/(-10) + 0). Is i smaller than -1?
False
Let v be -16361*(-108)/(-2169)*3/8. Let c = v + 611/2. Which is smaller: c or 0?
0
Let f = -114 + 28. Let i = f - -88. Is 1/4 < i?
True
Suppose v - 2*o + 3 = -5*o, -2*v - o + 4 = 0. Let g(p) = -p**3 - 47*p**2 - 46*p - 2. Let d be g(-46). Is v greater than d?
True
Suppose -35*u = -38*u + 4*h, -2*u + 5*h = -7. Let q be u + 0 + -2 - -10. Let b = -2/309 - -11138/2163. Which is smaller: b or q?
q
Let l be ((-126)/(-108)*9)/(6/40). Which is bigger: l or 1214/17?
1214/17
Let q = -4 - 0. Let b(m) = -2*m**2 + m. Let a be b(1). Let u be 294/(-14)*a/(-4). Which is smaller: q or u?
u
Let v be 4/9 + 3840/108. Suppose v*u + 18802 = 2*u. Is -552 at most u?
False
Let p be 0/(15/5 - 1). Let j = -18 - -69. Let o be (-4)/16*1 - j/(-76). Is p at least o?
False
Let t = 2600 + -12998/5. Is t greater than or equal to -9?
True
Suppose 5*q - 5*t + 743 + 237 = 0, 0 = q + 2*t + 196. Is q > -10?
False
Let d(r) = 236*r - 163. Let i be d(5). Let b be i/(-90) + 4 + 7. Do -15 and b have different values?
True
Let f = 6283 - 10748. Do f and -4465 have different values?
False
Suppose 16*b + 1923 = 2035. Let u = 4 + -4.04. Let q = u - 0.46. Does q = b?
False
Let h(u) = u + 35. Let d be h(-31). Suppose 3*a - 7*a + 8 = 4*p, d*p = 4*a + 8. Which is smaller: -2/27 or a?
-2/27
Let t(l) = 9*l - 14. Suppose 7*a + 0*a + 56 = 0. Let r be t(a). Let x be (-1104)/7605 + (r/30 - -3). Is x bigger than 0?
False
Let q = -31.32 - -26.62. Let a = 0.1 + -0.3. Which is smaller: a or q?
q
Let p = 10455 - 10558. Is -86 greater than p?
True
Let l(s) = 2*s - 1. Let m be l(1). Suppose 77 = 11*i - 22*i. Let p be i/(-7)*(-5)/35. Which is greater: p or m?
m
Let p = 278/45 + -52/9. Let a = -11643 + 11232.11. Let v = -411 - a. Are p and v unequal?
True
Let g be ((-4)/180)/((-4)/166) - 1. Let f = 5/18 + g. Suppose 2*h - 2*q = 2, -23 = -4*h - 2*q + 5. Is h not equal to f?
True
Let d = 0.514 + 497.486. Let b = 767 - d. Which is smaller: 0 or b?
0
Let p = -56267 + 25376429/451. Is p less than -1?
False
Let y = 4440 + -4446. Let o = 165/2 + -87. Is o greater than y?
True
Let u = 7.3 + -7. Let g = u - 0. Let f = 69846 + -69847. Is f at most g?
True
Let a(q) = -239*q - 1468. Let k be a(-6). Are k and -36 nonequal?
True
Let f be -4 - (4 - 13)/((-3)/(-3)). Suppose 4*q - 5*q = f*l + 8, -2*l = 2*q. Let c = -10 - -19/2. Which is smaller: q or c?
c
Suppose 5*r - 289 = 3*h, 2*r - 4*h + 268 = 7*r. Suppose 3*b = -8 + r. Let d = 140 - 123. Do d and b have different values?
True
Let u = -191 + 79. Let b = u + 845/8. Which is bigger: -6 or b?
-6
Suppose 2*d + 4*t = t - 15, -5*t - 25 = 2*d. Let x(w) = w**3 - w**2 - 2*w - 21. Let f be x(d). Let s be (1 + 9/6)*f/(-70). Which is smaller: s or 0?
0
Let v = -23/1828 - -423247/33929508. Is v bigger than 0?
False
Let r be (2/(-5))/(4/40). Let i = 36 - r. Let b(g) = -2*g + 17. Let f be b(-12). Is f > i?
True
Let t be (-1)/(-3) - (2596/66 + -23). Which is smaller: t or 23/11?
t
Let i = -3998 + 1087457/272. Which is smaller: i or 0.2?
i
Let y = 47506 + -524258/11. Let r = 154 + y. Is 30 > r?
True
Suppose -2*t - 2*n = 4090, 4*n = -3*t - 2182 - 3954. Let b be 6 - (-4 - t/203). Which is 