(s) = 79*s**2 + 50*s - 403. Is u(24) prime?
True
Let g = 2569 + -1782. Is g prime?
True
Let l(z) = -z**3 - z**2 + 2*z. Let b be l(1). Suppose b = 18*a - 5*a - 7267. Is a a composite number?
True
Let o(u) = 34*u + 5. Let x(q) = -q**2 - 2*q + 9. Let d be x(-3). Let w be o(d). Suppose -81 = -2*a + w. Is a prime?
False
Let w be 6 - ((-12)/6)/(-2). Suppose -4 = h, 2868 - 367 = q - w*h. Is q a composite number?
True
Suppose 3*r - 6*r = 0. Let k = -12 - r. Is (-19)/3*k/2 composite?
True
Let r(v) = -16*v**2 + 1. Let w be r(-1). Let j be (-9)/((w/(-14))/(-5)). Let u = -16 + j. Is u a prime number?
False
Let c = -1 + 4. Suppose -5*d + c*g + 41 = -g, d + 5*g = -15. Suppose 3*h = -d*z + 1118, 0 = -4*z + 3*h - 176 + 1065. Is z a prime number?
True
Suppose -9*i + 8*i = -1404. Is (4 - 3) + i/3 a prime number?
False
Suppose 0 = -1110*m + 1119*m - 383769. Is m a composite number?
False
Let c(m) = 150*m - 1. Let n = 2 - -11. Suppose 4*k - 3 = 5*v - 0, -n = -3*v - 5*k. Is c(v) a composite number?
False
Is 266 + 5 - (4 - -4)/4 prime?
True
Let l be 80/4*1/4. Suppose -3056 - 1829 = -l*r - 5*w, -969 = -r - 5*w. Is r prime?
False
Let c(a) = -a**3 - 15*a**2 - 2*a + 7. Suppose -4*s + 24 = -2*m, -2*m - 5*s = 2*m + 74. Is c(m) prime?
False
Suppose 0 = 5*g - 13 - 47. Let n = g - 11. Is n*(-3 + 2)*-187 a prime number?
False
Suppose -87*d + 53*d + 61982 = 0. Is d prime?
True
Is (-6)/9*801522/(-36) composite?
False
Suppose 5*c + 5674 + 17902 = 4*z, -5*z + c = -29491. Is z a composite number?
True
Is (-4)/((20/9005)/(-1)) prime?
True
Let k(d) = 2*d - 11. Let v be k(7). Suppose -602 = -5*w + 1183. Suppose v*y = -0*y + w. Is y composite?
True
Suppose -2*v = 4*v - 6666. Is v a prime number?
False
Suppose -5*m - 4*g = -1539, -3*g + 0*g + 1231 = 4*m. Is m composite?
False
Suppose 4*o + t = -3674, o = t - 433 - 483. Let u = 1309 + o. Is u a composite number?
True
Suppose -5*n + 20 = 50. Is (n/(-15) + -1 - -1)*25 prime?
False
Suppose 3*i + 88 = 67. Let c(n) = -27*n + 23. Let v(x) = -41*x + 34. Let b(m) = 8*c(m) - 5*v(m). Is b(i) a composite number?
True
Let t = 1434 + 327. Is t a composite number?
True
Let x(p) = 478*p + 149. Is x(8) composite?
True
Suppose 0 = -g + 3*g + 4. Let v(z) = -9*z - 20. Let x(s) = 10*s + 19. Let w(c) = g*v(c) - 3*x(c). Is w(-11) a prime number?
False
Suppose -h = -4*w + 4*h + 13, -2*h - 2 = 0. Suppose b - 2*b - 4*k = -485, w*k + 4 = 0. Is b prime?
False
Let f(r) = -r**3 + 2*r**2 + r + 4. Let u be f(-3). Let p = u - 39. Is p a composite number?
False
Let x = 22 - 17. Suppose 2*t + 5 = 3*j - 3*t, x*t + 5 = j. Suppose -5*m - 620 = -5*g - 0*g, j = 2*g + 2*m - 228. Is g a composite number?
True
Suppose 6 = -2*p + 4*p, -86694 = -3*a + 3*p. Is a a composite number?
False
Let t = -2 - 0. Let k be (t - (-572)/(-5))*-10. Suppose -8 = 4*l - k. Is l a prime number?
False
Suppose 7*f = -10*f + 12886. Is f a prime number?
False
Let t(u) = 146*u**2 + 2*u - 1. Let v be (-6)/(-4)*(-6)/9. Is t(v) composite?
True
Let x(t) = 462*t + 37. Is x(7) a prime number?
True
Let w = 8163 - 2050. Is w a prime number?
True
Let s be -1 + -3 - (-21)/3. Suppose 0 = -b + 1, y + s*y - 483 = 5*b. Is y a composite number?
True
Let p be (-1 + 3/2)*10. Suppose -4*v = p - 1. Is (-95 - -3)*v + 3 composite?
True
Let c(g) = 21*g**2 + 18*g + 13. Is c(10) composite?
False
Is (2 + 21540/9)*12/8 a composite number?
False
Suppose -5*r + 2*w = -12, 0*r - 5 = -r + 3*w. Suppose 4*i = h + 6936, -5*i = -4*h + r*h - 8667. Is i a prime number?
False
Let l = -39 + 910. Let s = -489 + l. Is s a composite number?
True
Let n(f) = -64*f + 17. Suppose 0*i + 40 = -5*i. Is n(i) a prime number?
False
Is (-1 - 127634/(-17)) + 34/289 a composite number?
False
Let c = -2403 - -5050. Is c prime?
True
Suppose -24*a + 4015614 = 1276902. Is a composite?
False
Suppose -131*s = -175*s + 1790492. Is s prime?
True
Let f(j) = -j**3 - j**2 + j - 1. Let h(p) = -2*p**3 + 2*p**2 + 2*p - 10. Let q(u) = 3*f(u) - h(u). Let x be q(-5). Suppose g + x*g = 141. Is g prime?
True
Let t = 4395 - 1958. Suppose -1160 = -h - 5*i - 376, t = 3*h - 2*i. Is h a prime number?
True
Let w(k) = k**3 + 5*k**2 - k - 2. Let d be w(-5). Suppose -m + d*z + 3 + 7 = 0, 0 = 4*m - 4*z - 24. Suppose 9*l - m*l - 70 = 0. Is l prime?
False
Suppose -2*y - 5*i - 1 + 2 = 0, 5*y - 17 = 2*i. Suppose 0 = -y*o + 375 + 816. Is o a prime number?
True
Suppose 28476 = 3*h + 3*l, h + 47456 = 6*h + l. Is h a prime number?
True
Suppose -8*z + 3*z = 10. Let v be (-217)/(-5) - z/(-5). Suppose a - v = 4*w, 5*w = -3*a + 2*w + 84. Is a a prime number?
True
Let j(l) = l**3 - 2*l**2 + 2*l - 6. Let o = 44 - 27. Let q = o - 12. Is j(q) a prime number?
True
Let b = -2920 - -7257. Is b a composite number?
False
Let s(h) = 4*h - 12. Let b be s(4). Is ((-1833)/26)/((-2)/b) composite?
True
Let y = 2 - 0. Suppose 5*l = -15, y*l = -3*x + 1959 + 48. Is x composite?
True
Let h(t) = 23*t**2 + t + 3. Let c be h(-3). Suppose 4*g - c - 109 = 0. Is g a composite number?
False
Suppose -3*i - 9 = 0, 159 = 3*k - 4*i - 0*i. Let c = k + 400. Is c a prime number?
True
Let n(r) = -r**3 + 22*r**2 - 6. Let l be n(22). Is (-3 - l/3)/(1/(-673)) a prime number?
True
Let t = 1251 - -57. Suppose i + t = 3*i. Suppose -861 - i = -5*g. Is g a composite number?
True
Let l(d) = -d - 50*d - 2 - 4*d + 0. Is l(-3) composite?
False
Is (-1934)/12*5/((-35)/42) a composite number?
False
Suppose -3*v = 4*o - 2*o - 763, 3*v = o + 757. Let r = 716 - v. Is r a prime number?
True
Suppose 2*b = 3*b. Let l be b + -3 + 4 + -3. Is (388 - -1)*(l - -3) a prime number?
True
Suppose 4*t - t = 5*q - 16082, q - 3218 = t. Is q prime?
False
Let d(v) = -5*v**3 + 2*v**2 - v - 17. Let o be d(-4). Suppose -2*z - 90 = 250. Let k = o + z. Is k composite?
True
Let a be 34/(-12) - (-3)/(-18). Let c be (-3)/a - (-564)/6. Suppose -p + 52 = -3*h, -2*p - 2*h = h - c. Is p composite?
True
Let l(w) = -315*w - 4. Let z be l(-4). Suppose -b + 302 = 5*a, 4*a + 0*a = -4*b + z. Is b prime?
True
Suppose -8 = -2*q - 28. Let s = q - -10. Suppose s*n = 4*u - 2*n - 1584, 0 = 3*u - 3*n - 1194. Is u composite?
True
Let a = 10002 - -12851. Is a a prime number?
True
Suppose 4*l + q = -0*l - 8377, 4*l + 8378 = -2*q. Let b be 1/(3*(-2)/l). Suppose -j + b = -856. Is j composite?
True
Let s = -588 + 397. Let v = s - -602. Is v a composite number?
True
Let y(d) = 207*d - 142. Is y(19) a composite number?
True
Let i(t) = -8 + 58*t**2 + 5*t - 17*t**2 + 43*t**2. Is i(5) composite?
True
Let o(s) = 207*s - 9. Let u be o(-2). Let j = u - -9992. Is j a prime number?
False
Let t(v) = 1385*v + 2. Let y be t(3). Suppose -y = -3*j - 4*o, j - 3*j = 5*o - 2783. Is j a composite number?
True
Suppose 0*z + 4*z - 1064 = 0. Let m = z - 151. Is m prime?
False
Let v = -4716 + 9507. Is v composite?
True
Let i = 1014 + -1549. Let x = i + 942. Is x composite?
True
Suppose 27*k - 3073 = 20*k. Is k composite?
False
Let s(a) = -a - 14. Let y be s(-10). Let r be 6 - (y + 1 - -4). Is 76*(110/8)/r a prime number?
False
Let v be (-78)/4*(-16)/(-12). Let c = v + 24. Is (c - (-459)/6)*2 a composite number?
False
Let g(o) = 46*o**3 + 26*o**2 - 14*o + 53. Is g(11) composite?
False
Let l be (-4)/(-2) - (-2 - -36). Let g = l + 7. Is 6/(-15) + (-1435)/g composite?
True
Suppose -15*j + 22813 = -8*j. Is j composite?
False
Suppose -4*m + 8033 = -2563. Is (m/(-6) - -3)/((-2)/4) a prime number?
True
Let m = 2640 - 601. Is m a composite number?
False
Suppose -3 = -3*w, -5*w = -a + 2 - 1. Suppose 0 = p - a + 4. Suppose 0 = 4*k - p*k - 898. Is k composite?
False
Let q be 1*(572*1 - 1). Suppose -w + 2*z + z = -q, -2*z + 2284 = 4*w. Is w composite?
False
Let h(y) = y**3 + 4*y**2 - 19*y + 43. Let c(i) = 3*i**3 + 13*i**2 - 57*i + 130. Let m(v) = -2*c(v) + 7*h(v). Is m(11) composite?
True
Suppose 4*w + 5*y - 90440 = 0, 3391 - 116446 = -5*w - 5*y. Is w a composite number?
True
Let c = -39695 - -75986. Is c prime?
False
Suppose -5*w + 28 = 4*u - 36, 25 = u - w. Suppose 4*a + 3*v - u = 0, -6*a + a + 35 = -5*v. Let j(f) = 3*f**2 - 2*f + 7. Is j(a) a composite number?
False
Let x(t) = 34160*t + 51. Is x(1) prime?
True
Suppose 18 = 3*f - 0*f. Let z(h) = -h**3 + 6*h**2 + 4. Let j be z(f). Suppose j*c = 117 + 35. Is c prime?
False
Suppose 3*x + 2*x - 20 = 0. Suppose 0 = 3*w - 2*w - x. Suppose w*t = 4*b - t - 2701, -3*b + 2049 = 4*t