t s be y + 4*(-2)/(-8). Is (4/(-6))/(22/s) a prime number?
False
Let z(k) = -56*k + 62. Is z(-10) a composite number?
True
Suppose 0 = 3*z + 3*j - 0*j - 9, 0 = -3*z - 5*j + 11. Suppose -d = z*d - 1401. Is d prime?
True
Suppose -1250 = 3*n - 8*n + 5*m, -5*n - 4*m + 1241 = 0. Suppose -1724 = -5*d - n. Is (2 - d)/(3/(-3)) composite?
False
Let s(k) = 4*k**3 + k**2 + 13*k - 14. Let u(a) = a**3 - a**2 + a - 1. Let b(w) = -s(w) + 5*u(w). Let r be b(7). Is (-1)/(321/(-159) + r) a composite number?
False
Let d be 2/4*(-12 - -2). Let t(j) = 2*j + 43. Let n(a) = -a - 14. Let b(l) = 7*n(l) + 2*t(l). Is b(d) a prime number?
True
Suppose f - 438 = -5104. Let b(n) = -n**2 + 3*n - 2. Let o be b(5). Is 9/54 + f/o a prime number?
True
Suppose -y = -4*t + 568533, t - 142130 = 17*y - 20*y. Is t prime?
False
Suppose 0*h + 25 = 2*k + 3*h, -k - 3*h = -20. Let o(p) = 41*p**2 - 9*p + 23. Is o(k) prime?
False
Suppose -c + 11434 - 2287 = 0. Is c composite?
True
Suppose 7 - 13 = -2*h, 3*q + 4*h = 30849. Is q a prime number?
False
Let v(f) be the third derivative of -f**6/120 - f**5/3 - 9*f**4/8 - 19*f**3/6 + 15*f**2. Is v(-20) a composite number?
False
Let w(q) = -q**3 + 5*q**2 + 3*q + 7. Let c be w(5). Suppose s = 5*h + 20, 2*s - 7*h + 3*h - c = 0. Suppose 4*y - 71 - 128 = -3*n, 323 = s*n - 2*y. Is n prime?
False
Is ((-1)/(-7))/((-22)/(-4484942)) a composite number?
False
Suppose -10*z + 13*z = 6. Is (-38)/(-3)*(-3 + 117/z) composite?
True
Suppose -38*x - 1213 = -39*x. Is x prime?
True
Suppose 10 = 2*l + 3*l. Let f(m) = 7*m**2 - 2 + 8*m - 3 - 2*m**2 - l*m**2. Is f(8) a composite number?
False
Suppose 10 = 5*v, -6*v = b - v - 485. Let s = b - 309. Is s a prime number?
False
Suppose 125 = 6*b - 7. Suppose -4*w + 16 = -2*w + y, b = 3*w + y. Is 0 + 224 + -7 + w a composite number?
False
Let h(v) = 6*v + 3. Let p be h(-2). Let m be (p/(-6))/((-18)/(-168)). Is -1 - -52*m/4 a prime number?
True
Suppose 0 = -5*d + 98 + 512. Let u = d + -2. Let r = u - 43. Is r a composite number?
True
Let c(b) = 0*b - 13 - 5*b - 8*b + b. Let i(v) = -11*v - 13. Let n(s) = -4*c(s) + 3*i(s). Is n(10) a prime number?
True
Suppose -10*q + 315 = -9*q. Suppose 1382 = j + q. Is j prime?
False
Let k(q) = 509*q + 1. Let h(s) = -2036*s - 5. Let z(g) = -2*h(g) - 9*k(g). Is z(-2) composite?
False
Let b(t) = -6*t**3 + 1. Let u be 10/(-15) + (-1)/3. Let p be b(u). Suppose -p*m + 2*m = -110. Is m prime?
False
Let m(t) = 33*t**3 - t**2 - 2*t + 1. Let b be m(2). Let w = b + 264. Is w composite?
False
Is (-84)/(-18) + -6 - 1688370/(-18) prime?
False
Is 1*-38362*(-14)/(34 + -6) a prime number?
True
Suppose 20334 = 2*t - 5*m, -m = 4*m. Is t a prime number?
False
Let y = 1402 - -3451. Is y composite?
True
Let t = -134 + 126. Is (-97209)/(-84)*t/(-6) composite?
False
Let v be (-2 + -1)*-1 + 840. Suppose 5*p - 3112 = -m, -5*m - v = -p - 205. Is p composite?
True
Suppose 3*b = -5*x + 9, -3*x + 3 = -2*b + 9. Let a = -80 - -90. Suppose x = i - 95 + a. Is i a composite number?
True
Suppose -2*q + 6014 = -3*k, 5*q - 2*k = -6*k + 15035. Is q a composite number?
True
Let h = 12 - 10. Suppose -h*f + 619 = -703. Let t = f + -428. Is t prime?
True
Let c be 10/(-6)*3597/11. Let r = c + 1279. Is r prime?
False
Suppose 0 = -3*x - 3*f + 2623 + 5045, -5*x + 4*f = -12789. Suppose -281 = -6*t + x. Is t a prime number?
False
Let a(f) = 7*f**2 - 5*f + 1. Let k(v) = -3*v + 4 - 1 + 4*v + 1. Let o be k(-11). Is a(o) prime?
True
Let x = -5 - -10. Let i be (76/9)/2 + 384/(-1728). Suppose 5*q = b + 444, -i*b - 1 + x = 0. Is q a composite number?
False
Let d = -199 + 488. Is d a prime number?
False
Suppose -50*c + 1348168 + 1419282 = 0. Is c a prime number?
False
Let d(a) = 18*a + 43. Let u = 61 + -35. Is d(u) prime?
False
Is 47455*4*(-7)/(-140)*5 a composite number?
True
Let g(k) = 119*k**2 - 43*k + 59. Is g(8) a composite number?
False
Suppose j - 8 = -3*k - 0, -5*k + 36 = -4*j. Let c(r) = -6*r - 1. Let o be c(j). Let p = o + -2. Is p a composite number?
True
Let v = 8026 + -3479. Is v a composite number?
False
Suppose 11*q - 1393 = 2248. Is q prime?
True
Let r(p) = 88*p**2 - 2*p - 1. Let f be ((-2)/(-4))/((-3)/198). Let s = f + 31. Is r(s) a composite number?
True
Let z(r) be the second derivative of -3*r**5/10 + r**4/4 - r**3/3 + 3*r**2/2 + 5*r. Let x be z(-4). Let b = -28 + x. Is b composite?
True
Is -5 + 6 + 0 + 11027 + -1 a composite number?
False
Suppose 12967 = -16*z + 90743. Is z a prime number?
True
Let d(f) = f**3 - 24*f - 2. Is d(19) a prime number?
False
Suppose -182 - 106 = 6*r. Let u be (209/(-2))/((-1)/16). Is 2/12 - u/r prime?
False
Suppose 7*v = 5*v + 62. Suppose 77 = 4*u + b, 3*u + 4*b = v + 43. Suppose -3*k + u = -12. Is k composite?
True
Let y(f) = f**3 + 5*f + 7. Let h(l) = -l**3 + 13*l**2 - 2*l + 32. Let s be h(13). Is y(s) a composite number?
True
Let q = -13348 + 19749. Is q a composite number?
True
Is ((-4)/(-16))/(-2 - 270925/(-135460)) a prime number?
False
Is ((-44)/8)/(7/(-6202)) prime?
False
Let x(f) = f**2 + 7*f + 11. Let k = 14 - 9. Suppose 4*t = 4*z + 2*t + 26, z = k*t + 7. Is x(z) prime?
True
Suppose 56*t + 138881 - 542865 = 0. Is t composite?
True
Let y(u) be the second derivative of -3*u**5/4 - u**4/6 - 5*u**3/6 + 7*u**2/2 + 12*u. Let f be y(-5). Suppose 5*k - f = 338. Is k prime?
True
Is 4/(-40)*-5*117074 prime?
True
Is 15625/3 - ((-33)/9 + 3) prime?
True
Let a(q) = q**3 - 6*q**2 + 3*q + 4. Let h be a(5). Let p = h + 10. Is (1255/10)/(2/p) composite?
False
Suppose -w + 134 = -2*w. Is ((-15)/(-10))/((-3)/w) a prime number?
True
Let w = 5 - 16. Let l(x) = 6*x**2 - 75*x - 35. Let v(j) = -j**2 + 15*j + 7. Let r(g) = w*v(g) - 2*l(g). Is r(-10) a composite number?
False
Let n = 7 + 2. Suppose -n - 17 = -k. Is ((-106)/(-3))/(k/39) prime?
True
Let k(b) = 2*b**3 - 26*b**2 + 16*b + 73. Is k(23) prime?
False
Let z(p) = -131*p - 2. Let r be z(-4). Let m = -261 + r. Let v = -112 + m. Is v prime?
True
Let z = 69 + -65. Is 16708/20 - z/10 a prime number?
False
Is ((-3660)/(-80))/(-2 + (-19)/(-8)) prime?
False
Let k(y) be the second derivative of -y**3/6 + 19*y**2/2 - 313*y. Let t(n) = n**3 - 6*n**2 + 5*n. Let z be t(5). Is k(z) composite?
False
Suppose -4*k + 3*x = 4*x - 25243, -x - 12623 = -2*k. Is k composite?
False
Suppose 5*n - 4 = 3*v - 0, 5*v + n - 12 = 0. Suppose 0 = -0*w + v*w + 3216. Let o = -1063 - w. Is o composite?
True
Let j(f) = f**3 + f. Let s(k) = 37*k**3 - k**2 - 2*k - 3. Let o(z) = 5*j(z) + s(z). Is o(2) composite?
True
Let r be 30/(-12)*(-4)/(-5). Let g be (r/5)/(2/40). Let x(k) = k**2 + 5*k - 1. Is x(g) prime?
True
Let p(b) = 13*b**2 - 22*b + 27. Is p(8) a composite number?
False
Let x(k) = 7*k - 1. Let i be x(1). Let b be (-12)/(-10)*15/i. Is 19 - 1/b*0 composite?
False
Let r(f) = -f**3 + 3*f**2 - 2. Let y be r(2). Let u(g) = -7*g**2 - 15*g + 22. Let z be u(-15). Is 2/(z/(-662) - y) a prime number?
True
Let v(u) = -u**2 + u + 4. Let n be v(2). Suppose -13*i + n*i = -36949. Is i a composite number?
False
Let b = -514 + 34. Let d = b + 923. Is d composite?
False
Suppose -15*x + 1614 = -756. Suppose 3273 = 5*v + 3*g, -4*v - 4*g = g - 2608. Let h = v - x. Is h a prime number?
True
Suppose -4*g + 5*v = 11, -g + 3*v - 7 = g. Is 17/g + 2*-1 - 0 prime?
False
Suppose -4*l + 9*l = 3*n + 3, 3*l - 1 = 2*n. Let a = n + 25. Let q = 4 + a. Is q a prime number?
False
Let r be (-4)/(-6)*(-21)/14. Let g(k) = 252*k**3 + 2*k + 2. Let w be g(r). Let b = -106 - w. Is b prime?
False
Let y(z) = -135*z + 42. Let x be (26/(-4))/((-2)/(-4)). Is y(x) prime?
False
Suppose 3*n = 6, 0 = -3*k - 5*n + 2*n + 9. Let g(h) = 1438*h**2 + h - 2. Is g(k) a prime number?
False
Let l = 13 - 4. Let q(d) = d**3 - 7*d**2 - 2. Let s be q(l). Suppose -108 = -4*k + s. Is k a prime number?
True
Let s(d) = d**3 - 4*d**2 + 7*d - 21. Suppose 8*c = -1 + 41. Is s(c) composite?
True
Let i(l) = 227*l - 1. Is i(6) composite?
False
Let n = 3 - 0. Suppose 4*p - 910 = -2*x, -738 = -n*p - x - 53. Is (-3 - p/8)*-4 a prime number?
True
Is ((-59)/(-413))/((-2)/(-307678)) a prime number?
True
Suppose 0 = -11*c + 12*c - 5. Suppose 3*n + 2*p - 1133 = 0, c*n - 5*p + 0*p - 1930 = 0. Is n a prime number?
False
Let w(u) = -195*u - 4. Let f(d) = 0 + 13 + 385*d + 554*d - 355*d. Let x(m) = -2*f(m) - 7*w(m). Is x(1) prime?
True
Let v(y) = y**3 + 19*y**2 - 19*y + 16. L