 -0*k - 10, 11 = 4*c - k. Is c prime?
True
Suppose -2*t + 1097 = -5*h - 3889, 5*h = -5*t + 12535. Is t a composite number?
False
Let w = -813 + 2126. Is w prime?
False
Let o be (5/20)/((-2)/(-8)). Is o*((1051 - 0) + -2) composite?
False
Let f(t) = t + 4. Let j be f(-2). Is (-387)/(-3) + j*1 a prime number?
True
Let q = 4188 + -2341. Is q prime?
True
Is -2 + 6 + 237/9*39 composite?
False
Suppose 0 = -3*a + 8*a + 4*p - 3123, 5*a - 4*p = 3147. Let o = -328 + a. Is o composite?
True
Let c(d) = -5*d**2 + 9*d + 2. Let g be c(-15). Let b = -509 - g. Is b a composite number?
True
Let u = 1 - -3. Is 302/u + (-9)/(-6) a composite number?
True
Suppose -2*r - 15 = -5*r. Suppose r*d + 0*d = -l - 5, -2*d = l - 4. Is l a prime number?
False
Let v be (3/(-1))/(3/(-3)). Let d be 1/(-3) + 1/v. Suppose d = -k + 2*k - 2*r - 41, -4*k = 5*r - 203. Is k prime?
True
Suppose 0 = 5*m + c - 15, -2*c = 3*m - 10 - 6. Suppose m*j = -0*j + 8. Suppose 2*t - 10 = -2*s, -2*t + 0*t = j*s. Is t a prime number?
False
Let c(d) = 131*d**2 + d - 2. Is c(-3) a prime number?
False
Suppose -r + 2*r = 5. Let y = 25 - r. Let x = -10 + y. Is x a composite number?
True
Suppose 0 = 2*c + 3*j - 23, 3*c - c - 2 = 4*j. Suppose 3*q = c + 332. Suppose q + 44 = v. Is v prime?
True
Let c = -20 - -131. Is c a prime number?
False
Suppose 5*p = -5*j + 3250, -4*p = 10*j - 13*j + 1971. Is j composite?
False
Let u = 300 + -213. Suppose -12 = s + 3*s, -3*d - 4*s = -u. Is d composite?
True
Suppose 0 = p - 4*p + 15. Suppose -p*x = 4*i - 3*x - 194, -5*i + 275 = -4*x. Is i composite?
True
Let r be (2/(-4) + 0)*0. Let y(j) be the first derivative of j**4/4 - j**3/3 + 51*j - 1. Is y(r) composite?
True
Let v be (-47 - -1) + -3 + 1. Let o = v + 107. Is o prime?
True
Let o(g) = -24*g + 13. Is o(-5) prime?
False
Suppose 13*d = -13 + 3380. Is d composite?
True
Let t(n) = -n**3 - 6*n**2 - 15*n + 3. Is t(-8) prime?
True
Suppose -3*s - 4*b + 259 = 8, -b = 4*s - 313. Is s a prime number?
False
Let u = 726 - -265. Is u prime?
True
Is (3 - -206 - -2)*3 prime?
False
Let l(i) = -i**3 + 413. Is l(0) composite?
True
Let z be 2 + (0 - (0 + -1)). Let s be ((-30)/(-2))/(z/33). Suppose 0 = 2*h + h - s. Is h a composite number?
True
Is (1 - 0)/((-2)/(-186)) composite?
True
Let n(q) be the first derivative of q**3/3 + 3*q**2/2 - 5*q - 5. Is n(-11) prime?
True
Let j(a) = -a**2 - 4*a + 3. Let k be j(-3). Let v be 0 + (-27 + 0 - 3). Is (69/(-5))/(k/v) a composite number?
True
Suppose 21 - 9 = 4*n. Let b be n/((-5)/(470/(-3))). Suppose -b = -2*m + 220. Is m a composite number?
False
Suppose 0 = 2*r - 3*f - 112, -r + 5*f - 202 = -5*r. Is r a prime number?
True
Suppose -2*j + 4070 = -4*r - 0*r, 3*r = 5*j - 10196. Is j a prime number?
False
Let d be 10/4*62/5. Let c = -16 + d. Is (-2)/(-3) - (-2375)/c prime?
False
Let d be 4/(-6) + (-17)/(-3). Suppose d*z - 79 - 486 = 0. Is z a composite number?
False
Suppose -7*p = -6*p - 551. Is p composite?
True
Suppose -c = 4*c - 445. Is c prime?
True
Let w = -9 + 18. Let t be 1380/w + 1/(-3). Let d = -42 + t. Is d a composite number?
True
Let p be 10/4*(-2 - -4). Suppose 935 = 2*s - p*n, 5*n + 1093 = 4*s - 752. Is s/(-14)*(-12)/10 a composite number?
True
Let o(p) = -p**2 + 13*p - 2. Let g be o(12). Suppose 0 = 3*u + 4 - 10. Suppose -g = -u*v + v. Is v composite?
True
Suppose 343 + 290 = 3*y. Is y composite?
False
Suppose 3*b = -b - 48. Is ((-74)/(-8))/((-3)/b) prime?
True
Let s(k) = k**2 - 2*k + 16. Is s(9) a composite number?
False
Suppose -1379 + 264 = -5*c. Is c a composite number?
False
Suppose -3*x + 360 + 2349 = 3*i, -i - 2*x + 907 = 0. Is i prime?
False
Let k(f) = f**2 + 1. Suppose -11 = y + 6*o - o, -2 = o. Let w be k(y). Is 179*2/(w + 0) a composite number?
False
Suppose 179*i = 175*i + 8948. Is i a prime number?
True
Suppose -20 = -4*x - 4. Suppose -x*n + 335 = -5. Is n prime?
False
Let h(r) be the second derivative of r**4/12 - r**3/6 - 7*r**2/2 - r. Is h(6) a composite number?
False
Let p = -138 - -202. Suppose -3*o + 4 = -o, 5*o = -5*y + 245. Suppose 0 = 3*j - y - p. Is j a composite number?
False
Suppose -a - 3*a = -1276. Is a prime?
False
Suppose 218 = -2*f + 1300. Is f a prime number?
True
Let x = -312 + 549. Suppose 2*c + x = 5*c. Is c composite?
False
Suppose 2*x = 3*d + 16, 2*x + 6*d - 2 = 2*d. Suppose 3*i + 0*i - 5 = x*o, -5 = -i. Is o prime?
True
Suppose 3*z - 6 = -2*n, -5*n = -n - 2*z - 12. Let y(j) = -2*j - 2*j**2 + 2*j**2 - 2*j + n*j**2. Is y(5) a prime number?
False
Suppose -46 = 4*a - 10. Let c(d) = -d**2 - 9*d + 3. Let b be c(a). Is (-32)/(-6) + 2/b a prime number?
False
Suppose -5*a - 15 = s, 5*s - 10 = 4*a + 2. Suppose -3*i - 87 + 570 = s. Is i a composite number?
True
Let z(t) = 4*t**2 + 5*t - 14. Is z(7) a prime number?
False
Suppose -5*k + 4*z = -491, -2*k + 2*z - 467 = -7*k. Let r = -16 + k. Is r prime?
True
Suppose 0 = -4*z + 1 - 13. Let f = -7 - z. Is f/(-16) - (-470)/8 composite?
False
Let f(d) = -d**3 + d**2 + d + 50. Let c be f(0). Let b be (-2)/(-4) - 63/(-14). Suppose -w = -g - 2*g - c, -5*w + b*g = -260. Is w composite?
False
Let z = -8 + 8. Suppose 254 = -z*w + 2*w. Is w a prime number?
True
Let k(d) = 116*d**3 + 2*d**2 - 3*d - 1. Is k(2) composite?
False
Suppose 6*x = 4*x. Let j be 1*16 + x + 1. Let g = 24 - j. Is g a prime number?
True
Let w be 3/(1/(4/6)). Suppose -7*a + 15 = -w*a. Suppose -a*t = -0*t - 78. Is t composite?
True
Let d(l) be the first derivative of l**2/2 - 8*l + 1. Let y be d(10). Suppose 3*o - y*o = 11. Is o a composite number?
False
Is ((-92)/(-24) - 4) + (-7358)/(-12) a composite number?
False
Let n be 7/((-14)/(-60))*9. Suppose 5*q + n = 5*i, 5*q - 11 = -i + 61. Is i a prime number?
False
Let f be (3 + -3)*2/6. Suppose 0 = -2*h + 5*x + 308, f*h + 5*h - 741 = -2*x. Is h composite?
False
Suppose 0*m + 3*m + 240 = 0. Let r = m - -229. Is r a prime number?
True
Suppose 3*p + 15 = 6*p. Suppose -b - 2*r + 200 + 120 = 0, -5*b + p*r + 1600 = 0. Let n = -13 + b. Is n composite?
False
Let c(y) = -y - 1. Let k(g) = g + 3. Let u(i) = 3*c(i) + k(i). Let f be u(-4). Is (-6)/4 + 1628/f a prime number?
False
Suppose -288 = 2*l + l. Let q = 207 + l. Let r = q - -4. Is r a composite number?
True
Suppose -3*g + 4*f + 2027 = 0, 0 = -f + 3 - 5. Is g a prime number?
True
Is (-6)/(-14) - (-894)/21 prime?
True
Let t(f) be the second derivative of f**6/40 + 7*f**5/120 + f**4/6 + 3*f. Let h(o) be the third derivative of t(o). Is h(5) a composite number?
False
Let m = 3278 + -2264. Let g = m + -595. Is g a composite number?
False
Let c(i) = i - 6. Suppose -10 = -3*z + 8. Let b be c(z). Suppose -43 = -4*r - u + 29, -2*r - 3*u + 26 = b. Is r prime?
True
Let i = -22 - -21. Let o be (-6)/(-1) + 0 - 0. Is (i + 4*o)*1 prime?
True
Let y = -218 + 315. Is y prime?
True
Let o = 3500 + -1311. Is o a composite number?
True
Suppose -2*y + 0*y + 534 = 0. Is y a prime number?
False
Let l = -8 + 11. Suppose 0 = l*f + 9, -4*f = 2*j + 3*j - 1233. Is j composite?
True
Let v = 1562 - 243. Is v composite?
False
Let s = 2 - -1. Let r be s - (-3 + 2)/1. Suppose 2*h - r*d - 69 = -3*h, 2*h = 3*d + 29. Is h composite?
False
Let k = -4 + 8. Suppose 4*m + k*l = 20, 0*l - l + 8 = 2*m. Suppose 4*q = g - 165, -5*g + m*q = 4*q - 741. Is g a prime number?
True
Let m be 8/6*-3 - 1. Let l(r) = r**3 + 6*r + 1 + 7*r**2 + 0*r**3 - 2*r + 3. Is l(m) a composite number?
True
Suppose 7*m = 2*m + 5845. Is m a prime number?
False
Let s be 1/(-1) + 0 + 1. Suppose s = -2*b - v + 5*v + 132, 0 = -5*b - 5*v + 300. Is b composite?
True
Is (-19)/(4/((-16)/4)) a composite number?
False
Let d(o) = o + 32. Let k(p) = 5*p + 159. Let x(q) = 11*d(q) - 2*k(q). Let w(h) = -h**2 + 7*h - 6. Let v be w(6). Is x(v) composite?
True
Let d be 4/1 + (-1 - -2). Suppose 0 = -3*s + 2*s + d*w + 71, -5*w - 20 = 0. Is s a composite number?
True
Suppose 295 = 2*o + 3*n, 4*o = 3*n - 4*n + 595. Is o a prime number?
True
Let m be -24*6/(-9) + -1. Suppose -m - 213 = -4*k. Is k/12*(4 - 0) composite?
False
Let b(r) = r - 3. Let f be b(7). Suppose f*j - 31 = -3. Is j a composite number?
False
Let y(i) = -14*i + 11. Let n(o) = 14*o - 10. Let m(f) = 6*n(f) + 5*y(f). Is m(14) a prime number?
True
Suppose s = q - 7, s = 3*q + 1 - 14. Let p(u) = 8*u**2 + 2*u + 4. Let z be p(q). Let t = z + 31. Is t a prime number?
True
Is 2/((-8)/(-1020)) -