s a prime number?
True
Let g(k) = -239*k - 4. Let a be g(-9). Suppose 2*z - 3*t = 2*t + a, 3*t + 15 = 0. Is z a prime number?
True
Suppose -2*a - 24 = 3*k, -4*a - 3*k = k + 44. Let j be 12/10*(-30)/a. Suppose j*t = t + 99. Is t a prime number?
False
Suppose 2*s = 6*s - 12. Suppose v - 3*w = 437, s*w = 3*v + 637 - 1960. Is v composite?
False
Let j(d) = d**2 + 8*d + 6. Let c(q) = 10*q + 1. Let n be c(-1). Let z be j(n). Let b = z + 6. Is b prime?
False
Suppose -172*d + 171*d - 4*k = -61441, -3*k = -4*d + 245764. Is d prime?
True
Let s be (9 + -3)/(3/(-2)). Let f(c) = 183*c**2 + 3*c - 1 + 2 - 158*c**2. Is f(s) a prime number?
True
Suppose -5*l + 9*z + 14659 = 5*z, 2*l = z + 5866. Is l a prime number?
False
Let z be (-136)/20 + (-3)/15. Let t(f) = -38*f + 41. Is t(z) prime?
True
Suppose 17*d - 16*d - 77 = 0. Let m = -56 + d. Is m prime?
False
Let b(v) = 37*v**3 + 2*v + 1. Suppose -3*r + 2*u - 10 = -5*r, -r = -2*u + 4. Suppose -r*i - j + 6 = 0, -8*j + 3*j = -i - 8. Is b(i) composite?
True
Suppose y = 5*y - 576. Suppose -y + 717 = c. Suppose -c = -6*h + 3*h. Is h a composite number?
False
Let i = 3858 - -925. Is i a composite number?
False
Suppose 4*o + 2*b - 6 = 0, -3*b = 3*o - 6*o - 9. Suppose 3*d + d - 2879 = 3*z, o = 5*z + 5. Is d composite?
False
Suppose 0 = -3*v - 2*o + 8011, 2*v = 4*v - o - 5336. Is v a prime number?
False
Let z(g) = -g**3 + 3*g**2 - 2*g + 2833. Is z(0) prime?
True
Suppose -60 = i - 79. Let a(r) = 325*r - 32. Is a(i) composite?
False
Let c be 7/(-28) + 351/24*50. Suppose 4*u + u = 4*o - 2958, o - c = -3*u. Is o a prime number?
False
Let y = 19 + -17. Is (86 - 2) + -1 + y a prime number?
False
Let m(o) = -231*o**3 - o - 3. Suppose -5*p - 2 = -4*n, 4*n - p + 4 + 2 = 0. Is m(n) prime?
True
Let c(t) = -38*t + 8. Let z be c(-8). Suppose -5*k + z = 2*w, -4*w = -w + 3*k - 450. Is w a prime number?
False
Let i(p) = 415*p - 30. Let v be i(11). Let d = -8 - -14. Suppose 0 = -o + d*o - v. Is o a composite number?
False
Let q be 1 + (3/3)/1. Suppose 4*g + i - 2697 = 0, -12 - 1309 = -q*g + 5*i. Is g a composite number?
False
Suppose 3*y - 2590 = -5*n, -5*y + 3*n + 2889 = -1405. Let b = y - 549. Is b prime?
True
Let d(x) = 661*x - 3. Let i(g) = -1982*g + 9. Let u(n) = 8*d(n) + 3*i(n). Is u(-2) a composite number?
False
Let g(v) = -3544*v + 1. Let j(h) = h - 1. Let i(o) = -g(o) - 3*j(o). Let y be i(1). Suppose 3*f - 1523 = 3*d + 610, 5*f = 2*d + y. Is f a prime number?
False
Let o(h) = -4*h - 53 + 3*h - 37*h. Is o(-14) prime?
True
Let v(d) = -662 + 847*d - 42*d + 646. Is v(5) composite?
True
Let a be 0 - (8/(-4) - 0). Suppose 4*k = 2*o - 8, -a*o - 3*o = k - 20. Suppose k = -v + 165 + 46. Is v composite?
False
Let g = 1587 + -2. Is g composite?
True
Let p be 1/((3/(-9))/1). Let h(d) = -d**2 - 4*d - 1. Let b be h(p). Suppose 3*a - 3*m = -a + 403, -b*m - 301 = -3*a. Is a prime?
True
Let z be ((-18)/12)/((-6)/16). Is 1920/25 + z/20 prime?
False
Let d(n) = 104*n**2 + 1. Suppose -6 = -3*u + 6*u. Let w be d(u). Let r = 640 - w. Is r prime?
True
Suppose -3*h - 13 - 11 = u, 2*u = -2*h - 36. Let k(l) = 27*l - 4. Let i be k(6). Is i*(-1 - u/10) a prime number?
True
Suppose 0 = -2*w - 4*j + 16, 3*w + 18 = 2*j + 2. Let t(o) = -36*o**2 - 7. Let x be t(-3). Is 2 - (6 + w + x) a prime number?
False
Let h(o) = -o**3 - 11*o**2 - 24*o - 3. Let q be h(-13). Suppose i + 0*i = -5*l + 626, -2*l = -i + q. Is i prime?
True
Is 12798/15 + 4*(-4)/80 prime?
True
Let q be (18/(-9))/(1/(-5)). Suppose -g = 4*g + q. Is g/7 + (-471)/(-7) a composite number?
False
Let u = -7 - -12. Suppose -u*k = -0 - 10. Suppose 0 = -n - k, -q + 5*n + 387 = 72. Is q a composite number?
True
Let d be (1289/2)/((-1)/(-2)). Let c = -518 + d. Is c composite?
True
Let c be ((-4)/10)/(2/(-20)). Let t(f) = -35*f - 4. Let b be t(c). Let d = 187 - b. Is d prime?
True
Let w(z) = z**2 + 3*z - 18. Let t be w(0). Suppose -4*x - 249 = 4*h + 47, -5 = h. Is (x/6)/(3/t) a prime number?
False
Is 144906/18 + 4 + (-2)/6 composite?
True
Let u(l) = -l**3 + 6*l**2 - 5*l + 4. Let q be u(5). Suppose -r + q*r = 561. Is r a composite number?
True
Let p = 3437 - -1413. Suppose 19821 - p = 11*m. Is m composite?
False
Let x be (-9 - -5) + 9 + -3. Suppose -x*j - 122 = -2*g + 42, -4*g + 5*j = -323. Is g a composite number?
True
Let x = -81540 + 183383. Is x composite?
True
Suppose -r + 1772 = -2*l + 5496, l - 4*r = 1869. Is l a prime number?
True
Let i(y) = -y**2 - 2*y + 3. Let c be i(0). Let r(o) = o**3 - 3*o**2 + 2*o - 3. Let p be r(c). Suppose -3*w + 170 + 219 = 5*k, -k + p*w = -85. Is k composite?
False
Suppose 4*l = 2*j + 6, -3*j + 1 = -2*l - 6. Let s(w) = 86*w - 35. Is s(j) composite?
True
Let p = 14 - 8. Suppose p*a = 10*a. Suppose a = n - 4 - 233. Is n composite?
True
Let c(o) = -2*o**3 + 17*o**2 - 6*o - 11. Let y be (-585)/75 - (-1)/(-5). Is c(y) a prime number?
False
Let r be 6*-1*(-4)/12. Suppose -q + 10 = q, -2*a + r*q = -6. Suppose -5*p + 278 = 4*x, a*p - 144 = -2*x + 3*p. Is x composite?
False
Suppose -408 = 23*q + 144. Suppose h + h = v + 4, -2*v + 6 = 3*h. Is (-7044)/q - 1/h composite?
False
Let x = -10 - 86. Let i = -181 + 372. Let s = i + x. Is s composite?
True
Let k = 1938 - 577. Is k composite?
False
Let u be 476/(-3) - 2/6. Suppose -1 = -3*d - 5*n, -2*d + 7*d - 2*n = -19. Is u*((-4)/d)/(-4) a prime number?
True
Let v(u) = -22*u + 13. Let h(r) = r. Let y(x) = 2*h(x) - v(x). Is y(8) a composite number?
False
Is (13 + 1)/(-9 - 72058/(-8006)) a composite number?
True
Let n(i) = -5*i - 141. Let q(g) = 4*g + 142. Let d(w) = 3*n(w) + 4*q(w). Suppose -3*b - 2*k = -10, -3*b + 4*k + 0*k = 20. Is d(b) a composite number?
True
Suppose 0 = 5*w + 5*w - 1330. Is w a prime number?
False
Suppose 7 = 3*t + 1. Suppose 5*z - t*z = -9. Is 4 + (32 - 6/z) a composite number?
True
Suppose 0 = 5*s - w - 6370, 4*w + 15 = w. Is s prime?
False
Let h(m) be the second derivative of -m**3/6 - 2*m**2 + 3*m. Let l be h(-7). Suppose 0 = l*d + 2*d + 5*a - 230, 3*d = a + 142. Is d prime?
True
Let a be 9147/33 + 1 - (-10)/(-55). Suppose 2*f = -r + 286, -f + 3*r = -3*f + a. Is f a composite number?
True
Let m(g) = -g**2 - 10*g - 9. Let j be m(-9). Suppose 7*w - 4*q = 11*w - 460, q = j. Is w a prime number?
False
Is -50 + 50 + (23857 - 0) a composite number?
False
Let x(y) be the third derivative of -17*y**4/24 + y**3/3 + 78*y**2. Suppose o - 4 = 0, -2*c + 3*o - 9 = 13. Is x(c) a composite number?
True
Let o = 1836 + -227. Let m = o - 1130. Is m a composite number?
False
Let w be (60/40)/(-1 - 37/(-34)). Let d(i) = 4*i**2 - 17*i + 28. Is d(w) a prime number?
False
Suppose i - 16425 = -5764. Is i a prime number?
False
Suppose 0*j = j + 3*s - 5, 2*j - 10 = s. Suppose 2*x + 5*o + 8 = 0, -2*x - 3*o - j = 7. Let l(m) = -m**3 - 2*m**2 + 10*m + 2. Is l(x) prime?
True
Suppose 3*m = 2*m + 16. Let s = m + -13. Suppose s*t - 11 = 4, t + 254 = k. Is k a composite number?
True
Is 5591214/60 - (-1)/10 a prime number?
True
Suppose -3*b + 18 = 6*m - 4*m, 4*m + 4 = 4*b. Suppose 6*r = 3*r + 405. Suppose 4*q = z + r, 5*q + m*z = z + 159. Is q composite?
True
Suppose -8 = -a - 4*y, 5*a + 2*y - 24 = -2*y. Suppose a*b - 500 - 560 = 0. Is b a prime number?
False
Let j = -7285 + 21949. Suppose j = -4*t + 8*t. Suppose 4*b = -4*l + 3664, b = -3*b - 2*l + t. Is b composite?
True
Suppose 0 = 3*t + s - 4, 2*s + 37 = 4*t - 3*s. Let b be 1/t - 801/(-27). Suppose 5*j + b = k - 7, 3*j + 182 = 4*k. Is k a prime number?
True
Let d = 1408 - 2450. Let b = d + 1883. Is b composite?
True
Let g(x) = -4*x + 323. Let y(z) = 7*z + 35. Let c be y(-5). Is g(c) a prime number?
False
Suppose 4*k - 9 = 3*f + 13, 3*f + 18 = 3*k. Suppose -k*a = 795 - 2455. Is a composite?
True
Suppose -12 + 0 = 4*a. Let u(t) = -38*t + 5. Let x be u(a). Suppose -m = 28 - x. Is m composite?
True
Let y be (-34)/(-6) - (-16)/(-24). Let z(i) = -i**2 + 2*i + 15. Let n be z(y). Suppose -w - 2*v + 81 = n, w + v = 4*v + 91. Is w a prime number?
False
Suppose -2 = 5*r - 5*p - 7, -3*r = 3*p - 27. Suppose 2277 + 243 = r*h. Suppose 2*z - q + 53 - h = 0, 0 = -4*z - 4*q + 872. Is z composite?
False
Let t = -40 + 43. Suppose 216 = 3*a - 0*a - t*h, -4*h = 2*a - 138. Is a composite?
False
Let y(w) = -3*w**3 + 6*w**2 - 14*w + 15. Let i(v) = -v**3 - v**2 - v - 1. Let m(x) = 2*i(x) - y(x). Is m(11) a prime number?
False