Is c a prime number?
False
Let w = 1 + -13. Is (1/(-2))/(w/7032) prime?
True
Suppose -2*g - 7*c = -11*c - 1494, 5*c = -3*g + 2197. Is g a prime number?
True
Let v = 81 - -308. Let i = v + -262. Is i composite?
False
Suppose -4*o = 0, -6*o - 40 = -4*d - o. Suppose 4*z - 18 = -2*q + d, 5*z = 4*q + 9. Suppose 1807 = z*s - 1608. Is s a prime number?
True
Suppose 19*w - 24 = 22*w. Let m(n) = n**2 - 16*n - 5. Is m(w) prime?
False
Let p(g) = 2*g**2 + 14*g + 4409. Is p(0) a composite number?
False
Suppose z = -4*z + 50. Suppose 0 = -5*g + z*g - 3365. Is g prime?
True
Suppose 4*n - 2181 = 7*n. Let p be (-3 + 5)*n/(-2). Suppose 0 = -7*a + 7622 - p. Is a a composite number?
True
Suppose -2*f + 57180 = f + 3*v, -5*f = 2*v - 95309. Is f composite?
True
Let d(v) = -v**2 + 2. Let h be d(-2). Is 16085/6 - (-1)/(-12)*h prime?
False
Suppose 2*g = 5*b + 21459, -4*g + 42901 = -12*b + 19*b. Is g prime?
False
Suppose -3*y + k + 9232 = 0, 41*k + 9227 = 3*y + 39*k. Is y composite?
False
Let k(g) = 158*g**2 - 3*g - 4. Is k(-5) composite?
True
Suppose 166 = h + 42. Let v be h/6 + 14/42. Is 2/(-6) - (-1246)/v prime?
True
Let y(r) = -12*r**2 + 23*r + 21. Let g be y(-9). Let h = -751 - g. Is h composite?
True
Suppose 9*x - 5*x = 36. Suppose -3*t - x = 0, t + 1051 = b + 3*b. Is b a prime number?
False
Let l = -163 - -492. Is l a prime number?
False
Let b = 106208 + -50941. Is b a prime number?
False
Suppose -6844 - 5879 = -k. Is k composite?
True
Let n(z) = -2*z**3 - 9*z**2 + 6*z + 16. Let h be n(-14). Let y = h - 1717. Is y prime?
False
Let j = 1 - -5. Let o = j - -6. Let b = 161 - o. Is b a composite number?
False
Suppose 0 = -4*v + 3*p - 5*p + 88, 5*v - 107 = -4*p. Let m(b) = 2 + 8*b - 2 + v*b**2 + 10*b**2 + 1. Is m(8) composite?
True
Is 124 + (-2 - (6 + -11)) a composite number?
False
Suppose -j + 5 = 2*r, -3*j = 4*r - 0 - 5. Let a = 5 + -5. Suppose -154 = -3*q - w, r*q + a*w + 2*w - 255 = 0. Is q a prime number?
True
Let a = -5804 + 11431. Is a a prime number?
False
Let l be 47 + (-4)/(-2) - 1. Suppose 0*v - 2 = -2*v - 2*j, 2*j + 7 = v. Suppose -v*t + 921 = l. Is t a composite number?
True
Let m = -1008 - -4859. Let g = -1252 + m. Is g a prime number?
False
Let y(v) be the second derivative of v**4/12 - v**3/2 + v**2 + 2*v. Let s be y(3). Suppose -3*h - 2*h = 5*x - 330, 4*h = s*x - 162. Is x prime?
True
Let m(j) = -j**3 + j**2 + 3*j - 3. Suppose -3*k + 10 + 8 = 0. Let u be m(k). Is -2 - -2 - u/3 prime?
False
Let f(z) = 54*z + 2. Let j be f(6). Let p = -335 - -120. Let b = j + p. Is b composite?
True
Let p(s) = 275*s + 203. Is p(52) a prime number?
True
Let z(y) = y - 16*y + 2 - 16*y**2 + 2*y**3 - 3*y**3. Let x be z(-15). Suppose -x*j = -62 - 108. Is j composite?
True
Suppose -3*d - 14 = t, 3*d + 4 = -t + 2*t. Let w be (-1)/d - (-10)/6. Suppose -j = -w*j + 58. Is j a prime number?
False
Suppose -31*g + 138438 = -13*g. Is g a composite number?
False
Suppose -2 = -d + 13. Is 4/1 + d + 1098 composite?
False
Suppose 165 = r + 4*r. Let q be (-3)/(-2 - r/(-18)). Suppose 0 = -2*k + 140 + q. Is k prime?
True
Suppose -8541 + 44573 = 4*p. Suppose n + 15*n = p. Is n composite?
False
Let x be (0 - 4/(-3))*-4443. Let m = -3441 - x. Is m a composite number?
True
Let r(k) = k**3 + 14*k**2 - 15*k + 3. Let x be r(-15). Suppose -4*a + 449 = 5*d, 0*d = -x*a - 4*d + 337. Is a composite?
True
Suppose 0 = i - 1, 0 = 3*s + 3*i - 4 - 62. Is (-8)/28 - (-6159)/s composite?
False
Suppose -2*v - c + 4*c + 131 = 0, 5*v + 5*c - 265 = 0. Let u be 4/6 - (-1)/3. Is u - (1 - (v + 4)) prime?
False
Suppose -q = -2, -2*c - 4*q + 2415 = -829. Is c a prime number?
False
Let v(g) = -3*g**3 - 13*g**2 - 29*g + 9. Is v(-12) a composite number?
True
Let n = -39 - 26. Suppose 3*c = -3*a + 6*a + 429, 565 = 4*c + 3*a. Let y = n + c. Is y composite?
True
Suppose 5*w = 18 - 3. Let i = 5 - w. Suppose -3*n - 2*a = -4*n + 460, -i*a + 1810 = 4*n. Is n composite?
True
Let j(m) = -20*m**3 - 19*m**3 - 2*m + 35*m**3 - 3 - 6*m - 2*m**2. Is j(-5) a prime number?
True
Suppose -4*b + 2*b = 2*l - 147564, 3*b = -2*l + 147563. Is l a composite number?
False
Let m = 2189 + 248. Is m a composite number?
False
Suppose -11764 = -4*u + 7240. Is u a composite number?
False
Suppose 66 = 4*x + 2*r - 960, x - r - 261 = 0. Let l = -80 + x. Suppose 5*o - b - l = 0, -o + 23 = 2*b + 2*b. Is o prime?
False
Suppose 0 = -f + 3*z - 54, -4*f + 0*z = -5*z + 195. Is (-4345)/(-4) + (f/20)/(-3) a prime number?
True
Suppose -5*z - 35 = 3*t, 4*z - 4*t = t + 9. Let v(g) = -25*g**3 + 3*g**2 - 3*g - 3. Is v(z) prime?
True
Suppose -18 = l - 10. Is ((-2)/4)/(l/3056) prime?
True
Is (-2)/(-24) + 61901/84 composite?
True
Let h = 176 - 46. Is 2485/13 - 5/(h/4) a prime number?
True
Let u = 11534 + -7893. Is u prime?
False
Let c(f) = 5 - 18*f + 6 - 3. Let g be c(-5). Suppose -3*o = g - 479. Is o a prime number?
True
Let n(m) = 2*m**2 - 3*m - 3. Let l be n(-1). Suppose -4*x = -l*j - 2*x + 708, -j + 4*x = -339. Is j a prime number?
True
Suppose -19*r = -8*r - 12001. Is r prime?
True
Let k = -32 + 31. Is ((-1 - (-334)/6) + k)*3 prime?
False
Suppose 3*b - 9 = 3*o, -b + 5*b - 22 = -o. Is (753/12)/(o/8) a prime number?
True
Let y = -196 - -288. Let z be (-4)/(-14) - y/28. Is 49/5 + z/(-15) prime?
False
Let u(h) = h**2 + 2*h - 4. Let i be u(-4). Suppose -4*l - 24 + 8 = 0, 2*k = i*l + 1090. Is 4/14 - k/(-7) prime?
False
Suppose 11*x - 13*x + 4 = 0. Suppose 2*n + 2182 + 1894 = 2*z, x*n + 6117 = 3*z. Is z a composite number?
True
Let i(s) = 96*s + 2. Let m(r) = 191*r + 4. Let v(j) = -5*i(j) + 2*m(j). Is v(-2) composite?
True
Suppose 5*g = 1 + 9. Suppose 2 = g*w - 0*w. Let y = 54 + w. Is y a prime number?
False
Suppose 2*q + 2*q - 5*h - 124 = 0, 93 = 3*q + 2*h. Let o = q + -46. Is 5/o + 4422/9 composite?
False
Let c be ((-2)/5)/((-6)/30). Suppose -5*m + 2395 = 5*u - 0*u, 2*u - 958 = c*m. Is u a prime number?
True
Suppose -76 = -r + 2*k, 128 = 4*r + 5*k - 228. Let v(s) = -s**2 + s - 46. Let n be v(0). Let t = n + r. Is t composite?
True
Suppose 11*h = 16*h - 7015. Let y = 2790 - h. Is y prime?
False
Let c(q) = -7*q**2 + 0 - 4*q + 36*q**3 - 37*q**3 + 2 - q. Let l be c(-6). Is (l/(-2))/(2/14) composite?
True
Let j be (-2 + 182/4)*(-196)/(-7). Is (j - 9/(-3)) + 2 a composite number?
False
Suppose -22 + 12 = -5*j. Is j/(-6)*(-808 + 1) a prime number?
True
Let i = 51 + -60. Is (-2)/i - (-3484)/36 prime?
True
Suppose 3*n - 7*n + 21 = 3*h, -2*n = 0. Let z(f) = -2*f**2 - 147*f + 3*f**2 + 145*f - 4. Is z(h) a composite number?
False
Suppose 2*q = -2*b + 9578, q + 4635 = -2*b + 14214. Suppose 2*r = -8*r + b. Is r a composite number?
False
Suppose 0 = -m - 3*j - 39 + 638, -3*j = -12. Is m composite?
False
Suppose -8*g + 7*g = -35. Is 2/14 + 1290/g a composite number?
False
Suppose l + 2*l - 6 = 0, -2*j - 4*l = -8722. Is j a prime number?
True
Suppose -44*s + 284251 = -33*s. Is s a composite number?
False
Let u(f) = -2*f**3 - 6*f**2 + 12*f - 3. Suppose 4*n + 12 = 0, 2*n - 3 = y + n. Is u(y) composite?
True
Let s(z) = -z**3 + 6*z**2 - 6*z + 4. Let d be s(5). Let l(q) = -7*q - 9. Let g(f) = 1. Let m(b) = d*l(b) - 3*g(b). Is m(4) composite?
True
Let s = -67 + 71. Suppose -3*b + 139 - 4740 = -s*v, -3*v + 3452 = -b. Is v a composite number?
False
Suppose -5*v - 6 - 25 = -3*z, v - 5 = -5*z. Suppose -z = 2*o - 4*o, -19 = -5*l - 4*o. Suppose y - 174 - 585 = -a, -l*a - 12 = 0. Is y prime?
False
Let u(m) = -479*m**2 + 8*m + 1. Let d be u(2). Suppose -4*q + 13 + 3 = 0. Is d/(-15) + q/10 a prime number?
True
Suppose -r + 3*r - 20578 = 3*t, 2*t = 0. Is r a prime number?
True
Suppose -3313 = -4*r - 11489. Is r/(-10) + (-6)/(-10) a prime number?
False
Let a(i) = 87*i**2 - 31*i - 15. Is a(5) a prime number?
False
Suppose 2*n - 4*j + 88 = 0, -5*n + 76 - 311 = -5*j. Let g be 123*-2 + -2 + -1. Let k = n - g. Is k prime?
True
Let v(a) = 22*a - 5. Let t(s) = -110*s + 24. Let g(r) = 2*t(r) + 11*v(r). Let k be g(10). Suppose 124 = w - k. Is w prime?
True
Let b be (-1 - 0) + 1398/(-3). Let o(g) = 49*g**2 - 4*g. Let y be o(4). Let i = y + b. Is i prime?
False
Suppose 5*r - 26 + 16 = 0. Suppose -r*o - 109 = 5*l - 31, 0 = -2*o - 8. Let t = 81 + l. Is t composite?
False
Let b(w) = -w**3 + 18*w**2 + w - 20. Let k be b(18). Is k + (317 - (1 + -5)) prime?
False
Suppose 4*o - 4*q = 20, -5*o + 2*o - q + 23 = 0. Let g