number?
False
Is (-1)/(-3) - (-6280)/15 composite?
False
Suppose 3*a - 868 - 155 = 0. Is a composite?
True
Suppose 2*a + 0*a - 2 = -2*m, 2*m - 20 = 4*a. Suppose p - 12 = 2*n, m*p - 33 = -0*n + 3*n. Suppose -c = -p*c + 665. Is c composite?
True
Is (6/12)/(3/3882) a prime number?
True
Let a(w) = -9*w + 5. Let c be a(4). Let n = 1 + 5. Let l = n - c. Is l a prime number?
True
Suppose -100 - 23 = -3*i. Let n = 72 - i. Is n a prime number?
True
Suppose 4*s - 9784 = 3028. Is s prime?
True
Suppose 879 = 3*o - 0*o. Is o a composite number?
False
Let p = -9 + 2. Is (-2)/p + (-1548)/(-21) a prime number?
False
Let c = 223 + 262. Is c prime?
False
Let z(l) = l**3 + 21*l**2 - 26*l - 3. Is z(-22) a prime number?
False
Let d(f) = f**2 + 2*f - 6. Let c(x) = x**2 + 9*x + 5. Let q be c(-7). Let b be d(q). Suppose 2 = -r, -r = v - 0 - b. Is v prime?
True
Suppose 3*q + 51 = 2*o + o, 2*o + 29 = -q. Let a = q - -34. Is a composite?
False
Suppose -b = f - 3*b + 16, 0 = 2*f + 5*b + 59. Suppose 2*k + 6 + 0 = 0. Let o = k - f. Is o composite?
False
Let l(m) = m - 10. Let v be l(9). Let u be 137 + -1 + 2/v. Suppose -u = -p - p. Is p a prime number?
True
Is (-1775 - 2)*(3 + -4) a prime number?
True
Suppose 0 = 4*n - 3*x + 1250, -5*n - 1578 = 3*x + x. Let q = n + 447. Is q a prime number?
False
Let r = -5 - -7. Let q be r/3 + (-4)/6. Suppose o + 3*t - 2*t - 46 = q, -3*o = 4*t - 133. Is o prime?
False
Is (-1 - -296)/(-1 + 2) a prime number?
False
Suppose 4*o - 123 = 181. Let f = -54 + o. Is f a composite number?
True
Suppose 3*h - 3*a + a - 25 = 0, 0 = -3*h - 5*a + 11. Suppose u + 0*u - h = 0. Is u composite?
False
Suppose -7*j + 210 = -2*j. Suppose -82 = -2*p + j. Is (p - 0)*(-1)/(-2) prime?
True
Let c be (8/6 + -1)*6. Suppose 2 = c*y + 3*d - 3, -5*d + 7 = 2*y. Is (0 + 1)/(y/22) composite?
True
Let c be 2/(-9) - 2/(-9). Let v(q) = -q**3 - q**2 + 7 + 0*q**3 + 0*q**2 + q. Is v(c) composite?
False
Let f(y) = 541*y - 12. Is f(1) composite?
True
Suppose -2*y = -7*y + 395. Is y composite?
False
Let r = 759 - 266. Is r prime?
False
Suppose 7*h - 9*h + 542 = 0. Is h prime?
True
Let b(n) = 3*n**2 + 7*n + 13. Let s be b(-12). Suppose -s = -3*t + 398. Is t a composite number?
True
Let y be 10*(-20)/16*2. Is 2 - 1*5*y a composite number?
False
Let l be 12/90 + (-56)/(-30). Suppose 4*f + 357 = -b + 1417, -l*f + 530 = 2*b. Is f prime?
False
Let z(n) be the third derivative of n**6/120 - n**5/6 - 7*n**4/24 - 5*n**3/3 + 8*n**2. Is z(11) a prime number?
False
Suppose 4*m + 262 - 28 = -2*d, -d + 2*m - 133 = 0. Let x be 1/6 + d/(-6). Let s = x + -8. Is s a prime number?
True
Suppose -12*w = -13863 - 2421. Is w a composite number?
True
Suppose -5*a = -4*t - 2136 - 1709, 4*t = -5*a + 3845. Is a composite?
False
Let l(p) = 49*p**3 - p**2 - p + 1. Let h be l(1). Suppose -4*t + 36 = -h. Is t a prime number?
False
Suppose 0 = 3*g - 3, 0 = -2*i - 3*g + 2*g + 1535. Is i a composite number?
True
Let t be 9/(-4) - (-12)/(-16). Let p(y) = -7*y**3 + 4*y**2 + 3*y + 1. Is p(t) composite?
True
Is 3/(8/((-22112)/(-12))) prime?
True
Suppose -26 = -t + s - 3, 95 = 5*t + 5*s. Is t a composite number?
True
Let u(o) = -301*o - 1. Is u(-8) prime?
False
Let j = -149 + 99. Is (-4)/(-10) - 280/j a prime number?
False
Suppose 0 = -3*o - 6, -v + 183 = 4*v - 4*o. Is v composite?
True
Suppose 0 = 4*g - 0*g - 140. Suppose -5*j = -6*j + g. Is j composite?
True
Let d(z) = -z - 11. Let j be d(-13). Suppose 5*p - 33 = j*p. Is p composite?
False
Let z be 344/6 + (-2)/6. Suppose 22 - z = -y. Is y prime?
False
Is (-1 - 9/(-11)) + 8553/33 composite?
True
Let o = -4131 - -7618. Is o composite?
True
Suppose -3*m + 423 = -4*z, 0 = -3*m - z - z + 405. Let u = -266 + m. Is (-1 - 2)/(9/u) a prime number?
True
Let n = 16 - 10. Let a be n/4*(-40)/6. Let s = -3 - a. Is s prime?
True
Suppose -3*s + 34 = -4*q + 1, 9 = 3*s + 4*q. Let u(j) = 5*j**2 - 5*j + 7. Is u(s) prime?
False
Suppose 0 = 4*a + 4*f - 2456, -2474 = -0*a - 4*a + 5*f. Suppose 2*m = b + a, -3*m - 4*b - b = -911. Is m prime?
True
Let j(d) = 70*d**2 - 1. Suppose 4*m + 2*x = 5 + 3, 4*x = -5*m + 4. Let p(k) = k**3 - 4*k**2 - 1. Let y be p(m). Is j(y) prime?
False
Let w = -22 - -62. Suppose -4*y = -0*y - w. Is y composite?
True
Suppose -b = b - 250. Suppose -b + 14 = -3*d. Is d a composite number?
False
Suppose -y = 5, -y - 3*y - 26 = -3*f. Let d be 13/(-4) - f/(-8). Is 7 - -2*d/6 composite?
True
Suppose -14*w + 10*w + 2172 = 0. Is w + -2 - (-4)/1 prime?
False
Is (-2)/7 - 26523/(-49) a prime number?
True
Let k(x) = -x**3 - 10*x**2 + 3*x - 5. Is k(-11) prime?
True
Suppose -3*v + v + 2*g - 8 = 0, 17 = -3*v + 4*g. Let d be (-2*1 + v)*-104. Let x = d + 11. Is x a composite number?
True
Let s(p) = -2*p + p - 17 + 6. Let i be s(-8). Is 37/(-3)*i*1 a composite number?
False
Let u = -287 + 568. Let g = -139 + u. Is g a prime number?
False
Let h(p) = p + 1 + 3*p - 6*p + p. Let k be h(1). Suppose 0 = -k*g + g - 59. Is g a composite number?
False
Suppose -4692 - 5053 = -5*g. Is g a prime number?
True
Let k(q) = 15*q**3 + q**2 + 21*q - 1. Is k(6) composite?
True
Suppose -3*g = 5*u - 4058, g - 3*u - 1938 + 604 = 0. Is g a composite number?
True
Let a(m) be the second derivative of -m**3 + 9*m**2/2 - 3*m. Is a(-10) a composite number?
True
Let q = 394 + -181. Is q a composite number?
True
Suppose -3*t + 2*t = 0. Let p be -2*(1 + -2) - -1. Suppose 0 = -p*n - 15, -l + 0*n - 2*n + 39 = t. Is l a composite number?
True
Is 373/3*(10 - 7) composite?
False
Let q(j) be the second derivative of -j**7/210 + j**6/120 + j**5/40 + j**4/24 + 2*j**3/3 - 4*j. Let v(k) be the second derivative of q(k). Is v(-2) prime?
False
Suppose -5*t + 409 = -2191. Let c = t + -361. Suppose 5*l - c = 116. Is l a prime number?
False
Let m be 26/6 + 4/(-12). Let a be 14/m - 1/2. Suppose 2*h - 75 + 234 = a*y, y + 3*h = 64. Is y prime?
False
Let n(r) = -r**2 + 7*r - 8. Let l be n(6). Let q = 0 - l. Suppose -3*i + f = -98, q*i + 36 = 3*i - f. Is i a composite number?
False
Suppose 2*b - 3*b + 679 = 0. Is b composite?
True
Let f(i) = 2*i**3 - i**2 + 2*i. Let c be f(2). Suppose -3*b - 62 - c = w, 3*w = 9. Let s = 110 + b. Is s a composite number?
False
Let r = -32 - -65. Is r composite?
True
Suppose -3*y = -22 + 7. Suppose -y*t - s + 81 = -153, -s - 88 = -2*t. Is t a composite number?
True
Let o(n) = 70*n + 1. Let m be o(1). Suppose 612 = -i + 6*i + 4*k, 5*i = 3*k + 626. Let h = i - m. Is h a composite number?
False
Suppose 3*n = 3*k - 18, 4*k + 4*n - 2 = 14. Suppose -a - 475 = -q, -2*q + k*a + 1417 = q. Is q a composite number?
False
Let o = -43 + 27. Let r(k) = -k**3 - k + 27. Let z be r(0). Let b = z + o. Is b a prime number?
True
Let x be 216/1*24/18. Suppose -j - j + x = -n, 3*j - n - 431 = 0. Is j prime?
False
Suppose 4*h - 1338 = 2826. Is h a prime number?
False
Let n(d) = 20*d**2 + 51*d + 6. Let z(t) = 4*t**2 + 10*t + 1. Let h(i) = -2*n(i) + 11*z(i). Is h(6) a prime number?
True
Is 38/(-4)*-4 + (1 - 2) prime?
True
Let u(d) = 1. Let h(y) = y - 51. Let b(v) = -h(v) - 2*u(v). Let w be b(0). Suppose 91 = 4*n - w. Is n prime?
False
Suppose 2*c = j + 692 - 25, 3*j = 2*c - 661. Is (-1)/((-2)/c)*2 prime?
False
Let n be (-1)/(-3) - 70/(-6). Is ((-466)/4)/((-6)/n) composite?
False
Is -1 + 4 - (-3 - (814 + -2)) prime?
False
Let d be (-3 + -1)*57/(-2). Suppose -n = 3*n - 8. Is d + (-5 + n)/(-3) a composite number?
True
Let v(n) = -14*n - 3. Let p be v(5). Let r = 16 - p. Let l = r + -30. Is l a prime number?
True
Let c = 901 - 385. Suppose -n + 2*p + p + 137 = 0, 4*n - c = -4*p. Is n prime?
True
Is 2*(-2)/((-12)/339) a composite number?
False
Let p(b) = 18*b + 1. Suppose 0 = -5*u - 3*j + 35, -u + 2*j - 4*j + 7 = 0. Let l = u - 4. Is p(l) a composite number?
True
Let x(z) = -23*z**3 + 2*z**2 + z - 5. Is x(-3) composite?
False
Suppose -4*p - 329 = -p + 5*n, -4*p = 5*n + 432. Let z = 182 + p. Is z composite?
False
Suppose -5*f + 3*n - 4*n = -399, 0 = -2*n + 8. Is f a prime number?
True
Let r(z) = z**3 + 20*z**2 - 31*z - 16. Is r(-21) a prime number?
False
Let r(k) = -k + 9. Let f be r(4). Suppose f*c = -5*s + 4000, -5*c + 4021 = -0*s - 2*s. Is c composite?
True
Let t be (2 - -5 - -1) + -1. Suppose -t*x - 20 = -3*x. Let k(n) = -7*n - 1. Is k(x) prime?
False
Let h = 141 - 20. Is h composite?
True
Let h be 4/(-14) + (-363)/(-21). Let 