 + 379. Is y a prime number?
False
Is 2 - (-2 + 3 + -162) a composite number?
False
Let b(k) = -k**3 - 5*k**2 + 7*k + 6. Let o be b(-6). Suppose o*p + 10 = 2*p. Suppose -11 = -p*x - 2*z + 54, 0 = x - z - 6. Is x composite?
False
Is ((0 - 1)/1)/(50/(-84650)) prime?
True
Is 4/(-10) + (2 - (-54435)/25) prime?
True
Suppose 0 = 4*v - 70 - 42. Suppose 0 = v*t - 30*t + 116. Is t prime?
False
Let h(f) = -25*f**3 - 2*f**2 + 2*f + 1. Let r be h(-2). Suppose -w + 0*w + r = p, 0 = 3*p - 2*w - 577. Is p a composite number?
False
Suppose 4309 = 4*a - 2*a - x, 0 = 3*a - 3*x - 6462. Is a a prime number?
False
Let h be (3/(-6))/((-1)/(-376)). Let m = h + 355. Let x = 258 - m. Is x composite?
True
Let f(x) = x**2 + 2*x - 3. Is f(8) prime?
False
Let j(d) = -63*d**3 + 1. Is j(-2) a composite number?
True
Is 2 + -1*4/8*-6118 a prime number?
True
Let c = 57 + 65. Let u = 35 + c. Is u a prime number?
True
Let o = 45 - 24. Is (-60)/o*7/(-2) a composite number?
True
Suppose -6*q + 3*q = 12, 5*z = q + 10479. Is z a composite number?
True
Let d be 0*2/(4 - 2). Suppose d = u - 2*b - 725, 5*u - 3601 = -0*u - 2*b. Is u composite?
True
Suppose -5*a + 4*p + 18 = 0, 2*a + p - 3*p - 8 = 0. Suppose a*d + 5*m = 513, -5*d + 5*m - 832 = -2062. Is d a composite number?
True
Let n be (-1)/4 + (-1)/(-4). Suppose n = q - 2 - 2. Let y(i) = 5*i - 1. Is y(q) a composite number?
False
Let g(d) = 12*d**2 - 3*d + 4. Let u be g(3). Suppose -2*q + 0*q + p = -145, -3*q = -3*p - 219. Let v = u - q. Is v a prime number?
True
Let i(a) = 4*a**3 - a**2 + 9*a - 3. Is i(8) prime?
True
Let j = -157 + 602. Is j composite?
True
Suppose -u - 4*q = -4*u + 6, -4*q + 42 = 5*u. Suppose -u + 0 = -2*x. Suppose -w = -0*w - x, 3*w + 89 = 2*r. Is r a prime number?
False
Let i(y) = 14*y**3 - y**2 + 3*y + 3. Is i(3) a composite number?
True
Suppose 2*w + 75 = -3*h - w, -w + 59 = -3*h. Let z = h + 35. Is z a prime number?
False
Let t = 5 - 4. Let u(s) = -2 + 2*s**2 + 1 + 5*s**3 + 13*s**3. Is u(t) prime?
True
Let k(a) = -110*a + 3. Is k(-4) prime?
True
Let w(m) = m**3 + 7*m**2 - 2*m + 1. Suppose 3*k + 5 + 16 = 0. Is w(k) composite?
True
Let v be 1 - (1 - (1 - 0)). Suppose -34 = 4*k - 2*x, 0 = -3*k - 3*x - 0*x - 12. Is v*k*(-3 - -1) prime?
False
Let g = 3 + -8. Let i = 7 + g. Is ((-22)/4)/(i/(-8)) a prime number?
False
Let r(b) = b**2 + 4*b + 5. Let f be r(-4). Suppose -f*t = 7 + 43. Let c = 9 - t. Is c a composite number?
False
Let z be (-1 + 1)*(-4)/8. Suppose 2*m + 3*n = m + 156, z = -4*n + 20. Is m a composite number?
True
Let h(q) = 655*q**2 + 4*q + 5. Is h(-2) a prime number?
True
Suppose -3*c - 5 = -10*y + 5*y, 4*y = 16. Suppose -c*x - 1590 = -5*z, -z + 3*x + 338 = 6*x. Suppose -74 + z = 3*d. Is d prime?
True
Let w = 1 + 3. Suppose w - 9 = -5*p. Let y(x) = 9*x**2 + x. Is y(p) a composite number?
True
Is 36675/54 - (-2)/(-12) a prime number?
False
Suppose 0 = 5*n - n + 8. Let m be 3 + (-1 - (n + 0)). Let q(g) = 2*g**3 - 3*g**2 - 3*g + 6. Is q(m) prime?
False
Let k(j) = 3*j - 4*j + 8 + 1. Let i be k(8). Let o = i - -2. Is o prime?
True
Let s(x) = -7*x + 17. Is s(-14) a prime number?
False
Suppose -5*p + 4*c + 3 = -10, -5*c = 4*p + 6. Let d(g) = 20*g + 1. Is d(p) prime?
False
Suppose -3*p + 44 = p. Suppose -s = -4*b - 11, s - p = -6*b + 4*b. Is s prime?
True
Let x = -1067 - -1658. Is x a composite number?
True
Suppose -3920 = v - 5*v - 3*j, v - 3*j = 965. Is v a prime number?
True
Let h be ((-2 - 1) + 2)*3. Let j = 0 - h. Suppose 0*q - j*q + 201 = 0. Is q a prime number?
True
Let b = -124 + 891. Let a = b - 396. Is a composite?
True
Let l(a) = 14*a**2 - 4*a + 1. Is l(7) a prime number?
True
Suppose n - 3 - 1 = 0. Suppose -279 - 429 = n*y - 3*f, -2*f = -8. Let u = 253 + y. Is u prime?
True
Let b(l) = l**2 - 3*l - 9. Let m be b(-9). Suppose -4*u = 7 - m. Is (u/(-4))/((-6)/24) composite?
False
Suppose 2*m = 2, 2*m - 2696 = -3*r - 0*m. Is r prime?
False
Let y be (-4)/(-14) + (-19)/(-7). Suppose 3*c - 296 = c. Suppose h = -y*h + c. Is h composite?
False
Let g(j) = 7*j - 15. Is g(18) composite?
True
Suppose 0 = f - 295 - 196. Is f a composite number?
False
Suppose m - 2*m = 22. Let r(q) = -q**3 + 7*q**2 - 10*q + 13. Let f be r(6). Let j = f - m. Is j a prime number?
True
Is (-338)/(-4) + (-2)/(-4) composite?
True
Let a(c) = c**3 + 4*c**2 - 3*c + 7. Let m be a(-5). Let r(g) = 2*g**2 + g - 4. Is r(m) composite?
False
Let o be -2*1 + 183 + -11. Let d = o - 96. Is d a composite number?
True
Let d(w) = -2*w - 6. Let z be d(-4). Let v(b) = 0*b + 2*b**2 + 0*b**z - 1 - b. Is v(6) a prime number?
False
Let x = 58 + -96. Let y = -23 - x. Is y a prime number?
False
Suppose 3*z - p + 2 = 0, z + 0*p + 2 = p. Suppose z = -f + 4*c + 26, -1 - 4 = -5*f - 5*c. Let s = 21 - f. Is s composite?
True
Let b be (-396)/15 + 10/25. Let y = 261 + b. Is y prime?
False
Let c(x) be the second derivative of -2*x**3/3 + 2*x. Let s be c(-1). Suppose 14 = 2*p - s*d, 3*d + 10 = 5*p - 46. Is p composite?
False
Let p = -9 + 11. Suppose -p*d - 2211 = -5*o, 0 = -o + 5*o + 4*d - 1780. Is o prime?
True
Let a(f) = 32*f**3 + f**2 - 4*f + 3. Is a(4) a prime number?
False
Let n(p) = 4*p**2 - 8*p - 9. Is n(7) prime?
True
Suppose -4*d - 910 = 3*f, 0 = -f + 3*f - d + 603. Let v = f - -487. Is v prime?
False
Let n be ((-10)/(-4))/(1/6). Suppose 4*v - 11 = -5*p + 3*v, 0 = p - 3*v - n. Let h = p - 0. Is h composite?
False
Let a be 55*11*6/15. Suppose 0 = 5*k + 4*i - 581, k + 4*i = -k + a. Is k composite?
False
Let u(d) = 143*d - 3. Let m be u(2). Suppose 6*r = 431 + m. Is r a prime number?
False
Let q(r) = 6*r**2 - 2*r - 3. Suppose -6 = 2*d + d. Is q(d) composite?
True
Let a(t) = t**2 + 7*t - 1. Let m be a(-7). Is (m + (0 - 0))*-67 prime?
True
Suppose -2*r - d = -0*r - 104, 3*d = -6. Is r prime?
True
Suppose 0*h = 3*h - 681. Let q = h - 144. Is q a composite number?
False
Let o = 9 + -6. Let m be (21/6)/(3/(-204)). Is (m/(-21))/(1/o) a composite number?
True
Let j(d) = 319*d - 8. Let a(g) = 106*g - 3. Let i(q) = -11*a(q) + 4*j(q). Is i(3) composite?
False
Suppose -l = 4*h - 218, -l + 0*l + 4*h + 210 = 0. Is l composite?
True
Is ((-2)/(-10))/((-1)/(-27355)) a prime number?
True
Let j = -4 + 9. Let q(u) = 11*u**2 + 1 + 4*u - 2 - j*u**2. Is q(-4) a composite number?
False
Let w = 17 - 30. Let k(u) = -15*u + 8. Is k(w) a composite number?
True
Let g = -1049 + 1816. Is g a prime number?
False
Let c(i) = -i**2 + 50*i + 7. Is c(26) prime?
True
Suppose -4*l + 5*a = -0*l - 133, -3*l + 114 = a. Suppose u = 2*u - l. Is u a prime number?
True
Suppose -153 = -f + 242. Is f a prime number?
False
Let w(s) = -s**2 + 6*s + 6. Suppose 0 = 4*g - 2*a - 22, -5*g - a + 26 = -2*a. Suppose 2*h = h + g. Is w(h) a composite number?
False
Let g(o) = 196*o - 5. Is g(21) composite?
False
Let a(s) = 4*s + 10. Let r be a(-10). Let u = r - -85. Is u a composite number?
True
Let o(x) = x + 1. Let a(f) = 14*f + 7. Let v(h) = -a(h) + 3*o(h). Let u be v(-4). Let c = u - 25. Is c a prime number?
False
Suppose 10 + 6 = 4*f. Suppose -72 - 196 = -f*h. Is h a prime number?
True
Suppose -6*s + 811 + 5999 = 0. Is s a prime number?
False
Suppose -351 - 89 = -2*i. Let v(p) = p**3 - 2*p**2 - p - 3. Let u be v(3). Suppose -i = -j - u*j. Is j a composite number?
True
Let n = 4 - -11. Suppose r - 2*r + y = -11, -r + n = -2*y. Is r a composite number?
False
Let b(p) be the third derivative of -p**7/720 + p**6/240 - p**5/20 - 3*p**2. Let t(a) be the third derivative of b(a). Is t(-8) a composite number?
False
Suppose -g - 181 = -950. Is g composite?
False
Let x = 4 - 2. Let r(u) = 8 - u**2 - x + 2*u**2 + u. Is r(0) composite?
True
Suppose 7 - 3 = 4*i. Is ((-88)/(-12))/(i/3) a composite number?
True
Suppose z + 118 - 28 = 0. Let o = -57 - z. Is o a prime number?
False
Let d(x) = -252*x + 2. Is d(-1) a composite number?
True
Let t be 4 - 0*(-1)/3. Let d be -1 + 2 - (-4)/t. Is 166/3 + d/(-6) a prime number?
False
Suppose 5*k - 40 = -5*w, 3*k + 36 = -w + 4*w. Is w/4*(13 + 1) prime?
False
Let d(z) = -8*z. Let g be d(1). Let m(k) = k**2 + 8*k + 1. Let h be m(g). Is (-1)/((-3)/165)*h composite?
True
Suppose -8*i + 17*i = 4869. Is i prime?
True
Is (10/6)/((-9)/(-2943)) composite?
True
Let c = 6 - 4. Suppose 0 = -4*o + 3*k + 19, 0 = -0*o + o - c*k - 1. Is o prime?
True
Let k be (-16)/(-10) + 4/10. Suppose 4*g + 4*p = 36, -k