m + 2 a composite number?
False
Suppose -f + 4*n = 2*f - 3, 0 = 2*f + 4*n - 2. Let k(g) = 14*g**3 - g**2 + g + 1. Let b(l) = l**2 - 1. Let m(q) = f*k(q) + 2*b(q). Is m(1) prime?
False
Suppose 5*p - 5 = 5*t, p + 2 = -t + 7. Suppose k + 2*h + 2 = -0*k, t*k + 5 = -5*h. Is 1 + 36 + k/3 a composite number?
False
Suppose 17*n - 16*n = 647. Is n composite?
False
Let q(w) = w**2 + 5. Let k be q(0). Let n(p) = -23*p - 10. Let r be n(-7). Suppose -3*s = -a - r, -s - 4*s + k*a = -245. Is s a composite number?
True
Let j = 45 + -25. Suppose 0*w - j = -4*w. Suppose w*i = 207 + 208. Is i composite?
False
Suppose -5*f - 24 = r, r - 2*f = -0*f - 3. Let i = -6 - r. Suppose -i*x + 9 = -2*s - 17, -3*x + 14 = s. Is x composite?
True
Is (4 - -1) + 3504 + -4 prime?
False
Let v = 100 + 27. Is v composite?
False
Let u = 18 - 18. Suppose -o = -u*g + 2*g - 59, -5*o = -g - 262. Is o prime?
True
Let a be (3/5)/(2/10). Let k(l) = 46*l + 4. Let y be k(a). Let g = 209 - y. Is g prime?
True
Let k = -171 - -268. Is k a prime number?
True
Let h = -103 + 153. Let c = h + -7. Is c prime?
True
Let r(y) = 3*y + 5. Let d be r(-7). Let n be 170/8 + 4/d. Suppose -2*t + n - 7 = 0. Is t prime?
True
Let b be (-2110)/(-25) + (-2)/5. Let w = b + -60. Suppose -4*r = p + p - w, p + r = 8. Is p composite?
True
Is (7586/(-3))/((-56)/84) a prime number?
True
Let t = -588 + 981. Is t a composite number?
True
Is (-1 - 198/(-4))*2 a composite number?
False
Let a = -8 + 8. Suppose -v = -a*v - 91. Is v prime?
False
Let o be -1*2 + (15 - 3). Suppose -2*l - 3*l = -o, -4*l = t - 75. Is t prime?
True
Let h be 3 - -1 - 2 - -8. Let p be (-1)/(-2) - h/(-4). Suppose p*w - z - 122 = 70, 56 = w - 3*z. Is w composite?
True
Suppose -6*r + 4 = -5*r. Let a = -4 + r. Suppose u - 2*u + 55 = a. Is u a prime number?
False
Let c = 12 + -7. Suppose c*v = v. Suppose -j + 2*a + 33 = v, -4*j + 143 = -0*j + 3*a. Is j a prime number?
False
Is (1 - 265)/(-3) - 3 prime?
False
Suppose -5 = 5*s - 5*b, 3*b = s + 11 - 0. Suppose -5*h = -3*c + 270, 0*h + h = 4*c - 360. Suppose s*f = 2*y - c, -y = 4*y - 3*f - 239. Is y prime?
False
Suppose 0 = f - 2 - 2. Is 3703/14 - (-2)/f a prime number?
False
Is (-22*(-1)/(-4))/(2/(-188)) prime?
False
Let b(g) = g. Let m(k) = k - 1. Let q(l) = 2*b(l) - m(l). Let x be q(1). Suppose -2*v = x*v - 84. Is v prime?
False
Let b be -3*((-1)/3)/1. Let u(i) = 12*i**2 + 7*i - 7. Let l(r) = 6*r**2 + 4*r - 4. Let c(t) = -5*l(t) + 3*u(t). Is c(b) composite?
True
Suppose -244 + 1645 = 3*f. Is f prime?
True
Let w = -4 - -7. Let n = w - 3. Suppose n = -5*g + 4*k + 9 + 53, -2*k = -g + 16. Is g a composite number?
True
Is ((-76)/6)/(4/(-102)) prime?
False
Let m = -9 - -6. Let s(w) = -w**2 + 2*w - 1. Let x(q) = q**2 - q + 1. Let h(a) = s(a) + 5*x(a). Is h(m) a prime number?
False
Suppose 2414 - 858 = 4*h. Suppose -5*r - h = -4*x, -x - 3 = -4*x. Let s = -46 - r. Is s composite?
False
Suppose -7*g + 1055 = -2*g. Is g prime?
True
Suppose -2*g + 1 = -5. Let y be (g - -9)*1/(-2). Let m = -3 - y. Is m a composite number?
False
Suppose 0*r - 2588 = -4*r. Is r prime?
True
Let t(k) be the second derivative of 1/6*k**4 + 0 - 3*k - 1/3*k**3 - 11/2*k**2. Is t(-11) a prime number?
False
Let h(k) = k + 2. Let i be h(-1). Is (i/2)/((-3)/(-210)) a composite number?
True
Let a(j) = -36*j - 5. Is a(-6) prime?
True
Let h = 19 + -4. Let f = 26 - 44. Let u = h - f. Is u a prime number?
False
Suppose 0*r = 2*r - 194. Let n = r - -36. Is n prime?
False
Suppose 3*r - 4409 = -326. Is r prime?
True
Let r be -1*5/(10/(-6)). Suppose r*k - h - 143 = 0, k = -0*h + h + 51. Is k composite?
True
Let p(c) = 2*c**3 - 2*c + 2. Let z(b) be the second derivative of b**3/6 - 3*b**2/2 - 2*b. Let l be z(5). Is p(l) composite?
True
Is (3 - 3) + 3489/((-9)/(-3)) a prime number?
True
Suppose 5*v = 2*v + 2*u - 17, -9 = 2*v + u. Let l = -5 - v. Suppose -w = -l*w - 11. Is w a prime number?
True
Let j = 113 - 60. Is j composite?
False
Let p be 3 + -4 - (-2)/(-1). Let l be (-932)/(-6) + (-2)/p. Let a = l + -67. Is a composite?
False
Suppose 0 = -3*j + 7*j. Let w be (-3 - -5) + j + 240. Suppose -3*v - 131 = -z - 12, -2*v - w = -2*z. Is z composite?
True
Let o(x) = -x**2 + 9*x + 13. Suppose -d = 2*d - 30. Let g be o(d). Suppose y = g*q - 2*y - 285, -372 = -4*q + 2*y. Is q composite?
True
Suppose -5*k + 2*t = -t - 574, -3*k + 2*t = -345. Is k a composite number?
False
Let v = 2 - 2. Suppose -a - a = v. Suppose -l + 6*l - 395 = a. Is l a prime number?
True
Suppose -u - l = -19, -3*l = 4*u + u - 101. Suppose -2*v + u = 2*v + i, i - 2 = 0. Suppose -228 = -v*y + 1097. Is y a prime number?
False
Let b(h) = -2*h - 1. Let f be b(-2). Suppose 5*n + 282 = -f*y + y, -3*y + n = 389. Let m = -78 - y. Is m a composite number?
False
Let k(r) be the second derivative of 55*r**3/6 - 21*r**2/2 - 2*r. Let d(i) = -28*i + 11. Let u(j) = -7*d(j) - 4*k(j). Is u(-5) a prime number?
True
Let o = -145 + 450. Is o composite?
True
Let m(g) = -g - 10. Let k be m(-9). Let f be 1 + k + 9/(-3). Is ((-50)/(-3))/((-2)/f) a prime number?
False
Let c(i) = i**3 + 9*i**2 - i - 7. Let j be c(-9). Suppose -3*h - 2*f + 102 + 71 = 0, 0 = -2*h + j*f + 102. Is h a composite number?
True
Suppose 16*v = 8*v + 440. Is v prime?
False
Suppose -20 + 8 = -4*v. Suppose -t = -v*t + 30. Is t composite?
True
Suppose 5*b + 2*d - 45 = d, -d - 27 = -4*b. Let x(l) = 4*l + 5. Is x(b) a composite number?
False
Let c(y) = y**3 - 6*y**2 - y + 6. Let u be c(6). Suppose 2*l - v - 380 = -0*v, -3*v + 6 = u. Is l composite?
False
Let m(c) be the third derivative of -c**5/15 + c**4/12 - c**3/2 - c**2. Let y be m(3). Let l = y - -52. Is l prime?
True
Suppose -5*j + 27 = 7. Suppose 8*u - 2260 = j*u. Is u composite?
True
Let s(l) = -l**3 + 28 + 0*l**3 + 0*l**3. Let p be s(0). Suppose 0*q - 4*q = -p. Is q composite?
False
Let p = 205 + -146. Is p a composite number?
False
Let k(c) = -2*c**3 - 7*c**2 + 11*c - 6. Let i(y) = -y**3 - 3*y**2 + 5*y - 3. Let o(b) = 7*i(b) - 4*k(b). Is o(-8) a composite number?
False
Is (-8)/10 - (342360/25)/(-8) a composite number?
True
Let s(w) = 71*w - 7. Is s(6) a composite number?
False
Suppose 768 = 2*n + 2*k, 3*n + k - 1146 = -0*n. Is n a prime number?
False
Suppose -h - 2*h = 0. Let s = 274 + -192. Suppose 5*o - 427 + s = h. Is o prime?
False
Suppose -395 = -5*w + 165. Suppose -4*p + w = -2*p. Suppose -3*o + p + 55 = 0. Is o prime?
True
Let y = 60 - 34. Let g = 201 - 136. Let u = y + g. Is u a prime number?
False
Suppose 4*o = 5*a - 60, 5*a - 57 = a + 5*o. Let x be (1/(-1))/(1/(-3)). Is a + x/(9/(-3)) prime?
True
Suppose 4*z - 2 = 10. Suppose z*k + 2*k = 55. Is k a prime number?
True
Suppose -7*s = -3535 - 252. Is s prime?
True
Let q(g) = g**2 - 4*g - 12. Let x be q(6). Let m = 12 + -8. Suppose x*c - 60 = -m*c. Is c a composite number?
True
Let z(h) = 170*h**3 + h**2 - h - 2. Let d be z(2). Suppose -s + d = 2*w, -w - 3*w = -2*s - 2712. Is w prime?
False
Suppose 0 = 10*l - 5*l - 435. Is l a composite number?
True
Suppose 4*u = 5*r + 70838, u + 2 = 2*u. Is (-4)/14 - r/42 prime?
True
Let a = -25 - -22. Let v = 1 + 1. Is v*a/2 - -80 composite?
True
Suppose -2*b + 16 = -0*b + 4*l, 2*b - 22 = 2*l. Suppose 4*i - b = 2*i. Suppose i*y - k - 893 + 254 = 0, -3*y - 2*k = -373. Is y composite?
False
Suppose 160 = -3*i - 188. Let y = -63 - i. Is y composite?
False
Suppose -189 = -y + 10. Is y prime?
True
Suppose 9 = -2*l + 3, -418 = -5*f + l. Is f a prime number?
True
Let f be 2/1 - (3 - 3). Suppose f*w = w + 85. Is w a composite number?
True
Let m be 7 + (-4 - -1) + 0. Suppose -2*a - 38 = -m*a. Is a prime?
True
Let r(v) = 50*v + 1. Suppose -3*i + 46 = -5*o, -2*i + 2*o + 3*o + 29 = 0. Suppose -3*c + 14 = 2*g, 2*c + 3*c - i = 3*g. Is r(g) a composite number?
True
Let u = 240 + -102. Let r = u - 79. Is r a composite number?
False
Let w(c) = 2*c**2 - 7*c + 4. Let q(u) = -u**2 - u + 5. Let d be q(0). Is w(d) composite?
False
Let l(n) = -n**3 - 6*n**2 - 5*n - 5. Suppose 0 = 4*s - j + 5*j - 4, -2*j - 2 = s. Suppose 0*o + s*o = -32. Is l(o) a prime number?
True
Suppose 0 = 4*o + 2*o - 3534. Is o composite?
True
Let i(b) = b**3 + 2*b**2 - 4*b - 3. Let r be i(-4). Let h = 0 - r. Is h prime?
True
Suppose -5*s + 20 = -0*s. Let g(b) = s*b**2 + 1 - 5*b + 2*b - b**2. Is g(2) composite?
False
Let d(a) = 2*a**2 - 12*a + 17. Is