a prime number?
True
Suppose -326*y = -331*y + 25. Suppose 83645 = y*i - 4*s, 0 = 75*s - 72*s. Is i composite?
False
Let o(p) = 8*p**2 + 15*p + 11. Let j be o(-11). Suppose -7*c + 7124 = -3*c. Let b = c - j. Is b a composite number?
False
Suppose -5*n + 6*n + 878987 = 2*n. Is n a composite number?
False
Let a(v) = 13*v + 2. Let r be a(2). Let d be (11/(-2))/(8/(-112)). Let j = d - r. Is j composite?
True
Let s(x) = x + 24. Let j be s(-22). Suppose -j*b - 2*b + 12 = 0. Suppose -b*v - 3*z = 2*v - 164, 5*v - 3*z - 146 = 0. Is v a composite number?
False
Let x be (-4 - (-7 - -3))*3/6. Suppose -16*m + 13*m + 1416 = x. Suppose t - 10 = -5, -3*f + t = -m. Is f prime?
False
Let q be (-84936)/(-96) + ((-6)/8)/(-3). Let l = q - 16. Is l prime?
False
Let y = 164 - 90. Let v = y + -70. Is (4 - v)*-1 + 163 a composite number?
False
Let o(t) = 2047*t - 2205. Is o(64) composite?
True
Let y(b) = -b + 14. Let h be y(20). Let l be (-4)/h + 3736/(-6). Let j = -141 - l. Is j prime?
False
Suppose 4*t - 48251 = l, 3*t + 4*l - l = 36207. Suppose -6*g - t = -60478. Is g prime?
True
Let l(m) = -m**3 - 49*m**2 + 829*m - 103. Is l(-74) a prime number?
False
Suppose -5*p + 27 = -4*k, 0*p + 2*p = 2*k + 12. Let f = 7 + 51. Is (0 + k - -1) + 12*f composite?
True
Let f = 189984 - 71021. Is f a composite number?
True
Let o = -167 - -169. Suppose 4*d - 3*d + a - 894 = 0, o*d = -a + 1783. Is d prime?
False
Let n(g) = g**2 + 7*g + 16. Let o be n(-4). Let x be (-2 + o)*20/(-3 - -1). Let b(v) = 5*v**2 + 29*v + 49. Is b(x) a composite number?
True
Let a(t) = 92*t + 112. Let l be a(18). Suppose -8*m = -1968 - l. Is m a prime number?
True
Let g(d) be the first derivative of 4*d**4 - 3*d**3 - 3*d**2/2 - 11*d - 15. Let c(s) = 15*s**3 - 8*s**2 - 2*s - 10. Let b(l) = 4*c(l) - 3*g(l). Is b(5) prime?
True
Let d = 97 + -80. Suppose d = 4*b - 27. Suppose -15*h + 556 = -b*h. Is h a prime number?
True
Suppose 5*b - 1430 = -0*b. Let n = 589 - 348. Suppose -d - 55 = -3*r + n, -3*r - d = -b. Is r prime?
True
Suppose -21398*b + 21380*b = -146646. Is b a prime number?
True
Suppose -2*r = -5*r - 201. Let y = r + 79. Is 1355 + -1*y/3 a prime number?
False
Let n = 11111 - 8590. Is n a composite number?
False
Let t(h) = -105*h + 17. Let g(v) = -53*v + 8. Let y(l) = -13*g(l) + 6*t(l). Let s = -47 + 48. Is y(s) prime?
False
Let u(d) = d**3 - 5*d + 14. Let t be u(-3). Let k = -20062 - -32029. Suppose 0*c = -5*z - t*c + k, -c - 4785 = -2*z. Is z prime?
True
Suppose -21543 = -43*t + 15867. Suppose 28*i - 69722 = -t. Is i a composite number?
False
Suppose 2*g - 443 - 1203 = 0. Suppose -3*d + 2509 = a, 0 = -5*d + 4*d - 3*a + g. Is d a composite number?
True
Let n be 14/(-8)*(-700)/25. Suppose 4 = -2*j - 5*r, 5*r - n = 4*j - 11. Let o(f) = -6*f + 11. Is o(j) prime?
True
Let n = -87464 + 493393. Is n a prime number?
False
Let d = 88 - 86. Let a be d - (2 - -2 - 5/1). Suppose 4*x - 7892 = -n, -2*n + 5919 = a*x - 5*n. Is x prime?
True
Suppose -2*m = 4, 0 = u - 4*m + 91 - 19. Suppose 2*g - 9488 = 2*p + 70806, 2*p + 4*g = -80312. Is p/u + (-2)/(-16) + -3 composite?
False
Let u(y) = -223*y - 28. Let h be (-18)/(-8)*7/(-63)*-12. Suppose h*k = -31 + 4. Is u(k) a prime number?
True
Suppose -128739 + 10649 = -7*q. Let w = -10614 + q. Suppose -3279 = -5*o + w. Is o a prime number?
True
Let m = -138860 - -334741. Is m prime?
False
Is (-2 - 19/(-8)) + 51962273/6248 prime?
True
Let g(h) = 327*h - 9. Let b be g(11). Suppose 13636 + b = 8*q. Is q a prime number?
True
Let u(k) = 33*k + 7. Let o be u(6). Let t be 4*128 + (-9 - -9). Let c = t - o. Is c composite?
False
Suppose -4*y - 13 = b, 71 = -2*b + 2*y - y. Let j be 2/(-11) + (-12579)/b. Suppose 48*f = 49*f - j. Is f composite?
True
Let b(d) = 50*d + 19. Suppose -8*q + 33 = 1. Suppose 2*s + 36 = q*s. Is b(s) prime?
True
Suppose -3*l + 5*u + 10516 = u, -4*l + 14020 = -5*u. Let m = -421 + l. Is m a composite number?
False
Let k = 1046 - -256. Let o = k + -395. Is o a prime number?
True
Suppose 114*n - 3*h + 1627549 = 116*n, 0 = -6*n - 5*h + 4882643. Is n a composite number?
True
Suppose -3*n + k - 345 = -1475, n = -4*k + 368. Let h be ((-5)/4)/(7 + (-2633)/n). Suppose 0 = -m + 327 + h. Is m composite?
False
Let t = 108 - 82. Suppose 5*x - z + 6 = t, -15 = 3*z. Suppose -2217 = -3*n - 4*y, x*n - n + 3*y - 1478 = 0. Is n a prime number?
True
Suppose 0 = -3*h + 3*c + 4629783, 3*c - 3086512 = 16*h - 18*h. Is h prime?
True
Let k be 1/(((-36)/388)/(-9)). Let d = 270 + k. Is d a prime number?
True
Let g(k) = 22*k + 39. Let s(r) = 22*r + 37. Let a(q) = -4*g(q) + 3*s(q). Is a(-8) a prime number?
True
Suppose -3*t + 18*a - 17*a + 14 = 0, 4*a + 35 = 5*t. Suppose -5*y + f + 42073 = 4*f, -2*y - t*f + 16822 = 0. Is y a prime number?
False
Suppose 2*y + r - 1771502 = 0, 732878 = -5*y - 2*r + 5161633. Is y composite?
True
Let p = 264930 - 20411. Is p a prime number?
False
Let k(q) = -1124*q**3 - 3*q**2 - 4*q. Let j be 5/(-2)*66/55. Is k(j) composite?
True
Let p(n) = 14255*n**2 - 2*n - 2. Let v be 15/(-18) - 22/(-12). Is p(v) a prime number?
True
Let g(d) = 38*d**2 - 2*d + 17. Suppose 13*k = 6*k + 35. Suppose -4*x - 3*w = 35, 4*w - k = 4*x + w. Is g(x) prime?
True
Let d = 472762 + -165251. Is d a composite number?
False
Suppose 0 = 2*a - 3*a - 4. Let p be (-2 + 0)/a*(-905 - 9). Let d = p + 642. Is d a prime number?
False
Suppose 2*o - 7*o + 2*b = -4211, o - 835 = -2*b. Let j = 16038 - 15636. Let n = j + o. Is n composite?
True
Let j = -37 - -40. Let k be (j*(-1524)/45)/((-4)/10). Suppose 2*y = 4*y - k. Is y a composite number?
False
Let d(n) = 5*n - 7*n + 30 + 16*n. Let r be d(-3). Is 2*(-186)/r*7 a prime number?
False
Suppose 56*p - 2 = 54*p. Suppose -7*o = -15 + p. Suppose 0*d = -3*d - 12, o*c - 4*d = 2738. Is c a composite number?
False
Is 4/(-14) + ((-1253012312)/(-496))/(14/4) prime?
False
Suppose -4*g + 16310 + 63327 = 5*n, 2*g = -3*n + 47783. Is n a composite number?
True
Let y = 7161 + -12144. Let k = y - -9686. Is k a prime number?
True
Suppose -23*o - 1865716 = -91*o. Is o a prime number?
True
Suppose 3*q - 3*p = -31881 - 2871, 3*q + 34740 = -p. Let w = -3792 - q. Is w a composite number?
False
Let l = -332 - -325. Is (-2)/(-2)*(1184 - (l - -4)) prime?
True
Let f = -306 + 293. Let s(c) = 14*c**2 + 72*c - 31. Is s(f) a prime number?
True
Let t = -293491 - -539262. Is t a prime number?
True
Let z be 2887/4 + (-6)/((-72)/15). Let l = 1442 - z. Is l a prime number?
True
Let k(j) = 3*j - 1. Let v = -22 - -23. Let x be k(v). Is x/4*-1*-1538 a prime number?
True
Let q be 35/(-28)*1*4. Let h be (-6)/q*(15/3 - 0). Suppose -3*s = -d + 335, -3*d + h*d - s - 973 = 0. Is d a prime number?
False
Is 1 + ((-83230)/28 - -7)/((-3)/160) a composite number?
False
Let p(z) = 4*z**3 + 10*z**2 + 19*z + 12. Let r(u) = u**2 + 5*u**3 + 11 - 26*u + 0*u**2 + 8*u**2 + 45*u. Let k(d) = 6*p(d) - 5*r(d). Is k(14) a prime number?
True
Suppose 0 = -282*c + 93865391 + 96281287. Is c a composite number?
True
Suppose 3*r - 210168 = 5*g, 5*g + 153470 + 196800 = 5*r. Is r prime?
True
Suppose -3270870 + 11996099 = 37*k. Is k a composite number?
True
Suppose -4*a - 2*i = 20796, 0 = -a - i + 5*i - 5208. Let d = a - -23007. Is d a prime number?
True
Suppose 0 = 4*k + 3*s + 1, 0 + 2 = -2*k - 2*s. Suppose -k*c = 3*j - 0*j + 4, -4*j = c + 2. Suppose 6*o + j*o - 1758 = 0. Is o composite?
False
Let u = -111 + 72. Let r = -33 - u. Suppose -r = -c + 265. Is c a prime number?
True
Let f(d) = 74048*d + 731. Is f(7) prime?
True
Let f be (-6446)/(-9) - ((-16)/36)/(-2). Suppose f = -7*k + 170. Let j = 457 + k. Is j a prime number?
True
Suppose 0 = 9*q - 5*q + 4. Let d(n) = 502*n**3 - 2*n**2 - 2*n. Let u be d(-2). Is 3/(q + u/(-4011)) composite?
True
Suppose 45860 = 18*g - 9814. Suppose -9*b + 8*b + 4*h = -g, -3*b + 4*h = -9311. Is b composite?
False
Let s(j) = -175*j**2 - 13*j - 1. Let m(i) be the third derivative of 131*i**5/30 + 5*i**4/6 + i**3/6 - 4*i**2 - 2. Let x(y) = -5*m(y) - 8*s(y). Is x(-2) prime?
False
Suppose -9*j + 3549 = -16143. Let r = j + -1215. Is r prime?
False
Is (2425677/90 + 22/66 + -5)*10 a prime number?
True
Suppose -6*d = -56*d - 92*d + 2436578. Is d composite?
False
Suppose 3*t = -0*t + 1146. Suppose -117 - 413 = -119*u + 184. Is 30/2*t/u composite?
True
Suppose 5*y + 5 = -5*n + 4*y, -25 = 5*y. Suppose -4*j +