1)/p*-2 composite?
True
Let z = -107 - 200. Let x = 654 + z. Is x prime?
True
Let n(d) = d**3 - 3*d**2 + d. Let u be n(-4). Let y = -22 - u. Let b = y - -15. Is b a composite number?
False
Suppose -4*h = 304 - 7976. Suppose 0*l - 4*t - h = -2*l, 3*l + t - 2877 = 0. Is l composite?
True
Let n(u) = -11*u**2 - 9*u - 17. Let b be n(-5). Let t = 378 + b. Is t a composite number?
False
Let i(j) = j**2 - 10*j + 4. Let g be i(-9). Suppose g = d - 2*c, -3*c - 46 = -5*d + 808. Is 12/54 + d/9 a composite number?
False
Let l(v) be the first derivative of 62*v**2 + v + 18. Is l(3) a prime number?
True
Let s(j) = 17*j**2 + 10. Let v be s(-4). Let k = -103 + v. Is k a prime number?
True
Let m = -5 - -9. Suppose 3*h - 2 = m. Suppose 0 = 2*l - h*n - 30, 0*l + l + 3*n = -5. Is l a composite number?
True
Let i(d) = 2*d**3 - 11*d**2 + 2*d - 18. Let a be i(8). Let u(p) = 16*p**2 - 5. Let c be u(-6). Let j = c - a. Is j a prime number?
False
Let a = 4 + 2. Let h be (-238)/a + 7/(-21). Let y = h + 119. Is y a prime number?
True
Suppose 3*c - 2*i = 3431, -2*i = 3*i - 25. Suppose 6*s - c = -4*n + s, 2*s + 303 = n. Is n prime?
True
Let v(c) = 89*c**2 + 21*c - 79. Is v(6) composite?
False
Suppose 0 = 9*q + 33394 - 222403. Is q prime?
True
Let v = -17087 - -27418. Is v a prime number?
True
Suppose 9*m + 0*m = 72. Suppose 4*v - 16044 = -m*v. Is v a prime number?
False
Let f be (12/(-16))/(2/(-8)). Suppose 4*a = f*a + 1361. Suppose -6*x = -7*x + a. Is x a composite number?
False
Let c(t) = 13*t + 7 - 3*t + 10*t + 63*t. Is c(8) composite?
True
Let a(c) = -6*c**2 - 3 - 2 + 9*c + 1 + c**3. Let d be a(9). Let t = -229 + d. Is t composite?
True
Suppose p - 1890 = -4*l + 1567, 4*p - 2*l - 13828 = 0. Is p a composite number?
False
Let a be 1/(-4) - (663/(-12) + -2). Let f = 126 - a. Is f a prime number?
False
Suppose -100 - 10 = -2*j. Suppose 2*n = 3*n - 3. Is -2 + j + 0/n prime?
True
Suppose 3 = 3*c + 2*d, -5*c - 4*d = -2*d - 5. Let o be (-1)/(4/(500/c)). Let f = o - -336. Is f composite?
False
Let z(p) = -p**3 + 51*p**2 - 6*p + 43. Is z(25) a composite number?
True
Let n(d) = 70*d**3 - d**2 + 6*d - 10. Is n(3) composite?
False
Suppose 0 = -3*s - m - m + 10, 4*s - 2*m = 4. Suppose 5*d + 3*y - 581 = 0, 5*d + s*y = 5*y + 599. Is d prime?
False
Suppose 0 = 3*k, -3*s - 5*k - 4 = -4*s. Suppose -3*u + 31 = s. Is 3/u*1*573 composite?
False
Is 7/56 - (-794936)/64 prime?
True
Let m(f) = 601*f**2 - 56*f + 354. Is m(7) prime?
True
Let z = -1 - -5. Suppose 4288 + 1264 = z*r. Suppose t + 3*t - r = 0. Is t prime?
True
Suppose 18 = 10*o - 8*o. Suppose u = 3*l + 27, o = -3*u + 6*u. Let m(v) = -37*v + 11. Is m(l) composite?
False
Suppose p - 41699 = -2*d, -2*p + 5 - 3 = 0. Is d composite?
False
Suppose -5*a - 35969 = 3*q - 153236, a + 156356 = 4*q. Is q a composite number?
False
Let v = -7076 + 11011. Is v a composite number?
True
Suppose 11*a + 33 = 14*a. Suppose 3*r - 6 = 0, 2*v - 3*r - 22 = -0*v. Is (-42)/v*a*-1 a composite number?
True
Let g(x) = -5*x**2 - x**3 + 2*x + x - 4*x + 1. Let h be g(-5). Suppose -h*o + 4*l = -o - 62, 5*o - 78 = -4*l. Is o a composite number?
True
Suppose -11*a + 354 = -5*a. Is a prime?
True
Let s = -48067 - -82190. Is s a composite number?
False
Let a(t) = -195*t - 76. Is a(-31) a composite number?
True
Let n(i) = -i**2 + 8*i - 7. Let k be n(6). Suppose -2*m = 2*q - 20, 2*m + k*q - 28 = q. Suppose 5*g - 59 = m. Is g prime?
True
Let t(z) be the second derivative of -z**4/12 + 5*z**3/6 - 3*z**2/2 + 10*z. Let v be t(2). Let c(x) = 23*x**3 - 5*x**2 + 6*x - 7. Is c(v) prime?
True
Let n = 1730 + -1100. Suppose 4*a - n = 3830. Is a a composite number?
True
Let l = 99 - 38. Suppose 327 = 3*s + 5*p - l, p + 1 = 0. Is s composite?
False
Let r(c) = c**3 + 11*c**2 + 8*c + 10. Let k be r(-10). Suppose 3*y + 5*b - 19 = k, 0 = 4*y - b - 27. Is (-8)/32 + 2426/y composite?
True
Suppose 4*a = -3 - 25. Let b be (1 + 2)/(-3) - a. Suppose b*x = 5*x + 14. Is x prime?
False
Let x be 0 + 0*2/(-4). Suppose -4*n + 3*h + 1810 = x, -5*n - 3*h + 551 + 1698 = 0. Is n prime?
False
Let v(d) = -15*d**2 - 4*d + 7. Let z be v(-4). Let p = -14 - z. Is p prime?
False
Let g(r) = r**3 + 4*r**2 + 58*r + 47. Is g(25) prime?
False
Let l(i) = 621*i + 5. Let h be l(6). Suppose -h = 4*y - 11*y. Is y a composite number?
True
Let a be -9*(33/9 + (-4 - 0)). Suppose 5*o - 5*g = 4836 + 2569, -2*o + a*g + 2965 = 0. Is o a prime number?
False
Suppose 36*q - 82866 = 22*q. Is q a prime number?
False
Let v(z) = -3175*z - 149. Is v(-12) prime?
True
Suppose 3*h = -j + 4618, 28*j - 26*j - h = 9243. Is j composite?
False
Let n(p) = -206*p + 155. Is n(-7) prime?
True
Suppose 0 = -3*s + 139 + 311. Suppose 0 = -2*t + s - 12. Is t a composite number?
True
Suppose 5773 = 2*g - p, -3*g + 8387 = -2*p - 274. Suppose -3*w - 5*r + 1762 = 0, 5*w - 3*r = -r + g. Is w a composite number?
True
Let x = -460 - -1243. Suppose 5*p - 1902 - x = 0. Is p a prime number?
False
Let s(v) = 475*v**2 - 2*v + 2. Let d(z) = -z**2. Let b(a) = 2*d(a) + s(a). Let q be b(2). Suppose 5*c + u = q, 3*c + 0*c + 5*u = 1156. Is c a composite number?
True
Let p be (-4)/(-10) + (-92)/(-20). Suppose -1147 = -2*l - b + 995, 0 = -p*l - b + 5349. Is l prime?
True
Let b be (-5)/((-30)/24) + -4. Suppose b = -2*u + 3*y + 209, -y = -0*u - 4*u + 423. Is u prime?
False
Let n(g) = g**2 - 7*g + 9. Let c be n(6). Let h be 1/(c/147*1). Is 6209/h + 2/7 prime?
True
Suppose 12*z - 326898 = -11022. Is z a composite number?
True
Let s(k) = k - 3*k**2 + 22*k**3 + k**2 + 62*k**3. Is s(1) composite?
False
Let v(i) = 17*i + 19. Let r be v(7). Suppose a - r = 67. Is a a composite number?
True
Let f = -9 - -9. Suppose f = 4*k + k - 38765. Is k composite?
False
Suppose 21 = -3*h - 5*q, -4*h + 0 = q + 11. Let a = h - 0. Is -92*-1*a/(-4) a prime number?
False
Let j(t) = 10212*t + 31. Is j(1) a composite number?
False
Suppose -5*a = 2*o, 3*a - a + 5*o = 21. Let t(i) be the first derivative of -15*i**2/2 - 5*i + 11. Is t(a) composite?
True
Let g(u) be the first derivative of -491*u**2/2 + 24*u - 37. Is g(-3) prime?
False
Let h(c) = 13*c**3 + 4*c**2 - 5*c + 1. Let b be (-33)/(-6) - 2/(-4). Is h(b) a prime number?
False
Let p = 5331 + -442. Is p prime?
True
Suppose -5*t = -6*b - 70517, 5*t = -4*b + b + 70544. Is t a composite number?
False
Let t(w) = -77*w**2 - 7*w + 26. Let m be t(6). Let u = m - -4019. Is u a prime number?
True
Suppose 2*u = -10, -5*f + 0*f + 2*u = 115. Let o be 2570/(-2)*30/f. Suppose -3*a - 3*a = -o. Is a composite?
False
Suppose -36460 = -4*s - 5*g, 8*s - 7*s = -3*g + 9115. Is s a composite number?
True
Suppose -11*k + 3924 = -5*k. Let w = k + -363. Is w prime?
False
Let s(n) be the second derivative of -n**8/32 + n**7/1260 + n**6/360 + n**5/120 + 5*n**4/6 - 6*n. Let f(k) be the third derivative of s(k). Is f(-1) prime?
True
Suppose 0 = 4*r - 8*r - 28. Let w = -1 - r. Is w composite?
True
Let j(g) = -g**3 + g. Let l(q) = -121*q**3 - 6*q. Let h(a) = 6*j(a) + l(a). Suppose 3 - 1 = -2*d. Is h(d) a prime number?
True
Suppose 0 = 4*h - a + 175, 4*h + 38 + 143 = 3*a. Let f = 52 - h. Is f a prime number?
False
Suppose 33*g = 3797453 + 420178. Is g a composite number?
False
Let i(c) = -28*c - 3. Let b(m) = -29*m - 4. Let p(s) = -4*b(s) + 5*i(s). Let d be 2/(-5) - (-56)/(-10). Is p(d) prime?
False
Suppose -2 = -2*x - 4*o, -5*o = -2*x - 0*o + 38. Suppose 2*c - 202 = -5*z, x*z - 203 = 4*z - 3*c. Suppose 6*h + z = s + h, 3 = h. Is s a composite number?
True
Let j(t) = -205*t**2 + t - 5. Let x be j(3). Suppose 5200 = -9*u + 4*u. Let p = u - x. Is p a prime number?
False
Suppose 0 = -21*s + 41780 + 37201. Is s a composite number?
False
Suppose 2 = 3*n - n. Suppose -3*i = -55 + n. Is 1634/i - 8/(-36) a composite number?
True
Suppose -12*h = -4156 - 32048. Is h a prime number?
False
Let m be (3 - -1)*(-7 + 8). Suppose r - m = -r. Suppose 239 = 3*z - 4*w, -r*z - w + 158 = 6. Is z a prime number?
False
Let l(r) = r**2 - 12*r + 16. Let u be l(7). Let t = 186 - u. Is t prime?
False
Let x(z) = 3*z**2 + 2*z + 9. Let j be x(6). Suppose -m + 4*c = -j, -2*m - 3*c = -92 - 144. Is m a composite number?
True
Let s(t) = -t**3 + t**2 - t - 8. Let i be s(0). Is ((4322/i)/1)/((-2)/8) a prime number?
True
Let i(a) = -7*a + 4. Let u(g) = g**3 + 6*g**2 + 2*g - 4. Let y be u(-5). Let r = 4 - y. Is i(r)