) = -n**2 - 16*n - 11. Is m(v) a composite number?
True
Let z(o) = 2*o**3 + 3*o**2 + 4*o - 2. Let c be z(-2). Let w(d) = d**2 - 51. Is w(c) composite?
True
Is 1045537 + 39 + ((-6)/3)/(-2) composite?
True
Let r(b) be the third derivative of -b**6/120 + 13*b**5/20 - 13*b**4/24 + 21*b**3/2 - 225*b**2. Is r(26) a prime number?
True
Suppose -60*g = 94*g + 292*g - 34581502. Is g composite?
True
Suppose 6*a - 262 - 260 = 0. Let i = a - 389. Let b = i + 559. Is b prime?
True
Let t be 1/(1 - (-13755)/(-13748)). Let s = 3445 + t. Is s prime?
True
Suppose 14*g - 10*g - 1364 = 0. Let p = g - -200. Is p a composite number?
False
Let k(a) = 8*a**3 - 2*a**2 - a - 15. Let w = -83 + 88. Let d be k(w). Suppose -y + d = 319. Is y composite?
True
Let d = 78 - 69. Let g be -2*(1 - 4/(12/d)). Is (-115997)/(-28) + 1/g prime?
False
Suppose 7*r - 2460 = 5*r. Suppose 0 = -37*v - 800 + 1170. Is r/v - (-5 + 1) prime?
True
Let w(o) = 12*o - 76. Let m be w(6). Is 314/(m/(3*-4)*3) prime?
False
Suppose -v - 47*g + 76104 = -52*g, -4*v = 3*g - 304301. Is v prime?
True
Let o(j) = 8 + 4670*j + 13 - 6*j**2 - 4702*j - 6*j**3. Is o(-9) prime?
False
Let j(s) = -s**3 - 8*s**2 - 15*s + 7. Let f be j(-5). Is f + (-6 - 3) + 151 + 0 prime?
True
Suppose -2*v = -v - 5*v. Suppose -5*d + 10 = -4*t, -5*d + d - 3*t - 23 = v. Is (-115)/d - (-2)/4 prime?
False
Suppose 0 = 2*h - 0*x + 5*x - 26, -2*x = -5*h + 36. Suppose 4 = -4*v, 5*f - h*f = v - 1226. Is f composite?
False
Suppose a - 4*u - 12439 = 0, 6*u - 5*u = 4*a - 49771. Is a a composite number?
True
Suppose 0 = 5*w - 2*o - 406, -w + 4*o - 2*o + 78 = 0. Let b = w + -78. Suppose d + 4*g - 369 = 1462, b*g - 9155 = -5*d. Is d composite?
False
Suppose 4*y = 4*v - 3*v + 206, 2*y - 94 = 5*v. Suppose -2*x - 2*s = -1106, 2*s - 1663 = -y*x + 49*x. Is x prime?
True
Suppose -2*g + 8 = -2*o + 2*g, 4*o + 5*g = -29. Is o/12 - ((-27378)/4)/3 prime?
True
Suppose 4*c - 3*x - 72736 = -7631, -3*x - 48831 = -3*c. Suppose -c = -6*v + 4*v - 4*h, 3*v + 3*h = 24426. Is v prime?
True
Let j = -132 + 33. Let a = 354 + j. Suppose 0 = -2*g + 5*o + 387, -g + 5*o + a = 59. Is g prime?
True
Let w(o) = 8045*o**2 - 14*o + 13. Let s be w(1). Let m be ((-942)/4)/((-3)/44). Suppose 2*q - m = s. Is q prime?
True
Let k(a) = a**2 + 6*a - 19. Let y be k(-12). Suppose -5*g = 2*s - 839, -101 = -g - 5*s + y. Let o = 508 - g. Is o a prime number?
False
Suppose 5*r - 37170 = -37*r. Suppose -795 = -888*k + r*k. Is k prime?
False
Let q(p) = 2*p**3 - p**2 + 12*p + 5. Suppose 10*i - 11*i = -8. Let r be q(i). Suppose 2*f - r - 919 = -2*k, k - 5*f = 984. Is k a composite number?
True
Suppose 4*t + 837046 = 23*i - 21*i, -5*i + 2092655 = -2*t. Is i composite?
True
Let x = 842526 - 558503. Is x composite?
False
Let p(t) = 10243*t**3 + 24*t**2 - 76*t + 4. Is p(3) a prime number?
True
Suppose 162344 = 148*q - 140*q. Let h = -13976 + q. Is h composite?
False
Let d = -9367 - -4703. Let x = 482 - d. Let y = x + -3675. Is y a composite number?
False
Suppose -27694631 = -81*j + 3288760. Is j a composite number?
False
Suppose -12*c = 7*c + 2470. Is c/(-455) - 48870/(-14) a composite number?
False
Suppose y + 814087 = 5*k, -11*k - 2*y - 488455 = -14*k. Is k prime?
False
Suppose 9*i = 15*i - 12. Suppose -5*p - 4*w + 21939 = 0, 8786 = i*p + 4*w - 5*w. Is p prime?
True
Suppose -c - 5*g + 8*g = 5402, -3*c + 2*g = 16220. Let z = 7819 + c. Is z a prime number?
True
Suppose -241999 - 2630210 = -80*d + 2145631. Is d a composite number?
False
Suppose -10*n = -5*b - 6*n + 93250, -5*n = -25. Suppose 120*q - b = 114*q. Is q prime?
True
Let l = -24 - -26. Suppose 1739 + 1359 = l*i. Suppose 0 = -5*v + 2*o + i, 0 = 5*v + 2*o - 0*o - 1561. Is v a prime number?
True
Suppose -4*v + 152 = 4*p - 64, 5*p + v - 278 = 0. Is p/(-16)*(-11114)/7 prime?
True
Let l(k) = -97*k + 17. Let t(h) = -48*h - 12 - 64 - 44 + 728*h. Let f(c) = -15*l(c) - 2*t(c). Is f(8) a composite number?
True
Suppose s = -s + 84. Is 11863*((-14)/s)/((-1)/3) a composite number?
False
Let y(f) = f - 3. Let i be y(8). Suppose i*v - 9*v = -20284. Is v a composite number?
True
Let i be -3*2/6*-5. Suppose 0 = -5*s + 5*n + 115, -n + i*n = s - 35. Suppose 0 = s*g - 20*g + 415. Is g prime?
False
Let d = 298 + -290. Suppose -5*f = -d*f - 2*r + 7063, -r = 4. Is f prime?
True
Let z(r) = r**2 - 24*r + 6. Let g be z(24). Suppose -5*m - d + 7745 = -g*d, 0 = -m - 2*d + 1561. Is m a prime number?
True
Let j(l) be the third derivative of -l**9/60480 + l**8/10080 + l**6/72 - 17*l**5/60 - 45*l**2. Let c(x) be the third derivative of j(x). Is c(-6) composite?
True
Let r(u) = 0*u**2 - 2*u + u**2 - 5*u + 6*u - 15. Let c be r(5). Suppose -c*q - 465 = -1540. Is q a composite number?
True
Is 15946/1 - ((-4)/(-16))/((-4)/16) a composite number?
True
Suppose 4*m = -4*b + 3*m - 33935, 0 = -b + m - 8485. Let r = 2543 - b. Is r prime?
True
Let r = -825110 - -1870191. Is r a prime number?
True
Suppose -5*p = 5*c - 12425, -2*p + 0*c - 4*c + 4960 = 0. Suppose 6944 = 2*j - p. Is j prime?
False
Is 51440/80*(12 - 1 - -2) composite?
True
Let i be (-177058)/(-10) + 17/85. Suppose 7*v + 3*c + i = 10*v, 4*v - 2*c - 23598 = 0. Is v prime?
True
Let f = 159 - 152. Suppose 0 = f*m - 3*m - 3172. Is m prime?
False
Let k(d) = d - 7. Let q(u) = -u + 8. Let o(v) = -4*k(v) - 5*q(v). Let x be o(14). Suppose x*r = -5*z + 595, 2*z - 4*z - 4*r + 238 = 0. Is z prime?
False
Is (-2)/(11 - 1)*780/624*-451852 composite?
True
Let m = 575889 - 198208. Is m a prime number?
True
Let v be 0/8*(-3)/6. Suppose v = 6*p - 23807 - 11611. Is p a prime number?
True
Let h = -53 - -56. Suppose 5*r - 89 = -3*g + 144, h*g - 232 = -4*r. Suppose 0 = -3*q + g - 19. Is q a composite number?
False
Let v be (-1 - -1*0/6) + -49. Is 15/v - (-1862076)/120 composite?
True
Let b be -6 + 4 - (-5 + 1 + 0). Is b + -4 + 674 + (-8 - -3) composite?
True
Let m(l) = -1204*l**3 - 5*l**2 + 61*l + 321. Is m(-5) a composite number?
True
Let y = 440 - 429. Suppose -y*p = -38439 - 8674. Is p a prime number?
True
Is (1/2)/(102/148602780) + 7 + -3 a prime number?
False
Let n = 120760 + -16339. Is n prime?
False
Let q(s) = s**3 - 3*s**2 - 4*s + 4. Let u be q(4). Suppose -m = 2*r - 134, 2*r + 426 = u*m - m. Let n = 363 - m. Is n a composite number?
False
Let x = -123 - -125. Suppose x*a = -5*g + 19039, -4*g - 19041 = -3*a + 9552. Is a composite?
True
Suppose -7*b = 8 - 15. Let v(a) = 6146*a - 3. Is v(b) a composite number?
False
Let t(x) = -111*x**3 + 4*x**2 + 3*x - 1. Let y be t(-3). Suppose -2*f = -y + 219. Suppose 0 = -3*s + 5*v + 2081, -4*v + f = s + s. Is s composite?
True
Let m(t) = 2*t**2 - 79*t + 446. Is m(65) a prime number?
True
Let z = -224 + 92. Let r be (-16)/4 - (z + 1 + 0). Let f = r + -94. Is f prime?
False
Let q(t) = -3897*t - 438. Is q(-11) prime?
False
Let g = -73194 + 128030. Suppose 0 = -35*p - g + 892281. Is p prime?
False
Let d(n) = n**3 + n**2 - 2*n + 13. Let a(u) = -u**2 + 9*u - 3. Let h be a(8). Let s be d(h). Suppose s = k - 5*j - 313, k - 430 = -4*j. Is k a prime number?
False
Let z(d) = 164*d**2 - 10*d + 5. Let h(q) = 33*q**2 - 2*q + 1. Let w(u) = 33*h(u) - 6*z(u). Let m be w(4). Let y = 2502 - m. Is y prime?
False
Suppose -5*u + 48602 = -3*u. Is u prime?
False
Suppose 238224 = -5*b - 23*b. Let d = -5303 - b. Is d prime?
False
Is ((8618/(-973))/(2/(-27622)))/2 prime?
False
Is 205 - -198342 - (-12)/2 prime?
True
Is ((-4)/6)/(108/(-5359446)) a composite number?
False
Let j(g) = 33*g - 5. Suppose i = -4*f + 20, -3*i = f + 11 - 5. Let x be (66/12 - f) + (-18)/(-4). Is j(x) composite?
False
Let g(t) = -t**2 - 17*t - 19. Let k(l) = -l**2 - 16*l - 19. Let i(w) = -5*g(w) + 6*k(w). Let j be i(-9). Is (4/6)/(j - (-1650)/1638) a composite number?
True
Suppose -223*d + 217*d = -43698. Is d composite?
False
Let p(g) = g**3 - 12*g**2 - 13*g + 3. Let d be p(13). Suppose m + 28 = -5*f, -f - f + d*m = 1. Is 6729/6*(-3 - f) a composite number?
False
Suppose -20*h - 739403 = -5*t - 21*h, 147877 = t + 2*h. Is t prime?
True
Let d be (-4 - 72/(-9))/(4/(-6)). Is (-18)/36 + 2 + (-28413)/d a prime number?
False
Let w be (3 + -2)/(6 + -5). Let k be (-2423)/(-6) - w/(-6). Suppose -6*i = -4*i - k. Is i a composite number?
True
Let x be 6/21*(-1 - -8). Suppose -4*f + 4 = 0, -127*k + 123*k + 2*f + 18 = 0. Suppose 1927 - 204 = x*d + 3*p, -k*d + p + 4316 = 0