1, 4*x - 1 = -v*d + d. Is -2*(1 - 0)*d prime?
False
Let z be (-10)/(-15)*-3 + 398. Let b be (-4)/(-10) - 1626/(-10). Let i = z - b. Is i prime?
True
Let k(u) = -u**3 - 7*u**2 - 7*u - 2. Let a(w) = w**3 + 9*w**2 + 10*w + 10. Let b be a(-8). Let g be k(b). Is ((-200)/g)/(-2 - 0) a composite number?
True
Let x(n) = -n**3 + n - 2*n**2 - n**2 - 2*n**2 + 6 - 10. Is x(-7) composite?
True
Let g(x) = -x - 3. Let r be g(-8). Suppose 4 = l, 2*p + 0*l - 24 = r*l. Let a = p + -8. Is a a prime number?
False
Suppose o - 4*p = -3*o - 4, 3*o + 4*p - 25 = 0. Suppose o*k + 2*k - 265 = 0. Is k a prime number?
True
Let u(o) = o**2 + 10*o. Let g be u(-10). Suppose 3*k - k - 74 = g. Is k a composite number?
False
Let h be (-2)/(-4)*(17 - 3). Suppose h = -o + 54. Is o a prime number?
True
Suppose 753 = -4*k + 7*k. Is k composite?
False
Let c = -4 + 7. Suppose -8 = -4*y + 4. Is (10/y)/(1/c) a prime number?
False
Is ((-2)/(-1))/(32/1392) a composite number?
True
Suppose -3*x + 7 = -5. Is (1239/6)/(x/8) a prime number?
False
Let k = 14 - 16. Is (-371)/k + 24/16 composite?
True
Suppose 3*z - 2*z - 1220 = 0. Suppose 2*j - m + 4*m - 1224 = 0, 2*j + m = z. Suppose -k + j = 2*k. Is k composite?
True
Let y = 66 - -4. Suppose 5*h - 5*m + y = 0, 0 = -h + 4*m - 5*m - 14. Is 4/14 + (-1242)/h a prime number?
True
Suppose -7*f - 4 = -5*f. Is 2 + f + 1 + 88 a composite number?
False
Suppose -z = 1 - 4. Suppose 0*c + 609 = z*c. Is c prime?
False
Let z = -80 + 1041. Is z a prime number?
False
Let q = 69 + -27. Is 30/9*q/4 prime?
False
Let q(w) = 50*w - 1. Let a be q(1). Suppose -a = -3*b - 4*v, 12 - 37 = -2*b + 5*v. Is b a composite number?
True
Let z(c) = -c**3 + c + 2. Let g be z(0). Suppose 25 = d + 3*r, 41 = g*d - 2*r - r. Let s = 35 - d. Is s a composite number?
False
Let y(g) = -g + 4. Let w(p) = p**3 + 5*p**2 + 4*p + 4. Let i be w(-4). Let x be y(i). Suppose -2*m + m + 22 = x. Is m composite?
True
Suppose -4*i + 558 = -5*h - 1196, 3*h + 442 = i. Suppose 2*v = 6*v - i. Let x = v + -42. Is x prime?
True
Let z be (556/6)/((-4)/(-6)). Let a = -21 + z. Is a a composite number?
True
Let l = 6 - 4. Suppose 0 = l*v - 3*v. Is (v + 35)/(2 + -1) composite?
True
Let h(k) = 4*k - 7 - 4 + 6 + 0*k + 2*k**2. Is h(-4) a prime number?
True
Let x(r) = r**3 + 8*r**2 + 6. Let o be x(-8). Suppose -381 = 3*g - o*g. Is g a prime number?
True
Let u(r) = -2*r + 4. Let i be u(8). Let w(t) = t**2 + 10*t - 13. Is w(i) composite?
False
Let d = -10 - -1. Let f = -7 - d. Suppose -f*u + 53 = -u. Is u composite?
False
Suppose -4*f + 1308 = 4*s, 86 - 760 = -2*f + 3*s. Is f composite?
False
Let j(u) = -3*u + 6. Let q be j(7). Let c = q - -26. Suppose c = o - 10. Is o a composite number?
True
Let v(s) = -3*s - 4*s + 3*s - 1. Suppose 5*h + 2 + 3 = 0. Is v(h) composite?
False
Suppose -5*w + 5 = p + 2, -3*p - 2*w = -9. Suppose 3*y = 2*u + 107, -p*y - 3*u + 92 = -25. Is y a composite number?
False
Suppose 5*i - 354 = 391. Is i a prime number?
True
Let v = 27 + 297. Let h = -19 + v. Is h prime?
False
Let b be 0 - (-1 - 2) - -3. Let s(d) be the first derivative of -d**4/4 + 7*d**3/3 + 3*d**2 + 7*d - 2. Is s(b) composite?
False
Let z(m) = 9*m + 5. Is z(2) prime?
True
Suppose 31*s - 30*s = 3899. Is s composite?
True
Suppose i + 6 = 3*w - 13, -2*i = 8. Suppose -2*p + s + 73 = -0*p, -166 = -w*p - 3*s. Is p prime?
False
Let x(w) = -w - 9. Let u be x(-5). Let k = u + 1. Is (k - (-1 + 0)) + 39 a composite number?
False
Is (-3 - -4)*(-2)/2*-1159 a composite number?
True
Let x = -70 - -711. Is x prime?
True
Let y(m) = -3*m + 0 - 3 + 0 + 4*m. Let a be y(5). Suppose 2*x = -a*x + 52. Is x a composite number?
False
Let a(s) = 3*s**2 + 3*s + 4. Let x be a(-3). Suppose 5*z = 2*t + 52, -t + 4*z - 32 = -0*z. Let h = x + t. Is h a prime number?
False
Let i(j) = -4*j + 1. Let c be i(-2). Suppose 0 = -4*a + 2*a - 4*o + 14, a + 3*o = c. Suppose -v + 76 = a*v. Is v composite?
False
Let h(i) = 6*i - i**3 + 2*i**3 + 8 - 4*i**2 - 3*i**2. Let s be h(6). Suppose 0 = -4*g - s, -2*w = -0*w + 2*g - 38. Is w composite?
True
Let t(u) = -59*u**3 - u**2 + 1. Is t(-2) prime?
False
Suppose 9*m = 8*m + 797. Is m composite?
False
Suppose 5*k - 42 = -17. Suppose -2*b - 2*b + 24 = 4*u, k*u + 4*b = 30. Let q(h) = h**3 - 6*h**2 + h + 7. Is q(u) a composite number?
False
Let p = 440 + -68. Let f(a) = -23*a**2 + 3*a + 5. Let l be f(-3). Let x = l + p. Is x a prime number?
False
Let t = 1076 - 465. Is t a composite number?
True
Let x = -7 + 11. Let p be ((-2)/x)/(3/(-4470)). Suppose -2*s = -7*s + p. Is s composite?
False
Suppose r - 330 = -4*r. Suppose -r = -o - o. Is o prime?
False
Suppose 161 = b - 221. Is b prime?
False
Let z(c) = -15*c + 11. Is z(-10) prime?
False
Let m be -1 + 1 - 2*-5. Suppose -m = -3*j - 2*j. Suppose -2*s - j*v = -6*v - 54, -4*s + 78 = 2*v. Is s a prime number?
False
Let x be ((-114)/15)/(2/(-20)). Let f = x + -41. Is f prime?
False
Suppose w - h - 65 - 58 = 0, -5*w = 4*h - 579. Let y = w + 72. Is y a composite number?
False
Let j(s) = 2*s + 2. Suppose 0 = -4*z + 3*l + 2, -6*l + 10 = -l. Let h(f) = 2*f + 2. Let i(c) = z*h(c) - 3*j(c). Is i(-8) prime?
False
Let i = 8 + -6. Suppose -i*q - 3*q - 5 = 0, -3*f + 8 = 4*q. Suppose -5*s = -h + 53, -2*h = -f*s + 2*s - 74. Is h a prime number?
False
Suppose -4*m + 1208 - 452 = 0. Let r = m + -28. Is r composite?
True
Let f be ((-3)/4 + 0)*20. Is ((-1468)/(-6))/((-10)/f) prime?
True
Suppose k = -52 + 421. Suppose k + 123 = 3*h. Let a = h + -87. Is a a prime number?
False
Let t be 1/((-2)/(-76)) - -1. Suppose -3*s - 3 = -h - 24, 5*h = 4*s - t. Is s composite?
True
Let m(v) = -v**2 - 8*v + 3. Let r be 10/(-1 + (3 - 0)). Suppose 2*j = 4*c + 4, -j - 38 = 2*j + r*c. Is m(j) prime?
False
Suppose p + 11 = 5*u - 6, -u = 5*p + 7. Suppose 16 = 6*i - 2*i. Suppose i*r - 41 = -u*f, -4*f - 4*r + 58 = -2*r. Is f prime?
False
Let b = 3 - -11. Is b composite?
True
Let p(t) = t + 226. Let k be p(0). Suppose z + 43 = 4*v - k, -129 = -2*v - 5*z. Is v a composite number?
False
Let i(v) = -2*v**2 - 9*v - 17. Let l(x) = x**2 + 4*x + 9. Let r(m) = -4*i(m) - 7*l(m). Is r(8) a composite number?
True
Let i be 30/(-4)*(-12 - 2). Suppose 6*h - i = 3*h. Is h a prime number?
False
Let d(m) = -m**3 + 6*m**2 + 5. Let x be d(6). Is (10/(-4))/x*-370 a composite number?
True
Suppose 0 = -5*x + 3*h + 673, x - 3*h + 74 = 211. Is x composite?
True
Let w = 784 - 533. Is w a prime number?
True
Let r(v) = v**2 - 9*v + 2. Let f be r(9). Suppose -f*u + 3*u - 257 = 0. Is u a composite number?
False
Let j = 3 + -2. Suppose h + 3*s - 12 = 0, -2*h - 3*s + 60 = h. Suppose -h = -r + j. Is r a composite number?
True
Let d(h) = 24*h + 5. Is d(12) prime?
True
Let m = 1364 - 945. Is m composite?
False
Let j(c) = 795*c**2 - 4*c - 2. Is j(-1) a prime number?
True
Suppose -2*r - 483 = -5*k, -261 = -3*r + 4*r + 4*k. Let d = r - -428. Is d a prime number?
True
Let g(h) = -h**3 + h**2 + h + 3. Let m = 6 + -10. Is g(m) composite?
False
Let i be (0/3 - -10)*2. Suppose 0 = 4*m - i, -4 = 4*d - 2*d - 2*m. Suppose -95 = d*y - 4*y. Is y a prime number?
False
Let h(j) = j**2 - 2*j + 1. Suppose -5*o + 1 + 11 = u, 2*o - 4*u = 18. Suppose -o*p - 24 = -6. Is h(p) a composite number?
True
Let y = -3 - -5. Suppose -5*t - o + 429 = 3*o, -t + 97 = -y*o. Is t a composite number?
False
Let c(t) = -24*t - 31. Is c(-14) a prime number?
False
Let m be 3 + -4 + (-2 - -1). Let s be (22/4)/(m/8). Let p = s + 59. Is p a composite number?
False
Let c(p) = 8*p + 7. Suppose 4*z = 2*z + 10. Is c(z) a prime number?
True
Is (-6)/3*1420/(-8) a composite number?
True
Suppose -5*j + m + 1513 = 0, 0*m - 293 = -j + 5*m. Is j prime?
False
Let x(s) = 19*s - 2. Let g be x(-4). Is -4 - -5 - (g + 0) prime?
True
Suppose -5*n - 154 = -789. Is n a prime number?
True
Let b(c) be the first derivative of 7/3*c**3 - 1/4*c**4 - 1 + 4*c**2 - 5*c. Is b(6) prime?
True
Let p(z) = z + 6. Let t be p(-6). Suppose t = 2*c + c - 69. Is c a composite number?
False
Is ((-211)/(-4))/((-1)/(-4)) composite?
False
Suppose 5*v = 10, -5*v = -2*n + 37 + 3. Suppose -5*o - 5*a = -1045, -o = -a - n - 188. Is o a composite number?
False
Suppose -6*s = -3*s - 9. Suppose -3*a + 183 = a + r, s*r = 3*a - 156. Is a composite?
False
Let c be -1 + (-23 - -1) - 0. Let g = c - -38. Is g a prime number?
False
Let j = 4 - 5. Let q = -8 