x - m*v - 144 = 0. Is x a prime number?
True
Suppose 4*b = 3*t - b - 191, -t = -3*b - 65. Suppose -3*a + 9 = 4*d + 1, d - 2*a = 13. Suppose -m + t = -d*k, 5*m + 0*k = 5*k + 210. Is m a composite number?
False
Let s be (42/(-9))/((-6)/9). Suppose s*r = 2*r + 20. Is r prime?
False
Suppose 0 = -5*k + 2*g + 11, 0 = 2*g - g - 2. Let i = k + 0. Is i a composite number?
False
Let m be (10/(-4))/(6/(-12)). Suppose -m*y + 5 = -15. Suppose 5*i = 4*w - 0*w + 111, -y*w - 16 = 0. Is i prime?
True
Is (-3)/(-2)*1172/6 prime?
True
Let p = -24 - -79. Let i(a) = -a + a + 3*a + p - 2*a. Is i(0) prime?
False
Let v(u) = 325*u**3 + u**2 + 2*u + 1. Is v(2) prime?
True
Let z(f) = f - 2*f - 10 + 3. Let x be z(-11). Let o(v) = 6*v**2 - 2*v + 3. Is o(x) a composite number?
True
Let v(h) = -11*h**3 - 2*h**2 + h + 3. Let k(w) = w**3 + w**2 - w. Let p(a) = -3*k(a) - v(a). Let s be p(2). Suppose 4*g - s = 207. Is g composite?
False
Let o(c) = -3*c**2 + 7*c + 3. Let u(k) = -2*k**2 + 7*k + 3. Let j(x) = 3*o(x) - 4*u(x). Suppose 4*p = -6 - 14. Is j(p) prime?
True
Is 28375/35 - (-6)/21 composite?
False
Is 99 + (3 - 3 - 4) prime?
False
Suppose 2*d - 2 = 8. Let o(j) = 21*j + 6. Is o(d) prime?
False
Let r(u) = u**2 - 8*u + 2. Let m be r(-8). Let b = -75 + m. Is b a prime number?
False
Suppose -3*t + 2*g + 5 = -9, 4*t + 2*g = 0. Suppose -t*b = -b - 76. Suppose -3*a - n = -b, a = 2*n + 11 + 12. Is a prime?
False
Let n be (-38)/(-14) + (-8)/(-28). Suppose 2*z - 6 = -n*c, -2*z = c - 2 - 4. Suppose -z*f + 53 = -2*f. Is f a composite number?
False
Let x(q) = 563*q + 2. Is x(1) composite?
True
Is 5 + -5 + (367 - 0) composite?
False
Let t = 6 - 2. Suppose 0 = b - 0*s + 2*s - 119, 5*b - 583 = -t*s. Is b a prime number?
False
Is (-3 - (-4 - (3 - 5))) + 116 a composite number?
True
Let i = 16 + -15. Let k(g) = 68*g**3 + 1. Is k(i) prime?
False
Suppose 4*m = -h + 10919, 0 = -2*m + 4*h - 6*h + 5464. Is m a composite number?
False
Let v(t) = t**3 + 13*t**2 - 14*t + 5. Is v(-13) prime?
False
Suppose j + 4 = 2. Let n = j + 4. Suppose -n*u + 232 = 5*k - 3*u, -150 = -3*k - 3*u. Is k composite?
False
Let b = 3369 + -2390. Is b a composite number?
True
Suppose 4*c - 7*c - 87 = 0. Is (-2 + c)*-7*1 composite?
True
Suppose b = p - 1 - 4, -4*p + b = -20. Let g(o) = o**3 - 4*o**2 - 7 - p*o**2 + 0 + 10*o. Is g(9) prime?
True
Suppose 0 = -4*p + 52 - 348. Is (p/4)/(5/(-50)) a prime number?
False
Let l(r) = r + 1. Let t be l(-4). Let d be -2 + t/3*-2. Suppose 5*x - 280 = 3*j - 2*j, d = 2*j + 10. Is x prime?
False
Let b = -31 - 122. Let w = b + 78. Let m = -42 - w. Is m composite?
True
Let h(p) = -p**3 + 12*p**2 - 9*p. Suppose 3*f = -2*f + 30. Suppose 2*t = -f + 28. Is h(t) prime?
False
Suppose -6*a + 16*a = 3670. Is a a composite number?
False
Let r be (-10)/(-15) + (-4)/6. Suppose r = 4*f - 3*w - 20, -f + 4 + 1 = -w. Suppose -y + 16 = -5*y, 0 = -3*j + f*y + 365. Is j composite?
True
Let i(g) = -g**2 - 18*g - 26. Is i(-15) composite?
False
Is 6/(-8) - 110/(-8) a prime number?
True
Let y(g) = 22*g - 2. Let q be y(-4). Let l = q + 127. Is l prime?
True
Suppose -2*n + 0 = 4. Let a be (n + 14)/((-2)/5). Is (-2)/(-4)*-1*a a prime number?
False
Let c(m) = -m + 9. Let q be c(7). Let l be q - 4*(-2)/2. Suppose -3*x + 329 = -4*n, -452 = -l*x + 2*x + 2*n. Is x composite?
True
Let p be ((-222)/(-24))/(2/32). Suppose -3*z = z - p. Is z a composite number?
False
Let z(y) = y**2 + 3*y + 3. Let d be z(-3). Suppose -2*h + 4 = 2*p - 7*h, -4*h = 0. Suppose -p*v = -d*v + 58. Is v prime?
False
Let z(l) = 20*l + 13. Let b(r) = 40*r + 26. Let i(o) = 2*b(o) - 5*z(o). Is i(-10) a prime number?
False
Suppose -2*c - 3*c - 10 = 0. Let z(j) = -7*j**3 - 4*j**2 - 4*j - 2. Is z(c) a prime number?
False
Suppose -3*f - 3*j - 21 = 0, -5*j + 0 = -f + 23. Let p be f - -1*(-66)/2. Let s = p + 66. Is s composite?
False
Let d(k) = 2*k**3 - 2*k**2 - 9*k + 12. Let f be ((-6)/(-4))/((-15)/(-50)). Is d(f) prime?
True
Let r = 28 - 19. Let q be (-64)/(-3) - (-6)/r. Let z = -1 + q. Is z a composite number?
True
Let p = 730 + 489. Is p a prime number?
False
Let r(k) = 14*k**2 + 2*k + 1. Suppose 0 = -3*z + 4*v - 3*v, 3*v = 5*z. Suppose 5*j + 5 + 5 = z. Is r(j) a prime number?
True
Let j(o) = -o**3 + 6*o**2 + 5*o + 1. Is j(6) composite?
False
Let d = 701 - 492. Is d prime?
False
Let o = 3 - -4. Let c = 82 + o. Is c composite?
False
Is 6/4 - (-4175)/10 a composite number?
False
Let k(d) = 8*d**3 - 3*d**2 + 2*d - 1. Is k(2) prime?
False
Let n = -95 + 20. Let d = 128 + n. Is d a prime number?
True
Suppose -6*i + 178 = -4*i. Is i a prime number?
True
Suppose 0 = -5*c + m + 2*m + 1907, 4*m + 774 = 2*c. Is c composite?
False
Suppose -3*s - 2*s = 50. Let n be (s*1)/(-3 + 1). Suppose 0 = -0*b + n*b - 285. Is b composite?
True
Suppose -4*s = -1529 - 227. Is s a prime number?
True
Let z be (-41 - 1)*(-24)/(-9). Is z/(-6) + (-6)/(-18) prime?
True
Suppose 2*v + 93 = w, -362 = -2*w - 2*w - 2*v. Let a = 6 - 3. Suppose -a*i + w = -2. Is i a composite number?
False
Is 4/2*(-2918)/(-4) a composite number?
False
Let j = -5 - -4. Let r be (-1)/((3/6)/j). Suppose -5*f = -r*d - 101, -2*d = -3*f - 3*d + 54. Is f prime?
True
Suppose 0 = -p + 1 + 9. Let h = p + -17. Is 8/(-28) + (-79)/h a prime number?
True
Suppose q = -2*o + 1725, -4*q - 4*o + 7391 = 475. Is q composite?
False
Let s(v) = -109*v. Let q = 21 + -26. Is s(q) a prime number?
False
Let o be 2346/(-9) + 2/3. Let x = -133 - o. Is x composite?
False
Let w = 43 - 20. Suppose -48 = -7*c + c. Let h = w - c. Is h a prime number?
False
Suppose -432 = 3*t + 687. Is t/(-7) - (-18)/(-63) prime?
True
Let n = -2 + 6. Suppose n*a + 41 = 421. Is a composite?
True
Let o be (1 + -2377)/(-3) - 1. Suppose -3*r - 176 + o = 0. Is r composite?
True
Suppose -5*q - 16 = -q. Is (-2 - q)*(-213)/(-6) a composite number?
False
Let p(u) = u**3 + 139. Is p(0) prime?
True
Let z(b) = 5*b**2 + 2*b - 1. Let v be z(1). Let g(t) = t**3 - 5*t**2 - 5*t - 6. Let k be g(v). Suppose 2*s + k*s - 10 = 0, -168 = -4*c + 4*s. Is c prime?
True
Is 892/6 + (-11)/(-33) a prime number?
True
Suppose 2*s - 3*x = -11 + 3, x - 4 = 0. Is (253 - -2) + s/1 prime?
True
Let z = 1711 - 773. Suppose -s - s = -z. Is s composite?
True
Let k be (2 + 1)*(2 + -3). Let t be (-2)/(k/12*2). Suppose -2*v - 425 = -5*r, -144 = -t*r + 4*v + 196. Is r prime?
False
Let k = 234 - 107. Is k a composite number?
False
Let f be ((-40)/(-15))/(4/6). Suppose -f*g - s = 1581, g = -3*s - 506 + 108. Is (-2)/6*(g - -2) a prime number?
True
Let t = -32 + 66. Suppose -5*x + 15 = -3*d, -2*d + 9 = 3*x - 7*d. Let r = t + x. Is r a composite number?
False
Let l = -4 + 8. Suppose -l*v + 68 = 4*x, 4*x = -2*v - 0*v + 64. Suppose x = j - 6. Is j prime?
False
Let w = -1 - -2. Is 0 - (w - -2) - -40 a composite number?
False
Let c = -5 - -5. Suppose c*d - 3*d = 4*a + 724, a - d + 174 = 0. Is a/4*(-2)/1 composite?
False
Suppose o = -2*o + 4*z + 16, 2*z + 8 = o. Suppose o*p = -p + 191. Is p a prime number?
True
Suppose -2*p = -p - 51. Let k = p - 30. Is k a composite number?
True
Is 631*(3/1 - 2) composite?
False
Suppose n + 192 = 3*c, -115 = -5*c + 3*c + 5*n. Suppose b - c = 200. Is b a prime number?
False
Let p(d) = d. Let f(h) = -181*h + 4. Let k(b) = -f(b) + 2*p(b). Is k(5) composite?
False
Let q(z) = -13*z + 2. Is q(-1) composite?
True
Let p(k) = 3*k**2 - 2*k + 2. Let h be p(3). Suppose c = -4*a + 58, -3*c + 0*a + 129 = 3*a. Let l = c - h. Is l prime?
False
Let l(j) = -79*j + 44. Is l(-11) prime?
False
Suppose -4*n + 2*n + 44 = 0. Let f be (-68)/(-11) + (-4)/n. Let b = 12 - f. Is b composite?
True
Let h(w) be the second derivative of 13*w**5/20 - w**4/12 - w**3/2 + w**2 - 7*w. Is h(3) a composite number?
True
Is (2/2 + 156)*1 a prime number?
True
Let o(t) = 111*t**3 - 2*t**2 + t. Let w be o(1). Suppose 5*n - w = -i, -i = -3*n - 2*i + 66. Is n prime?
False
Let j(m) = 5*m - 4. Is j(3) a prime number?
True
Suppose 0*x + 5*x = -5*j + 435, -5*x + 443 = -3*j. Suppose -x = -n - 3*p + 51, p + 377 = 3*n. Is n a composite number?
False
Let g = -554 - -821. Suppose c - g = -2*c. Is c composite?
False
Let v(a) = 2*a**3 - 4*a**2 + a + 4. Let m be v(3). Suppose -2*h + m = 3*h. Suppose 13 = b - 4*t - 70, 0 = 5*b + h*t - 315. Is b a composite number?
False
Let t(c) = 27*c**2 - c + 15. Is t(10) a prime number?
False
Suppose 0