Suppose 2*m + m = 57. Is m prime?
True
Let p(y) = 2*y - 143. Let a(q) = -3*q + 286. Let i(d) = 3*a(d) + 5*p(d). Is i(0) composite?
True
Let b(f) = 3*f - 42. Is b(19) composite?
True
Suppose 5*u = -0*u + 15, 1265 = 2*y + u. Is y composite?
False
Let s = -112 - -197. Is s composite?
True
Let r(k) = -42*k + 1. Is r(-3) composite?
False
Suppose 2*d = 16 + 8. Is (6/d)/((-2)/(-8)) composite?
False
Is (-2)/(4/(-12) + 0) a prime number?
False
Let o be 3*(-2)/(-6) - -110. Suppose 0 = -2*z - 5*j + o + 91, 75 = z - 4*j. Is z prime?
False
Let d(x) = x**2 + 3*x + 15. Is d(7) a prime number?
False
Let n = 2354 - 993. Is n a composite number?
False
Let d be (-2)/1 + 10 + -4. Suppose -2*v = -d*v + 382. Is v prime?
True
Let b be (0/(-1))/(-12 + 10). Suppose b*n - 556 = -2*n. Is n prime?
False
Let x be 4/(-14) + 534/7. Suppose x = f - 0*f. Let g = 203 - f. Is g prime?
True
Let u(b) = 342*b - 3. Is u(1) a composite number?
True
Let r = -4 + 8. Suppose -r*o = -7*o - 231. Let n = -18 - o. Is n a prime number?
True
Suppose -482 + 1902 = 4*r. Is r prime?
False
Is 159/(-6)*-1*2 a composite number?
False
Suppose 3*n - 9*n = -23874. Is n a composite number?
True
Let t be (-9)/2*(-28)/3. Suppose -t = -2*y + i, -7*i + 89 = 3*y - 2*i. Is y a prime number?
True
Let w(b) = -6*b + 8 + 16*b - 7*b + 14*b. Is w(7) prime?
True
Suppose 3*y + 656 = 5*w - 4*w, 0 = -3*w - 2*y + 1913. Is w prime?
True
Let b = -53 - -120. Is b composite?
False
Suppose -3*q + 0*s = -2*s - 347, 2*q + 2*s - 248 = 0. Is q a composite number?
True
Suppose -2*a - 5*a = -3997. Is a a prime number?
True
Is (-5 - -7) + (90 - 1) composite?
True
Let n = 2125 + -1326. Is n a prime number?
False
Suppose -9*x + 983 + 3418 = 0. Is x a prime number?
False
Suppose -2*r = r - 192. Suppose 2*n - r = -5*w + 6*n, 3*w = -n + 35. Suppose 2*p - 118 = -w. Is p composite?
False
Suppose -n = -2*b - 6593, 32989 = -2*n + 7*n - 2*b. Is n prime?
True
Is ((-150)/1)/(-2) - 4 a prime number?
True
Let l(t) = 3*t + 1151. Is l(0) composite?
False
Is (34/4)/(2/44) a composite number?
True
Let c(o) = -2385*o**2 + 2*o - 1. Let b be c(1). Is 1/(-3) + b/(-6) composite?
False
Let t be (-7)/7*(-3 + 0). Suppose -3*p + 0 = -5*w + 185, 0 = -t*w + 3*p + 111. Is w composite?
False
Suppose c = 3*l - 5, 4*c + 8 + 12 = 0. Suppose 5*y - q - 2 = l, q + 2 = y + 2*y. Suppose -69 = -4*n + 5*r, 4*n + 5*r - 114 + 15 = y. Is n a prime number?
False
Let t(m) = 4*m**2 - 13*m + 8. Is t(7) a composite number?
False
Let a be (-14)/35*(-6 + 1). Suppose t = -a*c + 405 + 253, 4 = -t. Is c composite?
False
Let h(p) = 17*p**2 + 6*p + 5. Is h(-4) composite?
True
Let y = 5 - 3. Let s be 8*1*(y - -46). Is (-1)/3 + s/18 a composite number?
True
Let l(j) = 14*j + 3. Let f = -4 - -12. Is l(f) a composite number?
True
Suppose -10 = 5*w + 5. Let g be w/18*-3*0. Suppose -158 = -4*k + 2*i + 502, g = -3*k + 4*i + 505. Is k prime?
True
Let x = 9 + -6. Suppose -x*g = -4*b - 489, 0 = 4*g + 5*b + 311 - 932. Suppose -123 = -2*j + g. Is j prime?
False
Suppose -3610 = -3*a + 1301. Is a prime?
True
Suppose -5*k - 114 = -759. Suppose 375 + k = 4*b. Let a = b + -49. Is a prime?
False
Let z(j) = -j**3 + 22*j**2 - 15*j + 21. Is z(17) prime?
False
Let j = 16 + 117. Is j composite?
True
Suppose 0 = 3*b - 0 - 18. Is b composite?
True
Let h = 381 - 2. Is h prime?
True
Suppose 0 = 4*n + 2*s - 3*s - 17, -2*n + 19 = 3*s. Suppose 8 + 4 = -4*j, -n*c + 219 = -3*j. Suppose c = 5*y - 28. Is y a composite number?
True
Suppose 5*y = -0*y + 2*o + 1184, 482 = 2*y - 5*o. Suppose 0 = -4*v - 0*v + y. Is v prime?
True
Let d = -35 + 97. Suppose 3*n - 64 = d. Suppose -5*l = 4*k - 17 - n, -3*k - 42 = -2*l. Is l a composite number?
True
Let k = -1417 - -3404. Is k a prime number?
True
Let l(u) = -u - 1. Let x be l(6). Let i(z) be the third derivative of -z**6/60 - 3*z**5/20 - z**4/12 + z**3 - 10*z**2. Is i(x) prime?
False
Let q = 1670 + -793. Is q composite?
False
Suppose -y + 7*y - 12666 = 0. Is y a composite number?
False
Let s be (-7)/(-7) + 14 + 2. Suppose c = -c - 16. Let i = s + c. Is i composite?
True
Let i(l) = l**3 + 3*l**2 - 3*l + 4. Let h = -5 + 1. Let g be i(h). Let p(q) = -q**3 + q + 203. Is p(g) a composite number?
True
Let p = 7 + -4. Suppose -p*c = 2*q - 316, -c - 370 = -3*q + 115. Is q prime?
False
Let a = -64 - -36. Let z be (2 - 2) + a/(-2). Is (12/(-14))/((-2)/z) a prime number?
False
Let h be (2 - 7)/(0 - 1). Suppose -m - 7 = -h*j + 9, 0 = 5*j + m - 14. Suppose j*g - 21 = 3*s, -5*g - 3*s = -2*s - 35. Is g composite?
False
Let c(b) = 4*b**3 - b**2 - b. Let x be c(-1). Let w be 10/x*36/(-15). Is 7/(3*1/w) a composite number?
True
Suppose 4*t = 2*g + 462, -470 = -5*t - 5*g + 70. Is t a composite number?
False
Let s = -8 + 16. Let l be 1/2*s/(-2). Let c(z) = -73*z - 1. Is c(l) a composite number?
True
Let p(j) = -50*j + 17. Is p(-5) a composite number?
True
Let p be 2/9 - (-43)/9. Suppose -p*q + 37 + 38 = -h, -2*q + 30 = -h. Is q a composite number?
True
Is ((-30)/(-1) + 3)/1 prime?
False
Let m(q) = 15*q**3. Let h be m(-1). Let b be -2*(-6)/h*5. Is ((-254)/4)/(2/b) a composite number?
False
Let i(a) = -7 - 4 - 2*a + 0*a**2 + 2*a**2. Is i(-8) a composite number?
True
Let t(d) = -2*d - 3. Let n(i) = i**3 - 5*i**2 - 2*i + 2. Suppose -3*s + 4*u = -7, -4*s + 19 = -s + 2*u. Let h be n(s). Is t(h) a prime number?
True
Let r(x) = -x**3 + 4*x**2 - 5*x + 3. Let d be r(3). Let c = 0 + -1. Is (d + -156)*c/3 prime?
True
Let w = -99 + 48. Is (w/9)/((-2)/42) a composite number?
True
Let g(m) = -m - 3. Let x be g(-5). Let o = x - -4. Is o*6 - (-1 + 3) a composite number?
True
Let x(w) = w**2 + 9*w. Let z be x(-9). Suppose z = -4*k + 2*y + 302, -2*y = 5*k - 0*y - 391. Is k prime?
False
Suppose -3*x = 5*j - 1045, 0*j - 4*x = -4*j + 836. Is j prime?
False
Let b(t) be the third derivative of t**5/60 - t**4/4 - 2*t**3/3 + t**2. Let f be b(7). Suppose 3*r + 5*o = 113, -3*o + 9 = -f. Is r prime?
True
Suppose o + o = 0. Let f be o + 0 - (-1 + 1). Suppose -3*h + 4*h - 67 = f. Is h prime?
True
Let u = -99 - -31. Let z = u + 125. Is z a composite number?
True
Suppose -2*a - 5*v = -89, -3*a + 107 = -v - 69. Is 3 + a + 0 + -3 prime?
False
Let i = 2 - -1. Is (-2 - -1*i) + 20 a composite number?
True
Suppose 5*n - 2 = 4*n. Suppose -3*u + n*u = -2*b - 72, 0 = -b - 3*u - 43. Is (2 - b) + (-1 - -1) a composite number?
True
Let t(p) = -226*p + 5. Is t(-6) a composite number?
False
Suppose 0 = 4*y - 2*w - 20, 2*y - 5*y - 2*w + 8 = 0. Suppose -3*m + 0*s = -3*s - 105, m + y*s - 45 = 0. Is m composite?
False
Suppose -2*p - 145 = -z, p - 105 = -z + 31. Suppose z = 3*l - 38. Is l a prime number?
True
Suppose -4*d = 5*u - 22 + 2, u = d - 5. Suppose -4*p = r - 67, -2*p + 0*p = u. Is r composite?
False
Suppose p + p = 4*a - 18, 3*a + 5*p = 20. Suppose -5*s - 102 - 103 = -a*m, 0 = 5*m - 2*s - 190. Suppose 0 = -5*r + m + 379. Is r a prime number?
True
Let r = -28 - -60. Suppose 3*h + r = 4*h. Suppose 4*j = -h + 76. Is j a prime number?
True
Let a = 29 - -98. Is a a prime number?
True
Let q(m) = m - 5. Let j be q(7). Suppose 0 = 3*n - 9, o = j*n - 9 + 25. Is o a prime number?
False
Suppose -80 = -5*a + 4*l, 0 = -0*a - a + 3*l + 27. Suppose 0 = y - 6*y + 4*b - 21, a = 3*b. Is 1*(60 - y - 2) a prime number?
True
Suppose 4*k - 8395 = -3*n, 4*n = 3*n + 5. Is k prime?
False
Let f = 182 + -103. Is f a prime number?
True
Let p = 66 - 29. Is p composite?
False
Is 203 + 2 + (-4)/2 a prime number?
False
Let s = -258 + 401. Is s prime?
False
Let m = -3 + 5. Suppose -m*z = 3*z - 265. Is z prime?
True
Let s = 407 - 262. Suppose -3*q + 139 = -4*b + 32, -4*q = -3*b - s. Is q composite?
False
Suppose 2*s + 24 = -2*c, 3*c - s + 28 = -0*s. Let y(b) = b**3 + 10*b**2 - 3*b - 8. Is y(c) a prime number?
False
Suppose -4*o + 20 = 4. Suppose 340 = -0*h + o*h. Is h a composite number?
True
Let c = -11 - -15. Suppose -2*q + 28 = c*r, 3*q + 2*r = -r + 42. Is q a composite number?
True
Let q = 234 + -107. Is q prime?
True
Let c(t) be the first derivative of 2*t**3/3 + t + 2. Is c(4) a prime number?
False
Suppose 0 = 3*j - 4*v, 4*j - 2*v - 9 = 1. Suppose -z + 2*z + 3 = 0, -2*q = -j*z - 334. Is q composite?
True
Let k = 437 - 180. Is k a prime number?
True
Suppose -m + 38 = -0*m. Suppose -4*g + 6*g = m. Is g prime?
True
Suppose 0 = -2*q - 3*s, -4*q + 2*s - 7*s = 0. Let 