omposite number?
True
Is -3*110746*(-21)/126 prime?
True
Suppose 0 = 3*l - 4*v - 30887, 5*v - 3967 + 14248 = l. Is l a composite number?
False
Let t = 117 + -60. Let r = 894 + t. Is r composite?
True
Suppose -3*v + 2*y + 18317 = 0, 4*v - 3399 - 21005 = -2*y. Is v prime?
False
Let t(i) = -i**2 - 13*i - 13. Let c be t(-11). Let a = 0 - c. Is ((-2)/(-4))/(a/(-8406)) a composite number?
False
Let n(q) = 1273*q**2 + 10*q - 34. Is n(-7) composite?
False
Let j be (-372)/(-14) + (-18)/(-42). Let g = j + -25. Is g*(0 - (-2230)/4) composite?
True
Suppose 5*q = -n + 3203, -4*q + 1709 = -3*n + 11318. Is n prime?
True
Let x = 30 - 24. Suppose 2*i = x*i. Suppose i = s - 5*k - 299 - 439, 5*k - 1491 = -2*s. Is s composite?
False
Let g(x) = 193*x**2 + 8*x - 17. Is g(6) a prime number?
False
Is ((-37)/2)/(3 + (-1914)/636) a prime number?
False
Let z(u) = -36*u - 1. Suppose y - v + 7 = 0, 17 = -5*y + 4*v - 23. Let b = 5 + y. Is z(b) a composite number?
False
Suppose -5*f + 878 = -2052. Suppose -f = -11*h + 9*h. Is h a prime number?
True
Suppose -13 = -5*x - p + 7, 0 = 3*x + 4*p - 29. Suppose 770 = x*w - 1123. Is w a prime number?
True
Let n(i) = 414*i**2 - 13*i - 8. Is n(9) prime?
True
Is (646954/1078)/(2/14 - 0) prime?
True
Let d be (-273)/2*14/(-21). Let g = -219 - d. Let x = 647 + g. Is x composite?
False
Is 4*(-3 + 11058/24) composite?
False
Suppose -32*t = -103250 - 37262. Is t composite?
False
Let d(u) = -u**3 - 5*u**2 - 6. Let c be d(-5). Let x be (1 - 4/3)*c. Is (x + -1)/(9/603) a composite number?
False
Suppose -2*b = -2*l - 4*b - 10, -4*l + 3*b = 13. Is (11851/(-14))/(2/l) a composite number?
False
Suppose -3*o + 86 = -k - 8*o, -o = 3*k + 286. Is (-2)/(-10) - 196/20*k a prime number?
True
Suppose -o = -4*g + 8*g - 105959, 5*g + 4*o - 132435 = 0. Is g prime?
False
Suppose -6*z = -0*z + 48. Let h be -16416 + z/(4 - 2). Is h/(-44) + (-4)/22 a composite number?
False
Let t(x) = x**3 + 22*x**2 + 26*x + 41. Let c be t(-20). Suppose -11589 = -10*p + c. Is p prime?
False
Is -12*2/(-8) + (21310 - 4) prime?
False
Let t(n) = -7*n**3 - 11*n**2 + 9*n - 10. Let s(w) = -11*w**3 - 17*w**2 + 14*w - 15. Let q(h) = -5*s(h) + 8*t(h). Is q(-8) a composite number?
True
Let n(v) = 153*v - 11. Let o be n(6). Let s = 226 + o. Is s/13 + (-2)/13 a composite number?
True
Let b be (-1)/(4/(-27))*112. Suppose -2*f + 3*d + 30 = -473, b = 3*f - 5*d. Suppose f = 4*i - 461. Is i a prime number?
False
Let j(t) = 3*t**3 - 14*t**2 - 21*t + 3. Is j(14) a composite number?
False
Let n = 949 + -1790. Let l = n - -1520. Is l prime?
False
Let t(w) = -2*w**3 - 36*w**2 + 46*w - 23. Is t(-28) a composite number?
False
Let b = -1093 - -4854. Is b prime?
True
Suppose -3*t = 2*t - 15. Suppose d = t*u - 17 - 29, 0 = u - 2*d - 12. Let j = u + 15. Is j a prime number?
True
Let s(m) = -16*m - 16. Let c be s(-3). Suppose 0 = -34*n + c*n + 278. Is n a prime number?
True
Let g(s) = 3147*s - 299. Is g(6) a composite number?
False
Suppose 0 = 4*g - 11410 - 11002. Is g a prime number?
False
Let z(v) = -65*v - 1. Let c be z(-2). Let s(g) = -8*g + 10. Let n be s(1). Suppose -c = -n*o + o. Is o a composite number?
True
Let k = 572 + 2939. Is k composite?
False
Let q = 9712 + -4043. Is q a prime number?
True
Let i(w) = 6*w**2 - 79 + w**3 - 2*w**2 - 11*w + 68. Is i(9) a composite number?
True
Let r = 74 + -104. Let z = -599 + 640. Let v = r + z. Is v a composite number?
False
Let k(b) = 59*b**2 + 12*b + 8. Let z be k(-6). Let v = z - 1021. Is v prime?
True
Let c(h) = 125*h**3 - 2*h**2 + 1. Let t be c(1). Let l = t - 221. Let d = 64 - l. Is d prime?
False
Suppose 5*g - 3*d - 13826 = 0, 4*g + 5*d + 2752 = 5*g. Is g a prime number?
True
Let r(a) = a**3 + 6*a**2 + 8*a + 2. Let x be r(-4). Suppose o - 8*i + 3*i - 111 = 0, 5*i - 207 = -x*o. Is o prime?
False
Let j be (-1 + -1)*(2 - 1). Is j + 106/1 - -2 composite?
True
Let q = 109 - -57. Is -3 + q*6 - 0/2 a prime number?
False
Let x(u) = u**3 - 19*u**2 + 58*u - 41. Is x(27) composite?
True
Suppose 4*k - 16*m + 21*m = 3437, -15 = -3*m. Is k prime?
True
Let n(j) = 4*j**2 + 4*j + 9. Let b(z) = -4*z**2 - 17*z - 3. Let d be b(-3). Is n(d) a composite number?
True
Let q be -507*((-16)/(-12) + -2). Let h = q + 1245. Suppose -h = -4*d - t, 3*d - 3*t - 1206 = -0*t. Is d prime?
True
Suppose 0 = -13*t - 4*t + 34051. Is t a prime number?
True
Let d be (1/1 - 2) + 5737. Is ((-1)/4)/((-6)/d) a composite number?
False
Let n(s) = -s**3 + 20*s**2 - 7*s + 7. Let x(i) = i**3 - 21*i**2 + 8*i - 7. Let u(j) = -2*n(j) - 3*x(j). Is u(16) a prime number?
False
Suppose -2*n - z - 5 = -4*z, -2*n + 13 = 3*z. Is n/(-1) + (-478)/(-6 - -4) composite?
True
Suppose r + 75 = 4*r. Suppose -5*x - 5 = -g, x - 2*g = 3*g - r. Suppose -4*d + 1324 = -x*d. Is d composite?
False
Suppose -s = 2*s - 363. Suppose -281 = -u + 2*z, 2*z - s = -4*u + 1043. Is u a prime number?
False
Let a(c) = c**2 + 15*c + 5. Let w = 5 - 5. Suppose w = -5*r - 4*t + 34 + 14, -3*r = -5*t - 51. Is a(r) prime?
False
Suppose -2*i = -2*y - 8, 3*i + 0*y = -2*y + 32. Is (-1051)/(-4) + 2/i composite?
False
Let d = 4 + -4. Suppose 5*y = -5*v - d*y + 35, 3*v = y + 29. Is (-1246)/21*v/(-2) composite?
True
Suppose -p - 9195 + 56116 = 5*o, -2*o = -4*p - 18786. Is o a composite number?
True
Let k = 21 - 35. Let r be -4*(-2)/((-2)/1). Is ((-8)/k)/(r/(-434)) a composite number?
True
Let w be (-9 - -14) + (-4)/(-1). Suppose 14*n - 3165 = w*n. Is n a composite number?
True
Let n = 40 - 36. Is -2 + (20176/n)/4 composite?
False
Is 4720 + 2 + -1 + 0 a prime number?
True
Let u be 4*84/(-32)*2/3. Is (-7)/u - (-700)/1 composite?
False
Let d = 94 + -18. Let a = 416 - d. Suppose -3*p - a = -5*w + 1030, 2*p - 1370 = -5*w. Is w a prime number?
False
Suppose 12*l - 22502 - 14446 = 0. Is l a composite number?
False
Let x be ((-1 - -1) + 2)*6. Let l = -24 + x. Let a(r) = r**3 + 13*r**2 + 9*r + 17. Is a(l) a composite number?
False
Let f = 384 - 228. Suppose -4*z + 58 = 174. Let q = f + z. Is q prime?
True
Suppose -d + 24 = -5*d. Suppose -h + 633 = -5*h - b, -4*h = -b + 639. Is h/(-2)*(-4)/d a prime number?
True
Let l = 31 + -28. Suppose -x - l*q + 220 = 0, 0 = x - 5*x + q + 841. Is x a composite number?
False
Let g(l) = -23*l**3 + 12*l**2 - 13*l + 10. Is g(-8) a prime number?
False
Is -12*((-6)/(-9))/((-24)/100179) composite?
True
Let p(q) = q**3 - 5*q**2 - 5*q + 2. Suppose -4*y = -30 + 6. Let o be p(y). Is 294 - (-3 - o/(-4)) composite?
True
Let k(b) = 9*b**2 + 4*b + 7. Let l = -46 - -70. Suppose 20*p - 16*p = -l. Is k(p) a prime number?
True
Suppose 5*r + 3*h - 89 = 0, 47 = r + r + 5*h. Is ((-2)/5)/(r/(-17720)) a prime number?
True
Suppose 0 = 5*n + 3*m - 45, n - 10 = -2*m + 6. Suppose -989 = -n*c + 1285. Is c composite?
False
Let c(w) = -11957*w**3 - 2*w**2 - 3*w - 1. Is c(-1) a composite number?
True
Suppose 3*a - 5*h = 59569, 0 = -3*h - 14 + 8. Is a a composite number?
False
Let i(r) be the second derivative of -2*r**5/5 - r**4/4 - 7*r**3/6 - 7*r**2/2 + 12*r. Is i(-5) a composite number?
False
Let p be -290 + 4/((-8)/2). Let b = 502 + p. Is b composite?
False
Let p(w) = -w**3 + w**2 - 19*w - 29. Is p(-10) a composite number?
True
Let n be (-9 + (-20)/(-5))/(-1 - 0). Is 8 - n - (-612 + 2 + -1) a prime number?
False
Let l(f) = -802*f**3 + f - 8. Is l(-3) a composite number?
True
Is ((33 - 13) + -28369)/(-1*1) composite?
False
Let o(s) = s**3 + 10*s**2 + 10*s + 7. Let h be o(-9). Let z(q) = 2*q**3 + 2*q**2 - 2*q - 1. Let x be z(-2). Is (-765)/x + 8/h a composite number?
False
Suppose -4*i - 39 = -7. Let j = i + 10. Suppose 4*c = -j*y + 97 + 285, -2*c + 8 = 0. Is y composite?
True
Suppose 3*d + 2*l + 14940 = 5*l, -5*l = -4*d - 19916. Let v = 2642 + d. Is (-16)/12 - v/6 a prime number?
True
Suppose 64 - 876 = -2*k. Let i = -1088 + k. Let u = i + 1167. Is u prime?
False
Let d(v) be the third derivative of v**5/60 + 5*v**4/24 + v**3/6 - 22*v**2. Is d(4) a composite number?
False
Suppose -5*i - 2 - 8 = 0. Let g be (-3 - i) + 4 - -4. Suppose g*u = 12*u - 1325. Is u a prime number?
False
Let q = 4384 + -2681. Suppose -h = -q + 694. Is h a prime number?
True
Let s(o) = 18*o**2 + 5. Let n be (-5 + -8)*(-2)/2. Let m be 8/(-20) + n/(-5). Is s(m) prime?
True
Suppose 22*p - 33*p + 303391 = 0. Is p prime?
True
Suppose 5*p + 14898 = 3*f, 0 = -f - 2*f + 2*p + 14898. Is 2 + 2