(p) + 4*n(p). Is l(3) a prime number?
False
Let f = 140 - 93. Is f a prime number?
True
Let f = 873 + -575. Is f a prime number?
False
Suppose -n = -0*n - 307. Is n a composite number?
False
Is 4/(-6) + 4000/24 a prime number?
False
Is (3/18*-3)/((-3)/1590) a prime number?
False
Let p be 205/65 + 4/(-26). Suppose 2*f = -p + 71. Is f composite?
True
Let c(v) = v**3 + 3 + 0 + 6*v - 2*v + 5*v**2 + v**2. Let h be c(-5). Let x(z) = z**3 - 7*z**2 + 2*z + 9. Is x(h) a prime number?
True
Let m = 38 - 28. Is m a composite number?
True
Suppose -3*l - 205 = -2863. Let f = -555 + l. Is f composite?
False
Let m be ((-8)/3)/(-2)*3. Let v(j) be the first derivative of 5*j**3 - j**2 + j + 14. Is v(m) prime?
True
Let w(y) = 24*y**3 - 5*y**2 - y - 3. Is w(3) composite?
True
Let r be ((-63)/28)/(3/(-136)). Let n = 361 - r. Is n a prime number?
False
Suppose -3*l = 3*c - 9, -2*c + l = c - 1. Suppose i + c = 0, 0*i + 5*i = -3*x - 5. Suppose -m + 48 + 43 = x. Is m composite?
True
Let y(j) = -j**3 + 4*j**2 - 2*j + 3. Is y(-8) prime?
True
Let j(x) = x + 1. Let r be j(-1). Suppose 7*q - 8 = -i + 2*q, -3*i + 3*q - 48 = r. Let p = i + 23. Is p composite?
False
Let q = -21 + 33. Is -46*3/(q/(-10)) composite?
True
Suppose -4*q + 206 = 4*k - 642, 0 = 5*k - 5*q - 1030. Is k composite?
True
Suppose 2*i = 3*i - 4. Suppose y + 18 = 5*t, -3*t = -i*y - 2 - 2. Suppose -3*o - 779 = -4*a + 2*o, 12 = -t*o. Is a a composite number?
False
Let r = 24 - 55. Let x = r - -56. Suppose m + m - 5*q - x = 0, -4*m - 2*q = -38. Is m a composite number?
True
Let m = -7 + 4. Is 2 - (-4 - m/(-3)) composite?
False
Let x(p) = 3*p + 2. Let s(i) = 6*i + 1. Let f(k) = k. Let v(j) = -5*f(j) + s(j). Let z be v(3). Is x(z) composite?
True
Let a(h) = -h + 17. Let p(s) = s**3 - 3*s**2 + 3*s - 2. Suppose 5*n = 3 + 12. Let c be p(n). Is a(c) prime?
False
Suppose 3*u + 11 = 4*q + 2, -3*u = q - 6. Is (-474)/(-9)*q/2 a composite number?
False
Let y(u) = -4 + 21*u**2 + 3 + u**2. Let o(z) = -z - 1. Let c be o(0). Is y(c) prime?
False
Let o = 46 + 327. Is o a prime number?
True
Let p = -752 - -1651. Is p composite?
True
Is -3 + (272 - (2 + -4)) a prime number?
True
Is 167/(-2)*26/(-13) a composite number?
False
Suppose 4*r = 0, -2*r = h + r - 493. Is h prime?
False
Suppose 0 = -3*h - 2*q - 97, 0 = -4*h + h + 3*q - 87. Let x = -12 - h. Is x a prime number?
True
Suppose 14*q - 17*q + 471 = 0. Is q a composite number?
False
Let t be ((-33)/(-9))/(2/114). Suppose 2*i = v - 0*i - t, 848 = 4*v - 4*i. Suppose -u + 61 + 64 = 2*h, -3*h = -4*u - v. Is h prime?
False
Let o be (-3)/(-6)*-2*0. Suppose -6*b + b = o. Suppose -8*h + 5*h + 249 = b. Is h prime?
True
Let d(p) = 2*p**2 + 12*p - 13. Let k(s) = -s - 17. Let t be k(-7). Is d(t) a prime number?
True
Let h = -281 + 423. Suppose 0 = 3*w - 383 - h. Suppose -j - 5*b = -4*j + w, 0 = 5*b + 10. Is j a prime number?
False
Suppose w + p - 2234 = -2*w, 2*p + 733 = w. Is w a prime number?
True
Let m be (-2)/(-3) - 4/6. Let l = 41 + -35. Suppose -o + l*o - 265 = m. Is o a prime number?
True
Let w(y) = 11*y**2 - 6*y + 5. Is w(4) a prime number?
True
Suppose -3*q + 4 + 2 = 0. Suppose -4*a + 3*a - 1537 = -5*f, -q*f + 620 = -3*a. Is f prime?
True
Let f(y) = -3*y**3 - 5*y**2 - 5*y + 3. Let j be f(-4). Suppose -2*p = -5*p - j. Let b = 80 + p. Is b composite?
True
Let c(m) = -m**3 + 14*m**2 + 12*m - 9. Is c(14) a prime number?
False
Suppose -m = -2*m - 2. Is (6 - 0)/(m/(-3)) a composite number?
True
Suppose 3*i - 1 = 3*u - 4, 4*u - 22 = -2*i. Let d(j) = 7*j**2 - 7*j + 5. Is d(u) a prime number?
True
Suppose 3*t - r - r - 20 = 0, 3*r - 46 = -5*t. Suppose 0 = t*x - 3*x. Suppose -s + 2*b + 27 = x, -56 = -4*s - 4*b - b. Is s composite?
False
Let d be (-1)/(-5) - (-6498)/(-15). Let m = -284 - d. Is m a prime number?
True
Let n be (1/3)/(2/6). Suppose 5*x = -n - 9. Is x*(-322)/(-4)*-1 prime?
False
Let a = 1 + -1. Suppose -s + 0*s - 3 = a. Is s + 4*29 + 2 prime?
False
Suppose 0 = 4*n - 13623 + 3739. Is n a prime number?
False
Let m(y) = 46*y - 4. Let p be m(4). Suppose -6*r = -r + 2*a + p, a + 147 = -4*r. Is (6/3)/((-4)/r) a prime number?
True
Let g(x) be the first derivative of x**4/4 - x**2 - x - 4. Let b be g(2). Suppose -5*h + 174 = b*k - k, 4*h + k = 138. Is h composite?
True
Let b = 281 + -186. Is b prime?
False
Let w(q) = q - 2. Let o be w(6). Let u(l) be the third derivative of 5*l**4/24 - 5*l**3/6 + 2*l**2. Is u(o) composite?
True
Suppose 4*r - 16 = 0, -3*u = -2*u - 5*r + 19. Let w be (u/(-2))/(1/(-2)). Is 4 + -4 + (w - -10) a prime number?
True
Is 693 + -1 - (-8)/(-8) a prime number?
True
Suppose -12 = 5*p - 2. Let x be p/8 + 147/28. Suppose -k = x*l - 5, k + 3*l + 3 = 12. Is k prime?
False
Let a(i) be the first derivative of -i**2/2 + 5*i + 2. Let w be a(5). Let n(y) = y + 131. Is n(w) a composite number?
False
Suppose 2*c - f - 1755 = -2*f, 4*c - 3501 = f. Is (-2)/7 - c/(-28) a prime number?
True
Let x(k) = -k. Let v(w) = -9*w - 2. Let b(s) = v(s) - 2*x(s). Is b(-5) prime?
False
Let j be (-3)/(-6)*(13 + -3). Suppose -j*k = -7*k + 62. Is k prime?
True
Let f(x) = -x**3 + 7*x**2 + x + 3. Suppose 5*i - 18 = 17. Let w be f(i). Is (-4)/(-10) - (-486)/w a prime number?
False
Let n(p) = 36*p**2 + 2*p + 1. Let r be n(-1). Let l(z) = z + 11. Let x be l(-9). Suppose u = x*u - r. Is u prime?
False
Let b(h) = 11*h - 2. Let j be b(2). Suppose -3*l = -1879 - j. Suppose 4*i - l = i. Is i prime?
True
Suppose 9*r - 7*r = 4884. Is (-2)/(-10) - r/(-15) a composite number?
False
Let u = 21 + -27. Is ((-69)/u)/((-1)/(-2)) prime?
True
Let l(v) = v + 13. Suppose 5*q - 10 = -45. Let s be l(q). Is ((-194)/s)/((-4)/12) a composite number?
False
Suppose k + 4894 = 5*k + 2*o, -6114 = -5*k + o. Is k a composite number?
False
Let l(k) = 5*k**3 - 6*k**2 + 8*k - 21. Is l(4) prime?
False
Let i be 2/3 - 10/6. Let a be (80/(-2))/i + -2. Suppose -3*r + r = -a. Is r prime?
True
Let m = 1 + 3. Suppose m*j - 820 = -4*a, -a + 623 = 3*j - 0*j. Is j prime?
False
Suppose -109*b = -108*b - 2195. Is b a prime number?
False
Suppose -2*o + 4*o = -2*i + 10080, 4*i = 2*o - 10074. Is o a composite number?
False
Suppose 5*m - 943 = 382. Is m a composite number?
True
Is 4 - (2 - 45)*(-6 + 27) a prime number?
True
Is (-4 - 2)*-92 - 1 a prime number?
False
Suppose 1007 = 2*q - 179. Is q prime?
True
Let w = 2 - -1. Suppose -w*y - 605 = 430. Let g = y + 504. Is g a prime number?
False
Let j = 123 - 363. Let n = -113 - j. Is n a prime number?
True
Suppose -10 = -2*x - 28. Is (x/3 - -3) + 199 a prime number?
True
Suppose -m - 873 = -4*m. Suppose 3*u + 0*c - 434 = -c, -2*u + c + m = 0. Is u a composite number?
True
Let l = -12 - -78. Suppose -68 = -5*f - 3*t, -4*f - t = f - l. Let z = f + 66. Is z prime?
True
Suppose 50 = s - 151. Let k = s + -124. Is k a composite number?
True
Let t be (-4012)/20 + (-4)/10. Let u = t - 4. Let v = -84 - u. Is v a composite number?
True
Let g(i) be the second derivative of -i**5/20 - i**3/6 + 1049*i**2/2 - 8*i. Is g(0) a composite number?
False
Suppose 5*y + 5*r = 389 + 736, 5*y - 5*r - 1105 = 0. Is y a prime number?
True
Is -3*(-2156)/3 + 3 a composite number?
True
Let k(c) = -59*c + 5. Let p be -9 + (4 - (-2 - -5)). Let g be k(p). Suppose 7*m + j - g = 2*m, -m - 5*j = -105. Is m composite?
True
Let f = 8 - 4. Suppose 0 = -5*x - 3*c - 1 + 20, -28 = -4*x + f*c. Suppose 410 = x*y - 395. Is y composite?
True
Suppose 16*l - 13*l = -5*y + 6715, -y = 4. Is l a prime number?
False
Let x = 922 - -45. Is x prime?
True
Let h(q) = 5*q + 3*q + q**2 + 7 - q. Let n be -2 - -1 - 40/5. Is h(n) composite?
True
Is (-2)/(-9) - 1627/(-9) a prime number?
True
Let i(z) = -z - 5. Let t be i(4). Is ((-26)/(-3))/((-6)/t) a composite number?
False
Is (2/(-4))/((-2)/524) a composite number?
False
Suppose 4*j + 22 = 6. Is (-241 + 2)/(-5 - j) prime?
True
Suppose -6*y - 9*y + 6585 = 0. Is y a composite number?
False
Let c(m) be the third derivative of 4*m**2 + 5/8*m**4 + 7/6*m**3 + 0 + 0*m. Is c(8) a composite number?
False
Let b = 756 + -341. Is b prime?
False
Suppose -3*t - 2*t + 2220 = 0. Suppose -3*k = -t - 39. Is k a prime number?
False
Suppose -9 = 3*a, 2*r + 8*a - 4*a = 302. Is r a prime number?
True
Let n(l) be the second derivative of l**4/12 + 119*l**2/2 - 3*l. Let z(v) = -v - 1. Let q be z(-1). Is n(q) prime?
False
Let l = -