2 - 7 - 22*d + 14*d**2 + d**3 + 5*d. Is z(k) prime?
True
Suppose 1524826 + 3803555 = 117*m + 140*m. Is m a composite number?
True
Suppose -3*c - 3*r = -769294 + 129526, 5*c + r - 1066308 = 0. Is c a composite number?
False
Let p(w) be the second derivative of -896*w**3 + 15*w**2/2 + 2*w + 40. Is p(-3) a prime number?
False
Suppose 6*m = -r + 4*m + 10, 2*r + 5*m = 23. Is 106*3/r*(-12306)/(-63) a composite number?
True
Suppose -85767 - 147951 = -6*t. Is t prime?
True
Suppose -2696 = 4*t - 3252. Is t a prime number?
True
Let s(b) = -3*b**3 - 83*b**2 + 26*b - 62. Let v be s(-28). Is 7 - (7 + v) - -3253 a prime number?
True
Let p(m) = m**3 + 19*m**2 + 33*m + 30. Let x be p(-12). Suppose -9*t + x = -8340. Is t a prime number?
False
Let k(c) = -c**2 - 6*c + 7. Suppose -3*y = -r - 7, -3*r + 35 = -8*r + 5*y. Let p be k(r). Suppose 7*j - 5*j - 236 = p. Is j a composite number?
True
Suppose 5*i = -4*t + 26, 4*t - 14 = 3*i - 2*i. Is i/20 - (-198897)/30 - 1 a prime number?
False
Let p(j) = -6*j**3 + 16*j**3 - 10*j**2 + 15 + 6*j + 20*j - 22. Is p(6) composite?
False
Let b(j) = -6*j**2 + 47*j + 8. Let x be b(8). Suppose -18*y + 347291 - 93365 = x. Is y a composite number?
False
Suppose 3*j = -3*u + 1335966, -30*j + 22*j - 1781348 = -4*u. Is u prime?
False
Let j(s) be the second derivative of s**5/20 + 11*s**4/12 - 7*s**3/3 - 11*s**2 - 7*s. Let o be j(-12). Suppose b - 711 = o*w, -4*w - 8 + 4 = 0. Is b prime?
True
Let b be 2/(-1)*(-3)/6. Let k be 296/56 - ((-27)/(-21) - b). Is (-2215)/(15/k + -4) a composite number?
True
Let n(t) = 2*t - 25. Let k be n(5). Let f(d) = -5*d**2 - 15*d + 7. Let o(z) = z**2 + z - 1. Let i(s) = -f(s) - 4*o(s). Is i(k) composite?
True
Let z(a) = 1738*a**2 + 71*a - 164. Is z(-21) a prime number?
False
Let s be 6/4*4/(-6) + 1. Suppose s = -6*q - 0*q + 6744. Suppose -1641 = -5*d + q. Is d composite?
True
Let i(q) = 1117*q**2 + 7*q + 22. Let t be i(-5). Suppose 0 = 12*y - 6*y - t. Suppose -y = -3*x + 2419. Is x a prime number?
True
Let s(t) = -15*t**3 + 2*t**2 - t + 4. Let a be s(-4). Let r = 2678 - a. Is r composite?
True
Suppose 184 + 52 = 59*z. Suppose -3*i + w = -52016, 0 = 2*i + z*w - 9559 - 25123. Is i composite?
True
Let y = 457 - 158. Let s(a) = -4 + 1 - 171*a + y*a. Is s(2) a prime number?
False
Let q be 3 + 19/1 - 0. Suppose -146 - q = -7*f. Is 12/32 - (-6207)/f a composite number?
True
Suppose -4*v + 3*a = 1, 22 = -4*v + a + 27. Is 37*(3 + v - -8) composite?
True
Suppose -24*y + 7883 = -23*y. Suppose -g = -0*g - 1, 3*o + 2*g = y. Is o a composite number?
True
Let a(b) = -281443*b + 606. Is a(-1) a prime number?
False
Let y(w) = -13*w**2 + 4*w**2 + 1 - 3*w + 11*w - 40*w**3 - 17*w. Is y(-5) a prime number?
False
Let l be 5165/3 + (-5)/(-15). Let n be 2/(-5) + (-440)/(-100). Suppose 2*v = -n*i + l, v + 3447 = 5*v + 5*i. Is v composite?
False
Suppose n - 12 = -10. Suppose n*w + 54 = 36. Is (175/(-63) - -3) + (-10807)/w composite?
False
Suppose 0 = 28*b - 2539 - 48757. Suppose 0 = 5*u - y - 30809 - 1148, 4*u = -5*y + 25554. Suppose -u + b = -5*d - 2*i, 0 = 3*d - i - 2731. Is d composite?
False
Suppose 5*d - 5*w - 536704 = -6*w, d - 2*w = 107343. Suppose 31*l - 54*l + d = 0. Is l a prime number?
False
Suppose 2*c = 2*g - 6997586, -23*g + 27*g - 13995200 = -3*c. Is g prime?
True
Suppose -3*w - 100611 = -3*p, -w + 37016 - 3471 = p. Is p a composite number?
True
Suppose -2*y + 2*n = -3830, 0*y = y + 4*n - 1890. Suppose -49*m = -44*m - y. Is m a composite number?
True
Let x be (11 + (-14 - -9))*4264/6. Let m = x + 2623. Is m a composite number?
True
Let p(c) = 5198*c**2 - 46*c + 243. Is p(7) a composite number?
False
Suppose -11*w + 36 = w. Suppose 8803 = 4*v - w*u - 0*u, 0 = 2*u - 6. Is v prime?
True
Let q(w) = w**3 + 36*w**2 - 26*w + 44. Let s be q(-36). Let a = s + 227. Is a a composite number?
True
Let w(s) = -s**3 - 4*s**2 + 8*s - 16. Let k be w(-6). Suppose k*q - 68045 = -9781. Is q a prime number?
True
Suppose w - 64 = -3*w. Suppose -2*o = o - t - w, 2*o + 1 = 3*t. Is ((-4)/(o/(2779/2)))/(-2) prime?
True
Let r(x) = x - 28. Let n be r(28). Let g(b) = b**2 - 447. Let y(v) = 2*v**2 - 446. Let a(h) = -3*g(h) + 2*y(h). Is a(n) composite?
False
Suppose 7*f - 12*f = 14*d - 19332324, 2*d = -5*f + 2761752. Is d composite?
False
Suppose 31*u - 34*u = 4*d - 200389, d - 200395 = -3*u. Is u a prime number?
False
Let q(n) be the first derivative of -99*n**2 - 23*n - 20. Let m be q(-9). Suppose 5*c + s = -3*s + m, -4*c + 1432 = -3*s. Is c prime?
False
Is ((-8789736)/144 + (-3)/(-9))*4/(-6) a prime number?
True
Suppose x - 12*x = -22. Let d be (-1)/(x/838)*-4. Let r = 2465 - d. Is r a composite number?
True
Let k = -33284 + 74473. Is k composite?
False
Let z = 35930 + 131801. Suppose 62*p - z = 21*p. Is p composite?
False
Suppose -48*t - 45*t - 2635813 = -112*t. Is t a prime number?
True
Suppose 4*d + 5*y = 2176 - 4, 4*d - 3*y - 2172 = 0. Suppose 3*l - 7508 = -o, -5*l + 2*o - d = -13060. Is l a prime number?
True
Let q(u) = -u**2 + 12. Let k be q(-3). Suppose -15 = k*b - 8*b. Suppose 0 = b*p - 291 - 876. Is p a prime number?
True
Let z(q) = 3*q + 27. Let m be z(9). Suppose 0 = 2*g - 916 - m. Suppose 0*x - g = -x. Is x prime?
False
Let m = -777 - -1206. Let i = 1280 + m. Is i composite?
False
Let y = 46 + -36. Let i be -103 - (y/35 - (-12)/7). Is 254/(-3)*i/10 - 0 prime?
False
Let r = -1057 - -2852. Let x = r - 324. Is x a composite number?
False
Let c = 739 - 739. Suppose 304*m - 305*m + 11467 = c. Is m composite?
False
Suppose 150*f = 158*f + 109872. Let l = f + 24265. Is l a prime number?
True
Suppose -1755955 + 5058 = -103*n. Is n composite?
True
Suppose -5*b + 465757 = -4648*y + 4652*y, -4*b = -y - 372614. Is b composite?
True
Let q(p) = -1627*p - 24. Is q(-61) prime?
True
Suppose 4*z - 433592 = -4*c, 62*z - 3*c - 325212 = 59*z. Is z a composite number?
False
Is 96/(-16) - 21/((-779086)/259693 + 3) composite?
True
Is (-2 + 0 - -121279) + -57 + 53 a composite number?
True
Suppose -204 = -28*r - 6*r. Is ((-183366)/90)/(r/(-5) - -1) a composite number?
True
Is (-2)/(-3) + -15 + 67631160/36 a composite number?
False
Let m(y) = 89*y + 23. Let o be m(3). Suppose 86 = 4*p + o. Is (-17)/p*1*3603 composite?
False
Let g = 88 + -102. Let n(u) = -u**2 - 13*u + 20. Let l be n(g). Suppose 5*k = 5*w + 425, -5*k + 4*w - l*w = -404. Is k a composite number?
True
Let l(r) = -14 + 10 - 16 - 9*r - 5. Let h be l(-3). Suppose 0 = -h*a + 4*n + 3306, -3*a + 3*n - 670 = -5635. Is a prime?
True
Suppose 2*r + 99 = 5*r. Let z(c) = r - 715*c - 585*c - 26. Is z(-3) prime?
True
Suppose 11*u - 7*u - 20 = 0. Suppose -3440 + 330 = -u*a. Is a a prime number?
False
Suppose -70 = -5*t + t + y, -42 = -2*t - 3*y. Is ((-22642)/8)/(t/(-360)) a prime number?
False
Let x(y) = 207*y + 17. Let u be 16/(-3)*6/(-4). Is x(u) a composite number?
True
Suppose 2*t + 619404 = 6*t - 4*g, -2*g = -4. Is t prime?
False
Let y(d) = -d**3 - 8*d**2 + 7*d - 16. Let w be y(-9). Suppose 0 = 2*u + w, 8*u - 13*u = -4*b + 5. Let q(c) = -c**2 - c + 158. Is q(b) a prime number?
False
Let m(y) = -77*y - 97. Let k(j) = j**2 + 18*j + 61. Let f be k(-13). Is m(f) prime?
True
Let y be (100*-1)/(28/(-14)). Let n(f) = 3*f**2 - 26*f + y*f - 36*f - 19. Is n(14) composite?
False
Let s be 2*(14/(-8) + 54/(-72)). Let m(r) = 864*r + 31. Let y(b) = 576*b + 21. Let a(l) = s*m(l) + 8*y(l). Is a(3) a prime number?
True
Let f(c) = -325*c - 3124. Is f(-149) prime?
False
Suppose 10*o - 9*o + d + 2 = 0, -7 = o + 2*d. Suppose -8 = -2*h, -g - 5*h + o*h = -4917. Is g composite?
False
Let r = 6540 + 46541. Is r a prime number?
False
Let y(o) = 2*o**3 - 30*o**2 + o - 14. Let w be y(15). Let v(h) = 2524*h - 7. Is v(w) composite?
True
Suppose -4*p + 11 = -4*k - 5, 0 = 5*p + 4*k - 20. Suppose 4*h = p*n - 464, 0*n - 3*n + h + 342 = 0. Is n a composite number?
False
Suppose 2*p + 76492 = -4*u, 0 = -u + p - 9665 - 9455. Let d = -10749 - u. Is d prime?
False
Let j be 1758/14 - 33/(-77). Suppose -5*g - 150 = -3*n - 2*n, j = 4*n - g. Suppose 5*t - 77 = p + n, -2*t + p = -46. Is t a composite number?
True
Let z(d) = d**3 + 12*d**2 - 2*d - 22. Let b be z(-12). Is (20 + b)*28/8 a prime number?
False
Suppose -4 = -4*y, s + 5*y + 8159 = -s. Let l = 1187 - s. Is l a composite number?
True
Let r = 234 - 237. Is (1 + -1)/(-3) + (r - -1952) a co