number?
False
Let y(o) = o**3 + 46*o**2 + 70*o + 48. Let f be y(-31). Suppose 34*q - 30*q = 3*p - 18437, 2*p - f = 3*q. Is p composite?
True
Let l = -14 + 23. Suppose y = 4*q + l, y - 2 = q + 1. Is (2 - 2) + (q - -1849) composite?
False
Suppose 10617407 = 23*c + 195946. Is c composite?
False
Let r(z) be the second derivative of z**3/3 + z**2 + 14*z. Let h be r(1). Suppose 3*m = 4*k - 11037 - 8398, h*k - 19456 = -4*m. Is k a prime number?
True
Let p(s) = 3*s**2 - 2*s - 6. Let r be p(3). Let n be (-1318)/r + (-2)/15. Is (3 - (-38)/(-8))/(2/n) a prime number?
False
Suppose -12*j + 10*j = 100. Let v = -182 + -347. Let o = j - v. Is o prime?
True
Let t(m) = 3*m**2 - 21*m - 2. Let u be t(8). Suppose 7767 = -13*f + u*f. Is f a prime number?
True
Let j = 420 - 424. Let m(l) = 440*l**2 + 5*l - 7. Is m(j) a prime number?
True
Suppose -n + 3*j = -0*n - 13, -2*n + 14 = -2*j. Suppose 0 = n*r, -r + 0*r + 14777 = x. Is x composite?
True
Let s(p) = 13*p**3 + 8*p**2 - 9*p - 11. Let l(g) = -39*g**3 - 24*g**2 + 25*g + 34. Let k(q) = 2*l(q) + 7*s(q). Is k(5) composite?
True
Let b(j) = -j**2 - j + 7. Let a be b(-3). Is 55116/14 + 18/(-21) + a a composite number?
True
Suppose -7*k - 5*t + 660 = -2*k, -3*k = 2*t - 392. Let b = k - 80. Is (4902/(-4))/(-3) - (-24)/b prime?
True
Let n be (99164/6)/(((-56)/(-21))/(-8)). Is 22/(-33) + n/(-6) a prime number?
True
Is (-5 - 1)*39/(-312) + (-403659)/(-12) prime?
False
Let w be (-9 + 2)*(-19676 + 5). Suppose -3*r = 5*b + 22243 - 104855, -w = -5*r + 2*b. Is r a composite number?
False
Suppose -124*c + 13380049 = -95*c. Is c prime?
True
Let w = -27 - -29. Let o(h) = 571*h**2 - h - 2. Let m be o(w). Let x = -1411 + m. Is x prime?
False
Let i(o) = 901*o**2 - 84*o + 6. Is i(-17) a composite number?
False
Suppose 111*y - 28863 = -7662. Is y prime?
True
Let a(w) = -30*w**3 - 2*w**2 - 4*w - 1. Let n be a(-2). Let m(t) = t**3 - 2*t**2 - 2*t - 4. Let l be m(6). Let q = n + l. Is q prime?
True
Suppose 10922*t - 56812 = 10918*t. Is t a prime number?
False
Suppose 0 = -i - 2*i + 6. Let z = 359 - 194. Suppose 3*w - z = -i*w. Is w prime?
False
Suppose 324*c + w - 1463624 = 321*c, 2*c - 975771 = -5*w. Is c a prime number?
True
Let t(l) = -l**3 - 6*l**2 - 7*l + 7. Suppose -3*c + 2*c + i + 16 = 0, 4*c + 4*i = 32. Let j(r) = r**3 - 14*r**2 + 24*r - 8. Let v be j(c). Is t(v) prime?
True
Suppose -m - 28 = 2*k + 5, 0 = 2*m + 5*k + 70. Let w(x) = -317*x + 124. Is w(m) a composite number?
True
Let r = 4228 + -1406. Suppose 5*q - r = -712. Let g = 751 - q. Is g a prime number?
False
Let p be 5/(-40) - (-99)/24. Suppose 5*t - 4638 = -p*h, t + 3*h - 921 = -0*t. Suppose -2*a - 3*d = -2*d - t, -918 = -2*a - 4*d. Is a prime?
True
Let o(c) be the second derivative of -35*c**3/6 - 9*c**2 + 18*c. Let q be o(-14). Suppose -5*s + 917 = 4*x, -4*x - 91 = -3*s + q. Is s a prime number?
False
Let o be (-393)/(-262) + (1 - 1570/4). Is (-2)/(-13) + (-351330)/o prime?
False
Let p(g) = -2*g + 18. Let n be p(7). Is (-131)/(2 + (n - 8 - -1)) a composite number?
False
Let v(i) = -3*i - 49. Let u be v(-17). Suppose 0 = -u*p - 8273 + 2217. Is (p/16)/(81/84 + -1) a prime number?
False
Let g(q) = 2*q**3 - q**2 + 42. Let d be g(0). Suppose -d = -15*a - 12. Suppose -2*c - 78 - 2084 = -a*l, -l + 1080 = -2*c. Is l composite?
True
Let l(z) be the first derivative of 3*z**4 - z**3/3 - 3*z**2/2 + z - 7. Let o be -1 - (-2 - 4/2). Is l(o) a prime number?
True
Suppose -127*z + 704441 - 269575 + 2096752 = 0. Is z a prime number?
False
Let t(i) = -3*i**3 + 8*i**2 + 20*i + 27. Is t(-14) a composite number?
False
Let g(w) = -192222*w + 817. Is g(-5) composite?
False
Suppose 1 = -2*v + 7. Suppose 0 = 4*n + v - 947. Suppose -x - 2*x = -f + n, 3*f = 4*x + 733. Is f a prime number?
True
Suppose -20*r + 469020 + 42800 = 0. Is r composite?
True
Is 226326/15 + 48/(-120) - -3 a composite number?
False
Suppose -1216573 = -3*t - 5*x, -2*t + 3*t - 405529 = -4*x. Is t a prime number?
True
Let y = -469 - -474. Suppose 7*t + 3*f = y*t + 7971, -12 = -4*f. Is t prime?
False
Let c = -9 - 73. Let w = c - -89. Is 17676/28 + (-2)/w prime?
True
Let m = 15751 - 9156. Is m prime?
False
Let i(p) = 9*p + 34. Let w be i(-3). Let k(a) = 120*a - 3 + 4 + 5 + 3. Is k(w) prime?
False
Suppose -15156 = z + 3*m, -m + 1592 + 28734 = -2*z. Let u = -8919 - z. Is u composite?
True
Let j = -433000 + 693950. Suppose -j = -45*d - 5*d. Is d a composite number?
True
Suppose 4*g + 3*q = -5 + 21, 3*q = -3*g + 12. Suppose p + 6069 = 5*d, -g*d - p + 4860 = 3*p. Is d a composite number?
True
Let c(a) = -4*a**3 + 30*a**2 - 26*a - 5. Let y(s) = 9*s**3 - 61*s**2 + 52*s + 11. Let j(q) = 7*c(q) + 3*y(q). Let w be j(26). Is (-4 - -5)*w + 631 prime?
False
Let f = 3139 + -1514. Suppose -f + 24992 = 3*d. Is d a prime number?
True
Let x(g) = 3*g**3 - 5*g**3 - g**2 + 1042 - 2*g - 383. Is x(0) a prime number?
True
Let d(x) = -5*x - 1. Suppose -4*b - 4*j - 404 = 0, -7*b + 2*b - 496 = 2*j. Let g = b - -95. Is d(g) a composite number?
True
Let z(u) = 2*u**3 + 3*u**2 + 5*u**2 - 5*u - u - 7 - 3*u**3. Let v be z(7). Suppose 3*s + g - 1594 = v, -1413 = 5*s + 5*g - 4053. Is s a composite number?
True
Let w = 167762 - 29035. Is w a prime number?
True
Suppose 0 = 5*v + 5*r + 5, 2*r - 8 = -16. Suppose v*f + 127708 = 31*f. Is f composite?
False
Is (22/(-10) - 1/(-5))*(-3184553)/74 prime?
True
Let s(o) = 40*o**2 - 4*o + 32. Let j be s(11). Suppose -3*z - z = 4*i - j, -2*i + 2408 = -4*z. Suppose 9*a - i - 423 = 0. Is a a prime number?
True
Let v = 1350 + -727. Is v + 9 - (-2 - -1) a composite number?
True
Let g(l) = 7868*l - 133. Let m be g(8). Suppose -18*q + 22167 + m = 0. Is q a composite number?
False
Suppose -294*m = 4*d - 291*m - 153688, -d + 2*m = -38411. Is d a composite number?
True
Let k = 25996 + -8705. Is k a prime number?
True
Suppose 7539115 = 200*r - 7224474 - 5600211. Is r a composite number?
True
Suppose -16*j + 18*j - 99448 = 238734. Is j composite?
True
Suppose q + 124887 = 5*q - 3*j, q - j - 31221 = 0. Suppose 27*h - q = 19*h. Is h a prime number?
False
Suppose -3*v + 48 = l - 2, -4*v + l = -55. Is (99/v - 7) + 13614/10 prime?
True
Suppose 154*f = 159*f - c - 4442612, 0 = 3*f + c - 2665572. Is f prime?
False
Let d be ((-8)/20)/((-2)/5). Is (d + 4 + -4 - -978) + 4 prime?
True
Suppose 3*c - 5*k = 23474, -5*c + 4*k - 5*k + 39114 = 0. Suppose 7*r - c = -984. Is r composite?
False
Suppose -3*x = x + 4. Is x/(-3*(-6)/(-68778)) a prime number?
True
Is 1 - 60/50 - 142848/(-15) prime?
False
Suppose 4*f = -2*k + 16, 5*k - 4 = -0*f - f. Suppose 3*r + 1353 - 5667 = k. Is r composite?
True
Suppose 618668 = 791*g - 787*g. Is g composite?
False
Let x be 2062 + 5 + 3 + -2. Suppose 0*r - 5*r - 716 = -c, 3*c - x = -r. Is c composite?
False
Let x be (231/(-6) + 1)*6252/(-15). Let g = x + -9893. Is g prime?
True
Let y(m) = -51*m - 46. Let j(g) = 133*g - 83*g + 21 + 23 + 1. Let s(u) = 7*j(u) + 6*y(u). Is s(15) a composite number?
True
Let b be (-9 - (-5 - 1))/(2/(-10)). Suppose 6417 = -b*s + 335802. Is s prime?
False
Suppose 2 = 5*g - 4*g. Suppose t + 3*j - 1 + 4 = 0, 4*t + 3*j + 3 = 0. Suppose -3*d + 3245 = r - 266, 2*d + g*r - 2338 = t. Is d a prime number?
True
Is 172/(-2150) + (-294654)/(-50) prime?
False
Suppose 4*s - 26 = -118. Let z(g) = -g - 21. Let u be z(s). Suppose u*n = 1060 + 202. Is n a prime number?
True
Suppose -3*c + 4*f - 16 = 0, 20 = 5*f - 0*f. Suppose -3*k + 12 = c, 0 = -2*p - 5*k + 51 + 9843. Is p a prime number?
True
Suppose 2*v - 4*b - 14 = 0, 5*v + 5*b - 80 = v. Let q be 102/v - (-1)/5. Suppose -q*x + x = -6654. Is x composite?
False
Let g be -2 - (-8)/(-4)*-3. Suppose 8*j - 5*k - 29638 = 5*j, -39474 = -g*j - 2*k. Is j composite?
False
Is 18/(-3) + (-463125)/((-27)/9) composite?
False
Let r = 70 + -66. Suppose 0 = -i - r*c - 16, -4*c + 4 = -5*c. Suppose i = -2*m - 3*s + 1726, -m + 2*s - 42 = -905. Is m prime?
True
Let x(u) = -u**2 + 14*u + 4. Let y be (12/(-28) + 0)*-7 - 6. Let o be (y - 1 - 7)*-1. Is x(o) a composite number?
False
Let z be (-2)/(-6 - 43960/(-7329)). Is z/(-2)*120/(-36) composite?
True
Suppose -8*v + 700 = 2*v. Let u = v - 66. Suppose s + 474 = 5*w, -3*w = s - u*s - 282. Is w prime?
False
Let y(i) = -65*i - i**2 - 2*i**2 - 16 - 115*i + 50*i. Is y(-39) prime?
True
Let b = -44108 - -85687. Is b a prime number?
True
Let