1*s**2 + 4*s - 7. Let f be b(-7). Let u = -2976 - f. Let g = u + -1489. Is g composite?
True
Let n be ((-3)/(-5))/(5/7025). Let x = -491 + n. Suppose -m = 3*m + 4*y - x, 343 = 4*m + y. Is m composite?
True
Let w = 895 - 80. Is w composite?
True
Let r(h) = -3 - 6 + 1 - h. Let q be r(-7). Is q/(3/(-882)) + -1 prime?
True
Suppose -3*t - 7*t + 28970 = 0. Is t a prime number?
True
Suppose 0 = 5*b + 3*q - 1774, 362 = -3*b + 4*b + 3*q. Is b prime?
True
Suppose 117*p = 102*p + 1602345. Is p a prime number?
True
Let b = -7 - -16. Suppose -6*y + b*y = 1305. Let o = y + 334. Is o composite?
False
Let s(c) = 5 + 27*c**3 - 17*c**3 + 2*c - 3 - c**2 - 2*c**2. Is s(3) prime?
True
Let o be (2/(2/(-1)))/(6/(-12)). Suppose o*t - 7*t = -3685. Is t composite?
True
Let w = -8495 - -12462. Is w a composite number?
False
Let b = 10 + 46. Let z be -36*(b/6 - -3). Let l = 693 + z. Is l composite?
True
Suppose 8*y - 12*y = -23208. Suppose 2064 = -6*m + y. Is m prime?
False
Let y be 9 + -1 + (-6)/3. Suppose y*a - 7*a = -691. Is a a composite number?
False
Is 4/30 - (8 + (-6283030)/150) a prime number?
True
Let z(y) = -739*y - 6. Is z(-7) composite?
False
Let r = 1195 - 378. Suppose -f + r = 2*c, 0 = 5*f + 3 + 2. Is c a composite number?
False
Suppose -v = 1, -29*v - 109626 = -3*b - 26*v. Is b a composite number?
False
Let n(m) = -4 + 0 + 3*m + 0*m - 2*m. Let d be n(4). Suppose -o + 4*o - 93 = d. Is o prime?
True
Let x(s) = 134*s**2 - 35*s - 23. Is x(16) composite?
False
Let o be (9/15)/((-3)/(-105)). Is 91 + 7/(o/(-12)) a composite number?
True
Suppose -5*c = d + 1285, -8*d + 4*c - 5140 = -4*d. Let k = -912 - d. Is (-7 - -9)/(2/k) a prime number?
True
Suppose -3*h - 13 + 1 = -4*r, 5*h = 4*r - 12. Suppose 4*k = -2*i + 214, 226 = 3*i - r*k - 122. Is i a composite number?
False
Is (-76155)/(-10)*10/15 composite?
False
Let n = 434 - 64. Suppose 0 = 3*j + 3, 2*j - 183 - n = -w. Is (-2)/(-3)*w/10 composite?
False
Suppose 4*i = 7*i + 21. Let w = -3 - i. Is (-106)/(-3)*6/w a composite number?
False
Suppose 2*z = -3*z + 15. Suppose 2*m - z*h - 23 - 1744 = 0, -5*m + 5*h = -4415. Suppose 3*g + 431 = o, 0*o - g = -2*o + m. Is o a composite number?
False
Let v = 1504 + -724. Suppose 674 = 2*t - v. Let m = 1020 - t. Is m a prime number?
True
Let n = 3865 - 116. Suppose 4637 = 2*x - n. Is x composite?
True
Suppose -4*y + 24*y = 21180. Is y composite?
True
Let k(p) = -3*p**2 + 7*p + 12. Let x(s) = -2*s - 72 - 12*s + 9*s**2 - 2*s**2 + 47. Let b(y) = -9*k(y) - 4*x(y). Is b(-3) a prime number?
False
Suppose -12*n + 77 = -19. Let y = -46 - -74. Is n/28 + 10436/y a prime number?
True
Let t be (-3136)/96*36/(-14). Suppose -1 = -y + 1. Suppose 170 = y*g - t. Is g a composite number?
False
Suppose 3*g = -3*g + 12. Suppose 0 = -q + f + 93, 201 = 5*q + g*f - 236. Is q a composite number?
False
Suppose -383 = -4*o + h + 2*h, 2*h = -2. Let n = 476 - o. Is n composite?
True
Suppose -z = 3*n - 10, -4*z - 9 - 31 = -4*n. Suppose 2*m - 5*w - 6971 = 0, -n*w = -3*m - 0*w + 10464. Is m prime?
False
Let w = -37590 - -91337. Is w prime?
False
Let o = -21 - -29. Is (-1 + 0)/(o/(-6008)) a prime number?
True
Let t(x) = -8*x**3 + 5*x**2 + 3*x + 3. Let z be (-6 - -2) + -3 + 3. Is t(z) prime?
False
Let b = -9 + 13. Suppose b*t + 13 = -h, -t + 3 + 2 = 3*h. Is 2/h + (-6391)/(-21) composite?
True
Let k(n) = -n**3 + 37*n**2 + 30*n + 50. Is k(23) a prime number?
False
Let w be (-4)/8*(-132 - -8). Let m be ((-5)/10)/(2/(-28)). Suppose -w = -m*k + 43. Is k a prime number?
False
Let q be 52/12 - (-4)/6. Suppose 2*o + 30 = q*m, 2*m + 2 = 3*o - 5*o. Suppose -m*z + 6*z = 116. Is z a prime number?
False
Let v = 103186 - 63907. Is v composite?
True
Suppose 0 = 13*x - 4*x - 9. Let m(g) = 1576*g**3 + g. Is m(x) prime?
False
Let u(m) = 3 + 1 - 26*m + 0 + 3. Is u(-15) a prime number?
True
Suppose -7*s + 5*s + 6 = 0. Suppose 0 = -s*k, q - 2564 = -3*q - k. Is q composite?
False
Let f(c) = 11*c**2 - 71*c + 235. Is f(-51) a composite number?
False
Let u = -46 - -46. Suppose 3*h - 16428 + 3615 = u. Is h composite?
False
Suppose 4*u - 4*t = -44, 2*t - 9 - 6 = u. Let o = 7 + u. Suppose o*i + 5*h = -4*i + 676, 507 = 3*i + h. Is i a composite number?
True
Let d = -23722 - -67809. Is d composite?
False
Let n(d) = d**2 - 18. Let a be n(0). Let b be (-2)/((-4)/a*-3). Suppose -2*q = -b*j + 663, 7 = 5*q - 8. Is j prime?
True
Let f = 2709 + -206. Is f a prime number?
True
Suppose 4*y = 1449 + 3995. Is y prime?
True
Let j = 0 + 4. Let t be -323*(-1 - 0) - (1 - -4). Suppose t = -y + j*y. Is y a composite number?
True
Let w be (4/8)/((-1)/(-1838)). Let h = -7 - -8. Is w/h + (-8)/4 a prime number?
False
Let r(y) = y**3 - 3*y + 3. Let v be r(2). Suppose -5610 + 335 = -v*a. Is a a prime number?
False
Suppose 4*v - 1118 - 1214 = 0. Let f(d) = 16*d + 34. Let x be f(10). Let n = v - x. Is n a composite number?
False
Let s = -156 - -639. Suppose -361 - s = -4*w. Is w prime?
True
Suppose 5*z = 3*r + r - 1222, 3*z = 4*r - 1226. Suppose 5*h - h = r. Is h composite?
True
Let m(v) be the third derivative of -1/24*v**4 + 0 + 5*v**2 + 0*v - 1/60*v**5 - 29/40*v**6 + 0*v**3. Is m(-1) a prime number?
False
Suppose 3*x + 2*l - 17159 = 0, -x - 2*l + 5*l + 5738 = 0. Is x a composite number?
True
Let i = 17 + -17. Let x be i/(1 - 0/2). Suppose -4*k + 349 + 607 = x. Is k prime?
True
Let d(h) = -5466*h**2 - h + 1. Let f be d(1). Let u be (4 + -2)/(12/f). Is 1 + 3 - (-4 + u) prime?
True
Let d(b) = -b - 3*b**2 - 1 + 3 - 4 + 9*b**3. Let x(f) = 3*f**3 + f**2 - 1. Let c be x(1). Is d(c) a prime number?
True
Let m = 27 + -181. Let g = 317 - m. Is g a prime number?
False
Suppose -2*y + 5*c = -147, c - 308 = -5*y + 100. Suppose n + 14 = y. Suppose 0 = 4*q - 5*q + n. Is q prime?
True
Suppose -5*m + 1 = 3*u + 14, -5*u - 3*m - 11 = 0. Is (-3575)/(-15) + (u/3 - -1) composite?
False
Let f(m) = -2*m + 16. Let v be f(12). Is 6/v + (-29113)/(-28) a prime number?
True
Let v(d) = -d**3 + 8*d**2 + 6*d + 12. Suppose r - 3*a - 1 = 11, 15 = 2*r + 3*a. Let z be v(r). Let b = z - -142. Is b a prime number?
True
Let v(a) = 4*a + 3. Let y be v(-1). Is (36/8)/(-9)*(y - 1897) prime?
False
Let c(q) be the third derivative of q**6/120 + q**5/12 - q**4/24 - q**3/3 + 4*q**2. Let w be c(-5). Suppose l = -w*l + 136. Is l a prime number?
False
Suppose 0 = -5*t + 5*m - 9*m - 31, 5*t + 11 = m. Is (0 + 1399/(-3))/(1/t) a prime number?
True
Let u = -144 + 236. Let f = u - 37. Is f prime?
False
Suppose 6*m = 21690 + 1308. Is m a prime number?
True
Let b = -3 - -3. Suppose 3*d + b*d = 288. Suppose d = 3*f - w, -3*f + 74 = -f - 4*w. Is f prime?
True
Let c(g) = -g**3 - 22*g**2 + 24*g + 23. Let o be c(-23). Suppose o*y - 7*y = -889. Is y prime?
True
Suppose -40*w = -45*w - 630. Suppose -95 = -y + 362. Let c = y + w. Is c prime?
True
Suppose g + 461 = -1069. Let b = 2585 + g. Is b prime?
False
Suppose s - 6*s = -3*q + 11602, 0 = -4*s - 20. Is q prime?
False
Let p(k) = -257*k + 79. Is p(-12) a prime number?
True
Suppose -118 = h - g, -4*g = 6 + 10. Let k = h - -663. Is k prime?
True
Is 24/16 - (-131036)/8 a prime number?
True
Let k be ((-15)/12 - -2)*152. Let z = k + -170. Is (-6)/14 + (-6800)/z composite?
True
Let p(q) = 12*q + 51. Let z(y) = 14*y + 51. Let l(s) = 4*p(s) - 5*z(s). Is l(-16) prime?
False
Let y = 27512 - 18010. Is y a prime number?
False
Is (-2 + 48/20)/((-6)/(-65370)) prime?
False
Let d = 8279 + -5188. Suppose -6*y + d = 529. Is y composite?
True
Let q be -18*-1*(-2)/(-4). Let j be 0/q - (-5)/1. Suppose -2*s + 2219 = j*s. Is s composite?
False
Suppose 1135 = d - 288. Is d a prime number?
True
Suppose -5 + 7 = b. Suppose 0 = -3*l - f + 2678, -9*f - 1785 = -b*l - 10*f. Is l composite?
True
Let a(h) = h**2 + 11*h - 29. Let t be a(-14). Suppose 3*j - 8 - t = 0. Is j a prime number?
True
Let x = -6 - -2. Let f be (x - -2) + (-9)/(-3). Let h(t) = 31*t**2 + t - 1. Is h(f) a prime number?
True
Suppose 19*a = 40*a - 434553. Is a composite?
False
Is ((-6)/9)/(2/(-7737)) composite?
False
Let i = -24 + 27. Suppose i*g + 3*p - 4221 = -2*p, 3*p = -g + 1411. Is g prime?
False
Suppose 3*g + 28 - 49 = 0. Suppose 5*t + 730 = g*t. Is t a prime number?
False
Suppose 3*j - 6*j - 12 = 0. Let i be ((-26)/39)/(j/3174). Let p = i + -374. Is p a prime number?
False
Let k(j) = -188*j**3 + 4*j**2 + 5*j + 3. Is k(-2) prime