i be (g/18)/(2674/2667 - 1). Does z = i?
False
Let y = 2.7 - 15.7. Let b be ((-16)/6)/(410/(-15)). Let l = 25/164 + b. Is y less than or equal to l?
True
Suppose 33*y = -128*y. Is 1/7204 at most as big as y?
False
Let y(q) = q**3 - 10*q**2 - 3*q + 29. Let j be y(10). Let k = 0.426 + -0.4. Is j > k?
False
Let z be (39/(-12) - 7)*(-2)/3. Is z < 7?
True
Suppose -5*s = 3*b - 518, 3*b - 532 = -13*s + 15*s. Suppose -27*k + 23*k = b. Let o = 95 + -139. Do k and o have different values?
False
Let v be -9*3/(-27)*(16/4 + -4). Which is greater: -3961 or v?
v
Suppose -5*u + u = 16, 0 = 4*m - 3*u - 1380. Suppose 2*s = -142 + m. Is s at least as big as 100?
True
Let c = 331 + -465. Let d = -134 - c. Is 0 bigger than d?
False
Suppose -3397 = -11*u + 3038. Let c = u - 166726/285. Is c > 0?
False
Let l = -0.68 - 107.32. Let w = -108.03 - l. Is w != 0.04?
True
Suppose -83*v = -5*v. Is v greater than -9/2390?
True
Let t = 1503/46 + -283697/8418. Is t greater than -1?
False
Let q(o) = 2*o**3 + o**2 - 4*o - 4. Let s be q(4). Let d = 9325 + -9442. Let g = s + d. Is 5 equal to g?
False
Let k(f) be the third derivative of -f**4/8 + 83*f**3/6 - 27*f**2 - 2*f. Let v be k(16). Suppose 0 = -4*r + 179 - 31. Is v greater than r?
False
Let w = 954 + -950. Suppose -b - 1 = -6. Suppose -w*u = -b*u - u. Are u and 12/13 unequal?
True
Let f(z) = 8*z**2 - 126*z - 7621. Let s be f(-24). Suppose -168 = -4*w + 2*w. Let q be 4/6 - w/(-9). Which is greater: s or q?
s
Let i = -0.8805 + -0.1195. Suppose 0 = 4*g - 5*v + 43, -44 = -0*g + 4*g - 4*v. Let b be (g/8)/(3/(-44)). Is i greater than or equal to b?
False
Let q = -50 - -55. Suppose -408 = -q*u + 2. Let a = u + -72. Is a equal to 2?
False
Let v = -43.58 + 59.7. Let k = 16.1 - v. Let s be (0 + 0 + -1)*3. Which is greater: s or k?
k
Let g = 4.4 + 17. Let w = 21 - g. Let m = 2/19 + 15/38. Which is smaller: m or w?
w
Let l(y) = -5*y**2 - y + 6. Let n(b) = b**3 - 14*b**2 - 2*b + 17. Let c(m) = 8*l(m) - 3*n(m). Let k be c(-1). Let z be (k - (12 + -4))/3. Is -2 <= z?
True
Let b be 4*(-45)/(-12)*22/110. Let y be 3/3 - (1 + -3). Suppose -5*o - b*l + 2*l = -140, -y*o + 96 = 3*l. Are o and 27 nonequal?
False
Suppose -5*r + r + 10 = -2*n, -r + 4*n + 20 = 0. Let y be (4/(4/(-8)*2))/(-12 + -9). Which is bigger: r or y?
y
Let r(t) = -t**3 + 7*t**2 - t + 3. Let j be r(7). Let l be (j/(-16))/((-21)/8). Let g = 4271 + -4271. Is l <= g?
True
Let w = 22 - 19. Let h be (w - 3) + 2/(-7). Suppose -15*f - 188 = 262. Which is smaller: h or f?
f
Suppose -5*q = -10*x + 7*x + 15, 3*q = -x - 9. Let c be q/(-5)*((-11 - 2) + 23). Which is greater: 1/4 or c?
c
Suppose -4*n - 1 = 5*b - 22, 0 = -4*b + 4*n + 24. Suppose 0 = -b*d - 4 + 229. Which is smaller: d or 44?
44
Let t be (-3)/(-12) - 6/(-8). Let y be (-3504)/216 + 0 + -2. Let m = y - -1637/90. Which is smaller: m or t?
m
Let d = 935.13 + -939. Let s = -4.17 - d. Which is bigger: 24 or s?
24
Let a be (3/5)/(32/320). Let q be 64/(-48)*9/a. Let v = -8 + 4. Which is smaller: q or v?
v
Let b be (621/117)/3 + (-18)/(-78) + 34. Let u = -598 + 1904/3. Are b and u nonequal?
True
Let v = -44 + 59. Let u be 61/35 + 6/v. Let a be ((-1)/(-3))/((-5)/(-45)). Which is smaller: a or u?
u
Let s = -3/1658 + 7048/829. Is s at most as big as 8?
False
Let v = -834.1 - -834. Let f = -25.4 - -25. Let p = f + 3.7. Is v smaller than p?
True
Let v be -1*(1 + 4/(-12))*(-6)/(-16). Is -8/125 less than or equal to v?
False
Let k(c) = c**2 - 28*c - 163. Let v be k(33). Let r be -9 - (v + 1692/(-117)). Does 3 = r?
False
Let r = 2300 - 2336. Let b be -2 - (-16)/42 - 56/(-196). Is b >= r?
True
Let i = -192 - -369. Let f = -177.04 + i. Let v = -2.7 + 0.7. Is f smaller than v?
False
Let z = 25/241 + -46879/1205. Which is smaller: z or -2/33?
z
Let i = 3.236 - -5.464. Are i and 11/5 unequal?
True
Let y be (-54383)/15876 + 3 - 3/(-7). Suppose -3*g = 20*g. Which is greater: y or g?
y
Let h = -46 - -108. Suppose 4*x - 3*x = -h. Let c be (70/(-10)*-1 - 9)*31. Are c and x equal?
True
Let f(j) = 2*j**2 + 2*j - 4. Let i be f(-3). Let y(b) = b**2 + 3*b - 18. Suppose -23*z + 4*z = 133. Let p be y(z). Is i equal to p?
False
Suppose -5*m + 5*t = -55, 6*m = 4*m + 5*t + 37. Let d be (-2)/m*(-6)/(-106). Which is bigger: -1 or d?
d
Let w = 224 + -235.7. Let g = 5 + w. Let m = g - 41.3. Which is greater: m or 1?
1
Let q(i) be the third derivative of 149*i**4/12 - i**3/6 - 37*i**2. Let u be q(1). Suppose 0 = 6*o + u - 15. Is o smaller than -48?
False
Let c = 0.025 - -22.975. Let q = 1.68 + -5.68. Which is greater: q or c?
c
Suppose -4000 = v - 4*t, 0 = v + 5*t + 5781 - 1781. Which is bigger: v or 2?
2
Let t(k) = -k**3 + 2*k**2 + 7*k + 585. Let c be t(0). Let p = 544 - c. Which is bigger: -5 or p?
-5
Let f be (96/1176)/(19 - 675/175). Let j(p) = 0 + 2 - 3 + 2*p**2. Let w be j(1). Which is smaller: f or w?
f
Let n = -785.51 + 781. Let r = -0.79 + n. Let l = 5.5 + r. Which is bigger: l or 24?
24
Let v = -3557 - -3506. Which is greater: 15 or v?
15
Let s = 952 - 951.628. Let l = s - 0.402. Is -51 greater than l?
False
Suppose -75 = 70*o - 93 + 368. Do -54/11 and o have the same value?
False
Let a = -53165/8 - -6643. Is 19 equal to a?
False
Suppose 4*q + 4*f = q + 86, -5*f + 88 = 3*q. Suppose c + 5*p = -24, -104 = -c + p - 68. Is q < c?
False
Let j be (-2)/11 + 114216228/(-61380). Let p = -1861 - j. Suppose -5*w - 5*u - 9 = 1, 5*w - 3*u = -2. Which is greater: w or p?
p
Let m(g) be the first derivative of -g**4/4 + 11*g**3 + 71*g**2/2 - 44*g + 161. Let v be m(35). Is v smaller than -12?
False
Let h(x) = 5 - 11*x**2 + 4 + 12*x**2 + 8*x. Let s be h(-6). Let u be 91/(-231) + (-2)/s. Which is bigger: u or -1?
u
Suppose -3*w + 16 = -3*p + 34, -5 = w. Is p greater than or equal to 55/47?
False
Let h(q) be the second derivative of 2*q**2 - 1/6*q**4 + 8*q - 2*q**3 + 0. Let j be h(-9). Does -51 = j?
False
Let y(p) = 16*p - 72. Let o be y(3). Let v be ((-66)/88)/((-27)/o). Which is bigger: -20.8 or v?
v
Let d = 596 + -600. Let m be 5/(34/6 + d) - 3. Which is bigger: m or 2/5?
2/5
Let z(c) = -85*c + 528. Let i be z(6). Suppose 0*d + d = 43. Let s = d - 26. Is s less than or equal to i?
True
Suppose -66*m + 52*m + 64*m = 0. Is m less than -33/152?
False
Suppose -5*a - z = -0*z - 69, 59 = 4*a - 3*z. Suppose 8*k = 166 - a. Is k less than or equal to 2/7?
False
Suppose -817 + 352 = -15*q. Suppose 0 = -33*h + 71 + 1216. Which is bigger: q or h?
h
Let v = 9 - 8.6. Let p = -152.4 + 0.4. Let t = p - -159. Which is greater: t or v?
t
Let t = -551393/7 - -78903. Let u = 133 - t. Let c(d) = -2*d**3 + 2*d**2 + 10*d - 13. Let r be c(2). Is u smaller than r?
False
Let n = -129/181 + -647/362. Is n at most as big as -3.48?
False
Let s be (-4 + 7)*(-31)/(-465). Suppose -2*g + 2*l = -2, -g - 3*l + 17 = g. Let k be (2*(-1)/g)/2. Is k at most as big as s?
True
Let m = 21509 - 21513. Let l = -267/5 + 1679/35. Which is smaller: l or m?
l
Let q(g) = g**3 + g**2 - 3*g + 1. Let v be (-1)/(-3) + -5 + (-2)/(-3). Let u be q(v). Let a = 239 + -275. Is u less than a?
False
Let a = 7324 + -7393. Is -121 bigger than a?
False
Let l = -39 - -192. Suppose l - 154 = -m. Which is greater: m or -1/70?
m
Let v = -448 + 355. Let m(r) be the second derivative of -r**4/4 + 3*r**3/2 - 4*r**2 + 13*r. Let w be m(7). Which is greater: v or w?
w
Let p be (-262456)/1855 + (2/10 - 0). Let u = p + 141. Which is smaller: u or -1/4?
u
Let f = -0.5 + 0.4. Let c = -32.657 - -71.657. Is c >= f?
True
Suppose 1 = -3*m + 16, m = -2*k - 121. Let v = k + 62. Which is smaller: v or -2/107?
v
Let h = -2533 - -40495/16. Which is smaller: h or 2/7?
h
Suppose -6 = 3*s, -4*u + 3*s + 9 = -17. Suppose u*q = 3*m - 202, -q - 3*m = -0*m + 44. Are q and -38 non-equal?
True
Let a be (-2 - 3938)/(-2) - 0. Let p be (-147977)/75 - (6 + -7)*3. Let b = p + a. Is -1 not equal to b?
True
Suppose 45*z - 6089 = 1921. Suppose 2*o = x + 358, 2*o = 3*o - x - 180. Is z at most o?
True
Let b = -261 + -119. Let l = 383.1 + b. Is l < -3/5?
False
Let h = -9289/90207 + 25/257. Let t = -2/13 - h. Let n be (-6 - (-7 + 1))/1. Which is smaller: t or n?
t
Let c = 890 - 11068. Which is greater: c or -10180?
c
Suppose 82*m + 9920 = 20*m. Which is greater: -158 or m?
-158
Suppose -3*b = -5*z - 3 + 38, 0 = -3*z - 3*b - 3. Suppose 0 = z*t - t - 30. Is 3 at most as big as 