 prime number?
False
Let y(q) = -q**2 - 27*q + 5. Let m be y(-7). Suppose 3*u = 200 + m. Is u prime?
False
Let k(l) = -5*l**3 - 2*l**2 + 9*l + 13. Is k(-6) composite?
False
Let t(h) = 21*h**2 + 11*h + 5. Suppose 0 = 3*k + 20 - 8. Let i be t(k). Suppose -d = 3*b - i - 232, 0 = -2*d - 4. Is b a composite number?
True
Let c(g) = -7 - 35*g - 143*g + 40*g. Is c(-5) a composite number?
False
Let c(p) be the third derivative of -p**5/60 + p**4/8 + 5*p**3/3 - 10*p**2. Let d be c(5). Suppose -2122 = -d*m - 2*m. Is m composite?
False
Let j(m) = -m + 3. Suppose -70 = -5*t + 5*h, 2*t + 2*h - 6*h - 30 = 0. Let r be j(t). Is r*(-28)/8 + -4 a composite number?
False
Let i(w) = -w**3 - 11*w**2 - 13*w - 9. Let s be i(-10). Let g be (-56)/s*18/4. Is (-8)/g - 391/(-3) a prime number?
True
Let f be 2 - (2 + -1 + -3). Let n be (-4)/16 - 19/f. Let k = 15 + n. Is k a prime number?
False
Let h = 3692 - -913. Suppose 0 = 10*c + 5*c - h. Is c composite?
False
Suppose 0 = -7*k + 5*k - 1302. Let v = k + 1224. Suppose -4*g + g + v = 0. Is g prime?
True
Let f be (0 - 2)/(6/9). Let v = 2 + f. Is v/(-3) - (-3724)/42 prime?
True
Let q(u) = -13*u**3 + 1. Let a be q(-1). Is (-3)/(-7) + 2920/a a prime number?
False
Let g = -19 - -24. Suppose 6*r = -4*c + 4*r + 848, -g*c - 4*r + 1063 = 0. Is c a composite number?
False
Suppose 4*d + 0*d + 2*x = 734, d - 167 = 5*x. Suppose -5*m = -3*m - 630. Let j = m - d. Is j a composite number?
True
Suppose -4*r = -z - 17, 3*z - 5*r - 4 = -4*r. Let p be z + 20/(-4) + 6. Suppose 0 = -2*v + 10, 0 = q - p*v - 5 - 0. Is q a prime number?
False
Let i be 15/2*(-7 - (-69)/9). Suppose -i*s = 3*v - 2251, -v + 2853 - 1055 = 4*s. Is s composite?
False
Let q(x) = 22*x. Let t = -26 + 18. Let p = -7 - t. Is q(p) a composite number?
True
Let y(m) = 194*m**3 - 11*m**2 + 11*m + 1. Is y(5) a composite number?
True
Suppose 5*p + 4*y - 8983 = 0, 0 = 4*p + 4*y - 6296 - 892. Is p a composite number?
True
Suppose 14*w = -3*w + 344233. Is w a composite number?
False
Let t(m) = m**3 + 11*m**2 - 13*m - 10. Let j be t(-12). Is -2 + 4710/8 + j/8 a prime number?
True
Is 1/14*8 - 1828845/(-189) prime?
True
Let n(j) = -j**2 + 18*j + 40. Let w be n(20). Suppose 5*p + w*r - 3495 = -5*r, 4*p = -r + 2802. Is p a composite number?
False
Let v(w) = 4. Let f(s) = s. Let m be 8*(16/(-4))/(-16). Let p(o) = m*f(o) - 2*v(o). Is p(6) prime?
False
Let n = -99 - -6. Let i(g) = 5*g**2 - 4*g + 5. Let w be i(-7). Let c = w + n. Is c a prime number?
False
Suppose -371714 + 24930 = -32*h. Is h a composite number?
False
Let n(v) = 2*v - 2. Let o be n(3). Suppose 4*g = 3*l + 16, -g + 4 = -2*l - 0. Suppose l*q = -o*q + 56. Is q a composite number?
True
Let w = 20858 - 7891. Is w prime?
True
Let z(t) = 298*t**2 - 15*t + 27. Is z(2) a prime number?
False
Suppose 5*g + 2*p - 1065 = 18258, -g + p + 3859 = 0. Is g prime?
True
Let i(o) = o**3 - 10*o**2 - 12. Let n be i(10). Let s(k) = 9*k**2 + 4*k + 11. Is s(n) prime?
True
Let m = -7 - -39. Suppose -4*z + 5*a = -3*z - m, -3*a - 1 = 2*z. Let w(q) = 37*q + 10. Is w(z) a prime number?
True
Suppose -5*q - 2*l = 2*l - 27, -2*q + 12 = 2*l. Suppose -q*t - 1196 = t - 5*z, 5*t = -2*z - 1462. Let w = -205 - t. Is w a composite number?
False
Suppose 4*m - 5*m + 4 = 0. Suppose 5*k - 1275 = 5*y, -m*k = 3*y + 230 + 535. Let d = -4 - y. Is d composite?
False
Let g(d) = -16*d - 1. Suppose -30 = 5*b - 5*a, -4 = -5*a + 1. Is g(b) a composite number?
False
Let q be ((-4)/5)/((-2)/10). Suppose q*i - 22077 = 19979. Is (2/(-4))/((-7)/i) prime?
True
Let z be 2/((-12)/(-15) - 1). Let j(v) = -v**3 - 10*v**2 + 1. Let b be j(z). Is 3*b*787/3 prime?
True
Let d(o) be the third derivative of o**6/40 - 9*o**4/8 + 11*o**3/6 + 29*o**2. Is d(11) prime?
False
Let i = 13 + -7. Suppose -9269 + 3965 = -i*y. Suppose 2*s - y = -2*s. Is s a composite number?
True
Suppose 12*p = 17*p. Suppose -5*v + 0*v = -610. Suppose p = 2*f + k - 235, f - k = -0*f + v. Is f prime?
False
Let s(x) = x**3 + 2*x**2 - 3*x - 3. Suppose 2 = -q - 1. Let w be s(q). Is (w - -5) + -4 - -213 a composite number?
False
Let y = 41 - -106. Let t = -617 - -623. Suppose -t*w = -501 + y. Is w a prime number?
True
Is (1274786/(-114))/((-1)/3) a composite number?
False
Suppose 9*f - 38 = 16. Let a(j) = 19*j - 15. Let w(l) = -29*l + 23. Let g(p) = 8*a(p) + 5*w(p). Is g(f) a prime number?
True
Let t(z) = -z**3 - 4*z**2 + 13*z + 9. Let m be t(-6). Let a(x) = 1578*x - 21. Is a(m) prime?
False
Let v be -4*6/(-3 - -5). Let t be 210/v*56/(-10). Suppose -733 = -5*m - t. Is m composite?
False
Let s = -588 + -1422. Suppose -2*g - 3*g = -2*v - 17879, 17894 = 5*g + 3*v. Let i = g + s. Is i a composite number?
False
Let l(t) = -38*t + 51. Is l(-13) a prime number?
False
Let n = 9 - 7. Suppose l - 2*z = -6*z - 244, l = -n*z - 242. Let q = 351 + l. Is q a composite number?
True
Is (-4191)/44*116/(-3) a prime number?
False
Let u(o) = -o**3 - 6*o**2 - 6*o - 5. Let m be u(-5). Suppose m = -31*j + 29*j + 382. Is j a composite number?
False
Is 3274/12*((-24)/1)/(-4) a composite number?
False
Let l be (-8)/(-6)*9/(-6). Let n(x) = -x**3 + x**2 + x. Let c be n(l). Suppose -c*o + 5*o = -235. Is o a composite number?
False
Let d be 1/(4/(-10) - (-153)/270). Suppose d*q = 9*q - 3231. Is q a prime number?
False
Let a(k) = 5*k**2 - 2*k - 6. Let q be a(-5). Suppose 5*z + 5*t - 7280 = 0, 3839 + 3441 = 5*z - 2*t. Suppose q = 5*m - z. Is m composite?
False
Let z(s) = 907*s - 49. Let g be z(12). Let o = g - 5236. Is o prime?
False
Suppose -14*n - 4*d + 17575 = -11*n, 0 = -4*n - 4*d + 23428. Is n a composite number?
True
Let v = -27 + 61. Let y(n) = 2*n**2 - 21*n + 26. Let t be y(11). Suppose -1923 = -t*d + v*d. Is d a prime number?
True
Let i = -331 + 774. Is i composite?
False
Suppose 5*j - 58 + 23 = 0. Let m(z) = 3*z + 0*z**2 - j*z**2 + 3*z**3 + 4 + 6*z**2. Is m(3) a composite number?
True
Let o(f) = 4468*f + 155. Is o(2) a prime number?
True
Let r = -5752 + 11669. Is r prime?
False
Let o(h) = 1188*h - 46. Is o(8) a prime number?
False
Suppose -55*p + 223622 = -355473. Is p a prime number?
True
Suppose 2*g - 2 + 4 = -2*b, 5*b - 4*g = 22. Suppose -5*k - 305 = -3*f, -5*k - b*f - 335 = f. Is 39/2*k/(-48) prime?
False
Let x be (8/10)/((-1)/5). Let q = 21 - x. Suppose 0 = g - 0*g + 5*k - 27, -3*g + q = k. Is g a composite number?
False
Let w(a) = -2*a. Let n be w(-1). Let s = 4 + -8. Is (n/s)/(10/(-2540)) a prime number?
True
Is (10/4)/((-10)/(-20)) - -2048 prime?
True
Let j = -8 - -10. Suppose -3*o - 133 = -3*q - 2*o, -j*q = 4*o - 98. Let k = q - -178. Is k a composite number?
False
Let k(u) = 59*u**2 + 210*u + 5. Is k(-8) a composite number?
True
Let p = -54 + 58. Suppose 3*l - 7*f + p*f = 21, 5*f - 15 = 0. Is l prime?
False
Let v be 10/25 + 12646/10. Suppose 592 = 5*q - 2*u - v, -q + u + 369 = 0. Is q a composite number?
False
Suppose 3*z = -5*h + 7*z + 50, 3*h - 28 = 2*z. Suppose -h*w + w = 0. Suppose -4*x + 1893 = 5*q, w*q + 1518 = 4*q + 2*x. Is q a prime number?
False
Suppose 4*d + 200 = -d. Let h be (-3)/(6/d*1). Is (-2)/4 - (-210)/h a composite number?
True
Is (-10 - -8)/(6/(-96531)) composite?
True
Let a(w) = -109*w - 48 + 54*w - 111*w + 35. Suppose -32 = 4*m - z - 3*z, 22 = -4*m + 2*z. Is a(m) prime?
False
Suppose 122519 = 14*r + 3*r. Is r composite?
False
Suppose -4*f - 2*v = 28, 2*v + 0 = 4*f + 36. Let i(a) = -23*a + 7. Is i(f) composite?
False
Let m be -1*((-3)/(-1) - 3277). Suppose 3*i + 2*o - o = m, 5*o + 4340 = 4*i. Suppose q - 6*q = -5*a + i, 5*q = 15. Is a prime?
False
Suppose 4*i - 8 = 0, 2*k - k + 5*i = 19. Is (-582)/4*(k + -11) a composite number?
True
Suppose 25880 + 31651 = 3*b. Is b a composite number?
True
Let g(u) = u**3 + 9*u**2 + 19*u - 22. Let k be g(-15). Let i = k + 7904. Is i a composite number?
False
Let a = 10 + -7. Suppose 2*y - 6*m = -a*m + 235, 4*m = 5*y - 577. Is y a prime number?
True
Let t(l) = 2*l**3 - 5*l**2 + 16*l - 24. Is t(13) composite?
False
Let m = -17 + 846. Is m a composite number?
False
Suppose 0*w - 2*w = 2*p - 5138, -3*w + 5*p = -7715. Suppose 0 = -0*u - 5*u + w. Suppose d = -d + u. Is d composite?
False
Let y(u) = -u**2 + 8*u + 10. Let x be y(10). Let o be -5*-4*(-1)/x. Suppose 94 = 4*z + o*f, 4*f = z - f - 40. Is z prime?
False
Let h(u) = u**3 + 2*u**2 - u. Let z be h(1). Suppose 1076 = -3*j + 5*j + 3*y,