Is p(0) composite?
False
Let y(s) = -s**3 + 7*s**2 + 8*s + 3. Suppose 3*d = -d + 32. Let i be y(d). Suppose i*g = -2*g + 2*o + 1535, 2*g = 4*o + 614. Is g prime?
True
Let o(r) = r**3 - 6*r**2 + r - 2. Let s be o(6). Suppose 4*v = s*i + 1644, 5*i = 5*v - v - 1644. Is v a composite number?
True
Let r = 1548 + 845. Is r prime?
True
Suppose 0 = -5*b - 5, -4*n - 14936 = -8*n + 4*b. Is n composite?
False
Let u be (14/35)/(1/(-480)). Let j = u + 270. Let s = j + 28. Is s a composite number?
True
Suppose 0 = 5*j + 4*o - 20710 - 23275, -8797 = -j - 4*o. Is j composite?
True
Is 152/(-38) - 8410/(-2) composite?
False
Let m(d) = 2*d**3 - 28*d**2 + 25*d + 23. Is m(20) composite?
False
Suppose -2*v + 3*v + 162 = 0. Let b(j) = -231*j - 2. Let w be b(-1). Let d = w + v. Is d a prime number?
True
Let a = -18 + 36. Suppose -a*y + 15*y = -693. Suppose 5*j - 2*j = y. Is j a composite number?
True
Is ((-4478)/8)/(((-15)/(-24))/(-5)) a composite number?
True
Suppose 0 = -6*q + 21815 + 18619. Is q composite?
True
Suppose -7*d + 5*d = -4. Suppose -g = -3*j + 15, -d*g - 2*g - 44 = -4*j. Is (8 + g)/(1/(-31)) composite?
False
Let k = -12813 + 27332. Is k a prime number?
True
Let i(h) = 3*h. Let f be i(-1). Let v(d) = -d**3 - 3*d**2 - 3*d - 4. Let l be v(f). Suppose -725 = -5*m + 3*z + 222, -5*m - l*z + 915 = 0. Is m composite?
True
Suppose 22529 = 3*s - 4*b, 2*b - 7175 = -4*s + 22849. Is s prime?
True
Let b(r) be the second derivative of -65*r**3/6 + 2*r**2 + 9*r. Let z be b(-3). Let t = z + -137. Is t prime?
False
Let r(u) = -45 - 5*u - 2*u**2 + 36 - 4*u. Let t be r(-4). Is 254 - (1 + 1 + t) a prime number?
True
Let c be 0 + (664 - 3) - -4. Suppose -13*x = -6216 + c. Is x a composite number?
True
Let d = -191 + 408. Suppose -2*c = d - 1791. Is c a composite number?
False
Suppose -22*x + 690 = -16*x. Is x composite?
True
Suppose u + 9 = 4*u. Suppose -2*q - 150 = -4*a, 3*q + 2*q = -u*a + 132. Suppose -5*n + a = -2*n. Is n a prime number?
True
Let x = 204 - 9. Suppose v + 2743 = 3*z, 5*v = -2*z + 2001 - x. Is z composite?
True
Suppose 3*q - 5*l = 277 + 324, 3*l - 782 = -4*q. Suppose 0 = -3*o + 253 + q. Suppose b + 0*p - 2*p = 85, 2*b + p - o = 0. Is b prime?
False
Let m(b) = -695*b - 7. Let i(f) = -f - 1. Let p(u) = 6*i(u) - m(u). Let q be p(1). Is q/9 + 1/3 a composite number?
True
Let i(q) = 5*q - 1. Let c be i(3). Suppose 762 = -c*f + 20*f. Is f a composite number?
False
Suppose 4*w + 2 + 30 = 0. Suppose j + 163 + 40 = -5*r, -727 = 4*j + 3*r. Is (j/w)/((-1)/(-4)) prime?
True
Suppose 5*h + k = 32, 2*k + 2*k = 5*h - 47. Let t(z) = 66*z**2 + 10*z - 7. Let y be t(h). Is 4*(y/(-12))/(-7) a prime number?
True
Let i = -1201 + 1692. Suppose -3*m - 2*g = -i - 154, 0 = -4*m + 5*g + 860. Is m composite?
True
Let n(c) = -624*c**3 + c. Let l = -80 - -79. Is n(l) a prime number?
False
Let i = -2 - -4. Suppose -i*f + 4*u - 3*u = -502, 0 = 2*f - 5*u - 518. Is f a prime number?
False
Suppose -126070 = -2*t - 8*t. Is t a prime number?
False
Suppose 11*t - 18*t = -18529. Is t prime?
True
Suppose 12*o = 6*o + 38022. Is o a composite number?
False
Is 48993/5 - 5 - 3/5 a prime number?
False
Let s = -7 - -10. Suppose 1907 = s*k + 680. Is k a composite number?
False
Suppose -655 = 7*h - 12*h. Let b = h - -896. Is b a composite number?
True
Suppose 5 + 22 = 9*d. Is d*27708/45 + 1/(-5) composite?
False
Suppose -4*a - 71 - 661 = 2*s, -736 = 4*a + 4*s. Suppose 5*t + 25 = 0, 2*p + 103 = 2*t - 137. Let i = p - a. Is i a prime number?
False
Let v be (-2 + (-5)/(-15))/((-2)/6). Suppose -d - b - 1014 = -v*d, 0 = d - 2*b - 250. Is d a prime number?
False
Let k = 8737 + -5624. Is k prime?
False
Suppose 0 = -4*b - 4*n + 500196, b - 5*n - 146824 + 21751 = 0. Is b prime?
True
Let p be (2/3)/(3/54). Suppose -p = -3*g - 15. Is g/(4/(-376)*2) a prime number?
True
Let s(b) = 17*b**2 - 4*b + 4. Suppose 3*y + 19 = 5*w, 0 = -2*y - 8 + 2. Suppose 0 + 10 = -w*r. Is s(r) composite?
False
Suppose 24120 = 8*i + 8904. Is i/(-8)*2*(-1 + -1) a composite number?
True
Let w(d) = d**3 + 4*d**2 - 5. Let p be w(-4). Let l(j) = 85*j**2 + 6*j + 4. Is l(p) a prime number?
True
Let l(j) = 7*j - 3929. Let i(v) = -4*v + 1964. Let w(p) = -5*i(p) - 3*l(p). Is w(0) prime?
False
Let d(h) = 614*h**3 - h**2 + 12*h - 23. Is d(2) a prime number?
True
Let q(o) = 2*o**2 - 2*o - 11. Let n be q(4). Let y = n - 16. Is (-3)/y*2 - -125 prime?
True
Suppose 3*g + 5*b - 2*b + 36 = 0, g + 42 = 5*b. Let w = 96 + g. Suppose 4*q - 3*q = w. Is q prime?
True
Let x = 52 - 50. Is (-5)/5 - (1 - x) - -254 prime?
False
Let m(z) = 3604*z + 79. Is m(3) a prime number?
True
Let j(t) = t**3 - 2*t**2 - 2. Let b be j(3). Let n(r) = -5*r**2 - 15*r + 1. Let s be n(-3). Is s/4*4*b a prime number?
True
Let u(o) = 27*o**3 + 2*o**2 - 6*o + 5. Is u(4) composite?
False
Suppose -2*h + 0 = 8, 5*h - 19303 = -9*r. Is r a composite number?
True
Suppose 0 = -3*g - 4*o + 20181, -2*g + 11527 + 1920 = 5*o. Is g prime?
False
Let i(b) = 11 + 0*b + 1 + 8*b - b. Let h be i(-11). Let a = h + 192. Is a a composite number?
False
Let n be 4/(-14)*7*(2 - 3). Suppose 2*x = 3*r - 3745, -n*r + r - 3*x + 1252 = 0. Is r a prime number?
True
Let n be -1 - (-2 + 529/(-1) + 0). Let w = n + -361. Is w a composite number?
True
Suppose 646559 - 131631 = 16*r. Is r a composite number?
False
Let f(l) be the third derivative of 1/2*l**3 + 0 - 7/12*l**4 + l**2 + 0*l. Is f(-11) prime?
True
Let h(b) = 3*b**2 - 3*b + 1. Let n be ((-16)/12)/(2/18). Let u be 8/(-3)*18/n. Is h(u) a composite number?
False
Suppose 324*n - 323*n = 1619. Is n prime?
True
Let m be ((-22)/3)/1*(-8 - -5). Let n(i) = -i**2 + 8*i - 4. Let z be n(7). Is (1 - z)/(m/(-4081)) composite?
True
Suppose -4*u + 16 = -2*u. Let d(o) = -o**3 + 8*o**2 - 2. Let q be d(u). Is -37*q*1/2 composite?
False
Suppose -a - 5 = -z, -2*a - 45 = a + 3*z. Is 49917/6 + a/4 prime?
True
Let v(c) = 36002*c + 67. Is v(2) a composite number?
True
Let s(r) = -12*r**3 - 11*r**2 - 13*r - 13. Is s(-5) a composite number?
False
Let j(n) = -139*n**3 - 2*n**2 - n - 4. Let y be j(-3). Suppose -4*f - 20 = 0, y = 3*p + 5*f - 2688. Is p composite?
True
Suppose 24*h + 2382856 = 80*h. Is h prime?
False
Let w(k) = k**3 + 4*k**2 - 4*k + 8. Let c be w(-5). Suppose -c*r + 11079 = 3606. Is r a composite number?
True
Let j(o) = 19*o**2 - 10*o + 134. Is j(-19) a prime number?
False
Let z(t) = -4*t**3 - 4*t**2 + 10*t - 13. Let r be z(-8). Is r/9 - 2 - (-30)/135 composite?
True
Let c = -2518 - -16569. Is c a composite number?
False
Suppose 5*j - 282 = 1398. Suppose u = -2*t + 864, 4*t = -u + j + 1394. Suppose l - t = -5*i, i - 5*l - 74 = -l. Is i a prime number?
False
Let p = 37182 + 6713. Is p prime?
False
Suppose -3*d + d = -32. Suppose 0*w + d = -w. Is (-2250)/(-4) + w/(-32) a prime number?
True
Suppose -4*k + 21879 - 7580 = -3*u, 0 = -k - u + 3566. Is k a composite number?
False
Suppose 7*f - 3*f + 547 = -5*i, 444 = -3*f + 3*i. Let g = f + 214. Suppose -4*n + g = -197. Is n a prime number?
True
Let v be (6/(-9))/(2/3). Let z be (3*v)/(6/(-148)). Let t = z + -19. Is t composite?
True
Let z = -893 + 4680. Is z prime?
False
Suppose 0 = 9*h - 12*h. Suppose -3*n - 5*n + 280 = h. Is n prime?
False
Let l(g) = g**2 - 5*g - 6. Let n be l(-16). Let h = n + -173. Is h prime?
True
Let x = -4 + -5. Let b = 14 + x. Suppose -7*r = -b*r - 898. Is r prime?
True
Is (-3)/(-5 + -3*39884/(-23934)) a composite number?
False
Suppose -40 + 55 = -5*s, 3*a = -2*s + 3105. Is a a composite number?
True
Suppose -30 = -5*u - 0*u. Is (u + -2)*894/24 prime?
True
Let i = 22 + -20. Let k be ((-1584)/(-32))/((-1)/i). Is 3 - (k - (-2 + 3)) a composite number?
False
Let j(f) = -f**3 + 2*f - 46. Let p(r) = 2*r**3 - 5*r + 92. Let o(c) = -7*j(c) - 3*p(c). Let s be o(0). Suppose -3*a = -s - 161. Is a prime?
False
Let p(d) = 2*d - 16. Let q be p(13). Let h = q + -13. Is (0 + -3)/h*563 a prime number?
True
Let p = 34 + -19. Suppose 0 = -2*r - r + p. Suppose i - 38 = -5*w + 81, 5*i = r*w + 595. Is i prime?
False
Suppose -4*c - c = -4*y - 11, -1 = -y + 5*c. Let f be 6/(-9)*156/y. Suppose -f = -q + 57. Is q composite?
False
Suppose 8707 + 1395 = 2*x. Is x a prime number?
True
Suppose 4*v + 2946 = 2*y, -5*v + 7395 = y + 4*y. Is y composite?
True
Suppose -3*y = -b - 3, b + 7*y = 4*y - 9. Let o be b/6 - 2330/(-2). Suppose 0*l - 5