4566. Is f prime?
True
Let l(g) = 1020*g**2 + 15*g + 34. Is l(-3) prime?
False
Let z(b) = 10*b**2 - b**2 - 2 + 5 - b**2. Is z(-2) a composite number?
True
Let m(z) be the first derivative of z**4 - 2*z**3 + 9*z**2/2 - 5*z + 19. Is m(4) a composite number?
False
Suppose 1 = 2*t - 1, 0 = -4*b + 3*t + 2481. Let r(h) = -3*h**2 - 13*h - 4. Let m be r(-12). Let n = m + b. Is n composite?
True
Let v(u) = u**2 - 6*u - 2. Let x be v(7). Suppose -2046 = -2*a + 4*j, -2444 - 1654 = -4*a + x*j. Is a a prime number?
False
Let k be (-2 - (4 + 0))/(-1). Suppose -12*d = d - 533. Let c = d - k. Is c prime?
False
Suppose -50665 = -5*m + 4*v, -34*m + 5*v + 30412 = -31*m. Is m a prime number?
False
Let m(o) = -o - 3. Let u be (-3)/(24/(-14))*-4. Let g be m(u). Suppose -2*x - 2*c = -5*c - 464, g*c = 2*x - 468. Is x composite?
True
Let c be ((-1)/2)/((-6)/132). Let z = -9 + c. Suppose -3*h + 182 = z*i, i + 4*h - 4 - 82 = 0. Is i prime?
False
Let k(i) = -i**3 - 8*i**2 - 16*i - 1. Let f be k(-6). Suppose f*l - 4*l - 7258 = 0. Is l prime?
False
Suppose 7*c + 85767 = 40*c. Is c composite?
True
Let q(r) = 17*r**2 + 4*r - 13. Let p(n) = n**3 + 7*n**2 + 2*n + 8. Let y be p(-7). Let l be 8/12*y + 10. Is q(l) composite?
True
Let v = -1347 + 2356. Is v prime?
True
Let p be -1*(-32 - 0/4). Let h be 8/p - (-546)/(-8). Let r = -37 - h. Is r a composite number?
False
Let j(r) = -264*r**3 + 2*r**2 - r + 2. Is j(-4) a prime number?
False
Suppose -3*u = u - 364. Let q = 142 + u. Is q prime?
True
Let v(y) = -95*y + 29. Let f be (-4*3/2)/(21/14). Is v(f) a prime number?
True
Suppose 27*w = 288090 - 58023. Is w a prime number?
True
Let n be -4 - (-12332)/(-8)*-2. Let k = 2135 - n. Let c = k - -1525. Is c a composite number?
True
Suppose 7*o - 304603 = -6*o. Is o prime?
True
Suppose 5*s - 8 = t + 2*t, -4*t + 24 = 2*s. Suppose -l + s*l + 1971 = 0. Let y = l - -2498. Is y a prime number?
False
Suppose -456 - 2479 = -5*w. Is w a prime number?
True
Suppose 4*g - 2*u = 336116, 2*g + 9*u - 11*u = 168058. Is g a prime number?
False
Is 3/21*-2 + 240309/21 a prime number?
True
Suppose 41762 = n + n - 4*r, -41750 = -2*n - 2*r. Is n composite?
True
Let j(r) = -395*r + 28. Is j(-23) a composite number?
True
Suppose 229 + 2261 = 4*r + 2*n, 4*r = 5*n + 2497. Is r a prime number?
False
Let g(j) = -j**2 + j - 8. Let h be g(-4). Is 118/4 + (-42)/h prime?
True
Is 2/12*77967*4/6 a composite number?
False
Let k = 2562 - -235. Let g = 5118 - k. Is g composite?
True
Let k be (-2)/(-6)*(6 - -3). Is (k - 772)*2/(-2) a prime number?
True
Suppose a - 3203 = -4*l, -5*a = -9*a - 3*l + 12812. Is a prime?
True
Suppose -a = a - 2*u + 24, 5*u + 3 = -4*a. Let p = 7 + a. Suppose p = -4*t + 178 + 202. Is t composite?
True
Suppose -b - 133 = -2*s, 2*s = -3*s - 5*b + 310. Let v = s - 113. Let u = v - -67. Is u composite?
False
Let n(t) = -18140*t - 3. Is n(-1) prime?
False
Suppose 0 = -7*t - 56. Let g be 0 + (-4)/t*32. Suppose -17*y + 58 = -g*y. Is y composite?
True
Suppose 4*z + 2*d - 3*d = 2175, -z + 3*d + 552 = 0. Is z a composite number?
True
Suppose -5*l - 14 = -3*t, t + 4*l - 1 = -2. Suppose -t*j + 5*x + 613 = -0*x, -3*j = -x - 629. Is j a prime number?
True
Suppose -2*h + 0 = -4. Suppose 5*g - h = -12. Is (9/18)/(g/(-484)) composite?
True
Let t(d) = -73*d + 67. Let s(l) = -l**3 + 4*l**2 - 6*l + 2. Let i be s(4). Is t(i) a prime number?
False
Is ((-446)/(-4))/(-7 - 2390/(-340)) prime?
False
Let d(q) = q**2 + 7*q + 7. Let i be d(-6). Suppose 5*k + 4*o - 329 = 0, i = k + 5*o - 48. Is k a prime number?
False
Let d be 2/8 + 6/(-24). Suppose 6*k + 2*k - 16 = d. Suppose -5*c - 637 = -3*b + 242, 0 = b - k*c - 292. Is b a prime number?
False
Let r(x) = x**2 + 4*x. Suppose -3*j - j + 7 = -3*g, 4*j = 4*g + 12. Let w be r(j). Is w/(-18) + (-3326)/(-18) composite?
True
Let y(j) = -4 - j**2 + 3*j + 6*j**2 - 4*j**2. Let f be y(-4). Suppose -i + 0*d = 2*d - 131, 2*i + 2*d - 258 = f. Is i composite?
False
Let n(b) = -27*b**3 + b**2 + 2*b - 3. Let p be n(3). Let y = p - -1364. Is y a prime number?
True
Let g(u) = 1072*u + 7. Is g(16) a composite number?
False
Suppose 15*i = -19*i + 1539622. Is i composite?
True
Suppose -4*a + 4*z - 1108 = 0, -4*a - 1622 = 5*z - 550. Let k(b) = b + 400. Let l be k(0). Let p = l + a. Is p prime?
True
Let d(s) = 103*s + 51. Let j be d(24). Is (j/6)/((-9)/(-18)) prime?
False
Is 4/((-136)/6477*(-6)/8) prime?
False
Let i(k) = 182*k + 15. Is i(10) a composite number?
True
Suppose 0 = -2*y + 3 + 11. Let a(f) = -643 + 638 + 4*f + 5*f + 3*f**2. Is a(y) composite?
True
Let s = 43 + -28. Let w = 54 - s. Is w prime?
False
Let f(v) = 75*v - 2. Let y be f(4). Suppose -3*b = 2*r - 2327, y + 862 = r - 2*b. Is (6/4)/(7/r) a composite number?
True
Let w = -24 - -28. Suppose x = 5*p + 28, p = -4*x + w + 3. Suppose 6*a - x*a = 261. Is a a composite number?
True
Is (-1 + -583940)/(-2 + -5 + 4) a composite number?
False
Is 25090/2 - (-66)/(-11) a composite number?
False
Let n = -259 + 145. Let h = 263 + n. Is h a prime number?
True
Is 2*(-3676)/6*165/(-44) prime?
False
Let w(b) = 3*b**2 - 2*b - 91. Let z(t) = 5*t**2 - 4*t - 182. Let n(r) = 7*w(r) - 4*z(r). Is n(0) prime?
False
Let r(k) = 255*k**2 + 60*k + 19. Is r(-8) composite?
False
Let d(f) = 337*f**2 + 4*f + 13. Let y be d(6). Suppose -12*b + 11867 = -y. Is b prime?
True
Let s(o) = o**3 - 7*o**2 - 2*o - 3. Let w be s(10). Suppose f + w - 63 = 0. Let i = -137 - f. Is i a composite number?
True
Suppose -358*d + 94087 = -351*d. Is d composite?
False
Let q = -28 + 32. Let o(g) = q*g - g + 0*g + 2 - 4*g - g**3 - g**2. Is o(-7) composite?
True
Let i(z) = z**3 - z**2 + 1. Let b be i(-1). Let m be -3 + b - -20*30. Suppose 6*n - 10*n = -m. Is n a composite number?
False
Let f(o) = -o**2 - 22*o + 51. Let h be f(-24). Suppose -d + 749 = h*c, -4*c = d + 3*d - 2980. Is d a composite number?
False
Let a = -3876 - -7123. Is a composite?
True
Let v = 11 + -10. Let u = 2 + v. Suppose 2*m - 414 = -2*h - u*h, -2*h + 643 = 3*m. Is m composite?
True
Let j(f) = -10*f**3 - 2*f**2. Let w be j(-1). Suppose -4*r - y + 7 = -0*y, -r + y + w = 0. Suppose -k + 125 = 2*p - 0*p, -r*p + 490 = 4*k. Is k a prime number?
False
Let q = 2737 - 869. Suppose -g + 3*g = q. Is g a prime number?
False
Let g = 4080 + -709. Is g a composite number?
False
Suppose -2 = -n - v, -3*n = -n + v - 4. Suppose -4*r + n = -6. Suppose 0*q = -r*q + 706. Is q a composite number?
False
Suppose 29*z = 28*z. Suppose 2*q - 399 - 347 = z. Is q a composite number?
False
Suppose -18*q = -176958 - 225900. Is q a composite number?
False
Suppose 134*c = 131*c + 8301. Is c composite?
False
Suppose 0 = -30*w + 37*w. Suppose w*n + 6083 = 7*n. Is n a prime number?
False
Let a(w) be the first derivative of -13*w**4/24 - w**3/2 + 5*w**2/2 + 3. Let f(p) be the second derivative of a(p). Is f(-2) prime?
True
Let x(v) = v - 15. Let g be x(11). Is 2/g - 1227/(-2) a prime number?
True
Suppose 3*x - 25 = 4*j + 4, 2*x = 3*j + 21. Let s be -9 - 1/(3/x). Is s/25*-5 + 47 prime?
False
Let g = -73 + 71. Is 116 - -1*(-3)/g*2 a composite number?
True
Suppose q = 5*q. Let k(x) = 24*x**2 + 10*x - 16. Let i be k(4). Suppose q = 5*g - 377 - i. Is g composite?
False
Let d be 3/((-7)/((-28)/6)). Suppose 4*p - t = -332, d*p - 4*t = -106 - 46. Let z = 173 - p. Is z composite?
False
Let z(u) = -3*u + 9 - u + 3*u + 28. Is z(0) prime?
True
Let i = -433 - -433. Let t be -6*1/(-1 + 2). Is (34 - i)/(t/(-15)) prime?
False
Let u be -5 - ((-4)/(-1) - 6). Is (-4 - u)/(5/(-435)) a composite number?
True
Let t be (((-216)/6)/9)/(4/14). Let r be ((-5)/(-10))/((-1)/12). Is (-171)/(-19)*t/r a prime number?
False
Suppose 51*n + 6245 = 56*n. Is n composite?
False
Suppose 3*k = 2*b - 0*b - 3437, b - 4*k - 1726 = 0. Is -3 + b/(-3)*-3 composite?
True
Let w be 462/56*128/6. Let c(s) = 42*s + 3. Let z be c(-3). Let u = z + w. Is u a prime number?
True
Let k(q) = -q**3 - 4*q**2 + 3*q - 7. Let m be k(-5). Let n be 2130/18 - 1/m. Suppose 2*y - n = -8. Is y composite?
True
Suppose 2*t - 4*t + 2*x + 57948 = 0, -3*t + 86887 = 4*x. Is t a prime number?
False
Let y(r) = 4*r + 7*r - 18*r + r + 12143. Is y(0) composite?
False
Let z(w) = 224*w**2 - w + 1. Is z(-4) composite?
True
Let u be (-1)/(-4) - (-44)/16. Let s be u/3 + 2 + -4. Is (-54 - -8)/(1/s) composite?
True
Suppose 5 = -2*x + 5*o