-49)). Is (-12)/6 + i*137 a prime number?
True
Suppose 8*p - 33058 = -2*w + 4*p, -82585 = -5*w + 2*p. Is w a composite number?
False
Is (-23)/(-138) - (-84579)/18 a composite number?
True
Let p(k) = 98*k**2 - 14*k - 279. Is p(-10) a composite number?
False
Let w be (-5706)/(-10) - (-42)/105. Let g = -8 + 10. Suppose 4*f - w = 5*s, 0*f - s = -g*f + 293. Is f prime?
True
Let c(w) = -220*w - 1. Let r be c(-5). Suppose 0 = i - r - 8140. Is i a prime number?
True
Let s(m) = m**2 + 5*m - 3. Let l be s(-6). Suppose 2*y = -3*y - g + 98, -l = -g. Is y prime?
True
Let b(z) = 2*z**2 + 21*z - 17. Suppose 5*a = -39 - 21. Is b(a) a composite number?
False
Let j = 18 - 10. Suppose 357 = j*c - c. Is c a composite number?
True
Let s be 2/(-3) + (-140)/15. Let g(l) = l + 13. Let k be g(s). Suppose k*z + 44 = 335. Is z a prime number?
True
Suppose 4*v + 0*v + z - 7 = 0, 5*v - 2*z + 1 = 0. Is -3453*(v + 16/(-12)) prime?
True
Let p(u) = -u**3 + 24*u**2 - u + 28. Let d be p(24). Suppose 0 = d*t - 4*m - 5140, -4*m - 4153 = -3*t - 295. Is t a prime number?
False
Let a(z) = z**2 + 8*z + 5. Let c(y) = y**2 + 8*y + 5. Let t(q) = 3*a(q) - 4*c(q). Let p be t(-6). Suppose -8*w + p*w = -69. Is w composite?
True
Suppose 3*m - 53555 = 2*o, 5*m - o - 119881 = -30611. Is m composite?
True
Suppose 4271 = 170*y - 169*y. Is y composite?
False
Let p = -1 + 3. Let x(n) = 15 - 3 - 2 - 9 + 18*n. Is x(p) composite?
False
Suppose 2*i + 3 = 3*i. Let k be (-2)/6 + 1597/i. Suppose -9*p = -5*p - k. Is p a prime number?
False
Let v(l) = -l**2 + 7*l - 3. Let k be v(6). Suppose t + 0*b + k*b = 42, -5*b = -5. Suppose -2*d + 86 = 5*z, -10 - t = -d - 4*z. Is d composite?
True
Let b = -3994 + 7055. Is b prime?
True
Let l be (10/(-4))/(60/21480). Let m = 23 - 38. Is (0 - l/m)*-3 a composite number?
False
Let c(q) = -q + 1. Let n be c(5). Is (-7)/((-7)/1005) - n a composite number?
False
Let k(q) = -11867*q + 78. Is k(-4) composite?
True
Suppose 6 = -3*w + 7*u - 4*u, 4*w = -u + 17. Let c(i) = 16*i**3 + 5*i**2 - 8. Is c(w) a prime number?
False
Let n(m) = 8*m**3 - 17*m**2 - 135*m - 41. Is n(33) a prime number?
True
Is 6/(-24) - (-5994)/8 a prime number?
False
Let d(c) = -8*c + 3. Let y be d(2). Let j = 17 + y. Suppose 4*p = -j*u + 288, 0 = -2*u + 4*p + 127 + 47. Is u a prime number?
False
Suppose 2*b + b + 6 = 0. Let j be -1 + b - (1 + -112). Suppose 96 + j = 6*a. Is a prime?
False
Suppose 0*s - 493 = -4*x + 5*s, 20 = -4*s. Suppose 0 = -3*n - 234 - x. Is -1*(-2 - 0) - n prime?
False
Suppose 0 = -152*b + 302525 + 31723. Is b a composite number?
True
Suppose 4*f + 2*b = 40492, 0 = -5*f + 8*f + b - 30367. Is f a composite number?
True
Is 2/4 + (713016/(-16))/(-27) prime?
False
Let y(b) = b + 1. Let g(t) = 101*t + 4. Let l(w) = g(w) - 5*y(w). Is l(1) composite?
True
Let m(q) = 3*q**3 - 4*q**2 + 9. Let p be m(10). Is p/7 + 8/28 a prime number?
True
Let u be (-12)/(-6) + 0 + 0. Suppose -6 = u*c - 5*c. Suppose 0 = 5*x + 2*s - 615, 4*x + 2*s = -c*s + 504. Is x prime?
False
Suppose -3*c - 15 = 0, 5*p + c = -2*c - 15. Suppose -2*d + 5*n + 23 = 2*n, p = -2*d - 3*n - 7. Suppose d*w = -0*w - 8, 1290 = 4*v + w. Is v a prime number?
False
Let g be -5 + -21 - (9/3)/(-1). Is (37/3)/(g/(-483)) a composite number?
True
Suppose -n + 60 = -71. Suppose 2*k = 3*r + 194, -4*k - 2*r + 257 = -n. Is k a prime number?
True
Suppose -2*t = 2*p - 71452, 208555 = 4*t - 4*p + 65627. Is t a prime number?
True
Let p(h) = 8*h**2 - 18*h + 61. Is p(-21) prime?
True
Let p(h) = h**3 + 6*h**2 - h - 4. Let l be p(-6). Suppose 5*f - 237 = -2*o, -f - 398 = -o - l*o. Is o a prime number?
True
Suppose 2*x = -3*x + 5*h - 15, 2*x - 29 = -5*h. Is (13/x)/(-13)*1982*-1 composite?
False
Let j = -71 - -74. Suppose -j*t = 5156 - 13550. Is t prime?
False
Let p(i) be the second derivative of i**6/144 - i**5/120 - i**4/4 + 4*i. Let t(z) be the third derivative of p(z). Is t(12) a prime number?
True
Let r be 2 + (758 - -1) - -4. Suppose -13*w = 284 - r. Is w composite?
False
Let c(r) = -141*r - 4 - 277*r - 1 + 0. Is c(-7) composite?
True
Let k be 6/(-2)*(-14)/(-6). Let j(d) = 2*d**2 + 11*d + 16. Is j(k) composite?
False
Let n(v) = 1441*v - 64. Is n(2) composite?
True
Suppose 6*q = -145 + 427. Is q a composite number?
False
Suppose -5569 = 4*p - 44237. Is p composite?
True
Let w(q) be the third derivative of -q**4/6 + 3*q**3/2 - 5*q**2. Is w(-7) a composite number?
False
Let t(u) = -2*u**3 - 10*u**2 + 2*u - 7. Let g be t(-8). Suppose g = h + 4*l, 0 = 2*h + 3*h - 2*l - 1761. Is h composite?
False
Suppose -5*x - 2938 = -3*i + 4426, 4*x + 7363 = 3*i. Is i a composite number?
True
Let k(z) = z**2 + 4*z - 4. Let i be k(-6). Suppose 3*o + o - 4016 = 5*m, 0 = -2*m + i. Is o prime?
True
Is -100612*(-7)/196 - (-4)/(-14) prime?
True
Let z be (869 - 15)*(-3)/(3/(-10)). Suppose 4*m + 2848 = z. Is m prime?
True
Suppose 0 = 4*n + 12, 5*h - 643272 = -2*n + 200977. Is h prime?
True
Suppose 4*q + 8 = 36. Suppose -5*b - 11 = -3*t + 2, -t + q = -3*b. Is (4 - 1/t) + 126 prime?
False
Let x(h) = 141*h + 116. Is x(13) a composite number?
False
Suppose -89*u + 81*u = -18632. Is u prime?
False
Suppose -5*t - 3*n = -131156, 0 = 7*n - 4*n + 9. Is t composite?
True
Let v(u) = -10*u + 271. Is v(15) composite?
True
Suppose -28870 = -4*o + 2*j, o - 2*j - 7219 = -0*o. Is o prime?
False
Let a be 10/15*(21 - (2 + 1)). Is 24/a - ((4 - 2) + -1151) prime?
True
Let r(z) = z**2 + 12*z. Let u be r(-12). Suppose -3*b + 4*n - 4 - 1 = u, 5*b = -n + 30. Suppose 10*s - b*s - 3*y - 66 = 0, 5*y - 15 = 0. Is s a prime number?
False
Let y = 77 - 50. Is (y/6 + -1)*158 prime?
False
Suppose -27*l = -22*l - 1055. Suppose -10*b = -11*b + l. Is b a prime number?
True
Let n(z) = -7*z. Let m be n(-1). Let s(c) = 8*c**2 - 6*c + 2*c - c**2 - 3 - c**2. Is s(m) prime?
True
Let t be 1014/91 - (-1)/(-7). Let o(b) = b**2 - 2*b + 1. Let v(k) = -k. Let d(y) = o(y) + 3*v(y). Is d(t) composite?
False
Let q be (175/4)/5 - (-2)/8. Is (1/q + 4/18)*2094 a composite number?
True
Suppose 23*s = -520 + 67841. Is s prime?
True
Is 7/((-56)/40) - -6642 a composite number?
False
Let b = -527 + 1108. Is b composite?
True
Let b(p) = p**2 - 10*p + 6. Let j be b(9). Is 28 - 3*(j - -2) a prime number?
True
Let d = 25 - 10. Let l(w) = 24 - 8*w - 2*w**2 + 22 + 3*w**2 - 80 + 26. Is l(d) a composite number?
False
Let f(v) = -v - 4. Let a(y) = y**2 - 4*y - 6. Let l be a(4). Let p be f(l). Is (-3735)/(-33) - p/11 prime?
True
Let f(j) = -j**2 - 5*j + 2. Let b be f(2). Let k = -7 - b. Is 1 - k/((-20)/1024) a prime number?
True
Suppose 25 = 5*d - 2*l, 5*l + 16 = 2*d - 5*d. Suppose 2*x - 5*y - 2130 = -d*x, 2*x = y + 853. Is x a composite number?
True
Is (5 - -1)*((-65550)/(-20) + 13) a composite number?
True
Is (53121/9 + 12)/(2/6) a prime number?
False
Suppose l = -5*h + 80367, 0*l - h + 80383 = l. Is l composite?
False
Is (1630/(-8))/((-2)/8) a composite number?
True
Let o = 9514 + -5189. Suppose -w = -6*w + o. Is w a composite number?
True
Suppose -3*w = -z + 3, -w = -2*z - 4*w + 33. Let t be (-4)/(-24) - (-58)/z. Suppose -778 = -t*a + 177. Is a a prime number?
True
Is ((-63)/(-42))/(16341/8166 - 2) a composite number?
False
Let s be (32/(-56))/((-2)/28). Suppose -3345 = s*x - 13*x. Is x composite?
True
Let r(b) = b**3 + b + 6. Let y be r(0). Suppose -y + 78 = -3*s. Is (1 - 3)/(s/3684) a composite number?
False
Let w(g) = -6*g**3 - g - 1. Let j = 6 - 7. Let d be w(j). Suppose 0 = -2*m + d*m - o - 1002, m + 4*o - 259 = 0. Is m a composite number?
False
Let g be (-9085)/85 - -2 - 2/17. Let b = -5 + 3. Is (b/5)/(3/g) prime?
False
Let s(d) = d**3 + 10*d**2 - 11*d + 5. Let g be s(-11). Suppose g*b = -0*b - c + 5756, 5*c - 4609 = -4*b. Is b prime?
True
Let d(r) = 9*r**3 + 2*r**2 + r - 4. Let a be d(2). Let s = a + -35. Is s a composite number?
False
Let m(t) be the third derivative of 17*t**5/60 + 5*t**4/12 - t**3/3 + 25*t**2. Is m(3) a composite number?
False
Let a(n) = -383*n - 8. Let l(q) = -q**3 + 11*q**2 + 2*q - 25. Let d be l(11). Is a(d) composite?
True
Let k = -11 - -21. Suppose k*c - 6*c = -184. Let w = c - -257. Is w a prime number?
True
Suppose 0 = r - 3*o + 4, -7 - 33 = -3*r - 4*o. Suppose -424 = -4*k + 2*s, -r*s + 4*s = -k + 113. Suppose 2*q = -w - 0*w + k, 5*w = 2*q - 111. Is q composite?
False
Suppose z = a, -3 = -a + 5*z - 11. Suppo