s - 4*d = -4. Suppose 215 = -z + s*z. Is z a composite number?
True
Suppose 3*f - 7 = -z, 0*z - f - 16 = 4*z. Let o = 8 + z. Suppose 2*b + 74 = 2*c, -5*c + 77 = o*b - 84. Is c prime?
False
Let z = -30522 - -72449. Is z a prime number?
True
Let w be (3 + 13)/8 - 2*-2231. Suppose 0 = 9*s - 11475 + w. Is s a composite number?
True
Let m(f) be the second derivative of 3*f + 0 + 7/2*f**2 - 2*f**3. Is m(-5) composite?
False
Suppose 21*w - 3727 - 24854 = 0. Is w composite?
False
Suppose 33*g = -7*g + 3552920. Is g a composite number?
True
Suppose n = 2*n + 456. Let t be n/(-88) + (-2)/11. Suppose -t*x + 210 = -515. Is x a composite number?
True
Let o(r) = -13*r**3 - 2*r**2 + r + 1. Let v = -51 + 48. Is o(v) a composite number?
False
Let n be 6/(-3) - (-14)/7. Suppose n*p - 677 = -p. Is p composite?
False
Suppose j - 369 = 2*l, -6*j = -4*j - 5*l - 734. Suppose 2*y - j = h + 768, -3*h = 4*y - 2275. Is y composite?
False
Let l(v) = -142*v + 181. Is l(-21) a composite number?
False
Suppose -330 = -11*s + 17*s. Let h = s + 62. Is h prime?
True
Let b be 840/(-21)*(-1)/2. Is 13837/5 - (-5 - (-108)/b) a composite number?
False
Is (1 + 3)/(36/27) - -10996 a prime number?
False
Suppose g + 3*t = 188, 0 = -5*g + 3*t - t + 889. Suppose y - 114 = g. Is y prime?
True
Let c(t) be the second derivative of -7*t**5/10 + t**4/12 + 4*t**3/3 + 8*t**2 - 3*t + 2. Is c(-3) composite?
False
Suppose -5*i + 4123 = 3*b, 0*b + 4*b - 2*i = 5454. Let k = -949 + b. Is k composite?
True
Let m(w) = -w + 1488. Let t be m(0). Suppose h - t = 4*h. Let v = h + 827. Is v a prime number?
True
Let m = 214 - 23. Let f = m - 102. Is f composite?
False
Suppose 0 = 2*n + 4*o + 30, 0*o = 2*n + 5*o + 33. Is (-16)/(-24) - 1065/n prime?
False
Let l be 11/4 + 1/4. Suppose -l - 3 = -a. Is ((-74)/(-6))/(a/36) a prime number?
False
Let c be 1/(3/6) - 2. Suppose u - 6*u = c. Is u - (-1 - -2)*-109 a composite number?
False
Let d = -1478 + 4601. Suppose -3124 = -h - 5*c, 4*c = -0*h - h + d. Suppose -6*r + h = -979. Is r composite?
False
Let v(l) = -469*l**3 + l + 1. Let o(k) = 3*k - 10. Let r be o(5). Suppose -3*u - 7 = -w, -r*w + w + 16 = 0. Is v(u) composite?
True
Let i(k) = 938*k**2 + 17*k + 112. Is i(-5) a prime number?
False
Let m(h) = -1. Let j(o) = 5*o**2 + 13*o - 21. Let f(i) = j(i) + 2*m(i). Is f(-11) composite?
False
Let l(p) = 7*p - 42. Let g be l(6). Suppose 0*c + 2*c = b - 511, g = -2*b - 3*c + 1050. Is b composite?
True
Let r(h) = 190*h**2 + 8*h - 241. Is r(25) a composite number?
False
Let t = 25 - -1653. Suppose -5*c + t = -397. Is c prime?
False
Is 3 + -5 + 15443 - 0/2 prime?
False
Suppose -57*z - 1290519 = -3778512. Is z a prime number?
True
Let i(a) = 11*a**2 + a - 6. Suppose 3*x = 3*l + x + 20, -2*x = 3*l + 4. Let o(g) = 10*g**2 + g - 6. Let j(v) = l*i(v) + 5*o(v). Is j(-11) prime?
True
Suppose 516 = 2*a - 4*a. Suppose 211 = 8*k - 7*k - 2*r, k + 3*r = 236. Let y = k - a. Is y a composite number?
False
Is (-1)/(-7) - (-145660)/70 composite?
False
Let r(p) = 2*p**2 + p - 4. Let h be r(-4). Suppose 0 = -0*a - a - h. Let u = 43 - a. Is u a prime number?
True
Let n = 28 + -17. Is 999/n - (-26)/143 a prime number?
False
Let v be (65 + -15)*15/2. Suppose -2*c + v = -35. Is c prime?
False
Let r(d) = -2*d**3 - 10*d**2 - 29*d - 28. Is r(-13) prime?
False
Suppose 3*q - 5189 = -4*g, 4*q + 6*g - g - 6920 = 0. Let a = q + -864. Is (-1 - 0)/((-13)/a) a prime number?
True
Let u(n) be the first derivative of n**3/3 + 5*n**2 + 13*n - 3. Let d be u(-12). Suppose -d = -i - 0*i. Is i a prime number?
True
Let b(m) = m**3 - 10*m**2 - 19*m + 9. Let z be b(12). Is (6/4)/(z/95726) composite?
False
Let c(x) = 258*x**3 - 1. Let r be (-3)/(-15) - (-3 + 44/20). Is c(r) a composite number?
False
Suppose 0 = -2*j - 5*n + 834, -810 = -5*j + 3*j + n. Let i = j - -2744. Is i prime?
False
Let f(o) = -4686*o - 69. Let x(q) = 937*q + 14. Let h(t) = -2*f(t) - 11*x(t). Is h(-3) composite?
False
Suppose -9*v - 8*v + 110857 = 0. Is v a prime number?
True
Suppose 65 = 2*t + 3*t. Let k(m) = m**2 - 15*m + 14. Let f be k(t). Let h = f - -31. Is h a prime number?
True
Is 1/16*8*4382 composite?
True
Suppose 9*z = 4*z. Suppose -3*i - k + 4 = z, -4*i - 3*k + 13 = 1. Suppose -3*c + 263 = 2*c - 2*x, 3*c - 3*x - 156 = i. Is c a composite number?
False
Let v be 6/((-90)/(-1239)) + (-6)/10. Let c = -29 + v. Is c a composite number?
False
Suppose -3*z + 2512 = -w, -3*w = 7*z - 4*z - 2532. Is z prime?
True
Let u(t) = 360*t + 41. Is u(21) a composite number?
True
Suppose -3*m + 5*m + 1386 = 0. Suppose 0*h - 948 = 3*h. Let k = h - m. Is k a prime number?
False
Suppose 5*v + 3*o - 65 = 0, 5*v = -o - 0*o + 65. Let c = v + -8. Suppose 2*k = 5*p - 0*p - 316, c*p - 313 = k. Is p prime?
False
Let h = -3 + 8. Suppose -5*n + 8587 = 4*j - 0*j, -h*j - 4*n = -10745. Is j prime?
True
Let w(p) = -3*p - 1. Let k be w(-3). Let u(a) = 9*a**2 - k*a - 9 - 2*a**2 - 5*a**2. Is u(10) composite?
True
Let x(p) = 1582*p**2 + p - 3. Is x(-2) a prime number?
True
Let p = 4 - 4. Suppose p*w + 3 = w. Suppose -2*r - 1 - 9 = 0, 0 = x - w*r - 72. Is x a prime number?
False
Let j be 0 + -2 + 0 - -322. Suppose -2*f + 3*b = -j, b = -4*f - 0*b + 654. Is f composite?
False
Is -7 - (-211071)/77 - (-2)/(-11) prime?
False
Suppose -5*d = l - 5144, -5132 = -117*l + 116*l - d. Is l a prime number?
False
Suppose -14 = -5*n - 4. Suppose 4*c + 5*q - 204 = n*c, -5*c + 3*q + 510 = 0. Suppose -3*i - 255 = -8*i + f, -2*i + c = f. Is i a prime number?
False
Is 32/(-128) + 35770/8 prime?
False
Let v be -3 + 138*15/2. Suppose 6*x - 2*x + 4*h + 2456 = 0, 3088 = -5*x + h. Let t = v + x. Is t composite?
True
Let g(f) = 11*f**3 + 4*f**2 - 2*f - 1. Let w = 1 - -2. Is g(w) composite?
True
Is 6679/7*7 + 7 prime?
False
Let f(u) = 6*u**3 - 7*u**2 + 17*u - 53. Is f(9) a composite number?
False
Suppose -4965 = -3*r + 3*h, 0*r - h = 5*r - 8287. Is r prime?
True
Let y(x) be the third derivative of -4*x**6/5 + x**5/30 + x**4/12 + x**3/6 - 2*x**2. Is y(-1) a composite number?
False
Suppose 1042*q - 344349 = 1033*q. Is q composite?
False
Suppose 2*l + 2*i = 16, -24 = -l - 8*i + 3*i. Let x be (-6)/l*(2 + 4). Is (-548)/(-16) + x/(-12) a composite number?
True
Suppose 0 = -29*q + 23*q + 54606. Is q a prime number?
False
Suppose 0 = -94*x + 100*x - 2838. Is x prime?
False
Let a = -27951 + 45812. Is a prime?
False
Let k be (7/2 + -4)*-4. Suppose 5*g + k + 18 = -x, 32 = -4*g - 4*x. Is (-5)/((-5)/332) + g a prime number?
False
Let j(o) = -841*o - 461. Is j(-34) prime?
False
Suppose 0*w + 2*w - 3*n - 10 = 0, -n + 20 = 4*w. Suppose w*o + 2*r = 209, r + 80 = 5*o - 3*o. Suppose 0 = -c + 4*b + o, -3*c - b + 57 = -40. Is c prime?
False
Let h(g) = -31*g**3 + 6*g**2 - 3*g - 4. Suppose l = -2, f - 3*l + l = 2. Let z(r) = -30*r**3 + 5*r**2 - 2*r - 3. Let o(v) = f*h(v) + 3*z(v). Is o(-2) prime?
False
Let q = -70 + 60. Is 5/((-15)/1402)*15/q composite?
False
Let l(r) = 190*r**2 + r - 9. Is l(10) composite?
False
Let j be 4/(2 + -10)*-4. Let z be ((-2)/(-3))/(j/9). Suppose 0 = 5*g + 5*k - 290, 0 = -z*g - k - 3*k + 177. Is g a composite number?
True
Let l = 2 - 0. Suppose a = l*k - 745, -120 - 251 = -k + a. Suppose -w + k = w. Is w composite?
True
Let m be 98/8 + (-5)/20. Is ((-114)/m)/(3/(-186)) a prime number?
False
Let w = -62 - -122. Let y = 153 - 153. Suppose y = 2*v - 294 - w. Is v prime?
False
Let j(u) = -2*u - 5. Let k be j(-5). Suppose 435 = 5*y + k*z, -2*y + 180 = 5*z + 21. Suppose -4*c - 4*v = -8*v - y, 3*v = -6. Is c composite?
True
Suppose -4*t - 487 + 154 = -5*z, 0 = 5*z + 4*t - 317. Let r be 3370/z - 2/(-13). Suppose -8*w = -4*w - r. Is w prime?
True
Let l(o) = 17*o + 4. Let n be (-22)/((-5)/3 + 1). Let u = -22 + n. Is l(u) a composite number?
False
Let v = -652 + 1416. Suppose -b + v = 4*b + 2*i, 2*i + 300 = 2*b. Suppose 320 = 5*z - 5*a, -5*z + b = -2*z + 5*a. Is z composite?
False
Suppose 3*b = 1161 + 195. Let v = 799 - b. Is v composite?
False
Suppose -5*z + 10*z - 4235 = -4*g, -4*g + 1706 = 2*z. Suppose 5*t - 2*t - 648 = 0. Suppose 0*p + 4*p - q - z = 0, 5*q = -p + t. Is p a prime number?
True
Is 19819*-7*(-9)/63 prime?
True
Let z(i) = 9*i**2 - i - 6. Let v be z(-6). Suppose 4*j + v = 2*j + 3*f, 0 = -2*j - 5*f - 356. Let l = 245 + j. Is l a composite number?
True
Let f = 29836 + -15397. Is f a prime number?