15, 5*m - 13852 = -3*x. Is m prime?
False
Let a(p) = -2*p**3 - 4*p**2 + 2*p - 7. Is a(-8) composite?
True
Is 902 + (30/3)/2 a composite number?
False
Let p(h) = -4*h**3 + 24*h**2 + 29*h + 34. Let k(r) = 5*r**3 - 25*r**2 - 30*r - 35. Let w(g) = 5*k(g) + 6*p(g). Is w(-16) composite?
True
Suppose -3*x = 12, 4*b - 3*b = -5*x - 29. Let w be (-3 - -6)*(-6)/b. Let n(s) = 21*s**3 - 3*s**2 + 2*s + 1. Is n(w) prime?
False
Let w(t) = 12*t**3 + t**2 - 4*t + 5. Suppose 3*f = 57 - 51. Is w(f) a prime number?
True
Suppose -4*f - f + 594 = s, -358 = -3*f + s. Let g = f + 734. Is g a prime number?
True
Let f = 1439 + -568. Is f prime?
False
Suppose 107 - 30 = 7*k. Suppose 2*o - 30329 = -k*o. Is o a composite number?
False
Suppose n - 3*u - 11582 = 0, 5*n + 4*u + u = 58010. Is n prime?
True
Let q(j) = 2 + 10*j + 2 + 4 - 5 - j**3 + 9*j**2. Let z be q(10). Suppose -6*k = -z*k - 78. Is k composite?
True
Let n(t) be the second derivative of 167*t**5/60 + t**4/12 - t**3/2 - 6*t**2 + 7*t. Let l(b) be the first derivative of n(b). Is l(2) composite?
True
Let o be 8/(-2)*(3 - 1). Let g(b) = -b**3 + 5 + 0*b**3 + 15*b - 2 - 72*b**2 + 71*b**2. Is g(o) prime?
True
Suppose -5*i - 14 = -44. Suppose a = -3*z + i, -3*a = -5*z + 4*z - 8. Suppose a*t + 1384 = 3*c + 178, 0 = c + 2*t - 417. Is c a prime number?
False
Let a(y) = -y**3 + 18*y**2 - 20*y - 13. Let n = 7 - -9. Is a(n) composite?
False
Let m(y) = 615 + 16 - 2*y - 4*y**2 + 5*y**2 - 58. Is m(0) prime?
False
Suppose 4*v = 5*t + 57, -3*v - 5*t - 33 = -4*v. Let m(u) = 98*u + 15. Let z(l) = -1. Let w(y) = m(y) + 6*z(y). Is w(v) prime?
False
Let o = -364 + 3894. Suppose 0 = 4*l - 2*l + o. Is 8/12 + l/(-3) composite?
True
Let o = 19271 + -13648. Is o composite?
False
Suppose 3*n + 41 = 14. Let d be (42 - 6)*1/3. Let u = d + n. Is u a composite number?
False
Let i(p) = -2*p + 2. Let x be i(-2). Suppose -x = -r - 4. Suppose r*w = 71 + 155. Is w a composite number?
False
Let i = -542 - -362. Let q = i + 391. Is q composite?
False
Let t(w) = -w**2 - 25*w + 54. Let a be t(-27). Suppose a = 3*b + 202 - 1639. Is b a prime number?
True
Let d be (96/(-10))/(17/(-170)). Suppose 4*r + r - d = 3*l, -12 = -4*l. Let s = -6 + r. Is s prime?
False
Let q = -1170 - -3309. Suppose 0 = v - 9041 - q. Suppose -5*j - 2385 = -v. Is j a composite number?
False
Let t(f) = 5*f**2 + 14*f - 25. Is t(14) a prime number?
True
Suppose -5116 = -6*m - 1414. Suppose -444 = -d + m. Is d a prime number?
True
Suppose 2*y - 408 - 494 = 0. Is y composite?
True
Let y(z) = -43*z**2 + 9*z + 3. Let q(o) = o - 1. Let d(b) = 5*q(b) - y(b). Is d(-3) a prime number?
False
Let j(u) = 927*u - 268. Is j(13) composite?
False
Suppose 0 = 8*a + 16*a - 369912. Is a a prime number?
True
Let b = 5561 + -3066. Is b a composite number?
True
Is 2908566/324 + (-2)/36 a composite number?
True
Let a(q) = -7*q + 6. Let g = -23 + 15. Let u be a(g). Suppose 0 = 3*w - x - u, 5*w - 2*x - 12 = 90. Is w prime?
False
Suppose -7 = o - 4*o + 2*u, 0 = -o - 4*u + 7. Suppose -f - 2*n + 2572 = o*f, 0 = -5*n + 20. Is f composite?
False
Let d be (79/(-4))/(1/(-12)). Let h = 5 + -3. Suppose -77 = -h*r + d. Is r a prime number?
True
Let p(s) be the second derivative of -s**4/12 - 37*s**3/6 - 23*s**2/2 - 4*s. Is p(-22) composite?
False
Let f(r) = -r**3 - r - 1. Let t(p) = 7*p**3 - p**2 + 7*p + 85. Let h(c) = 6*f(c) + t(c). Let v(s) = s + 2. Let o be v(-2). Is h(o) composite?
False
Let b be (-8)/(-6) + (-2)/(-3). Let m be 5/25 - b/10. Suppose u = 3*a - a + 331, m = -u - a + 331. Is u composite?
False
Suppose m = 5*g + 6*m - 30, -g = -m + 2. Suppose -13256 = -10*l + g*l. Is l a prime number?
True
Suppose -3*v - 1665 = -3*z, 3*z - 4*z + 3*v + 559 = 0. Is z composite?
True
Suppose 10 = 2*d + 4. Suppose 2*w - 21 = -0*n - d*n, 20 = 4*n. Suppose -2*z = -4, -934 = -w*b + z + 51. Is b composite?
True
Let b(l) = -l. Let m(t) = -t**2 - 12*t + 14. Let y(u) = -b(u) + m(u). Let o be y(-12). Is (23/3)/(o/30) prime?
False
Let v(x) = 323*x**2 - 1. Let b be v(-2). Suppose -5*m + 354 = -b. Is m a composite number?
True
Let b = -915 - -1459. Suppose b = 3*l - 4409. Is l a prime number?
False
Suppose 10 = -5*q - 0. Is (-53656)/(-95) - q/10 a composite number?
True
Suppose -2*q + 5*s = -1347, 0 = -2*q - 0*s - 4*s + 1374. Let f = -470 + q. Is f a composite number?
False
Let k be -4 - (9/21 - (-24)/(-7)). Is 15408/32*(2/(-3))/k prime?
False
Suppose -4 = 2*r - 14. Suppose 0*d - r*d = 4*f - 1667, 5*f - 3*d - 2056 = 0. Is f a prime number?
False
Let c be ((-86)/2)/((-5)/5). Suppose -3 = 4*q - 5*q. Suppose 2*y + g = -c + 198, -q*g = 9. Is y prime?
True
Let z(v) = -693*v - 337. Is z(-4) prime?
False
Let v(s) = s**3 - 46*s**2 + 24*s - 30. Is v(51) composite?
True
Let i(r) = r**2 - 5*r - 6. Suppose 5*a = -5*f + 10, 5*a - 4*f - 22 = 4*a. Let v be i(a). Suppose -316 = -4*m - v*m. Is m a prime number?
True
Let k(d) = 113*d**2 - 9*d - 18. Let n be k(-9). Let f = n + -4355. Is f a composite number?
False
Let n(g) = 28*g**2 + 4*g - 17. Let i be n(-5). Let u = 1946 + i. Is u a prime number?
True
Suppose -z = -15016 + 849. Is z a prime number?
False
Let g(p) = -3740*p + 229. Is g(-36) prime?
False
Suppose -2*b + 3*b = -1, 3*b - 57 = -2*c. Suppose 2*m + 5*r = -3*m - c, 0 = 2*r. Is (-106)/(-4) + m/12 a composite number?
True
Suppose 6*q = q + 2*r + 37491, -q - 4*r = -7507. Is q prime?
True
Let c be (-11)/((-11)/6) + 0. Let o be (-6)/(-9) + (-832)/c. Let p = o - -197. Is p a composite number?
False
Let i be (8/5)/((-4)/10). Let n be 8 + -8 + 178*i. Let p = n + 1134. Is p prime?
False
Suppose -7*u + 9*u + 4*p = 91710, -u - p = -45854. Is u a prime number?
True
Let w = -4329 + 6548. Let d = w - 1000. Is d composite?
True
Suppose s = -5*r - 2*s + 9496, -4*s + 1889 = r. Is r prime?
True
Suppose -3 + 129 = -2*a. Let h be (16/(-3))/((-14)/a). Is (-1 - h)/(18/36) composite?
True
Suppose 7 = 4*b - 5. Suppose 11 - b = 4*l. Is l/4 - (-375)/30 a composite number?
False
Suppose -3*n - 3*j = 27, -3*n + 1 - 28 = -5*j. Let t(x) = -60*x. Let v be t(n). Is v + ((-2)/(-1))/2 a composite number?
False
Let t be (-4)/8 + (-5114)/(-4). Suppose -3*v - 198 = -t. Suppose -4*b + 2*m + 228 + 270 = 0, 3*b = -3*m + v. Is b composite?
True
Suppose 5*o - 23948 = 7187. Is o a composite number?
True
Let x = -4 + 9. Suppose -326 = -2*t - 4*l, x*t - 2*l - 314 = 3*t. Is t prime?
False
Let p(v) = 612*v**2 + 73*v + 65. Is p(14) a prime number?
True
Let x(b) = 2*b + 3*b - 6*b + 17. Let z be x(17). Let l(o) = o**3 + o**2 - o + 251. Is l(z) composite?
False
Suppose 4*d + 4*t - 1952 = 0, -t + 1439 = 3*d - 3*t. Suppose -3*f + f + 4 = 0. Suppose f*z + d = 5*z. Is z composite?
True
Let v(z) = -z - 6. Let u be v(0). Is (966 + (-5 - u))*2 prime?
False
Let u = 13 + -11. Suppose 2*v = -u*v + 8. Suppose -v*b = r - 353, r - 353 = -0*b + 5*b. Is r a prime number?
True
Suppose -348438 - 60982 = -4*z + 12*x, -2*z = x - 204696. Is z a composite number?
True
Suppose 376*b = 387*b - 30503. Is b prime?
False
Let i be (-1521)/(2 + 1) + -1. Let u = i + 1397. Is u composite?
True
Let k(s) = -2 - 105*s - 10*s - 5 - 3. Let h be k(-7). Suppose 7*n - 2*n - h = 0. Is n prime?
False
Let h(x) = -2*x**3 - 3*x**2 + 3*x - 9. Is h(-8) composite?
True
Suppose -i + 48220 = 4*k, 2*k = -2*k + 2*i + 48220. Is k composite?
True
Suppose -b + 6084 = i - 2575, 17322 = 2*i + b. Is i prime?
True
Let d be (-5)/(-30) + (-209175)/(-18). Suppose 6432 = 7*n - d. Is n a composite number?
False
Let q(k) be the first derivative of -19/2*k**2 - 25*k + 9 - 1/3*k**3. Is q(-6) a composite number?
False
Suppose 551 = 5*d - 309. Suppose 4*y - d = 2*y. Is y prime?
False
Let b(k) = 150*k - 3. Let s be b(2). Let o be 50*-3*10/(-3). Let h = o - s. Is h prime?
False
Suppose -7*u = -36533 - 38164. Is u composite?
True
Let s = -1914 + 2817. Suppose 1280 = 2*l + 2*h, 0 = -2*l + 2*h + s + 381. Is l a prime number?
True
Let h(r) be the first derivative of -r**3/3 - 3*r**2 - r + 7. Let m be h(-5). Is (1143/18)/(2/m) composite?
False
Suppose 7*l = -0*l + 2177. Let z = 132 + l. Is z a prime number?
True
Let a be 0/((0 - 1)*-1) + 4. Suppose -a*x + 147 = -3*f, 2*x + 94 = 5*x + f. Is x a prime number?
False
Suppose -2*b = -0 - 24. Suppose b + 12 = y. Is (-4)/y - 583/(-6) a prime number?
True
Suppose 4*w = -166 + 18. Let k = w - -104. Is k composite?
False