4*q = -29*q + 102725. Is q prime?
False
Let u = 28 + -26. Suppose -x = -5*r - 330, -r = 4*x + u*r - 1343. Is x composite?
True
Let r(d) = 11*d - 9. Let j = -33 - -48. Suppose 5*s = 5*a + 35, a + j = 3*s - 0*s. Is r(s) a composite number?
True
Suppose 92347 = -29*s + 380984. Is s a prime number?
False
Let y(d) = -d**2 - d. Let q be y(0). Let j be ((-38)/14 + 3)/(20/490). Suppose -j*m + m + 2874 = q. Is m a prime number?
True
Let r(q) = 32*q**3 - 2*q**2 + 2*q - 1. Let w be r(1). Let h = 0 - w. Let m = 638 - h. Is m a composite number?
True
Let y = 0 + 3. Suppose 5*t = y*q + 15, 2*q - 5*t = 6*q - 15. Is (2 - -211) + 2 - q a composite number?
True
Suppose 0 = a + 1 - 3. Suppose 0 = -3*u - 3*d, -a*d = -4*u + d. Suppose u = -3*m - 15, 0*k + 108 = 4*k - 4*m. Is k a prime number?
False
Suppose -3*r + 4*f + 42313 = -0*r, -2*r + f = -28212. Is r composite?
False
Is ((-45)/(-10) - 4)*10178 a prime number?
False
Let r(y) = 359*y**2 + 13*y + 37. Is r(-9) a composite number?
True
Let v(p) = 3*p**2 - 3*p**3 + 1 + 9*p - 17*p + 13*p**3 + 3*p**2. Is v(5) a prime number?
True
Suppose 3*p - q = 3329, -5*p = -5*q - 6876 + 1321. Is p composite?
False
Let z be (-24185)/15 + -6 - 2/(-6). Is -1 - (-1 - z/(-2)) a prime number?
True
Let h be ((-210)/28)/(1/(-2)). Let f(u) = u**2 - 11*u + 6. Let g be f(h). Suppose -6*m = -3*m - g. Is m composite?
True
Suppose 4*t + 10 = 42. Is 1341 + -7 + 4 + t a prime number?
False
Let f be (1 - 3) + 255 + 6. Suppose 0 = 3*r - 2*s - 436, -2*r + 2*s + 31 = -f. Is r composite?
True
Let c(g) = -g**3 - 29*g**2 + 15*g + 60. Is c(-31) prime?
False
Let b(m) = 56*m + 18 - 652*m + 38 - 269*m. Is b(-5) a composite number?
True
Suppose -4*s = -3 + 15, n - 2*s = 6785. Is n composite?
False
Let z(v) = v**3 - 7*v**2 + 1. Let k be z(7). Is (-752 - k)*(-1)/3 a prime number?
True
Let a = 1897 + -1178. Is a composite?
False
Let i(u) = 14*u + 7. Let m(a) = -27*a - 14. Let w(v) = -11*i(v) - 6*m(v). Let h(x) = -x**2 + 9*x + 5. Let n be h(9). Is w(n) a prime number?
True
Suppose 321 = 3*j - 825. Is j a composite number?
True
Let x(n) = -4*n**3 - 21*n**3 - 3 + 12*n**3 - 35*n**3. Is x(-2) prime?
False
Let n(r) = -2 - r - 15 - 51*r. Is n(-4) a composite number?
False
Suppose 3*o - 6 = -t - 9, -4*t + 52 = -4*o. Let f(u) = u - 1. Let n(k) = 20*k - 25. Let d(i) = -5*f(i) + n(i). Is d(t) a composite number?
True
Let v(y) = -y**2 + 3*y - 5. Let i be v(2). Let n be 12/20 + i/5. Let q(w) = w + 141. Is q(n) a composite number?
True
Let t = 2830 + -2016. Suppose -10 = 5*l, r + 2*l - t = -r. Is r a composite number?
False
Suppose -25 = -5*f - 5. Suppose -28 = 8*i - f*i. Let l(g) = -g**2 - 9*g - 5. Is l(i) prime?
False
Let f(u) = 131*u**2 - 28*u + 191. Is f(10) a prime number?
False
Suppose 0 = -2*u + 5*o + 255, 15 = 5*o - 0. Suppose -2*r + 4*i - 6*i + 278 = 0, r = -2*i + u. Is r prime?
False
Suppose 2*i - 12923 = -5*l, -i + 6484 = 3*l - 8*l. Is i composite?
False
Let j = -159 + 50. Let q = 614 + j. Is q a prime number?
False
Is -5 + (1 - (-1 + (-5 - 1169))) prime?
True
Suppose -5*t - 10 = -20. Suppose h = -t*h - 306. Let y = 313 + h. Is y prime?
True
Let c(h) = h**2 - 1. Let x(m) = -5*m**2 + 8*m + 8. Let u(n) = -3*c(n) - x(n). Let d = -3 - 4. Is u(d) a composite number?
False
Let n(y) = 130*y - 1. Let m(o) = -o**3 + 3*o**2 - 2*o + 2. Let h be m(2). Is n(h) prime?
False
Let y(n) = n**2 + 10*n + 13. Let o be y(-9). Suppose -2*i + 3066 = o*t + 852, -i - 546 = -t. Is t prime?
False
Let z(f) = 10*f**2. Let c be z(-1). Suppose c*u - 11*u + 77 = 0. Is u prime?
False
Suppose 31 - 6 = 5*k. Suppose k*v - 2*n = -141 + 967, 666 = 4*v + n. Is v a prime number?
False
Suppose -433 = -5*x + 1702. Is x a composite number?
True
Suppose h - 16*h = 30810. Let x = -1057 - h. Is x a composite number?
False
Let a = 15083 + -6474. Is a prime?
True
Let m = -4 - -34. Is 26*(-5)/m*-33 a prime number?
False
Suppose -2*g - w - 2*w + 1852 = 0, g - 2*w - 919 = 0. Is g composite?
True
Suppose 4*w - w = 198. Suppose 0 = w*p - 67*p + 53. Is p a composite number?
False
Suppose -4*l = -3*j + 35, -l - 2*l - 4*j - 45 = 0. Let i = 16 + l. Suppose 0 = -i*n + 324 + 421. Is n a composite number?
False
Suppose -965*q = -967*q + 9674. Is q a prime number?
False
Suppose 5*t - 401 = 3*y + 1614, 0 = 4*t + 3*y - 1585. Let r be (-1)/((-2)/t*1). Suppose -5*s + r = -65. Is s prime?
True
Let j = -28 - -30. Is -4 + j + 927/3 composite?
False
Let q be (1 - 1)*(-3)/(-9). Suppose 0 = -3*c - q*c + 6. Is 1 + 0 + c - -64 a prime number?
True
Suppose 11*r - 16 = 7*r, -u - 2*r = -6. Is (1719/(-36))/(u/40) composite?
True
Let f(w) = 55*w + 128. Is f(15) composite?
False
Let v = 699 + -368. Suppose f + c - v = 0, 0*f = f + 4*c - 316. Suppose -x + u - 178 = -3*x, -4*x = -3*u - f. Is x prime?
False
Suppose -20*c + 252257 = 35317. Is c a composite number?
False
Suppose i + 3*l = 8, i + 8 = -0*i + 5*l. Let c = 2667 - 6391. Is c/(-57) - i/6 a prime number?
False
Let y = -26 - -29. Suppose -2*v + 4*n + 1234 = 0, y*n + 0*n + 619 = v. Is v prime?
True
Suppose 0 = -20*k + 16*k + 12. Suppose f + 6815 = 5*q - f, -2737 = -2*q + k*f. Is (-1 + q + 1)/1 a composite number?
False
Suppose -3*k + 9663 = 5*z, 5*k = -4*z + 14093 + 2012. Is k prime?
True
Is 5955 + -9 + (5 - 1) - -1 prime?
False
Let v = -4730 + 6721. Is v prime?
False
Is (-3)/(-1) - 29876/(35/(-5)) a prime number?
True
Let v(n) = -8. Let t(d) = -d - 17. Let x(w) = -6*t(w) + 13*v(w). Suppose 68 = 13*i + 4*i. Is x(i) composite?
True
Let p(h) = 4*h**3 + h**2 - 13*h - 5. Is p(8) a prime number?
True
Suppose 5*o - 164 = 3*o. Let j = o + 129. Is j composite?
False
Is 2/(9/6*4/15153) composite?
False
Let s = 9855 - 6829. Let g = s - 1813. Is g a composite number?
False
Suppose 827*z - 829*z = -11326. Is z composite?
True
Let z = 6140 - -317. Is z prime?
False
Let c be -1 + 2*150/5. Suppose -5*b = 3*j - 118, 3*j = 2*b + c + 24. Is j a composite number?
False
Suppose -4*y + 6 = -2*y - 3*q, -4*q = y + 8. Suppose y = 3*d - 1211 - 7570. Is d composite?
False
Let o(b) = -9*b - 73. Let k(z) = 5*z + 37. Let j(c) = -11*k(c) - 6*o(c). Is j(0) prime?
True
Is 6046/2 - 234/39 prime?
False
Let m(k) = 31*k + 31. Is m(6) a prime number?
False
Let k(z) be the first derivative of z**3/3 + 2*z**2 + 3*z + 3. Let o be k(-4). Is (-1 + 3 - -14) + o composite?
False
Suppose 0*u = -u. Suppose 0*i + 5*i = -10, u = -4*r + 4*i + 588. Is r a prime number?
False
Let s(j) = -14524*j + 97. Is s(-5) composite?
True
Suppose -p + 0 = -3. Suppose 97 = -4*h - 3*c, p*c - 68 = 3*h - 11. Let z = 55 + h. Is z prime?
False
Let y be (9/2)/((-12)/(-4152)). Let x = y - 933. Suppose -4*b + 0*c + 617 = -3*c, -4*b - 4*c + x = 0. Is b a prime number?
False
Let f(w) = 272 - 2*w**2 + 93 + 32 - 2*w**3 + w**3 + w. Is f(0) composite?
False
Suppose 3*m - 2*q - 11969 = 0, -2*m - q - 3990 = -3*m. Is m composite?
False
Let s(l) = -l**2 + 2*l + 13. Let u be s(9). Let t = -233 - u. Let z = 266 + t. Is z composite?
False
Let c be (-4)/6*(-5 + -682). Is c/22 + (-32)/(-176) prime?
False
Let r(v) = -v**3 + v**2 - v + 48. Let o be r(0). Let n = 6 - o. Let c = n + 85. Is c a composite number?
False
Suppose 500170 = 37*v + 18*v. Is v composite?
True
Suppose 203 = 5*r - 3*x, -2*r + 202 = 3*r - 2*x. Let i be ((-14)/(-2))/((-2)/372). Is 10/r + i/(-8) a prime number?
True
Let w(n) = 2314*n + 1. Let a be w(6). Suppose a = 2*s + 3*s. Is s a prime number?
True
Let x(a) = a + 1. Let o(i) = 16*i + 2. Let n(s) = o(s) + 3*x(s). Suppose 3*b - 2*b - 6 = 0. Is n(b) a prime number?
False
Suppose 2*p - 6*p = -2*h + 18, 2*h - 5*p = 23. Let g be 4/(3 + h)*-2. Is (-1)/g - (-614)/8 a prime number?
False
Suppose 3*u - 6*f = -3*f + 15, -5*f - 21 = -3*u. Suppose u*c = 6 - 0. Suppose v - 3*v = -c*l - 65, -v - 2*l = -43. Is v a prime number?
True
Let b = 27 + -41. Let g = 18 + b. Is -1*(-4 + g - 257) a composite number?
False
Let j = 1608 - 1010. Suppose 5*d + j = -1587. Let y = -254 - d. Is y composite?
True
Suppose 0 = -6*w + 13700 + 6772. Is (w/(-6))/(10/(-15) + 0) a prime number?
True
Let k(c) = -c**3 - 27*c**2 - 68*c - 19. Is k(-26) a composite number?
True
Suppose -6184 = -0*o - 8*o. Suppose -10*k = -57 - o. Is k prime?
True
Suppose -1112 = -l - r, r = 3*r + 10. Is l a prime number?
True
Suppose -2*f = 8*f - 121430. Is f a prime number?
True
Let t = 9 + 15. Suppose -b - 2*b