 -k + 3*k = o. Is k composite?
True
Suppose 0 = 8*h + 9497 + 7479. Is 3*h/(-18)*3 composite?
False
Let w(r) = 9*r**2 - 34*r - 7. Let m(g) = -g - 21. Let h be m(-13). Is w(h) prime?
False
Suppose 0 = -w - 5, 7*i - 3*w + 5 = 3*i. Is (616/(-35) - 6/2)*i composite?
False
Suppose 0 = 5*a - 10*a + 10. Suppose 5*c - 4*g + 2 = 2*c, 5*c - 40 = -a*g. Suppose 11 + 379 = c*q. Is q composite?
True
Let c = 17 - 26. Is (6738/c)/(2/(3 + -9)) composite?
True
Let l = 24533 - 14232. Is l prime?
True
Let r(o) be the third derivative of -o**6/60 + o**5/20 + 2*o**2. Let z be r(2). Is 2 + (z - -1) + 96 prime?
False
Let p(z) = z**2 + 19*z - 48. Let c be p(-20). Is 2/c*-4 - (-4009)/7 prime?
False
Suppose 4*v - 9 = m, -3*m + 2*v - 50 + 3 = 0. Let b be (m + 0 + 3)/1. Is ((-242)/1)/(b/7) a composite number?
True
Let a(x) = 5*x**3 - 2*x**2 - 8*x + 4. Let y be a(-6). Is (-58)/(-5*8/y*-5) a composite number?
True
Let y be 42*2*(-84)/(-24). Let h = 695 - y. Is h a prime number?
True
Let r(m) = -5*m + 24. Let c be r(5). Let k(p) = -908*p**3 - 3*p**2 - p + 1. Is k(c) a composite number?
False
Suppose -5*o + 7 = -l, 0 = -2*o + l + l - 2. Let i(c) = -5*c**2 - o*c**3 + 9*c - 2*c - 5*c**2 + 2. Is i(-9) prime?
True
Let w(t) = -12*t**3 - t**2 + 4*t + 2. Suppose -p - 15 = 4*p. Is w(p) a prime number?
False
Let j(g) = 17*g - 6. Suppose 4*c + c = 3*s + 28, 5*s - 4 = 2*c. Let l be -2 + 4 + c + 1. Is j(l) a composite number?
False
Let q(w) = 13*w**3 + 4*w. Let u be q(-3). Let i = u + 670. Is i a composite number?
False
Suppose -5*h - 6 + 1 = 0. Let w be -4 - (-3 + 3 + h). Is 134/2 - 3 - w a prime number?
True
Suppose -5*u - 145 = -10. Suppose 5*d - 418 = -3*g, -2*d + 4*g - g + 184 = 0. Let z = u + d. Is z prime?
True
Let z(u) = u. Let w(a) = 5*a. Let b(p) = -p**3 - 9*p**2 + 10*p - 6. Let x be b(-10). Let d(r) = x*z(r) + w(r). Is d(-13) prime?
True
Suppose 10 = -11*t - 1. Let u(i) = -1560*i**3 + 4*i + 3. Is u(t) prime?
True
Is (-1 - (-10)/3)*(24 - -46023) composite?
True
Let g(w) = 180*w**2 + 7*w - 4. Let r = -68 + 71. Is g(r) a prime number?
True
Let z(t) be the second derivative of 121*t**3/6 + 3*t**2 - 25*t. Is z(1) a composite number?
False
Suppose 4*o = -38*o + 666078. Is o a prime number?
True
Let s(w) = 5*w**2 - 10*w + 7. Let k(l) = 3*l - 6. Let o(d) = -1. Let i(x) = k(x) - 3*o(x). Let j be i(3). Is s(j) prime?
True
Let q(h) = 640*h**2 - 2*h - 6. Let r be q(-2). Let i = 3907 - r. Is i a composite number?
True
Is (-1)/(-5) - (-9888762)/65 a composite number?
True
Is ((-1278)/15)/(1 + 7/(-5)) a composite number?
True
Suppose -3*r + 0*t - t + 428547 = 0, 285698 = 2*r + 2*t. Is r composite?
True
Let f = -2919 - -4876. Is f a prime number?
False
Suppose -5*m = -0*m - 45. Let b(n) = 10*n**3 - 5*n**2 - m*n**3 + 0*n**2 - 5 + n. Is b(6) a prime number?
True
Let t = -10038 - -30929. Is t a composite number?
True
Let i(y) = 76*y**3 + 16*y**2 + 30*y - 13. Is i(6) a prime number?
True
Is (-3 + 4476/(-36))*(-30)/4 a composite number?
True
Suppose 7*y = 3*y + 900. Let a(g) = -g**3 + 4*g**2 + 6*g + 2. Let b be a(6). Let j = y + b. Is j a composite number?
False
Is (-416)/32 + -4 + 2304 a composite number?
False
Suppose -2*d + 0*x = -x - 2005, 3*d - 3018 = 5*x. Is d/1 - (17 + -13) a prime number?
True
Suppose 3*l - 5*w - 21 = 0, 4*l - w - 17 = 2*w. Suppose -5*d = -3*g + l*g + 394, 0 = 3*g + 5*d - 1122. Is g prime?
True
Suppose 34 - 430 = 9*p. Is (5255 - (-1 - 1)) + p/(-11) a composite number?
False
Let c(x) = -12*x - 5. Let w be 8/(-3)*(-9)/6. Suppose 0 = q - 2*p + 7*p + 12, w*q + 23 = 5*p. Is c(q) a composite number?
False
Let f = 4236 + -1995. Suppose 0 = -s + f - 740. Is s a prime number?
False
Is (64 - -26833) + 1*6 composite?
False
Let s(a) = 2*a**3 + 2*a**2 + a - 2. Let w be s(1). Suppose 4*f = -3*r + 18, 18 = w*r - 9*f + 4*f. Is 0/(-4) + r - 3 a composite number?
False
Let j(a) = -607*a - 16. Is j(-11) prime?
True
Suppose 4*x + 4*f = -16, -5 + 1 = -2*x + f. Let u be (-2)/2 - (x + -3). Is 0 + 2 + (55 - u) prime?
False
Let g(d) = d**2 - d - 1. Let n(j) = j**2 - 8*j. Let u(h) = -2*g(h) + n(h). Let m be u(-6). Suppose -m*v = -4, 3*p + 92 = 4*p + 3*v. Is p a prime number?
False
Suppose o = 0, -2*o + o - 4 = t. Let w be (-7)/t + (-7)/(-28). Suppose 0 = -2*c - w*c + 236. Is c a composite number?
False
Let z(o) = -2*o**3 - 20*o**2 - 13*o - 52. Is z(-21) composite?
False
Let j(d) = -2*d - 2. Let t be j(-7). Suppose 0 = -3*o + 3*a + 6 + t, 0 = 5*o + 4*a - 21. Suppose -r - 3*r = -5*p - 1645, -5*r + 2060 = -o*p. Is r composite?
True
Let k(p) = -p**2 + 6*p + 7. Let j be k(7). Suppose t - 2 = -a, -t - 16 = -5*a - j*t. Suppose -a*s = -0*s + 3*q - 933, 634 = 2*s + 5*q. Is s a prime number?
True
Suppose -4 = n, -3*n + 0*n - 20 = -4*y. Suppose -y*u + 0 - 16 = 0. Is 111/2 - (-4)/u composite?
True
Let x = -20178 + 41645. Is x prime?
True
Suppose 5*w = -i + 55837, -3*i - 3*w + 176337 - 8802 = 0. Is i prime?
False
Let i(n) = 5*n - 9. Suppose 0 = -6*f + 4*f + 68. Suppose 5*a - 1 - f = 0. Is i(a) prime?
False
Let n(i) = 2*i**3 + 44*i**2 + 14*i + 17. Is n(-14) composite?
False
Let p be 6/(-39) - 300/78. Let y = p - -3. Is (897/3)/((-1)/y) a composite number?
True
Let k(l) = 877*l**3 + l**2 + 11*l - 18. Is k(3) a prime number?
False
Let c(t) = -t**3 + 29*t**2 - 7*t - 27. Is c(16) prime?
False
Is 2/(((-126)/76727)/(-9)) a composite number?
True
Suppose 10*h = 14*h - 20, 3*r - 13 = -2*h. Suppose -4*b - 3 - 1 = 0. Is b/(r - 3)*8 a composite number?
True
Let o be (-1)/3 - 12733/(-21). Let u be (1*10/7)/(3/21). Suppose -x = -5*r - o, -4*x + u + 2309 = r. Is x a prime number?
False
Is (20/12)/((-115)/(-624174)) composite?
True
Let n = -407 + 3402. Is n prime?
False
Is (8124/(-24))/((-2)/4) composite?
False
Let i(a) = -a**3 + 16*a**2 + 4*a - 8. Let v be i(12). Suppose 0 = -2*m - 4*c + v, -5*m + 1600 = -0*m - 2*c. Let n = -112 + m. Is n prime?
False
Let i = 14 - 10. Suppose -i*g - 158 = -2*f, -4*f + f + 257 = 4*g. Is f a prime number?
True
Suppose 3*a + 114 = -0*a + 3*k, -5*a - k - 208 = 0. Let l(h) = h**3 + 9*h**2 - 6*h - 4. Let c be l(-7). Let w = a + c. Is w a prime number?
False
Is 380/(-5)*-77 - (-4 + 1) prime?
False
Let p = -1 + 11. Suppose -24*x - 30 = -30*x. Suppose -x*n - 255 = -p*n. Is n composite?
True
Suppose -p + 3*z + 11152 = 0, -2722 + 13869 = p + 2*z. Is p prime?
True
Suppose -3*s - 3*v - v = 1160, -5*s + v - 1941 = 0. Is -2*s/(-16)*-6 a prime number?
False
Suppose 394415 + 11561 = 124*f. Is f composite?
True
Let i(d) = d**2 + 22*d - 14. Let t be i(-20). Let g = 385 - t. Is g prime?
True
Let b(t) = 8*t + 21. Let x(q) = -4*q - 11. Let a(u) = 2*b(u) + 5*x(u). Is a(-7) composite?
True
Let z(k) = k**3 + 6*k**2 - 5*k - 9. Let y be z(4). Suppose -x = 2*x + 6. Let u = x + y. Is u composite?
True
Let v(n) = -16*n - 12. Let a(s) = -s. Let w(q) = -3*a(q) - v(q). Is w(11) composite?
True
Let i be (-26426)/(-6) + 84/(-63). Let c = i - 2942. Is c composite?
True
Let q = -1 - -5. Let v(s) = -q*s - 519*s**3 + 518*s**3 + 7 + 4*s + 10*s**2 - 8*s. Is v(8) a prime number?
True
Let m be -2 + ((-306)/(-27) - 4/(-6)). Is 1126/m - (-2)/5 a prime number?
True
Let r(n) = -34*n + 21. Suppose -6 - 14 = 4*z. Is r(z) a composite number?
False
Let o = -7927 - -4422. Is 4/6 + o/(-3) prime?
False
Let q(k) = 55*k - 4 - 3 + 8*k. Is q(6) a prime number?
False
Suppose -g - 3*g = 3608. Is -3*1/(6/g) composite?
True
Suppose 0 = 43*s - 321064 - 136413. Is s composite?
False
Suppose 4*x - 2 - 2 = 0. Let a = x - 5. Is (-13)/(1/(52/a)) composite?
True
Let c(d) = 25783*d**2 - 6*d + 14. Is c(3) a composite number?
True
Is ((-43749)/(-12))/((-9)/(-12)) a composite number?
False
Let u = 636 + -1029. Let t(g) = -9*g**2 - 6*g + 7. Let q be t(5). Let p = q - u. Is p a prime number?
False
Suppose 0 = 5*r - 38375 - 29310. Is r a prime number?
True
Suppose 184996 = 22*d + 6*d. Is d prime?
True
Let o(w) = 94*w**3 - 6*w**2 + 10*w + 25. Is o(6) composite?
False
Let t(h) = h**3 + 10*h**2 - 10*h + 11. Let z be t(-11). Let u(f) = f**3 + f + 16. Let d be u(z). Let o = 71 - d. Is o a prime number?
False
Let u be 4 - 1*(-3 - -2). Suppose -9 = -2*c + u. Suppose c*q - 2*q - 385 = 0. Is q a prime number?
False
Is 2/3 + 31822/21 + -5 a prime number?
True
Suppose 15*d + 12719 = 22*d. Is d a composite number?
True
Suppose 818*t + 37936 = 834*t. Is t composite?
False
Let