+ n) prime?
False
Is (-340938 - 13)/(-13) - 4 a prime number?
False
Let j(i) = 85*i + 10. Let s = 28 - 23. Let g be j(s). Suppose 0 = -16*m + 21*m - g. Is m composite?
True
Let p(m) = 8*m + 1. Suppose 2*o - 5 = 3. Suppose 4 = 4*i - o*c, -3*c + 0*c = -15. Is p(i) composite?
True
Suppose 14*a - 30632 = 20412. Suppose -39*p + 41*p = a. Is p a prime number?
True
Suppose -57 = -4*c + 1495. Let h = -65 + c. Is h composite?
True
Suppose 2*f = 2*s, -3*s = f - 12 - 8. Suppose 3*k - 4*v = -k + 1392, -s*k = -v - 1760. Is k composite?
False
Let g(a) be the first derivative of -a**4/12 - 4*a**3 + 9*a**2/2 + 6*a + 3. Let f(k) be the first derivative of g(k). Is f(-10) prime?
True
Let d(o) be the second derivative of 35*o**4/4 - 10*o**3/3 - o**2/2 + 45*o. Is d(-6) a prime number?
False
Let p = 2291 - 1348. Let l = -494 + p. Is l composite?
False
Suppose 99*h + 161923 = 5*x + 96*h, -h = x - 32391. Is x a prime number?
False
Suppose 2*t + 4*v = t + 2701, -2*t = -2*v - 5412. Is t prime?
False
Suppose 6*y = 30*y - 49272. Is y composite?
False
Suppose -5*g + c + 23701 = 0, -4*g - c + 10562 + 8406 = 0. Is g a prime number?
False
Let y be (4/6)/(4/6). Suppose 3*v - 16 = -x + 3, 4*x - y = 3*v. Is (-79)/(x/(0 + -4)) a prime number?
True
Let j = -28 - -38. Suppose j = -5*y + 10*y. Suppose -y*d = 2*x - 592, -3*d - 597 = -2*x - 6*d. Is x prime?
False
Let u(x) = -47*x + 31. Let g be u(11). Let f = g - -1181. Is f a prime number?
False
Let f(m) = -m + 9. Let r be f(7). Let c be 721/2 + r/4. Let x = c + -150. Is x composite?
False
Let h be (-1 - (-1)/2) + 37/74. Suppose -i - 4*s + 2228 + 93 = h, 4*i + 5*s - 9273 = 0. Is i prime?
False
Suppose 2*x + 103214 = 5*x - 5*g, -4*g = -x + 34407. Is x composite?
False
Let h(z) = -7*z**3 - 7*z - 4. Let a be h(-5). Let t = a - 409. Is t a composite number?
True
Is 156 + (-30)/(-2 + -4) composite?
True
Let v(i) = -i**3 + 20*i**2 + 21*i + 33. Is v(21) composite?
True
Suppose -t - 3*r = 0, 4 = -0*t - 3*t - 5*r. Is t/9 + 27920/24 a prime number?
True
Let a = -334 + 148. Let d be (2 - 3)/((-2)/778). Let p = a + d. Is p composite?
True
Is (91467/12)/(24/160) composite?
True
Let d = -3849 + 5390. Suppose 6*f - d = 541. Is f composite?
False
Is (-44)/88 + 9519/2 a composite number?
False
Let w = -8 + 6. Let r(q) = 7*q**3 + 2*q**2 - 2*q. Let y be r(w). Let p = -31 - y. Is p composite?
False
Suppose 14*q = 87345 + 131321. Is q prime?
True
Let t(z) = z**2 - 20*z - 58. Is t(-19) a prime number?
True
Let r be (2/5)/(3/15). Suppose -4*z = -r - 6. Suppose z*p - 5*b + 2*b - 526 = 0, -755 = -3*p - 4*b. Is p composite?
False
Let a(x) = -x**3 + 41*x**2 - 59*x + 20. Is a(37) a composite number?
False
Let m = -22 + 5. Let u = m - -724. Is u a prime number?
False
Suppose r = -4*r - 5*r. Suppose -295 = -k + o - r*o, 0 = -2*k - 2*o + 574. Is k prime?
False
Let n be (-3 + (5 - 3))*8*-1399. Suppose 0 = 13*l - 17*l + n. Is l composite?
True
Suppose 22*z + 109463 = 439661. Is z a composite number?
True
Let d = 7 + -4. Let i(s) = 145*s + 8. Is i(d) a prime number?
True
Let c = 2652 - 1555. Is c a prime number?
True
Let r(o) = -o**3 + o**2 + 14*o - 25. Is r(-15) a composite number?
True
Let m be 2 + 5916/16 - 2/(-8). Is m/(-24)*-2*37/1 composite?
True
Let y be -4 + (-40)/(-2) + -4. Let q be (-2)/y + 21688/(-48). Let t = q + 705. Is t composite?
True
Let a = 5975 + -196. Is a prime?
True
Let t = -1261 + 26958. Is t prime?
False
Let t(y) = y**3 + y**2 - 2*y + 2. Let g be t(1). Suppose 4*v - 7658 + 2802 = g*w, 4*w + 3647 = 3*v. Is v a prime number?
True
Suppose 0 = j - 0*j - 4. Suppose -3*h - j*y = -1214, -2*y + 1612 = 4*h + 2*y. Is h a prime number?
False
Let u(i) = -337*i + 8. Is u(-5) composite?
False
Let d(y) be the first derivative of y**2/2 + 2*y - 8. Let o be d(6). Is (-2)/o + (-341)/(-4) a prime number?
False
Suppose 0 = 275*c - 270*c - 94115. Is c a prime number?
False
Let n(v) = -6*v + 66. Let x be n(11). Suppose x = 10*a - 15*a + 1115. Is a a prime number?
True
Suppose 12 = 5*s - 7*s. Is (s/2 + 25/(-2))*-178 a composite number?
True
Let a(o) = o**3 + 16*o**2 - 2*o - 26. Let n be a(-16). Suppose -9*c + n*c + 561 = 0. Is c a composite number?
True
Suppose -10*z + 12*z = 2*m + 8654, 8654 = 2*z + 2*m. Is z a composite number?
False
Let a(j) be the third derivative of 0 + 35/6*j**4 - 1/6*j**3 - 10*j**2 + 0*j. Is a(3) a prime number?
True
Let s(k) = -633*k + 139. Is s(-20) a composite number?
False
Let t = 961 - -202. Is t a composite number?
False
Suppose 0 = -0*i + 3*i - 4701. Suppose 0 = -5*w - 252 + i. Is w a composite number?
False
Let v(b) = 9*b**2 - 12*b - 19. Let n be v(-7). Let q = n - 301. Is q prime?
False
Let v = -1251 - -4062. Is v prime?
False
Let z(t) = t**3 + 9*t**2 - 11*t - 5. Let g be z(-10). Suppose -q - 236 = -g*q. Is q a prime number?
True
Let y(b) = 6*b + 3. Let g be (-1 - -3)*(-4)/(-8). Let p(o) = -o. Let m(r) = g*y(r) + 5*p(r). Is m(7) a composite number?
True
Suppose -10*q - 1114 = 2*r - 8*q, 0 = -2*r + 5*q - 1100. Suppose 254 + 124 = -s. Let t = s - r. Is t a prime number?
False
Let w = 31776 + -21739. Is w a prime number?
True
Let u(k) = -k**2 + 10*k - 8. Let w be u(8). Let t(q) = q**3 - 2*q**2 - 8*q + 9. Is t(w) composite?
True
Suppose 16*b - 12 = 10*b. Suppose -5*p - b*x = -x - 1358, 4*p - 5*x - 1069 = 0. Is p composite?
False
Suppose -3 = -g + 2. Suppose 0*w + 5*d + 25 = g*w, -4*w + 14 = 2*d. Is (-32)/12*(-111)/w prime?
False
Let i = 80 - 76. Suppose -4722 = -i*c - 2*c. Is c composite?
False
Suppose -3*j - 3*j = -24. Let s(k) = j - 6 + 48*k - 3. Is s(5) a prime number?
False
Let j = 256 + -118. Let m be 4 - 2 - (-3 - j). Suppose -2*c + 2*y + 307 = 61, c - m = -4*y. Is c a prime number?
True
Suppose v = 1 + 3. Let s be 2063/4 - (-1)/v. Suppose -3*z = z - s. Is z a composite number?
True
Suppose -8*g + 10*g = 2. Suppose -3*i - 1480 + 48 = -5*l, i - g = 0. Is l a composite number?
True
Let s(p) = 34*p**2 - 4*p - 1. Let h(y) = -3*y + 21. Let g be h(6). Is s(g) a prime number?
True
Suppose 4*s - 5*u = 36 - 5, -3*s + 15 = -u. Suppose 0 = -m - s*m + 10265. Is m a composite number?
False
Let h(z) = 305*z - 724. Is h(69) a composite number?
True
Let h = -4 - -5. Suppose h = p - 3. Suppose -4*k + 3*b + 200 = 58, 2*b + 144 = p*k. Is k prime?
True
Suppose -5*w = -k, -5*k - w - 24 = -10*k. Suppose 0 = 2*g - 2*p - 15 - 117, 125 = 2*g + k*p. Is g a prime number?
False
Suppose 5*x = 2*f + f - 7040, -2*f + 4664 = 4*x. Suppose c - f = -4*c. Let z = c - 59. Is z composite?
False
Let y(g) = 6*g**3 - g. Let w be y(-1). Let p(b) = b + 5. Let t be p(w). Suppose t = v - 2*v + 89. Is v composite?
False
Let w(j) = -j - 4. Let s be w(-9). Suppose a + 3*a = -s*b + 715, 576 = 4*b + 4*a. Is b prime?
True
Let v(g) = -1061*g - 4 + 273*g - 575*g - 1070*g. Is v(-1) a composite number?
True
Suppose 6*i + 1024 = 4*x + 5*i, 0 = 2*x + 3*i - 526. Let j = x + -10. Is j a composite number?
True
Let o be (1 + -2)/((-6 - -2) + 5). Is o/((10/(-2302))/5) a composite number?
False
Suppose 39*v - 28*v = 2321. Is v a composite number?
False
Let t = 11 + -12. Let b(c) = -506*c**3 - 1. Is b(t) prime?
False
Let g(l) = -l**3 + 52*l**2 + 48*l. Is g(41) a composite number?
True
Suppose -5*h = d - 2756, -12*d + 14*d = -4*h + 5494. Is d a prime number?
True
Let c(m) = -3*m - 3. Let w(u) = -u**2 - 1. Let q(l) = c(l) - w(l). Let s be q(-2). Suppose -3*f + f - 10 = -4*a, 4*f - 5*a + s = 0. Is f a prime number?
True
Is 2/4 + -1 + (-24618)/(-12) prime?
False
Let v = -14 - -13. Let c be (-7 + -1)*v/2. Suppose 0 = -0*b + c*b - 16. Is b a prime number?
False
Let d be (0 - -1)*(18 - 3). Let k = -12 + d. Is (3/(k/10))/1 a prime number?
False
Suppose 0*n - 9 = -3*n. Is n*937*((-12)/(-9))/4 a prime number?
True
Let j(o) = -o**3 - 5*o**2 - 13*o + 3. Let y(h) = h**2 + 9*h - 23. Let d be y(-10). Let x be j(d). Is ((-12)/9)/((-8)/x) a prime number?
False
Is (-49719)/(-7) - 14/(-49) a prime number?
True
Let m = 60 + -63. Suppose 0 = -4*x + 2*k - 2 - 2, 0 = 3*k. Is x + 3 + m - -32 a prime number?
True
Let m = -38 - -43. Suppose 5*v + m*v = 24350. Is v composite?
True
Suppose -3*m - 4*c + 5903 = 0, -9*m + 2*c + 5927 = -6*m. Is m a prime number?
True
Let r(o) = -o**2 + 12*o - 15. Let z(k) be the second derivative of k**4/12 - 13*k**3/6 + 15*k**2/2 + 5*k. Let g(h) = 2*r(h) + 3*z(h). Is g(-12) a prime nu