 Is v(15) a prime number?
True
Let a(v) be the first derivative of -2385*v**2/2 - 13*v - 109. Is a(-4) composite?
True
Suppose 297*t - 50812120 = -31*t. Is t prime?
False
Suppose 74*k = 2376101 + 1358901. Is k a prime number?
False
Suppose -2*s + 12 = s. Suppose -3919 - 453 = -s*l. Suppose 0 = 4*c + 5*q - l, 0 = -2*c - 3*q - 0*q + 549. Is c composite?
True
Suppose -3*b + 15 = 0, -5*r - 2*b + 36758 = -r. Let z = -3111 + r. Is (2/(-6))/(z/(-3036) + 2) composite?
True
Let o = 184 + -131. Is o*1104/9 + 4/6 prime?
False
Suppose -370*u + 387*u - 4405567 = 0. Is u a composite number?
False
Let y(v) = v**2 + 4*v + 5. Let b be y(-4). Suppose 3*s - 27539 = -2*s - 4*c, 0 = -s - b*c + 5512. Is s a composite number?
False
Suppose x = 33*p - 26*p - 26432896, x = -5*p + 18880652. Is p a prime number?
False
Let r(q) = -587806*q**3 - 91*q**2 - 90*q + 2. Is r(-1) a prime number?
False
Suppose 4*w + 5*y + 233 = 0, -3*y - 213 = 4*w - 2*y. Let t = -49 - w. Suppose -2142 = -t*z + 579. Is z composite?
False
Suppose -5*p + p = 4*u + 532, 3*u + 393 = 3*p. Let j = -615 - -934. Let i = j + u. Is i prime?
False
Let q(c) = 1684*c - 5. Let k(x) = -561*x + 2. Suppose -4*b + 9 = -23. Let d(f) = b*k(f) + 3*q(f). Is d(1) composite?
True
Let h be (6/9)/(2/(-6) + 0). Let p be -2 - (6/h - 1252). Suppose -4*n = -3*o - 6*n + p, -o = -5*n - 429. Is o composite?
False
Let c(s) = -22716*s - 16261. Is c(-22) composite?
False
Let i be 44/4 - (-1)/(-1). Let h = -10 + i. Suppose h = -2*j - 2*j + 1292. Is j composite?
True
Is (-7909765)/(-13) - (-1614)/(-3497) prime?
False
Let m(s) = -17*s - 182. Let x be m(-11). Suppose -2*f + 29497 = -3*o, x*o + 12028 = f - 2738. Is f prime?
True
Suppose 0*r = -4*r + 12. Suppose 27 = -r*h + 6. Let c(s) = -218*s + 17. Is c(h) composite?
False
Let w = -2996 - -40083. Is w composite?
False
Let k(p) = 238*p + 223. Let f(w) = 477*w + 444. Let d(v) = -3*f(v) + 5*k(v). Is d(-6) a prime number?
True
Is (-4431042)/(-98) - (16/(-7))/8 prime?
False
Let h = -1368864 - -2445817. Is h composite?
False
Let p(d) = -508*d**3 - 20*d**2 - 172*d - 35. Is p(-7) composite?
True
Let m(k) = -7115*k + 2695. Is m(-78) prime?
False
Suppose 0 = h, -382 - 2356 = -2*d - 2*h. Suppose -d = -g + 286. Is g a prime number?
False
Let k(u) be the third derivative of -u**5/60 + u**4/24 + 157*u**3/6 + 14*u**2. Let s = -41 - -41. Is k(s) a composite number?
False
Let b(f) = 217251*f - 46. Is b(1) composite?
True
Suppose -i + z = 68, -3*z - 211 = 4*i + 75. Let t = i + 68. Is 517 - (t + 0 + (-1 - -3)) a prime number?
False
Let v be 0/(-5) + 4/1. Suppose 2*z - 5425 = z + v*t, -5*z + 5*t + 27080 = 0. Is z prime?
True
Let j(m) = m**2 - 2*m - 7464. Let x be j(0). Let o = -4399 - x. Is o a composite number?
True
Suppose -4*d - 4*k + 116 = 0, -d - 35*k = -31*k - 41. Let m be (21 - 7)*1*2. Suppose d*g = m*g - 165. Is g a composite number?
True
Let f(u) = 314694*u**3 - 3*u**2 - 34*u + 36. Is f(1) composite?
False
Suppose 3861 + 2329 = 5*c. Let f = 129 + -125. Suppose c = f*l + 5*x, 0*l - 5*x = 2*l - 624. Is l prime?
True
Let m(t) = 5891*t - 18. Suppose -5*q + 12 = 7. Is m(q) composite?
True
Let d(q) = -2*q**3 - 16*q**2 + 18*q - 3. Let w be d(-9). Let z(i) = 52*i**2 + 4*i + 23. Is z(w) prime?
True
Let a be 36/42 + (-58)/(-14). Suppose -46937 = -12*j - a*j. Is j composite?
True
Let y(x) = 42826*x - 3461. Is y(14) a prime number?
False
Suppose 5415 = -0*b + 3*b - 2*n, -4*n + 3594 = 2*b. Let o = b - 821. Is o a prime number?
False
Let v(b) = -84*b + 87. Let s(d) = 42*d - 43. Let x(j) = 7*s(j) + 4*v(j). Let l = 23 + -39. Is x(l) prime?
True
Let s = -10 + 32. Suppose -17*g = -14*g - 6. Suppose 3*u = 3*p - 8568, s = 4*u + g. Is p a composite number?
False
Suppose -z + 3*a = -5*z - 165, 2*z + 70 = -4*a. Is 6*6/z + (-129834)/(-30) composite?
False
Let b = 293 - -8432. Suppose 0 = 16*w - b - 2779. Is w composite?
False
Let g = -89960 - -213267. Is g composite?
False
Let q(m) = 218004*m**2 - 195*m + 194. Is q(1) a prime number?
True
Suppose 0 = -12*n - 0*n + 49068. Suppose n = -3*z + 6*z. Suppose -7*k = -1843 - z. Is k a composite number?
True
Let x be -303*((-104)/12 - (2 + -2)). Suppose 0 = 2*p + 5*k - x, -4*k + 5122 = 5*p - 1460. Suppose -6*r + p = -4916. Is r a prime number?
True
Let k = 286 + 2209. Suppose 0 = -4*f - 1605 - k. Let u = f - -2536. Is u a prime number?
True
Let n(x) = x**3 - 8*x**2 - x + 11. Let w be n(8). Suppose -1 = 4*j + 5*k, -9 = w*j - 0*j + k. Is -1 + 3 + j - -1659 composite?
False
Let x = 22 - 18. Suppose -2 = 2*g - x*g. Is 463/g - (3 - 3) a prime number?
True
Let l(b) be the first derivative of 187*b**6/180 - b**5/60 - b**4/8 + 5*b**3 + 13. Let q(w) be the third derivative of l(w). Is q(-1) a composite number?
False
Let y(n) = -56*n + 37 - n**3 + 4*n**2 + 173*n + 14*n**2 - 44*n - 60*n. Is y(14) composite?
True
Let g be -2 + 76/(-2)*25. Let l be g/(-153) + (-2)/9. Suppose 7*b - 209 = l*b. Is b a prime number?
False
Suppose 0 = -215*g + 2800767 + 41639518. Is g prime?
True
Let i = -22 + 24. Let d(z) = -2 + z - i + z + 4*z. Is d(5) prime?
False
Suppose 3*p - 5*p = -32. Suppose 0 = -p*z + 17*z. Suppose -2*m + 5*v = -1277, -2*m - 5*v + 3*v + 1256 = z. Is m a prime number?
True
Suppose 17*y = 26*y + 30690. Suppose -5*p - 14 - 6 = 0. Is y/(-40) + 1/p a prime number?
False
Let i(c) = -3*c**2 + c - 9. Let p be i(-3). Let t = -29 - p. Suppose -7*m - 9813 = -t*m. Is m prime?
True
Suppose -5*l - 7*r + 3*r = -30760, -2*r = 0. Let f = 9123 - l. Is f prime?
True
Suppose 22*a - 262324 = 67654. Let g = 21006 - a. Is g a prime number?
True
Suppose 59*v = -2*v - 2061 + 35062. Is v a composite number?
False
Let h(v) be the second derivative of 813*v**5/5 - v**4/6 + v**3 - 5*v**2/2 - 5*v + 9. Is h(1) a prime number?
True
Suppose -5*x + 105072 + 73755 = -4*y, 3*x - y - 107299 = 0. Is x a prime number?
False
Suppose 4*x = 3840160 + 3975444. Is x a prime number?
True
Suppose -8*s + 1597902 = 4*p - 6*s, -4*s = -20. Is p composite?
False
Let v = 379 + -377. Suppose 10*r + 5*b = 5*r + 37810, r - 7565 = -v*b. Is r composite?
False
Let t(a) = 1707*a**2 - a - 2. Let w be t(-2). Suppose -p = 4*c + 19059, 0*c = -2*c - 2*p - 9528. Let u = w + c. Is u composite?
False
Suppose 0 = -5*u - 3*v + 111641, -2*v + 176298 - 42332 = 6*u. Is u composite?
True
Suppose -248*h + 247*h = -79. Is ((-12)/15)/((-2)/(-5)) + h composite?
True
Let b(w) = -11*w**2 - 13*w - 8. Let l be b(-5). Let d = l + 123. Let n = -74 - d. Is n a composite number?
True
Let k = -232 - -231. Is 1945 - (3 - ((-3)/k + -2)) composite?
True
Suppose -u - 22 = 3*v, -u + 5 + 8 = -2*v. Is 1*316 - (v + -8 + 12) a composite number?
True
Let b(z) = 35434*z + 167. Is b(10) a composite number?
True
Suppose 0 = -b - 5*x + 44351, -177404 = -12*b + 8*b - 2*x. Is b prime?
True
Let c(o) = o**2 + 2*o - 45. Let j be c(-14). Let i = 126 - j. Suppose -a + 19 + 357 = -i*x, -4*a + 2*x = -1494. Is a prime?
True
Suppose 288*f + 899106 = -34*f + 30366292. Is f a composite number?
False
Let p be 1*(-5)/10 + 10/4. Is 1972 + p/(-1) + -1 a composite number?
True
Let f(t) = -14479*t**3 - 4*t**2 + 2*t + 17. Is f(-2) a composite number?
True
Let t(z) = z**3 - 7*z**2 + 8*z - 2. Let l be t(3). Let c be 2972/14 + 1 + 4/l. Let b = c + 80. Is b prime?
True
Suppose -2*h = 16 - 0. Let d = 879 - 756. Is -2 - (-1 + d)*h a prime number?
False
Let q(c) = 79*c + 7. Let m(j) = -254*j - 21. Let b(v) = -4*m(v) - 13*q(v). Let k be -2*(14/4 + -2). Is b(k) a prime number?
False
Let r(k) = -k**3 + 49*k**2 + 155*k + 54. Let s be r(52). Let w = -2 + 2. Suppose w = s*x + 4*x - 4242. Is x composite?
True
Suppose -5*a + 3*c = -316422 + 76034, 0 = 2*c + 2. Is a a prime number?
False
Let x(f) = 10808*f - 339. Is x(10) a composite number?
False
Suppose -5*o = h + 160, 0 = 2*h - o + 6*o + 320. Let p be -549*(h/(-6))/(-4). Suppose -v - 2*m = v - p, 9170 = 5*v + m. Is v a prime number?
False
Let o be -84*296/(-6) + (5 - 4). Suppose -k + 2770 = 2*a - 5*k, -k = -3*a + o. Is a prime?
True
Suppose -3*f - 94 = y + 144, -3*y = -15. Let z = f - -79. Is 4965/10*(z - (-8)/3) a composite number?
False
Let w = 44 + -31. Suppose -k = -w - 15. Suppose -4*y = k - 704. Is y composite?
True
Let q(c) = c**3 + 6*c**2 - c - 11. Let x be q(-5). Let r(j) = -33*j + 14 - 108*j + 15*j - x. Is r(-11) composite?
False
Suppose 3*d + 5*o - 305