 -5 - -14. Is (614/(-6))/((-3)/w) a prime number?
True
Let w = 691 - 393. Suppose 3*p - 2*p = -5*s + w, 3*s = p + 174. Is s prime?
True
Suppose -4*w = 5*o + 984 - 26004, 5*w - 31275 = 5*o. Is w/21 - 1/(-7) a composite number?
True
Is 6/1 - 258310/((-70)/7) composite?
True
Let i = 45 - 18. Suppose 3*u = -4*q + 77, 5*u + 3*q = i + 116. Is u a prime number?
True
Let y = -1 - -3. Suppose -a + 2*a = 4*u + 18, -y*a - u = 0. Let d(z) = 9*z**3 + 2*z**2 + 3*z - 3. Is d(a) a prime number?
True
Let y be (326/3)/(125/(-30) - -4). Let u = 1311 + y. Is u prime?
True
Suppose 17 = -3*d - 22. Let j be (-402)/(-8)*(d + -3). Let n = -433 - j. Is n a prime number?
False
Suppose 4*f + b + 0*b - 16 = 0, 4*f + 4*b = 4. Suppose 5*a - 2204 = 4*a + f*z, z = -5. Is a prime?
True
Let p = -61 - -70. Is 8/36 + 5713/p a prime number?
False
Suppose -2*z + 7*z - 4*q = 87339, 5*q = -2*z + 34962. Is z composite?
False
Let w(c) = -8*c**2 - 24*c - 25. Let a(h) = -15*h**2 - 47*h - 51. Let q(y) = -6*a(y) + 11*w(y). Is q(-15) prime?
True
Let x be (-8)/(-14) + 196/(-343). Suppose 5*r - 2580 - 260 = 0. Suppose -4*q = -x*q - r. Is q a composite number?
True
Suppose -5*f + 335 = -0*f. Suppose 0 = -y + f + 226. Is y prime?
True
Let y(g) = g + 2. Let f be y(-5). Let d = 70 - 64. Is f/6*d + 40 a prime number?
True
Let z be 0/(2 + -8 - -3). Suppose z = -4*m + 5*m. Suppose -j + m*j = -19. Is j composite?
False
Suppose 3*b - 3374 = -5*m, 3*m - 652 - 1376 = -3*b. Is m a prime number?
True
Is 88 + ((-6)/(-9))/((-4)/18) a prime number?
False
Suppose 27*n - 2828189 = 1339774. Is n prime?
True
Let s = 1906 + -1947. Let w be (-3 + -1)/(1/1). Is (s - w)*(0 - 1) composite?
False
Is (-41842)/(-4)*(-10 + 3 + 9) a composite number?
False
Is (-69)/(-345) - ((-50568)/10 - 0) a composite number?
True
Is 17668/(-2)*(-5)/10 composite?
True
Let g(b) = -b**2 + 9*b. Let n be g(9). Is (n + -1)*(-3787)/7 composite?
False
Suppose -4*a + 3*h = -h + 12, 5*a - 3 = -h. Suppose w + a = 1. Is w - (-3 + (-65 - -2)) composite?
False
Let k = -15 - -18. Let x(t) = -t + t**k + 256 + 231 + 0*t**3. Is x(0) prime?
True
Suppose -312 = -o + 2*k + 67, 4*k = -5*o + 1923. Is o a composite number?
False
Let s(b) = -b**3 + 4*b**2 + 4*b + 3. Let w be s(5). Is 450 - 2*1/w a prime number?
False
Let c(i) = 3*i**3 + 3*i**2 - 6*i - 9. Let j be c(-4). Let o = j - -218. Is o composite?
False
Is 1884 + -1 + 2 + -6 prime?
True
Let a be 16 - 14 - (-1 + -11). Suppose -3*u = 2*b - 2, -b + u = -4*u - a. Suppose -142 = -t - 3*t - 2*p, -t = -b*p - 31. Is t composite?
True
Suppose 0 = r - 4*a - 32484 - 2967, 4*r - 141894 = -2*a. Is r a prime number?
False
Let g = -207 + 830. Is g a prime number?
False
Suppose 46639 = 18*l - 952127. Is l a composite number?
False
Let y(g) = -4*g + 3. Let b(l) = 372*l - 19. Let n(x) = -b(x) - 6*y(x). Let r(o) = o**2 + 4*o - 2. Let i be r(-4). Is n(i) composite?
True
Let t(s) = s**3 - 12*s**2 - 10*s + 13. Let o(l) = l**2 - 1. Let a(r) = -6*o(r) - t(r). Let g be a(7). Suppose q - g = 41. Is q a prime number?
False
Suppose 4*i + 16 = 2*j, 0 = j + 4*j - 3*i - 68. Is (20262/(-88))/((-6)/j) composite?
True
Let z be -1*3 + (-23 - 4491). Let o = -3160 - z. Is o prime?
False
Suppose -b + 100941 = 3*n + 29057, -143773 = -2*b - 5*n. Is b composite?
False
Suppose -2 = -3*l - s, 0 = -4*l - 4*s + 8*s - 24. Let p be ((-225)/(-20))/(l/8). Let g = -1 - p. Is g a composite number?
False
Let z(w) = -1778*w - 247. Is z(-37) a prime number?
True
Suppose 4*k = p - 4325 + 25923, -k + p + 5401 = 0. Is k a prime number?
True
Suppose 0 = 2*n - 0*x - 5*x + 100, 5*n + 4*x + 184 = 0. Let i = n - -371. Is i prime?
True
Let v be 10/5*-1 - -123. Let j = 192 - v. Is j a composite number?
False
Let q(g) = -8*g - 1 + 3*g**2 + g**2 - 2*g**2 + 2*g**2. Let k(t) = -t**3 - 6*t**2 + 9*t + 7. Let s be k(-7). Is q(s) composite?
False
Let a(d) = -328*d**3 - 10*d**2 + 3*d - 43. Is a(-6) composite?
True
Let w be (-2 - (2 - 0)) + 6. Suppose -5*m + 10257 = -4*l, 3*l - w*l + 3 = 0. Suppose -z = -3*t + 2049, m = 4*t - t + 3*z. Is t prime?
True
Let f = -20 - -17. Let w be (f - (-3 - -1))*-94. Suppose -w = -j + 157. Is j a prime number?
True
Suppose 2*n - 2*w = 4*n + 186, 5*w = -4*n - 367. Let u = n - -349. Is u composite?
False
Suppose 22*z = 24*z - 3462. Is z a prime number?
False
Let i be 3/(-2)*((-10740)/(-9))/5. Let g = i - -665. Is g a composite number?
False
Suppose -3*z = t + 41, 0 = 5*z - 5*t + 8 + 27. Let d = z + 11. Let r(v) = -68*v**3 + 2*v + 1. Is r(d) a prime number?
True
Suppose 5*x = 3*t + 4, 4*x - 3*t = 6*x - 10. Suppose -2*p = 5*v + 2*p - 3449, 2069 = 3*v + x*p. Let g = v + -270. Is g a prime number?
True
Let g be -1*-35*(0 + -1). Let t = 16 - 28. Let d = t - g. Is d prime?
True
Let v(w) = -3 + 30*w + 7 + 7. Let o be v(6). Let b = o - -102. Is b prime?
True
Suppose 4*g + 288767 = z, z + 45*g = 41*g + 288767. Is z a prime number?
True
Let l(r) = -3*r**3 + 10*r**2 - 5*r + 3. Is l(-11) a composite number?
False
Suppose -3*d - 3*u + 423 = -4*d, 3*u + 447 = -d. Let a = d + 1124. Is a a composite number?
True
Let x = -846 + 3568. Is x a composite number?
True
Let m(p) = -44*p - 249. Is m(-10) prime?
True
Let c(g) = -41*g**3 - g**2 - 10*g + 9. Let r be c(-5). Suppose 3*m - r = -p, 6*p - 2*p - 2*m = 20608. Is p composite?
False
Let v(b) = -b**3. Let y(l) = -l**3 + 2*l**2 + 5*l + 1. Let z(o) = -2*v(o) + y(o). Is z(6) a prime number?
False
Let l(p) = 549*p**2 + 27*p - 95. Is l(6) a composite number?
True
Is (-586528)/(-24) + 1/3 prime?
True
Suppose 63*w = 61*w + 4646. Is w a composite number?
True
Let j = 25 + -19. Suppose j*z = 25 - 7. Suppose 2*g - 567 = -5*h, z*g + 110 = h - 0*h. Is h prime?
True
Suppose -r = 2*r + 2199. Let v = r + 362. Is 1 + -1 - -2 - v prime?
True
Suppose 9275 = 7*w - 2772. Is w a prime number?
True
Let k(m) = 8*m**3 - 8*m**2 - 21*m + 18. Let i be k(15). Suppose 11*j - 2*j = i. Is j prime?
True
Let l be (-2)/((-10)/(-2) + -3). Let b(d) = -58*d - 2. Let i be b(l). Is (17/(-4))/((-2)/i) a prime number?
False
Let c be 302805/10*(-4)/(-6). Suppose -c = -5*q - 4*q. Is q prime?
True
Suppose 0 = 5*o + 11061 - 69316. Is o prime?
False
Let t be (7/((-14)/(-32)))/((-2)/(-197)). Let u = 2327 - t. Is u a prime number?
True
Let h(b) = 7*b - 47. Let y be h(-15). Let q(g) = 460*g**2 - 1. Let m be q(1). Let l = y + m. Is l a prime number?
True
Let u be 2 - (-10)/(-2) - -10. Suppose 3*n - 7 - u = 4*j, 5*n - 2*j = 0. Is (-2 - 0)*47/n prime?
True
Let k(y) = -23*y + 81 - 5*y - 88. Let m be 4/(-6) + 13/(-3). Is k(m) composite?
True
Let n(f) = f**3 + 14*f**2 + 18*f + 10. Let q be n(-12). Let r = 12 + 12. Let t = q - r. Is t a composite number?
True
Let a = 1381 - -1117. Is a a prime number?
False
Let c be (11 - 4) + -4 - -3. Is 423*(0 + 2)/c composite?
True
Suppose 0 = -1080*z + 1086*z - 1164. Is z prime?
False
Let z be (-222 - (-1 + 2))*-3. Let m = -422 - -965. Suppose 4*s = m + z. Is s composite?
True
Let d = 21006 - 11135. Is d a composite number?
False
Let v = 4442 + 432. Is v prime?
False
Let s be 30/7 + (-2)/7. Let p(r) = 127*r + 9. Let w be p(3). Suppose -8*k = 5*f - 3*k - w, 4*k = -s. Is f a composite number?
False
Suppose 10*b - 48116 = 36074. Is b prime?
True
Suppose -12 = 2*m + 3*w, -3*w - 11 = -3*m + 1. Let d = 6 - m. Suppose -348 = -d*l + 2*l - 4*i, -95 = -l + i. Is l a prime number?
False
Let l be (1 - -5)/((-12)/(-16)). Let s(u) = 2*u**3 - 10*u**2 - 2*u + 11. Is s(l) a prime number?
True
Let g = 8 - 10. Is 195629/133 + g/(-19) a prime number?
True
Let k = 36054 - 397. Is k composite?
True
Let p(y) be the second derivative of -13*y**6/180 + 13*y**5/120 - 2*y**4/3 + 8*y. Let w(v) be the third derivative of p(v). Is w(-10) a composite number?
True
Let j = -5 + 2. Let f = 8 + j. Suppose -5*z + m = -918, f*m + 73 = 2*z - 308. Is z a composite number?
True
Let v(b) = 3*b - 3. Suppose -5*k = 5*o - 40, -18 = -2*o - 5*k - 2. Let r be v(o). Is (-12)/42 - (-3807)/r prime?
True
Let g(y) = -y**3 + 4*y**2 + 2*y - 4. Let m be g(4). Suppose 10 = -2*k + 3*k - 4*d, -3*d + 40 = m*k. Is (25/k)/(-5)*-38 a composite number?
False
Let l be (-1)/(-3)*3*23. Let t = 92 + l. Is t prime?
False
Let b(u) = 9*u**3 + u**2 + 1. Let d be b(5). Is (d/(-2) - 0)*-2 prime?
True
Suppose -50*z + 55*z - 16705 = 0. Is z composite?
True
Is (-4)/(-22) - -3*(-235781)/(-429) a prime num