 -4*y - 4*a = -2*a - 10, 3*a = 4*y - 25. Suppose -5*q - 3805 = -5*s, 1522 = -2*s + y*s - q. Is s prime?
True
Let p be (-2 - -1)/1*-599. Let k = -148 + p. Is k/1 - 0/3 composite?
True
Is 956859/114*2/1 composite?
False
Let q be ((-44)/(-10))/((-22)/(-55)). Suppose 32 = x - q. Is x a composite number?
False
Let q(z) = -z - 5. Let i be q(-9). Suppose i*u + 10959 = 5*s, 3*s - 8796 = -s - 4*u. Is s a prime number?
False
Let a be (-8)/(-2) - (-6 - -3). Suppose l - a = -3. Suppose 4*j + 235 + 528 = 3*g, 2*g - l*j - 506 = 0. Is g a prime number?
True
Suppose 5*f = -4*f + 1953. Is f composite?
True
Let j = 9 + -9. Suppose j = -5*a + 20, -3*k = -4*k + 2*a - 12. Is k/(-24) + (-634)/(-12) a composite number?
False
Let b = -121 + -1462. Let p = 2266 + b. Is p composite?
False
Suppose -j - 87 = -4*j. Let z = 31 - j. Suppose 4*u - 5334 = -z*u. Is u composite?
True
Let s = 12947 + -9039. Suppose 7*n - s = 3*n. Is n a composite number?
False
Let y be 4 + (5 + -8 - -1974). Suppose -h = l - 417 - 241, -y = -3*l - 2*h. Is l prime?
True
Suppose -d - h = -7942, -d + 6364 = 3*h - 1580. Is d composite?
True
Suppose -21713 = -35*z + 34*z + 2*u, z + u - 21698 = 0. Is z a composite number?
True
Let v(r) = -27*r**3 - 5*r**2 + r + 5. Is v(-4) a composite number?
True
Let j = -36 + 34. Is (2/(-6))/(j/1506) prime?
True
Suppose -4*h - 5448 = -2*t, -2*h + 2720 = 28*t - 27*t. Is t a composite number?
True
Suppose -4*w = -3*w. Is w + -1 + (-3534)/(-3) a prime number?
False
Let s be 7/5 - 2 - (-10)/(-25). Is (s + 3)*-1 - 2240/(-5) composite?
True
Suppose 3*j + 3*r - 94081 + 11995 = 0, r = 1. Is j prime?
True
Let k = -11732 - -37399. Is k a composite number?
False
Let f = 106 + -86. Suppose f*o - 2694 = 14*o. Is o a composite number?
False
Is 20/(-15)*(-33513)/8*2 composite?
False
Let b(n) = n**3 - 21*n**2 + 19*n + 17. Let i be b(20). Is ((-4458)/12)/(i/6) a prime number?
True
Let k(m) = -m**3 - 7*m**2 + 9*m + 16. Let d be k(-8). Suppose 8014 = 5*p + r, -3*p + d*p - 8020 = 5*r. Is p a composite number?
True
Suppose -40*b - 16682 = -59*b. Is b a prime number?
False
Suppose -5*z + 4*q = -7269, -z - 578 + 2031 = -q. Is z a composite number?
True
Let p(y) = 338*y**2 - 18*y + 17. Is p(4) composite?
True
Suppose 5*z + 8 = 18. Let c be -176 + 3 + (z - 7). Let o = c - -264. Is o composite?
True
Suppose 0*h - 2*j = -h - 3, -2*j = 4*h - 38. Let l(m) = -31*m + 10. Let y be l(h). Let v = 410 + y. Is v composite?
True
Let s(w) = 149*w**2 - 35*w - 23. Is s(-15) composite?
True
Let z(h) = 5*h**3 - 2*h + 1. Let a(d) = d + 7. Let r be a(-6). Let w be z(r). Suppose -3*p + w*m = -247, 2*m + 252 - 13 = 3*p. Is p composite?
True
Suppose -4*o - 1175 = -t - 4332, -2*t = 2. Suppose 4*b = -3*q + o, b - 2*b + 4*q = -221. Is b a composite number?
True
Let b = -41432 - -89023. Is b composite?
False
Suppose 5*b + 70 = -45. Let g = 36 + b. Let z = 6 + g. Is z a composite number?
False
Let m be 1 + (1 + 0)*-13. Suppose 0 = -11*j + 324 + 61. Let i = m + j. Is i prime?
True
Let v = -10 - -18. Is v/(-16)*(-148)/1 prime?
False
Let s be (25 - 18)*(5 + 0). Is 441/s + (-6)/(-15) composite?
False
Let x be (10/(-8))/(1/16*-4). Suppose 6*h = 3*q + h - 2762, x*h = q - 924. Is q prime?
True
Let m = 142 + -96. Suppose 0 = -4*l + 378 + m. Is l composite?
True
Suppose 3*w + 0*w = -120. Let z be 27*(w/(-12) + -3). Is z*47*2/6 composite?
True
Suppose -8*l = -5226 + 530. Is l a composite number?
False
Let d = 11 - 21. Let o(r) = -r**3 - 11*r**2 - 9*r + 9. Let l be o(d). Is l/1 + (1 - -479) a composite number?
False
Let w(n) = -n**3 + 21*n**2 + 24*n - 40. Let v be w(22). Suppose -8*j + 10*j + v*g - 4890 = 0, 0 = -3*j - g + 7355. Is j a prime number?
False
Suppose -27*r + 21*r = -241314. Is r a prime number?
False
Let k(h) be the second derivative of -h**5/60 - 7*h**4/24 + 2*h**3/3 + h**2/2 - 2*h. Let j(w) be the first derivative of k(w). Is j(-7) a prime number?
False
Let p(d) = -6*d**2 + 13*d - 13. Let w(a) = -5*a**2 + 14*a - 12. Let s(i) = -4*p(i) + 3*w(i). Is s(5) a composite number?
False
Suppose -v + 4*j + 84 = 0, 3*v - 2*j - 257 = -15. Let n = 683 + -1082. Let p = v - n. Is p a composite number?
False
Suppose 0 = 2*g + 3*g - 5*z - 2030, -g + 401 = -2*z. Is g composite?
True
Suppose 4*x - 16 = 2*t, 2 = -3*x - 3*t + 5. Suppose 4*f - 3813 = -x*n, 4*n = -2*f - 2*f + 5080. Is n a composite number?
True
Let f = -28 - -28. Suppose -r - 3*c = -5, 0 = r - c - 1 - f. Is (r - 3)*(-1 - 418) composite?
False
Suppose -3*v - 9147 = 3*j, 2*j + 9148 = v - 4*v. Is v/(-12) + (-5)/30 a composite number?
True
Is (-1 - (-7)/9) + (-878528)/(-333) a prime number?
False
Suppose -5*o + 3*o + 1824 = 0. Let f = 1448 - o. Suppose -q - 3*q = -f. Is q composite?
True
Suppose -26*m + 169608 = -2*m. Is m prime?
False
Let d(r) = r**2 + 17*r - 14. Let y be d(-18). Suppose -4455 = -5*x + y*k, -3*k - 353 + 3886 = 4*x. Is x prime?
True
Suppose 3*x - 27 = 3*g - 6, -5*g - 27 = -4*x. Let z(t) = -x - t**3 - 7*t + 8*t**2 + 3*t**2 + 21. Is z(10) a prime number?
True
Is (-30)/40 + 6/8 + 2939 composite?
False
Is (-2)/4*(21*-3819 - 3) a prime number?
False
Suppose -w + 6829 = 2*i + 502, -2*w + 2 = 0. Is i a prime number?
True
Let t(f) = 33*f - 34. Let h(b) = -16*b + 17. Let r(p) = -5*h(p) - 2*t(p). Is r(6) a prime number?
True
Let u be (6 - 1) + 3/(-6 + 3). Let w(a) = 29*a**3 + 3*a**2 + 9*a + 1. Is w(u) composite?
True
Suppose 176 = 5*m - 719. Let k = -88 + m. Is k a prime number?
False
Let r = 7453 - 5292. Is r prime?
True
Let x(v) = 5*v**2 - 3*v + 1. Suppose -3*y - y + 16 = 0. Suppose y*t - 1 - 19 = 0. Is x(t) a prime number?
False
Let m(g) = 9*g**2 - 2*g**3 + 3*g**3 + 6*g**2 - 4*g + g**2. Is m(11) composite?
True
Let z = -81 + 176. Is z prime?
False
Let l = -4 - -8. Suppose -l*r + r = -111. Is r composite?
False
Suppose -s = -16*s + 123945. Is s a prime number?
True
Suppose 5*c - 22244 = 46511. Is c a prime number?
True
Let o = 1688 + -1115. Suppose 7*i = 4*i + o. Is i composite?
False
Suppose -2*n = -319 - 2677. Is (n + 24)*(-2)/(-4) a prime number?
True
Is -8*(-4)/(-48) + (-47789)/(-3) composite?
True
Let n(c) be the third derivative of 5*c**4/24 - c**3 + c**2. Let a be (-25)/(-10)*(4 + -2 - 0). Is n(a) prime?
True
Is ((-106)/371)/(2/(-208019)) a prime number?
True
Suppose 2*z + 5*h + 0 = 9, -4*h - 2 = -3*z. Suppose 511 = -z*m + 1777. Suppose -c = 2*c - m. Is c a prime number?
True
Let v be (2/4)/((-1)/46). Let n(r) = -102*r - 13. Is n(v) composite?
False
Suppose -199 = -k + 110. Let x = k + -52. Is x a prime number?
True
Is 1*(2469 - (-4)/(-2)) a composite number?
False
Let k(h) = -h**3 - 5*h**2 + 7*h - 3. Suppose 1 = 4*l - 11. Let b be k(l). Is (b + 0)*-7 + 1 a prime number?
True
Suppose 8*v = 13*v. Suppose 5*u - 2150 - 1145 = v. Is u a prime number?
True
Let i(z) = z**3 - 12*z**2 - 36*z - 4. Is i(23) a composite number?
False
Suppose 0*c + 10 = 5*c - 4*q, 5*c + 15 = -q. Is (-75)/45*222/c composite?
True
Let l(r) = -r**3 + r**2 + r. Let x(q) = q**3 + 10*q**2 - 2*q - 1. Let b(p) = 2*l(p) - x(p). Is b(-6) prime?
True
Suppose t = 5*b + 25, 5*t + 3*b + 20 = -b. Let w = -33 - -33. Suppose -3*m + 429 = -w*m + 3*h, m - 4*h - 153 = t. Is m composite?
True
Let x = 610 - -312. Suppose 3*h = 2*b + 997, -3*h + 95 = 3*b - x. Is h a composite number?
True
Let x(w) = 166*w**2 - 3*w - 54. Is x(8) composite?
True
Let v = 4050 - 2341. Is v a prime number?
True
Suppose -25*d + 12920 + 12355 = 0. Is d composite?
True
Let n = -20 - -20. Let u = n - 0. Suppose y - 4*z - 111 = u, 339 = 2*y - 4*z + 101. Is y a composite number?
False
Suppose 121*m - 104270 = 111*m. Is m a prime number?
True
Suppose 3*o + 27 = 3. Let s be ((-10)/4)/((-2)/o). Is (-118)/(-6) - s/(-15) a composite number?
False
Let o be 12 - 10 - (-1 + -1). Is (0 + 118)*4/o a composite number?
True
Let s(p) = -32*p**3 - 2*p**2 - p + 3. Let n be s(2). Let a = n - -390. Is a a prime number?
True
Let c(t) = 5*t + 24. Let u be c(-15). Let s = 157 + u. Is s a composite number?
True
Suppose -p + 317 + 151 = 0. Suppose -i - 2564 = -4*d, -p + 2391 = 3*d + 4*i. Is d a prime number?
True
Suppose 2 = -5*i + h + 2*h, -4*i + 2*h = 0. Suppose -3870 - 2944 = -i*p. Is p prime?
True
Let n(j) = -j + 9. Let q be (-1)/(4/(-16)) - 0. Let k be n(q). Suppose -2*m + 5*b = -225, 572 = k*m - 0*m - 3*b. Is m a composite number?
True
Let w(n) = 