231 = s, -3*z = -z - v - 156. Is z a composite number?
False
Let s(q) = q**3 - 13*q**2 + 12*q - 3. Let x be s(12). Let r be ((-93)/12)/(x/48). Suppose -r = -4*f - 0*f. Is f composite?
False
Let p(y) = y**2 - 10*y + 16. Let f be p(8). Is -1 - (f - 293 - 1) composite?
False
Suppose 20 = 5*j - 15. Let i(a) = 9 + 8*a**2 + j - 28*a + 21*a. Is i(7) a composite number?
False
Suppose 0 = -3*f - 0*f + 6528. Suppose -4*t - 3*d + 2990 = 0, -5*t - 3*d + 1560 + f = 0. Is t a prime number?
False
Let i(a) = 5 + 4*a**2 + 13*a**2 + 17*a**2 - 3*a**2 + 5*a. Is i(-4) a composite number?
True
Suppose 2 = -2*r - 8. Let k(y) = 5*y**2 + 8*y + 4. Is k(r) a prime number?
True
Let k(i) = -234*i. Let g be k(-2). Let a = g + 3. Suppose -5*x + a = -4*o, 72 = -4*x - 2*o + 454. Is x composite?
True
Let o be 2/(-8) - 6924/16. Let j be (-3081)/(-5)*1 - 6/30. Let l = o + j. Is l prime?
False
Suppose -q - 3*b = 145, -3*b = 2*q - 3*q - 133. Is (-3 - (q - 3))/1 composite?
False
Let a(g) = 210*g**2 - 20*g + 53. Is a(3) composite?
True
Let r(w) = 2*w**2 - 15*w - 3. Let h be r(8). Suppose 149 = 6*k - h*k. Is k composite?
False
Suppose -45*u + 135689 = -7996. Is u composite?
True
Suppose -662*c - 382 = -664*c. Is c composite?
False
Let l(r) = -30*r + 988. Is l(-35) a prime number?
False
Is ((-27)/(-18))/(1*(-6)/(-9668)) composite?
False
Let h(c) = c - 1. Let f be h(-1). Let p be ((-1)/f)/((-1)/258). Let m = p + 320. Is m a prime number?
True
Let l(r) = -58*r**3 - 38*r + 13. Is l(-7) a composite number?
False
Suppose -2651 = -3*v - 2*w, 4*w = -4*v + 6*w + 3558. Is v a prime number?
True
Let z be (110/30)/(2/498). Let u = z - 542. Is u composite?
True
Let g = -98 - -107. Is (6/g)/(12/11358) composite?
False
Suppose 4*h + 4*f = 10592, -28*h + 13255 = -23*h + 2*f. Is h a composite number?
True
Suppose -4*a - 13 + 0 = -3*s, 0 = -4*s + 2*a + 24. Suppose -10877 = -5*u - s*h + 10*h, 4*u - 8680 = -3*h. Is u a composite number?
True
Suppose 16196 = 54*x - 50*x. Is x a prime number?
True
Suppose x + 4*x = -10. Is (1/(-1))/(x/974) composite?
False
Suppose 0 = 5*t + 26 + 9. Let a(m) = -m**2 - 8*m - 6. Let o be a(t). Is (-1)/(68/70 - o) a composite number?
True
Let s(k) = k - 9. Let n be s(14). Suppose 3*i + 2*i + 134 = -2*f, -2*i = n*f + 377. Let u = -26 - f. Is u composite?
True
Let f(l) = 3*l + 1. Let g be f(-1). Let x be g/(-2) + 1/1. Suppose -5*i - 317 = -x*d + 248, -4*i - 275 = -d. Is d prime?
False
Let b = 23 + -11. Suppose 13*p - 553 = b*p. Is p composite?
True
Let z(w) = -3*w - 7. Let u be z(-6). Let a = u + -4. Suppose 5*d + a = 252. Is d composite?
True
Suppose 372 = 3*b - 576. Suppose 3*v - b = -c + 2*v, -938 = -3*c + 2*v. Is c prime?
False
Let s(g) be the third derivative of -7*g**4/6 + 7*g**3/2 + 21*g**2. Is s(-17) composite?
True
Let w(y) = y**3 + 2*y**2 - y + 1545. Let j be w(0). Suppose 4*v - j = 2795. Suppose 4*o - v = -o. Is o composite?
True
Suppose 3*c = -j + 1114, 309 = 2*c - 4*j - 429. Is c a composite number?
True
Let q(o) = 2*o**3 - 14*o**2 - 8*o + 27. Let l be (-2)/(-16) + 261/24. Is q(l) prime?
True
Let n(t) = -18*t**3 - 2*t**2 - 8*t - 9. Let o be n(-4). Suppose 0 = -6*x + 3*x + o. Is x a prime number?
False
Let q = -17 + 21. Suppose -6172 = -q*c + v, v - 7715 = -5*c + 5*v. Is c prime?
True
Let a(l) = l**2 - 6*l - 25. Let i(g) = 4*g + 12. Let c be i(4). Let d = 46 - c. Is a(d) a prime number?
True
Let o be 102/9 + (-2)/6. Let x(q) = 3 + o*q - 2*q - 10 - 3*q**2 + 6*q**2. Is x(-9) composite?
True
Is 1/(2*(-398946)/(-265962) + -3) a composite number?
True
Suppose -2326 - 1552 = -2*q. Is q composite?
True
Is 195593/7 - 492/574 a composite number?
False
Let p(z) = 859*z + 366. Is p(7) a composite number?
False
Is (21 - 14) + (1 - -8255) prime?
True
Let r(f) = -4*f + 3*f + 3*f**2 - 9 + 0*f + 2*f. Is r(4) a composite number?
False
Let h(q) = -105*q**3 - 11*q**2 - 27*q - 76. Is h(-7) a composite number?
True
Suppose 1 - 19 = -4*n + 2*l, n + 4*l - 9 = 0. Let q = 6 - n. Is 7/(-2*q/(-758)) a prime number?
False
Let d be 6/(-1)*2/(-6). Suppose d*f - 489 = -f. Is f a composite number?
False
Let u = -1354 - -1998. Suppose -3*p + u = -5*k, -16 = 2*p - 4*k - 442. Is p prime?
True
Let o(a) = -a**2 - 14*a - 5. Let q be o(-13). Suppose -q*z + 2776 = -2688. Is z a prime number?
True
Let b = 325 - 167. Let r = b - 67. Is r a composite number?
True
Let c be -3 - ((-5)/1 + 2). Suppose -5*k - 4*m - 2 = 0, -4*m = -4*k - c*m + 20. Suppose -4*s = k*p - 96, -3*s + 5*s - 3*p = 32. Is s a prime number?
False
Let f be 1/4*(84 + 8). Let t = -19 + f. Suppose 2*p + g - 632 = 0, 2*g - 4 = t*g. Is p a prime number?
True
Let o = -1494 - -5915. Is o a prime number?
True
Let w be -1*(3 + -6) - -4199. Let i = w + -2359. Let m = -312 + i. Is m a prime number?
True
Let s(z) = z**2 - 2*z - 4. Let k be s(-4). Suppose -4*g - 3*x + 25 = 0, -3*g - 4*x = -3*x - k. Suppose -6*j = -g*j + 33. Is j a prime number?
False
Suppose 3*i + 3*r - 1253 = r, -3*i + 2*r + 1261 = 0. Is i a composite number?
False
Let j be (-18)/45 - 6664/(-10). Let b = 1133 - j. Is b composite?
False
Let i(z) = 4*z**2 + 4*z - 1. Let t(n) = -2*n - 2. Let q be t(-1). Suppose -3*j + 7*j - 16 = q. Is i(j) a composite number?
False
Let u(x) = 2200*x - 79. Is u(3) a composite number?
False
Is -3 - 0 - (-31668)/42 prime?
True
Suppose 4*s - 108886 = 71110. Is s prime?
False
Suppose -5*f = -p - 19, -p = 2*p + 12. Suppose -f*l - 461 = 3286. Is l/(-9) + (-28)/(-126) composite?
False
Suppose 27 - 25 = z. Suppose 3*y - z*y - 889 = 0. Is y a composite number?
True
Suppose 4 = -4*v + 16. Suppose 2*s + 2*s = v*u, u + 4*s = 0. Suppose u = -d + 139 - 24. Is d a prime number?
False
Let f = -78 - -191. Is f a prime number?
True
Suppose -3*m + 37325 = -2*j, -4*m - 5*j + 36839 = -12897. Is m prime?
False
Let b be ((-4)/7)/(6/(-21)). Suppose 10 = 2*d, 6*j - d = b*j - 177. Is 6 + -2 - (1 + j) prime?
False
Is 3/((-3)/(-2819)) - (-2 - -2) composite?
False
Let r(c) = 107*c**3 + 5*c**2 - 7*c + 47. Is r(4) composite?
False
Let c(l) = -l**3 + 17*l**2 - 17*l + 37. Let f be 4*(-9)/24*(-1 + -7). Is c(f) composite?
True
Let v be (45/(-5))/(2 - 1). Let i be (-692)/(-36) - (-2)/v. Suppose t - i = 3. Is t a composite number?
True
Let y(o) = 18*o + 6 + 3 - 36*o - 27*o. Let q be y(-7). Suppose -3*t + 431 = -2*f - q, f + 504 = 2*t. Is t composite?
True
Let l = -5 + 5. Suppose 11*o - 16*o + 4595 = l. Is o composite?
False
Let c(s) = s**2 - 2*s - 17. Suppose -48 = -13*f + 9*f. Is c(f) composite?
False
Let h(r) = 4*r**2 + 3*r - 11. Suppose -2*x - 5*n = -9, -4*x + 33 = -5*x + 5*n. Is h(x) a composite number?
True
Let u = -34713 - -71678. Is u composite?
True
Suppose 3*t - t = 19798. Is t composite?
True
Suppose -11*j = -1266 - 25541. Is j a prime number?
True
Let x = -2 - -17. Let g = 18 - x. Suppose 5*l + t - 1680 = 0, -1021 = -3*l - t + g*t. Is l a prime number?
True
Suppose -6*f - 30 = -11*f. Let x be 30/8 - f/8. Suppose 0 = x*u - r - 4*r - 223, u - 4*r - 79 = 0. Is u a composite number?
False
Let l(b) = -51*b**2 - 3*b - 57*b**2 - b + 4 + 107*b**2 + 178*b**3. Is l(1) a composite number?
True
Let k = 16 + 0. Let p be ((-8)/k)/((-1)/6). Suppose p*m - m = 5*y + 69, -213 = -4*m - 5*y. Is m a prime number?
True
Is ((10563/6)/7)/(2/12) a composite number?
True
Let p = 9297 - 6592. Suppose -9*t = -4*t - p. Is t a composite number?
False
Let a be (-1)/2*2*2. Let n be 178 + a/(-2)*-1. Suppose k - n = -2*k. Is k composite?
False
Let t(x) = 27*x**2 + 2 - 4 + 48*x**2. Is t(2) prime?
False
Let z(d) = 3*d - 4. Let r be z(2). Suppose -1191 = -5*q + r*q. Is q a composite number?
False
Let m(b) be the second derivative of -11*b**3/3 + 21*b**2/2 - 20*b. Is m(-14) a composite number?
True
Let l(f) = 3230*f + 65. Is l(10) prime?
False
Let n(g) = g**3 - 3*g**2 + 4*g + 5. Let w(t) = -t**2 - 9*t - 4. Let u be w(-8). Is n(u) a composite number?
False
Let u(g) = 3*g**3 - 5*g + 13. Let c be u(11). Suppose 6593 = 5*m - r, 2*r + c = 3*m + 3*r. Is m a prime number?
False
Suppose i = -4*h + 23, -13 = 2*h - 5*h - 5*i. Suppose 5*m + 37 = h*m. Is m composite?
False
Suppose -2*b - 3*t = 304, -5*b + t = -2*t + 802. Let d = 36 - b. Is d composite?
True
Let s be 1*5 - (4094 + -5). Is 0 + -1 - (s - 28) a prime number?
True
Let f(n) = 9*n**3 + 21*n**2 + 12*n - 119. Is f(11) composite?
False
Let f be (-8)/28 + (-16)/(-7). Su