 + 774. Is k prime?
False
Let n be 28/(-3) - (-2)/(-3). Let f = -6 - n. Is 112 + 3 + (-8)/f a prime number?
True
Let m(v) = 31*v - 8. Is m(6) prime?
False
Let d = 66 - 30. Let g(j) = j**3 + 8*j**2 - 5*j + 1. Let t be g(-6). Suppose a = -d + t. Is a prime?
True
Suppose 3*t = -0 - 3, -l - 4 = 4*t. Let f(k) = -4 + l + 155*k + 6. Is f(3) prime?
True
Suppose -u = 5*x - 244, -u - 260 = -5*x - 6*u. Let f(m) = m**2 + 9*m - 5. Let s be f(-12). Let n = s + x. Is n composite?
False
Let l = -3 - -6. Let k = -34 - -37. Suppose -l*g + 6 = 0, -3*d = -k*g - 969 - 1176. Is d composite?
True
Let l be 2/(-5) - 266808/30. Is 52/(-182) + (-1)/(14/l) composite?
True
Let f(s) = 2*s**2 - 3*s - 1. Let r be f(4). Suppose 0 = 2*l + 3*i + 93, r = 4*l - 5*i + 172. Let x = 129 + l. Is x a prime number?
False
Let u = 8372 - 2733. Is u a composite number?
False
Suppose 0 = 6*c - 2*c + 3*z - 26, 2*z = 5*c - 21. Suppose 2*s - 6 = 0, -4*o - c*s = -23 - 0. Is o/(-9) + 1491/27 prime?
False
Let n(y) = -y**3 + 2*y**2 + 5*y - 33. Is n(-13) prime?
True
Is (-2 + 1)*658010/(-10) a prime number?
False
Let q = -17 + 23. Suppose t + 125 = q*t. Is t a prime number?
False
Let r(m) = m**3 - 5*m**2 + 10*m - 7. Suppose -t - 3*t = -3*g - 93, -5*t = 4*g - 124. Let d = t - 18. Is r(d) a composite number?
False
Let h(i) be the third derivative of -13*i**6/30 - i**4/12 - 7*i**3/6 + i**2 + 5*i. Is h(-4) a prime number?
True
Let w = 26955 + -12074. Is w a composite number?
True
Suppose 0 = 14*x - 35*x + 125601. Is x composite?
False
Suppose -2*j + 183 = s, -185 = -s - 4*j - 0*j. Let f = s - 380. Let k = 282 + f. Is k a prime number?
True
Let b(c) = c - 91 + 91. Let n(u) = 130*u**3 + 8*u + 1. Let k(j) = 6*b(j) - n(j). Is k(-1) a prime number?
True
Is 1431/6 + 6/12 a prime number?
True
Let g(q) = 1360*q**3 + q. Let k(h) = h**3 + 10*h**2 - h - 2. Let y be k(-10). Suppose 2*b + y = 10. Is g(b) a composite number?
False
Suppose -a + 51115 = -3*g + 7*g, -3*g - 4*a + 38346 = 0. Suppose 8*s - g = 20110. Is s a composite number?
False
Let u = 16468 - -10011. Is u a prime number?
True
Let n(l) be the first derivative of 5*l**3 + 7*l**2/2 - l + 13. Is n(6) a prime number?
False
Suppose -2*l + 148137 = 5*u, 18 = -5*l - 2. Is u composite?
False
Suppose 5*g - 68866 = -2*f + g, -3*f + 3*g + 103299 = 0. Is f a composite number?
True
Suppose 5*w + v = 6*v + 715, 4*v = w - 140. Let a be (-32)/w - (-7726)/18. Suppose 4*n = 7*n - a. Is n a composite number?
True
Suppose -15882 = -1348*k + 1342*k. Is k prime?
True
Suppose 4 = 2*f - 4*f, -3*f = -v + 16. Let u(i) = i + 15. Is u(v) composite?
True
Let x be 3 - (3 - (0 + -2)*-2). Is (2 - 9/((-18)/x)) + 5257 a composite number?
False
Let v(c) = 4*c**3 - 8*c**2 + 4*c - 10. Suppose 4*f + 0*f - 4*l = 4, -2*f + 4*l - 8 = 0. Let m be v(f). Is (-18)/(-15)*m/4 composite?
True
Suppose 5*h = y - 112 - 60, -2*h - 70 = -y. Let b = h - -456. Is b composite?
True
Let h(b) = -9*b - 5. Let k = -3 + 7. Suppose 0 = 2*r + k + 4, l = r + 1. Is h(l) a prime number?
False
Let s be (-7 + 0)*(3 + -4). Suppose s + 5 = 4*z. Is -1*(-561 + (1 - z)) a prime number?
True
Suppose 1 = w - 2. Suppose 12 = 5*x - w. Suppose -366 = -x*n + 81. Is n a composite number?
False
Suppose -2*p = -4*y - 26446, 1841 + 11361 = p + 5*y. Is p composite?
False
Suppose -3*u = -4*o - 2 + 10, -4*u = 4*o - 36. Suppose 747 = u*x - p - 36669, -3*x + 28053 = -3*p. Is x a composite number?
True
Let i = -2056 - -3143. Is i a composite number?
False
Let q(p) be the second derivative of 79*p**3/6 + 3*p**2/2 - 19*p. Is q(1) composite?
True
Let v(i) be the second derivative of 0 - 3*i - 11/6*i**3 + 9/2*i**2. Is v(-8) prime?
True
Let l = -34 - -29. Let s be (-4008)/(-10) + (-1)/l. Let d = s - 34. Is d a prime number?
True
Let l(g) = -g**3 + 8*g**2 + 9*g + 5. Let c be l(9). Suppose 2*z - 2294 = -4*y, c*y + 5761 = 5*z + 2*y. Is z prime?
True
Let o = 12 + -6. Suppose 3*l = 5*y + o*l - 1267, 5*l - 522 = -2*y. Is y prime?
True
Let d(a) = 363*a**2 - 15*a + 7. Let p be d(4). Suppose -13*s - p = -18*s. Is s a composite number?
False
Let x(q) = q**3 - 8*q**2 + 6*q + 7. Let f be x(7). Suppose f*i + 4*i = 20. Suppose i*y - 396 = -c, 4*y - 162 = 3*c - 1255. Is c a composite number?
True
Suppose -4*k + 14966 = -2*q, 0 = 2*q + 22 - 12. Is k a prime number?
True
Let d be ((-95)/15)/(1/(-3)). Suppose -s + d = -3*t, -s - s + 14 = -3*t. Is (-1 - -839) + (-11 - t) a prime number?
False
Let i(n) = 72 - 9*n**2 - 151 + 2*n + 72 + 4*n**3. Suppose 0 = -5*f + 5*d - 13 + 53, -3*f = 4*d - 10. Is i(f) a prime number?
False
Suppose -2*t + 17 + 9 = 0. Let n = t - 8. Suppose -d = a - n*d - 111, 2*d = -a + 135. Is a a prime number?
True
Let i = 1122 + -712. Suppose -11*n + 2*u = -14*n - 26, -4*n - 63 = -3*u. Is 2*n/(-8) + i a composite number?
True
Let b(d) = -d**2 - 12*d - 22. Let n be b(-9). Suppose n*i = -2*m + 184, -3*i = -3*m + 87 + 210. Is m a composite number?
False
Suppose l = 4*l - 6. Let p(q) = -3*q**2 - 95*q - 8. Let v be p(-22). Suppose -4*i + 0*i + v = l*k, 5*k = 4*i - 651. Is i composite?
True
Let c = 4513 + -3164. Suppose 621 = 5*g - c. Is g a prime number?
False
Let p be 0 - (-1 - -3) - -2. Suppose -3196 = -p*t - 4*t. Is t composite?
True
Let x = 4 + -4. Suppose x = 2*v + 4*m - 758, -v = 4*v + 4*m - 1895. Is v a prime number?
True
Suppose 0 = -4*l + n + 18377, -5*l + 2*l + 13791 = 2*n. Is l prime?
False
Let z(a) = 21*a**3 - a**2 + 5*a - 2. Let l be z(-5). Let o = -836 - l. Is o prime?
False
Let z = 7 + -2. Suppose 4*p = z*a + 4046, 0*a + 2*a = 4*p - 4040. Is p composite?
False
Let y(r) = 246*r**2 + 8*r + 3. Let l be (1/3)/((114/(-72))/19). Is y(l) a prime number?
True
Let o(l) = l**3 + 18*l**2 + l - 20. Let f be o(-13). Let c = f - 325. Is c a prime number?
True
Let u(p) = 9*p**3 + p**2 + p. Let o be u(-1). Let r be 4/18 - 25/o. Suppose -4*n - 7 = 13, v - r*n = 21. Is v composite?
True
Is 886*(-1 - (-15)/10) composite?
False
Suppose q - 2*m = 19, -m - m - 10 = 0. Let v be 40/(-6)*q/(-6). Let i = 12 + v. Is i a prime number?
False
Let b(m) = 55*m**2 - m - 1. Let w be (7 - 116/16)/(2/(-8)). Is b(w) a prime number?
True
Let t = -57 + 57. Suppose t = -4*a + 8*a - 3628. Is a a composite number?
False
Let p(z) = -71*z - 1. Let g = -7 - -8. Let a be p(g). Let q = a + 141. Is q a prime number?
False
Let t(d) = -9*d - 14. Let z be t(-2). Suppose -5*o + 9*v + 1275 = 4*v, -z*v - 518 = -2*o. Is o prime?
True
Suppose -6 = -4*h + 10. Suppose 639 = 3*k + 2*k + h*w, 5 = 5*w. Is k a composite number?
False
Let m = 129 + 273. Suppose -7*r + r + m = 0. Is r prime?
True
Suppose 12 = 4*r + 4*c, -2*c - 14 - 15 = -5*r. Suppose -1340 = -4*n - r*w, 2*w + 977 = 4*n - 363. Is n a prime number?
False
Let m(u) = -u**2 - 10*u + 3. Let f be m(-10). Let q(l) = 6*l**2 - 7*l + 2. Is q(f) composite?
True
Let d(v) = 52*v**2 + 10*v - 8. Let b be d(-6). Suppose s - b = -3*s. Is s a composite number?
True
Let b = -2693 - -1828. Let g = b - -1904. Is g a prime number?
True
Let t(p) = 557*p + 22. Is t(3) prime?
True
Suppose 2*a = 9 + 281. Is (3 - 17)/((-10)/a) composite?
True
Suppose 0 = 4*q + 4*m - 36, -2*q - 4*m = m - 30. Suppose 4*i - q*y - 127 = 0, 2*y = 3*i - y - 99. Let d = 51 + i. Is d composite?
False
Suppose 1667 + 2348 = 3*o + 4*s, -3*s + 5344 = 4*o. Is o prime?
False
Is (-1)/((-2131452)/(-426294) + (1 - 6)) prime?
False
Suppose 2 = -2*c - 2, -5*c = 2*h + 4. Let n = 27 - 25. Suppose -h*r - 3*v = 180 - 654, -n*r + 328 = -2*v. Is r a prime number?
False
Let p = -10034 + 18363. Is p composite?
False
Let c = -3 + 3. Let x be -3 - (-1 - (c + -2)). Is ((-6)/9)/(x/1266) a composite number?
False
Let t(d) = 2*d - 2. Let c be t(5). Suppose 0 = -w - z + c + 11, -46 = -4*w + 2*z. Is (-35)/w*1*-94 composite?
True
Let t = -146 - -7249. Is t a prime number?
True
Is -6874*((-3)/(-2) + -2) a prime number?
False
Let z be 1/(-3 + 2)*-10. Suppose -z = -2*o - 0, 5*w + 4*o - 15 = 0. Is 26 + w + -4 + 2 a composite number?
False
Suppose -4*u - 2*g = -11682, -2*u - 2*g + 5831 = g. Is u a composite number?
True
Is ((-4)/9 - 102/(-108))*2174 prime?
True
Let q(z) = 50*z - 9. Let g be q(6). Suppose -4*s = -g - 649. Is s a prime number?
False
Suppose 0 = -5*x + 9*x - 16. Suppose -b + 567 = x*n, -n = 4*n + b - 710. Is n a composite number?
True
Suppose -66267 = -23*n + 16096. Is n a prime number?
True
Let j(