ose k + 665 = 4*k - 2*m, 3*k - 5*m = 659. Is k composite?
False
Suppose 0 = -0*j + j - 2*h - 375, -h = 4*j - 1545. Let m = j - 174. Let f = m - 134. Is f composite?
True
Suppose s - 2*s + 117 = 0. Is 20/(-6)*s/(-6) composite?
True
Suppose 6*l - 1325 = 8209. Is l composite?
True
Let y(r) = -r + 4. Let c(o) = -1. Suppose 4*s + 42 + 26 = 0. Let l(g) = s*c(g) - 6*y(g). Is l(5) a prime number?
True
Suppose o + l - 1071 = 3*l, 0 = 5*o - 5*l - 5335. Suppose -5*g = -4*t - o, 0 = -2*g - 3*g + t + 1057. Is g a prime number?
True
Let w(p) = 2*p + 17. Is w(18) a composite number?
False
Let z(y) = 2*y**2 + 3*y + 6. Let n be z(8). Let b = 1 + -1. Is (b - n)*2/(-4) a prime number?
True
Suppose 5*f = -5*z - 20, -7 = 3*z + 4*f + 5. Is z/(-6)*(49 - -2) composite?
True
Let u(p) = 899*p + 6. Is u(1) a prime number?
False
Suppose -49 + 459 = p. Let h = p + -247. Is h composite?
False
Let z be 1 - -1 - (0 + -1). Suppose -4*v - v - 4*j - 169 = 0, -3*j + 96 = -z*v. Is -1 - (2 - v)*-1 a prime number?
False
Suppose -1356 = -x - 5*s, 6808 = 5*x - 3*s - 0*s. Is x composite?
False
Let t(p) = 1169*p**3. Is t(1) composite?
True
Is -293*1/4*-4 a composite number?
False
Is (173 + -1)/2 - -3 composite?
False
Suppose -w - 2*r = 3*w - 10902, 5*w + 5*r - 13640 = 0. Is w a prime number?
False
Let y(w) = -28*w - 1. Let h = -11 - -16. Suppose -h*x - 34 - 6 = 0. Is y(x) composite?
False
Let y(k) = 400*k - 3. Is y(2) composite?
False
Suppose 3*y - 83 - 79 = -3*d, 4*d + 197 = 3*y. Is y prime?
True
Let y = 24 + -5. Suppose 0 = 5*x - 3*t - 330, -1 = -4*t + y. Is x composite?
True
Suppose -2*i - 40 + 116 = 0. Suppose i = o + o. Is o prime?
True
Suppose 6*x - 2*x = -24. Let k(w) = w**2 - 4*w - 7. Is k(x) prime?
True
Let k(l) = -12*l**2 + 38*l - 7. Let g(f) = -4*f**2 + 13*f - 2. Let r(y) = 17*g(y) - 6*k(y). Is r(-9) prime?
False
Let r(l) = l**3 + l**2 + 33. Suppose 3*f + 5*h + 13 = -7, 4*f - 2*h = 8. Is r(f) prime?
False
Suppose -5*m + 82 = -28. Let h = 16 - m. Is 1/(h/93)*-2 prime?
True
Suppose 2*v - 38 + 6 = 0. Suppose -w = w + v. Is 28/w*-1*6 a composite number?
True
Let t = -5 + 8. Suppose -6 = -t*o + o. Suppose c = -2*a - a + 40, -o*c + 4*a + 133 = 0. Is c composite?
False
Let h(q) = q**3 + 4*q**2 - 6*q. Let v be h(-5). Let i = 0 + v. Suppose -i*g - 2*z - 119 = -464, -4*z - 91 = -g. Is g prime?
True
Let b = 7 + -5. Is ((-35)/14)/(b/(-68)) prime?
False
Let r = -13 + 18. Let l be 0 - (-4)/(r - 3). Is -2*(l - (-45)/(-6)) a prime number?
True
Suppose -4*p = -2*n + 1254, 4*p - 1261 = -2*n + p. Is n a prime number?
False
Let d(u) = 13*u + 13. Is d(16) prime?
False
Let r be 1 + 1/((-1)/3). Let v(x) be the first derivative of 4*x**3/3 + x**2 - x - 3. Is v(r) composite?
False
Let o(v) = v + 16. Let w be o(-10). Suppose 5*s = 2*s - w. Is s/(-3) - (-20)/6 composite?
True
Is ((-2)/4)/(1 + (-2799)/2798) a prime number?
True
Let k = 197 - -205. Let r = k + -245. Is r prime?
True
Suppose -4*h + 19 + 5 = -4*f, -3*h - 15 = 0. Let s = f + 42. Is s a prime number?
True
Let s be (-1)/3 - 13/(-3). Suppose -2*a = 3*b - 3*a - 3, 4*b = 4*a - s. Suppose -2*j - b*j = -212. Is j a prime number?
True
Suppose -3*o = -3, 0 = -2*j + 4*j - 5*o - 683. Let a = j + -145. Is a composite?
False
Suppose -i - 3 = -5. Suppose -3*b - 12 = 3*t - 144, 0 = i*t - 3*b - 103. Is t composite?
False
Let l = 144 + 212. Let t = 586 - l. Let r = t - 97. Is r prime?
False
Let m = -116 - -36. Let c = 15 - m. Suppose -5*u = -20 - c. Is u prime?
True
Suppose 4*n + 10563 = 5*q - 7876, q - 3688 = n. Suppose 5*b = q - 1102. Is b prime?
False
Let k = 1227 + -740. Is k composite?
False
Is 30/2 - (-13 - -15) composite?
False
Suppose -17*s + 18*s - 1553 = 0. Is s composite?
False
Let l = 464 + -233. Suppose 0 = a + 8 - l. Is a composite?
False
Suppose -5*w = -241 - 359. Let p = -29 + w. Is p a prime number?
False
Let x(u) = -u**3 - 2*u**2 + 3*u + 2. Let o be x(-3). Suppose 0 = -z + o*z - 91. Suppose z = 5*q + 16. Is q prime?
False
Let p = 123 + -85. Is p prime?
False
Is (67/2)/(8/80) composite?
True
Suppose -v = 2*c - c - 301, 0 = 2*v - c - 614. Is v prime?
False
Let u be (2/5)/((-6)/(-60)). Suppose -3*n = 2*z - 0*n - 160, 5*z + u*n - 393 = 0. Is z a prime number?
False
Let y(u) = -235*u - 1. Is y(-2) prime?
False
Suppose 4*p = -2*j + 1356, 3*p = 3*j + 2*j + 1043. Is p a prime number?
False
Let g(z) = z - 3. Let r = -2 - -5. Let d be g(r). Suppose -3*u + 163 + 32 = d. Is u prime?
False
Let l(c) = 2*c**3 - 11*c**2 - 5*c - 1. Let m be l(6). Let r be (-192)/(-1) + (2 - 2). Suppose -4*b + r = 5*j - b, 4*j + m*b - 151 = 0. Is j composite?
True
Suppose -5*c + 9977 = 3*f - 0*c, 3*c = -4*f + 13310. Is f a prime number?
True
Suppose 0 = -5*h - 2*y + 627, 2*h - 115 = h - 3*y. Is h composite?
False
Let i(p) = -13*p**2 + p. Let o be i(1). Is 413 - 8/(o/(-3)) prime?
False
Let n = 404 - -339. Is n a prime number?
True
Suppose -2*j + 25 + 13 = 0. Is j prime?
True
Let v be (-8)/36 - 94/(-18). Suppose h - 231 = 4*t, 3*h + 2*t + 492 = v*h. Is h a prime number?
True
Suppose -4*x + 3*k = x - 531, 2*x = -3*k + 225. Let b be x/(-5) - (-6)/(-15). Let s = b + 44. Is s composite?
True
Suppose 393 = -4*r + b + 132, 0 = b - 5. Let n = 13 + -40. Let c = n - r. Is c a prime number?
True
Let d(x) = 14*x - 9. Let u be d(11). Is 3/(-2 - (-293)/u) prime?
False
Let x be (-9)/3 + 2*309. Suppose -f - 2*f - 3*o = -x, 2*o + 595 = 3*f. Is f prime?
False
Let g(r) = 11*r**2 - 4*r - 5. Let j be g(-2). Suppose 923 - 246 = 4*w + u, 3*w - 516 = 2*u. Let i = w - j. Is i composite?
True
Let f(o) = 3*o - 7. Let q be f(4). Suppose 0 = -q*l + 270 + 745. Is l prime?
False
Suppose -o + 509 = -380. Is o composite?
True
Suppose 0 = -0*y + 3*y - 15. Suppose y*l = -4*t + 128, 0 = -4*t - l - 2*l + 136. Is t composite?
False
Let s be (-2 - (-14)/8)*-12. Suppose n + 0*n = -w, 5*n = -s*w. Suppose w = -o - 4*u + 81, 0 = -4*o + 5*u - 164 + 509. Is o prime?
False
Let v(p) = p**3 - p**2 + 329. Let b be v(0). Suppose -5*l - 4 = -b. Is l prime?
False
Let y = 0 - -1. Let c be -15*(-3 + 11/5). Let l = c - y. Is l prime?
True
Is (-1282*(-3)/(-6))/(-1) composite?
False
Let v(z) = -z**3 - 8*z**2 - 7*z + 5. Let i be v(-7). Suppose 0 = 3*b - 2*g - 6, 4*b + 0 = -i*g + 31. Let a = b - -7. Is a composite?
False
Let f(j) = j**3 - j**2 - 9*j + 6. Is f(7) prime?
False
Is 2/5 + (-7301)/(-35) composite?
True
Suppose -15 = 3*w + 2*w. Suppose 2*r - 3*z = -r + 135, 5*z + 179 = 4*r. Let c = r - w. Is c a composite number?
True
Suppose -3*m + 10 = -4*z + 27, 3*z = -2*m. Let j = 146 - 60. Suppose -j = -4*l - z. Is l composite?
True
Let p(n) = n**3 + 7*n**2 - n - 5. Suppose -2 = -3*u - 20. Is p(u) prime?
True
Let w = 213 + -100. Suppose 20 = p - w. Is p a prime number?
False
Let j be 1 + 0 - (-1 + 3). Let t = 126 - j. Is t composite?
False
Let o = -535 + 944. Is o prime?
True
Let a = 2 - 0. Let f(r) = -26*r - 4. Let q be f(-3). Suppose -4*y - 74 = -a*z, z + 3*y - q = -z. Is z composite?
False
Let n(q) = -6*q - 5. Let z be 2/6 - 6/(-9). Let a be -10 - (2 + (z - 4)). Is n(a) composite?
True
Let k be (36/10)/((-3)/10). Suppose 7 = -4*p - 1. Is ((-15)/(-6))/(p/k) composite?
True
Suppose -8115 = -10*s - 5*s. Is s a prime number?
True
Let y(r) = 16*r**2 - 12*r - 1. Is y(-6) prime?
True
Suppose -5*i = -4*v + 4, -8*v = -3*v + i - 5. Suppose -2*d + v = -105. Is d composite?
False
Let v be (2 + 4)*1/2. Suppose 0 = -4*h - d + 171, v*d + 0*d - 9 = 0. Suppose -q + 4*q - h = 0. Is q composite?
True
Suppose -2*n - 3 = -9. Is 105*((-2)/(-2))/n a composite number?
True
Let f(s) = -20*s + 37. Is f(-6) prime?
True
Let a(i) be the first derivative of 0*i**2 + i - 1/3*i**3 - 2 + 53/4*i**4. Is a(1) a prime number?
True
Let m be (3/(-2))/((-3)/4). Let d = 1 - m. Is d/(-5) - (-384)/5 a prime number?
False
Suppose a = -a + 4*n + 238, -5*a - 4*n + 609 = 0. Is a a composite number?
True
Suppose 0 = 3*d - 12, 5*t - 3*d + 4*d - 44 = 0. Suppose x = 2*x - t. Suppose b + x = 5*b. Is b prime?
True
Suppose 4*k - 3*k - 14 = 0. Suppose -4*t + 7*t = 6. Suppose r - 5*v = -2*v + k, 0 = -t*v. Is r composite?
True
Let v(z) = 10*z + 3. Let j = -4 + 9. Is v(j) composite?
False
Suppose 2*o - z = -0*o + 61, 4*o - 4*z = 112. Is o prime?
False
Suppose 9*a - 425 = 4*a. Let f = -38 + a. Is f composite?
False
Let s(g) be the third derivative of -25*g**4/24 + g**3/3 - g**2. Let 