2 = 4*u + 4*d, -5*d + 3*d + 6 = u. Is y(u) prime?
True
Suppose -v - 3*y + 3 = 0, -y = 5*v + y - 15. Suppose -2*i = v*i - 230. Let x = i - -23. Is x prime?
False
Suppose 855 + 8211 = 6*h. Is h a prime number?
True
Suppose -4*a + 10 + 6 = 0. Suppose 5*k = 56 + a. Is 1522/k + (-2)/(-12) a prime number?
True
Suppose m = -3*u - 3*m + 3131, -4*u + 4216 = -5*m. Suppose 2*f - 3*f - u = -5*g, 4*f = -2*g + 402. Is g prime?
False
Let i = 27 + -19. Suppose -5*m + 62 = -i. Is m a prime number?
False
Is (-1 - -5) + (-16422)/(-6) a composite number?
False
Suppose -3*w + 2*b = -8*w + 533, -2*w + 2*b + 202 = 0. Suppose 3*j + 0*n - n = w, j = -3*n + 35. Is j a composite number?
True
Let i be (3 + 6)*(-4)/6. Let a = i - -5. Is -3 + (a - -135 - -2) composite?
True
Suppose 5*i - 863 = -2303. Let l = i - -409. Is l a prime number?
False
Is ((-3)/6)/((-3)/582) a prime number?
True
Suppose 3*t + 0 = -y - 1, -2 = -5*t + 2*y. Suppose 0 = c + 3*r - 527, -5*c + r = -t*c - 2603. Is c a composite number?
False
Let m(j) = 19*j - 13. Let c be m(-6). Is (6 - 7)*(c - 0) a composite number?
False
Let y(v) = -v - 2. Let z be y(-7). Suppose 2*n + z*p + 31 = 4*n, -p - 19 = -2*n. Is (n/12)/(2/57) a prime number?
True
Let r(h) = h**3 + 15. Let c = -2 - -1. Let g be (2 - 0) + -1 + c. Is r(g) a prime number?
False
Let p(h) be the first derivative of h**4/4 + 2*h**3 - h**2 + 2. Let q = 1 - 6. Is p(q) a prime number?
False
Suppose 2*p - 3*p + 5 = 0. Suppose -p*w - 9 - 6 = 0. Is 2 + (-24)/9*w a prime number?
False
Suppose -5*w - 5*g + 20 = 0, 0*g = -4*w - 5*g + 16. Suppose w*c = 3*c + 91. Is c prime?
False
Let r = 1 + -1. Suppose 9*y - 4*y + 29 = 3*n, r = -2*n - 2*y - 2. Is ((-4)/(-6))/(n/27) a prime number?
False
Suppose -2*o - 129 = -6*o + f, -2*o + 67 = -f. Is o composite?
False
Is 446/3*(-3)/(-2) a prime number?
True
Let x(y) = -3*y - 8. Let k be x(-12). Is 1173/4 - 7/k a composite number?
False
Suppose -3*r = -865 + 79. Suppose 4*h - 1230 - r = 0. Is h prime?
True
Let m be 232/(-12) - 2/(-6). Let l = -12 - m. Let p = 60 - l. Is p composite?
False
Suppose -3*m + 5 = -4*y, m = -5*y - 8 - 3. Let c be (-4 + m)*(2 - 1). Let p(w) = w**2 + 2*w + 4. Is p(c) composite?
False
Let k = 524 + -874. Suppose 0 = 2*q - 0*q, q = 3*p + 669. Let r = p - k. Is r prime?
True
Let z(m) = 6*m**3 - 4*m**2 + m + 3. Let j be z(4). Let v = j - 28. Is v prime?
False
Suppose -5*i + 2*z + 34 = -973, 187 = i - 4*z. Is i prime?
False
Let q be ((0 - -1) + 1)/2. Let k be 1/4 - 33/(-12). Is (-261)/(-3) + (k - q) composite?
False
Let j(h) = 7*h - 1 + 9*h**2 + 2*h**3 - h**3 - 5*h. Let r be j(-4). Suppose -4*o + 522 = -3*b, o - 2*b - 204 = -r. Is o a prime number?
False
Let y be (-10797)/(-18) - (-2)/12. Let u = y - -41. Is u a prime number?
True
Let f(v) = 2*v**2 + 7*v + 3. Let s(y) = -y**2 + 1. Let g(i) = -f(i) - 4*s(i). Is g(6) prime?
True
Let a be ((-9)/2)/((-5)/250). Suppose -2*j + a = n, 6*n = j + 2*n - 99. Is j composite?
True
Suppose 0 = 4*k - 20, 0 = -z - 2*k + 579 - 147. Is z composite?
True
Let n be ((-2 - -4) + -78)*-8. Let m = -345 + n. Is m a composite number?
False
Let i = 1057 - 383. Is i prime?
False
Suppose -2*n = -3*q - 4, n + 3*q + 12 = 8*q. Let o = -3 + n. Is 83 - (-2 + o) - -3 composite?
False
Let n(z) = -z**3 - 12*z**2 - z - 9. Let a be n(-12). Suppose 30 = a*f + 3*r - 12, 2*f = 2*r + 12. Is f composite?
True
Let y(r) = -42*r**3 - 2*r**2 - 2. Let j be y(-2). Suppose 5*x = 3*s - 357, x = -5*s + j + 297. Let f = s + -57. Is f prime?
True
Let b = 2 + -3. Is (-41*4 - b)/(-1) a composite number?
False
Suppose 2*v + 2*j - 2274 = 0, 5*j - 3*j - 3415 = -3*v. Is v a prime number?
False
Let n = 9 - 5. Let a be (-620)/(-45) + (-4)/(-18). Let x = a - n. Is x prime?
False
Suppose -5*j + 3*u + 1361 = 0, -2*j - 3*u + u = -538. Suppose -2*z + 5*z + 3*r - 210 = 0, 4*z - 5*r = j. Is z composite?
True
Suppose -3*o + 642 = 5*t, -2*o + 6*t + 403 = t. Is o a prime number?
False
Let v(x) = x**2 + 14*x + 30. Is v(13) a prime number?
False
Let j = -667 - -1209. Suppose 364 = 3*o + i, -62 = -5*o + i + j. Is o a prime number?
False
Let w be (-13)/(-4)*1*(7 - -1). Suppose -4*b = -2*b - 12. Is (-2)/b*w*-3 a prime number?
False
Suppose -3*c - 5*c = -2008. Is c prime?
True
Let l(c) = 17*c - 4. Let r be l(4). Suppose -444 = -5*d - r. Suppose -5*x = -x - d. Is x a composite number?
False
Suppose -2*t - 2 = -t. Is (-139)/t - (-3)/2 a prime number?
True
Let v = 26 - 12. Is (4/(-6))/(v/(-651)) prime?
True
Suppose -s = -5*m + 13, -s - 2*m - 13 = 7. Is (-5)/(5/s) + -3 prime?
False
Suppose 2*m = -4*m - 30. Let w(f) = f**3 + 10*f**2 + 5*f - 7. Is w(m) composite?
True
Let c = -10 - -16. Suppose j + c = 1. Let a = 12 + j. Is a a prime number?
True
Suppose 2*b = 4*g + 3*b - 149, 4*g - 150 = -2*b. Is g a prime number?
True
Suppose -g = 7*p - 2*p, -4*g + 2*p = 0. Let t be 1/(1/5 - g). Suppose 0 = -4*n + 4*r + 96, r - 75 = -t*n + 15. Is n composite?
False
Let s = 1 - -2. Suppose s*z - 434 = z. Is z prime?
False
Let v(r) = 2 + 2*r**2 - 4*r + 8*r**2 + 2. Is v(3) a composite number?
True
Let h(p) = -p**2 + 7*p + 1. Let g be h(6). Let c = 11 - g. Suppose 3*o + 11 = c*o. Is o prime?
True
Let p(c) = c**2 + 7*c + 4. Let r be p(-5). Let m be (r/(-1))/((-1)/(-4)). Let f = m - -31. Is f prime?
False
Suppose -10*q + 482 = 4*z - 5*q, -5*z + 582 = -4*q. Is z a prime number?
False
Let a be (5 + -3)*(2 + 2). Is (-198)/(-8) - (-2)/a a prime number?
False
Let i be (-10)/3*(-53 + 2). Suppose 0 = -8*t + 31 + 33. Suppose -6*u = -t*u + i. Is u composite?
True
Let k = -17 - -9. Let g be (20/k)/((-2)/4). Suppose -5*f - 8 = -3, -g*p + 4*f = -459. Is p prime?
False
Suppose 0 = -5*k + 6*k - 1346. Is k composite?
True
Is 5/(-10) + -3 + (-829)/(-2) a prime number?
False
Let n be (-3)/12*-2*6. Suppose n*t - 8 = -y + 2, 5*t - y = 6. Suppose -d - 15 = -t*q, -4*q + 2*d + 31 = -d. Is q prime?
True
Suppose 254 = 2*h + 5*i - 244, -4*i = -h + 275. Is h a composite number?
True
Let n(p) = -p - 4. Let o be n(-7). Suppose -w = o*w - 352. Suppose h + 4*i = w + 2, h - i - 70 = 0. Is h composite?
True
Let s(x) = -x**2 - 5*x - 4. Let z be s(-4). Let o be (-2 - 0)*(-174)/4. Is o + z + (-4)/(-2) a prime number?
True
Let p(f) = 771*f - 7. Is p(2) prime?
False
Let x = 11 - 7. Suppose -5*p = 4*k - 13, -19 = -k - 0*p + x*p. Is k prime?
True
Let n(t) = -t**3 + 8*t**2 - 4*t + 5. Let o be n(9). Let r = -75 - o. Is r prime?
True
Let p = -739 + 1058. Is p a composite number?
True
Is (145 - 2)*4/4 a composite number?
True
Suppose 6 = 3*w + 2*f - 3, 5*w - 15 = -4*f. Suppose -w*d = 3*l + 2*d - 227, 5*l + 3*d = 389. Is l composite?
False
Let p be 1/3 - 10/(-6). Is (p + -1)/(2/26) a prime number?
True
Let g = -57 + 256. Suppose 0 = 2*w + o - g + 46, -4*w + 5*o = -341. Is w composite?
False
Suppose -2*t = 4*s - 980 - 636, -3*t + 2423 = 5*s. Suppose t = -7*h + 9*h. Is h a prime number?
False
Let u(y) = -181*y + 1. Let i be u(-1). Let w be (i/6)/((-5)/(-15)). Suppose n + w = 2*n. Is n composite?
True
Is ((-2422)/4 + 2)/(22/(-44)) a composite number?
True
Let j be ((-2)/6)/((-2)/18). Suppose j*q = 235 + 32. Is q prime?
True
Suppose 4*b - q - 13 = 0, -3*b + q = -3*q. Let u = -2 + b. Is -74*(15/(-6) + u) a composite number?
False
Is (-5137)/(-9) + 10/45 prime?
True
Suppose -5*j - 447 = 3. Let k = -53 - j. Is k a composite number?
False
Is 1 - -34 - (-8)/(-4) a prime number?
False
Let t(m) = -m**3 - 5*m**2 - 10*m - 13. Is t(-9) a composite number?
False
Let a(m) = -m**3 - 5*m**2 - 3*m + 4. Let s be 120/36*6/(-5). Let o be a(s). Suppose o = -3*g + 304 + 167. Is g a prime number?
True
Let n(d) = d**3 + 11*d**2 - 9*d - 14. Let k be n(-11). Suppose -k = -2*i + i. Is i prime?
False
Let g be (4/(-7))/(16/(-56)). Suppose -745 = -g*i - 3*i. Is i a prime number?
True
Let v be (-3 - -2)/((-2)/(-78)). Let y be (-2 + v/(-9))*3. Suppose -y*p - 2*o + 52 = -2*p, 0 = 3*p - 2*o - 28. Is p composite?
True
Let w = 26 - 233. Let f = w + 444. Is f composite?
True
Let w(j) = 3*j**2 + 5*j - 3. Is w(2) composite?
False
Suppose -3*b + 10 = 4*z - 0*z, -4*z + 14 = b. Suppose 2*u + z*q + 252 = 5*u, u - q = 85. Suppose 3*f - 4*o - u = f, 2*f - 90 = 2*o. Is f prime?
False
Suppose -3*v - 521 - 625 = -3*g, -3*g = -v - 1144. Is g composite?
True
Let q(l) = 0*l**2 + 1 + 3*l**2 + 4*l - 4 - 4. Let g be (3/3)/(1/(-6)). Is q(g) composite?
T