 prime number?
True
Let k(j) = 3612*j**2 + 2*j + 3. Is k(-2) a prime number?
True
Suppose -5*m + 64057 = -117088. Is m prime?
True
Suppose -4*o + 5*f - 80 = 0, 4*f = -2*o - 10 - 4. Let q(y) = -y**3 - 16*y**2 - 28*y + 28. Is q(o) prime?
True
Suppose u + 3*o + 2 = 14, 0 = -3*u + 5*o - 20. Suppose -4*v - 1396 = -4*d - u*v, 0 = -d - 3*v + 337. Is d prime?
False
Let h = 6 + 30. Suppose h = -0*y - 2*y. Is y/(-15)*(-885)/(-6) a prime number?
False
Let r(q) = 8*q**3 - 2*q - 855*q**2 + 1 + 853*q**2 + 5*q. Let m be r(3). Suppose -m = 5*o - 643. Is o composite?
True
Let h(a) be the first derivative of -67*a**5/20 + a**4/12 - a**3/3 - 3*a**2/2 + 8*a - 4. Let i(s) be the first derivative of h(s). Is i(-2) a prime number?
True
Suppose 4*r + 3 = 67. Suppose r*q = 9*q + 161. Is q a prime number?
True
Suppose -24*w + 21*w = 5*s - 16417, 2*s - 2*w = 6554. Is s a composite number?
True
Suppose 3*r - 2*r - 245 = -5*q, 0 = -5*r - 2*q + 1271. Suppose -3*g + 732 = r. Is g prime?
False
Suppose 5*m - 52*h + 55*h - 28112 = 0, h = -1. Is m a composite number?
False
Let g(k) = k**3 + 10*k**2 - k - 4. Let d be g(-11). Let j be (-4)/18 + d/(-27). Is 5772/20 - j/(-10) composite?
True
Let q(f) = 787*f - 2. Let d be q(-2). Let m = d - -2572. Is m/15 - 3/(-5) composite?
False
Let w(s) be the third derivative of s**6/120 + 7*s**5/30 + 7*s**4/12 + s**3/2 + 3*s**2. Let p = 49 - 61. Is w(p) composite?
True
Suppose 4*o - 3*n = 5059 + 1599, 3*o - 2*n - 4993 = 0. Is o a prime number?
True
Let t be (7 - (-12)/(-3)) + 9. Let h be 4/(t/(-3)) - 4. Is h/(-20) + 1125/12 prime?
False
Let x(h) = 2*h**2 - 3*h - 10. Let d be x(-3). Suppose -3*b + 23 = -2*o, 0 = -b + 1. Let s = d + o. Is s prime?
True
Let u be -12*2*(-4)/(-12). Let w(v) = -5*v + 6. Is w(u) a prime number?
False
Let g be 0/(2 - 1) + 8960. Suppose k = 6*k - g. Suppose k = 5*d - 3*r, r - 93 = 5*d - 1887. Is d composite?
False
Is (-2 - -28406) + 1 - (36 - 30) a prime number?
False
Suppose -3*x = -11745 - 2901. Is x a prime number?
False
Suppose -u - 1181 + 157 = 4*l, -4118 = 4*u + 5*l. Let x = -689 - u. Let w = x - 216. Is w composite?
False
Let m = -40 - -35. Let n(s) = -7*s**3 + 6*s**2 + s - 11. Is n(m) a prime number?
True
Let v(r) = 8*r**2 + 8*r - 1. Let c(g) = -9*g**2 - 8*g. Let s(k) = 2*c(k) + 3*v(k). Is s(-8) prime?
True
Is (-25997)/(-8) + 1 - 60/(-160) composite?
False
Let a(q) = q**3 + 7*q**2 - 18*q - 4. Let c be a(-9). Let l(f) = -5*f**3 - 6*f**2 + 3*f - 1. Is l(c) a composite number?
False
Suppose 3*z = -c + 11816 - 2337, -z = 3*c - 28405. Is c prime?
True
Suppose -a = -o + 2*a + 9, 0 = -2*a - 6. Suppose -1758 = -o*j - 6*j. Is j a composite number?
False
Suppose -c = 3*n - 4690, 0*n - n + 5*c = -1558. Is n composite?
True
Let o be 3/(-3)*(-6)/(-2). Let h(k) be the first derivative of -48*k**2 + 3*k - 54. Is h(o) prime?
False
Let v(a) = 34*a**2 + 3*a. Let i be v(-8). Let h = -1461 + i. Is h prime?
True
Let a(i) = 8*i + 9*i**2 + 22*i**2 + 22*i**2 - 10*i**2 + 7. Is a(-6) composite?
True
Suppose 1802 = b - 5*j, b = -j + 293 + 1503. Is b a composite number?
True
Let x = -2001 - -913. Is -1*(-1 - x)*-1 a prime number?
True
Let f be (-6 - 0)/((-8)/4). Suppose 2 - 14 = -f*p. Suppose -2*z + 192 = 4*b, 124 = p*z - 2*b - 250. Is z prime?
False
Is 9543*(20/(-2))/(-30) composite?
False
Let k(r) = r**3 - 8*r**2 + 6*r + 3. Let c be k(7). Let q be 2 + -3 + (0 - c). Suppose -q*n + 0*n = -609. Is n a prime number?
False
Let z(t) = -t + 6. Let j(g) = g + 1. Let l be j(5). Let w be z(l). Suppose -565 = -3*k - w*q + q, -362 = -2*k - 3*q. Is k composite?
True
Suppose 0 = 3*p + 3*g - 4*g + 1332, -2*p = g + 883. Let j = 634 + p. Is j a composite number?
False
Suppose -6*n + 5*i - 30 = -n, -3*i + 12 = 0. Is ((-35367)/(-39) - n/13)*1 a prime number?
True
Let v(y) = -y + 31. Let c(a) = 3*a**2 - 4*a + 3. Let n be c(3). Is v(n) a composite number?
False
Let u(c) = 16*c**2 - 18*c + 69. Is u(4) prime?
False
Suppose -4*x - 3*z + 2034 = 0, -2*x + 4*z + 342 + 664 = 0. Let a = x + -296. Is a a composite number?
False
Is 106/1113 - 703622/(-42) prime?
False
Let x(s) = -s**3 + 2*s**2 + 15*s + 10. Let j be x(5). Suppose -2*i = -j*i + 6296. Is i prime?
True
Let u = 5090 + 1979. Is u prime?
True
Let z(o) = 2*o**2 - 57*o + 40. Let v be z(28). Suppose 2*i = v*i - 25030. Is i a composite number?
False
Let x(p) = 2*p**2 + 4*p + 2. Let m be 14/35 - (-27)/(-5). Let f be x(m). Let y = 405 + f. Is y a composite number?
True
Let o = 10343 - 4588. Is o prime?
False
Let j = 28 - 23. Suppose -j*h + 5614 = 1909. Let i = 1418 - h. Is i a composite number?
False
Suppose 2*a = 5*u + 35 - 9, 5*a - 27 = 3*u. Let d(y) = 146*y**2 + 9*y + 9. Is d(u) a prime number?
True
Let i = 0 + -2. Let b(x) = -261*x**3 - 2*x**2 + 3*x + 3. Let h be b(i). Suppose 7*q - h = -299. Is q composite?
True
Let r(y) = -y**3 + y - 1. Suppose 7*t + 0 - 7 = 0. Let z be r(t). Is z/((-5 + 3)/38) a prime number?
True
Let g = -12192 + 19538. Let j = g - 3939. Is j a prime number?
True
Let l(p) = -5*p. Let w be l(-1). Let s be (-681)/(-2) - 9/18. Suppose -u + 4*k + 7 = -66, 0 = 5*u + w*k - s. Is u prime?
False
Let v(b) = -37*b**3 + 2*b**2 + 19*b - 7. Is v(-5) composite?
True
Let u(n) = -n**3 + 3*n**2 + n - 6. Let l be u(-4). Let i = 775 - l. Is i a prime number?
True
Suppose -4*c + 20 = -4*q, q + c - 2 = 1. Let z = q + 4. Suppose -2*i - z*i + 705 = 0. Is i prime?
False
Let v(x) = 2*x**3 + x**2 - 2*x + 1. Let m be v(1). Let a(y) = y + m + y - y. Is a(0) prime?
True
Let k(f) = -f**3 + f + 3854. Let g be k(0). Suppose 0 = -7*l + g + 6611. Let a = l - 600. Is a prime?
False
Suppose c = g - 12841, 0*g + 25680 = 2*g - c. Is g prime?
False
Suppose 2 = o - 0. Let x be (-4)/8*0*1. Suppose -o*s = -x - 86. Is s a composite number?
False
Suppose 26*f + 9*f - 249725 = 0. Is f composite?
True
Suppose 2*b - 59 = -19. Let m = b - 16. Suppose 0*t + 2*u = -m*t + 498, 0 = -2*t + 4*u + 274. Is t composite?
False
Suppose 4*p - 4136 = -3*h - 365, 2*p + 6259 = 5*h. Is h a composite number?
True
Suppose 5*f - 347 + 47 = 0. Suppose 0 = -3*h + f + 192. Let v = 149 - h. Is v prime?
False
Is ((-113104)/(-24))/((-4)/(-6)) composite?
False
Suppose 5*o + 7569 = 4*d, -5*o + 583 = -5*d + 10048. Suppose 4*z - 2098 = -2*v, 5*z = -3*v + d + 1255. Is v a prime number?
False
Let a(s) = s**2 - 10*s - 9. Let b be a(12). Let l = b - -31. Is l composite?
True
Let y(z) = z**2 - 8*z + 7. Let h be y(6). Let t be (-2 - h)*65/15. Suppose 237 = -t*a + 16*a. Is a prime?
True
Let d be 3/1 - (-6)/2. Suppose -t + d*t = 635. Is t a composite number?
False
Let j be -3 + 6/4*4. Let o be ((-4 - -4)/(-4))/(-1). Suppose o*p = -j*p + 615. Is p prime?
False
Let a(s) = 153*s**2 + 42*s + 2. Is a(5) prime?
False
Let b be (-16645*(3 + -1))/1. Let i be b/6 + 5/15. Is i/(-16) - 3/(-12) a composite number?
False
Suppose -8*p + 9*p - 3 = 4*h, 5*h - 5*p = 15. Let a(i) = -546*i - 11. Is a(h) a prime number?
False
Suppose -3*t = -150 - 939. Suppose 4*b + b = 4*u - 502, 3*u - t = -3*b. Is u a prime number?
False
Suppose -49*a - 20033 = -62*a. Is a a prime number?
False
Suppose 5*i = -5*j + 2*i + 197, 4*j + 4*i - 164 = 0. Suppose -4*r + j = -23. Is r prime?
False
Let m(v) = 0*v**2 - 17*v**3 + v**2 - 4 + 2*v**2 + 3*v + v**2. Is m(-3) a prime number?
False
Suppose 7*i + 8349 = -21632. Let z = -2724 - i. Is z prime?
True
Suppose -5*s - 31753 - 41918 = -2*o, 2*s + 2 = 0. Is o composite?
False
Suppose 20*c - 266151 - 12869 = 0. Is c a prime number?
False
Let g(o) = -29*o + 37. Let c be -1 - (7 + 0 + 10 + -12). Is g(c) composite?
False
Let j(x) be the second derivative of 1/6*x**3 - 9*x + 7*x**2 + 0. Is j(0) a composite number?
True
Let s(c) = -250*c + 38. Let g(a) = -375*a + 57. Let u(r) = 5*g(r) - 8*s(r). Is u(6) composite?
True
Suppose -9*j + 3*j = 0. Suppose j*w = -3*w. Suppose w = y + 11 - 888. Is y prime?
True
Suppose 472 = 4*p + 4*i, -2*p = -i + 119 - 340. Is p prime?
True
Let a = -23 + 19. Let h be (-2)/a*1*6. Suppose h*k = -5*s + 308, -118 = -2*k + 4*s + 102. Is k prime?
False
Suppose 6*c = 33 + 15. Suppose 3*w = 22 + c. Is w/(-25) + (-834)/(-10) prime?
True
Is 1/((-313336)/(-44762) - 7) prime?
True
Suppose 5*h = 5*z + 8 + 7, -2*h = 5*z - 6. Suppose -348 = -6*o - z*o. Is o prime?
False
Suppose -7*s = -5624 - 10595. Is s a composite number?
True
Suppose -4*j - z - 11 = 0, 3*j