0 = -4*d + 4*v + 1896, -4*v = d + 2*d - 1457. Is d a prime number?
True
Let v = 516 - -115. Is v composite?
False
Let o(f) = 5*f**2 + f**3 + 2 - 5 - f - 7*f + 3*f. Suppose -25 = -0*x + 5*x. Is o(x) composite?
True
Let z = -1 + 1. Suppose 4*b + 35 - 159 = z. Is b prime?
True
Let h = -440 + 993. Is h prime?
False
Let z be ((-4)/10)/((-6)/30). Suppose z*a - 182 = o, -2*o = -0*o. Suppose -3*h = 4*m - a, -4*h = -2*m - 201 + 43. Is h composite?
False
Let s be (2 - 6/2)*2. Is 3*(1604/12 - s) prime?
False
Let h be 24/(-9)*(-18)/(-8). Let t = 0 + -12. Let p = h - t. Is p a composite number?
True
Suppose -533 = -3*p + 352. Is p a prime number?
False
Let a(w) = -w**3 + 8*w - 2*w**2 + 3*w**2 + 10*w**2 + 5 + 2*w**3. Is a(-9) a prime number?
False
Suppose -2*h - 2*v + 2 = -3*h, -h - 5*v - 37 = 0. Suppose 4*p - 27 = 157. Let y = p - h. Is y composite?
True
Let c(w) be the third derivative of -11*w**4/8 - 5*w**3/6 + 9*w**2. Is c(-4) a composite number?
False
Let y be (-4)/(-10) + (-39)/(-15). Let a = y - 0. Suppose 0 = -a*d + 171 + 942. Is d a prime number?
False
Let s(c) = 5*c**2 + c. Let q be s(-1). Let u = q - 0. Suppose -2*a + 4*a = -u*d + 136, 2 = a. Is d a prime number?
False
Suppose 1578 = y - 2*y. Is (-3 + 2)/(6/y) a composite number?
False
Let a(l) = -112*l - 1. Suppose -5*x + 7 = -18. Suppose 3 = -4*n - x. Is a(n) a prime number?
True
Let t(y) = 111*y + 5. Is t(8) a prime number?
False
Suppose -3 = -2*y + 3. Suppose -4*g + y = -1. Is (0 + g/(-2))*-226 composite?
False
Suppose 5*z = 3*h - 4*h + 1271, -3*z + 767 = 5*h. Is z a prime number?
False
Let a(f) = f**2 + f - 5. Is a(6) a prime number?
True
Let b(r) be the second derivative of r**6/120 - r**5/60 - r**4/6 + r. Let g(w) be the third derivative of b(w). Is g(2) a composite number?
True
Let w = 11 + -8. Suppose -7 = -w*h + 5. Suppose -h*t = -t - 195. Is t prime?
False
Let p(h) = -1041*h**3 - h**2 - 2*h - 1. Is p(-1) a composite number?
True
Let h(c) = 2*c**2 + 2*c + 7. Let y be h(5). Let b = -8 + y. Is b prime?
True
Is (0 + 2 + -3)*-79 prime?
True
Let g(p) = -83*p + 30. Is g(-11) a composite number?
True
Let a(f) = 4*f**3 + 2 + 8*f**2 - 3*f**3 + 6*f - 1. Is a(-6) a composite number?
False
Suppose 0 = 4*o - 0*o - 28. Suppose -m + 39 = -o. Suppose 5*r + x = 294, 2*x - 5*x = -r + m. Is r a composite number?
True
Suppose -y = 4*y + 5. Let m be (-2 + 3 + -6)*y. Suppose -33 = -m*u + 2*u. Is u a prime number?
True
Let n = 11 + -2. Suppose 2*a + 12 = 4*a. Is n/6*332/a a prime number?
True
Let p = -34 - -186. Let r = p - 67. Is r composite?
True
Suppose 4*y = 3*t - 9 - 1, 2*t = -2*y + 2. Suppose t*i = 4*x - 5*x + 75, 2*i + 423 = 5*x. Is x a prime number?
True
Suppose 4*p + 4 = 5*o, -3*p + p = 2. Suppose o = 2*k - k - 89. Is k composite?
False
Let t = 457 - 308. Is t composite?
False
Is (-1)/3 + (-11704)/(-57) prime?
False
Suppose -q + 369 = -0*q - m, -5*m - 361 = -q. Is q composite?
True
Let v be (3 + -1)*(-2 - -1). Is (18 - v) + (-3 - -2) composite?
False
Suppose 2 = t, -l + t + 356 = -0*l. Is l a composite number?
True
Let p(l) = -488*l + 17. Is p(-2) a composite number?
True
Suppose 0*i = 2*i. Let y be i - -2 - (-1 + 1). Suppose -4*g + 4*l = y*l - 150, 129 = 3*g + 4*l. Is g a prime number?
False
Suppose 3 = 4*h - o - 8, 4*o - 40 = -5*h. Suppose -x + h*x = 9. Suppose 0*w + 15 = i + x*w, -i + w = -15. Is i prime?
False
Let g = -3 + -1. Let a be 1/4 - 7/g. Let v(c) = 4*c**2 + 2*c - 1. Is v(a) a composite number?
False
Let x(h) = h**2 + 4*h + 6. Let s be x(-9). Suppose b - 49 - s = 0. Suppose 0 = -5*t + 210 + b. Is t composite?
True
Suppose p + 74 = m, -3*m - 207 = 3*p - m. Let d = -115 - p. Let t = d + 81. Is t a prime number?
True
Let c(l) = -2*l. Let n be c(-6). Let d be 3*(0 - n/(-2)). Let b = d + -11. Is b prime?
True
Let g be ((-16)/10)/((-3)/15). Suppose b - 17 = -3. Let m = b - g. Is m prime?
False
Let r = -5 + 9. Suppose -r*b - l = -516, 0 = -b - l + 115 + 14. Is b composite?
True
Suppose -z = -4*p - 217, p - 520 = -3*z + 144. Is z prime?
False
Let g(t) = 11*t**3 + 13*t**2 + 5*t + 2. Let l(b) = -5*b**3 - 7*b**2 - 2*b - 1. Let h(c) = -4*g(c) - 9*l(c). Is h(-7) prime?
True
Suppose 0 = -5*g + 1946 + 1829. Is g composite?
True
Is (-749)/(-14) - 1/2 composite?
False
Let s = 2012 - 821. Is s a prime number?
False
Let m be 62/6 - (-6)/9. Let o be (-1 - 0)*(-3 - m). Is 6/(-21) + 368/o a prime number?
False
Let c(d) = -7*d - 5. Let l(n) = n**3 + 6*n**2 + 6*n - 1. Suppose 0 = -3*a - 10 - 5. Let j be l(a). Is c(j) a prime number?
True
Let r be 1449/15 - 4/(-10). Let u = r + -30. Is u a prime number?
True
Let c(b) = -b**3 - 4*b - 3. Let q be c(-4). Let g = q + -44. Is g a composite number?
True
Let b(k) be the second derivative of k**4/12 + k**3 - k**2 + 2*k. Is b(7) a composite number?
False
Let v(p) = 6*p - 13. Let r be (-3)/4 - (-47)/4. Is v(r) prime?
True
Let f(v) = -16*v**3 + 4*v**2 + 4*v - 5. Is f(-4) composite?
True
Let c(z) = -311*z + 1. Is c(-2) a composite number?
True
Let d = 4 + -2. Is (13 + -6)*4/d a composite number?
True
Let p(t) = t**3 + t**2 + 42. Let i be ((-6)/4 - -2)*0. Let b be p(i). Let a = 169 - b. Is a a prime number?
True
Let p(b) = -276*b. Let z be p(1). Suppose -5*j - 11 + 1 = 0. Is (1/j)/(6/z) composite?
False
Suppose 51*t - 6 = 49*t. Is t a prime number?
True
Let s(f) be the third derivative of -23*f**4/24 + 2*f**3/3 - 3*f**2. Is s(-5) a prime number?
False
Suppose 5*l = 4*f + 1975, 0*f + 1940 = 5*l + 3*f. Let t = l - 176. Is t composite?
True
Let f = -4 - -2. Is (f/3)/((-14)/399) composite?
False
Let v = 289 + 1404. Is v a composite number?
False
Let u = -19 - -31. Suppose u = -2*c - w, 3*w = -0*c + 3*c. Is (-1605)/(-12) - (-3)/c composite?
True
Let f(h) = -111*h - 4. Let d(r) = -r**2 - 2*r. Let v be d(-3). Is f(v) a prime number?
False
Suppose -21 = 3*y - 6*y. Let b = y - 4. Is 1/(-3) + 22/b composite?
False
Let g(w) = 3*w**2 - 2*w - 6. Let b be g(-4). Suppose -4*l = l - b. Let y = 47 - l. Is y prime?
True
Is (-2)/((-4)/(-678))*-1 composite?
True
Let t be ((-2)/6)/((-3)/198). Let n = 97 + t. Is n a composite number?
True
Suppose m + 5 = 6*m. Let h be m/5 + (-11)/5. Is (-1)/(3/474*h) a composite number?
False
Let h be -1 - (0 - 4) - 4. Let q(c) = -178*c - 1. Is q(h) a prime number?
False
Let t = 16 + -32. Is 346/8 + 4/t prime?
True
Suppose 4*k - 660 = 4520. Suppose -4*p + 5*j = -7*p + 769, k = 5*p + 5*j. Is p composite?
False
Suppose 2*p = 4*i - 730, -p + 432 = 5*i - 498. Is i prime?
False
Let v(p) = 8*p + 3. Suppose y = -2*y - 5*z + 43, -2*z - 14 = -4*y. Is v(y) composite?
True
Suppose -11 - 14 = -l. Is l a composite number?
True
Let f = 47 + -29. Suppose 7 = 5*j + 42. Let o = f + j. Is o a composite number?
False
Let p(v) be the second derivative of v**5/20 + v**3/6 + 13*v**2/2 + 3*v. Let j(x) = x**2. Let h be j(0). Is p(h) composite?
False
Let q(w) = 3*w + w**3 + 2*w**3 - 6 - 4*w**3 + 2*w**2 - 7*w**2. Let c be q(-5). Let a = c + 36. Is a a composite number?
True
Is 336 - ((-6)/8 + 6/(-24)) a composite number?
False
Let y be 6*(-2 + 14/6). Suppose -y*n = -3*k + 205, 6*n - n + 64 = k. Is k composite?
True
Let d be ((-1)/2)/((-2)/(-8)). Let t be ((-6)/8)/(d/8). Suppose -y = -i - 11, -2 = -i + t*i. Is y a composite number?
True
Let k(v) = -2*v - v**3 - 2 + 12*v**2 - 8*v + 2*v. Is k(11) a composite number?
False
Let x = -753 + 1432. Is x a composite number?
True
Let m = 211 + -53. Let v = 232 - m. Let s = 120 - v. Is s a prime number?
False
Suppose 5*j - 4*j = -3. Let c(y) be the third derivative of y**5/15 + y**4/8 - y**3/3 - y**2. Is c(j) a prime number?
False
Let m(a) = -9*a**3 - 15*a**2 - 3*a + 1. Is m(-7) composite?
True
Suppose 98 = 6*f - 4*f. Is f prime?
False
Let p(f) = 2*f - 2. Let d be p(6). Suppose -5*a - k + d = -0*k, 2*a = 3*k - 13. Suppose 11 - a = g. Is g a prime number?
False
Let t(u) = u**3 + 6*u**2 + u + 8. Let m be t(-6). Suppose 5*j - z - 1325 = 0, -202 = -4*j + m*z + 858. Is j a composite number?
True
Let v(g) = -g**2 - 8*g - 3. Let w be v(-7). Suppose 4*k + w*h = 1216, 3*h + 357 + 880 = 4*k. Is k a prime number?
True
Let v be -1*3/(-2)*-264. Let k = v - -581. Is k a composite number?
True
Let j(t) be the third derivative of -t**5/60 + 3*t**4/8 - 5*t**3/6 + t**2. Let r be j(6). Suppose 2*x - r = x. Is x a composite number?
False
Let v(j) = -j**3 + 13*j**2 -