k + 9 = 0, 0*k + 1388 = 2*h + 4*k. Suppose -5*g + 987 = -h. Suppose -3*p = -4*p + g. Is p composite?
True
Suppose 34*m + 10865 = 232579. Is m prime?
True
Let h(c) = -4*c + 25. Let w be h(8). Let k(d) = -107*d - 10. Is k(w) prime?
True
Suppose 5*o - 17828 = 3*z - 5*z, 0 = 2*o + 4*z - 7128. Is o a prime number?
False
Let h(v) = -v**2 - 36*v + 71. Let t = 49 + -76. Is h(t) prime?
False
Suppose -4*s - 3*l + 3647 = 0, 3*s - 2728 = 8*l - 3*l. Is s prime?
True
Is 2*2/(-10)*(-8295)/42 prime?
True
Suppose 4*a + 3 = 3*z, 0 = -z + 5*z + a - 23. Suppose -5*x = -z - 10. Suppose -x*h + 2084 = h. Is h prime?
True
Let g = 200 - 83. Suppose z - 4*z - 9 = 0, -4*z + g = -3*o. Is (-3)/(-6)*o*-2 composite?
False
Let a(y) = 3*y**3 + 5 - 4*y**3 - 7*y**2 + y**2 - 2*y - 3*y. Is a(-9) a composite number?
False
Let y = -16 + 19. Suppose y*k + 136 = -4*n + 489, -3*k + 86 = n. Is n a composite number?
False
Let w(q) = -7*q. Let c be w(-3). Let f(h) = -42*h + 60*h**2 + c*h + 1 + 19*h. Is f(1) prime?
True
Let k(o) = -1340*o - 353. Is k(-9) prime?
False
Let t(l) = -l**3 - 2*l**2 - l + 2. Let s be t(-2). Suppose -2*j + 5*a = -367, -4*j - 35 + 787 = -s*a. Is j composite?
False
Suppose 2*s = s - 2*o - 2, 3*o = 0. Is (s - (-2732)/12)*3 a composite number?
False
Let j be 110/(0 + 5) - 4. Let k(u) = 18*u + 1 + 3 + j*u + 1. Is k(8) prime?
True
Is (0 - -1)*(37314 + 1 + 6) composite?
False
Let h = 3554 - -927. Is h composite?
False
Let y(p) = 2*p + 42. Let b be y(-22). Is (b - 261/(-2))*(22 + -8) composite?
True
Let t(x) = x**2 - 12*x + 25. Let n be t(9). Is (15171/12)/13 + n/8 prime?
True
Let x = -59 - -76. Suppose 0 = -x*v - v + 3618. Is v composite?
True
Suppose 4*a + 3*u = -2907, 2*a + 3*a - 4*u + 3626 = 0. Let j = a + 1357. Is j a prime number?
True
Let s(f) = -3*f**3 + 2*f**2 - 2*f - 8. Let i be s(-4). Suppose 3*o + 832 = a - i, -3*a - o + 3118 = 0. Is a composite?
True
Let h = 21 - 18. Suppose -d + 5*k - 569 = h*k, -5*d - 2836 = -k. Let b = -332 - d. Is b composite?
True
Let o = 1610 + 3914. Suppose -o = -8*i + 4*i. Is i composite?
False
Let g(k) = k**3 - 5*k**2 + 12*k - 12. Let l be g(13). Let r = l - 1042. Is r prime?
False
Is (12 - (-7 - -8 - -3)) + 117549 composite?
True
Suppose -9*q - w = -7*q - 82058, 3*w = q - 41015. Is q a composite number?
True
Suppose 17*i - 23*i + 1218 = 0. Is i a prime number?
False
Let z = -104 + 119. Let g(b) = 2*b**2 - 24*b + 23. Is g(z) composite?
False
Let s(j) = 13*j - 28. Let q be s(13). Suppose 2*o + q = 511. Is o composite?
True
Suppose 18*f - 19*f + 399 = 5*d, 3*f = 4*d + 1235. Is f composite?
False
Let t = 27551 - 4096. Is t composite?
True
Let h be (137*14/3)/((-4)/(-6)). Suppose 0 = -4*j + 3*v + h, 3*j = j - 5*v + 473. Is j prime?
True
Let u(z) = 3*z + 50. Let t be u(-15). Suppose t*a - 9*a = -o - 709, 4*a - 706 = -2*o. Is a composite?
True
Let x = -2902 - -5363. Is x composite?
True
Is (2 + (-40)/24)*37542 prime?
False
Let n(k) be the second derivative of 41*k**3 - k**2 + 3*k. Let f be n(4). Suppose 0 = m - 5*u - 461, 3*m + 5*u - f = m. Is m a prime number?
False
Let a = 10547 + -7072. Suppose 0 = 3*h - a - 18629. Is ((-2)/(-3))/(16/h) a prime number?
True
Suppose -3*r - 18 - 12 = 0. Let i(j) = 12 + 1 - 14 - 5*j. Is i(r) a composite number?
True
Let k(t) = -13*t**3 - 5*t**2 - 4*t - 1. Suppose -3*i + 3 = 0, -4*d + 5*i = 7 + 10. Is k(d) a prime number?
True
Suppose 0 = 14*z - 231705 + 49999. Is z prime?
True
Is 403/10*102 + 100/250 a composite number?
False
Let x(l) = 4*l**2 + 4*l - 67. Is x(26) a composite number?
False
Let o(u) = 2*u**3 - 14*u**3 - 2*u - 36 - u**3 + 33. Let b be o(-1). Is (291/6)/(2/b) prime?
False
Suppose x + 2*x = 5*n + 11854, n - 11860 = -3*x. Is x prime?
False
Let o(s) = s**3 - 10*s**2 + 11*s - 5. Suppose -3*c = -4*c + 9. Let v be o(c). Let l(d) = 63*d + 2. Is l(v) composite?
False
Is ((-6)/4)/(((-90)/(-57604))/(-15)) a composite number?
False
Is (-8)/(0 - 2) - -7162 prime?
False
Suppose -c - 1551 = 2*c. Let r = c + 971. Is r a prime number?
False
Suppose 22*f - 787 = 19*f - 2*g, 2*g + 249 = f. Is f a prime number?
False
Suppose -5*m = 2*v - 9, 2*m - 5*m = 3*v. Suppose -300 = -c - 4*w, -c - m*w + 300 = -8*w. Let p = c + -83. Is p a composite number?
True
Let s(g) = 2*g + 2*g - 3*g + 3*g + 10 + 44*g**2. Is s(6) prime?
False
Let z(p) = -p - 4 + 4 - 5. Let i be z(-2). Is (-2060)/(-16)*(1 - i) prime?
False
Let h(o) = -842*o - 23. Is h(-5) composite?
True
Suppose 0*f - 3*f + 12 = 0. Suppose 5 - 17 = -f*h. Suppose 0 = -5*v + 4*v - 1, h*v = u - 332. Is u a composite number?
True
Let y = 154977 + -109970. Is y a composite number?
False
Let b(h) = -179*h - 134. Is b(-17) prime?
True
Let w(a) = -a**3 - 12*a**2 + 5*a + 19. Suppose 0 = 2*z - g - 3*g + 26, 4*g = 0. Is w(z) prime?
False
Suppose z = 2*g + 5727, 9*z + 5*g - 28710 = 4*z. Is z prime?
True
Let s(t) = -6796*t + 351. Is s(-6) composite?
True
Suppose 0 = 24*f - 723421 - 649883. Is f a composite number?
False
Let k(v) = v**3 - 5*v - 7. Let i be k(3). Suppose i*s - 1358 = -2*h + 807, -h = -s + 426. Is s a composite number?
False
Suppose 20 = 2*w - 5*f, -7*f = -4*f + 6. Suppose -2*o - l + 1986 = 0, -1153 - 3806 = -w*o - 4*l. Is o a composite number?
True
Let k(u) = u**3 - 12*u**2 - 6. Let q be k(7). Is (2/2 + -2)*q prime?
True
Let f = -112 + -389. Is (-6)/33 - f/33 a prime number?
False
Let c be 6105/4 - (-12)/16. Let t = c - 485. Suppose -4*a + t = 2*y, 0*a - 3*a + 779 = 2*y. Is a a composite number?
False
Let y(m) = -3*m**3 - 9*m**2 + 20*m + 51. Is y(-13) prime?
True
Let b(l) = 6*l**2 + 16*l - 15. Suppose -z + 4*z - 40 = 5*r, 0 = -2*z + r + 22. Is b(z) a prime number?
False
Suppose -p = 5*f - 3*f - 11, -4 = -4*p. Let z = 6 - f. Is -573*z/(9/(-3)) a prime number?
True
Suppose -2*f - 3*f = n - 46, 3*f = 2*n + 25. Suppose -4*m + f - 1 = 0. Is ((-18)/(-4))/(1/m) a prime number?
False
Let f(m) be the third derivative of -11*m**4/4 - 23*m**3/6 + 37*m**2. Is f(-17) a prime number?
False
Let o(p) = -39*p**3 + 9*p**2 + 8*p - 29. Is o(-9) composite?
False
Let t be (2*-1)/((-2)/3). Suppose o + t*v - 254 = v, 0 = 5*o - v - 1270. Is o a composite number?
True
Let i = -3 + 3. Suppose i - 40 = -5*z. Suppose -4*g - f = -93, -77 = -5*g + 5*f + z. Is g prime?
False
Is ((-5)/(-2))/(10/(-819696)*-6) a prime number?
False
Let i(u) = u**2 - 8*u + 9. Let o be i(7). Let y(z) = 11*z**3 + 2*z**2 + z - 4. Is y(o) a prime number?
False
Let m = -22 + 25. Suppose 107 = 2*u + 6*l - l, -m*u = -2*l - 151. Is u a composite number?
True
Let r(h) = 11*h - 1. Let w be r(6). Let a = 103 - w. Suppose -k + a = 13. Is k composite?
True
Suppose 0 = 210*z - 216*z + 96978. Is z a prime number?
False
Let i = -2 - 2. Let b be 2 + 4/i*-324. Suppose 0 = 2*u, 3*u + u = -2*v + b. Is v a composite number?
False
Suppose 0 = -4*b - b + 120. Suppose 3*i - 5*w + 12 = -4, -3*i - 3*w = -b. Suppose -i*h + 1112 = -1105. Is h a prime number?
True
Is (-1796)/(-1)*44*4/64 a composite number?
True
Let c = 1036349 - 1505897. Is c/(-132) - (-2)/(-11) a prime number?
True
Suppose 149 + 304 = -j. Is j/(-9) - (2/(-3) - 0) a composite number?
True
Let c = 703 + -116. Is c composite?
False
Suppose 3*n = 3*o + 1236, -1666 = -6*n + 2*n - 2*o. Is n composite?
True
Suppose 195*r + 15245 = 196*r. Is r a prime number?
False
Let m be 8 + 12/((-12)/3). Suppose 4*r - q - 542 = -3*q, 5*r = -m*q + 685. Suppose r = 2*p - 32. Is p a prime number?
True
Suppose w + 47510 = 11*w. Is w a prime number?
True
Let d(s) = 74*s**2 - 20*s + 77. Is d(13) a composite number?
False
Let m(q) = 7*q**3 - 6*q**2 - 4*q - 5. Let l be m(-4). Suppose 3*c + 346 = 2*c. Let h = c - l. Is h a prime number?
False
Let w(z) = -z**2 - 2*z + 5. Let h be w(0). Is ((h - 5) + (-2)/(-6))*633 a prime number?
True
Let g = 583 - 347. Suppose 5*d + 229 = y + 2*y, -3*y = 2*d - g. Suppose u - z = y + 139, 1069 = 5*u - z. Is u a composite number?
True
Is ((-22)/(-11))/(1*8/44) prime?
True
Let j(u) = 13921*u**2 + 9*u - 11. Is j(1) prime?
False
Let z(p) be the third derivative of -p**6/24 - p**5/12 + p**4/2 + 5*p**3/6 + 34*p**2. Is z(-8) a prime number?
False
Let m = 3847 + -1308. Is m a composite number?
False
Suppose 3*t + d + 3024 - 19516 = 0, 4*t + 3*d - 21986 = 0. Is t a composite number?
True
Is (111 + -110)*(10037 + (-1 - -1)) a composite number?
False
Let s = -3 + 5. Let i(r) = r**