 Let c be h/(-12) - 10/(-3). Suppose -r = 2*r - 5*f - 268, 0 = c*f - 4. Is r prime?
False
Let s = -696 + 2435. Is s prime?
False
Let q(g) = g**2 - 2*g - 2. Let d be q(8). Suppose 1 - d = 3*w. Is (-3175)/w + (-2)/3 a prime number?
True
Is -1 + 94 + 11 + -7 a prime number?
True
Suppose 3*x + 29 - 5 = 5*n, 3*x - 6 = -5*n. Is n a composite number?
False
Let v(p) = p**3 - 8*p**2 - 7*p - 10. Suppose -2*o + 5 + 13 = 0. Let k be v(o). Suppose -5*g - 36 = -2*y + 12, 0 = 2*g + k. Is y prime?
False
Suppose -3*a = 2*r - 647, 0 = -5*a + 4*r + 189 + 904. Is a composite?
True
Suppose 2*h = -c + 5, -c = -2*h + 3*c. Suppose -4*w = -5*j - w + 40, -4*w = h*j - 16. Suppose -3*g - 2*p - 331 = -j*g, 0 = 4*g + 5*p - 278. Is g a prime number?
True
Suppose -2*b - p + 5 = 3*b, 3*b - 2*p - 16 = 0. Let s(d) = -2*d**2 - b*d - d**3 + 3 + 9*d + 10*d**2 + d. Is s(8) a composite number?
False
Let s = -64 + 357. Is s composite?
False
Suppose -3*f = 3*z - 747, 0*z = 3*z + f - 751. Is z composite?
False
Let d(y) = -6*y**2 - y. Let k be d(-9). Let z = k - -776. Is z a prime number?
False
Let v(g) = 5*g + 4. Is v(17) composite?
False
Suppose u + 16 = -3*u. Let z be (-3)/12 - 65/u. Suppose -2*d = -54 + z. Is d composite?
False
Suppose 423 = 5*c - 422. Is c composite?
True
Let h = -135 - -349. Suppose 3*z - 675 = -2*z. Let b = h - z. Is b prime?
True
Let p(a) = a**3 - 11*a**2 - a + 15. Let u be p(11). Suppose -5*r = 3*d + 9 + 8, 0 = u*d + r. Suppose -d + 8 = q. Is q prime?
True
Let g(v) = -v**2 - v + 3. Let u be g(0). Let z be 1 - ((2 - u) + -8). Suppose 3 = -s, 0 = -2*m - 2*s + 12 + z. Is m composite?
True
Let m(f) = f**2 + 9*f + 6. Let q be m(-8). Is (17/q)/(5/(-170)) a prime number?
False
Suppose -2*j = -j - 3*x - 1657, 0 = -3*x - 6. Is j a composite number?
True
Let t(y) = 3*y**2 + 71*y + 13. Is t(22) prime?
False
Suppose -k + 12198 = 5*t + 4492, -t + 5*k = -1536. Is t prime?
False
Let l be 12/3 - (4 + 67). Let x = 182 + l. Is x prime?
False
Is (-4)/(-26) - (-348012)/156 composite?
True
Suppose 2*v - 39 = 63. Is v prime?
False
Suppose -4*d + 5*h - 13 = 0, -h = -2*d - 3*d + 10. Suppose -9 + d = -2*a. Let b(r) = 3*r**2 - 2*r + 2. Is b(a) composite?
False
Let c(l) = 3*l**2 + 4 + 11 - 4*l**2 - 13*l. Is c(-13) composite?
True
Suppose k = -4*k, k + 384 = -2*n. Is (1 - n) + 4/(-2) composite?
False
Let x = 2052 + -245. Is x a prime number?
False
Let a(h) = -h**3 + 30*h**2 + 43*h + 29. Is a(30) prime?
True
Is 6*((-1079)/(-6) - (-6)/(-18)) a composite number?
True
Let f be 1 + -1 + 2 + 2. Suppose 9 = f*d - 3. Suppose -n = 4*x + d*n - 412, 5*n - 197 = -2*x. Is x composite?
True
Suppose y - 700 = 467. Is y a composite number?
True
Is (-3)/(48/(-3476))*4 a prime number?
False
Suppose 1 = j + 4*j + 4*d, 5*j - 3 = -2*d. Is 674/2 - (1 + j) a composite number?
True
Is -2 + (-2 + 1 - -41) a prime number?
False
Let d = 733 - -38. Suppose -n + d = 2*n. Is n a prime number?
True
Suppose -4 = -3*h - 13. Let k(v) be the first derivative of -13*v**2 - v + 2. Is k(h) composite?
True
Let d(k) = 18*k - 5. Is d(4) a prime number?
True
Let z(n) = -141*n. Let i be z(2). Let v = i - -411. Is v prime?
False
Let d = 79 + -45. Is d prime?
False
Let o(t) = 4*t**2 + t + 1. Let l be o(-1). Suppose 3*z - 393 = -3*c, 0 = 3*c - 2*c - l. Is z composite?
False
Suppose 960 = 4*v - 1388. Is v prime?
True
Suppose 5*d + 27 = t, 0 = 3*t - 4*d - 0*d - 125. Let s(w) = 3*w - 35. Let p be s(16). Let q = t - p. Is q prime?
False
Let n be -4*(-1)/2*2. Suppose t = -n*t + 15. Suppose 0*j - 111 = -t*j. Is j prime?
True
Suppose -25*k = -17*k - 5080. Suppose 0 = 3*y + y. Suppose 6*n - n - k = y. Is n a composite number?
False
Suppose 5*j - 669 = -2*g - 143, -3*j = 2*g - 526. Is g a prime number?
True
Let t = -143 + 320. Is t a prime number?
False
Let h(g) = g**2 + 7*g. Let b be h(-7). Suppose -1 = 2*z - b*y - 5*y, 3 = z + y. Suppose -4*j = -z*f - 13 - 1, -4*j + 15 = -3*f. Is j a prime number?
True
Is (1 - -52)*(3 + -2) prime?
True
Suppose o - 2*o - 28 = -3*h, -2*h + 21 = -3*o. Let z be (-4)/(-18) + 358/h. Is (55/(-20))/((-2)/z) a prime number?
False
Let j(i) = 53*i + 5. Is j(4) a composite number?
True
Is ((-2)/(-2))/3*9489 composite?
False
Let d(j) = 70*j + 7. Let y(w) = w**2 + 6*w + 3. Let s be y(-6). Is d(s) a composite number?
True
Let z(q) = -q**2 - 2*q - 1. Let t be z(-1). Suppose -3*x = 3*c - 996, -c + x + 3*x + 327 = t. Is c prime?
True
Suppose 0 = -2*m + 4*g + 20, 0 = -m - m + 3*g + 16. Let t be 5/(0 - m/(-2)). Is 5/(t/2) - -8 a prime number?
False
Let u(m) = -m**3 + 3*m**2 - 2*m + 2. Let v be u(2). Let j be -2 - (-3 + v) - -7. Is j/21 + 94/14 a composite number?
False
Let r = 90 - -583. Is r composite?
False
Let a = 1 - 0. Let r be -1 - a - (1 + -28). Is 5/r - 69/(-5) a composite number?
True
Suppose 3*w = -5*r - 0*w + 9799, r - 1965 = 2*w. Is r composite?
True
Let q(g) = 2*g + 2. Let i = -5 + 11. Suppose -3*x + i = -0*x. Is q(x) a prime number?
False
Suppose -50*c = -47*c - 177. Is c composite?
False
Let s = -100 - -603. Is s a composite number?
False
Let m(u) = -12*u - 3. Suppose -2*b - 2*b = -20. Suppose -b*g - 3 = 7. Is m(g) prime?
False
Suppose -12 = -d - 2*d. Suppose 10 = h + d*h. Is h composite?
False
Let o(z) = 35*z**2 - z. Let l be (-8)/(-6) + 2/(-6). Let g be o(l). Let h = 57 - g. Is h a composite number?
False
Let z(p) = -p**3 + 8*p**2 - 7*p - 2. Let m be z(6). Suppose -5*l + 2*v + m = 0, -v = -3*l + 4*v + 13. Is l a composite number?
True
Suppose 4*i = i + 6. Suppose -i*h = -91 - 19. Is h a composite number?
True
Suppose -2322 = -11*q + 1319. Is q composite?
False
Suppose 0 = -4*a + 14 - 2. Let l(w) = 1 + 4*w**3 - 3*w**a - 3*w**3 + w**2 - 2*w. Is l(-2) a prime number?
False
Let x(v) = v**2 - 437. Let r be x(0). Let k be 4/(-16) + r/(-4). Suppose 61 = 2*d - k. Is d prime?
False
Suppose 5*t = 3*d + 8910, 5*t + 2*d = d + 8910. Is (-3)/(-5) - t/(-55) composite?
True
Suppose -3*v - 2*v + 5 = 0. Is (1 + -2)*-307*v a prime number?
True
Let k = 9 + -2. Let c(u) = u**3 - 5*u**2 + 4*u + 1. Is c(k) a prime number?
True
Is (4/(-10) - 16/10) + 1951 composite?
False
Let o(i) = 2*i - 3. Let u be o(-3). Is 2/(-2)*(2 + u) a prime number?
True
Suppose 0 = -3*a - c + 1209, 1612 = 3*a + a + c. Is a a prime number?
False
Suppose -4*g + 5*b = -10, -2*b - 2 - 2 = 0. Let j be (g - 1) + 0 + -2. Is 6*(5/j - -2) a prime number?
True
Let d = -47 + 88. Let c = -8 + d. Is c composite?
True
Let y(q) = 105*q - 1. Let w be y(-2). Let r = 540 + w. Is r composite?
True
Suppose 0 = 5*k - 4*t - 6, -3*t + 4*t = 1. Suppose 3*i + k*i - 4*p = -10, 2*i - 4*p = -16. Suppose 7*f - i*f = 55. Is f a prime number?
True
Let b(l) = 13*l - 1. Is b(4) prime?
False
Suppose 21*l - 18*l = 14493. Is l composite?
False
Let s be 2 - 1 - (2 - 5). Suppose -7 = -3*g + w - 2*w, -s*w - 5 = g. Is (93/(-9))/((-1)/g) composite?
False
Let a = 17135 + -9904. Is a prime?
False
Let h = -4 + 2. Is ((-6)/9)/(h/57) prime?
True
Let u(o) = 5 - 15*o - 2 + 0. Let q be u(2). Let c = q - -41. Is c a composite number?
True
Let l = -17 - -17. Suppose -k + l*k = -67. Is k composite?
False
Suppose -20 = 2*x - 7*x. Suppose 80 = x*i - 60. Is i a composite number?
True
Let f(d) = 12*d**2 - 7*d - 10. Is f(7) composite?
True
Suppose 0*p = -5*p + 95. Let m = p - 6. Is m a composite number?
False
Suppose 4*r = -r + 2*u + 2045, 5*r - 2045 = -5*u. Is r composite?
False
Suppose 4 + 6 = 5*d. Suppose -3*w + 47 = -d*v, 3*v - 5*v + 86 = 4*w. Is w a prime number?
True
Let s = 5189 + -332. Is s prime?
False
Suppose -94 = 4*q - 2*q. Let f = q - -84. Is f a prime number?
True
Is 14/(-3*(-4)/318) a composite number?
True
Let c(l) = -l**3 - 5*l**2 + 6*l - 3. Let s be c(-6). Let t be (-474)/9 + 1/s. Let o = 75 + t. Is o a composite number?
True
Let v = 162 - 79. Is v a prime number?
True
Let c(h) = -h + 1. Let m(q) = 27*q**2 + 2*q - 8. Let p(o) = 6*c(o) + m(o). Is p(-3) composite?
True
Let v(d) = 24*d**3 - 2*d**2 + 3*d - 2. Let t be v(2). Suppose -188 = -4*l + t. Is l composite?
True
Let d = 55 - -20. Suppose 0 = 3*j - 30 - d. Is j prime?
False
Let f(u) = -3*u**3 - u**2 - u - 1. Let s be f(-1). Suppose -249 = -3*m + s*m. Is m prime?
False
Let p = -1 + 3. Suppose o = -n - 3*n + 23, 5*n - p*o = 45. Is n a prime number?
True
Suppose 5*f - 12 = f. Suppose 0*g = 5*g - 15. Suppose f = -g*m + 81. Is m composite?
True