+ 19*i**2 - 10*i + 13. Is s(9) composite?
False
Let o = 1763 - 976. Is o a composite number?
False
Let l be (2/(-6))/((-10)/(-30)). Let b = l - -32. Is b a composite number?
False
Let x be (-1 + 3/2)*10. Suppose -x*h = -21 - 54. Is h a composite number?
True
Let h = 5 - 5. Suppose h = 5*a - 48 - 27. Is a prime?
False
Suppose 4*r - c = 1677, -3*r = -c - 4*c - 1262. Is r composite?
False
Suppose -o - 4*o + 385 = 0. Is o composite?
True
Suppose o = -3*j - 57, 272 = -4*o - j - 0*j. Let i = o + 156. Is i composite?
True
Let k = -5 - -7. Suppose 4*x - 3*y + k*y - 71 = 0, -3*y + 15 = 0. Is x a prime number?
True
Let p = -3 - -7. Let n be 6/p*(-4)/(-3). Is 1527/12 + n/(-8) composite?
False
Suppose q + 0*q - 2 = 0. Let y(c) = c + 2. Let g be y(q). Suppose -4*f = 3*l - 3*f - 113, -g*f = -5*l + 177. Is l prime?
True
Suppose 2*i = -3*i - 5. Let u be (-1 - i) + 56 + 1. Suppose -3*k + u + 6 = 0. Is k a prime number?
False
Is 57/(-95) + -82*113/(-10) prime?
False
Let q = -589 + 316. Is q*(-2)/(-12)*-2 composite?
True
Let d(u) = -13*u - 2. Let k be d(-2). Let x = k - 17. Is x prime?
True
Suppose 5*d - 1199 = 2*i, 0*d + 5*d - 3*i - 1201 = 0. Is d prime?
True
Suppose 0 = 11*y - 982 - 10975. Is y prime?
True
Let y = 852 + -147. Suppose 5*f = -5*a + y, 2*f - 182 - 88 = 4*a. Is f composite?
False
Suppose -3*n + 9 = -3*q, 0 = 3*q + 2*n - 6*n + 11. Let r be (4 - q)/(1/19). Suppose -4*m - m + r = 0. Is m prime?
True
Suppose s = -6*k + 4*k + 4358, -4*s - 6537 = -3*k. Is k composite?
False
Suppose -21*q + 19*q + 7478 = 0. Is q a composite number?
False
Suppose -1024 = 4*v - 428. Let d = -8 + v. Is 2/(-4)*(-1 + d) composite?
False
Let q(n) = -5*n**2 - 10. Let m be q(9). Is 6 + -4 + 2 - m composite?
False
Suppose -t - 15 = -4*t. Suppose 5*u = -p - p + 31, u + 10 = t*p. Suppose -u*y + 10 = -25. Is y a composite number?
False
Is (2 - 5)/((-6)/1058) prime?
False
Let o = 0 + 9. Let k = -40 + o. Let b = -12 - k. Is b prime?
True
Suppose -2*s = -4*k + 6336, -2*s + 0*s = 5*k - 7911. Is k prime?
True
Let k(g) = 3*g**2 - 23*g + 7. Is k(36) prime?
True
Let n = -170 + 119. Let b = n + 100. Is (1 + b + 3)/1 prime?
True
Let x be 1 - 1 - (-329 + 2). Let u = -545 + 875. Suppose 5*l + 0*l - u = 5*s, 5*l - 2*s = x. Is l a composite number?
True
Suppose 45 = 2*g - 7*g. Let r(l) = -25*l - 2. Is r(g) a composite number?
False
Suppose 2*b + 555 = 3*w, 439 + 119 = 3*w - b. Is w a prime number?
False
Let k(z) = z**3 - 8*z**2 + 3. Let a be k(8). Let j = a - 3. Suppose j = n + 2*n - 93. Is n prime?
True
Let z(y) = -y**3 + y**2 + y + 1285. Let c be z(0). Suppose 0 = 2*p + 3*p - c. Is p prime?
True
Let a be ((-12)/(-15))/((-2)/10). Let t(h) = -h**3 - 4*h**2 - h + 2. Is t(a) composite?
True
Let i(q) = -2*q**2 + 5*q + 7. Let y(k) = -8*k**2 + 21*k + 29. Let w(g) = -9*i(g) + 2*y(g). Let f = -36 + 42. Is w(f) a composite number?
True
Let m = 451 - 286. Suppose -3*o = 5*q - 442, m = -4*o - 3*q + 758. Is o prime?
True
Let a = 239 - -390. Is a composite?
True
Is 6/8 + 261093/84 composite?
False
Let a be (-1*2 - -2) + 1. Let y be (2 + 0)/((-1)/a). Let q(p) = 5*p**2 + 2*p - 1. Is q(y) prime?
False
Let l(f) = f**2 + 1. Let x(u) = 207*u**2 + 2*u - 4. Let i(t) = 3*l(t) + x(t). Is i(1) a composite number?
False
Suppose d - 14 = 4*p, d = -8*p + 3*p - 4. Let f(a) = 8*a - d*a - 1 - 2*a**3 - a**3. Is f(-2) a prime number?
True
Let s(f) = 9*f**2 - 4. Let q(m) = -2*m**2 + 5*m - 5. Let g be q(2). Is s(g) composite?
True
Let c(p) be the second derivative of 3*p**5/20 - p**4/4 - p**3/3 - p**2/2 + 2*p. Let u be c(-3). Let w = -52 - u. Is w prime?
False
Is (446/5)/(20/50) composite?
False
Let v(i) = -32*i + 1. Suppose 4*y - 12 = 8*y. Is v(y) a prime number?
True
Suppose -4*s + 24769 = 13*s. Is s a composite number?
True
Suppose 23*l - 1902 = 20*l. Suppose 0*g + 2*g - l = 0. Is g a composite number?
False
Suppose k = 17 - 15. Is (-759)/(-6) + 1/k composite?
False
Let x(n) be the first derivative of 22*n**3/3 - n**2/2 + n + 4. Is x(-2) composite?
True
Suppose 0 = j - 2*j - 6. Let f(m) = -m**3 - 5. Let o be f(j). Let u = -84 + o. Is u a prime number?
True
Suppose -10*g - 5391 = -13*g. Is g a prime number?
False
Let g = 117 - 282. Let j be (-127)/(-6)*3*4. Let r = g + j. Is r a composite number?
False
Let v = -105 - -254. Is v a prime number?
True
Let b be 98/(-4)*-32 + 1. Suppose g - b = -4*g. Is g prime?
True
Let v(u) be the first derivative of u**4/4 - 7*u**3/3 - 9*u**2/2 + 4*u + 5. Is v(9) a prime number?
False
Suppose 0 = -2*s + 3*h - 8*h + 262, -262 = -2*s + 3*h. Is s composite?
False
Suppose 2225 = 7*c - 2*c. Is c a composite number?
True
Suppose -5*s = -8 + 3. Is (1 + s)*152/16 a prime number?
True
Let m(z) = 26*z**2 + 5*z - 1. Let v be m(2). Suppose -2*f - 3*a + 54 = f, -2*a = -4*f + 96. Suppose -5 = -i - 4*h + f, 2*h = 5*i - v. Is i a prime number?
True
Let u be (-102)/12*(1 + -15). Is u - 1/(-1) - -2 composite?
True
Suppose -3*m + v = -0*v + 1, -m = 4*v + 22. Let t be -18 + (-1 + m - -1). Is (-2)/(-8) + (-735)/t composite?
False
Let g be (-1)/(-2) - 1/2. Suppose 2*l - 6*l = g. Suppose l = -i + 4*i - 3, 20 = 2*p - 2*i. Is p composite?
False
Suppose -186 = -4*t + 90. Suppose -3*p = 143 - 491. Suppose 5*l = t + p. Is l a composite number?
False
Let j(a) = a**2 - 2*a - 2. Let v be j(-3). Suppose -o - v = -f, 5*f + 5*o - 41 = 2*o. Is f prime?
False
Let i(m) be the first derivative of m**4/4 + m**3/3 + m**2/2 + 3*m + 1. Let q be i(4). Let u = -50 + q. Is u prime?
True
Suppose 3*b + 3*f = 72, b = f + 4*f + 12. Let a = b - -91. Is a prime?
True
Suppose 9*i = 7*i + 1262. Is i a prime number?
True
Let u = 365 + 384. Let g = -498 + u. Is g a prime number?
True
Let i = -1598 - -5205. Is i composite?
False
Let z be 6/(-10) - 3/(-5). Let t = 2 - z. Is 4*t + -3 + 1 prime?
False
Suppose 0 = -5*g + 196 + 199. Is g composite?
False
Let g be ((-10)/(-4))/((-2)/(-4)). Suppose p = 3*s - 3*p - 407, -g*s + 4*p = -681. Suppose 5*x - 2*y = 343, -5*x + y + 202 + s = 0. Is x prime?
True
Suppose 0 = 5*f - 2 - 8. Suppose -5*l - f*t = -10, -5*t = -4*l - 0*l - 25. Suppose d - 6*d + 415 = l. Is d a composite number?
False
Suppose -4*h + 932 = -5*v - 1810, 5*h + 4*v - 3407 = 0. Is h a prime number?
True
Suppose 0 = -3*b + 18 + 9. Suppose 4*d = -29 + 9. Let u = b - d. Is u prime?
False
Suppose -3*v - 2 = -5*k, 3*k - 4 = 3*v + 2. Let a(z) = -z**2 - z + 2. Let h be a(k). Suppose h = -4*m + 2*m + 12. Is m prime?
False
Is -2 + (-18)/(-7)*(-1 + 43) a prime number?
False
Let p(k) = 4*k**3 - 3*k**2 + 5*k - 21. Let n(q) = -3*q**3 + 3*q**2 - 5*q + 20. Let d(m) = -5*n(m) - 4*p(m). Is d(-7) a prime number?
False
Let i = 3 - -1. Suppose -2*w + 132 = j, i*w + j + 11 - 273 = 0. Is w a prime number?
False
Let y = 197 + -110. Is y a prime number?
False
Let h(y) = 6*y - 8. Is h(2) a composite number?
True
Suppose z = 4*z - 1137. Is z a prime number?
True
Let b be (12/(-16))/(3/(-732)). Is (b/6)/((-4)/(-40)) a composite number?
True
Suppose 0*m = -m + 3. Suppose m*i = -34 + 313. Is i a prime number?
False
Let h = 1 - -3. Suppose 6 = 4*l + 2*u, 0*l - 4*u - 24 = -h*l. Is l a prime number?
True
Let s(z) = 277*z**2 + 2. Is s(-3) a prime number?
False
Let n be (-26)/6*(-1 + -8). Let w = 19 - 15. Suppose w*b - n = -c - 2*c, -4*c + 3*b + 27 = 0. Is c a composite number?
True
Let k(r) = 24*r**2 - 3*r + 3. Let p be k(8). Let a = -884 + p. Is a a composite number?
False
Let i(j) = j**3 + j + 187. Let m be i(0). Suppose -5*t = 2*x - m, 4*x + 0*t + 4*t - 392 = 0. Let l = x + -64. Is l prime?
True
Let j = 4 - 2. Suppose 2*i = -j*f + 4*f + 278, 0 = 3*i - f - 417. Is i a composite number?
False
Suppose -j = -3*j + 178. Suppose 2*d - j = 5*x, x - 5*d + 7 = -d. Let h = 33 + x. Is h a composite number?
True
Suppose -3*c + 4*c - 3 = 0. Suppose -2*h = c*h - 290. Is h prime?
False
Let h(z) = -z**2 - 4*z - 7. Let d(q) = 2*q**2 + 7*q + 14. Let b(w) = 2*d(w) + 5*h(w). Let a be b(-7). Let r = 28 + a. Is r a prime number?
False
Let g = -1 - -3. Suppose 2*x = -g*x + 388. Is x composite?
False
Is 1363/3 - 5/15 composite?
True
Let a be (-1 + 2)/(1/2). Suppose -a*o = o - 102. Is o a prime number?
False
Let y = -87 - -1028. Is y a prime number?
True
Let j(c) = 3*c**2 + 4*c + 23. Is j(-12) prime?
False
Suppose s = -6*s + 17171. Is s a composite number?
True
Suppose 238 = 4*t - 470. Is t prime