-2199 + 14572. Is j composite?
False
Let y = -4 - 29. Let s be y/(-4)*(-15 + -1). Let r = s + 383. Is r prime?
True
Let q(k) be the first derivative of 279*k**2/2 - 44*k + 26. Is q(7) a prime number?
False
Suppose -8 + 28 = -4*p. Let c(s) = s**3 - 27*s**2 + 9*s - 4. Let j(l) = 13*l**2 - 4*l + 2. Let r(t) = -6*c(t) - 13*j(t). Is r(p) prime?
False
Suppose -5*u = 5*c - 19258 + 5108, 4*u = -2*c + 11330. Suppose -6*t + t + u = 0. Let n = t - 389. Is n a composite number?
True
Let x(n) be the first derivative of -3*n**2 + 1061*n + 23. Is x(0) composite?
False
Let p = 4 + -7. Let t(c) = 18*c**2 + c - 10. Is t(p) composite?
False
Suppose v - 2 = 2*v. Let n(q) = -129*q**3 - 5*q**2 - 9*q + 1. Let h(d) = 129*d**3 + 4*d**2 + 8*d - 1. Let o(r) = -6*h(r) - 5*n(r). Is o(v) composite?
True
Suppose 5*g - 3350 = -0*g. Let c = -407 + g. Is c prime?
True
Let u = 8369 - 762. Is u a composite number?
False
Let b be ((-2)/(-4)*-2)/((-9)/18). Let q(r) = -95*r**2 - 4*r - 1. Let j(f) = -f. Let n(s) = 5*j(s) - q(s). Is n(b) prime?
True
Let w = -116 + 71. Let j = 49 + w. Is j a composite number?
True
Let m(d) = -d**3 - 69*d**2 - 8*d - 175. Is m(-69) composite?
True
Suppose 4*r - 3*r = 6. Let x be (-98)/(-4) - (-3)/r. Let q = -12 + x. Is q composite?
False
Suppose -3*z = -5*y - 24, 0 = 4*z - 2*y - y - 21. Suppose -2*u - 2236 = -z*m, 4*m + 4*u - 1602 = 1386. Is m prime?
False
Let d(j) = 16*j**2 + 4*j + 34. Is d(-4) composite?
True
Let n(w) = -w + 25. Let t be n(18). Suppose -t*z + 3101 = -0*z. Is z prime?
True
Let a = 34 - 30. Suppose a*p - 5*p = -22. Is p a prime number?
False
Let t(s) = -25*s**3 + 40*s**2 - 6*s - 2. Is t(-5) a composite number?
False
Suppose -4 = -j - 0. Is (-8265)/(-5) + (j - 2) composite?
True
Is (-573)/(-24)*4*86 a composite number?
True
Suppose -22 = 5*x + 28. Is 14*((-105)/x - 4) composite?
True
Let z(i) = i**3 - 6*i**2 + 2 - 4*i + 26*i**2 - 11*i**2. Suppose 27 = -4*m + m. Is z(m) a prime number?
False
Suppose 40190 - 5841 = 7*t. Is t a composite number?
True
Suppose 4*a = 3*v - 15437, 4*v + 5*a = 11909 + 8684. Is v composite?
False
Suppose 0 = -82*q + 57*q + 73025. Is q a composite number?
True
Is ((-119161)/(-14))/(3/6) a composite number?
True
Let q(f) = -17*f + 11. Let t = 18 + -21. Let d be q(t). Let j = 3 + d. Is j composite?
True
Let x(u) = -u. Let b be x(-2). Suppose -12 = -5*h + 3. Suppose -b*v = h*v - 2335. Is v a prime number?
True
Let v(h) = -2*h**2 + 20*h - 28. Let l be v(8). Is ((-422)/l*-2)/1 composite?
False
Suppose -9 = 3*a, a + 30 = -4*p + p. Let i(m) = m**2 + 3*m + 13. Let b be i(p). Let c = b - 8. Is c a prime number?
True
Suppose j - 5*t - 5674 = 0, -j + 3*t + 5667 = 5*t. Is j a prime number?
True
Let i(y) = -y**3 - 5*y**2 - 5*y - 1. Let q be i(-4). Let h(j) be the first derivative of 15*j**4/4 - j**3 - 5*j**2/2 + 2*j + 121. Is h(q) a prime number?
False
Let w = -46 - -28. Let o = -14 - w. Suppose 5*a + 2*f - 1257 = 1261, -4*a - o*f = -2024. Is a a composite number?
True
Let y = -12841 + 24899. Is y prime?
False
Let c = -32 - -39. Let x(k) = k**3 + 3*k**2 + 3*k - 14. Is x(c) a prime number?
False
Suppose 1 = 2*f + 13. Let h(d) = d**3 - 9*d**2 + 3*d - 14. Let y be h(10). Is y + 2*3/f prime?
False
Suppose -w - 26 = -v, 3*w - v - v + 76 = 0. Let n = w - -26. Suppose 3*b + n*a = 167, 4*b - 2*a - 2*a - 216 = 0. Is b a composite number?
True
Let m = -171 - -7. Let l = m - -313. Is l prime?
True
Suppose -3*p + 18 - 6 = 0. Suppose -14 = p*o + 26. Let w(r) = r**2 - 9*r - 5. Is w(o) a composite number?
True
Let v be (-1930)/(-18) - 22/99. Suppose 3*q - v = 640. Is q prime?
False
Suppose -253253 = -26*p + 171405. Is p composite?
False
Let p(v) = -2*v - 13. Let b be p(-10). Let l(u) = 80*u**2 + 8*u + 13. Is l(b) prime?
True
Let b(c) = 5*c**3 + 2*c**2 - 1. Let t be b(1). Let v(o) = 34*o - 4 - 11 - 31*o + 3*o**2. Is v(t) a composite number?
True
Suppose -3852 = -4*t + 4*d, -721 = -2*t + 5*d + 1220. Is t composite?
True
Suppose 206*x - 202*x = 244748. Is x a prime number?
False
Suppose -w + 2297 = -4*r, -5*r - 237 = -w + 2057. Is w composite?
False
Suppose -64223 = -4*i - b, 7*i = 8*i - b - 16062. Is i composite?
False
Suppose 0 = -3*y + 4367 + 1042. Let f = y - 1039. Suppose -4*g + f = -0*g. Is g a prime number?
True
Suppose 4*b = 4*r - r - 15, -4*r = 5*b - 20. Suppose r*g + 104 = 2599. Is g prime?
True
Let r = -1 - 2. Is 3*(r + 1785/9) prime?
False
Let f = -22 + 18. Let h be 20*-6*f/8. Is (-12)/h + 6792/10 prime?
False
Is 29090 + 7 - 4/(-1) a prime number?
True
Let b(h) = 5*h**2 + 1. Let y be b(1). Is (-3)/y + 1654/4 composite?
True
Let t = 452 - 267. Is t a prime number?
False
Suppose 5*f - 4*b = -1 + 8, 2*f - 5*b = 13. Is 33/(-6)*f*34 a composite number?
True
Suppose g - 1049 = 382. Suppose 3*a = g + 1326. Is a prime?
True
Suppose -8*m - 6*m = -322. Suppose -m*l = -18*l - 1265. Is l a prime number?
False
Suppose 0 = -2*n - 4*n + 18. Let u(c) = 41*c + 4. Is u(n) composite?
False
Let a(g) = 235*g**2 - 3*g - 2. Let w be a(-1). Is 2/(476/w - 2) composite?
True
Let g(f) be the second derivative of f**5/10 - 7*f**4/6 + 3*f**3/2 + 13*f**2/2 - 15*f. Is g(10) a prime number?
False
Let g(c) be the second derivative of c**3 + 19*c**2/2 + 13*c. Is g(20) prime?
True
Let y(n) = n**3 + 41*n**2 + 27*n + 32. Is y(-33) composite?
False
Suppose -5*o + 28347 = 4432. Is o a prime number?
True
Let m(l) = -116*l + 10. Let w be m(-4). Suppose 2*s - 4*j - w = 0, -s + 48 = -5*j - 192. Is s composite?
True
Suppose -56235 = -3*t + 4*b, -56211 = 101*t - 104*t - 4*b. Is t prime?
False
Suppose -5*x = -4*y - 7566, 5*x + y - 969 = 6602. Is x prime?
False
Let c be (-9)/(-18) + (-505)/(-2) + 2. Suppose -932 + c = -v. Is v prime?
True
Let v(p) be the third derivative of -7*p**2 + 16/5*p**5 - 1/6*p**3 + 0 + 0*p**4 + 0*p. Is v(-1) composite?
False
Let w be (-2)/(3 - 140/44). Let m(t) = t - 11. Let a be m(w). Suppose -x + 0 + 3 = a, 3*x + 12 = k. Is k prime?
False
Suppose l - 17 = -5*m, l + 2 = 2*m - 9. Suppose -26*i = -23*i - 10035. Suppose m*n = n + i. Is n prime?
False
Is (-72381)/23*-2*2/12 prime?
True
Let d(j) = 18*j + 169*j + 582*j. Is d(1) a prime number?
True
Suppose -10*l + 51527 = 12177. Is (-1)/((6 - 3) + (-11810)/l) a prime number?
True
Suppose -d - 121 = -3*s, 0*s = 4*d + 5*s + 535. Let m = d + 335. Is m prime?
False
Let y(k) = 2*k - 6. Let w be y(5). Suppose s - 13 = -5*f, w*f = -4*s + 14 + 6. Suppose 0 = -4*o + f*o + 518. Is o a prime number?
False
Let c = 426 + -254. Suppose 2*y = c + 294. Is y a composite number?
False
Suppose 0*t + 3*t = 4*o + 1147, 3*t + 3*o - 1140 = 0. Is t prime?
False
Let l(p) = -1236*p - 517. Is l(-6) a prime number?
True
Let n(g) = -5*g**3 + 6*g**2 + 8*g - 2. Is n(-3) a composite number?
False
Let w = -1505 - -6903. Is w composite?
True
Let c(t) = 143*t**3 - t**2 - 7*t + 3. Is c(4) a prime number?
False
Is ((-4)/(-6))/((-319592)/106536 - -3) composite?
True
Is (430371/(-3))/(36/(-23 - -11)) a prime number?
True
Suppose 3*i = -0*i. Suppose i*n + 66 = 3*n. Suppose b = 47 + n. Is b a composite number?
True
Let q = 10922 + -4059. Is q a prime number?
True
Suppose 3*f = u - 2, -6*f + 4*f = -3*u + 27. Suppose -u*c + 20490 = -5*c. Is c prime?
False
Let k(x) = 6*x - 114. Let f be k(19). Let r(h) = -h**3 - 4*h**2 + 5*h + 4. Let n be r(-5). Suppose f = n*b + 16, 3*p - 1984 = -p - b. Is p composite?
True
Let w(a) = 43*a**3 - 8*a**2 - 5*a + 5. Let u be w(-5). Let b = u + 7903. Suppose -5*s + 3*c + b = 0, 2*s + 3*s - 2*c - 2357 = 0. Is s prime?
False
Let f be 1/3 - (-460)/60. Suppose f*r - 9*r + 553 = 0. Is r prime?
False
Let m(q) be the third derivative of -q**6/120 + 7*q**5/60 - q**4/12 - 3*q**3/2 - 7*q**2. Is m(4) a prime number?
True
Suppose 3*k - 3016 = -361. Suppose 4*z + 5*i - k = 305, -i - 293 = -z. Is z a composite number?
True
Let d(p) = p**3 - 4*p**2 - p. Let a be d(7). Suppose -7*n = -1477 + a. Is n a composite number?
False
Suppose -3*n - 5*l + 1315 = 0, l + 449 = -4*n + 5*n. Suppose -n - 199 = -4*d. Suppose 4*g - 59 - d = 0. Is g prime?
False
Suppose 2 = 4*z + y - 3, -5 = 2*z + 3*y. Let r(v) = 5*v**2 + 24*v - 3. Let q be r(-5). Suppose q*h + 8*b = 3*b + 53, z*h - 3 = 5*b. Is h a prime number?
False
Suppose 2*c - 5*h = 17051, 4*c + 25*h - 27*h = 34062. Is c a composite number?
False
Let h = 45 + -28. Let u(p) = 40*p - 7. Is u(h) pri