 v prime?
True
Suppose -2*l + 9989 = 2*a + a, -4*a = -4*l - 13292. Is a composite?
True
Let t(a) = 5*a**2 + 8*a + 46. Is t(-13) prime?
True
Suppose 11362 = 4*s - 18034. Is s prime?
True
Suppose 0 = 5*k - 5*y - 14190, -6 = 2*y + 4. Is k a composite number?
False
Suppose -4*r + 2*r = -16. Let s be -2 + 1/(4/r). Suppose s = -0*x - x + 251. Is x a composite number?
False
Let t = -2646 + 9041. Is t composite?
True
Suppose 3*d + 100517 = 4*q, -3*q + 4*d - 75369 = -6*q. Is q a prime number?
True
Let s(j) = j**2 - 10*j + 24. Let v be s(6). Suppose v = -2*x - w - 4*w + 834, -5*w + 407 = x. Is x a composite number?
True
Suppose -16 = -6*h + 8. Suppose 18 = -m - 4*j, 0*j + 16 = -h*j. Let k(y) = -10*y**3 - 2*y + 1. Is k(m) composite?
True
Let p be (-15)/(-3) + 0 + -1. Suppose -t = 5*a - 2786, -5*t + 3*a + 13870 = -2*a. Is (-3)/(p/t*-6) a prime number?
True
Let o(m) = -m**3 - 6*m**2 - m + 3. Let g(d) = -d**3 - d**2 + 5*d - 5. Let r be g(2). Is o(r) prime?
True
Is 120/280 - 36530/(-7) composite?
True
Suppose s + 0*s - 4 = 0, 2*s - 142 = r. Is (r/8)/((-14)/280) prime?
False
Let f(g) = -g - 1. Let c be f(-3). Let l be (-3 + 1)*c - -17. Let j = l + 0. Is j prime?
True
Let p = 5976 + -2599. Is p composite?
True
Suppose 28 = 3*z - 62. Suppose -9*v + z + 96 = 0. Is v a composite number?
True
Let s = -1770 + 1214. Let i = -778 - -475. Let h = i - s. Is h a prime number?
False
Suppose -54*u + 95585 = -402997. Is u prime?
False
Suppose -3*v = -2*u - 2927, 5*v + 11*u = 13*u + 4873. Is v a composite number?
True
Let q(i) = -i**2. Let a be q(-3). Let w(v) = -15*v + 9. Let u be w(a). Suppose -p = -4*p - 5*b + 100, 4*p - u = 4*b. Is p a prime number?
False
Let l(b) = -b**3 + 4*b**2 - 4. Let i be l(3). Suppose 18 = -2*x + 4*p, -p - 15 = 5*x - i*p. Is 1 + x + 61 + 2 a composite number?
True
Let j be -2*(1629/(-6) + 0). Suppose -3*f = 3*d - j, 0*d + 712 = 4*d + f. Is d composite?
True
Is 3/((-18)/1916)*12/(-8) prime?
True
Suppose b - 57453 = -10*b. Suppose 8*d - b = 7121. Is d a prime number?
True
Suppose -5*j = -2*j - 3, -u + 9395 = 4*j. Is u a prime number?
True
Let u(q) be the first derivative of -13*q**7/280 - q**4/24 + q**3/3 - 3. Let h(s) be the third derivative of u(s). Is h(-1) composite?
True
Let g = -9 - -20. Let d(c) = c - 7. Let b be d(g). Suppose -2*k + 4*k + b*f = 162, 0 = 3*k + 3*f - 246. Is k a composite number?
False
Let k be (0 - 3/(-2))/((-2)/(-8)). Is 1*8124/(-3)*k/(-24) prime?
True
Let w(s) be the second derivative of 19*s**4/6 - s**3/2 + 3*s**2/2 + 6*s. Is w(-4) a prime number?
False
Let f = 98 - 99. Is 1 + 491 - (3 + -5 - f) composite?
True
Let b(u) be the second derivative of 0 - 23/2*u**2 - 5*u + 1/3*u**4 + 3/2*u**3. Is b(-10) prime?
False
Suppose -2*l + 0 + 6 = 0. Suppose l*d = -d. Suppose -3*u - 3 = d, -n + 4*u - 6*u + 35 = 0. Is n prime?
True
Let m = -136 + -157. Let k = -166 - m. Is k a prime number?
True
Let p(k) = -2*k**3 - 15*k**2 + 8*k + 42. Is p(-9) a composite number?
True
Let g be 8*(4/(-4) - -3). Suppose -4 + g = -6*k. Let j(m) = -97*m - 3. Is j(k) a prime number?
True
Let z(d) = 637*d + 293. Is z(20) composite?
False
Let y = 870 + -91. Is y composite?
True
Suppose 25*w + 125 = -100. Let o(d) = 3*d**2 + d + 15. Let s(y) = 6*y**2 + y + 31. Let n(k) = 9*o(k) - 4*s(k). Is n(w) composite?
True
Let h(p) = -p**3 - 4*p**2 - 4*p - 2. Let f be h(-4). Let i be 3/12 - f/(-8). Suppose 0 = -4*v + y + 139, -i*y = 2*v - 0*v - 62. Is v prime?
False
Suppose -c + 9 = 30. Let q = 14 - c. Is (-618)/(-10) - (-7)/q a prime number?
False
Let j(l) = 5*l**2 - 22*l + 14. Is j(-19) composite?
False
Is (-2)/9 + (319902/27 - -7) a prime number?
False
Let t = -10 - -12. Suppose -i - t*i = -69. Let u = i + -4. Is u a composite number?
False
Let t be (10/4)/(3/6). Let k(n) = n - 1. Let g be k(t). Suppose -2*j = -4*w + 346, w + 0*j - 109 = -g*j. Is w prime?
True
Let c(b) = 921*b**2 - 5*b + 3. Is c(1) prime?
True
Is (-255990)/(-27) + (-8)/72 composite?
True
Let a = 61092 - -239. Is a composite?
False
Is (-1949)/(1*(-4 - -3)) a composite number?
False
Is (60/210 - 18/14)*-8139 composite?
True
Let t = 4 - -1. Suppose p - 5*j = 2, -3*p + t*j = -0*p - 6. Suppose 372 = p*f - b - b, 4*f - 3*b = 749. Is f a prime number?
True
Suppose -25*y = -3900 - 775. Let q = 1367 + -771. Suppose -q = -u - y. Is u composite?
False
Is ((-5878)/(-6))/(10*11/330) a prime number?
True
Let g(a) = a**3 + 21*a**2 + 17*a + 15. Let c be g(-18). Let w = c - 302. Is w composite?
False
Let j = 68471 + -28618. Is j composite?
True
Suppose -k - 3 = -3*z, 2*k = -3*k - 15. Suppose z = -m - m. Is 5*129 + m - -4 a prime number?
False
Suppose s - d + 1 = 0, 1 = -5*s - 4*d + 5. Suppose s = 3*a - 17 + 2. Suppose 1660 = 5*u + a*m, -385 = -3*u - m + 609. Is u prime?
True
Let a be (-1670)/((-15)/(-5) - 4). Suppose 0 = 2*t + 3*g - a, -t = 2*t - g - 2483. Is t composite?
False
Suppose 9*b = 14*b - 170. Is (-6)/(-12)*b - (-2)/1 a composite number?
False
Let o(t) = -526*t - 9. Suppose -9 = -6*b - 27. Is o(b) a prime number?
False
Let f(r) = 9 - 1 - 3 + 11 - 4*r. Let d be f(11). Is d/(-1)*15/12 composite?
True
Suppose 5*o = -5*z + 10, -4*z - 42 + 5 = -5*o. Suppose -3*r + 5*d = -311, o*r + 3*d - 506 = -d. Suppose j - r = 149. Is j a prime number?
True
Suppose -2*c + 107 = 3*f, 2*c = -3*f - f + 102. Let j = c + 496. Is j prime?
True
Let r(h) = h**3 + 2*h**2 + 1217. Suppose -11*x = -x. Is r(x) composite?
False
Suppose a - s - 257 = 1927, -5*s = -4*a + 8737. Is a composite?
True
Let z = -5 - -5. Suppose -p - 3 = z, p + 765 - 5139 = -3*d. Is d composite?
False
Let n(d) = -97*d**2 - 5*d - 6. Let p be n(-4). Let z = p - -3028. Suppose 6*u + z = 5*h + u, 2*u = 4*h - 1186. Is h prime?
False
Suppose -17 = 5*p + 63. Is 34 - (p/4 + 0) prime?
False
Suppose 1094 + 2558 = 4*y. Suppose 0*t - 4*t = -20. Suppose 0 = -o + 2*q + 311, -q = t*o - 2446 + y. Is o a prime number?
True
Let u = -9214 + 22541. Is u composite?
False
Suppose 20 = 4*c, 2*a + 4*c - 6*c = -30. Is 492*a/(-15) + 3 composite?
False
Let l(y) = -y**3 - 13*y**2 - 16*y + 28. Let a be l(-14). Suppose -a - 1858 = -2*q - 4*s, -s + 1152 = q. Is q prime?
True
Suppose 947 = j - 362. Suppose p - j = 5*b, 2*b - 3*b = -2*p + 2636. Is p prime?
True
Suppose 0 = -5*i + 21508 - 1778. Suppose 3*o - 5*o + i = 0. Is o composite?
False
Let q = -40 - -43. Suppose i + 3*i - 4307 = q*m, 4*m = 3*i - 3239. Is i prime?
False
Suppose 33473 = g + 4*f, -g + f = -4*f - 33437. Is g a prime number?
True
Let a be (-47154)/30 - (-1)/(-5). Let w = -1029 - a. Suppose 0 = 5*c - 2*k - w, 0 = -3*c + 3*k - 0*k + 324. Is c a prime number?
True
Suppose 0 = -3*r + 4*l + 45317, -4*l + 22231 - 97754 = -5*r. Is r a prime number?
False
Suppose 5*l - 66407 = 4*r, -7*r = -3*l - 11*r + 39857. Is l prime?
False
Suppose -2818 = 2*a + 4*v, 0 = 5*a - 4*v - v + 7015. Let r = a - -817. Let x = -334 - r. Is x prime?
False
Let f = 2072 - 1219. Is f a composite number?
False
Let p = -1288 + 506. Let t = p + 1473. Is t composite?
False
Let p(u) be the first derivative of 3*u + 11*u**2 - 3 + 0 - 1. Is p(10) composite?
False
Let t(r) be the second derivative of r**4/12 - r**3 + 2*r**2 + 2*r. Let z be t(5). Is (-1)/z + 144 - 2 composite?
True
Let t(r) = -1365*r + 79. Is t(-2) a prime number?
False
Let n be 4*1/4 - -1. Suppose 0*z + 436 = n*z. Suppose -2*g - 4*r = -z, -3*g - 3*r + r + 335 = 0. Is g prime?
True
Let t be (84/70)/((-6)/(-20)). Suppose -2*c + 648 = 2*u, 9*u = t*u - c + 1600. Is u prime?
False
Let x(v) = -7*v**2 + 6*v - 8. Let i(a) = -22*a**2 + 19*a - 25. Let f(z) = -3*i(z) + 8*x(z). Is f(6) a composite number?
False
Let h(f) = -96*f**2 - 4*f - 10. Let a(w) = -19*w**2 - w - 2. Let x(c) = 11*a(c) - 2*h(c). Let b(n) be the first derivative of x(n). Is b(-7) composite?
True
Let x(a) = a + 6. Let c be x(-6). Suppose 5*k + 0*k - 555 = c. Let l = -44 + k. Is l a composite number?
False
Let o be 0 + (6 + -3 - 5). Let b be (-7)/(7/o) - 26. Is 11*6 - b/8 prime?
False
Let r be ((-20)/(-15))/((-4)/(-6)). Suppose -2*z = -r, 5*z - 18 = 2*s - 7. Is ((-179)/(-2))/(s/(-6)) a prime number?
True
Let z(i) be the first derivative of -3179*i**2/2 - 9*i + 56. Is z(-2) composite?
True
Suppose 5392 = 4*j - 1212. Is j prime?
False
Let m(r) = 477*r**2 - 14*r - 49. Is m(-4) composite?
False
Suppose -2*k + 2846 = 2*b, -4*b + 4259 = -b + 5*k. Supp