4 + 1. Let x = -1 - d. Suppose 2*f - f - 13 = x. Is f composite?
False
Let u(s) = s**2 + 2*s + 91. Let m(j) = 6*j**2 + 11*j + 456. Let r(g) = -2*m(g) + 11*u(g). Is r(0) a composite number?
False
Let i(z) = 212*z - 2. Let s be i(2). Suppose -3*m + 5*m - s = 0. Is m a prime number?
True
Let j be (4/(-6))/((-1)/6). Suppose a = j*a - 93. Is a prime?
True
Let c(k) = k**3 - 8*k**2 + 7*k. Let g be c(7). Let q = g + -2. Is 14 + (q - -3 - 0) composite?
True
Let j = 1 + 0. Let i be 21/4*(j - -3). Suppose -3*k + 9 + i = 0. Is k composite?
True
Suppose -4*i + 12 = 4*q, 0 = 3*i + 5*q - 1 - 12. Let v(u) = 66*u + 1. Is v(i) a composite number?
False
Suppose 2*m = 1485 - 261. Let t = -425 + m. Is t a composite number?
True
Suppose 2*q + 8 = 3*a, 5*a + 2 - 15 = 3*q. Suppose x - 8 = -5*j, 0 = -5*j - 3*x - 2*x. Suppose -j*z = a*z - 132. Is z prime?
False
Suppose 3*i + i = -2*m + 64, 3*i - 60 = -2*m. Suppose -4*n - m = -108. Is n a prime number?
False
Let a = 321 - 144. Is a prime?
False
Let y = -52 + 131. Is y a prime number?
True
Let j = 228 + 241. Is j a prime number?
False
Let j(c) = c**3 + c**2 + c + 51. Let s be j(0). Let x = s - 6. Suppose -25 = -2*g + x. Is g prime?
False
Let h = 11 + 28. Let a = h + -26. Is a composite?
False
Suppose -70 = -3*v + v. Let f = v - -188. Is f composite?
False
Let f(g) = -2 + 2 + g**3 + 4*g + g + 1. Let x(i) = -i + 7. Let s be x(3). Is f(s) composite?
True
Suppose 0*q + 5*l = 5*q - 45, -4*q + 5*l = -41. Suppose q*u = -5*o + 168 - 59, u + 29 = o. Is o a prime number?
False
Let m = -42 + 131. Is m a prime number?
True
Let k(m) = -m - 3. Let o be k(-7). Suppose -t - u + 189 = 4*t, 0 = -o*t + 4*u + 132. Is t composite?
False
Let y be (153 + 0)/3 - 3. Suppose -k + 41 = -y. Is k a composite number?
False
Let b = 3 - -3. Is (b*-3 - 1)*-1 prime?
True
Let f(m) = m - 3. Suppose 3*q - q = 0. Let a be f(q). Let w(d) = -2*d**3 - 3*d**2 - 4. Is w(a) prime?
True
Suppose -2 - 18 = 4*i, 5*w + 20 = -3*i. Let g = -17 - -177. Is -2 + g - (4 + w) prime?
False
Suppose 4*a = -72 + 428. Is a a prime number?
True
Suppose -l - 4*d + d = -2116, 4*d = -4*l + 8424. Suppose 4*r + 777 = l. Is r prime?
True
Let z be (-3 + (-2)/(-2))*-1. Let w be 0*(-1 - z/(-1)). Suppose w*i - 3*i + 69 = 0. Is i composite?
False
Let j be (-6)/(-15) - (-206)/10. Let i be -7*(36/j - 2). Suppose i*y - 3*y + 26 = 0. Is y a prime number?
False
Suppose 4*s - 190 = 3*k, 4*k + 135 = 4*s - 53. Suppose 20 = b - s. Is b composite?
True
Suppose -2*o + 76 = 2*s, -7*s + 137 = -3*s - o. Suppose -3*m - 3*j + s + 88 = 0, 5*j = -2*m + 67. Suppose -f + 0*f = -m. Is f prime?
False
Let c = -23 + -184. Let j = -130 - c. Is j a composite number?
True
Let v(f) be the second derivative of -f**7/2520 - f**6/120 + f**5/24 - f**4/6 + 2*f. Let x(l) be the third derivative of v(l). Is x(-5) prime?
False
Is 1/(-1)*(12 + -1483) a composite number?
False
Suppose 0 = -9*u + 5*u + 260. Is u a composite number?
True
Is 55 + (4 - 3)*4 a prime number?
True
Suppose -3*y + 4539 = -14616. Is y a prime number?
False
Suppose -o + 27 = -5*y, 5*o + 1 + 4 = -3*y. Suppose -m = -o*m + 7. Is m a prime number?
True
Suppose 3*j + 4*u = -j + 3380, -2*u - 854 = -j. Let c = j - 519. Is c a prime number?
False
Suppose d = -5*c + 7308, -c + 2*d = -4*c + 4389. Is c a composite number?
True
Suppose 3*x - 7*x = -1228. Is x prime?
True
Let h be 1/3 + (-5412)/(-18). Let i = h - 8. Is i composite?
False
Suppose -323 = -2*x + 199. Let c = -112 + x. Is c prime?
True
Suppose -73 = 2*r - 3*g - 263, 2*g + 275 = 3*r. Is r composite?
False
Let x(o) = o**2 + 7*o + 13. Let g be x(-13). Suppose -2*i + 3*f + 168 + g = 0, -3 = -3*f. Is i a composite number?
False
Let r be (-1601)/7 - (-10)/(-35). Let t = r + 434. Is t composite?
True
Suppose 12*a - 7*a - 395 = 0. Is a composite?
False
Suppose 0 = 4*u - 15 - 21. Is 622/8 - u/12 a prime number?
False
Let t(l) = -6*l**2 - 10*l + 6. Let s(h) = h**2 + h - 1. Let p(a) = -4*s(a) - t(a). Let j = 40 - 46. Is p(j) prime?
False
Let l(n) = 2*n**3 + n**2 + n. Let v be l(-1). Is 402/18*(-6)/v composite?
False
Suppose -3*h + 59 = -82. Is h a prime number?
True
Let c be 2/(-4) + 766/(-4). Is 2 + -3 - (0 + c) a composite number?
False
Let p(j) = 7*j - 2. Let v be p(2). Suppose -17 = -5*m - b, -5*m + 1 = -b - v. Suppose -12 - 27 = -m*h. Is h prime?
True
Let z = -13 + 18. Let m(r) = r**3 - 5*r**2 + r - 3. Let i be m(z). Suppose 0 = d + 4*q - 61, -d - 3*q - 40 = -i*d. Is d a composite number?
True
Let q(s) = s**2 + 5*s. Let r = 8 + -13. Let j be q(r). Is j/(-2) - (-388)/4 a composite number?
False
Let h(w) = 6*w**3 - w**3 - 4*w**3 - 6*w**2 - 4. Let j be h(6). Is (j + 8)*(-14)/(-8) composite?
False
Suppose -j - 6310 = -11*j. Is j a composite number?
False
Let f(b) = -2*b**2 + 4*b - 2. Let c be f(3). Let s = 23 - c. Is s a composite number?
False
Suppose 0 = 2*j - j. Is ((-2 - -3) + j)*409 prime?
True
Let m(w) be the third derivative of 13*w**4/24 + 13*w**3/6 + w**2. Is m(10) composite?
True
Suppose -2606 = -2*q - f - 3*f, -2*f = -4*q + 5172. Suppose -2*y - q = -7*y. Is y prime?
False
Let g = 13 - 2. Is g a prime number?
True
Suppose 3*u + 2*m - m = 21, 0 = 5*u - 5*m - 35. Let w(o) = o. Let z(r) = r**3 - 6*r**2 - 10*r - 8. Let v(h) = -2*w(h) - z(h). Is v(u) composite?
True
Is 23/(-2)*168/(-12) a composite number?
True
Suppose 2*g + 3*a - 2300 = 0, -3*a - 1623 - 2959 = -4*g. Is g composite?
True
Let l(b) = b + 2. Let z be l(-2). Suppose 4*o + 2*p + 96 = z, 19 = 2*o - 3*o - 3*p. Let t = 84 - o. Is t composite?
False
Suppose -2*s - 5 = -3*j + 2*j, 0 = 4*s + 5*j - 11. Suppose -k + 3*c + 17 = 0, -16 + 7 = 3*c. Let d = k + s. Is d prime?
True
Let d be (6/10)/((-4)/(-20)). Suppose -d*k = s + 52, 32 + 12 = -4*k + 5*s. Let a = 105 - k. Is a composite?
True
Suppose 2*z = 4, -5*j + 3*z = -0*j - 379. Is j a composite number?
True
Let w(u) = 7*u**3 + 2*u**2 - 2. Let q be w(2). Let m = q - 18. Suppose 2*f = 4*f - m. Is f a composite number?
True
Suppose 3*f - 7178 = f. Is f prime?
False
Let d be (-4 + 5 + -2)*-103. Let k = -50 + d. Is k prime?
True
Let z(b) = -2*b**2 - 1. Let p be z(-6). Let g = 164 + p. Is g composite?
True
Suppose 0 = -5*t + 2*s + 10, -4*t + 3*t - s = -9. Is t*(-3)/6 + 5 a composite number?
False
Let n(v) = -129*v**2 + v - 2. Let x be n(-4). Let a = 575 + x. Is (-2)/9 - a/45 a prime number?
False
Let u(i) be the third derivative of -i**5/60 + 55*i**3/6 + 3*i**2. Let q = 10 + -10. Is u(q) prime?
False
Suppose 3*f - 21 + 58 = 4*t, -t = 4*f + 24. Let k = f + 6. Is 23 - (k/(-1) - 0) prime?
False
Suppose 549 + 199 = 4*m. Is m composite?
True
Let l = 49 + -49. Let t = 146 + -51. Suppose 0*p - p + t = l. Is p a composite number?
True
Suppose -6 = 5*z + 3*h, 0 = -3*z - 0*z + 4*h + 8. Let o = 6 - -6. Suppose 4*j - o - 16 = z. Is j composite?
False
Suppose x - 259 = -6*x. Is x a composite number?
False
Let z(c) be the first derivative of c**3/3 - c**2 + 2*c - 3. Is z(-5) a prime number?
True
Suppose 5*k + 4*u = 851, -2*k - 2*u + 64 = -276. Let h = k - 116. Is h a composite number?
True
Suppose 4*k - 10 = 2. Suppose -k*q = t - 50, 56 = -q + 4*q + 4*t. Let v = q - 10. Is v composite?
True
Suppose 3*q - 10 = -4. Suppose -q*r + 369 = r. Is r composite?
True
Suppose -3*v + 4*i + 0 = -23, 4*i + 25 = 5*v. Let c be (5 + 1)*(-13)/v. Is 1/(0 - 1) - c a composite number?
True
Suppose 2*a - 10 = 0, -5*a = 2*j - a - 294. Let n = -5 - -7. Suppose -5*k + f + j = -n*f, -2*f + 17 = k. Is k composite?
True
Suppose 5*t = 3*t + 4. Let m(z) = 37*z - 3. Let u be m(5). Suppose 0*h + t*h = u. Is h composite?
True
Let b be (-13)/(-2) + 3/(-6). Suppose 3*j - 2*j = 5*m - 7, j - 3 = 0. Is m/b + 60/9 composite?
False
Suppose 4*y + 1 = 5*t - 18, -4 = -2*t - 2*y. Suppose t*o - 3*w - 207 = w, -115 = -2*o - 5*w. Is o composite?
True
Let y(x) = x**3 + 8*x**2 + 3*x - 3. Let r be y(-7). Let o = r + -19. Is o composite?
True
Let l = -13 - -35. Let b = -1 - -3. Suppose -i + l = b*n - 6*n, -2*n = -2*i + 44. Is i a prime number?
False
Let m be (4/(-6))/(2/(-6)). Suppose 0 = -0*l - 2*l + 8, -2*i - 3*l + 44 = 0. Suppose d + m*n = -2*n + 3, 4*n + i = 0. Is d a composite number?
False
Let l(t) = 6*t + 1. Let a be l(2). Suppose -a*u = -11*u - 254. Is u prime?
True
Let d = 130 - 30. Suppose 155 = 5*m - d. Is m a prime number?
False
Is ((-7)/3)/(2/(-354)) a composi