 Is r prime?
False
Let v be (6/5)/(-3)*-20. Let u = v + -6. Suppose 0 = r - u. Is r prime?
True
Suppose -2*m - 18 - 4 = 5*f, -2*m = 3*f + 18. Is (9/m)/((-3)/222) a prime number?
False
Let x(t) = t**2 + 2*t - 1. Is x(-7) prime?
False
Suppose -3*n = -2*u - 5*n + 1260, 0 = 5*u - 4*n - 3159. Is u a composite number?
False
Suppose -9*j + 11*j - 1822 = 0. Is j a prime number?
True
Let u(l) = l**2 - 6*l + 3. Let x(p) = 2*p**2 - 11*p + 6. Let r(s) = 7*u(s) - 3*x(s). Let m be r(5). Let h = m - -32. Is h composite?
True
Let j = -1005 - -1448. Is j prime?
True
Let g(d) = -3 - 70*d - 79*d - 2. Is g(-2) a prime number?
True
Let f(s) = -15*s + 3. Is f(-2) composite?
True
Suppose -4*n + r = 2*r - 9333, -2*n + 4*r = -4662. Is n a prime number?
True
Let m = -8 - -14. Suppose 2*a - 6*a = -o - m, -o = -a. Suppose -a*i - 91 = -3*i. Is i a prime number?
False
Suppose -4*q = m - 5*m - 172, 2*m + 86 = 5*q. Let c = m + 122. Is c composite?
False
Let b = -493 + 1021. Suppose -5*y = -g + 107, g = -3*g - 5*y + b. Is g a composite number?
False
Suppose 18 = 2*f + f. Let a be f/(-2)*4/6. Is 4*((-9)/6 - a) composite?
False
Let d = 28 + -14. Is (-14853)/(-21) - 4/d a composite number?
True
Let z(y) = y + 17. Let n be z(-15). Is n/(-3)*(-3084)/8 a prime number?
True
Suppose 0 = 5*v + 10, 2*p - 2*v = p + 7. Suppose -102 = p*k + 150. Is (-1)/(k/83 - -1) a prime number?
True
Suppose -23 = -5*j - 5*r - 213, -j = 4*r + 23. Let s = -18 - j. Let l = s - -1. Is l a prime number?
False
Let c(y) = 3*y**2 - 2*y + 4. Is c(-11) composite?
False
Let v = -71 - -704. Is v prime?
False
Let w be 3*(-3 - 44/(-6)). Let c = 16 - w. Is c composite?
False
Let v = -525 - -1118. Is v a composite number?
False
Let b be 2/(-4)*(-4 - 8). Suppose -3*t - 2*h + 27 = -5*h, h - b = -2*t. Suppose 0 = 5*r - i - 271, -t*i + 0*i + 295 = 5*r. Is r a composite number?
True
Let n = 59 - 36. Is n*(0 - 3)/(-3) a composite number?
False
Suppose -d + 9*k = 4*k + 143, -5*d + 5*k - 695 = 0. Is d*((-10)/(-4) + -3) a prime number?
False
Suppose m - 689 = 302. Is m composite?
False
Suppose -g + 112 = -6. Let u = g - -34. Let f = u + -105. Is f a prime number?
True
Let n(i) = -i - 1. Let m = 0 + 1. Let x be n(m). Is (2/(-6))/(x/222) composite?
False
Suppose -8380 = -2*c - 8*c. Is c a prime number?
False
Let o(i) be the second derivative of i**4/12 - 3*i**3/2 + 7*i**2/2 + i. Let f be o(8). Is 53 - ((-3)/f + -1) composite?
True
Suppose 2*q = 18*u - 13*u + 524, -q + 259 = -u. Is q composite?
False
Let m(d) be the second derivative of d**6/120 - d**5/20 + 7*d**4/24 + 2*d**3/3 + d. Let h(i) be the second derivative of m(i). Is h(6) a composite number?
False
Is 948 - (2 + 3 - 4) a prime number?
True
Let r(a) = -60*a**3 + 2*a + 1. Suppose 2*t + 2*z + 12 = 0, -2*t - z = t + 12. Let o be t/(-2)*(-2)/3. Is r(o) prime?
True
Is (3 - (0 + -1)) + 219 prime?
True
Suppose -4*d + 1251 = -d. Suppose -5*o + d = -148. Is o composite?
False
Let r(h) be the third derivative of h**5/60 + h**4/4 - 5*h**3/6 - 7*h**2. Is r(-12) a prime number?
True
Let v(w) = w + 9. Suppose r = -3*x + 6, -x = r - 0*x + 4. Let t be v(r). Suppose u - 2*i - 75 = t, -3*u - u = -3*i - 280. Is u composite?
False
Let g(f) = 55*f + 3. Let m(t) = -2 - 3*t**2 - 2*t - t**3 - 3*t**3 + 3*t**3. Let j be m(-3). Is g(j) prime?
True
Is ((-16)/56)/(1/(-217)) a prime number?
False
Let p = 2 - 2. Let i = p - -5. Suppose 0*b + 605 = i*b. Is b a prime number?
False
Let b = 269 + -112. Is b prime?
True
Suppose -5*b - r + 196 = 3*r, -3*b + 128 = 5*r. Suppose p = -3*p + b. Suppose -4*x - 20 = -p*x. Is x a composite number?
True
Suppose -5*v = f - 608, 5*f - v = -1183 + 4093. Is f a composite number?
True
Suppose 3*s + s - 60 = 0. Suppose s = 2*b - 37. Is b a composite number?
True
Suppose -10 = -4*n - n, 0 = p + 3*n - 325. Is p a composite number?
True
Suppose -2*w + 12 = -2. Is 2889/w + (-4)/(-14) a prime number?
False
Let m(p) = p**2. Let q(w) = -4*w**2 + 2*w + 3. Let n(i) = -2*m(i) - q(i). Suppose -t = 5 - 2. Is n(t) composite?
True
Let q(f) = 2*f**2 + 8*f - 11. Is q(9) a prime number?
True
Let w be -5 + 3 + 8/2. Suppose -w*r - 5*n + 331 = 2*r, 15 = 5*n. Is r a prime number?
True
Suppose 5*g - 136 = 3*t + 834, 0 = -3*g - 5*t + 548. Is g a composite number?
False
Let i(a) be the third derivative of -a**5/120 + 5*a**4/8 - a**3/6 + 4*a**2. Let s(u) be the first derivative of i(u). Is s(12) prime?
True
Suppose -3*r + 3*o = -6, -2*r - r = o - 10. Suppose r*w = 5*w - 226. Is w prime?
True
Suppose -3*a = -0*a + f - 1225, -2*a + f + 810 = 0. Is a a prime number?
False
Let h(n) = -2*n - 6. Suppose 0 = -3*v - 19 + 4. Is h(v) composite?
True
Let s(b) = -b**2 + 8*b - 5. Let d be s(7). Let r be d/(4/5)*2. Suppose 31 = -4*v + r*v. Is v prime?
True
Suppose 0 = 5*m - 9702 - 5333. Is m a composite number?
True
Let c(u) = u - 7. Let t be c(6). Let i be 458*(1 + -1 - t). Is (-4)/(-14) + i/14 prime?
False
Suppose 0 = 3*t - 2*t + 1. Let k be -10*(t - 2/(-4)). Suppose 4*x + 0*x - k*d = 168, -d = -3*x + 115. Is x a composite number?
False
Let p be 0/1 - (-2 + -9). Let h be 2/p - 46/11. Let r(q) = 2*q**2 - 1. Is r(h) a composite number?
False
Let l(i) = i**2 - 7*i - 12. Suppose -2*f - 8 + 26 = 0. Is l(f) a prime number?
False
Let p = 23 - 18. Suppose -p*c - 3*g = -1523, 0*g + 606 = 2*c + 2*g. Is c a composite number?
False
Is 52 - (-4)/(0 + 4) a composite number?
False
Let s = -203 + 1090. Is s prime?
True
Let c = -1 + 5. Suppose 3*d = 12, -c*b - 5*d - 56 = -8*b. Is b a prime number?
True
Suppose 3*u = u + 204. Suppose -56 = -x + u. Suppose -43 = 5*t - x. Is t a prime number?
True
Suppose 0 - 4 = -2*p. Suppose 3*d = -2*x + 351, -p*x + 4*d - 874 = -7*x. Is (x/(-9) + -3)*-3 prime?
True
Let v(z) = z**3 + 4*z**2 + z + 4. Let o be v(-5). Suppose 0 = -2*j + 5*m - 2*m - 21, -j = -5*m + 7. Let r = j - o. Is r a composite number?
True
Let x(v) = 4*v**3 + 2*v**2 + 2. Let p(u) = u**2 + 8*u + 9. Let s be p(-7). Let y be x(s). Let a = 1 + y. Is a prime?
True
Let b(n) = 251*n + 1. Let y be b(1). Let l = y - 149. Is l composite?
False
Let v = 3 - 8. Let w(r) = -r**3 - 3*r**2 + r + 1. Is w(v) composite?
True
Let o = 47 - 4. Suppose -12 = 5*t - 2, -x - 5*t = -o. Is x a prime number?
True
Let j(u) = 339*u + 1. Let r be j(-2). Is -5 - (-2 + 1) - r a prime number?
True
Let h(v) = -v + 9. Let j be h(8). Is 30 + j/3*3 prime?
True
Is (-189 + -4 + 2)/(0 - 1) composite?
False
Suppose 0 = 2*o - 0 + 8, -111 = -k - 4*o. Is k composite?
False
Suppose 23*l - 940 = 19*l. Is l a composite number?
True
Suppose 0 = 2*o - 534 - 304. Is o composite?
False
Let s(d) = 46*d**2 - 13*d + 3. Is s(-4) a prime number?
False
Let k = 6 + 251. Is k prime?
True
Let m be 59/((-6)/5 + 1). Let b = -8 - m. Let c = 450 - b. Is c a composite number?
False
Let c = 2 - -2. Suppose 4*p + q = 16, -p + 3*q - c*q = -4. Suppose -p*d + 52 = -0*d. Is d composite?
False
Let i = -67 - -225. Is i composite?
True
Let b = -153 + -317. Is (0 - 3/6)*b a prime number?
False
Suppose -2*b = -b - 2. Suppose -2*g + 166 = -4*m, -4*m = -3*m - b. Is g a prime number?
False
Let z = -5 - -11. Let g(o) = 1 - 6*o + 6 + 8*o. Is g(z) a composite number?
False
Suppose 7*d = 10*d - 69. Is d a prime number?
True
Let c(d) = 7*d**3 - 4*d**2 + d. Let n be c(4). Let k = n - 264. Is k/6 + 2/6 a composite number?
True
Let o = 59 + 291. Suppose -2*h + o = -346. Suppose 4*w + h = 2*j, -898 = -5*j - 2*w - 2*w. Is j composite?
True
Suppose y = -3*m + 196 + 2086, 1520 = 2*m + 2*y. Let x = m + -466. Is x a prime number?
False
Let k = 87 + -61. Suppose 4*f = 5*s + 49, -2*f + 2*s + 2*s = -k. Is f composite?
False
Suppose 5*z - 13 = 4*y - y, y + 3 = z. Suppose 1075 = 5*x - 4*a, -4*x = -0*x - z*a - 854. Is x composite?
False
Suppose 8*f - 4*f = -5*p - 10, 0 = -5*f. Let s be (p + 1)*0*1. Let z(y) = -y + 106. Is z(s) prime?
False
Suppose -5*h = 2 - 22. Suppose -h*p + 166 = -2*p. Is p a composite number?
False
Let y be 6109/2 - 12/24. Is 5/40 - y/(-16) composite?
False
Suppose 9*z - 4*z = 2435. Suppose 141 + z = 4*k. Is k prime?
True
Let u = 65 + -34. Is u prime?
True
Let q = -450 - -859. Is q a composite number?
False
Suppose b + 0*b = -4*t + 13, -4*b - 4*t + 28 = 0. Suppose 4*x + 284 = b*r + x, 4*r = 3*x + 229. Is r a composite number?
True
Suppose -17 - 31 = 2*w + z, -z + 62 = -3*w. Is (w/(-8))/((-3)/(-60))