Let r be (-1)/((-6)/(-15))*v. Is 366/4 - r/(-10) a composite number?
True
Let a be -3 + 0/2 + -3. Let x(y) = -y**2 - 7*y - 6. Let n be x(a). Suppose -9*i + 4*i + 925 = n. Is i prime?
False
Let z(q) = 2*q + 1 + 10*q**3 - 3*q**2 + 14*q**3 + 4*q**3 - 7*q**3. Let o(m) = m. Let i be o(2). Is z(i) a composite number?
True
Suppose 7144 = 2*c + 2*o, 32*c + 5*o = 30*c + 7147. Is c composite?
False
Let s(k) = 4*k**2 + 10*k + 83. Is s(-8) prime?
False
Let i be (-5 + 2)*526/(-3). Suppose 5*w - 4921 = -i. Suppose -309 = 6*q - w. Is q prime?
False
Suppose 7*u - 2*u - 20 = 0. Suppose 0 = -3*m + u*m - 79. Is m prime?
True
Is 1*15/(-3) - -858 a composite number?
False
Suppose -k + 6*k + 3*s - 88906 = 0, 17792 = k - 3*s. Is k a composite number?
False
Let f be 10/(-35) - ((-5)/(-7) + -2). Is (24 - (1 - 0)) + f + 1 a composite number?
True
Is (-152)/(-114)*65235/4 a composite number?
True
Let t(r) = -7*r**2 - r - 1. Let q be t(-1). Let k(x) = 3*x**2 - x - 6. Let m be k(q). Let a = m - -39. Is a composite?
True
Let p(v) = 175*v - 496. Is p(41) a prime number?
True
Suppose 2*f + f = 3. Let s = 4 - -7. Is 44/s + 54 + f a composite number?
False
Suppose -7*d + 6*d + 463 = -y, -5*y = -20. Is d prime?
True
Let l(c) = -274*c + 15 - 76*c - 108*c. Is l(-4) prime?
True
Let k(d) = 31*d + 53. Is k(24) composite?
False
Suppose -3*o + 84 = 2*q - o, -166 = -4*q - 5*o. Let t = 41 + -23. Let y = q + t. Is y composite?
True
Let d(f) = 93*f**2 + 2*f - 1. Let y(j) = -j**3 - 10*j**2 + 10*j - 9. Let g be y(-11). Suppose -3*x - g*a - 6 = 3*a, 0 = -4*x + 5*a - 8. Is d(x) composite?
False
Let w(x) = -130*x + 39. Is w(-8) prime?
False
Let r(l) = l - 9. Let g be r(9). Is 1 + 2668 + g/7 composite?
True
Let d be (-170)/(-17) - (3 + 1). Suppose -32 = 4*m - d*m. Suppose 21 = s - m. Is s a prime number?
True
Let o(n) = -85*n + 29. Let t = -27 - -15. Is o(t) prime?
True
Suppose -8*r + 21596 - 3028 = 0. Is r a prime number?
False
Suppose -12*c - 94318 = -26*c. Is c composite?
False
Suppose -2*l + w - 9 = -3*l, -3*w + 9 = 0. Suppose 2*m - l*m = -4*g + 788, -2*g + 3*m + 390 = 0. Is g a composite number?
True
Let w be -3 + (1 - 3 - 31). Let r = w + 75. Is r a composite number?
True
Suppose -w - 3*z + 160909 = 0, -4*z - 317334 = -3*w + 165419. Is w a prime number?
False
Let j(q) = 3339*q + 137. Is j(10) a composite number?
True
Suppose 2*z - 2 = -0. Let i be (-12)/4 + (-33)/z. Let s = i + 89. Is s a composite number?
False
Let m(i) = 2*i + 1. Suppose 0 = 3*c + 5*k + 17, -2*k + 21 = -4*c - 7*k. Let f be m(c). Is 30/105 - 1013/f a prime number?
False
Let s(l) = -l**3 + 7*l**2 + 6*l - 3. Suppose -3*w + d - 14 = 0, 5*w + 3*d + 24 = 4*d. Let q be s(w). Suppose -a = -r - 3*a + q, -3*r = a - 776. Is r composite?
False
Let d be 6/(-4) - (-1)/(-2). Let r(a) = 19*a**2 + 3 - 34*a**2 + 4*a - 41*a**3 + 17*a**2. Is r(d) composite?
False
Let r be (-3)/(-2)*(-2)/(-3). Let m be -3 + 2 + r - -3. Suppose -3*j = -j - 2*a - 52, -32 = -j + m*a. Is j composite?
False
Let p(y) = -16*y**3 - 2*y**2 + 25*y - 16. Is p(-9) a prime number?
True
Let n(o) = o**2 - 24*o + 7. Let t be n(24). Suppose 0 = -l - 4, 2*l = -2*b + t*b - 1903. Is b composite?
False
Let p be (-4035)/(-10) - 6/(-4). Suppose -p = -0*n - 5*n. Suppose 2*o = u - n, 3*o + 26 + 51 = u. Is u a prime number?
True
Let c = 5538 + -1357. Is c prime?
False
Let s(u) = 19*u**3 - 5*u**2 - 3*u - 18. Let k be s(10). Suppose -16*w + k = -12*w. Is w a prime number?
False
Let o(q) be the first derivative of q**6/120 + 3*q**5/10 + 7*q**4/8 + 11*q**3/3 - q**2 - 1. Let u(t) be the second derivative of o(t). Is u(-15) a prime number?
False
Suppose 9*h - h + 1048 = 0. Let b(r) = 15*r**2 + 5*r + 2. Let u be b(-5). Let v = u + h. Is v a composite number?
True
Suppose 5333 = -48*g + 57509. Is g a composite number?
False
Let b(o) = -72*o**3 + 7*o**2 - 4*o + 1. Let x be b(3). Let v = x - -3291. Is v a composite number?
False
Suppose -4*s + 0*f = 3*f - 452, 352 = 3*s - f. Suppose 2*a - 56 = s. Is a a composite number?
True
Suppose 2*w - 5 = 5. Let i be 4/7 + (-3128)/(-161). Suppose w = -y + i. Is y a composite number?
True
Let t = -6 + 9. Let z = 16 - t. Let x = 24 - z. Is x a prime number?
True
Let v be (-6)/21 - 40/7. Let c be (152/(-2 - v))/2. Suppose 4*x - c = 609. Is x a prime number?
True
Is (-1*1*1)/(92/(-270388)) a prime number?
True
Let q(c) = -32*c + 103. Is q(-22) composite?
True
Let q = -26523 - -57985. Is q a prime number?
False
Let v = -1608 - -2411. Is v composite?
True
Suppose 18*z - 22*z + 14732 = 0. Is z composite?
True
Let l(t) be the third derivative of t**6/60 - 3*t**5/20 + 11*t**4/24 + 7*t**3/2 - 35*t**2. Is l(13) a prime number?
True
Suppose -3*n = -38 + 44. Is (1 + 351/n)*-14 a prime number?
False
Let i(q) = -7*q**3 - 5*q**2 + 6*q + 11. Is i(-11) composite?
True
Suppose 0 = b - 5 - 2. Let t(s) = s**2 - 7*s + 16. Let f be t(5). Suppose -b*y + f*y + 93 = 0. Is y a prime number?
False
Let o(c) = -c**3 + 2*c**2 + 13*c + 14. Let m be o(8). Let r = m - -4657. Is r prime?
True
Suppose 13*l = 8*l. Let o(g) = -3*g + 913. Is o(l) a prime number?
False
Suppose -171279 = -18*p + 96975. Is p composite?
True
Suppose 55*t - 51*t + 2*s = 28490, -7106 = -t + 5*s. Is t composite?
False
Let z(d) = 66*d**3 - 4*d**2 + d + 30. Is z(5) a prime number?
False
Is (-6006877)/(-801) + 4/(-18) a prime number?
True
Suppose 2*v + 5*m = 2437, -3*m = -4*v - m + 4934. Let l = -5 - -9. Suppose -1021 = -l*t + v. Is t composite?
False
Let c be 26837/15 + 10/(-75). Let q = c + -1086. Is q a composite number?
True
Suppose -x = -3*v - 19 + 4, -v = -x + 9. Suppose -4*l - 5*d + 12912 = 0, -x*d + 9*d = -l + 3235. Is l prime?
False
Let h be (136 + -9)*(2 - -8). Suppose r - 4*n = 725, 4*n - h = -4*r + 1550. Is r composite?
False
Let n be (24/16)/(3/10). Suppose n*o - 27 = -c, -5*c = -4*c + 4*o - 22. Suppose -4*w + c*w = -886. Is w composite?
False
Let q = -38 + -232. Let o(v) = -27*v**2 + 5. Let k be o(4). Let c = q - k. Is c composite?
False
Is (222/(-24))/(-1)*(-1528)/(-2) composite?
True
Let y(c) = 2*c**3 - 5*c**2 - 12*c - 17. Is y(8) a prime number?
False
Suppose -1 = -s, 2*o + 60517 = -3*s + 189986. Suppose -32*m = -13*m - o. Is m a composite number?
False
Let g be ((-6)/4)/((-6)/16). Is -2 - 10/g*-22 a prime number?
True
Is 2*1/11 - 52908/(-132) composite?
False
Is (-779)/(-7) + 46/(-161) a prime number?
False
Suppose 308 = 4*t + 3*t. Is 2526/22 + 8/t prime?
False
Is ((-55)/(-22))/((-3)/(-438)) a composite number?
True
Let v(r) = 33*r - 2. Let t be (-30)/6*(-2)/2. Is v(t) a composite number?
False
Let s(q) = -3*q**3 + 2*q**2 + 7*q. Let j be s(3). Is ((-3272)/(-12))/((-4)/j) composite?
True
Let d be (-2)/7 + (-328)/28. Let n be (4/d)/((-3)/45). Suppose -480 = -5*t - n*r - 0*r, -2*t + 162 = -4*r. Is t prime?
False
Suppose -5*w = 4*o + 15, 3*w + 14 = 5*o + 5. Suppose -3*r + o*r = -261. Is r prime?
False
Suppose 5*s - 3*s - 4 = 0. Is ((-2414)/4 - s)*-2 prime?
False
Is 1956 + (-1)/(-3)*-21 a composite number?
False
Let t = 383 + -260. Is t prime?
False
Let v(t) = -111*t - 109. Is v(-22) composite?
False
Let o(i) = 131*i**2 + 133*i**2 - 10*i + 3 - 263*i**2. Suppose 5*p + 23 = -4*k, 0*p + 10 = -2*k - 4*p. Is o(k) prime?
False
Let o be 6/(-9)*(-27)/6. Suppose -4*x + 49 = -o*x. Is x prime?
False
Let s = -2847 + 4306. Is s a prime number?
True
Let a be (260/(-50))/((-2)/70). Suppose 4*o - a - 66 = 0. Is o prime?
False
Let l(o) = -21*o**2 + 2*o - 1. Let x be l(1). Let j = -39 + 14. Is j/(-4) + 5/x prime?
False
Let q be (-10 - 0)*(-1)/2. Let w be -5*1*(-7)/q. Is 207 + w/(14/(-4)) a prime number?
False
Let c(j) = j**3 - 9*j**2 - 9*j - 8. Let b be c(10). Suppose 3*k + 0*k = -z + 197, -k = -b*z + 408. Is z composite?
True
Suppose -2*r = 2*n - 2 + 10, -4*r + 5*n - 7 = 0. Is 266 - (r + 4 + -4) a prime number?
True
Let u(x) = -109*x + 7. Let q be u(-3). Let b be (q/(-8) + 0)*-4. Let l = b + -80. Is l a prime number?
False
Suppose 2*k - 40254 = 5*t, -5*k + 81248 + 19429 = -2*t. Is k composite?
True
Suppose 3*j + 6*j = 4689. Is j a prime number?
True
Let c(j) = j + 3. Let l be c(-3). Suppose l = -5*h - 5, -4*o = h + h - 1170. Is o a composite number?
False
Let b be 0/(-4 + 3 - 0). Suppose -l - 3*l = x - 533, b = -3*x + 3*l + 1539. Is x a prime number?
False
Suppose 366 = -3*j + 57. Let z = 219 + j. Let o = z - -29. Is 