5*h + s. Is h prime?
True
Let m = -36 - -38. Suppose 3*v - 4034 = -v - m*l, 5*v - 5060 = l. Is v prime?
False
Let w = 33 - 31. Suppose z - w*a = 211, a + 197 = z - 14. Is z prime?
True
Let v be (11/(220/24))/(2/(-10)). Let c = v + 29. Is c prime?
True
Is (-422)/(-8)*(-22 - -26) composite?
False
Let k be 1 - ((-34044)/(-4 + 6) - -4). Suppose -8*p + 1437 = -k. Is p composite?
True
Let s = -743 - -1376. Is s prime?
False
Suppose 5*j = 2*j + g - 40, -2*j + 2*g = 24. Is (-3538)/j + (9/7 - 1) composite?
True
Suppose h + 2*c = 2*h + 1, 0 = 3*h + 2*c - 5. Let n be 3 - 5 - h*-2286. Suppose 5*s + 629 = n. Is s composite?
False
Is (-5)/(30/24) - (-50)/2 a composite number?
True
Is ((-41)/82)/(2/(-2212)) a prime number?
False
Suppose -3*l + 9245 = 2*v, 5*l = -4*v + 17354 + 1135. Is v prime?
True
Let l be 1*-2*(-850)/20. Suppose -q - 46 = l. Let t = 162 - q. Is t a prime number?
True
Let a(y) = 522*y - 4. Let l be -1 - (28 + 2)/(-3). Let i be a(l). Is i/10 + 4/(-10) prime?
False
Suppose -4*w + 16263 = -3*x + 2*x, 3*x = 4*w - 16261. Let s = w - 2705. Is s composite?
False
Let u = -3946 - -10873. Is u prime?
False
Let f(d) = d + 15. Let l be f(-7). Suppose -l*u + 5*u = -2031. Is u a composite number?
False
Let z(v) = -v**2 + 13*v + 1. Let g be z(13). Let b(w) = 687*w + 2. Is b(g) composite?
True
Suppose -2*h + 7 + 3 = 0. Suppose -6*c = -h*c. Is (c - -3)*218/6 a composite number?
False
Suppose 5*u - 296 = 34. Suppose -c + 651 = -u. Is c composite?
True
Suppose 0 = -2*o + 5*l - 32, 0 = 2*o - l + 4 + 28. Is -4*316/o*7 composite?
True
Let j(s) be the second derivative of s**5/20 + 5*s**4/12 - s**3/3 + 17*s**2/2 + 10*s. Is j(7) composite?
True
Let g be 0/((-1 - 0)*2). Suppose 9*a - 14*a + 2510 = g. Is a prime?
False
Is ((-8982292)/11)/((-52)/13) a composite number?
False
Let f(j) = 201*j**2 + j - 2. Let a be f(1). Let x = 1374 - a. Is x prime?
False
Suppose -2*n - 217 = -2*h + 181, -h = 2*n - 211. Suppose -t + h = 4*w, -3*t + 198 = 3*w - 429. Is t prime?
True
Suppose 5 - 7 = -v. Suppose -u + 3*u + 4 = -2*t, v*u + 8 = 0. Suppose -3*s + t*q + 1679 - 458 = 0, 0 = -2*s + 3*q + 814. Is s prime?
False
Let a(x) = -43*x**3 - 26*x**2 + 7*x + 15. Is a(-12) composite?
True
Let i(k) = -2*k - 1 - 179*k**3 + 115*k**3 - 402*k**3. Let j = 5 + -6. Is i(j) prime?
True
Let r be (-3)/(-18)*-2*-7464. Let i = r + -1206. Is i prime?
False
Suppose 3*l + 3828 = 3*f, -3*l + 6384 = 5*f - 4*l. Suppose -5*g = -5*z + 358 + f, -g = -2*z + 650. Suppose -2*j + z = 8*c - 3*c, -3*j + 462 = 3*c. Is j prime?
True
Let u(i) = i**2 - 10*i + 12. Let n be u(9). Let m(b) = -b**3 + 3*b**2 + 6*b + 2. Let k be m(n). Is ((-670)/(-8))/(5/k) a composite number?
True
Is (-247435)/(-82) - 6/(-4) composite?
False
Let t(q) = -q - 14. Let j be t(-10). Let u be 0/(-4*(-2)/j). Is 33 - (-2 + u + 1) a prime number?
False
Let m(c) = -9*c**2 - 13*c + 1. Let b(w) = 4*w**2 + 6*w. Let r(l) = 7*b(l) + 3*m(l). Suppose -4*d + 3*d = -2*k - 12, 18 = -3*k - 5*d. Is r(k) a prime number?
False
Let f(o) = -o + 6. Let s be f(4). Suppose s*a - 31 = -11. Let j(q) = -q**3 + 12*q**2 - 14*q + 9. Is j(a) composite?
True
Suppose 111306 = 1470*t - 1464*t. Is t composite?
True
Let m = -277 + 851. Suppose -h + 2 = 4*p, -2*p + 3*p - h = -2. Suppose p = -2*q - 0*q + m. Is q composite?
True
Let n(j) = 4*j**3 - 12*j**2 + 8*j + 13. Is n(12) prime?
False
Let d(p) = 2 + 24*p + 9 - 2. Let t(j) = j**3 - 38*j**2 - 38*j - 31. Let x be t(39). Is d(x) a prime number?
False
Let c(s) = -567*s - 30. Let r be c(-3). Let g = r + -378. Is g a composite number?
True
Let u = 1 + 2. Suppose -u*z - 1713 = -5796. Is z prime?
True
Let d(f) = 88*f**2 + 2*f + 143. Is d(-15) composite?
False
Suppose 2*q + 246 + 240 = 0. Let g(r) = -r**3 - 11*r**2 - 8*r - 6. Let v be g(-7). Let y = v - q. Is y a prime number?
True
Let c be -21*(-1)/12 - 1/(-4). Is ((-9)/(-6))/(c - (-2646)/(-1324)) a composite number?
True
Let b = -16 - -27. Let x(l) = -l**3 + 14*l**2 - 11*l + 12. Is x(b) a prime number?
False
Suppose 14 = 5*i - 1, 2*k = -i + 27. Let b = k - 6. Suppose b + 236 = 2*s. Is s composite?
True
Suppose 5*m - r - 21609 = -0*m, -5*m + 4*r = -21621. Is m a prime number?
False
Let z be 0*(-1 - 6/(-4)). Suppose -3*o + 406 - 58 = z. Let n = 243 - o. Is n prime?
True
Let a(f) = -11 - 3 + f + 27. Let o be a(-9). Suppose 7*p - o*p = 69. Is p composite?
False
Let x(m) = 2*m**3 + m**2 + m - 1. Let w be x(1). Suppose -w*r + r + 1248 = 0. Let v = r - 337. Is v composite?
True
Suppose -h = 4*j - 54563, j - 13645 = 7*h - 3*h. Is j prime?
False
Let i be (6/5)/((-9)/480). Let b = i + 95. Is b a composite number?
False
Let u be 143/77 + (-2)/(-14). Suppose 0*y - 5*y - u = 3*s, 0 = 2*s + 8. Let p(r) = 194*r**2 + 5*r - 1. Is p(y) composite?
True
Suppose -v + 2*d + d + 4 = 0, -4*v = -2*d - 36. Is ((-674)/5)/(-2 - (-18)/v) composite?
True
Let m be (-25)/3*-4*84/(-5). Let x = 89 - m. Is x prime?
False
Let j(o) = 1 - 3 + 2*o - o - 4. Let i be j(8). Suppose 5*a - i*a - 102 = 0. Is a a prime number?
False
Let f be (1 - 0) + (14 - 13). Suppose -f*i = -2*t + 7572, -t + 2*i = -0*t - 3781. Is t prime?
False
Suppose 5*d - 12984 = r, 16 = -5*r - 4. Suppose 5*i - 1391 = -o + d, -2397 = -3*i - 3*o. Is i a prime number?
True
Let d(a) = -2*a + 4. Let z be d(-2). Suppose -9*g + z*g = -587. Is g prime?
True
Let w be 5350/15 - 2/3. Let q = w - 195. Is q a composite number?
True
Suppose 0 = -3*h + 8*h. Let v be 13/((-15)/(15/3) - -4). Let r = v + h. Is r prime?
True
Suppose 9 = 2*t - t + 2*j, -5*j = -10. Suppose -2 = p - t*y + 65, 3*y + 195 = -5*p. Let l = 37 - p. Is l composite?
False
Is (52/104)/((-1)/(-1294)) composite?
False
Suppose 0 = -6*o + 8*o - 5020. Suppose 14*n - 9*n = o. Is n a composite number?
True
Let i(y) = 0*y**2 + y - 102 + 101 + y**2. Let m be i(2). Suppose 2*c = 2*v + 52 - 166, m*v + 3*c = 253. Is v a composite number?
False
Suppose -28 = 5*k + 2*c, 4*k - 24 = 8*k + 2*c. Is 16674/k*4/(-6) a composite number?
True
Suppose 0 = -3*x + 4*t + 736, 5*x = 3*x - 5*t + 460. Let d = 346 - x. Is d a prime number?
False
Suppose 0*w = -4*w + 40. Let x = w + -6. Is x - 5 - (0 - 16) composite?
True
Let d(b) = -b**3 - b**2 + b + 6. Suppose 0 = 2*w + 2*l + l - 1, -4*w + 10 = -2*l. Suppose -i - 12 = -5*h, -w*i - 3*h = -i + 4. Is d(i) prime?
True
Let w(f) = -245*f - 461. Is w(-6) composite?
False
Let s = 115 + -116. Is (7 - 5)*s + 2287 prime?
False
Suppose -66413 - 46237 = -30*d. Is d a prime number?
False
Suppose 2*w = -2*x + 13602, 0*w + 2*x + 6813 = w. Is w prime?
False
Let w = -5212 - -7755. Suppose -3*r + 6*j = j - w, -4*r + 5*j = -3394. Is r a composite number?
True
Let b(a) be the third derivative of -139*a**4/8 - 16*a**3/3 + 28*a**2. Is b(-11) composite?
True
Let i be 3/(-12) - (-3)/(-4). Let l(w) = -15*w. Let g be l(i). Let h = 38 + g. Is h a prime number?
True
Let u = -14 + 19. Suppose -32 - 29 = -b - 2*q, -2*q = -u*b + 257. Is b prime?
True
Suppose -12*a + 51884 + 10384 = 0. Is a a composite number?
False
Let b(v) = v + 2. Let h be b(0). Suppose -56 = -k - 13*k. Suppose -k*z - 3*d = -496, -h*d - 16 = -6*d. Is z a prime number?
False
Suppose 4110 = 2*p - 2164. Is p composite?
False
Let z be (-20)/110 - (-84)/(-22). Is -1 - -70 - (z - (-1 + -3)) a composite number?
True
Suppose -2*c + 129 = c. Let l = 158 - c. Is l prime?
False
Suppose 0 = -5*o + 2*r + 4, -r + 6 = r. Let t = o + -14. Is ((-213)/1)/(t/44) a composite number?
True
Suppose 5*y = 2*o + 109801, 2*y + 2*o - 87848 = -2*y. Is y a composite number?
False
Suppose -2*d - 821 + 18157 = -2*w, 4*w + 8683 = d. Is d a composite number?
False
Let y(t) = t**2 - 6*t - 21. Let b be y(9). Suppose -b*j = j - 917. Is j a composite number?
False
Suppose l - 2*f = 2*f + 53, 0 = 2*l - 2*f - 82. Suppose 144 = 4*s - 152. Let b = s - l. Is b prime?
True
Let w = 607 - -360. Is w a prime number?
True
Let s(h) = -h**3 - 11*h**2 - 8*h + 25. Let t be s(-10). Suppose -3989 = -5*p + 4*n, -5*n = -0*n + t. Is p a prime number?
True
Let k = -324 + 583. Let m = k + 138. Is m a composite number?
False
Let k be 3 - (-7)/(21/(-9)). Suppose k*a = -2*a + 3194. Is a a composite number?
False
Let o = -24 - -26. Suppose 0*v - 4*v + 998 = o*z, z - 509 = -4*v. Is z composite?
True
Suppose 4*j - 24 = -4*z, -5*z - 4*j + 30 = -0. Let u be 887 + 6*4/z. Let q = u - 476. Is q a composite numbe