 prime?
False
Suppose k + 4*a = 519181, 5*a - 1557576 = -3*k + 4*a. Is k a prime number?
True
Let c(i) = -60*i + 53. Let a be c(-18). Suppose -3*v - a = -5576. Is v a prime number?
True
Suppose 0 = 4*c + 5*r + 1 - 3, -2*r = -2*c + 10. Suppose c*w - 56548 = -4*k - 0*w, 5*k - 70685 = w. Is k composite?
True
Let p(y) = -1951*y - 282. Let a be p(-7). Suppose 4*x + 5*o - 4972 = a, x = -2*o + 4583. Is x prime?
False
Let v(q) = -q - 16. Let a be v(-9). Let u be (-2)/a + (-2482)/14. Let k = 260 + u. Is k a composite number?
False
Suppose -5*p = -z - 322420, 6*p + 10*z - 386913 = 13*z. Is p a composite number?
False
Suppose -4*m + 25*c - 29*c = 12, 3 = -3*m - 5*c. Let a(n) = -74*n - 37. Is a(m) a prime number?
False
Let i(l) be the first derivative of -l**2 + 16*l + 38. Let c be i(7). Suppose b + 2*u = 3*u + 71, -b - c*u = -80. Is b composite?
True
Let y = -13 + 16. Suppose y*u = 8317 - 994. Suppose r = 4*a + 1373, a - 278 - u = -2*r. Is r a composite number?
False
Suppose 3*r + 23*x = 21*x + 122291, 0 = -r + 2*x + 40745. Is r a composite number?
False
Let g(z) = z**2 + 25*z + 177. Let i be g(-21). Suppose 86*h = i*h - 5509. Is h prime?
True
Let t = 2451 - -7379. Let r = t + -6481. Suppose -5*w - 4*h = -r, -3*h + 2007 = 2*w + w. Is w prime?
True
Suppose 0 = 4*d - 2*v - 28, 2 = -2*v - 2. Suppose d = -o + 3*o. Suppose -2*s - 5*u + 1901 = 0, -5*s = -u - o*u - 4703. Is s prime?
False
Suppose 36*f - 19071933 = 31*f - 2*z, f - 3814392 = 5*z. Is f prime?
True
Let d = 33969 + -5464. Is d composite?
True
Let j = 788446 + -310907. Is j composite?
False
Let m be 366*(-4)/6*-38. Is m - ((-4)/(-14) - (-37)/(-7)) prime?
True
Let p(y) = 272*y**2 + 908*y**2 - 5*y - 2 + 2*y. Let n(f) = 5*f**2 + 82*f - 361. Let j be n(-20). Is p(j) prime?
True
Let a(w) be the third derivative of 17*w**5/60 + 5*w**4/24 + 7*w**3/2 + 19*w**2. Let y be a(6). Suppose 0 = 3*r - 231 - y. Is r prime?
False
Let b(y) be the first derivative of y**4/4 + 11*y**3/3 + y**2 + 24*y + 11. Let u be b(-12). Let p = 1137 + u. Is p a prime number?
False
Suppose 7*d = 16638 - 4507. Suppose 0 = 4*u + 3*y - 4284, -y = 3*u - d - 1485. Let n = 2003 - u. Is n a prime number?
True
Let z(v) = -2644*v - 27. Let b be z(-7). Suppose -r + o + 2*o = -9230, -2*r - o + b = 0. Is r composite?
False
Let t = -10 + 23. Suppose 10776 = t*v - 5*v. Suppose 3*m + r + 0*r = v, 5*r + 2245 = 5*m. Is m prime?
True
Let n be (1 + 0)/(-3)*-81. Suppose -23*m = -n*m + 296. Let b = 123 - m. Is b prime?
False
Suppose 2*j - 1 = -19. Let m = 201 - 125. Let d = m + j. Is d prime?
True
Suppose 11*f + 488 + 1800 = 0. Let z = 1917 + f. Is z a composite number?
False
Suppose 152*q = -58*q + 11151782 + 2978908. Is q a composite number?
False
Let g(p) = -327*p**3 + 3*p - 1. Suppose 0 = 54*a - 59*a - 10. Is g(a) a composite number?
False
Let w = -457037 + 939216. Is w composite?
False
Let u = 29274 - 45214. Is (-3 + 5)*u/(-8) a prime number?
False
Let v(l) = 5501*l + 865. Is v(12) a composite number?
False
Is -2*(1781556/24)/(-7) a composite number?
True
Suppose -6*t + 25*t = 789374. Is t a prime number?
False
Let r(x) be the second derivative of 395*x**4/24 + 8*x**3/3 + 29*x**2/2 + 4*x. Let b(g) be the first derivative of r(g). Is b(3) a composite number?
False
Let q(m) = -2*m - 111*m**2 + 2*m**3 - 28*m + 113*m**2 - 10*m**3 - 9. Is q(-7) a composite number?
True
Suppose 17 = -4*q - 111. Let u = 33 + q. Is u*1/2*7522 a composite number?
False
Let t(r) = r**3 - 8*r**2 + 12*r + 3. Let v be t(6). Suppose -b = -g + 795, -v*b + b + 3156 = 4*g. Is g a composite number?
True
Suppose -2*b = 6, 65*b - 305034 = -3*c + 62*b. Is c a prime number?
True
Let g(w) = -w - 7. Let o be g(-10). Suppose 4*k = 4*u - 680, 2*u - 4*k = -o*u + 845. Is 2/11 - (-20925)/u a prime number?
True
Let h(t) = t**2 + t - 1. Let k(y) = 33*y**3 - 4*y**2 - 14*y - 44. Let x(w) = 2*h(w) - k(w). Is x(-5) a prime number?
False
Let p(g) = 52 - 16 + 69 + 19*g + 13*g. Is p(13) a prime number?
True
Let l be (6/2)/(4*(-4)/(-16)). Suppose n - 19 = l*y, 2*y = -4*n - y + 16. Suppose 0 = -n*c + c + 3354. Is c prime?
False
Let r(o) = -27*o - 2. Let y be r(-1). Let c be 5/y + (-11409)/(-5). Suppose 3*v - 277 - c = 0. Is v a composite number?
False
Suppose 8 = -8*m + 40. Suppose -8 = m*y - 0*y, 2*p = y + 29168. Is p a composite number?
True
Let r(o) = 21*o - 69. Let v be r(5). Suppose 39*h - v*h = 2007. Is h a composite number?
True
Let j(c) = 23*c**3 - 7*c**2 + 23*c - 313. Is j(10) a prime number?
False
Is 2992514/21 - (3 - 60/18) composite?
False
Let o(q) = 224*q + 66. Let x be o(9). Suppose 4*j - 1042 = x. Is j a composite number?
True
Is ((-200)/(-120))/(30/4) + 29819965/63 a composite number?
True
Suppose 0 = 4*j - 9*j + 5, 27 = 2*f + j. Let t(k) be the third derivative of -k**6/120 + 17*k**5/60 + 11*k**4/8 - 3*k**3 - 2*k**2. Is t(f) a composite number?
False
Suppose -7*g + 9 = -12. Suppose 0 = g*q + 3. Is (-2 - 1/q)*(-1080 - 7) a composite number?
False
Suppose 116*x - 122*x + 69174 = 0. Let m = 18268 - x. Is m a composite number?
True
Suppose -288659 = -5*l + 153036. Is l prime?
True
Is ((-264)/(-176))/((9/18982)/3) a composite number?
False
Suppose -220079 = 95*r - 196*r. Is r a prime number?
True
Let k be 28/42 + 1 + 30244/3. Let n = k + -4234. Is n a prime number?
True
Suppose 11*o - 1743263 - 1121926 = -774166. Is o composite?
False
Suppose -99 = -6*u + 45. Let f(i) = i**3 - 22*i**2 + 6*i - 43. Is f(u) prime?
False
Suppose -7520482 = -104*s + 1286966. Is s prime?
False
Let k be (9/(-2) + 4)*-8. Let z(l) = 56*l**2 + k + 2 + 4*l - 13. Is z(-6) a composite number?
True
Let f(y) = -791*y + 1421. Is f(-16) composite?
True
Let o = -453 - -459. Is (0 + 1)/((-3)/o) - -2821 a composite number?
False
Let c(a) = a**3 - 3*a**2 + a + 2. Let r be c(3). Suppose -r*y - 2*n = 0, -5*n = 4*y - n. Suppose 0 = -y*z - 2*z - 4, -1195 = -t + 2*z. Is t composite?
True
Suppose -9584 - 125932 = -6*m. Suppose 0 = 8*y - m - 16238. Is y a prime number?
False
Let l(p) = 6581*p + 1007. Is l(42) a composite number?
True
Suppose 1510634 = -5*g - 4*v, -10*g - 4*v - 1208504 = -6*g. Is g/(-240) - 1/(-8) composite?
False
Let z = -105 + 117. Suppose 0 = 3*x - z, 2*c - 4*x + 56 = 4*c. Suppose a - 235 = -c. Is a prime?
False
Let o be ((-90)/(-75))/((-3)/(-5)). Suppose 147 = -5*b + 6*b - 2*l, o*b + l - 319 = 0. Is b composite?
False
Let o(q) = -20889*q**3 + 5*q**2 - q - 1. Let x be o(1). Is (-1 - x)/(6 + -5) prime?
False
Let m = 20686 - -11517. Is m a prime number?
True
Let a = -5132 + 12583. Is a a prime number?
True
Let c = 73 + -78. Is (-281560)/16*2/c prime?
True
Let c(u) = 503*u - 296. Let m be c(14). Suppose 53677 = 3*b - m. Is b a prime number?
False
Suppose 5*z + 15 = 0, -3*z - 346559 = -5*f - 5*z. Is f a prime number?
True
Suppose -9 = -4*k - 3*a + 9, -3*k + 26 = -4*a. Let d(r) = -19*r**2 + 9*r - 10. Let t be d(k). Is (t/12 - 1)*-9 composite?
True
Is 37474 + 1 + (-561)/(43 + -94) composite?
True
Let b be 222 + 2 + 2 - -4. Let w = b + 52. Suppose w = 4*d + 2*d. Is d composite?
False
Let c(y) = 2*y + 16. Let j be c(-4). Let x = j + -6. Is ((-1)/(5/(-10)))/(x/11) a composite number?
False
Let x(v) = 14131 + 9*v - 15*v**3 - 4*v + 16*v**3 + 10*v + 11*v. Is x(0) a composite number?
True
Let i(f) = 2940*f**2 - 6*f - 13. Is i(-7) a composite number?
True
Let z be 2*-2 + -1 + 5. Let l be (-1620)/216*(-1 - (-6)/10). Suppose -n = l*a - 2086, -a + z*n + 714 = 5*n. Is a a prime number?
False
Let v be (-1)/3 - (100280/(-6) + -5). Suppose -2*z + j = -3*j - 16710, 2*z - v = -4*j. Suppose -z = -5*y + 2118. Is y a composite number?
True
Let x = 3167 + -1453. Let q = 2621 - x. Is q a composite number?
False
Let s(f) = f**3 - 16*f**2 + 20*f + 10. Let u(g) = -g**3 + 31*g**2 - 41*g - 20. Let j(l) = 5*s(l) + 2*u(l). Is j(13) prime?
True
Let c = 111 + -109. Suppose -k - 5131 = -5*f, -c = -2*k + 6. Is f composite?
True
Let n be 24 + -27 + 1 + 2 + -3385. Let s = 7234 + n. Is s composite?
True
Let s(v) = v**2 - 29*v + 66. Let i be s(26). Is (-235672)/(-52) - -2 - i/(-78) prime?
False
Suppose 4*y = 140 + 512. Is ((-36)/(-90))/(3/(y - -2)) prime?
False
Suppose -2*n + 4*r - 7*r + 2815 = 0, 5*n - r - 6995 = 0. Let i = 3859 - n. Is i a prime number?
True
Let a be (-3)/(-2) + ((-195)/10)/13. Let h be a*(1 + (-6 - -4)). Suppose 7*v = -h*v + 10885. Is v a