t(y) a prime number?
True
Suppose -18*y + 336927 + 72938 = -42961. Is y composite?
True
Let f(c) = -5313*c - 5513. Is f(-50) a composite number?
False
Let n(z) be the third derivative of z**6/30 - z**5/60 + z**4/4 - 7*z**3/6 + 27*z**2. Let v be n(7). Let a = v + -99. Is a a composite number?
False
Let c(w) = -w**3 + 22*w**2 - 23*w - 18. Let m be c(21). Let r be (-20)/70 + m/(-14). Suppose -1396 = 4*z - q - 5592, r*z + q = 4196. Is z composite?
False
Let s(b) = -b**3 + 93*b**2 + 63*b + 185. Is s(-44) composite?
True
Let i = -682606 + 1029353. Is i a prime number?
False
Suppose 3675 = 3*v + 2*v. Let o = v + 2302. Is o prime?
True
Suppose 1706881 = 2*o - 5*f + 520369, 5*o = -2*f + 2966309. Is o prime?
True
Suppose 3*n + 3*c + 3 = -0*n, 0 = -n + 5*c + 23. Is 2*(-4)/(72/(-12147))*n prime?
True
Suppose -2016 - 5960 = 4*d. Let r = -1081 - d. Is r prime?
False
Suppose 0 = 5*q - 29*q + 72. Suppose 3*b + 2*t - 2351 = 0, 8*b = q*b + 3*t + 3931. Is b composite?
True
Let i(l) = 8*l**3 + 10*l**2 + 47*l - 26. Is i(11) a composite number?
True
Let d(j) = 117*j**2 - 7*j + 2. Let h be d(5). Let f = 4841 - h. Is f composite?
False
Let i(m) = -7749*m - 716. Is i(-13) composite?
True
Let d(k) = 22*k**2 + 5*k - 4. Let n be 6 + -4*2/4. Let c be d(n). Suppose 3*f = 1325 - c. Is f composite?
True
Let w(x) = -6*x**3 - 3*x**2 - 4*x - 2. Let r be w(-1). Suppose -5*n + 694 + 626 = z, 3*z = r*n - 1340. Is n composite?
True
Let p(l) be the second derivative of l**4/2 - 7*l**3/3 + 19*l**2/2 - 2987*l. Let r = 1 - -8. Is p(r) a composite number?
False
Suppose 105*u - 1112574 = 202*u - 100*u. Is u prime?
False
Suppose 6*g + 5 = 29. Let v(w) = 25*w + 3 + 5*w**2 + 18*w**3 - 26*w - 5*w**2. Is v(g) prime?
True
Suppose -327*n + 323*n = -4, -602317 = -3*x - 4*n. Is x composite?
False
Let x = -38 - -34. Let p(s) = -1920*s + 37. Is p(x) a prime number?
True
Let h(u) = u**3 - 5*u**2 + 14*u - 28. Let o be h(4). Suppose -o*w = 2*w - 134078. Is w composite?
True
Let x(m) = 31*m - 25. Let t(w) = w**2 - 3*w + 2. Suppose 0 = 7*y - 2*y - 20. Let n be t(y). Is x(n) prime?
False
Suppose 4*d = -201 + 301. Suppose -d*h + 3491 + 26984 = 0. Is h a prime number?
False
Let t be 66 + -48 - (2 + 1). Suppose -2*v + 7694 = 5*n - 239, t = 5*n. Is v composite?
True
Let k(i) = i + 29. Let y be k(-27). Suppose 4*u - y - 18 = 0, 5*u = -5*m + 31790. Is m a prime number?
True
Let f(t) = -1747*t - 3099. Is f(-130) a prime number?
True
Let f = 914422 - 348783. Is f prime?
False
Is (50341066/92)/((-11)/(-2) + -5) a prime number?
True
Let s(u) = -3*u + 91. Let i = -48 - -48. Let z be s(i). Let j = 224 - z. Is j prime?
False
Suppose -11*i + 72 = -8*i. Suppose -2*p - 68 = 5*z, 4*p = -2*z - 0 - i. Is (-10059)/z*(-1 - 5/(-3)) a prime number?
True
Let d = -84 + 88. Suppose 5*s - 4 = -2*u + 162, -d*s - 184 = -2*u. Suppose -4*v = -4*g + u, g - 3*g - 5*v + 51 = 0. Is g a composite number?
False
Suppose 0*d = -2*d. Suppose 3*r - 1 + 7 = d. Is (9253/38)/((-1)/r) a composite number?
False
Suppose 0 = -55*w + 27010981 + 75051367 - 31789563. Is w prime?
False
Suppose -2*z - q + 317635 = 4290, -3*z = -5*q - 470024. Is z prime?
False
Let f = 740633 + -315204. Is f composite?
True
Let n = -51 - -68. Let c(a) = -40*a - 8*a**3 + 2*a**2 + 45*a - 3*a**2 + n*a**3 + 7. Is c(4) a composite number?
False
Suppose -26*p + 2095631 = -3467667. Is p a composite number?
False
Suppose -109683 = -2*b - 5*q, b = -15*q + 12*q + 54844. Is b prime?
True
Let q(g) = 2*g**3 + 3*g**2 - 3*g - 2. Let j be q(-5). Let o = j + 299. Suppose 5*c - 1188 = o. Is c composite?
True
Is (-4)/(-12)*3*72421 a composite number?
False
Let c(w) = -w**3 - 9*w**2 + 121*w + 242. Is c(-61) a prime number?
False
Let w(h) be the third derivative of -151*h**4/12 - h**3/2 - 3*h**2. Let f(b) = 906*b + 9. Let l(x) = 3*f(x) + 8*w(x). Is l(1) a composite number?
True
Suppose -15 = 306*t - 301*t. Is 13/((-78)/(-45636)) - t/1 composite?
True
Let r(l) = l**3 + 7*l**2 - 2*l - 9. Suppose -10*v = -3*v + 49. Let z be r(v). Suppose -3*i + 56 = 2*s - 0, -5*s = z*i - 85. Is i a composite number?
True
Suppose -10 + 4 = z. Let c(s) = 204*s + 18. Let i(n) = 1. Let k(g) = -c(g) + 5*i(g). Is k(z) composite?
True
Suppose 2*j = -2, 2*p - 3*j - 8 = 5. Suppose -t = -p*v + 4*v + 8, 5*t + 20 = v. Suppose -3*m - 2*c = -3757, 3667 = -v*m - 3*c + 9930. Is m prime?
False
Let i = -1522 - -968. Let d = 17 - i. Is d composite?
False
Let k(x) = 2118*x - 7669. Is k(10) composite?
True
Suppose 0 = 3*q - 36*q + 460746. Suppose -108 + q = 3*w. Is w a composite number?
True
Let m be 327/2*24/9. Suppose 2790 = 2*u + m. Suppose 3*b - 2*o = -0*o + 707, 4*o + u = 5*b. Is b a prime number?
False
Is 861525/28 + 24/96 composite?
True
Let s be 0 + 3 + 1 - 1. Suppose -b = 5*p, 0 = -s*b + 5*b - 2*p + 48. Is ((-24)/b)/(4/110) composite?
True
Let x(z) = z**3 - 10*z**2 + z - 15. Let h be x(10). Let s be 30/(-12)*74/h. Let a = 83 - s. Is a a composite number?
True
Let g(r) = r**3 - 5*r**2 - 2*r - 5. Let y = 103 + -96. Is g(y) composite?
False
Suppose 356499 - 84375 = 12*q. Is q a composite number?
True
Suppose -14*r = -17*r - 4*t + 64021, -5*r - 5*t + 106705 = 0. Is r prime?
False
Let v(q) = -10671*q + 557. Is v(-14) composite?
True
Let c be ((-3)/(-2))/((-3)/(-8)). Suppose -917 + 3246 = 17*w. Suppose -c*a + 661 = w. Is a a composite number?
False
Let f be (-140)/7*(-7)/(-4)*-326. Suppose -17118 = -3*q + 3*m, -f = -2*q - 0*q + 4*m. Is q a composite number?
True
Let v = 347 + -342. Suppose 0 = v*d - 35948 - 19127. Is d prime?
False
Let y = 8633 + -5063. Let m = y + -1769. Is m composite?
False
Let x(o) = -4*o**3 - 11*o**2 + 35*o + 79. Is x(-22) prime?
False
Suppose 16 = 4*p + 12, 5*d - p + 1 = 0. Suppose d = n + 4, -2*v = 8*n - 6*n - 6954. Is v prime?
False
Let l = 19128 - 2881. Suppose l = 198*f - 187*f. Is f prime?
False
Let m be (0 - 1)/(6/(-48)). Suppose 5*v - 3*a - 5 = -m, 3*a - 3 = v. Suppose v = j - 3*j + 3302. Is j composite?
True
Let h(k) = 20*k**3 - 10*k**2 + k + 37. Let z(j) = 21*j**3 - 10*j**2 + 36. Let m(u) = 6*h(u) - 7*z(u). Is m(-9) a prime number?
False
Suppose -619513 + 5331866 = 51*a + 52*a. Is a composite?
False
Let n(y) = -y**3 - 34*y**2 - 235*y + 111. Is n(-46) composite?
False
Let g be 5/(4 - 3) - 1. Is g*7/(-84)*(-12604 + 1) prime?
True
Let i(q) = -3*q**3 - 2*q**2 + 3. Let u be i(0). Is 25683/35*(5 - u - -3) a composite number?
True
Let i(k) = -15*k + 65. Let c be i(4). Suppose 0 = 5*b - 0*x - 4*x - 4513, 0 = c*b + x - 4503. Is b a prime number?
False
Let j = -3920 + 5512. Let u = j + -85. Is u prime?
False
Let p = 781 + 2188. Suppose 4*k = 2*x + 21392, -4*x + p + 2370 = k. Is k prime?
True
Let b be (2*(-3)/2)/((-60)/400). Let g(h) = -h**3 + 3*h**2 + h - 2. Let f be g(3). Is (f - -1261)/(b + -18) a composite number?
False
Suppose -3*g - 121062 = -4*g - 5*y, -2*y = -10. Is g composite?
True
Let l = -98 - -104. Suppose 0 = b + 5, l*n - 60 = n + 3*b. Let y(m) = 6*m**2 + 8*m + 13. Is y(n) composite?
False
Let f(a) = -13*a**3 + 347*a**2 + 13*a - 4. Is f(-13) a prime number?
False
Let z(q) = 767*q**2 + 17*q - 143. Is z(28) a prime number?
False
Suppose -4*p = 2*p + 30. Let w = p - 7. Is w/48 - (-4170)/8 a prime number?
True
Let g be ((-19)/(-2) - 2) + 60/40. Suppose g*y - 34254 = -9*y. Is y a prime number?
False
Suppose -8*i = -3*i - 25, 0 = -4*l + 5*i - 49. Is (-892)/l*(-159)/(-106) a prime number?
True
Let g(j) = 87*j**2 - 11*j + 3. Suppose -3*o + 23 = -2*b, 4*b - 5*o = -43 + 2. Is g(b) a prime number?
True
Let g(n) = 136*n + 1. Suppose 12*q - 13*q = 5. Let b(l) = 137*l + 1. Let u(h) = q*g(h) + 6*b(h). Is u(6) a composite number?
False
Let t = 10651 - -7102. Suppose 10*w - t = 1737. Is w a prime number?
True
Let v = 75802 + -47301. Is v composite?
True
Let v be 10/(1 + 4) - 0. Let x(r) = -4*r**2 + 3*r - 1. Let h(q) = -q**3 - q**2 - 1. Let y(f) = -h(f) + x(f). Is y(v) a composite number?
False
Let b(u) = -u**3 - 9*u - 11. Let n(h) be the first derivative of -h**4 + h**3/3 - 18*h**2 - 43*h + 42. Let t(x) = 9*b(x) - 2*n(x). Is t(-8) a prime number?
True
Let q be 4*(1 + (-3)/2). Is (-10 + 8)/(q/9941) prime?
True
Let w = -53 - -59. Suppose 2494 = -w*z + 670. Let v = z + 809. Is v a composite number?
True
Let p be 11390/(-10)*(-5*1 - -2). Suppose 0*w - 3*w + p = 0. Is w a prime number?
False
Suppose -50 = -17*z + 3