 = 0, p*h - 2 = 2*h + c. Is (-8)/(-10)*h/2 a prime number?
True
Let j(k) = 67*k**2 - k + 1. Suppose 3*v = 4*v. Suppose -m - 5 = 0, v = -2*n + 2*m - 3*m - 3. Is j(n) a prime number?
True
Let y = -5477 - -8334. Is y a prime number?
True
Let n(g) = g + 1. Let u be n(-5). Let p be (u + 6)/(2/5). Suppose 0 = 4*d + p*c + 5 - 2, 0 = 2*d + 2*c. Is d prime?
True
Let h = 167 - 88. Is h a prime number?
True
Suppose -4*o = -l + 15, 4*l + 7*o + 3 = 2*o. Suppose -l*p - 5*i + 3*i = 270, 267 = -3*p - i. Let x = p + 141. Is x prime?
True
Suppose -5*j - 370 = -4*k, -5*j + 5*k = -4*j + 53. Let g = -26 + j. Let f = 25 - g. Is f a composite number?
True
Is (-3)/12*(-139 + 5)*2 prime?
True
Let a = -4 + 75. Is a prime?
True
Let v(y) = -2*y**3 - 9*y**2 - 4*y. Let c be v(-6). Let x be (-1)/(2 + (-190)/94). Let f = c - x. Is f composite?
True
Let c(d) = -2*d**3 - 3*d**2 + 5*d + 3. Is c(-3) a prime number?
False
Let g be 4*(-2)/(8/(-6)). Let f = -12 + 6. Is f/(-9)*333/g prime?
True
Suppose -4 = -3*i - i. Is 76 + -1*(-2 + i) prime?
False
Suppose 3*q = -2 - 1, -3*q = -t + 1364. Is t composite?
False
Suppose 0*f - 5*f = 15. Is (2/(2/f))/(-1) composite?
False
Suppose -2*c - 1497 - 4380 = -l, 0 = -l + c + 5878. Is l a prime number?
True
Let a = 6 - 3. Let s(l) = 7 - 9 + 5*l**2 + 1 - a*l. Is s(4) composite?
False
Suppose -3*c + 1000 = 2*c. Let r = -42 - c. Let h = r + 405. Is h composite?
False
Suppose 5*a + 8 = a, -2*a - 4 = -5*t. Suppose -53 = -t*k - k. Is k a composite number?
False
Is (1*49)/((-8)/(-8)) composite?
True
Let q(s) be the second derivative of -s**6/30 - 7*s**5/60 - s**4/6 + s**3/2 + 2*s**2 + 3*s. Let p(b) be the first derivative of q(b). Is p(-4) prime?
True
Let v(b) = -9 - 4*b**2 + 11*b + 2*b + 3*b**2 - 2. Let k be v(9). Suppose k - 2 = h. Is h composite?
False
Let b be (-4)/14 - (-1040)/14. Suppose v - 5*p = -v + 153, v - 3*p = b. Is v composite?
False
Let g(r) be the second derivative of -r**4/12 + 2*r**3/3 + 3*r**2/2 + r. Let p be g(4). Is (p - 7)*15/(-4) prime?
False
Suppose 3*d = -3*r + 10104, 13466 = 4*r + 7*d - 5*d. Is r a prime number?
False
Let s = -482 + 737. Suppose 4*h - 715 + s = 0. Is h prime?
False
Suppose -i - 2*n - 43 = 0, 2 = n - 2*n. Let m(u) = -8*u**3 - u**2 - 3*u + 2. Let a be m(2). Let k = i - a. Is k composite?
True
Let o(f) be the second derivative of f**3/6 + f**2/2 - 2*f. Let y be o(-8). Let s = 86 - y. Is s composite?
True
Let o(x) be the second derivative of -79*x**3/6 + x. Let v be 2*(20/(-8))/5. Is o(v) composite?
False
Let z(q) = q**2 + 4. Let v be (-3)/6*0 + 9. Suppose -k - 3*m = 8, -2*m + v = 2*k - m. Is z(k) prime?
True
Suppose 2*c - 5*z - 15 = 0, 4*c - 2*c - 2*z = 6. Let d = 2 + c. Suppose 2*q - 26 = -d*n, -4*q - q - 5 = -2*n. Is n a prime number?
False
Let v(w) = -2*w**3 - 3*w**2 - 3*w - 4. Let o be v(-6). Let a = o + -225. Is a prime?
True
Let u(r) = 2*r**3 - 6*r**2 + 2*r - 1. Is u(5) prime?
True
Let j(a) = -22*a**2 + 5*a - 7. Let x be j(-7). Let g = x + 1648. Suppose 0 = -4*d + 4 + g. Is d prime?
False
Let n(w) = w**2 + 2*w + 6. Is n(11) composite?
False
Let w(l) = 670*l**3 - l. Is w(1) composite?
True
Let a(o) = 310*o**2 - o + 3. Is a(-4) composite?
False
Is 1/1 + 5 + 2668/4 a prime number?
True
Let c(l) be the first derivative of l**3 + 5*l**2/2 - 7*l + 1. Is c(-5) prime?
True
Is 3 + 1 - (-220 - -9) a composite number?
True
Let n = 3 + -3. Suppose n = 3*a + 2*a. Suppose 0 = -2*w - 0*m - 4*m + 40, -4*m + 20 = a. Is w prime?
False
Let j(x) = -x**3 + 8*x**2 - 5*x - 2. Let h(t) = t**3 - 8*t**2 + 4*t + 1. Let o(s) = -2*h(s) - 3*j(s). Is o(7) prime?
False
Let k(o) = -o**2 + 15*o - 11. Let i be k(8). Let m be (-10)/i + 392/(-18). Is m*2/(-8)*6 prime?
False
Let m(c) = -231*c + 10. Is m(-8) a prime number?
False
Suppose 1141 = 86*y - 85*y. Is y a composite number?
True
Let u(h) = 2*h**3 - 5*h**2 + 5. Let x(l) = l**2 - 7*l - 4. Let m be x(8). Is u(m) prime?
True
Let v = 7 + -4. Suppose 2*p - 168 = 2*r, 2*p + v*p + 5*r = 440. Let k = p - 53. Is k prime?
False
Suppose 4*i - 24 = -4*l, -2*l + 4 + 1 = i. Suppose -2*m - 209 = 3*d, -2*m - 3*d + i*d - 188 = 0. Let b = m + 195. Is b composite?
True
Let n = 10 + -7. Suppose -4*i = -5*d + 6, -n*d + 6*i - 2*i + 2 = 0. Suppose -173 = -3*v + 2*z, -d*z - 208 = -4*v - 5*z. Is v a prime number?
False
Is ((-50)/(-15))/((-4)/(-474)) prime?
False
Suppose 0 = 11*z - 22628 - 40677. Is z a prime number?
False
Suppose 6*p - 2*p + 16 = 4*k, -4*p = 4*k - 8. Suppose -1776 = -k*y + 1143. Is y a composite number?
True
Let o(i) = i**2 - 6*i + 7. Let w be o(5). Is (28/2)/(w/41) a prime number?
False
Suppose 3*r + 18 = 4*f + 55, 5*r - f = 39. Let d = 9 - r. Suppose -d*x + 26 + 0 = 0. Is x a composite number?
False
Suppose -42 = -5*m + 3*t, -2*m + 6 = -3*m - 3*t. Is m composite?
True
Let v(z) = -6 - 8*z**3 - 3*z + 1 - 1 - 6*z**2 - 3. Is v(-4) composite?
False
Let w(s) be the third derivative of 16*s**5/15 - s**4/24 - 2*s**2. Is w(-1) composite?
True
Let d(t) = -175*t + 4. Let i be d(-12). Suppose 0 = -2*o - 2*q + i, -4*o - 3*q - 2*q = -4211. Is o prime?
True
Suppose -2*r + d + 288 = 41, -2*r + 3*d + 249 = 0. Is r a composite number?
True
Is 268976/(-8)*(-2)/4 prime?
True
Is 2*2217*(-6)/(-36) composite?
False
Suppose 5*o = -4 - 1. Is (25 - 2)*o/(-1) a prime number?
True
Suppose 4*g = -2*b + 36 - 2, -3*b + 3 = -2*g. Let s = g + -4. Suppose -3*i + 19 = -s*i. Is i a prime number?
True
Suppose 39 = -5*t + 2*d - 3*d, -d - 4 = 0. Let a(k) = -3*k + 1. Is a(t) prime?
False
Let w(x) = 2*x**2 + 6*x + 4. Let j be w(-4). Let y = j - -114. Let k = -71 + y. Is k composite?
True
Suppose 204*j = 205*j - 877. Is j composite?
False
Let j = 38 - 1. Is j a prime number?
True
Let n = 13 + -5. Let i = 18 - n. Is i prime?
False
Suppose 16 = -2*o - 3*g, -4*o + o = 3*g + 18. Let p = 5 + o. Suppose -p*h + h = -30. Is h a composite number?
True
Suppose -2*j - 2*j + 259 = 3*i, -j = -i + 77. Let v = i - 42. Is v a composite number?
True
Let h(w) = 112 + 249 + 738 - 2*w**2 + 3*w**2. Is h(0) a prime number?
False
Is 1 - 4 - (-912)/3 a prime number?
False
Let h(i) = 30*i + 8. Let d be h(8). Let m = 513 - d. Is m composite?
True
Is 482 - 0 - (-15 - -12) a composite number?
True
Suppose -5*y = c - 15451, 1409 = -3*y - c + 10678. Is y prime?
False
Is (-8)/12*1524/(-8) prime?
True
Let d(n) = -n - 3. Let v be d(-3). Suppose y - 4*y - 4*f = -301, 0 = -2*y + 4*f + 174. Suppose v*p + y = p. Is p prime?
False
Let v = 3 - 0. Suppose l = v*l + 2. Is (0 - 1 - 38)*l prime?
False
Let b be 5*(-1 - 14/(-10)). Let n be 93*(0 - (b - -1)). Let l = 392 + n. Is l a composite number?
False
Let i(v) = v**2 - 6*v - 11. Let b be i(8). Suppose 2*a + 146 + 241 = b*q, -q + 59 = -5*a. Is q a composite number?
False
Let d(n) = n + 10. Is d(-7) a prime number?
True
Let i be -1*1/((-3)/15). Let m be (16/(-10))/((-2)/i). Suppose s + 3*l = -0*s + 2, 16 = -m*l. Is s a prime number?
False
Let z = 425 + 44. Is z composite?
True
Suppose -3212 = -3*s + 5*n, 879 = 3*s - 4*n - 2332. Is s a composite number?
False
Let q(g) = g**2 + g + 3. Let h(d) = d**2 - 6*d + 5. Let c be h(5). Let w be q(c). Suppose -164 = -4*l - 4*f, w*f - 7*f = -2*l + 58. Is l prime?
True
Is -37*3*-8 - 1 prime?
True
Suppose s - 3*o - 63 = 0, -5*s = 2*o - 153 - 213. Suppose -3*i = -5*m + 856 + s, -i = -2*m + 371. Is m a prime number?
False
Suppose 824 = 5*l + 249. Is l prime?
False
Let l(q) = 2*q**2 + 4*q**3 + 3*q**3 + 2 - 5*q**3. Let n be l(-2). Is ((-38)/4)/(3/n) a prime number?
True
Let d be 2/2*8/2. Let l be (-29)/(-2) - 2/d. Let x = l + 1. Is x composite?
True
Suppose 76 + 132 = 2*c + 4*u, -c + 86 = -4*u. Suppose 2*f + 8 = 0, -2*m + f - 23 = 83. Let y = c + m. Is y composite?
False
Let c = -1 - -4. Suppose c*y - 5*b = -2 - 18, 0 = 2*y - 4*b + 16. Suppose 0 = 3*w - y*w - 63. Is w a composite number?
True
Let w = 41 + 208. Is w prime?
False
Suppose 2*o - 30 = 5*o. Suppose 5*s = w - 18, 4*s + 26 = -5*w - 0*s. Is o*(-2 + w/4) a prime number?
False
Let i(r) = r + r - 4*r - 9*r**2 - 2*r**3 - 8 + 4*r**3. Is i(7) a composite number?
False
Suppose r - 7 = -v, 0*r - 3*r = 4*v - 27. Let i(k) = -k**3 + 9*k**2 - 5*k + 7. Let m be i(v). Let n = m - 30. Is n composite?
True
Let r = -149 - -246. Is r a prime number?
True
Suppose -5*s + 967 = -4*s. Is s composite?
False
Let f(s) = 209*s - 5. Is f(6) prime?
True
Let o(x)