+ 3*o - 7358, -4*n = -o + 6254 - 35673. Is n prime?
False
Let q = -11 - -16. Suppose 2*n = -b + 10, -4*b = -q*n - 2 - 12. Is (-9)/(-6)*340/b composite?
True
Let a(q) = q**2 - 8*q + 4. Let f be a(3). Suppose 5 = -2*g + 5*t - 60, 0 = -3*g + 2*t - 70. Let i = f - g. Is i a prime number?
False
Let v = 82 + 51. Is v prime?
False
Let s = 32 + -10. Is s prime?
False
Suppose 4*k - 5*v = 1495, k + 2*v = -3*v + 405. Suppose 3*p = -4*n - n + k, -5*p - 104 = -n. Is n a prime number?
True
Let j = -939 + 1738. Is j composite?
True
Let n be (-87)/(-18) - (-2)/12. Suppose -n*a + r + 668 = 4*r, -2*r = -2*a + 264. Is a a prime number?
False
Let o = -3 - -13. Is 231/15 - 4/o prime?
False
Let l(t) = 17*t. Is l(3) composite?
True
Suppose -4*d + 2773 = 3*p, p - 1725 = -5*d + 1733. Is d a composite number?
False
Let f(t) = 1522*t - 45. Is f(8) a prime number?
False
Let l = 39 + -27. Let d(i) = -l*i - i**2 + 1 + 1 + 5 + 3. Is d(-9) composite?
False
Suppose f = -5*m + 479, 3*m + m + 3*f - 392 = 0. Is m prime?
False
Let t be (-645)/(-4)*(4 + 0). Suppose -3*j = 2*j - 5*d - t, -2*d + 250 = 2*j. Is j a composite number?
False
Let m be 0*(-3)/(-18)*3. Suppose 3*d = 5*y - 0*d + 6, m = y - 3*d + 6. Suppose y = -3*o + 7*o - 580. Is o composite?
True
Suppose b - 3*j = 871, -4*b + 3*j = j - 3504. Is b prime?
True
Let f(z) be the third derivative of -1/6*z**3 - 1/60*z**5 + 11/40*z**6 + 0*z - 2*z**2 + 1/12*z**4 + 0. Is f(1) prime?
False
Suppose -3*v - 2*l - 4374 = -13135, 2*v + l - 5842 = 0. Is v a composite number?
True
Suppose 6*y - 3*y - 6 = 0. Suppose -y*u = -1 + 5. Is u/(-4)*(-2 - -76) composite?
False
Let c be (2 - 0)*(-15)/(-6). Suppose -c*m = -0*m - 1865. Is m prime?
True
Let p = 4 - 2. Suppose -2*s + 16 = -p*i, 2*i - 29 = -4*s + 9. Let x = s - -13. Is x prime?
False
Let c(j) = -22*j - 1. Let y(q) = -22*q - 1. Let h(o) = -6*c(o) + 5*y(o). Is h(3) composite?
False
Suppose 3*u = 2*u + 3. Suppose -u*i = -44 - 55. Is i prime?
False
Suppose 2*x = 2271 + 111. Is x prime?
False
Let m be 0 - -40*(-26)/(-4). Let z be (-1)/3 + 992/6. Let a = m - z. Is a a prime number?
False
Let d = -502 - -843. Is d composite?
True
Let g = -265 + 476. Is g prime?
True
Suppose i = -3*i + 12. Suppose -2*n - 3*l = -136, n + 2*l - 54 = -i*l. Is (-1)/((-2)/n - 0) a prime number?
True
Let f = -116 - -225. Is f prime?
True
Let o be ((-8)/(-2) - 69)/1. Let a = 111 + o. Is a composite?
True
Let l be 11/(((-8)/14)/(-4)). Let j = 136 - l. Is j prime?
True
Is (-17 - -19) + (30*-25)/(-2) a composite number?
True
Suppose 4*j - l = -5*l + 144, 32 = j - 3*l. Is j a composite number?
True
Let g be (18/(-3))/((-4)/6). Is (-4109)/(-63) - 2/g composite?
True
Let o(y) = y + 10. Let s(q) = -11. Let i(u) = 4*o(u) + 3*s(u). Is i(9) a composite number?
False
Let d(n) = -14*n**2 - 29*n - 6. Let s(o) = 5*o**2 + 10*o + 2. Let m(z) = 6*d(z) + 17*s(z). Let p = 15 - 9. Is m(p) prime?
False
Let j be (-2)/6 - (-6128)/24. Let n = 433 - j. Is n prime?
False
Suppose 5*t + 0*t - 20 = 0. Suppose -3*s + s = -h - 45, 4*h + 196 = t*s. Is (1 - -1) + (0 - h) a prime number?
False
Suppose 5*u - 3*b - 2364 - 8372 = 0, -3*u - 3*b = -6456. Is u composite?
True
Let q = 213 + -351. Let p be 2/10 + q/15. Is (-1)/2*1494/p prime?
True
Let i(o) = -9*o + 2. Let k(t) = -9*t + 4. Let f(y) = 1. Let g(c) = 3*f(c) - k(c). Let s(m) = -3*g(m) - 4*i(m). Is s(8) prime?
True
Suppose 2*t - 6 = 4. Suppose 0 = 3*a - t*a + 164. Let b = 33 + a. Is b composite?
True
Let n(b) = 2*b**3 - 9*b**2 + 8*b - 1 + 4 - b**3. Let m be n(8). Suppose 14 = 2*y - 2*f, -y + 4 = m*f - 19. Is y composite?
False
Let z be 9/(-2) - 2/(-4). Is (-88)/12*30/z prime?
False
Suppose -f + 5*a + 9 = f, 4*a = -3*f + 2. Let w = f - 6. Is (764/16)/((-1)/w) prime?
True
Let r(g) = g**3 + 6*g**2 - 8*g - 3. Let d be r(-7). Suppose -2*b = d*n - 546, -4*b + 0*n + 1048 = -3*n. Is b composite?
True
Let b = -151 + 348. Let n = -78 + b. Is n prime?
False
Is 5128/20 - 3/(-5) composite?
False
Suppose 763 = 5*v + 118. Suppose 3*w + v = 3*x, -2*x + 104 = -w + 18. Suppose -f + t + x = 0, 0*f + 51 = f + t. Is f prime?
True
Let g(c) = 5 + 2 + 66*c - 6. Is g(2) prime?
False
Is ((-742)/21)/(2/(-3)) prime?
True
Let k = -65 - -97. Suppose 3*v + v = -2*p - 32, p = -v - 17. Let g = p + k. Is g prime?
False
Suppose -k - 961 = -4*o + 104, 4*k = -2*o + 546. Suppose -2*z - z + o = 0. Is z a composite number?
False
Let m be 24/9*3/1. Let l(a) = a**2 + 8*a - 9. Is l(m) prime?
False
Let j(t) = 53*t - 4. Let n be j(-6). Let c = -574 - n. Let m = c - -371. Is m composite?
True
Suppose 2*z = 4*z - 10, 0 = -5*w + 4*z + 5715. Is w a composite number?
True
Suppose 2*q + 112 - 294 = 0. Is q a composite number?
True
Suppose -5*b - 830 = -0*o - 4*o, -2*o + b = -412. Is o prime?
False
Suppose 13*n - 22*n = -20781. Is n a prime number?
True
Let v(q) = -154*q - 51. Is v(-7) prime?
False
Let r = -15 + 47. Is 4/(r/1076)*2 a prime number?
True
Let l be -5 - 0 - (5 + -6). Let i be (l + 1)*2/(-3). Suppose 0 = i*k - 2*b - 4, 2*b = k. Is k prime?
False
Let f(z) = z**3 - 14*z**2 + 16*z - 6. Is f(17) a prime number?
False
Let r(d) = 3*d - 10. Let w be r(-11). Suppose 5*m - 220 = 290. Let v = m + w. Is v composite?
False
Is -1 + (-25 + -3)/(-2) a prime number?
True
Let f = 7 - 5. Suppose -n + 2*n = -2*x + 15, 2*x + f*n = 20. Suppose x*c + w - 472 = 0, 276 = 4*c - c + 3*w. Is c composite?
True
Let s = -344 - -675. Is s composite?
False
Let o(r) = -r**2 - 7*r - 4. Suppose 0*x + 16 = x. Suppose -18 = 4*t - a, 2*t = -0*t - 3*a - x. Is o(t) a prime number?
False
Suppose 4*r + r = -1390. Is r/(-4)*1*2 prime?
True
Let g(j) = -j**3 - 2*j**2 - 3. Let a be g(-3). Let y = 7 - a. Is y/((-1)/(-1)) + 262 a prime number?
True
Let j = -3 + 5. Suppose j*t = t - 9. Is 64/3 + 3/t composite?
True
Let b = -172 + 120. Let v = b + 83. Is v a prime number?
True
Suppose 4*t + 78 = 5*k + 2*t, k - 13 = 3*t. Suppose -4*d = -v - 592, -6*v + k = -2*v. Is d a prime number?
True
Suppose -w - w + 5*p = 0, 5*w - 5*p = 0. Suppose w = y + 3*i - 62, -i - 132 = -2*y + i. Is y a prime number?
False
Let t be (-24)/(-14) - 6/(-21). Suppose 0 = -3*k + t*n + 63, -5*k + 4*n + 110 = -n. Is k prime?
True
Let j be 2190/50 - (-1)/5. Is 33/(-2)*j/(-6) a prime number?
False
Let z = -1 - -4. Suppose 6*y - z*y - 162 = 0. Let s = -17 + y. Is s prime?
True
Suppose 2*a + l - 458 = 3*l, -2*a = 3*l - 473. Suppose a + 563 = 5*g. Is g a prime number?
False
Suppose 0*a - 5*a = -10. Suppose 0 = y + 2*q - q - a, y - 5*q = 26. Is y a prime number?
False
Is 576036/28 + 8/28 a composite number?
True
Is ((-4634)/4)/((-20)/(-8) + -3) prime?
False
Let y = -5 + 4. Let d(z) be the first derivative of -37*z**2/2 - 1. Is d(y) a composite number?
False
Suppose -13 + 5 = -4*c. Let r(h) = 29*h + 2. Let d(g) = -14*g - 1. Let b(y) = c*r(y) + 5*d(y). Is b(-8) a prime number?
False
Let q = -2 - -7. Let z(i) = i**3 - 2*i**2 - 5*i + 2. Let p be z(q). Let r = p - 33. Is r prime?
True
Let i(k) = k**2 - 2*k - 4. Let h be i(4). Let j = -2 + h. Suppose 3*q - 115 = -j*q. Is q a prime number?
True
Let j be 0 + 1 + (5 - 6). Let a = j - 3. Let p = 22 + a. Is p a prime number?
True
Suppose -5*q + 4*b + 3825 = 0, -q + 363 + 431 = 5*b. Is q a composite number?
False
Suppose 0 = -5*j + 4*b - 16, 0 = -2*b + 4 + 4. Suppose 47 - 187 = -2*v - 2*r, -3*v + 2*r + 195 = j. Is v a composite number?
False
Let m = -36 + 55. Is m a prime number?
True
Let x = -97 - -306. Is x composite?
True
Suppose 58 = 2*c + 12. Let h = 491 + c. Suppose -2*l + h = 2*u, -l + u + 257 = -u. Is l composite?
False
Let y be -7 - (0 - (0 - 1)). Let s = 20 - 22. Is 4*55*s/y a prime number?
False
Let f(w) be the second derivative of w**5/20 - 7*w**4/12 - w**3 + 3*w**2 - 2*w. Is f(8) a prime number?
False
Suppose j - 300 = -5*h + 276, 3*h = -4*j + 349. Suppose 0 = 4*a + a - h. Is a composite?
False
Let v = -12 + 707. Is v composite?
True
Suppose 5*n - 3*n - 2 = 0. Let j(q) = q**2 + q - 1. Let o(r) = r**3 - r**2 + r - 3. Let s(v) = n*o(v) - 2*j(v). Is s(4) a composite number?
False
Let y be 17/3 + (-8)/12. Let v(u) = -2*u**2 + 3*u + 4. Let p be v(y). Let o = 15 - p. Is o a prime number?
False
Suppose -p - 3*f + 1 = -0*p, 5*f + 5 = 0. Suppose -5*i = -4*i - 4*x - 16, -p*i - 4 = x. Suppose i = b + 5*v - 56, -5*b + 219 = -3*v - 5. Is b composite?
True
Suppose 0 = 5*z + 5*c - 645