 -t - 280662 = -18*z + 16*z. Is z a prime number?
True
Let b = 71370 + 68045. Suppose 44*x = 49*x - b. Is x a prime number?
True
Suppose 2*o - 2 = 5*s, 7*s - 11*s - 4 = -o. Is (3 + s)*(10418 - -9) a prime number?
True
Let v be (28274/(-4))/(8/(-48)). Suppose 0 = -7*t - 1132 + v. Is t composite?
False
Suppose 5*q = k + 257035, -k - 102814 = -202*q + 200*q. Is q composite?
False
Let d be (-6)/(2 - (-35)/(-10)). Is (-1 + 2)/(-3 + d) - -1870 prime?
True
Let s(j) = 181*j. Let o(t) = -132*t + 1 - 564*t - 210*t. Let y(h) = -2*o(h) - 11*s(h). Is y(-3) composite?
True
Let m(v) = v**3 + 13*v**2 + 23*v + 14. Let u be m(-11). Suppose u*f - 15453 = -6*f. Let q = f + -1176. Is q composite?
False
Let o be 4/(-22) - 11/(363/(-6)). Let g(m) = 2 + 36*m + 16*m**2 - 3 + 3*m**2 + o. Is g(-18) a prime number?
True
Let u = 267 - 729. Let v be -1 - -64*-1*18. Let r = u - v. Is r composite?
False
Suppose 6588684 = 1249*w - 1213*w. Is w a composite number?
True
Suppose 179*l - 189*l + 1648070 = 0. Is l prime?
False
Let y(l) = -l + 26. Let w be y(22). Suppose -7*g = -w*g - 315. Is (-14)/g - 31487/(-15) a composite number?
False
Let u(m) = -m**3 + 19*m**2 - 20*m + 41. Let o be u(18). Suppose 2*r - 1706 = 5*q, -r + o*q + 27 + 826 = 0. Is r a composite number?
False
Suppose 2*p = k + 322796, -3*p + 484203 = 158*k - 155*k. Is p a prime number?
False
Let z(o) = o**2 - o - 10. Let n be z(6). Let g be (n/(-20))/(-1*(-1)/(-4)). Suppose s = -g*s + 6645. Is s a composite number?
True
Let l(k) = 182754*k**2 + 264*k + 265. Is l(-1) a prime number?
False
Suppose 835821 = 41*v - 1804292. Is v a prime number?
False
Let n be (6 - 2)*14/8. Suppose -n*g - 2*g = -89109. Is g a prime number?
True
Let h = 2188 + 2815. Is h composite?
False
Let a = 8611 - 5081. Suppose 67*i - 57*i = a. Is i a prime number?
True
Suppose -538855 = -13*y + 87030. Is y composite?
True
Suppose 13*v + 7570 = -10344. Let d = v + 4341. Is d composite?
False
Suppose -57 = -3*a - 2*x, -4*a + x + 82 = a. Let i = 32 + a. Suppose -2*l - 5*t + i = 0, 2*l - 3*l + t + 42 = 0. Is l a composite number?
False
Let n = 7081 + -276. Suppose -200*l = -195*l - n. Is l prime?
True
Let l be (3/(-2))/(8/16 + -1). Is ((-324276)/24 - -13)/(l/(-2)) a composite number?
False
Suppose 82650 = 57*t - 47*t. Suppose -2*x - 4*n + 8137 = -t, 0 = 4*x + n - 32811. Is x a prime number?
False
Suppose 5*p + 3*j - 8*j + 90 = 0, 5*p = -2*j - 76. Let t(b) = -b**2 + 8*b - 11. Let z be t(5). Is p/(-4) - -614 - z a composite number?
True
Let a(r) = 652*r - 51. Is a(10) a prime number?
True
Let h = 101411 - 21724. Is h a prime number?
True
Let g = 65 + -39. Let w = 30 - g. Suppose -357 = w*l - 6977. Is l prime?
False
Suppose 26*t = 27*t - 6. Suppose -35 = -t*o + 217. Let u = o + 436. Is u prime?
False
Let h = -75 - -86. Suppose -a + 0*d + h = -4*d, -5*a + 55 = -d. Suppose 397 = -10*i + a*i. Is i a composite number?
False
Let k be (-1 - (-4)/3) + (-13307)/(-3). Suppose l - 3*w - k + 1077 = 0, 0 = -5*l + 5*w + 16775. Suppose 13442 = 4*q - 2*c, -l = -q + c - 3*c. Is q composite?
False
Suppose -5 = -5*r + 5*v, 12*r = 17*r - 4*v - 7. Suppose -3*q - 5435 = -4*z, -13*z + 18*z - r*q = 6796. Is z a composite number?
False
Let z = -27 + 35. Let t be ((-2)/4*-2)/(z/56). Suppose 2*q + 4445 = t*q. Is q prime?
False
Suppose 73 - 63 = 5*x. Suppose 0 = 2*u + x*m - 6920 - 5176, 4*u - 5*m - 24219 = 0. Is u a prime number?
False
Suppose 5*m = 5*a, 0 = -4*m + 32 - 16. Suppose 0 = 3*p - 6, -f - 1219 = a*p - 4840. Is f prime?
True
Let z be (2 - -7)/(2/4). Suppose -z*j = -10*j - 36376. Is j a prime number?
True
Suppose -5*u - 23*j - 35 = -18*j, -2*u - 23 = 5*j. Is ((-227276)/56)/(0 + 2/u) prime?
True
Suppose 13 = -14*g - 225. Let k(t) = -t**3 + 11*t**2 + 19*t - 28. Is k(g) prime?
True
Let v(s) = -s**2 - 14*s - 43. Let r(w) = -w**2 - 15*w - 8. Let l be r(-15). Let f be v(l). Is (-4)/(-70)*f + 1769/7 composite?
True
Let n(b) = b**2 - 14*b - 17. Let t be n(15). Let z be (-100)/(-15)*(46 - t). Let y = z - 51. Is y prime?
True
Let s = 5503 + -2460. Let h = s + -2052. Is h prime?
True
Let z(r) = -2017*r - 1791. Is z(-28) composite?
True
Suppose 3*l + 8*r - 18833 = 3*r, -3*l = 3*r - 18825. Let y = l - 3692. Is y prime?
True
Let w(u) = -u**3 - 12*u**2 + 13*u + 9. Let h be w(-13). Suppose -h*p - 423 = -63. Is 2/((1/1198)/(p/(-32))) composite?
True
Suppose -8*f = 667578 - 2881442. Is f a composite number?
True
Is 55260 - 250 - 2/(-1)*(-2)/4 a prime number?
True
Let c(x) = x + 22. Let q be c(-12). Suppose 3*l = q*l - 791. Let a = l + -2. Is a composite?
True
Let f = -386 + 138. Let z = f + 5475. Is z a composite number?
False
Let a(l) = -3*l**2 + 28*l + 9. Let j be a(10). Let n be 6 + -2 - 22/j. Suppose 2*k = 4*v + 622, -5*v + n*v = -5*k + 1533. Is k composite?
False
Let l(s) = 426*s**2 + 15*s - 84. Let z(h) = 3*h**2 + 52*h + 22. Let m be z(-17). Is l(m) prime?
False
Let y(f) = -10*f - 26. Let a be y(-4). Suppose 30437 = o - 3*g, -11*o + a*o - g - 91343 = 0. Is o a composite number?
False
Suppose 10*j - 264526 - 1425424 = 13880. Is j a composite number?
False
Is (1 + 13/((-39)/(-6)))/(3/541613) a prime number?
True
Is (-728)/104*(-1 + -12840) prime?
False
Let t be 1/(-4)*(19 + -27). Suppose 3*j - t*d = -2422, -3*j = j - 4*d + 3236. Is (j/15)/(12/(-5) - -2) composite?
True
Let q(y) = 9*y - 69. Let m be q(7). Is -4 - ((-5446 + 2 - m) + -1) a prime number?
False
Let p be 2/(-10) + (-576)/45. Let i be p/(-39) - 1/3. Suppose -4*w + 4 + 4 = i, -5*h + 573 = 4*w. Is h prime?
True
Let w(o) = -65*o**2 + 4*o - 9. Let c(b) = -b - 1. Let s(a) = -3*c(a) - w(a). Is s(-5) composite?
True
Let u(k) = -3*k - 8. Let y be u(-7). Is 2/y + 3/(78/52438) a composite number?
False
Let v(g) = -g**2 + 10*g + 5. Let w be v(11). Let m be 5*(-1 + 4*w/(-15)). Suppose -3*s - m*q = -1593, -507 = -s + 9*q - 4*q. Is s prime?
False
Is ((-3718930)/4)/(-5) + (-278)/(-556) composite?
False
Is ((-4)/(-6))/((-1536)/(-72) + -22)*-16447 prime?
True
Let w be 65448*-7*5/(-70). Is w/15 + 1 + (-6)/(-15) a prime number?
False
Let t(m) = 179*m**2 + 12*m - 87. Let k be t(7). Suppose -2*h = -2*i - 5844, k = -6*h + 9*h - 5*i. Is h a composite number?
True
Suppose -3*t + 2*f + 147 = 146, 3*t - 29 = -5*f. Suppose 2*m - q - t*q - 3102 = 0, 0 = -m - 5*q + 1516. Is m a composite number?
True
Let w(n) = 112*n**2 + 73*n + 117. Is w(44) composite?
True
Let u(g) = 11968*g - 387. Is u(13) prime?
False
Let j(h) = 27*h - 18. Let y(z) = -28*z + 19. Let d(u) = -5*j(u) - 6*y(u). Let q be d(6). Let v = q - -623. Is v composite?
False
Let r(a) = 361*a**2 + 7*a - 4. Let b(q) = q - 1. Let j(p) = 4*b(p) - r(p). Let s be j(1). Let n = s + 579. Is n prime?
False
Suppose -2*r - 2*q = -811828, -43*q + 405932 = r - 48*q. Is r a prime number?
True
Suppose 2*p + 14 = -4*v, -v = 2*p + 3*p - 1. Let j be -2 - (-694 + 0 + p). Is 5/(-15)*0 + j prime?
True
Let w = -202 - -199. Is ((-4)/w)/((-68)/(-36006)) prime?
False
Suppose 2*l = -4*f - 0*l + 2, 0 = 4*l - 20. Let u(d) = 526*d**2 + 13*d + 17. Is u(f) composite?
True
Let c be ((6656/6)/8)/(6/522). Suppose -20*a = c - 50684. Is a a prime number?
True
Let h(q) = 578*q - 6. Let b be h(7). Let w = b - 2839. Is w a composite number?
False
Let p be (-52808)/(-26) + 19/(-247). Let a = p + -670. Is a prime?
True
Let q(m) = 97*m**2 + 4*m - 5. Let r = -187 - -189. Is q(r) composite?
True
Let y(j) = -j**3 + 7*j**2 - 50. Let d be y(5). Let z = 4 + -2. Suppose -2*s - 474 = -4*x, 3*x - z*s = -d*s + 356. Is x composite?
True
Let i(d) = -d**3 - 26*d**2 + 7*d + 9. Let h be i(-21). Let p = h - -5867. Let n = p + -1818. Is n a prime number?
False
Is (-6144472)/(-26) + 14/91 - (-4 - -7) prime?
True
Suppose 2*x = 2*r + 7*x - 27, 0 = -3*r + 4*x + 6. Let o be ((0 - r) + 3)*(-5)/3. Suppose -m = o*m - 966. Is m composite?
True
Suppose m - 264822 = -m + 4*n, 4*m = 3*n + 529619. Is m a prime number?
False
Suppose -119290 + 15909903 = 71*y. Is y prime?
True
Let o(b) = 15*b**3 + 48*b**2 - 31*b + 1. Is o(24) prime?
False
Let w = 17 + -10. Suppose -w*c + 4*c = -3960. Suppose a - 1332 = -4*n + 3*a, a = -4*n + c. Is n composite?
False
Let p = -8671 - -5119. Is -1*(-4 - -2) - p a prime number?
False
Let n(c) = 3456*c**2 - 86*c + 399. Is n(5) prime?
True
Suppose -5*p - 4*g + 17272 = 0, -2*g + 3808 = -2*p + 10724. Suppose m = -p + 16979. Is m a composite 