 t(v) = v + 10. Let d(j) = 11*j - 5 - 14 - 14*j. Let p(q) = 2*d(q) + 5*t(q). Is p(-10) composite?
True
Suppose 0 = 5*q - 3 - 12. Suppose q*i = 4*i + 1. Let m = 2 - i. Is m a prime number?
True
Suppose -3*c = -0*c - 12. Suppose -c*u = 4*t - 7*u - 31, -t - 3*u = -19. Is t prime?
False
Let p(m) = -m**2 + 5*m - 2. Let t be p(2). Let x = 4 - t. Suppose 0 = -f - x*f + 35. Is f prime?
False
Let y be (-4)/6*(-23 + 2). Suppose -5*g = -2*t + 45, -3*t = -g - y - 21. Is t a composite number?
True
Is 273383/165 + (-2)/(-15) prime?
True
Let b(h) = h - 12. Let s be b(10). Let d be 5/(s + (-9)/(-3)). Suppose 0 = 5*g - 2*j - 261, g + d*j - 4*j = 55. Is g a prime number?
True
Let w(h) = -h**3 + 18*h**2 - 7*h + 7. Is w(7) prime?
False
Suppose 5*g = 934 + 131. Is g a prime number?
False
Suppose -37 = -o + 10. Suppose l = -o + 226. Is l prime?
True
Let r(q) = -q**3 - 3*q**2 - 7*q. Let f be 14/(-3) - (-5)/(-15). Is r(f) prime?
False
Suppose 3*m - 5 = -8. Is (-8228)/(-85) + m/(-5) composite?
False
Suppose 0*f - 4*h = -2*f + 318, 187 = f + 5*h. Let s = f - 80. Is s a prime number?
False
Let u(f) be the first derivative of 2*f**3/3 - 11*f**2/2 + 6*f - 2. Let m be u(-8). Let g = -133 + m. Is g a prime number?
True
Let z(m) = 7*m**3 - m**2 + 2*m - 1. Let u = -4 - -6. Is z(u) a prime number?
False
Suppose -4*j + 0*a + 5*a = -1010, -j + 257 = a. Let i = j - 64. Is i a composite number?
False
Suppose 4*v - 2*m - m - 583 = 0, 5*v - 5*m - 730 = 0. Is v a composite number?
True
Suppose -40*k + 36*k = -3272. Is k composite?
True
Let w = -5459 - -8484. Suppose -2*q = 3*q - w. Let k = q - 354. Is k composite?
False
Let c(k) = 2*k**3 - 6*k**2 + 2*k - 9. Is c(11) a prime number?
True
Suppose -s = 2*w - 14, s = -s + 5*w - 8. Is 28/s*12 + 3 a prime number?
True
Let h(r) = -r**3 - 6*r**2 - r - 1. Let f be h(-6). Suppose 290 = -0*t + f*t. Is t composite?
True
Suppose -2*x + 4716 = -998. Is x prime?
True
Suppose -683 + 1945 = 2*c. Is c composite?
False
Suppose 5*g + 15 = n - 6*n, 2*g + 16 = -4*n. Suppose 0 = 3*k - 631 - g. Is k composite?
False
Let t be (-281)/2 + (-4)/8. Let l be (1 + -9)*t/12. Is l*((-9)/(-6))/3 composite?
False
Is ((-422)/4)/(9/(-36)) composite?
True
Let l = 80 - 3. Is l prime?
False
Let g = -46 - -49. Let r = -2 + 6. Suppose -5*o = -2*w - 295, -g*o - r*w = -2*w - 161. Is o composite?
True
Suppose 0 = -5*a + 2111 + 11964. Is a a composite number?
True
Suppose 9*t - 155 = 4*t. Is t composite?
False
Suppose 6 = 2*n, p + 0*n = 2*n - 3. Suppose -p*b + 7*b = 768. Let y = b + -106. Is y prime?
False
Let q(m) = 5*m**3 + 3*m**2 - 3*m - 6. Let i be q(-4). Is (-2)/10 + i/(-5) prime?
True
Let a = -2 + 5. Let w(z) = 5*z + 4. Is w(a) a prime number?
True
Suppose v + 0*v - 24 = -4*p, 0 = -v. Suppose -h = -5*j - 66, -2*j - 293 = -3*h - p*j. Is h a composite number?
True
Suppose 7*a - 4*a - 201 = 0. Is a a prime number?
True
Let c(i) = -81*i - 5. Let j be c(-2). Is 14/(-7)*j/(-2) prime?
True
Let d = -2 - -1. Let b = d + 6. Suppose -173 = -3*m + 2*x, -58 = -4*m - b*x + 142. Is m prime?
False
Let k(d) = d - 3. Let x be k(6). Suppose -x*h = -15, -2*z + h + 450 = 3*h. Let r = z + -141. Is r composite?
False
Let k(g) = -3*g**3 - 6*g - 8. Is k(-5) a composite number?
False
Suppose 3*l - 1349 - 94 = 0. Is l a composite number?
True
Suppose 1 = -z + 52. Is z a composite number?
True
Let b(p) = 175*p - 3. Is b(2) composite?
False
Suppose 21 = -2*u + 3*u. Is u prime?
False
Let a(i) = -i - 3. Let c be a(-3). Let y be (-1)/(1/(c + -5)). Suppose 0 = -m + y*j + 25, -j + 0*j + 28 = 2*m. Is m a composite number?
True
Suppose -k - 45 = 2*k. Let h be 52/(-3)*6/(-4). Let g = h + k. Is g prime?
True
Let b(v) = 32*v**2 - 4. Let x(y) = 65*y**2 - 7. Let k(s) = -5*b(s) + 3*x(s). Is k(1) composite?
True
Let g(p) = p**2 - p + 5. Let a = -15 + 9. Is g(a) composite?
False
Suppose 4*m = -0*m + 80. Suppose 3*n - 8 = -m. Is (-141)/n + 3/(-12) composite?
True
Let f(i) = 9*i**2 - 6*i - 7. Is f(8) composite?
False
Let h(s) = -s**3 - 6*s**2 + 5*s - 1. Let y be h(-5). Let j = 136 + y. Is j a prime number?
False
Suppose 3*l - 4*x - 1353 = 0, -l = -5*l + 2*x + 1794. Let g = -5 + 11. Suppose -3*o - l = -g*o. Is o composite?
False
Let i(n) be the second derivative of -n**4/12 + 7*n**3/3 + 2*n**2 - 3*n. Is i(11) a prime number?
True
Let g = 2085 - -854. Is g a composite number?
False
Let m = 4 + -8. Let v = m + 10. Is v a composite number?
True
Suppose 10655 = 7*z - 20754. Is z a prime number?
False
Let g = -159 - -538. Is g a composite number?
False
Suppose 8*h - 4*h + 4 = 4*z, 2*z + 4*h = -4. Suppose 4*r - 335 + 99 = z. Is r composite?
False
Let a(t) = -9*t - 11 - 3*t**2 + 5*t**2 + t. Is a(8) a prime number?
True
Let l(v) be the first derivative of 3*v**3 + v**2/2 + v + 2. Let q be l(-1). Let i(b) = b**3 - 5*b**2 - 9*b + 8. Is i(q) a prime number?
True
Let p(t) = 3251*t**2 + 3*t - 3. Is p(1) a composite number?
False
Suppose 0 = v + 4*v - 2185. Is v a prime number?
False
Let b(u) = u**2 + 8*u + 2. Let w be b(-8). Suppose 0 = -w*o - 235 + 617. Is o composite?
False
Let r(x) = x**2 - 17*x - 55. Is r(31) a prime number?
True
Let r(c) = c**2 + 2*c - 1. Let h be r(-4). Suppose -139 = -4*i - h. Is i a composite number?
True
Let m be (-4)/(-6)*30/4. Let z = m + -2. Suppose -z*c + 3 = -3. Is c prime?
True
Let c be 14/4 - (-4)/8. Is -1756*1*c/(-16) prime?
True
Suppose 2*b + 2*b + 2*t = -12, 2*b - 6 = 5*t. Let w(o) = -25*o + 1. Is w(b) a composite number?
True
Suppose -975 = -3*q + 12504. Is q prime?
True
Let v = 608 + -82. Suppose 0 = 3*a - 101 - v. Is a composite?
True
Is 417 + (3 - 13)/(-5) a prime number?
True
Is (-11924)/(-12)*1 + 8/(-12) a prime number?
False
Let q(k) = 133*k**2 + 3*k - 2. Is q(1) prime?
False
Suppose 2*u - 59 = 35. Is u a prime number?
True
Suppose 3*p + 2 - 11 = 0. Suppose -4*n + 970 = 2*m, m + 970 = p*m + n. Is m composite?
True
Is (-2)/4 - (3697/(-2) - -5) composite?
True
Let r(x) = -x**2 + 7*x - 3. Let j be r(6). Suppose -i + 109 = 3*o + i, -j*o + i + 103 = 0. Is o a composite number?
True
Let m(x) = 12*x**3 + 3*x**2 + 2*x + 2. Let b be m(-2). Let j = b - -235. Is j a prime number?
True
Let r = 1 + 10. Is r a composite number?
False
Let g = 10 - 5. Suppose g*n + 12 = n. Is ((-42)/2)/(n - -2) prime?
False
Let o(v) = v**2 - v - 2. Let m be o(-2). Suppose -2*f + m*f - 68 = 0. Let d = 49 - f. Is d a composite number?
True
Suppose -9 - 86 = -v. Is v composite?
True
Is (-8253)/(-27) - (-2)/(-3) a prime number?
False
Let f(d) = -394*d - 1. Is f(-2) composite?
False
Let g be 69/2*4/6. Suppose 5*j - g = -s + 9, 5 = j. Is s a prime number?
True
Suppose -3*a - 2*a = f - 337, -3*a - f + 203 = 0. Is a a prime number?
True
Suppose 2*y - 2*h - 3 = 3, 3*h + 9 = -4*y. Suppose -2*z + 1 + 15 = y. Suppose -5*q + z - 117 = -m, 5*m - 437 = -2*q. Is m composite?
False
Let v = -7 + -18. Let o = 12 - v. Is o a composite number?
False
Let l(t) = 700*t + 7. Is l(4) composite?
True
Let b(p) = 3*p**2. Let w be b(1). Let h be w/2*(-48)/(-18). Suppose 2*d = 3*d + h*t - 34, 3*d - t = 63. Is d prime?
False
Let u = -95 + 442. Is u a composite number?
False
Let w = 3 - 2. Is 248/2 - (w - 4) composite?
False
Is (-9 - -2)/((-4)/7064*2) a prime number?
False
Suppose -5*b + 276 = 4*h, 5*h - 4*b = 3*h + 138. Is h a prime number?
False
Suppose 2*m = 3*l + 2694, 0 = 3*m + 4*l - 3129 - 912. Is m prime?
False
Let m be (18/9)/((-2)/(-15)). Let o be (6/m)/(1/215). Suppose -o = -3*c - 23. Is c composite?
True
Let l(b) = b - 3. Suppose 0 = 5*i - 8*i + 5*h + 3, 0 = i + 4*h + 16. Let g be l(i). Let s = 10 + g. Is s a composite number?
False
Let r(o) = 30*o**2 - 5. Is r(-2) composite?
True
Let t(f) = -f - 5. Let s(n) = -2*n - 11. Let i(m) = -4*s(m) + 7*t(m). Let d be i(8). Let k = d + -10. Is k prime?
True
Suppose -7*b + 9*b + 6 = 0, 3*i = 3*b + 3036. Is i prime?
True
Suppose -3*l + 5*b = 99, 2*b - 25 = 3*l + 65. Suppose -2*p = 4*j - 4 + 2, -j = -2*p - 18. Let m = p - l. Is m prime?
False
Let c = -446 - -895. Is c composite?
False
Let p(d) = 145*d**2 + d + 7. Is p(5) prime?
True
Let s(i) = 4*i - 37. Is s(26) composite?
False
Suppose -2*q = -0*q - 80. Let c = q + -5. Is c a prime number?
False
Suppose 3*j = -2*c - 1 - 1, 0 = 4*j - 2*c - 16. Suppose 63 + 51 = j*d. Is d a prime number?
False
Let x be (-3 - (-4)/2)*1. Let y(d) = -15*d - 1. Let v be y(