d be 41/4 - 2/8. Is d/(-12)*4*k a prime number?
False
Suppose -3 - 9 = 4*m. Let n(s) = -7*s**3 - 3*s**2 + 4*s - 1. Is n(m) composite?
False
Let f = 104 - 59. Suppose -v + f = 4*p, 91 = 5*v + 2*p - 98. Is v a prime number?
True
Let t be ((-4)/8)/((-1)/(-2)). Is (2 + -30)/(2/t) a composite number?
True
Let r(g) be the first derivative of 3*g**4/4 - 7*g**3/3 - g**2/2 - 2*g + 9. Is r(7) prime?
True
Suppose 3*k - 2 = 31. Is k composite?
False
Suppose a - 3*h - 1271 = -3*a, -1575 = -5*a + h. Suppose o + o - a = 0. Is o a prime number?
True
Suppose -26*y + 856 = -22*y. Is y composite?
True
Let o(v) = v + 4. Let u be o(-4). Suppose u = -4*c - 2*w + 10, 3*w = -c - 0*c + 10. Is c + 0 + 27 + -2 a composite number?
True
Let t(p) = 22*p**2 + 3*p - 3. Is t(5) a composite number?
True
Let u(o) = -4*o + 35. Is u(-11) a prime number?
True
Let q(g) be the first derivative of g**4/4 - g**3 - g**2/2 - 4*g - 2. Let r be q(4). Is (102/r)/((-3)/(-12)) a prime number?
False
Let p = 155 + -66. Is p composite?
False
Let r(i) = -i**3 + 33*i**2 + 43*i - 1. Is r(30) composite?
False
Let a(y) = -y**3 + 6*y**2 + 7*y - 3. Suppose 14 = -2*n + 4*n. Let f be a(n). Is 296/(-12)*f/2 prime?
True
Suppose -4*r + 20 = -4*f, 2*r - 2*f + 6*f = -20. Let w = 2 + -2. Suppose q + w*q - 21 = r. Is q a composite number?
True
Suppose 5*o + 3*p = 6802, 0 = o + 4*o + 4*p - 6801. Is o a prime number?
True
Let w(m) = 52*m**3 + 2*m**2 - 2*m + 1. Is w(1) a composite number?
False
Let x(l) = 30*l**3 + 2*l - 1. Let p be x(1). Let d = p - -22. Is d a prime number?
True
Let a(k) = -k**3 + 5*k**2 + 3*k + 4. Suppose 0 = t + 1 - 6. Is a(t) composite?
False
Let u(f) = 18*f - 7. Is u(7) prime?
False
Suppose -5*h = -y + 1, -1 = -y - 5*h - 0. Let i be 0/2*y/2. Suppose -3*p = -4*c + 103, -121 = -i*c - 5*c - 4*p. Is c a composite number?
True
Let r(x) = x**2 + 3*x - 4. Suppose -c - 4 = -0*c. Let q be r(c). Suppose l - 38 = -q*l. Is l composite?
True
Suppose -4*h + u + 208 = -u, -3*u - 259 = -5*h. Is h composite?
False
Let y(r) = 7*r - 4. Let j be y(13). Let q = j + 418. Is q composite?
True
Let f(d) = 60*d + 17. Is f(6) composite?
True
Suppose 3 = -h, -2*y + 4*y - 382 = 4*h. Is y a composite number?
True
Suppose -f - 138 = -4*f. Suppose 53 + f = 3*o. Is o prime?
False
Suppose 30 = -4*c + 7*c. Is c prime?
False
Is -209*-3*4/12 prime?
False
Let u be 8/12 - (-58)/(-6). Let c(h) = 9*h**2 + 4*h + 10. Let p be c(u). Suppose 202 = -3*l + p. Is l a prime number?
True
Let t(f) = 7 + 7*f + 4*f**2 + 0*f**2 + 3 - 2*f**2. Is t(7) a prime number?
True
Let b(x) = -x**3 + 4*x**2 + x. Let j be b(3). Suppose 3*m - m = j. Is m a composite number?
True
Let g = 308 - 147. Is g composite?
True
Let s = 389 + 165. Is s composite?
True
Suppose 3*x = -4*p + 38, 43 = -0*p + 3*p - 5*x. Suppose -p - 4 = -5*q. Is q/(3/(-2)) + 91 a composite number?
False
Let t(p) = -2*p - 2. Let m be t(-4). Let z(w) = -w**3 + 6*w**2 + 3*w + 5. Is z(m) a composite number?
False
Is (-3)/5 + 958/5 prime?
True
Let v(h) = 286*h + 5. Is v(1) prime?
False
Let w(d) = -3*d - 7. Let s be w(-3). Suppose 5*h - 554 = -s*a, 5*h + 0*h = -4*a + 1128. Is a prime?
False
Suppose 2*m - 4*k + 0*k = 540, -m - 5*k = -284. Is m a prime number?
False
Let j(z) = -13*z**2 + z + 3. Let m(a) = -52*a**2 + 5*a + 13. Let d(l) = -9*j(l) + 2*m(l). Is d(-3) a composite number?
False
Let b = 5807 + 1190. Is b prime?
True
Let m(d) = d**2 + 23*d - 11. Is m(-24) prime?
True
Let f(t) = -2 + 1 + t + 9*t**2 - 3*t + 4. Let k = 3 - 1. Is f(k) composite?
True
Let c(d) = d**3 - d**2 - d + 1. Let k(x) = -4*x**3 + 4*x**2 + 5*x - 273. Let z(y) = 5*c(y) + k(y). Let r be z(0). Is (r/(-6))/((-2)/(-3)) a composite number?
False
Let x = -11 - -6. Let z = -7 - x. Is (-177 - 1)*z/4 prime?
True
Let o(w) = -5*w + w**2 + 3*w + 9 - 10*w. Let r be o(8). Is (r + 1)*4/(-8) composite?
False
Suppose 0 = -5*w + 2144 + 1341. Is w a composite number?
True
Let q be (0/(1 - -1))/(-1). Suppose 379 = d - q*d. Is d composite?
False
Let t(v) = 116*v - 25. Is t(6) a composite number?
True
Let t = 7 + -5. Is (124/2)/t + 2 prime?
False
Is 0*2/4 - (-978 + 11) a composite number?
False
Let g = -2 - -3. Let p = 2 + 2. Suppose -5*x - g = -4*x, 0 = -p*u + 2*x + 142. Is u a prime number?
False
Suppose -4*y - 2467 = -3*p, -4*y + 3712 = 5*p - 357. Is p composite?
True
Let j be (-2)/(-3 + 4 + 1). Is (1 - 2)*j - -88 a prime number?
True
Let c be 123/(-12) - 1/(-4). Let m be (15/c)/((-1)/2). Suppose -3*a + 0*q - 2*q = -35, -m*a + 4*q + 47 = 0. Is a composite?
False
Let h(o) = -15*o + 1. Let t be h(-1). Suppose 0 = -0*v + 2*v. Is (-3 - t)/(-1 + v) prime?
True
Let o = -19 - -17. Let x(i) = -i**3 + 5*i**2 - 6*i + 6. Let w be x(4). Is w/(1 + o) + 13 a prime number?
False
Let j = 882 + -299. Is j prime?
False
Let j(f) = f - 2. Let p be j(5). Suppose 4*u - 71 = -5*h, -16 = -h + p*u + 2. Is h prime?
False
Suppose 4*b + z - 6*z - 976 = 0, -4*b - 3*z + 1008 = 0. Is b composite?
True
Is 255 + (-6 + 4)*-2 a prime number?
False
Let a = 223 + 2290. Is a prime?
False
Let a be 3*402/27*3. Suppose -z - 4*c = -63, -3*z + c + 16 = -a. Is z prime?
False
Suppose 2*n + 2*u = 5*u + 217, 2*u + 333 = 3*n. Is n prime?
True
Let r = -7 - 1. Let z = -3 - r. Suppose -2*p - k = -156, 48 = -p + z*k + 115. Is p prime?
False
Let f be 37/1 - (6 + -9). Let p = f - 9. Is p composite?
False
Suppose n - 100 - 102 = 0. Is n a prime number?
False
Let a = 11 + 732. Is a a composite number?
False
Let f(m) = 169*m - 3. Is f(4) composite?
False
Suppose 4*z + 18 = 2*f, -2*z - 3 = 4*f - 9. Let l(w) = -10*w**2 - 4*w - 5. Let v(y) = -5*y**2 - 2*y - 2. Let g(c) = 4*l(c) - 9*v(c). Is g(f) composite?
True
Let q(g) = g**2 - 6*g + 6. Let n be q(5). Let y(d) = -2*d**3 + 3*d**2 + 3. Let r(a) = a**3 + a**2 + 1. Let x(u) = 6*r(u) - 2*y(u). Is x(n) prime?
False
Suppose -2*u - 4*n + 16 = 0, -4*u - 3*n + 19 = 7. Suppose u = p - 4. Suppose 0 = -x + 2*s + 14, -p*x + 14 = s - 24. Is x a composite number?
True
Let k = -6 - -8. Suppose -173 = -3*a - 5*y, 0*a - 3*a = -k*y - 145. Is a a prime number?
False
Let v(x) be the second derivative of 2*x**3 - 3*x**2/2 - 5*x. Is v(3) a prime number?
False
Let h(j) = -33*j + 7. Is h(-10) a composite number?
False
Let o(i) = -2*i**3 - 3*i**2 + 2*i + 4. Is o(-5) composite?
True
Let g(m) = m**3 - 9*m**2 + 8*m + 1. Let l be g(8). Is 1*(-3)/l - -260 prime?
True
Let u(w) = -4*w**2 + 4*w**2 + w**2 - 2*w. Let p(n) = -n**2 + 6*n + 5. Let r be p(6). Is u(r) prime?
False
Suppose -5*m - 15 = b + 3*b, 4*m + 12 = 5*b. Suppose b*h = -4*h + 152. Is h composite?
True
Let x(a) = -74*a + 1. Is x(-3) prime?
True
Let i be 0 + (-9)/3*-1. Suppose 2*h - p - 93 = 0, 0 = i*h - 3*p + 10 - 142. Is h a prime number?
False
Let b be -3 - (-18)/(-1 - 1). Is ((-94)/3)/(b/18) a composite number?
False
Is (-13)/(130/4) + (-5757)/(-5) prime?
True
Let h = 609 - 211. Is h a composite number?
True
Let k = 682 - -429. Is k a composite number?
True
Suppose -4 + 19 = 3*t. Is ((-126)/(-15))/(2/t) composite?
True
Let d be 10/(-4)*(-8)/10. Suppose z = d*z. Is 18*5 + 1 + z composite?
True
Let f = 1 + 4. Suppose 0 = -2*w + 4, -f*w = -4*p - 11 + 101. Is p composite?
True
Let j(x) = -125*x**3 + 2*x**2 + 1. Is j(-2) prime?
True
Suppose -4*z - 11 = 5*a - 38, 2*a - 18 = -4*z. Let p be z/(-12) - (-1)/4. Suppose 441 = 3*f + 3*u, -3*f + 4*f - 5*u - 135 = p. Is f a composite number?
True
Let o be (-1 - 0)*(-17 - 0). Let p = 27 - o. Suppose 23 + p = r. Is r prime?
False
Let y(g) = -g**3 - 5*g**2 + g + 5. Let u be y(-5). Suppose -2*f - 4*v + 34 = u, -5*f = 4*v - 56 + 1. Is f prime?
True
Suppose -4*d + 4047 = 5*r, -3216 = -4*r - 0*d + 4*d. Suppose 0 = -y + 2, -142 = 3*t + y - r. Is t prime?
False
Suppose 2*v - 50 = -5*w, -5*w + 38 = 3*v - 37. Let k = v + -18. Is k composite?
False
Suppose 3*g = 10*g + 574. Let y = 39 - g. Is y prime?
False
Is 780/(-12)*(-326)/10 a prime number?
False
Let l = 376 + -59. Is l prime?
True
Suppose 4*h + 64 = 4*j, -2*h - 2*h - 82 = -5*j. Suppose 3*z - 53 = 2*l, 5*z - 2*l - 114 = -19. Suppose j + z = x. Is x a prime number?
False
Let s = -10 - -4. Is 62/s*-3*5 composite?
True
Let u = 4337 - 2556. Is u composite?
True
Let d be (384/(-9))/((-1)/(-3)). Let b = 167 - d. Is b prime?
False
Suppose -q + 3*q = 4. Let h be q + (-42)/(-3) + -2. Let w = -3 + h. Is w a composite number?
False
Is 2*((-332)/