t w(r) = -20*r**3 - 20*r**2 + 2*r + 3. Let s(t) = 17*k(t) + 6*w(t). Is s(x) prime?
True
Let l(t) = t + 12. Let f be l(-8). Suppose -3*p + 137 = 5*s - 755, 5*s + 1131 = f*p. Suppose 98 = 3*d - p. Is d a prime number?
False
Let r = 6781 + 5736. Is r a composite number?
False
Let p(i) = 48*i - 167. Suppose 3*w + 4*y - 122 = 0, 4*y - 5*y = 2*w - 78. Is p(w) a prime number?
True
Let i(n) = -555*n**3 - 11*n**2 - 10*n + 11. Is i(-10) a composite number?
False
Suppose 3*y - 5*x - 26 = 0, 16 = 4*y + 4*x - 8. Suppose 0 = -t - 2*f - 2191, -3*t - y*f = -3*f + 6583. Let g = 3966 + t. Is g a composite number?
True
Let t = 56 - 19. Suppose -t*l - 3 = -38*l. Suppose -6*q + 2*q - 3123 = -3*o, 3*o + l*q - 3123 = 0. Is o composite?
True
Suppose 15925854 - 3280643 = 97*o. Is o prime?
True
Let p(n) = 143*n**2 - 6*n + 3. Let u be p(4). Let h = 419 - 2013. Let x = u + h. Is x a composite number?
False
Let l = -381 + 390. Suppose -l*a + 665 = z - 5*a, 4*z + a - 2690 = 0. Is z a prime number?
True
Suppose -10205 + 991 = -17*w. Suppose 7*n = w + 39995. Is n a prime number?
True
Let n = -1832 + 3907. Suppose -n*c + 2070*c = -1255. Is c a composite number?
False
Let x be -10 + 11 - (468 - (-2)/2). Let o = 4047 + x. Is o a composite number?
True
Let k be ((-1540)/(-198) + (-2)/(-9))/(-1). Let c(l) = -1697*l - 179. Is c(k) prime?
True
Let d(u) = -24*u + 32. Let c be d(10). Let l = c - -255. Is l composite?
False
Suppose -6*v + 8*v - 56 = 0. Is -10913*2*(-2)/v prime?
True
Suppose 4*b - 17773 = 175. Let f = b + -3090. Is f prime?
False
Is (-272317500)/(-513) - (-2)/(-6) a composite number?
False
Suppose -9*b - 82 = -100. Suppose -b*c + 3*s + 977 = 0, -c - s + 471 = s. Is c composite?
True
Suppose -3*a = -18, -4*l + 355680 = -a + 46274. Is l a prime number?
False
Let s = 12 + -10. Suppose -2*o = -2*b - s, -7*o + 20 = -3*o + 4*b. Suppose -436 = -5*j - o*f, -5*f = 21 - 6. Is j prime?
True
Let a be 10*151/4*102/85. Suppose -882 = -2*r - 2*v, -4*v = -r - 2*v + a. Is r a composite number?
True
Let b = -864689 - -1422996. Is b prime?
True
Suppose 2*z = a + 85585, a - 171185 = -4*z + 6*a. Let l be (-2)/6 - 3/(18/z). Let w = -1625 - l. Is w composite?
False
Let a(v) = 3989*v - 56. Let f be a(6). Let g = f + -8331. Is g prime?
False
Let s(v) = 5*v**2 - 17*v + 1. Let h be s(4). Let t(d) = d**3 - 13*d**2 + 8. Let n be t(h). Is 38*(n/(-24) + 395/6) a prime number?
False
Let k = 424 - 428. Is (-559543)/(-267) + (k/3)/2 prime?
False
Let v = 42017 + 24612. Is v prime?
True
Let l(u) = -152*u - 82. Let y be l(-6). Suppose 10*f + 0*f = y. Is f a composite number?
False
Let j(s) = -880*s + 8. Let d be j(5). Let a be ((1 - 3) + 3)/((-4)/d). Suppose -787 = -5*x + a. Is x composite?
True
Let i(r) = -301*r + 59*r - 154*r - 1. Suppose 0 = 3*w - 18, -25*s + 23*s - 5*w + 24 = 0. Is i(s) a prime number?
True
Let c(x) = -24*x**3 + 22*x**3 - x - 16 + 5*x**2 - 13*x**3. Is c(-7) a composite number?
False
Suppose 3*p - 1278471 = 2*u, 6*p - 2*p - 1704614 = 5*u. Is p a prime number?
True
Suppose 3*h = 5*n + 98159, -60*h + 53*h + 229069 = 4*n. Is h composite?
True
Suppose 5*b + n - 97467 = 42513, 3*b - 4*n = 84011. Is b composite?
False
Let q = 93 + -45. Let n be -23 - (-2 + (2 - 1)). Let v = q + n. Is v composite?
True
Let o = -80304 + 118417. Is o composite?
False
Suppose -18 - 2 = -5*y. Suppose -2*n - 2*n - 3*d + 888 = 0, -y*n = 2*d - 884. Suppose -2*o = 3*k - 166 - n, k - 193 = -o. Is o composite?
True
Let c be (-5)/(3/3) - (-8411 + 3). Suppose c = 24*t - 32229. Is t prime?
True
Suppose 0 = -u + 3, 3*v + u - 298665 = 5*u. Is v a prime number?
True
Suppose 8 - 18 = 5*i + 2*n, 3*i - 5*n = 25. Suppose -5*s - 54*b + 20041 = -53*b, -s + 4*b + 4025 = i. Is s a prime number?
False
Suppose 142916 = -799*u + 803*u. Is u composite?
False
Let t(n) = -n**3 + 11*n**2 + 13*n - 7. Let o be t(12). Suppose -3*a + 53 = 2*h - 16, -a - 164 = -o*h. Is (-3)/(18/h)*-62 prime?
False
Suppose 0 = -27*n + 124 + 146. Let q(g) = 3*g**3 + 2*g**2 - 2*g + 55. Is q(n) a prime number?
False
Let s(q) = 3*q**2 + 3*q**2 + 3*q + 0*q**2 + 16*q**3 - 12. Let i be 405/75 - 4/10. Is s(i) prime?
True
Suppose 13*v - 17*v + 2*i = -36940, 4*v = 5*i + 36952. Is v a composite number?
True
Suppose 15*d + 496954 = 4*h + 10*d, 2*d = -h + 124219. Is h composite?
False
Let p be (2/((-8)/753))/((-201)/350008). Suppose 267840 = 34*w - p. Is w a prime number?
True
Suppose -5*q - 1417 = -6122. Let k(t) = -26*t + 20. Let n be k(7). Let y = q + n. Is y a prime number?
False
Let u = 8159 + -4828. Suppose -5*t = 3849 + u. Let k = t - -3091. Is k a prime number?
False
Let b = -543918 + 900205. Is b a prime number?
True
Let y = 5277 - 2558. Suppose 84*h = 85*h - y. Is h prime?
True
Suppose 184*k = 173*k + 3377737. Is k a composite number?
False
Suppose 0 = -3*s + 4*u + 3504, -s + 4*s - 3525 = -3*u. Suppose 5*y + 2*k - 1893 = 0, 5*y - 728 = 5*k + s. Is y composite?
False
Is ((-7)/3)/((-929584)/185916 + -4 + 9) prime?
False
Suppose 165*f - 24 = 168*f. Is (-6)/f - (-331246)/184 a prime number?
True
Let z = 33654 + -16009. Is z a composite number?
True
Suppose -4*s = -0*s - 8. Let l be 4 - (-1)/(s/4). Is 6822/12*l/9 composite?
False
Suppose -186*a = -27787610 - 38327392. Is a a prime number?
True
Let k(n) be the first derivative of -n**2/2 - 4*n - 16. Let b be k(-2). Is b*(4 + -3) + 253 composite?
False
Suppose -4*s + 11563 = 5*q - 57821, 3*s - 3*q = 52011. Is s a composite number?
False
Let x = -704432 - -1199449. Is x a prime number?
True
Let h(z) be the first derivative of -59*z**2/2 - 4*z + 28. Let v be h(16). Is -4 - (-5 - -2) - v a prime number?
True
Suppose 51*g - 3197592 = 14*g + 1345305. Is g a prime number?
False
Let y = -20 - -23. Let a(m) = -2*m**3 + 1 + 0*m**y - 201*m + 208*m + 7*m**2 + 6. Is a(-5) composite?
False
Suppose 0 = -4*a + 5*s + 2333, 4*a + 0*a = s + 2329. Suppose -a = -u + 805. Suppose 4*k - 3951 = -u. Is k a composite number?
False
Let u(l) = 125*l + 1. Let n be (1 - -1)/(44/264). Is u(n) prime?
False
Is 101774 + (-36)/(-48)*-4 prime?
True
Suppose 147*m - 8293668 - 1773007 = 10640186. Is m prime?
True
Let h be ((-3)/9)/((-1)/(6 + 45)). Suppose -o + h*o - 39920 = 0. Is o composite?
True
Let y(g) = -g**3 + 14*g**2 - 7*g + 7. Let x be (-5 - (2 - 3)) + 427. Let l be (-10)/(-65) - x/(-39). Is y(l) prime?
True
Let a(l) = 0*l + 79*l**2 - 147*l**2 + 70*l**2 + 2 - 163*l**3 - 2*l. Is a(-4) a composite number?
True
Suppose 3*w + w - 238 = -x, -5*w = 4*x - 303. Let b = w + -57. Suppose -k = 1, -b*r + 4*k + 1579 = 61. Is r a composite number?
False
Let v(w) = -2 + 10*w - 21*w**2 - 16*w**2 + 36*w**2. Let h be v(9). Suppose -12 = -g + 2*t, -g - 2*t = -h*t + 3. Is g a composite number?
True
Let r be 26 + 3 + 0 + 0. Let w(j) = -r + 11*j + 3*j**2 + 4*j - 26*j. Is w(13) composite?
True
Let a = -312 - -319. Let u(w) = 80*w - 13. Let z be u(6). Suppose -a*d + 548 + z = 0. Is d a prime number?
False
Let n be 2679520/144 + -1*(-6)/27. Suppose -2*f = 3*q - 41086 + 3873, -q + n = f. Is f prime?
False
Let q be (-4)/14 - (-8)/28. Suppose 4 = 2*d, 0 = 3*h - 4*h + 3*d + 647. Suppose 5*z + 3*j - 904 = 195, q = 3*z + 5*j - h. Is z a prime number?
False
Is (-376738990)/2345*(-1)/2*7 a composite number?
False
Suppose 5*a - h - 17 = 0, 0*h - 2*h = -5*a + 14. Suppose 8*n - 28 = a. Suppose 4520 = n*i - 2412. Is i prime?
True
Suppose -q = 5*m - 6420 - 45797, 261201 = 5*q - 4*m. Is q a composite number?
False
Let u(t) = -3*t**2 - t + 87. Let a(r) = -r**2. Let s(h) = -4*a(h) + u(h). Let q be s(0). Let b = -74 + q. Is b a composite number?
False
Suppose 0 = -7*k + 50*k - 2056819. Is k a composite number?
True
Let i = 22257 - 14615. Suppose 7*h - 57881 + i = 0. Is h composite?
False
Let g(k) = 3*k**2 + 14*k - 22. Let o be g(-6). Is (-1 + o)*-8819*3/(-3) a prime number?
True
Let t = -721998 + 1110071. Is t a prime number?
False
Let a(m) = -277*m - 49. Let k = 67 + -91. Is a(k) a prime number?
True
Let g(w) = -1544*w**3 + w**2 + 8*w + 8. Let r be g(-1). Let y = r - 828. Is y a composite number?
True
Let w = 422 - 419. Suppose -5*k + 90863 = 4*d, 4*d + w*k = -0*k + 90865. Is d prime?
True
Let z(s) = -s**3 - 15*s**2 + 23*s + 24. Let c be z(-19). Suppose -358 = y - c. Is y a prime number?
True
Suppose 2*z - z + 109 = 0. Let i = 213 - 39. Let y = z + i. Is y a prime number?
False
Let h(v)