= -2*n - 3*s. Is n prime?
False
Suppose -2*b - 42 = -8. Let t = 3 - b. Is (-8)/t + 1191/15 a prime number?
True
Let i be (-6)/4*16/(-6). Suppose -5*p - 3*h - h = -1995, 3*h = -i*p + 1595. Is p a prime number?
False
Let x = -21 + 13. Let o(t) = t**3 + 7*t**2 - 8*t + 5. Let b be o(x). Suppose -36 = b*w - 3*r - 314, -w + 59 = -4*r. Is w a composite number?
True
Let u(g) be the first derivative of 3*g**3 + g**2 + 13*g + 4. Is u(-4) prime?
True
Let n = 144 - 361. Let a = -417 - n. Let b = 182 - a. Is b a prime number?
False
Suppose -4*m + 4*w + 1416 + 6360 = 0, -3858 = -2*m - 4*w. Is m a composite number?
True
Suppose -5*l - 3*f + 2141 = 0, 2*l + 24 = -5*f + 888. Is l a prime number?
False
Let d be 4*58*15/(-12). Is (d/(-2) - 4) + 4 a composite number?
True
Suppose w - 5*g + 0*g = 5, 3*w + 3*g = -3. Suppose -5*m + 4 + 6 = w. Suppose -p = -m*p + 13. Is p composite?
False
Suppose 72*g - 2312 = 21952. Is g composite?
False
Let b = 11623 + -16394. Let s = 8948 + b. Is s a prime number?
True
Suppose -8108 = -5*a - 4*u + 1351, 4*a = -u + 7576. Is a a composite number?
True
Suppose 11 + 217 = -3*w. Is (-12)/(-8)*2 - w prime?
True
Let v(w) = w**3 - 10*w**2 + 11*w - 18. Let c be v(9). Suppose -3*l - 2*l + 3405 = c. Is l prime?
False
Let q(m) = -m**3 + 8*m**2 - 6*m - 4. Let y be q(7). Suppose 0*a - 4*g + 9509 = y*a, -5*a = -5*g - 15790. Is a a composite number?
False
Let r(j) = 18*j**2 - 22*j + 591. Is r(46) prime?
False
Suppose 101145 = 5*o + 10*o. Is o prime?
False
Suppose 531 = -4*y - 249. Let c = y + 500. Is c a prime number?
False
Let u be (54/15)/((-9)/(-60)). Let t = -10 + u. Let n = 35 - t. Is n prime?
False
Suppose -2*u + 6 - 16 = -4*x, 2*u + 7 = x. Let l be x - (5 - 3) - -343. Suppose 2*v + 68 = -4*a + 370, 0 = -2*v + 4*a + l. Is v a prime number?
False
Suppose -5*t = -4*r + 23, -3*r - 4*t - 4 = r. Suppose 0 = y - 2 - r. Suppose 0*m - y*m + 148 = 0. Is m composite?
False
Suppose 1552 = w + 171. Is w a prime number?
True
Suppose 2036 = 4*y - 2*p + 362, 2*y - 852 = -4*p. Let v = y - -191. Is v composite?
True
Suppose -5*c = 20, 2*l = -c + 2*c - 722. Let z = l - -784. Suppose -o + 159 = v, 5*v - z = -4*o + 211. Is o a composite number?
False
Let n(t) = -2*t**3 - t**2 + 17*t + 29. Let g(s) = -s**3 + 8*s + 15. Let v(r) = 5*g(r) - 3*n(r). Is v(11) a prime number?
False
Suppose 2*q - 1756 - 1882 = 0. Is q prime?
False
Let d = -15 - -26. Let t = d + -15. Is (-410)/t - (-1)/2 a composite number?
False
Let w(p) = -p**3 - 8*p**2. Let a = 16 + -24. Let i be w(a). Suppose i*r - 3*r + 753 = 0. Is r composite?
False
Suppose -2*z + 4*z = -2*g + 40040, -2*g = 3*z - 60061. Is z prime?
True
Let t = -21 + 26. Let o(s) = -s**2 + 14*s + 4. Is o(t) a prime number?
False
Suppose 0 = 15*y - 44661 - 406269. Is y a composite number?
True
Let n = -12597 + 24032. Is n a composite number?
True
Let a be (3/2)/((-3)/(-4)). Suppose -a*p + 4 = -r - r, 0 = -4*r + 5*p - 10. Suppose 3*y + y + g - 1055 = r, 2*y - 517 = 3*g. Is y a composite number?
False
Suppose -7*y + 28584 = y. Suppose 4*d - y = -5*k, -k = -2*d - 3*d + 4430. Is d composite?
False
Suppose 4*r + 117253 = 3*h, 117229 = 3*h + 8*r - 6*r. Is h prime?
True
Suppose -5*f = 2*f. Suppose 4*w - 4*r - 304 = f, 5*r - 196 = -2*w - w. Suppose 0 = -5*d + w + 713. Is d composite?
False
Suppose -1636 = -2*r + 4282. Is r a prime number?
False
Suppose -2*b - x + 49806 - 5525 = 0, -3*b + 66427 = -4*x. Is b prime?
False
Let r be (-3 + 5)/(3/(-33)). Let x = 24 + r. Suppose 0*w = -2*w + x*h + 44, 3*h + 44 = 2*w. Is w prime?
False
Is (-2)/((-23)/((-8983915)/(-10))) a composite number?
False
Let k(a) = a + a - a**2 + 2 + 2 + 0*a**2. Let f be k(0). Suppose -3*p + 1405 = w - 7*p, 2*w - 2774 = -f*p. Is w a composite number?
True
Suppose -4*k = -3*u + 16937, -28238 = -5*u - 3*k - 0*k. Is u composite?
False
Suppose -10*b = -b - 751149. Is b prime?
False
Suppose -4*y + 3619 + 4861 = 0. Let a = -729 + y. Is a composite?
True
Suppose 3*v = -v + 34276. Let w = v - 3986. Is w a prime number?
True
Let l(u) = 35*u**2 - 11*u + 15. Let c be l(6). Let p = 388 + c. Is p prime?
True
Let n = 62275 - 40818. Is n composite?
True
Is 788 - (-2 - -4 - -1) a composite number?
True
Let q be -13538 - (0 + 4 + -1). Is 4/6 + q/(-33) a prime number?
False
Let n(d) = 3*d**2 - 53*d + 29. Let x(o) = o**2 - 27*o + 15. Let b(u) = -2*n(u) + 5*x(u). Is b(-12) composite?
True
Let b = 36 - -133. Suppose -2*u + b = -305. Is u a composite number?
True
Let c be -3 + ((-56)/(-20))/((-2)/(-150)). Let o = 421 - c. Is o a prime number?
False
Let f(k) = -2*k - 13. Let u be f(-8). Let c be -2 + u + -2 + 5. Suppose c*n + n - 185 = 0. Is n prime?
True
Let l(v) = 39*v + 14. Suppose 3*x - 32 + 8 = 0. Is l(x) composite?
True
Let d be -2*15926/(-4) - -5. Suppose 7956 = 4*c + 2*z, 0 = 8*c - 4*c + 5*z - d. Is c prime?
True
Let t(m) = -208*m + 123. Is t(-32) prime?
True
Let h(j) be the first derivative of j**2/2 + 15*j + 4. Let l be h(-8). Suppose -6*c = -l*c + 337. Is c a composite number?
False
Let i = 31 - 33. Is (-2 - -4)*(i - -423*1) composite?
True
Suppose -60*j + 56478 = -54*j. Is j a composite number?
False
Suppose 4 = c - 0. Suppose c*o + 26 = 2*u, u + 3*u = 4*o + 36. Is -2*14/o*5 a prime number?
False
Let r(c) = 353*c - 615. Is r(62) a composite number?
True
Let x = 187 - 17. Let k be x/(-4)*-47*2. Suppose k = 5*c + 5*j, 2*j + 3983 = 5*c + j. Is c a prime number?
True
Let f be (-16)/6 - 2/6. Let u = -231 - -230. Is (u - f) + (-2076)/(-4) a composite number?
False
Let b(t) = -t - 23. Let g be b(-25). Is (g/5)/(10/3350) a prime number?
False
Is (217825/(-19))/(-5) + (-12)/(-114) a composite number?
False
Let g(q) = -q**2 - 8*q - 7. Let h be g(-6). Suppose 2*s - 14151 = -h*n, -2*s - 3348 = -4*n + 7962. Suppose 0*z - y = 5*z - n, 3*z - 1711 = -4*y. Is z composite?
True
Is (-1)/2 - 14*4285/(-20) a prime number?
True
Is (-65068)/(-8)*(4 - 6/3) composite?
False
Suppose -260 + 26 = -3*g. Let i = -195 + g. Let n = 622 + i. Is n prime?
False
Let t(d) be the third derivative of 619*d**4/24 + 2*d**3/3 - 23*d**2. Is t(1) a prime number?
False
Suppose 0 = -4*y - 60. Let q(p) = p**3 + 17*p**2 - 7*p - 2. Is q(y) a composite number?
True
Let g(x) = -x**3 + 15*x**2 - 15*x + 16. Let j be g(14). Suppose 0 = 4*q - j*q - 434. Is q prime?
False
Let r(o) = -5*o + 5. Is r(-12) a composite number?
True
Suppose 5*y + 3*j - 8989 = 5*j, 2*y - 3600 = 3*j. Is y prime?
False
Let b(o) = -22*o + 38. Let n be b(14). Let q = 409 + n. Is q a composite number?
False
Suppose 4*v = -v + 3*w - 60, -5*v - 25 = 4*w. Let a(o) be the second derivative of o**4 + 2*o**3 + o**2/2 + o. Is a(v) a prime number?
False
Let o(a) = -3*a**3 - 14*a**2 - a + 27. Is o(-13) a prime number?
False
Let b be 3/2 - (11/2 + -5). Is (1095 + -4)*(0 + b) composite?
False
Let r(n) be the third derivative of 43*n**7/504 - n**6/720 - n**5/120 + n**4/4 + n**2. Let o(u) be the second derivative of r(u). Is o(-1) composite?
True
Let z be (-3 - (2 - 4)) + 6394. Let x = z - 9046. Is x/(-21) - (-2)/3 prime?
True
Let q(c) = c**3 - 9*c**2 + 7*c. Let h(g) = g**3 + g**2 + g - 1. Let o(l) = h(l) + q(l). Is o(6) prime?
True
Suppose -7*d + 11*d = 13004. Is d a prime number?
True
Let y = -2 - -1. Suppose -54 = 4*o - 58. Is 847/(-7)*o*y a composite number?
True
Let k = -23 - -23. Suppose -1173 = -3*l - k*l. Is l a composite number?
True
Let p be ((-120)/28 - -4) + 9614/(-14). Suppose -2*t + 5*t = 2964. Let n = t + p. Is n composite?
True
Let f be 9/5 + -4 + (-63)/(-15). Let j(l) = -50*l**2 - 6*l - 3. Let r(g) = -50*g**2 - 5*g - 2. Let n(h) = 3*j(h) - 4*r(h). Is n(f) prime?
False
Is (-2)/4 + 7*(-8545)/(-10) a prime number?
True
Suppose w = -w - 2*p - 4, -4*p - 16 = 0. Suppose -4*x - 5*m + 6048 = -m, 5*x = -w*m + 7557. Is x a composite number?
False
Is (0 - 15/(-6))*(-55810)/(-25) prime?
True
Suppose 2*j + 2*w - w = 13, -j - 3*w - 6 = 0. Suppose 18 = 5*k - 3*u, -2*k + u + j = 1. Suppose k*v = -v + 11585. Is v a prime number?
False
Is 513 + (3 - 5/(-1)) composite?
False
Suppose 8*h = -3*z + 12*h + 193, -2*h - 8 = 0. Is z composite?
False
Suppose -3*s = -2*q - 27873, -5*s + 144*q = 147*q - 46436. Is s a prime number?
False
Let a = 81534 + -52979. Is a prime?
False
Let y(l) = 4 - 161*l - 2 - 2. Let a be y(-5). Suppose -a = -5*o + 5*m, -4*o - o + 773 = 3*m. Is o a prime numb