18. Is z composite?
True
Let k be 6*(-2 - (-7)/3). Suppose 7*t = v + 3*t + 158, v - k*t + 164 = 0. Is (-3)/(6/v) - 0 prime?
False
Suppose 0 = 8*i - 1046 - 110658. Is i prime?
True
Suppose l - 5*s - 2041 = -3*l, -3*s - 15 = 0. Suppose -11*k + 7*k = -l. Is 63072/k + (-6)/(-14) composite?
True
Let s be -1*-227*(2 + -1). Is s + -3 + (-5 - -4) composite?
False
Let x(l) = 2*l**3 - l**3 - 11*l + 219*l**2 + 10 - 230*l**2. Is x(13) composite?
True
Suppose 0 = -5*p, 135 = -5*l - 6*p + p. Let c = l + 22. Is (c/(-20))/(1/764) prime?
True
Suppose -2*r = 0, 4*s + 5*r - 4*r = -3880. Let h = s + 4173. Is h composite?
False
Suppose 0 = -132*g + 124*g + 696296. Is g prime?
True
Let z be 33/7 + 4/14. Suppose 2254 = -z*k + 504. Let o = k - -597. Is o prime?
False
Let x be 6/(-21) - 16*3/(-21). Suppose 269 = x*r + v - 248, r = -5*v + 272. Is r a composite number?
False
Suppose 2*u = 1 + 5. Suppose 2*j = u*j + 40. Let z = -21 - j. Is z composite?
False
Is (2 + -8)*(-1 + -999) - -7 composite?
False
Suppose -5*x + 277885 = -4*q, 4*x - 222308 = 22*q - 23*q. Is x prime?
False
Suppose d + 4*a = 44233, 44230 = -10*d + 11*d + 5*a. Is d a prime number?
False
Let k(s) = -3*s**3 - 3*s**2 + 3*s + 7. Let x be k(-3). Suppose x*j = 54*j - 1874. Is j composite?
False
Let g = 8 - 8. Suppose g = 2*t - 6*t + 2084. Is t a composite number?
False
Let t(z) = 6*z**3 - 6*z**2 - 8*z + 7. Let s be -4 - (0 + 2 + -12). Is t(s) a prime number?
True
Suppose -2*b - 2410 = 3*b. Let t = b + 1553. Suppose -2197 - t = -4*y. Is y a prime number?
False
Let p(l) = 25846*l**2 - 6*l + 25. Is p(2) prime?
False
Is 3/(-12)*-14*112638/21 prime?
True
Suppose 0 = -5*p + 3*w + 58, -2*p + 0*w + 16 = -3*w. Suppose p*t - 11*t - 9219 = 0. Is t a prime number?
False
Suppose 10644 = 4*h + 4*m, 0 = h - 2*m - 850 - 1799. Is h a composite number?
False
Let d(s) = -6*s**3 - 11*s**2 - 7*s + 3. Let i(x) = 5*x**3 + 12*x**2 + 8*x - 3. Let h(p) = 4*d(p) + 5*i(p). Is h(-14) prime?
False
Suppose -2*s = 2*s - 40. Let d(r) = -3*r - 11. Let k(v) = -4*v - 11. Let w(j) = -3*d(j) + 2*k(j). Is w(s) a prime number?
False
Let t = -1037 + 1799. Suppose -4*n + 3*p + t = -n, -2*n - 3*p = -523. Is n a prime number?
True
Let g = -42 + 2728. Suppose 0 = 4*d, 4*s = 6*s + 5*d - g. Is s a composite number?
True
Suppose -2*t + 5752 = -4*u - 3644, -t + 5*u + 4707 = 0. Is 1/(-4 - t/(-1172)) prime?
True
Suppose 5*j - h - 32 = 0, 0*j - j + 4 = -h. Suppose -4*x - 3*d - 1 = -3*x, -d = x + j. Let m(w) = w**3 + 10*w**2 - 6*w - 7. Is m(x) prime?
True
Suppose -3*x - 15 = -4*u, -4*u - 3*x + 0 = 15. Suppose w - 7 = -u*k - 2*k, -11 = -3*k - 2*w. Suppose 0 = -2*p - k*l + 167, p - l = -3*p + 313. Is p composite?
False
Let z = 0 + 47. Suppose 4*n = 3*n + z. Let u = n + 116. Is u composite?
False
Let x be (2 - 12)/(-1 - 92/(-88)). Let y(a) = -a**3 - 5*a**2 + 3*a + 1. Let z be y(4). Let p = z - x. Is p a prime number?
True
Let c be (-3 - 20/(-8))*0. Suppose 3*i - 17 + 5 = c. Suppose -i*g - 5*q = -19, 0 = g - 6*g + 3*q + 33. Is g a composite number?
True
Suppose 31*y - 56297 - 44484 = 0. Is y prime?
True
Let l(p) = -18*p**2 - p. Let r be l(-1). Let u = -13 - r. Is 45/u + 7/(-28) a composite number?
False
Let q(m) = -157*m**3 + m + 2. Let l be q(-1). Is (l/(-2))/((-8 + 4)/4) prime?
True
Let c = 2870 + -1753. Is c composite?
False
Let a(r) = -r**3 + 27*r**2 + 3*r - 10. Let o be a(19). Suppose 0*h - o = -5*h. Is h prime?
True
Let k(f) = -2*f**3 - 4*f**2 + 6*f - 10. Let a be k(7). Let m = a - -3279. Is m a composite number?
True
Let b(o) = 490*o**2 - 26*o - 151. Is b(-5) prime?
False
Suppose -3 + 8 = 5*x. Let l(d) = 76*d + 3. Is l(x) a composite number?
False
Suppose 0 = -8*x + 81818 - 3682. Is x a composite number?
False
Let q(s) = -s**3 + 26*s**2 + 55. Is q(18) a prime number?
True
Let p = -300 + 596. Let k = 594 - p. Is k composite?
True
Let i = 408 - -386. Is i composite?
True
Let d = -2338 - -4887. Suppose 4*q - 5*a + 2851 = -548, -4*a = -3*q - d. Let x = q + 1260. Is x a composite number?
False
Let d = -4436 - -8415. Is d a composite number?
True
Suppose 9348 - 96808 = -20*h. Is h a composite number?
False
Let r = 20 + -20. Is 688 - r - 5/(-5) prime?
False
Let j = 197769 - 109328. Is j a composite number?
True
Is (78170/50)/((-4)/(-20)) a composite number?
False
Suppose 0 = 2*x + 3*h - 4323, 5*x + 5*h = 9313 + 1487. Is x prime?
False
Suppose t + 3*g = 118, 2*t + 0*t + 4*g = 226. Suppose f = -t + 252. Is f a composite number?
False
Suppose -3*w + i + 46 = 0, 3*w - 2*w = 2*i + 12. Suppose w*q - 701 = 15*q. Is q a prime number?
True
Is (6 - (6 - 0)) + 2055/3 a composite number?
True
Let r = 146 - 100. Let h = r + -66. Let n = -13 - h. Is n a prime number?
True
Suppose 5*x - b - 2928 = 0, -2*x = b - 265 - 902. Suppose 5*q + x = 4*o - 279, -2*o + 4*q = -432. Let u = o - 151. Is u a prime number?
False
Suppose 4 = 3*j - 17. Let c = 11 - j. Is (c/(-6))/(8/(-1716)) prime?
False
Suppose 3*v - 16 = -a, 0 = -2*a - 2*a + 4. Suppose 29 = -4*b + 3*t, -v*b + t + 0*t = 28. Let o(h) = -5*h - 4. Is o(b) prime?
False
Let d = 5817 + -2894. Is d composite?
True
Let y(d) = 2*d**3 - d**2. Let k be y(0). Suppose k = -5*u + 692 - 57. Is u composite?
False
Suppose 0 = -v - 2*a + a + 9, 4*v + a = 21. Let o be v/1*(-10)/4. Is (1996/6)/(o/(-15)) a prime number?
True
Let z be 2/((-76)/(-40) + -2). Let d = z - -321. Let v = 768 - d. Is v a composite number?
False
Suppose -254677 = -13*z - 49836. Is z prime?
False
Suppose -6*k = -10*k - 16, k + 1070 = 2*q. Is q a prime number?
False
Let b(h) = 25*h - 15. Let x be b(-8). Let a be x/20 + 2/(-8). Let v = 248 - a. Is v prime?
False
Let t = -77306 - -126735. Is t a composite number?
False
Let m = 6 - 3. Suppose -6*k = -4*b - 3*k + 7325, m*b + 2*k = 5515. Is b prime?
False
Suppose 3666 + 6645 = 3*z. Is z a prime number?
False
Let o = 669 - 463. Let q = 1425 - o. Is q a prime number?
False
Is 80/(-32)*(-2 - (-2424)/(-1)) a composite number?
True
Suppose 0 = 7*d - 40 - 16. Is 804/d*8 + -2 prime?
False
Let r = -16666 - -42755. Is r composite?
True
Let v be 3/(-9)*9*-1. Suppose -5*x + 2*b + 907 + 378 = 0, -2*x = -v*b - 514. Is x a composite number?
False
Suppose -1334370 - 2460712 = -62*r. Is r composite?
False
Let s = -446 + 1689. Is s prime?
False
Let m(s) = -3*s - 72. Let g be m(-25). Suppose 60 - 537 = -g*z. Is z a composite number?
True
Let n(h) = -2*h**3 - 7*h**2 + 10*h - 10. Let f = -26 + 28. Suppose -2*w = f*r + 16, 1 = w - 3*r + 5. Is n(w) prime?
True
Let n = 7 - 5. Suppose 810 + 1080 = 9*c. Suppose -3*d + 1068 = 5*j, n*d + c = j - d. Is j prime?
False
Suppose 6*i + 17 = 341. Is (-12)/i + 4256/36 a composite number?
True
Is -1*(-8 + 9) - -14663 a composite number?
True
Let n = 74 + 109. Let q = 402 - n. Is q prime?
False
Suppose -52*h = -64*h + 50748. Is h a prime number?
True
Let k = 2 + 0. Suppose -o + 21 = 4*y - 4, o = -k*y + 15. Suppose 3*n = 3*u + o*n - 475, 2*u - 334 = 3*n. Is u prime?
False
Let a = -340 - -1821. Is a a prime number?
True
Let a(d) be the third derivative of -d**4/24 + 211*d**3/6 - 25*d**2. Suppose 4*s = 3*s. Is a(s) prime?
True
Let v be (-4 + 1)*25825/(-15). Suppose v = 7*m - 2248. Is m prime?
False
Let u be ((-40)/15)/((-4)/18). Let v(y) = 100*y - 13. Is v(u) composite?
False
Let k(j) = -j + 5*j**2 - 4*j**2 + 4*j**2. Let z be k(2). Suppose -l + 4*q = -26, -l + q + z + 14 = 0. Is l a prime number?
False
Let r be (-110)/(-30) - 4/6. Suppose 0 = 2*g - r*g + 78. Suppose -277 = -b - g. Is b a composite number?
False
Let f(r) = -r**3 + r**2 + 6848. Let j be f(0). Suppose 0*p + 5*p = -3*s + j, 4109 = 3*p + 2*s. Is p a prime number?
False
Let j(q) = q**3 - 15*q**2 + 13*q + 17. Let m be j(14). Let s = m + -1. Suppose -2*g + 4*f = -98, 4*g - 187 = s*f + 27. Is g a prime number?
False
Suppose 2*u = 4687 - 1235. Is u a composite number?
True
Let t = 80218 - 55731. Is t prime?
False
Let b be (2 + -2)/2 + -1056. Let x = 1874 + b. Let d = -495 + x. Is d a prime number?
False
Suppose 28*m - 59511 = 88021. Is m composite?
True
Let x = -25 + 1. Is -3 + x/(-9) - (-7892)/6 a composite number?
True
Let l = -36 - -66. Let u = l - -29. Is u a prime number?
True
Suppose -13347 = 2*q + 5*m, 5*q = 2*m - 20063 - 13348. Is q/(-15) - (-3)/5 a composite number?
True
Let f(j) be the first derivative of j**3/3 - j**2/2 + 19*j + 21. Is f(14) compos