prime number?
False
Suppose -32*n = -17322 + 4746. Is n a prime number?
False
Suppose -5*n - 494660 = -15*n. Is n composite?
True
Suppose 172620 = -14*z + 477358. Is z prime?
True
Suppose 3*y = -6, -15*a = -12*a + 5*y - 2777. Is a composite?
False
Suppose -4*g - 8 - 12 = 0. Let t(n) = -2*n**3 + 8*n**2 + 8*n + 5. Is t(g) a prime number?
False
Let y(v) be the second derivative of -v**5/4 + v**4/2 - 13*v**3/6 - 13*v**2/2 + v + 2. Is y(-6) prime?
True
Let y(f) = -14*f**2 + 11*f + 11. Let h(o) = 41*o**2 - 32*o - 32. Let b(l) = 6*h(l) + 17*y(l). Let q = -33 + 39. Is b(q) composite?
True
Let l(f) = 141*f**3 - 6*f + 4. Is l(3) prime?
True
Let o be -1 - -172 - (4 - 1). Suppose 71 + o = h. Is h prime?
True
Let m = -7647 + 12194. Is m a prime number?
True
Is (1/(-1)*-1)/(42/869694) prime?
True
Suppose 0*r + r = 2*g + 1, -4*r - 16 = 2*g. Let t be (-2)/((-1125)/561 - g). Suppose 0 = -5*w + 3*w + t. Is w a prime number?
False
Let a(w) = -724*w + 23. Is a(-5) a prime number?
True
Let q(i) = -62*i**3 + 26*i**2 + 5*i + 9. Is q(-8) a prime number?
True
Suppose 0 = 20*q - 594796 + 109176. Is q a composite number?
False
Let g(y) be the second derivative of 923*y**4/3 - y**2/2 - 44*y. Is g(1) a prime number?
True
Suppose 2*x - 6 = 2*q - 0, -q = 5*x - 3. Suppose 5*f - 137 = 43. Is (12/f)/(q/(-1146)) a composite number?
False
Let f(u) = u**3 + 19*u**2 + 5*u - 12. Let n(s) = s**3 + 19*s**2 + 5*s - 13. Let y(k) = 4*f(k) - 3*n(k). Let a = -75 + 67. Is y(a) a prime number?
False
Suppose i + 32 = 5*n - 2*i, 0 = -n + i + 8. Suppose 297 = n*j - 451. Is j prime?
False
Let n(i) = -12*i**3 - i**2 + 9*i + 26. Let g be n(-5). Suppose 969 + g = 5*s. Is s composite?
True
Let g(k) = 14*k + 15. Suppose -4*x = -5 + 21. Let y be (x + 3 - 6)/(-1). Is g(y) a prime number?
True
Is -6 - (296*-75 - -5) a prime number?
True
Let p be (-18654)/(-21) + (-4)/14. Let h = p - 362. Is h a prime number?
False
Let s = 349 - 143. Suppose -s = -3*q + 55. Is q composite?
True
Let j(q) = 6*q**2 + 7*q + 35. Suppose 4*a + 6 = 26, 0 = 3*f - 4*a - 16. Is j(f) composite?
False
Suppose n - 67981 - 40958 = -5*i, 0 = -4*i + 2*n + 87140. Is i a prime number?
True
Let w be (14/(-21))/(1/(-9)). Let j be w/1*(3 + 9). Suppose 4*d - 5*m = -m + j, m - 45 = -2*d. Is d a composite number?
True
Let m(s) = -35*s + 3. Let g(a) = a - 4. Let z be g(-10). Is m(z) a prime number?
False
Is 6083 + -1 - (1 + 0) prime?
False
Is (-172)/129 - 17996/(-6) a prime number?
False
Suppose -3*u = -8*u - 5*r + 57735, 0 = -4*u + 2*r + 46176. Is u composite?
True
Let j = 14648 - 10065. Suppose -4*n + j = 1607. Suppose -n + 109 = -5*r + 4*g, -4*r + 508 = -5*g. Is r a composite number?
False
Is (-5 + 8 - 12) + 24911 prime?
False
Let y = -2442 - -6941. Is y a composite number?
True
Is 20/(-12)*24546/(-10) a composite number?
False
Let n = -2 - 2. Let v(h) = -3*h**3 - 4*h**2 + h - 9. Let x be v(n). Let w = x - 82. Is w a prime number?
False
Let v(d) = -d**3 + 3*d**2 + 25*d + 5. Let m be v(7). Is (19192/18 - -3) + m/72 prime?
True
Let o = 67085 + -23218. Is o prime?
True
Let r(j) = -2*j**2 + 2. Let n be r(0). Suppose -3*l + 3*s + 771 = 0, n*l + 0*s - 526 = 5*s. Is l a prime number?
False
Is (-10)/4*(43 - 8189) prime?
False
Suppose 5*l = q - 2879, 4*l + 14479 = -7*q + 12*q. Is q prime?
False
Suppose 8*u + 11955 = 2851. Let n = -507 - u. Is n prime?
True
Let i = 13 + -11. Suppose -i*r = 3*d - r - 10825, -4*r - 10805 = -3*d. Is d a composite number?
False
Suppose s = -2*a + 7, -5*s + 4 = -s - 4*a. Suppose 0 = 2*o - s*o + 127. Is o composite?
False
Suppose -3*t + 3538 = 8*r - 13*r, -3*r + 3 = 0. Is t prime?
True
Let w = -18124 - -32267. Is w prime?
True
Let a(q) = 2*q**3 + 4*q**2 - 6*q - 22. Let o be a(12). Suppose 8*z - 6*z - 3930 = 4*p, 2*z - 2*p = o. Is z a composite number?
False
Suppose 0 = 3*q - 4*i - 23165, -5*i + 16520 = 3*q - 6600. Is q composite?
True
Suppose 31138 - 5489 = 13*z. Is z a composite number?
False
Suppose 15*d = -d + 33168. Suppose 0 = 2*r - t - 3*t - 4090, 0 = r + 5*t - d. Is r prime?
True
Let i(k) = -k**3 - 8*k**2 - 5*k + 9. Let z be i(-7). Is (-3358)/z - -1 - 10/(-25) a composite number?
False
Let z(o) = 2*o**3 - o**2 - 4*o + 3. Let f be z(2). Suppose 3*l = -u - f, 2*l + 16 = 2*u - 2*l. Suppose -u*t + 0*t + 98 = 0. Is t prime?
False
Let c(p) = -2*p**2 - 10*p - 6. Let d(z) = z**2 + 5*z + 3. Let g(l) = 3*c(l) + 5*d(l). Let i be g(-10). Let x = 104 + i. Is x a composite number?
True
Let u(o) = -2*o**3 + 9*o**2 - 13*o - 41. Is u(-16) a composite number?
False
Let z(x) = x - 18 - 8 - 78. Let y be z(0). Is (-4)/(-26) + (-10696)/y a composite number?
False
Let s = 25949 + -9106. Is s composite?
False
Let p be -1 + (6 - (2 + -1)). Suppose -2*t + 0*t - p*l + 18 = 0, -18 = -2*t - 5*l. Suppose 370 = -t*y + 11*y. Is y a composite number?
True
Let d(a) = -166*a**2 + 3*a - 2. Let n(c) = -c**3 - c + 3. Let y be n(0). Let l be d(y). Let j = l + 2238. Is j composite?
False
Suppose 3*r + 325 = -2*r. Let l be (r - 3)/((-8)/(-36)). Let k = -179 - l. Is k composite?
False
Let x = 807 - 418. Suppose -44*o = -45*o + x. Is o prime?
True
Let n = -47 - -50. Suppose 7*r + 4*v = n*r + 1220, -3*v = -3*r + 897. Is r a composite number?
True
Let p(u) = 68*u**2 + 8*u - 12. Let y(r) = -68*r**2 - 7*r + 11. Let z(n) = -6*p(n) - 7*y(n). Is z(2) prime?
True
Let v(p) = 6*p**2 + 12*p. Let c(h) = h**2 + h. Let x(u) = -9*c(u) + v(u). Let a be x(3). Is 4/a - 1275/(-27) composite?
False
Suppose 14*t - 3644 = 11*t + y, -2411 = -2*t - 3*y. Is t a composite number?
False
Suppose 22*r - 21754 = -4484. Is r prime?
False
Let c(y) = y**3 + 9*y**2 - y - 6. Let a be c(-9). Let q be 7*(a*-56)/(-4). Suppose -g - 3*n = g - q, 4*g - 560 = n. Is g prime?
False
Suppose -6*j - 108 = 3*j. Let s(p) = -23*p + 61. Is s(j) a prime number?
True
Is 11/((-539)/(-770609)) + (-2)/(-7) prime?
True
Suppose 2*y - 22 = 4. Suppose -627 = -16*z + y*z. Is z prime?
False
Let y = 986 - -165. Is y a composite number?
False
Let w = 40 + -28. Suppose 5*o = 5*l - 10, -l + 3*l = -2*o + w. Suppose -2*b - r + 80 = 0, -o*r = 5*b - 138 - 61. Is b a composite number?
True
Suppose -6*n + 10480 + 7382 = 0. Is n prime?
False
Is 2/(-10) + 66879/45 a prime number?
False
Suppose -56 - 115 = -b. Let z be -2*(-4)/(-4) + 1*40. Let g = b - z. Is g a prime number?
False
Let s be (9 + 1)/(-3 - -3 - -2). Suppose 1527 + 908 = s*c. Is c a prime number?
True
Is 2*(-5)/(-20)*2302 prime?
True
Is (4987 + 0)/(2 - (-9 - -10)) composite?
False
Suppose -6*c + 4*c + 4 = 0. Suppose 2*z - 308 = 2*b, -c*b = -4*z - 0*b + 606. Is z composite?
False
Let o(n) = n**3 + 9*n**2 + 6*n + 6. Let x = -15 - -18. Let a be (-10 - -1) + -2 + x. Is o(a) composite?
True
Suppose -2*o = -10, 4*s - 11 = -0*s + o. Suppose 3*b = 3*x + 24, 3*b - 1 = -s*x + 2. Is (-149)/(x*(-3)/(-9)) composite?
False
Let v = 3973 - 7221. Let q = 2013 - v. Is q a composite number?
False
Suppose -4*s + 5 = -3*s, -c + 1669 = 4*s. Is c prime?
False
Let c(j) be the second derivative of -53*j**5/20 + j**3/2 + j**2/2 - 8*j. Is c(-2) composite?
False
Suppose 0 = 272*q - 269*q - 8103. Is q composite?
True
Let b(o) = -179*o - 33. Is b(-6) composite?
True
Let v = 1 - -2. Suppose 2*b + 24 = 34. Suppose 0 = 2*l + 4*n - 430, -b*n + 340 = v*l - 308. Is l a prime number?
False
Let p(i) = -i - 3. Let o be p(-5). Suppose -2*m = 2*x, -x = -0*m + 5*m + 8. Is 342 + o + 6/m prime?
False
Let w = 343 + -155. Suppose -3210 + 460 = -10*n. Let d = n - w. Is d prime?
False
Suppose 0 = 2*s - b - 8735, 3*s + 2*b = -0*b + 13099. Is s prime?
False
Let f be -10*(6/5 - 4). Suppose 2*w - f = w. Let p = 63 - w. Is p composite?
True
Suppose -5*d - 3*u + 654 = -2*u, 5*u = -4*d + 540. Suppose -520 = 5*t + d. Let b = 257 + t. Is b prime?
True
Suppose -g + 157 = -0*i + 2*i, -2*g + 10 = 0. Let c = i - 39. Is c composite?
False
Let x(y) = -8*y**3 + 9*y**2 + 30*y + 83. Is x(-10) a prime number?
False
Let a(z) = z**2 + 2*z + 3 + z - 6*z - 2*z**2. Let n be a(-3). Is (-92)/4*n/(-3) a composite number?
False
Suppose -n - 8329 = -3*o + 69164, -3*o + 2*n = -77493. Is o prime?
False
Suppose -5*i + 3*i + 3*n + 15003 = 0, -5*n = -4*i + 30009. Suppose 4*u + i = 3*p + u, 10014 = 4*p + 2*u. Is p composite?
False
Let x be (17/(-34))/(1/12). Is (72/8)/(x/(-94)) prime?
False
Let c = 1317 + 4894. Is c a prime number?
True
Let q be 