v - 1057 - c. Is v prime?
False
Is ((-298542)/9)/(17/((-306)/12)) prime?
True
Let r(i) be the third derivative of -i**4/8 - 7*i**3/6 - 7*i**2. Let w be r(10). Let t = 162 - w. Is t prime?
True
Let i(z) = -255*z + 2. Suppose -3*f = -9*f + 18. Suppose -2*v + 2 = -4*p, -p - f*v - 3 = 1. Is i(p) a prime number?
True
Suppose -33 = -4*w - 5*o, -3*w + 0*o = -5*o + 19. Suppose -1 = -2*t - 3, -w*j - 3*t + 169 = 0. Is j prime?
False
Suppose 102*q = 112*q - 107130. Is q a prime number?
False
Suppose 7*l - 12 = 3*l. Let x(q) = 42*q**2 - 12*q**2 - 2*q + 3*q - 5 + l*q. Is x(2) prime?
False
Let w(d) = 549*d + 206. Is w(7) a composite number?
False
Let x = 1595 - 716. Is x a composite number?
True
Is (-657007)/(-104) + (-3)/8 composite?
False
Let v(g) = 3*g**2 - g - 2 + 2*g**2 - 7*g**2 + g**2 - 183*g**3. Let l be v(-2). Suppose 0*o - l = -4*o. Is o a prime number?
False
Let w be (-4)/(8/6) - -121. Let s be w*6 + (-4 - -3). Let n = s + -393. Is n a prime number?
False
Let l(n) = 2408*n**2 - 22*n. Is l(1) a prime number?
False
Let p be -6*(1 + 140/6). Suppose x - 361 = -y - 1, -y + 3 = 0. Let d = p + x. Is d composite?
False
Suppose 5*o - 9 = 2*o. Suppose o*z + 3*p - 21 = 0, 2*p = 4*z - 2 - 8. Is (3 + z)/(2/34) prime?
False
Let u be (-1670)/(-4) - 3/6. Suppose -5*t - 3*z + z = -505, -4*t + z = -u. Let h = t + -66. Is h prime?
True
Let f = 109 + -110. Is (1 - f)*(-1172)/16*-2 a prime number?
True
Let o = -19 + 20. Let n be -3*o*1/3. Is 27*7 + (n - -3) composite?
False
Let d be -1 + (1/(-1) - -6). Suppose -5*r - 1022 = -2*t, -4*r = -0*t - d*t + 2068. Is t composite?
False
Let j = -5239 - 805. Is (6/12)/((-2)/j) prime?
True
Let p be -28 + (-5)/(15/3). Let u = 1813 + p. Suppose -2*w = 2*w - u. Is w a prime number?
False
Let h = 4572 - 2477. Is h composite?
True
Suppose 0 = -6*h + 412514 - 11000. Is h a composite number?
False
Let x(w) = w + 7. Let i be x(8). Let v = 19 - i. Suppose -6*g = -v*g - 358. Is g a prime number?
True
Let k(g) = -g**3 + 20*g**2 - 8*g - 6. Let u be 1*(1 - 4*-3). Is k(u) prime?
False
Suppose 0 = -4*b + 9*b - 2*t, -3*b + 26 = 4*t. Suppose -3*g - 154 = -2*h - b*g, 3*h - 2*g - 229 = 0. Is h prime?
True
Let k = -35 + 38. Suppose 0 = -7*u + k*u + 1508. Is u prime?
False
Suppose -3*i - 4*r + 95 = 2*i, 4*i - 76 = -r. Let q = 20 - i. Is 365 + q + (0 - 1) a composite number?
True
Let o(j) = -25*j + 38. Is o(-9) composite?
False
Let k(w) = 776*w - 15. Is k(8) a prime number?
False
Let t(n) = -n**2 - 12*n - 14. Let j be t(-10). Suppose -3*d + j*d = 6. Suppose -d*f = -7*f + 325. Is f composite?
True
Let j(l) = 392*l**2 - 68*l - 31. Is j(7) composite?
False
Suppose 0 = -2*a + 3*r + 112, 2*r + 36 = -2*a + 148. Is 12974/8 + (-42)/a a prime number?
True
Suppose x + 26 + 2 = i, -4*x = -4. Suppose 25*v + 2540 = i*v. Is v composite?
True
Suppose v = -5*s + 21984, -s = 5*v - 55159 - 54737. Is v prime?
False
Let y(d) = -4 + 12 - 27*d + 13 + 1. Suppose 4*c = 5*f - 23, 2*c - 2*f - 16 = 4*c. Is y(c) a composite number?
False
Suppose -4*d + 29 - 13 = 0. Is (-331)/(4/d)*-1 composite?
False
Let v(d) = 2*d**3 + 8*d**2 - 11*d - 6. Let z be v(-7). Is (1/(-2)*z)/(37/74) composite?
False
Let m(i) = -i - 5. Let g be m(-8). Suppose 53*z = 48*z + 90. Let j = g + z. Is j prime?
False
Is (-230936)/(-32) - (-3)/12 a composite number?
True
Let n(p) = -69*p + 101. Let s(k) = -139*k + 201. Let b(q) = 7*n(q) - 4*s(q). Is b(26) a composite number?
False
Suppose n - 3*w + 56 - 195 = 0, 5*n = w + 681. Is (-1)/(3 - 412/n) prime?
False
Let a = -86 + 393. Is a a prime number?
True
Let m = 5 + -1. Let y be 1/(((-4)/3)/m). Let p(u) = 12*u**2 - 5. Is p(y) composite?
False
Let v be 5*((-32)/10 + -10 + 12). Is 125*1 + (-9 + 5 - v) a prime number?
True
Suppose -3*l + 10 = -2. Suppose l*o - 144 = 12. Is o a prime number?
False
Let c(u) = 91*u**3 - 6*u**2 + 23*u + 5. Is c(3) a prime number?
True
Let p be (7 + -9)/((-2)/118). Let x = p - 67. Is x prime?
False
Suppose -2 = -y - i - 3, y - 2*i - 2 = 0. Is y - -163 - 0/(-2) a composite number?
False
Suppose 3*i + r - 12 = -r, 5*i = -5*r + 15. Suppose 0 = -2*x + 5*k + 4641, 5*x = -i*k + 3*k + 11680. Is x composite?
False
Suppose -4*p = -2 - 6. Suppose -4*g - i + 4 = -2, -5*g + 1 = -p*i. Let a(q) = 517*q**2 - q + 1. Is a(g) composite?
True
Let w(t) = -t**2 - 15*t - 21. Let a be w(-10). Suppose -a*z = -27*z - 946. Is z a prime number?
False
Let v = 3742 + -2182. Suppose -5*z = -3*m - 6*z + v, 2099 = 4*m - 5*z. Is m composite?
False
Suppose -2*q = -2*d - 20, d + 59 - 19 = 4*q. Let y(o) = 34*o - 9. Is y(q) a prime number?
True
Let p(r) = 416*r**2 - 3*r + 1. Let a be p(2). Let o = -5 + 11. Suppose q = -o*q + a. Is q prime?
False
Suppose -4*n - 4 = 0, -5*c = 24*n - 19*n - 73680. Is c a prime number?
True
Suppose -27*r = -9*r - 171378. Is r a prime number?
True
Suppose -y + 4*f + 4735 = 0, -3*f = 2*y - 11377 + 1896. Suppose -7*m + y = -0*m. Is m a prime number?
True
Suppose -8 = 4*f - 6*f. Suppose 5*c = f*c + 17. Suppose 0 = 3*s - c - 1. Is s prime?
False
Suppose 0 = 444*c - 446*c + 1132. Is c a composite number?
True
Suppose 0 = -2*s + l + 9065, -5*l + 6095 + 7535 = 3*s. Is s composite?
True
Let i(s) = -s**3 + 12*s**2 - 9*s - 16. Let r be i(11). Let b(d) = 11*d**2 + d - 11. Is b(r) prime?
False
Suppose -2*n - 16 - 136 = 0. Let a(j) = -j**3 + 13*j**2 - 11*j + 5. Let c be a(5). Let k = c + n. Is k a prime number?
False
Suppose 0 = -372*i + 377*i - 85115. Is i a prime number?
False
Suppose -4*p + 5*t + 23814 = 0, 3*p + 2*t - 17863 = 7*t. Is p composite?
True
Suppose -3*h - 27 = 4*v - 8, 0 = 2*h - 2*v - 6. Is (160 - 4) + 3 + h a composite number?
True
Let o(k) = k - 7. Let s be o(3). Let i(f) be the third derivative of -2*f**4 - 7*f**3/6 + 79*f**2. Is i(s) prime?
False
Suppose -8*n + 27187 = -29221. Is n a composite number?
True
Let x be (8/3)/((-4)/(-6)). Let o = -23 - -15. Is x*-2*179/o prime?
True
Suppose f = 5*x - 10, -f = f. Suppose -x*b = b, 4*o - 5*b = -104. Is (-2752)/o - 14/(-91) prime?
False
Let k(i) = 7*i**3 + 3*i**2 - 5*i. Let y(x) = 13*x**3 - 5*x + 11*x**3 - 16*x**3 + 4*x**2 + 0*x**2 - 1. Let n(c) = 4*k(c) - 3*y(c). Is n(4) a prime number?
True
Suppose -105959 + 25977 = -14*w. Is w prime?
False
Suppose 0 = -2*j + 3 + 287. Let r = -56 + j. Is r composite?
False
Let m = 1209 + -226. Is m a composite number?
False
Let m(r) = -r**3 - 2*r**2 + 5*r + 3. Let v be -4*(-3 + (-16)/4). Let h be v/(-6) - (-2)/(-6). Is m(h) prime?
True
Let i(a) = 118*a - 11. Is i(10) a composite number?
True
Let g(z) = -7*z - 14. Let l be g(6). Let m = l - -373. Is m prime?
True
Let a be ((-1)/(-1))/4 + 122/(-8). Let k(p) = p**3 + 16*p**2 + 5*p - 1. Is k(a) a prime number?
True
Is 10826 - ((-76)/16 - (-1)/(-4)) a prime number?
True
Let o(h) = -h**3 + 34*h**2 + 42*h - 19. Is o(18) prime?
False
Let w = 1 + 1. Suppose -z + 9 = w*z. Suppose -x - 2*r + 67 = 0, z*x - 4*r = -5*r + 201. Is x a composite number?
False
Let d(c) = 13*c**3 - 3*c**2 + 14*c + 15. Let r(s) = -14*s**3 + 4*s**2 - 15*s - 16. Let k(u) = 3*d(u) + 2*r(u). Is k(7) prime?
True
Is ((-576325)/10)/(-3 + (-20)/(-8)) a composite number?
True
Let t = -708 - -3389. Suppose -666 + t = 5*o. Is o prime?
False
Let k(b) = 3*b + 14. Let g(r) = -8*r - 43. Let o(q) = 2*g(q) + 7*k(q). Suppose 5*v + 6 - 1 = 0, -j + 11 = -2*v. Is o(j) a composite number?
True
Let i be (-2)/((-2)/(-2) + 1)*-5. Suppose -357 = -h - i*j, 5*h + 5*j = -5 + 1870. Is h a composite number?
True
Suppose 5*c - 50156 = 4*p - 220389, 2*p = c + 85115. Is p a prime number?
True
Let a = 10 - 5. Let z = -1393 - -2805. Suppose -a*d + 9*d = z. Is d a composite number?
False
Suppose 3*g + 7*v - 120249 = 4*v, -2*g + 2*v + 80182 = 0. Is g prime?
True
Let x be 9/(3 + (-627)/210). Suppose 4*l - 5*s - x = 0, s = -l - 4*s + 145. Suppose -l = -5*b + 2340. Is b prime?
True
Let r = -4974 - -7632. Is (r/9)/(3*2/9) prime?
True
Suppose 5*i + 728 = l, 4*l + 5*i - 2262 = 575. Suppose -2*c + l = 5*g - c, 4*c + 294 = 2*g. Is g a composite number?
True
Suppose 13629 = 2*t + 3*m, m = 3*t - 2*m - 20466. Is t composite?
True
Let x = -1 + 7. Suppose h + 1033 = x*h + v, 5*h - v = 1027. Suppose -5*m + 2*w = -1045, m - h = 6*w - 5*w. Is m a prime number?
True
Let t(y) = y**3 - 15*y**2 - 26*y - 11. Is t(18) a prime number?
False
Let a(n) = -2*n + 12. Let c = 21 - 16. Let q be a(c). Suppose 5