12))/4) a prime number?
True
Let h be (20/4)/((-15)/(-6)). Suppose m - 3 = -1. Suppose 6*g + 219 = i + h*g, -4*g - 442 = -m*i. Is i a prime number?
True
Let o be ((-8)/(-4))/((-2)/(-3)). Suppose -5*t + 78 = o*s - 23, 5*s = -t + 29. Is t prime?
True
Let i = -7 + 9. Suppose i*t + 0 = 6. Suppose -3*c + 5*u + 593 = 0, 529 = 3*c - t*u - 56. Is c prime?
True
Let x(h) = -85*h + 24. Let q be x(-3). Let t = 1552 + q. Is t composite?
False
Suppose -5*z + 2*o = -0*z - 20, -2*z - 3*o = 11. Suppose -3*p + 421 = z*d - 0, -4*d = 5*p - 841. Is d a composite number?
True
Suppose -4*q + 14*q - 40 = 0. Suppose q*a = 7*a - 7959. Is a composite?
True
Suppose -972114 + 4835952 = 66*i. Is i a composite number?
False
Let x = 552 + -991. Let w = -308 - x. Is w a composite number?
False
Let h(r) = -62*r**3 + 9*r**2 + 61*r - 1. Is h(-5) a prime number?
True
Is (-3494)/3*4/(16/(-18)) a prime number?
False
Suppose 24 - 12 = -4*m. Let y(o) = -281*o - 2. Is y(m) a composite number?
True
Suppose -3*j = 2*r - 0*j - 340, 5*r - 812 = 2*j. Let p = r + 317. Is p composite?
True
Is ((-832772)/366)/(4/(-6)) composite?
False
Suppose 0 = 5*j - 15. Let m(l) = -j - 6 - 3 + 39*l - 2. Is m(7) composite?
True
Let s(k) = k**2 + 2*k + 2. Let d be s(-3). Suppose 5581 = 7*g - 3*g + 5*m, 3*g + d*m = 4182. Is g prime?
True
Let y = -2788 + 5149. Is y prime?
False
Let p be 40/(-30)*(-3)/2. Is (404/p + -3 + 4)*1 prime?
False
Let n(t) be the second derivative of t**5/20 + 5*t**4/6 - 4*t**3/3 + 4*t**2 + 7*t. Let s be n(-10). Let p = s + -50. Is p prime?
False
Suppose 26*c = 38*c - 6348. Is c composite?
True
Suppose -5*d + d - 27 = -z, -2*d = 4*z - 72. Let u(x) = -x**2 + 22*x + 14. Is u(z) a composite number?
False
Let s be (-4)/(-16) + 21/12. Suppose -c - 2688 = -4*z, 6*z + 5*c - 2712 = s*z. Is z a prime number?
True
Suppose 0 = 9*b - 40*b + 408115. Is b composite?
True
Suppose -5*l + 6*l + 2*f - 3147 = 0, 12538 = 4*l - 2*f. Is l composite?
False
Suppose 405*r - 408*r - 135 = 0. Suppose -n = -5*n + 328. Let m = r + n. Is m prime?
True
Is 12333/2 - (-6)/12 prime?
False
Suppose 16 = i - 3*z, 0 = -5*i - 3*z - 0 + 8. Let p be (-4)/(1*(-1)/(-3192)). Is p/(-108) + i/(-18) composite?
True
Let x(h) = -h**3 + 7*h**2 - 4*h - 1. Let z be x(6). Suppose -5*n - 3*k - z = 95, -14 = n - 3*k. Is (-520)/(-6) + n/(-60) a composite number?
True
Let c(n) be the second derivative of -n**4/12 + 2*n**3 + n**2 + 3*n. Let p be c(12). Suppose v = -p*v + 159. Is v a composite number?
False
Let g be 3 - 17/3*3. Let w = g + 8. Is 0 - 202/4*w prime?
False
Let t be -2164 + 2/(-1) + 0. Let j = 3335 + t. Is j prime?
False
Let r(s) = -22*s**2 - 5*s - 3. Let q(a) = -21*a - 10 - 1 + 5*a - 65*a**2 + 1. Let m(w) = 2*q(w) - 7*r(w). Is m(-4) a composite number?
False
Let j be ((-9)/12)/((-27)/72). Suppose -977 + 2539 = j*s. Is s a composite number?
True
Let y(v) = 7*v**2 - 12. Let m be (1/3)/((-1)/(-66)). Let i = 17 - m. Is y(i) prime?
True
Let c be 12/(-4)*28/(-6). Let h = -17 + c. Is 1/h*2466/(-3) prime?
False
Suppose 34420 = 28*w + 3984. Is w prime?
True
Suppose 1302 = -0*o + 7*o. Suppose -4*h + 37 - o = -3*z, 4*h - 4 = 0. Is z composite?
True
Is 6/60 + (-3 - 411237/(-30)) prime?
False
Is -5 + (-9)/(-2) - (-3070)/4 a composite number?
True
Let p be (10 + -3)*1*13. Suppose -p = -j + 240. Is j a composite number?
False
Let q = -464 - -1061. Suppose 0 = 3*a - q - 630. Suppose -a - 1286 = -3*u. Is u a composite number?
True
Is ((-14)/(-14))/((-3)/(-759189)) prime?
True
Let z(p) = -2*p**3 - p**2 - 2*p - 1. Suppose 3*v + 1 = h, -4 - 6 = 2*v + 4*h. Let k be z(v). Suppose 1083 = 5*s - k*s. Is s prime?
False
Let s(x) = 10*x**2 - 6*x - 9. Let n be s(-6). Let l = 694 - n. Is l prime?
True
Let l(h) = -h + 1. Let c be l(-4). Suppose -3*i = 3*q - 1113, -668 = 4*i - c*q - 2170. Is i composite?
False
Let g = 1372 - -177. Suppose -a - g - 79 = 2*u, -3*a = -u + 4905. Let n = -537 - a. Is n a prime number?
True
Let y(g) = -114*g - 15. Let i(j) = -23*j - 3. Let w(x) = -24*i(x) + 5*y(x). Let r be w(3). Let f = r + 280. Is f prime?
True
Let x(f) = -4*f**3 + 3*f + 10. Suppose -5*v + 55 = 75. Is x(v) composite?
True
Suppose -5*t + 2234 = -j, 6*t - 891 = 4*t + 3*j. Is t prime?
False
Let l = -2287 + 458. Let w = -880 - l. Is w prime?
False
Let i = -5065 + 8004. Is i prime?
True
Let m(w) = w**3 - 5*w**2 + 5*w - 2. Let f be m(4). Suppose 0*p = f*p - 6. Suppose -4*r + 3*a + 743 = 12, p*a - 749 = -4*r. Is r a prime number?
False
Let m(x) = -2401*x - 5. Let j(h) = h**3 + 6*h**2 + 2*h + 6. Let y be j(-6). Is m(y) composite?
False
Let n(a) be the second derivative of -7/6*a**3 + a - a**2 + 0 - 1/20*a**5 + 7/12*a**4. Is n(5) prime?
True
Let m(j) = 6*j**3 + 2*j**2 - 2. Let d(b) = 2*b**2 + b. Let n be d(-2). Let q be m(n). Suppose 8*o - 10*o + q = 0. Is o composite?
False
Is (7 - 1330470/(-21)) + (-18)/(-63) a prime number?
False
Let g be ((-19935)/25 + -1)*-5. Let s = g + -1929. Is s a prime number?
True
Is (-4)/((-4)/(-6) + 177974/(-266547)) a composite number?
False
Let o = 17 + -27. Is 760/25 - 6/o prime?
True
Suppose -23 = -2*b - 3. Let x(k) = 22*k + 11. Let f(t) = -23*t - 11. Let l(u) = 4*f(u) + 5*x(u). Is l(b) prime?
True
Let d(r) = 94*r**3 - r**2 + 4*r - 5. Let x be d(2). Let b = 1308 - x. Is b a prime number?
True
Let u(l) = 593*l**2 + 70*l - 7. Is u(-6) composite?
False
Suppose 4*w - 126 = f, 5*f + 1 = -9. Suppose -24*v = -w*v + 5369. Is v a composite number?
True
Let t(q) = -2*q**3 - 2*q**2 + 4*q + 3. Let x(m) = -m**2 - 9*m + 10. Let b be x(-9). Suppose 3*c + 3 = -3*j, 2*c = -2*j + 3*j + b. Is t(j) a prime number?
True
Suppose 0 = -2*m + 8, -b + 8 = 3*b + 5*m. Let v be ((-24)/9 - -1)*b. Suppose -v*g - 5*u = 179 - 1004, -3*u = -4*g + 646. Is g composite?
False
Let r(t) = 5 + 2*t**3 + 2*t**3 - 2*t**2 + 3*t - 19*t**3. Is r(-3) composite?
False
Let h(q) be the third derivative of q**6/120 - q**5/6 - 19*q**4/24 + 7*q**3/6 - 19*q**2. Is h(13) a prime number?
False
Suppose r = 5*g + 2*r + 3249, -3*r + 3 = 0. Let y = -449 - g. Is y composite?
True
Let i(k) = -k**3 + 6*k**2 - 3*k - 5. Let p be i(5). Suppose -7 = -p*c + 8. Suppose -c*w + 71 = -136. Is w a composite number?
True
Let i = 17 + -13. Suppose -4*c = -4*n - 4, -2*n - 1 - 1 = i*c. Suppose -3*y + 74 = 2*q + 6, -5*y - 5*q + 115 = c. Is y prime?
False
Let d = 1360 - 1073. Is d prime?
False
Let q = -45880 - -67613. Is q composite?
True
Suppose 23*y + 39*y - 527062 = 0. Is y a composite number?
False
Let f(j) be the first derivative of -4 + 1/2*j**2 + 293*j. Is f(0) composite?
False
Let m be (0 - 9)*1/3. Let n(s) = -104*s - 5. Is n(m) a composite number?
False
Let v(u) = -8*u**3 - u**2 - 7*u - 3. Let g(w) = 23*w**3 + 3*w**2 + 20*w + 9. Let s(c) = -4*g(c) - 11*v(c). Is s(-2) composite?
False
Suppose -p - 14*b + 19*b = -48368, 3*p - 145152 = -b. Is p prime?
True
Suppose -5*h + 3*h = -16. Let y(p) be the second derivative of p**5/20 - 3*p**4/4 + 5*p**3/3 - 7*p**2/2 + 6*p. Is y(h) composite?
True
Let i(x) be the second derivative of -11*x**3/3 - 9*x**2/2 + 4*x + 5. Suppose -2*o + 5*y = 4, 0*y - 29 = 3*o + 4*y. Is i(o) prime?
False
Let k = 3 + 1. Let t = -82 + 101. Is (2 - (-44)/k)*t a composite number?
True
Suppose -4*a + 2 = -p + 7, -a = -3*p + 4. Let i(n) = 3876*n**3 + 2*n**2 - n. Is i(p) prime?
True
Let n = -70 + 74. Suppose -3*u = -0*d - d + 6, 2*d - 5*u = 11. Suppose -8*z = -d*z - n*x - 235, -178 = -3*z - 5*x. Is z prime?
False
Is 10581 + 2 + (-8)/20*-15 a composite number?
False
Suppose 0 = -3*i - 11*c + 16*c + 38062, 2*c = -5*i + 63447. Is i a composite number?
False
Suppose 2*c = -c. Is 67 + c*(-3)/(-6) a prime number?
True
Let v be ((-2)/5)/((-5)/(-25)). Is (907/v)/(3/(-6)) a prime number?
True
Let b(z) = z**3 - 19*z**2 - 20*z + 79. Is b(20) a composite number?
False
Suppose -7*a = -2*a - 20. Let l be 3 + 0 - (a - 2). Is l*(-2 - -6) - -67 a composite number?
False
Let a be (-1)/(-3) - 14/(-3). Suppose 4*w - a*w = -356. Is (0 - -2)*w/8 composite?
False
Suppose 3*q + 6*b - 5*b - 26239 = 0, -8743 = -q - 2*b. Is q a prime number?
True
Suppose 3*c - 220 = 107. Suppose -w + 0*w = -z - c, w + 5*z - 121 = 0. Suppose w = 2*r + r. Is r prime?
True
Let a be (0 + -2402)/((-4)/(-12)). Let c be a/(-9) - (-10)/(-15). Suppose 3*k = -4*x + c, -501 + 111 = -2*x - 4*k. Is x a composite number?
True
Let y = 6365 + 6069. Is y a