 Suppose 2*a = k*a - 633. Is a composite?
False
Suppose 2*q - 528 = -4*l, -4*q + 3*l + 349 = -685. Suppose -184 = -4*t + q. Is t a composite number?
True
Suppose -m - 1748 = -3*m - 2*y, 5*m + y = 4350. Suppose 32 + m = -5*n - 3*o, 9 = 3*o. Is 3/2 - n/4 a prime number?
True
Suppose 0 = 7*b - 6953 + 604. Is b a composite number?
False
Let y = -5 + 10. Suppose v = y*v - 248. Is v prime?
False
Suppose 12*f - 1109 = 11*f. Is f a composite number?
False
Let r be 4 - 1 - (-4 + 7). Suppose r = 3*u - u - 44. Is u a composite number?
True
Let n(f) = f - 1. Let v be n(6). Suppose 3 = 3*i, -v*l = -4*i + 8*i - 119. Let c = l - 13. Is c prime?
False
Let z(i) = i**2 + i + 17. Is z(13) a prime number?
True
Let m(k) = -2*k. Let q be m(1). Let d be (-1)/(-2)*(0 + q). Is (-85)/d - 2/1 prime?
True
Suppose i + 4722 = 7*i. Is i a composite number?
False
Suppose -p - 5*z = 2*p - 2450, -5*z - 1625 = -2*p. Is p prime?
False
Is (-331)/4*8/(-2) a composite number?
False
Let l(x) = 196*x**2 + x + 7. Is l(-2) prime?
False
Suppose -422 = -t + 465. Is t a composite number?
False
Suppose -13*x - 2971 = -24252. Is x a prime number?
True
Let l(r) = 2*r**2 - 26*r - 14. Is l(-12) prime?
False
Let b = -22 - -31. Suppose -u + 100 + b = 0. Is u a composite number?
False
Let h = -853 - -1722. Is h prime?
False
Let t(z) be the second derivative of z**6/120 - 7*z**5/60 + z**4/4 + 7*z**3/6 - 2*z**2 - 3*z. Let k(u) be the first derivative of t(u). Is k(8) composite?
True
Suppose 0 = -2*x - 5*s + 31, 5*s - 13 = 5*x - 3. Let v be -2 - (-1)/(2/16). Suppose -x*u + 2*u = -v. Is u a prime number?
False
Suppose 0 = -4*z - 5*f + 55, 4*z - 3*f = -z + 78. Let q = -1 + z. Is q composite?
True
Let g = 8 + -3. Suppose -108 - 241 = -4*z - g*w, 3*z + 3*w = 264. Is z prime?
False
Suppose 3*u = -u. Suppose -4*s + 526 + 106 = u. Is s prime?
False
Let o(y) = 5*y**2 + 9*y - 1. Is o(-7) composite?
False
Let g(p) = 16*p**2 + 5*p + 4. Let z(h) = -17*h**2 - 6*h - 5. Suppose 4 = -3*r + 4*r. Let l(y) = r*z(y) + 5*g(y). Is l(-1) a composite number?
False
Suppose -3*w = -15 + 3. Let i(u) = u + 3*u**3 + 3*u - w*u**3. Is i(-3) a composite number?
True
Let s = -2 - -4. Let x be 0/(s*(2 - 1)). Suppose 0*y = 3*p - 4*y - 241, x = 4*p + 2*y - 336. Is p composite?
False
Suppose -2*n = 2*q - 836, -837 = -2*n - 0*n - q. Is n composite?
False
Let c(b) be the third derivative of -b**2 - 1/6*b**3 + 0 - 3/4*b**4 + 0*b. Is c(-2) prime?
False
Let r(a) = 2*a**2 - 4*a - 7. Is r(-6) prime?
True
Let l(u) = 3*u - 4. Let m be l(2). Is (-2716)/m*2/(-4) a prime number?
False
Let f = 17 + -15. Suppose 5*b - 2*p = -0*p + 177, -f*p + 173 = 5*b. Is b composite?
True
Let w be 5 - 1 - (-11 - -12). Let i be 1/(0 + 2/(-10)). Is w - (-78 + (-3 - i)) composite?
False
Suppose -1598 = -36*f + 34*f. Is f prime?
False
Let q be (2 - 42)*4/(-10). Suppose 5*c - c = -q. Is (2 + c)*138/(-4) a composite number?
True
Suppose 11*d = 14*d - 2421. Is d prime?
False
Suppose 41 = 5*d - 4*r, -5*r - 30 = -5*d + 15. Suppose -s - 56 + 5 = 3*o, 0 = -d*o + s - 85. Is (-12)/(-6) - (o - 0) a prime number?
True
Suppose -1804 = -4*k - 4*w, 0*k + 2239 = 5*k + w. Is k a composite number?
True
Suppose 0*h = 3*h + 3*c - 171, -114 = -2*h + 5*c. Is h prime?
False
Let t(z) = z. Let h be 2*3/(-6)*3. Let a be t(h). Let b(u) = -3*u**3 - 4. Is b(a) prime?
False
Let h(r) = -2*r**3 + 6*r**3 + 0*r**3 - 3*r**3 - r - 2*r**2 - 1. Let l be h(3). Suppose -3*i = 2*c - c - 6, i = -l*c + 100. Is c a prime number?
False
Let c(f) = -291*f - 16. Is c(-5) prime?
True
Suppose 2*z - 19 = 3*z. Is z*28/4*-1 composite?
True
Suppose -4*z - 5*y + y = 4, 5*z = -3*y + 1. Suppose -g - 177 = -6*g + w, z*g + w - 68 = 0. Is g composite?
True
Let b be -3*3/(-18)*4. Suppose b*v + 14 + 14 = 2*s, 0 = 3*s + 5*v - 18. Is s prime?
True
Suppose -5*p = -2*p - 18. Suppose p*j - 4*j - 86 = 0. Is j a composite number?
False
Suppose 4*h + 5*v = -45, 3*v - 69 = 4*h - 0*v. Let g = -1 - h. Is g composite?
True
Suppose -5*d + 4*k + 218 = -130, 0 = 5*k - 15. Suppose -4*q - g + 129 = 0, 0*g - d = -2*q + 2*g. Is q a prime number?
False
Suppose 14*c = 3109 + 26613. Is c a composite number?
True
Let a(u) = 4*u**2 + 11*u + 20. Is a(13) composite?
False
Suppose 318 = 5*p - 3*i - i, -2*p - 5*i + 114 = 0. Is p a composite number?
True
Suppose -2*b + 16 = -3*h, h + 3 = -b + 1. Suppose -4*p = -b - 6. Suppose -2*j + 8 = p. Is j a composite number?
False
Suppose -2*u + u - 29 = -5*r, -r + 2 = -4*u. Suppose 0 = -3*j + r*j - 18. Is j composite?
True
Suppose t - 576 = 5*h, -3*h + 2 = -7. Is t a composite number?
True
Let w be (0 - -3) + (0 - -57). Suppose 184 = -3*q + 6*q + 5*z, -q - 3*z = -w. Suppose 190 = h + q. Is h a prime number?
True
Suppose 3*d - 3*t - 2*t - 17798 = 0, 0 = -d - 2*t + 5951. Is d a composite number?
True
Suppose 564 = -3*s + 4173. Is s prime?
False
Suppose y = -1, -3*g - 3*y + 6*y + 960 = 0. Is g prime?
False
Let h(g) = 2*g. Let l be h(1). Suppose 0 = 3*z + l*z - 245. Suppose -4*p - z = -5*u, -5*p + 2 = -u - 5. Is u composite?
False
Let w(l) be the first derivative of -1/2*l**2 + 2*l + 2/3*l**3 + 2. Is w(5) prime?
True
Suppose 2*w + 4 = 4*w. Let o be 0*((1 - 2) + w). Suppose -3*y - 2*y + 55 = o. Is y a prime number?
True
Suppose 461 = -o - 4*g, 2*g = -2*o + 3*g - 886. Is o*(-3)/(3 + 0) prime?
False
Is (-5 + 1)/4*-977 prime?
True
Suppose -3632 = -2*z - 5*l + 237, 5*l = 3*z - 5816. Is z prime?
False
Is (-4)/14 - 3686/(-14) a prime number?
True
Suppose u - 430 = -3*c, -5*u + 122 = c - 10*u. Is c a prime number?
False
Let t be 2*((-60)/(-8))/3. Let s be 2/(((-4)/(-542))/1). Suppose -2*z = -t*w + s, w + z - 112 = -w. Is w composite?
True
Suppose 10 = 4*c - 2*y, -3*c + 1 = -5*y + 4. Is ((-46)/c)/(1/(-2)) a prime number?
True
Suppose -3*m - 3*k - 118 = -4*m, m - 4*k = 115. Is m a prime number?
True
Let g(l) = -l**2 - 10*l. Let m be g(-7). Suppose -m = 3*p - 6*p. Is p prime?
True
Let h = 3 - 4. Is -739*(h - -3 - 3) a prime number?
True
Is ((-11)/22)/(1/(-674)) prime?
True
Let w = -22 + 62. Let o be ((-13)/2)/((-4)/w). Let i = -26 + o. Is i a prime number?
False
Is 41427/12 + (1 - 1/4) prime?
False
Let o(d) = 22*d**2 - 3*d - 5. Is o(-2) a composite number?
False
Let r(w) = -26*w + 3. Let b be r(2). Let z = b + 236. Is z a prime number?
False
Let i be (3/9)/((-2)/(-30)). Suppose i*t - 5*k - 120 = 0, -t - k = -6*t + 116. Is t composite?
False
Let n be (-32)/12*66/(-8). Suppose 5*k - n = -2*g, -3*k - 5*g = 2 - 0. Is k prime?
False
Suppose 4*u - 30 = -u. Suppose -316 = -u*f + 4*f. Is f composite?
True
Let g be 6/2*8/6. Suppose f - 316 = 3*i, -14 = g*i + 6. Is f a prime number?
False
Suppose -3*k + 20 = 2*k. Suppose -4*y + j + 11 = 0, 0 = -k*j + 4. Suppose 104 + 49 = y*o. Is o composite?
True
Suppose 4*m + 3*j + 7 = 0, -2*j - 10 = -0*j. Let l be 0 + 1 - m*54. Let s = -76 - l. Is s a composite number?
False
Is 11/2*(65 + 17) prime?
False
Let w(g) = 3*g**2 - 7*g + 6. Is w(5) prime?
False
Let u = 10 + 175. Is u composite?
True
Let c be (-9)/(-27) + 203/3. Suppose -4*x - c = -720. Is x prime?
True
Let o(q) be the second derivative of q**4/12 - q**3/6 + 223*q**2/2 - 3*q. Is o(0) a composite number?
False
Suppose -9*l - 20 = -10*l. Let a = l + 95. Is a composite?
True
Let m(u) = 2*u**2 + 3*u - 1. Let v be m(-3). Suppose -9*q + 23 = -v*q. Is q a composite number?
False
Suppose 2*h - 39 = -127. Let g(m) = -8*m**2 - 2*m - 3. Let d be g(3). Let u = h - d. Is u prime?
True
Let d(l) = 12*l**3 - l + 1 + 3*l**2 - 3*l**2 - l**2. Is d(2) a composite number?
True
Is (14 + -2)*89/4 a prime number?
False
Is (-264)/(-20) + 5/(-25) a composite number?
False
Let p = 6 + -3. Suppose 69 - 15 = p*d. Is 698/d + (-2)/(-9) composite?
True
Let s be 6/(-21) + (-144)/(-14). Suppose -56 - s = -3*x. Is x a prime number?
False
Suppose 3*b - 2195 + 290 = 0. Is b prime?
False
Let m = 2 + -5. Is 3*(-94)/m - -3 composite?
False
Suppose h = -0*h - 3. Let x(o) = o**3 + 4*o**2 + 3*o - 1. Let c be x(h). Is (-2 + 13)/(c/(-2)) prime?
False
Let v = 2304 + -1068. Suppose -2*w = -4*h - 0*w + v, w - 1531 = -5*h. Is h a prime number?
True
Suppose -4*d - 964 = -2*l - 8*d, -3*d + 486 = l. Suppose 0 = -v + 3*v - l. Is v composite?
True
Let n(g) = g**2 + 3*g + 4. Let q be n(-5). Let j(d) = -d**3 + 14*d**2 + 10*d - 13. Is j(q) a prime number?
True
Suppose -5*k + m + 15 = -0*m, 0 = 3*