 = 4*n. Suppose -2*p = -5*j + 27, n*p - 3*p - 28 = -5*j. Suppose i + 4*w - 3 = 0, 3*i = -i + j*w + 75. Is i prime?
False
Let o = 13 + -7. Let y(j) = 10*j - 3. Let u be y(4). Let s = u + o. Is s prime?
True
Let g(t) = -4*t**2 + t**3 - 7 + 15*t**2 + 4*t**2 + 6*t. Is g(-13) composite?
True
Is ((-1)/3)/(1/(-573)) a prime number?
True
Suppose 2*g - p + 0 = -1, 5*p - 25 = 0. Let v = 4 - g. Is (49 + (0 - v))*1 a prime number?
True
Let r be (-12)/(-2) - (-5)/(-5). Suppose 3*v = -r*p + 280, v + 4 = 9. Is p a composite number?
False
Is 14 - (-1 + -3 + -1) prime?
True
Is (-3*629 - 6)*(-2)/6 prime?
True
Let x = 302 + -193. Is x a prime number?
True
Suppose 2*d = 2*b + 4*d - 1042, -3*d = -4*b + 2070. Is b a prime number?
False
Suppose 11606 = 15*k - k. Is k a composite number?
False
Suppose 0 = -3*q + 4*l + 40 + 12, 4*q - 68 = 5*l. Let s = 20 - q. Let f(y) = y**3 - 7*y**2 + 3*y - 5. Is f(s) a composite number?
False
Let b be 0 - 20/(1 - 3). Suppose 3*q - q - b = 0. Suppose 4*g + 3*i = -0*g + 16, -q*g - 2*i + 27 = 0. Is g prime?
True
Is -4 + (-971 + 0)/(1 + -2) prime?
True
Suppose -6*j = -3*j - 2007. Suppose -4*u = -u - j. Is u a composite number?
False
Let q(m) = 13*m**2 + m - 1. Suppose 4*z - 4*a - 56 = 0, 5*z + a = 2*a + 74. Let s be ((-3)/(-2))/(z/20). Is q(s) prime?
True
Suppose 0 = -n + 35 + 338. Is n prime?
True
Suppose 0 = 7*w - 3*w - 16. Suppose 0 = w*x - 197 + 25. Is x prime?
True
Let o = 625 - 290. Is o a prime number?
False
Let a(b) = b**2 - 11*b + 13. Let d be a(10). Suppose -14 = d*h - 59. Is h a prime number?
False
Let q = -113 - -311. Let s = -79 + q. Is s prime?
False
Suppose 0 = -l + 4*a + 38, 3*l - 3*a - 114 = -a. Suppose -l = -2*u + 30. Is u composite?
True
Let i = 118 + -70. Let b = 155 + i. Is b composite?
True
Suppose 13 - 3 = 3*j - 2*u, -5*u - 20 = -5*j. Let o = 10 - 6. Suppose 4*d - o*g = 268, j*d - 4*g + 7*g = 144. Is d composite?
True
Let f(w) = -9*w + 8. Let y = -22 - -16. Is f(y) composite?
True
Let p(k) = -k**3 - k**2 - k + 59. Suppose 0*t + 12 = -3*t. Let f(u) = -u - 4. Let h be f(t). Is p(h) a prime number?
True
Suppose -3*s - 225 = -594. Is s prime?
False
Let f(c) = c**3 - c**2. Let t(g) = 21*g**3 - g**2 + 2*g + 1. Let l(n) = 4*f(n) - t(n). Is l(-2) a composite number?
False
Let q(x) = 3*x - 4. Let h be q(7). Suppose -4*p + 3 = -h. Suppose z + 4*z = -b + 116, p*b = 4*z - 87. Is z composite?
False
Let k = 2 - 0. Let b = 8 - k. Is b/3 + (-106)/(-2) composite?
True
Suppose -5*f + 0 - 5 = 0. Is -268*-2*f/(-4) a composite number?
True
Let l = -752 - -1675. Is l a composite number?
True
Let m(u) = 5*u**2 - 6*u + 8. Is m(-7) prime?
False
Let y(f) = -f**2 - 2*f + 202. Is y(0) composite?
True
Let x(v) = 2*v**2 - 2*v + 12. Let a be x(7). Let j = -59 + a. Is j composite?
False
Is (-12 + 7)/(2/(-526)) prime?
False
Let o = 410 - 243. Suppose 5*q + o = 2*f + f, -5*f + 5*q + 265 = 0. Is f composite?
True
Let t(z) = -z**3 + 9*z**2 + 3*z - 6. Let d be (-1)/((-6)/(-8) + -1). Let g(j) = j + 5. Let b be g(d). Is t(b) prime?
False
Suppose -4*l = 5*j + 10, l + 2 = j + 4. Suppose l = v + 2*v - 9. Is v composite?
False
Suppose w - 2*v = -6*v + 11, 0 = -5*w - 3*v + 21. Suppose -2*g - 51 + 145 = 0. Suppose 0 = w*f - g + 5. Is f composite?
True
Let r = 59 - 35. Suppose 4*f = 4*d - r, -f = -2*f + 2*d - 4. Let a = -6 - f. Is a a prime number?
True
Let g = -16 - -18. Is g/((-450)/(-446) - 1) composite?
False
Suppose -2*l - l = -9. Let a be l + 1*(1 + 0). Suppose -2*s + 42 = -2*c, -2*s - 11 = a*c - 53. Is s composite?
True
Let o = 239 + -150. Is o a composite number?
False
Let l(y) = 16*y + 6. Let v = -17 - -22. Is l(v) prime?
False
Let q(m) = m**2 + 3*m - 2. Let z be q(-4). Let y be z/((-12)/(-69))*-2. Let k = y + 108. Is k composite?
True
Suppose 0 = x - b - 2*b + 9, x + 2*b - 11 = 0. Suppose x*g + 4 = 4*g. Is g composite?
True
Let q(f) be the second derivative of f**5/15 - f**3/6 + f**2 - f. Let x(d) be the first derivative of q(d). Is x(-2) a composite number?
True
Is (11816/12 - 4)*9/6 prime?
True
Suppose -3*y = 4*d - 3136, -y = -3*d - 0*y + 2365. Is d a prime number?
True
Suppose -2*c + 5*r = c - 31, -2 = r. Suppose 4*s - 32 = -8. Suppose -c = -q + s. Is q composite?
False
Let u = 7 + -4. Let x(l) = l**2 + l + 51. Let d be x(0). Suppose -27 = -u*z + d. Is z a composite number?
True
Suppose 45*q = 40*q + 3515. Is q a prime number?
False
Suppose -i + 784 = 3*l, -l - i - 4*i = -238. Is l a prime number?
True
Suppose 16 = -x - 5*z, 4*x - 2*z - 1 = 1. Let g(w) = -w**3 + w. Let m(q) = q**3 - 5*q**2 - q - 6. Let a(b) = x*m(b) - 2*g(b). Is a(-5) prime?
True
Let c(w) = -40*w - 1. Is c(-3) a composite number?
True
Let y(b) = b - 4. Let t be y(8). Suppose 4*f - 3*x = -7*x + t, x + 14 = 4*f. Is (2/f)/(4/42) a composite number?
False
Suppose -f + 2*f = 105. Suppose -93 = -2*g + 299. Let z = g - f. Is z a prime number?
False
Let l be 1/(6/4 - 1). Suppose -b + 20 = 2*i - 51, -142 = -l*b - 3*i. Is b composite?
False
Let f(u) = 5 - 9*u**2 + u**3 + 2*u**2 + u**2. Let r be f(6). Suppose 4*q + 21 = r*q. Is q a composite number?
True
Suppose 2*p + 0*p - 2*z - 78 = 0, z - 75 = -2*p. Let l = p + -15. Is 14/((-21)/l - -1) a prime number?
False
Suppose 0 = 4*c - 0*c - 804. Is c a composite number?
True
Let m(a) = a**3 - a**2 - 2*a + 591. Is m(0) a prime number?
False
Is (415/(-2) + -2)*-2 prime?
True
Suppose 423 = 3*n - 1533. Suppose -5*i + n = -418. Is i a composite number?
True
Let k = 0 + 6. Is ((-526)/k)/((-1)/3) a prime number?
True
Let v(x) = -x**3 + 8*x**2 + 15*x + 15. Is v(-11) composite?
True
Let o(c) = 457*c + 28. Is o(3) prime?
True
Let j(g) = g**2 + 4*g - 6. Is j(9) a prime number?
False
Let o = -12 + 22. Suppose o*i = -3*g + 7*i + 21, 4*g - 31 = -5*i. Let j(h) = h**2 - 2*h + 3. Is j(g) prime?
True
Suppose 4*u = -0*u. Suppose -3*j = -2*j - 4*a - 255, -4*j + a + 960 = u. Suppose -r - 4*s + 41 = -22, -5*r - s = -j. Is r composite?
False
Let f be ((-4)/(-3))/((-3)/9). Let m(j) = -j**2 - 6*j - 4. Let d be m(f). Suppose d*h = -t + 336, -21 = -h + 4*t + 46. Is h a composite number?
False
Let p(v) = 24*v - 18. Let h be p(12). Let r be ((-3)/(-2))/((-4)/(-8)). Suppose -4*l + 240 = 7*y - r*y, -5*y + l = -h. Is y composite?
True
Let j(p) be the third derivative of 13*p**5/60 - p**4/24 - p**3/6 - 2*p**2. Suppose 4*c = -t - 7, -4*c - 4*t - 6 = -2*t. Is j(c) prime?
True
Suppose 4*o - 24 = 8*o. Let n(z) = -1 + z**2 + 3 - 1. Is n(o) composite?
False
Let k be (2/3)/((-5)/(-75)). Let t be 8/k*(-10)/(-4). Suppose t*n + 48 = 2*h + 3*h, -3*h = -n - 29. Is h composite?
True
Let f = 9 + -10. Let i(a) = -742*a**3 + 2*a**2 + 2*a + 1. Is i(f) a prime number?
True
Let l(f) = 3*f**2 + 6*f - 4. Suppose -12 = -3*h - 30. Let w be l(h). Suppose j - 18 = m, 3*m - w + 2 = -5*j. Is j prime?
False
Suppose g = -3*x + 23, 5*x - 41 = -0*g - 3*g. Suppose -2*q = 3*a - 285, -2*a + 4*q = -x*a + 475. Is a composite?
True
Let c(b) = b. Let n(g) = 5*g + 1. Let q(i) = -6*c(i) + n(i). Let j be q(4). Is j + 3 - (1 - 7) a composite number?
True
Suppose -8*q + 11639 - 1647 = 0. Is q a composite number?
False
Let x(r) = r**3 + 8*r**2 + 5*r + 10. Let k be x(-8). Let i = k + 115. Is i a prime number?
False
Suppose 2*i - 5*i = 0. Suppose s - 6*s + 40 = i. Suppose -5 - s = -x. Is x a composite number?
False
Let j = 519 - 198. Is j a prime number?
False
Suppose -3 = -3*m - 2*p, -3*p + 3 = -m + 5*m. Suppose -m*l + 105 = -8*l. Is (-290)/(-14) + (-6)/l composite?
True
Let c = 133 + -64. Is c prime?
False
Let k = 13 + -5. Suppose 3*h = 3*y + 18, -y - 3*h = -k*h + 26. Let v(d) = -38*d - 1. Is v(y) composite?
False
Let a be (3 - 3) + 0 - -2. Let b = a + -2. Suppose -y + 87 + 2 = b. Is y composite?
False
Let y(m) = -m**3 + 3*m**2 + 4. Suppose -4*o - 6 = -2*o. Is y(o) prime?
False
Is (-16)/(-12) - (-71)/3 a composite number?
True
Suppose -5*g = -100 - 2055. Is g prime?
True
Suppose 0 = 5*r - 603 - 292. Is r prime?
True
Is (135 + 12/(-3))*1 a composite number?
False
Suppose 5*v + 3*t = 860 - 90, v - 5*t - 182 = 0. Is v composite?
False
Let o = 10 - 10. Suppose 0 = -3*i + 2*t + 19, 3*i + t - 5*t = 29. Suppose i*l - 4*l + 25 = o. Is l a prime number?
False
Suppose 8 = -4*d + 2*n, 11 + 1 = -4*d + n. Let z = -9 - d. Let a(l) = -5*l - 2. Is a(z) a prime number?
True
Let i(l) = -213*l**3 - l**2 - l. Suppose -5*f - 2 = 3. Is i(