 -u. Is n composite?
True
Is -717*((-56)/24 - 12) a prime number?
False
Suppose 2*k + 2 = 26. Suppose -9 = -3*q + 2*n + 8, -3*n - k = 0. Let l(u) = 230*u + 1. Is l(q) a composite number?
False
Suppose -3*p = -4 - 2. Let i be (2 + -12)/(p/(-1)). Suppose -43 = 5*m - 3*n - 1151, i*m - 1102 = -3*n. Is m prime?
False
Let x(c) = 37*c - 6. Suppose -1 = -h - 2*t, -35 = -5*h - 0*h + 5*t. Let v be x(h). Suppose -u + v = -0*u. Is u a prime number?
True
Suppose 24 = 3*b + 6. Let q(a) = 7 - a**2 - 5 + 5*a + b + 1. Is q(6) a prime number?
True
Let d = 33408 - 17018. Suppose t + 9*t - d = 0. Is t prime?
False
Let p(h) = -5 - 2*h + 4*h**3 - 2*h - 3*h**3 - 4*h + 13*h**2. Let u be p(-6). Suppose -c + u = 36. Is c a prime number?
False
Let r(l) = -6033*l + 328. Is r(-3) prime?
True
Suppose 18*x - 428504 - 42970 = 0. Is x composite?
True
Suppose 1751 + 3325 = 3*b. Let t be 2/4*b/9. Suppose q - t = -q. Is q a prime number?
True
Let y be ((-10)/20)/(1/4). Let v(o) = -46*o - 7. Is v(y) prime?
False
Let k be 22/4 + (-81)/(-54). Suppose 0 = 2*o - 181 + k. Is o a prime number?
False
Let c = 566 + -312. Let v = c + 435. Is v composite?
True
Is (6/4)/((-6)/(-63436)) a composite number?
False
Suppose 3*v = 51 + 15. Is 92*(2 + 1 + v/8) prime?
False
Is (-2 + 1)/(1/(-4703)) prime?
True
Suppose -2*w = -5*d - 130342, -49*d = -46*d + 12. Is w a prime number?
False
Is (970 + 89 - (3 + 0)) + -7 prime?
True
Let o(r) = r**3 + 8*r**2 + 8*r - 2. Let m be o(-7). Let q be (-2)/m + 224/126. Let u(y) = 20*y**3 - y**2 - y + 1. Is u(q) prime?
False
Let f(i) be the third derivative of i**5/5 + 17*i**4/24 - 3*i**3 - 23*i**2 - i. Is f(-8) prime?
False
Suppose 12*l = -10*l + 1335730. Is l prime?
False
Suppose 3 = -k + 4*p - 1, 10 = k + 3*p. Suppose k*f = -3*w + 14, 2*w + 3*w - 12 = -f. Suppose 0 = -w*i + 190 + 768. Is i prime?
True
Let f(l) = 37*l**2 + l + 103. Is f(-24) composite?
False
Let r be (5/(-1) - 15616) + -4. Let n = r + 23340. Is n prime?
False
Let b(q) = q**2 - 13*q + 7. Let r be b(13). Let k be (9*-1)/(6 - r). Is 2/k + (-5705)/(-45) a composite number?
False
Let o be (-1)/(-10) - 6545/(-50). Let w = 79 - -27. Let b = w + o. Is b prime?
False
Let c be 1 - 2*-44*4. Suppose -4*t - 143 = -2*t - 3*o, 3*o = 5*t + c. Let g = 147 + t. Is g prime?
False
Let b(w) = -347*w**3 - w**2 - 2*w - 1. Suppose 2*j = y + 5*j + 11, -7 = 2*y + 3*j. Suppose 5*s = -y - 1. Is b(s) a prime number?
True
Let w(m) = -m**2 - 22*m - 2. Let b be w(-20). Suppose -748 = -2*f - 2*r, 4*f - r + b - 1549 = 0. Is f a prime number?
False
Let o = -33 + 35. Suppose 458 + 320 = o*p. Is p prime?
True
Let c(j) = 2337*j - 185. Is c(22) composite?
False
Let z = -44 + 43. Is (2 + -3)/((-6)/(z - -4615)) a composite number?
False
Let d(s) = 6*s**2 + 6*s + 1. Let q(o) = -5*o**2 - 5*o - 1. Let r(p) = 7*d(p) + 6*q(p). Is r(7) prime?
True
Suppose -2*a = -h + 2744, -3*h + 2978 = -5*a - 3884. Let w = a - -2071. Is w a prime number?
True
Suppose 156 = -6*j - 276. Let d = 7 - j. Is d a prime number?
True
Let h = -7 - -7. Let k be -2 + h/(-3) - 0. Is -7*9/6*k composite?
True
Let v = 93 - -164. Is v prime?
True
Let n(p) = 1545*p + 119. Is n(4) a prime number?
True
Let p(t) be the first derivative of -43*t**2/2 - 7*t - 7. Is p(-3) prime?
False
Let w = 25 + -19. Is 2/w + (-7070)/(-21) a composite number?
False
Let b(q) = -2*q**2 + 5*q + 7 + 2*q**2 - 3*q + 6*q**2. Is b(-6) a prime number?
True
Let z be (4/3)/(-1 - 519/(-513)). Suppose 3*f - z = f. Is f a prime number?
False
Suppose 3*g - 359 = 7189. Suppose -10*t = -6*t - g. Is t a prime number?
False
Is ((-21089)/(-2))/((-56)/(-16) + -3) a composite number?
False
Let z be (-10)/4*(-32)/20. Suppose 5*p = -z*f + 2*f + 19, 3*f - 5*p = -34. Is (-2)/1 - (-94 - f) prime?
True
Suppose 2*n + 22 = 6*d - 2*d, -d - 5*n - 22 = 0. Suppose 3614 = d*p - p. Is p a composite number?
True
Suppose -5*j = f - 6 + 2, 2*j - 12 = -3*f. Suppose -5*n - 590 = c - 1517, 0 = 3*c - f*n - 2705. Is c a composite number?
False
Let s be 2 + (0 + -1)*-3. Is 5*2/s + 56 a prime number?
False
Let z(l) = 30*l**2 - 34*l - 51. Is z(19) composite?
False
Suppose 31*t - 4917 - 14086 = 0. Is t prime?
True
Is (-1711608)/(-120)*(2 - -3) prime?
True
Let c(q) = 48*q + 32. Let d be c(-15). Let g = 1064 + d. Let z = g + -83. Is z a prime number?
True
Let r(z) = 19*z**2 + 4*z + 8. Let j be r(-6). Let p = j + -127. Is p composite?
False
Suppose 0 = 4*h + 2*p - 22650, p = -24 + 23. Is h a prime number?
False
Let b(n) = -196 + 114*n**3 - 5*n + 201 - n**3. Is b(2) a prime number?
False
Suppose 0 = 15*f - 249428 - 46027. Is f a prime number?
True
Is ((-42372)/(-77) + -3)*7 a prime number?
False
Let l be 0/(-2 + (-4 - -4)). Suppose -2*o + 4*r + 146 = l, 0 = -0*r + 3*r - 6. Is o a composite number?
True
Let u(w) = 2*w**2 - 8*w + 23. Is u(5) composite?
True
Let h(r) = -3*r - 2. Let c be h(-5). Let p = c - 2. Is (422/(-10))/(p/(-55)) prime?
True
Suppose -3*q + 8 = -q. Suppose 4*p - q*h + 7*h = 396, 0 = 3*h. Suppose -s = 3*m - p, 0 = -2*s - 4*m + 201 + 5. Is s a prime number?
False
Is (2/(-6))/(-1) - (-46370)/30 prime?
False
Let l = -9292 - -5818. Let d = -1421 - l. Is d composite?
False
Let t = -71 - -70. Is 444 - (-4)/(-4) - (-2 + t) a prime number?
False
Let k(l) = -l**2 + 23*l + 37. Is k(18) prime?
True
Let t(p) = 113*p**3 - p**2 - 3*p + 1. Suppose 4*b + 6 = 2*l + l, -5*l = -4*b - 10. Is t(l) a prime number?
False
Suppose 9*g = 10*g - 124. Suppose 2*r - g = 310. Is r composite?
True
Let d(u) = 81*u**3 + 8*u**2 - 75*u + 7. Is d(6) a prime number?
True
Let p(f) = f**3 + 12*f**2 + 9*f - 3. Let z be p(-8). Let s = 150 + z. Is s prime?
True
Let l(t) = 2*t**3 + 7*t**2 + 2*t - 12. Suppose 0 = -5*b + 15 + 20. Is l(b) prime?
True
Suppose -10*x + 9277 + 11833 = 0. Is x prime?
True
Suppose 5*l = -57 + 157. Let o be l/(-70) - 5352/(-14). Suppose -3*d + o - 49 = 0. Is d prime?
False
Suppose 2*b + 4*o - 4555 = -b, 2*b = 2*o + 3060. Suppose -u + b - 618 = 0. Is u a prime number?
True
Suppose v = 5*l - 25, 2*v + 3*l = -v - 111. Let u = v - -23. Let x = 31 + u. Is x composite?
False
Let s = 1056 + -359. Let w = 1000 - s. Suppose -2*p + w = 2*t + 3*p, 3*p = -2*t + 301. Is t a prime number?
True
Let m(x) = x**3 - 9*x**2 - 3*x + 9. Let j(k) = -k + 21. Suppose 2*u + n + 17 = 4*u, 4*u - 59 = -3*n. Let c be j(u). Is m(c) a prime number?
True
Suppose 4*n + u - 34662 = -4*u, 3*n + 4*u = 25997. Is n a prime number?
True
Let j(y) be the first derivative of 11*y**2 + 15*y - 2. Let q = -45 + 56. Is j(q) prime?
True
Let m(d) = 2306*d - 23. Let p be m(7). Suppose 0 = 3*r + 4*f - 9673, 5*r + 0*f - p = -4*f. Is r a prime number?
False
Let u be 9/(24/(-27) - -1). Let m = u + -10. Is m prime?
True
Let f(u) = u**3 - u**2 - u + 2. Let s be f(2). Let m(c) = -c**3 + 3*c**2 + c. Let k be m(s). Is 2/((-8)/k) - -3 a composite number?
True
Let a be 1/((-3)/6)*-1. Let t(q) = 78*q**2 - q - 2. Let b be t(a). Suppose 4*k - b - 1184 = 0. Is k a prime number?
True
Let g = 3 + 1. Suppose 0*m = -g*m - 4. Is ((2 - m) + 0)/1 composite?
False
Suppose 3*g = -4*u + 18417, -4*u - 1 = 11. Is g composite?
False
Suppose 3*s = -14 - 55. Is (s - -25)/((-4)/(-178)) a prime number?
True
Let f be 2*(5 + -8 + 4). Let c(g) = g**3 - 2 + 14*g + 0 - f*g**2 - 12*g. Is c(7) composite?
False
Let g(y) be the third derivative of y**6/120 + y**5/3 - y**4/24 + 11*y**3/6 - 23*y**2. Is g(-11) a prime number?
False
Let z(p) = 2*p**3 + 11*p**2 + 5*p + 2. Let k be z(-5). Suppose k*c = -2*w - c, 0 = c. Suppose w*i = 3*b + 5*i - 707, 0 = -5*i - 10. Is b prime?
True
Let t(k) = -k**3 + 4*k**2 + 2*k + 2. Let q be t(4). Let f = 12 + q. Suppose -y - 3*p = -f, -p + 205 = 5*y - 5*p. Is y a prime number?
True
Let g be 25/10*(7 + -1). Suppose 31 = 4*n + n + 2*f, 0 = 5*f - g. Suppose n*l - l = 508. Is l a composite number?
False
Let y = 1943 + 608. Is y composite?
False
Let l be (-3 + -8)/((-3)/51). Let i be -10 - -7 - -1*3. Suppose a - l = -i*a. Is a a composite number?
True
Is (2 + -4)/((-22)/113179) a prime number?
True
Let a(r) be the first derivative of 93*r**2/2 + 10*r + 14. Let n be a(10). Is n - ((-4 - -2) + -1) a composite number?
True
Let a(t) be the second derivative of 2*t**3/3 - 6*t**2 - 9*t. Let v be a(16). Let n = -21 + v. Is n composite?
False
Is 4*6/(-48)*7142/(-1) prime?
True
Suppose -t + 2*t + 236 = 0. Let b = 520 + 