Suppose 4*a - 2192 - 60 = i. Is a a prime number?
True
Let l = 10422 - -5323. Is -4*l/(-50) - (-6)/(-10) composite?
False
Let k(m) = 29*m**3 + 13*m**3 - 10*m**3. Let i be k(1). Let n = 42 + i. Is n a prime number?
False
Suppose -h - p + 4*p = -692, 0 = 3*h + p - 2106. Is h a composite number?
False
Let d(f) = f**2 - 3*f - 7. Let j be d(4). Let a = 116 + -57. Is (-2 - (j + 1)) + a a composite number?
False
Let z = 7721 + -5142. Is z prime?
True
Is 3 - (6 - 9) - -313 prime?
False
Is 1651 + 6/(3/3) prime?
True
Let u(q) = -4*q**2 - 6*q + 21. Let r(c) = 5*c**2 + 7*c - 21. Let h be (-1 - -4) + 18/9. Let x(n) = h*r(n) + 6*u(n). Is x(0) prime?
False
Suppose 4*i = -10 + 82. Is (-3)/i - (-24594)/36 a composite number?
False
Suppose 5*p = -3*k + 18011, -12018 = -2*k + 71*p - 69*p. Is k a composite number?
False
Let f(h) = -104*h + 201. Is f(-14) a prime number?
True
Suppose -15*p = -13*p - 28966. Suppose -4*r = -2*r - 2*w - 5790, 5*r - p = w. Is r a composite number?
False
Suppose 2*n + 28 = 30. Is (2*n)/(1712/(-286) + 6) prime?
False
Let k(u) = -96*u + 22. Let l be (14/21)/(3/(-54)). Let a be k(l). Let x = a + -435. Is x a prime number?
True
Let k = 498 - -1095. Suppose k = 5*l - 3322. Is l a prime number?
True
Let u(i) = i**3 + 23*i**2 - 40*i - 123. Is u(25) prime?
False
Suppose 2*t = t - 244. Let w(f) = f**3 - 14*f**2 - 3*f - 33. Let s be w(14). Let u = s - t. Is u a prime number?
False
Let s be ((-9)/(-6))/(1/(-2)). Let c(b) = -23*b**3 - 5*b**2 - 2*b + 1. Let i be c(s). Is (-2)/(-9) + i/9 a prime number?
False
Let g = 38 + -23. Suppose 33 + g = 4*u. Suppose -3*q - u = 0, 3*s - q = 4*q + 26. Is s composite?
False
Let k be ((-3)/(-3) + 2)*-1. Let z be 4 - (k - 21/3). Is (-502)/3*(-21)/z prime?
True
Is (-2 - 3) + -14 + 1820 prime?
True
Let v(m) = m**2 - 12*m + 34. Let y be v(9). Suppose -y*h + 2237 = -10440. Is h prime?
True
Let b = 11 + -6. Suppose 3*q - b = 4*q. Let v = 48 + q. Is v a composite number?
False
Suppose p + 32 = 5*p. Let r be (2/(-1))/(4/p). Is 23 - (2 - r)/3 a composite number?
True
Let k(l) = -25*l**2 + 6*l - 3. Let o(q) = -26*q**2 + 7*q - 4. Let b(z) = -5*k(z) + 4*o(z). Is b(-1) composite?
True
Let l be ((-3)/2)/(3/24). Let n be 4/((-16)/l) + 126. Suppose 0 = -i - 34 + n. Is i a prime number?
False
Let y be ((-12)/5)/((-2)/30). Is (y/(-27))/(4/(-8394)) a prime number?
False
Let j(z) = -z + 3. Let d be ((-21)/28)/((-1)/8). Let k be j(d). Is (-1407)/2*2/k a prime number?
False
Suppose 4*w + 2*x = x + 27, -x - 5 = 0. Let n be (4 - w - -2)*-472. Let s = n - 627. Is s composite?
False
Let a = -452 - 223. Let r = 214 - a. Is r composite?
True
Suppose 4*z - 433 = -5*v, -z + 374 - 21 = 4*v. Is v a prime number?
True
Suppose -p - 27031 + 82980 = 0. Is p a composite number?
False
Let a(j) = -6*j**2 - 5*j + 5. Let m be a(4). Let c = 410 + m. Is c a prime number?
False
Let d(g) = 23*g**3 - 3*g**2 + 4*g + 5. Let r be d(-3). Let m = -452 - r. Is m composite?
True
Suppose 4*m - 25 = -5. Is ((-100192)/20)/(-4) + 3/m a prime number?
False
Let c(b) = 4*b**2 - 14*b + 5. Suppose -u + 2 = m - 4, -4*u - 2*m = -32. Is c(u) composite?
True
Let v(m) = 2*m**3 - 56*m**2 - 65*m - 62. Is v(33) a prime number?
False
Let y(d) = 192*d - 227. Is y(24) composite?
True
Let t be 3/(1*(-2)/14). Let c = 18 + t. Is -2 + c + 170*2 a prime number?
False
Let y = -501 + 3944. Is y a prime number?
False
Is (-198)/(-1089) + (-1823919)/(-11) prime?
True
Let o(n) = 4*n + 12. Let v be o(-3). Suppose 2*i = -3*h - v*i + 951, -2*i - 1282 = -4*h. Is h a prime number?
False
Let p(y) = -52*y**3 + y**2 - 2*y. Let z(w) = -2*w**3 + w**2 - 1. Let f be z(1). Let b be p(f). Let m = b + 913. Is m a composite number?
True
Let l(m) = -3*m**3 - 3*m**2 - 6*m + 2. Let s be l(5). Let w = 4123 - s. Suppose 0 = 5*u - 4*k - w, 1436 = 2*u - k - 402. Is u composite?
True
Let o be (4/2 + -1)/((-2)/(-8)). Let l(n) = 538*n - 3. Is l(o) prime?
False
Suppose -4714 - 5246 = -6*z. Suppose -y + 597 - z = -4*h, -4*y + 1313 = 5*h. Is h composite?
True
Let j be (1 + (-6)/4)*0. Suppose j - 4 = -5*h + 3*u, 0 = -2*h - u + 6. Is h/9 + 54344/72 prime?
False
Let j(b) = b**3 + 5*b**2 + 12*b + 6. Let c be j(-4). Let n = 33 + c. Is n prime?
True
Suppose -7*g = -g - 4170. Suppose 11*t = 4*t + 126. Suppose -t - g = -p. Is p composite?
True
Let z(f) = 36*f**2 - 13*f + 55. Suppose 4*b + 4*k - 44 = 0, 5*b + 4*k = 9*k + 5. Is z(b) prime?
False
Let y(v) = 4*v**2 - 6*v + 3. Let l be y(5). Let q(r) = -6*r. Let p be q(-7). Let s = l - p. Is s prime?
True
Is (2 + (-1580)/(-6))/((-6)/(-9)) prime?
False
Suppose -5*o + 33 = 2*y, 3*o - 11 = 4. Let q be (-2 - y)/2 + 5. Is ((-248)/16)/(q/(-12)) prime?
False
Let b(t) = 24*t - 4. Let a(q) = -q. Let i(c) = 14*a(c) - 2*b(c). Let g be i(9). Is g/(-15) - 1/(-3) prime?
True
Is 1 + -1 - (-1858913)/49 composite?
True
Let f = -1 + 5. Suppose -2*s + 5*s + 38 = f*t, 4 = t + 2*s. Let a(r) = -r**2 + 10*r + 6. Is a(t) a composite number?
True
Let n(l) = l**3 - 7*l**2 - 9*l + 1. Let o be n(8). Let w(p) = -13*p - 32*p - 4*p - 32*p - 10. Is w(o) composite?
False
Suppose -21*u = -8*u - 242281. Is u a prime number?
True
Let q = -39 + 39. Is 10495/(-5)*(-2 + q + 1) composite?
False
Suppose -21*d = -604 - 635. Is d prime?
True
Let s(n) be the first derivative of n**4/4 - 7*n**3/3 - 13*n**2/2 + 6*n + 11. Is s(9) prime?
False
Let a(s) = -84*s**3 + 45*s**3 + 15 + 11*s**2 + 40*s**3 + 10*s. Is a(-8) a prime number?
True
Let z(q) = 2*q + 12. Let m be z(-6). Let o be 29*(m - 3 - -14). Suppose -4*v + o = a, 2*v - 4*a - 225 = -v. Is v composite?
False
Suppose -5*n - 1108 = -4*p, -n = -p - 6*n + 277. Is p a prime number?
True
Let w(t) = 129*t + 97. Let r = 31 - 18. Is w(r) a composite number?
True
Let q(s) be the third derivative of -s**7/5040 + 689*s**6/720 + s**5/10 + 8*s**2. Let d(t) be the third derivative of q(t). Is d(0) a composite number?
True
Let k(t) = -403*t - 7. Let h(d) = 1209*d + 20. Let a(m) = 4*h(m) + 11*k(m). Is a(2) a prime number?
True
Suppose -21*m + 4*m = -9911. Is m prime?
False
Let z = -27367 - -40902. Is z a prime number?
False
Let c be (-10143)/(-9)*2/2 + 2. Suppose 4*m - 690 + 2936 = 2*n, 0 = -n + 4*m + c. Is n a composite number?
False
Suppose -3*l + 0 = 9. Let s(m) = -14*m**3 + 3*m**2 - 4*m - 2. Is s(l) a prime number?
False
Let f be (-2)/10 + (1 - (-996)/5). Suppose 0 = -5*p - 2*g + 1039, 0*p + p + 3*g = f. Is p a composite number?
True
Let g(f) = -85*f**3 - 6*f**2 - 9*f - 9. Is g(-5) prime?
False
Let l(h) = 21*h - 17. Is l(24) prime?
True
Suppose -3*k - 5*a = -8*k, 3*k - 2*a = 0. Suppose -11*g - 1407 = -12*g. Suppose k*q = 3*q - g. Is q a composite number?
True
Suppose -29261 + 195106 = 5*i. Is i prime?
False
Suppose -3*w - 2*r + 3*r + 1117 = 0, -3*w = 5*r - 1093. Is w a prime number?
False
Let r be (8/(-3))/((-4)/30). Suppose 2*l - r = -3*l. Suppose l*b - 634 + 198 = 0. Is b a prime number?
True
Let a(f) = f**2 - 8*f + 3. Let m be a(8). Suppose -o = 3*x - 15, 2*x - 57 = -m*o + 2. Suppose -o*q = -23*q + 354. Is q composite?
True
Let s(t) = 3409*t + 107. Is s(6) a composite number?
True
Suppose -j - 52137 = -5*t, 13*j - 8*j - 10417 = -t. Is t a composite number?
False
Let d(q) = -76*q + 3. Let k be ((-4)/6)/(10/15). Is d(k) a composite number?
False
Let j(h) = h**3 + 13*h**2 + 20*h + 7. Let g be j(-8). Let b = 324 - g. Is b a composite number?
False
Is 5 + (3 - 1) + 12490 composite?
False
Suppose -5*j + 85229 = -3*n, 5*n = 2*j - 39707 + 5623. Is j a composite number?
False
Suppose 96470 = -43*j + 508711. Is j composite?
False
Suppose 0 = -4*n - v + 11757, -12*v = -11*v - 1. Is n composite?
False
Is (-17)/((-187)/77)*(-1 + 854) prime?
False
Is (-25)/(-75)*(0 + 15657) prime?
False
Let y(f) = 3*f**3 - 6*f**2 - 11. Is y(10) composite?
False
Let g(a) = 5*a**2 + 65*a - 9. Is g(-21) a prime number?
False
Let b(z) = 11*z**3 - 3*z**2 + z - 3. Let y(l) = -l**2 - 5*l - 3. Let a be y(-3). Let p be b(a). Let s = p + -155. Is s composite?
True
Let f(p) = 2*p + 1. Let u(m) = 4*m + 52. Let z(i) = -5*f(i) - u(i). Is z(-25) a composite number?
False
Let s(w) = -719*w + 190. Is s(-29) a prime number?
False
Let o(l) be the second derivative of 20*l**3/3 - l**2 + 7*l. Let n = -2 + 9. Is o(n) prime?
False
Let w be (1/(-3))/(2/24). Is ((-52)/(-10))/(w/(-190)) a composite number?
True
Let y = -386 + 1135. Suppose 