er?
True
Suppose -3*f - 6952 = -p, -3*f - 2*f = -15. Suppose -7*b + 858 = -p. Is b prime?
True
Suppose z + 2*z = 15. Suppose -2*s + a = -s + 8, 5*s + 2*a = -z. Is 1*(23 + s + -1) composite?
False
Let x = 32 - 29. Suppose -x*f = 2*f - 5215. Is f composite?
True
Let u(p) = -p**3 - 4*p**2 - 3*p + 3. Let y be u(-3). Is ((-153)/12)/(y/(-28)) composite?
True
Suppose 272*p + 42515 = 277*p. Is p a prime number?
False
Suppose 23 = -10*v - 227. Let f(m) = -76*m + 49. Is f(v) a prime number?
True
Suppose -48633 = -25*q + 55942. Is q prime?
False
Suppose 3*k = -k - 5*g + 22923, 4*k + 4*g = 22928. Is k a composite number?
False
Suppose -21*m - 12 = -17*m. Is 12 - (m - -4)/1 a prime number?
True
Suppose 4*l + 125240 = 2*x, -3*x + 196977 = 5*l + 9150. Is x prime?
False
Suppose -30*f + 34*f - 36 = 0. Suppose -f*w + 2647 = -8*w. Is w prime?
True
Suppose 4*j = 6*n - n - 602, 0 = 3*j + 2*n + 463. Is 4 + (2 - j) - -4 a prime number?
True
Let a be 2*1/(2/3). Suppose v = 5*k + 4*v - 30, 3*k = -a*v + 24. Suppose -k*b - 2*b - c = -417, -4*c + 340 = 4*b. Is b a composite number?
False
Suppose 0 = -5*n - 3*l + 4*l + 1197, 735 = 3*n + 5*l. Suppose 33 = 3*p - n. Is p a composite number?
True
Let a(j) = 2*j - 1. Let p(z) = -1. Suppose 2*c - 3 = m + 4*c, 0 = -4*m + 5*c + 14. Let h(t) = m*a(t) - 6*p(t). Is h(3) composite?
False
Let g be (27/(-12))/(0 - 6/64). Suppose 1852 = -20*r + g*r. Is r composite?
False
Is 25612639/1794 + 1/12*2 a composite number?
True
Let v = 7 + -12. Let r be 8 + (v - (-3)/3). Suppose r*l = 2*l + 118. Is l composite?
False
Let t(m) = 74*m**3. Let b be t(-1). Let l = b + 261. Is l composite?
True
Let f = -962 - 305. Let t be -2*1 - 0 - 2160. Let g = f - t. Is g prime?
False
Suppose 2*u + 0*u = 4*a + 932, 20 = 5*a. Let f = u + -251. Is f composite?
False
Let b be (-1)/6 - 5289/18. Let z = -186 - b. Let q = z + 273. Is q composite?
True
Let p = -17546 - -30819. Is p prime?
False
Suppose -4229 = -4*b + 239. Is b a prime number?
True
Let d be ((-1)/(-2))/((-3)/12). Is (0 + d/4)*(-836 + -2) a prime number?
True
Suppose -5*q + 2*v + 1762 = 0, 6*v - 1757 = -5*q + 3*v. Let o = -195 + q. Is o composite?
False
Let y(c) = -c**2 + 14*c + 32. Let p be y(15). Suppose 94611 = p*g + 33292. Is g prime?
True
Let a = -867 - -2344. Is a a prime number?
False
Suppose -3*f = 4*t - 178 - 61, -3*t - f = -173. Suppose -1354 = -58*p + t*p. Is p a composite number?
False
Let o = 294 - 90. Let f = 11 - 2. Let n = f + o. Is n composite?
True
Suppose 4*s - 60 = -4*f, -f - s = -4*s - 15. Let m = f - 9. Suppose 2*v = m*v - 492. Is v a prime number?
False
Suppose 0 = -2*b - b. Let t be 2 + (-1 - b)*2. Suppose t = -c + 135 + 26. Is c composite?
True
Let j be ((-8)/(-1))/(30/15). Suppose -u - 18 = -j*u. Is u a prime number?
False
Let k(z) = -48*z + 29. Is k(-6) composite?
False
Suppose -126 - 21 = -t. Suppose 4*k + t + 881 = 0. Let n = 480 + k. Is n composite?
False
Let x be (-15)/10*(-6 + 0). Let l = x - 9. Is 2*(298/4 - l) a composite number?
False
Suppose d + 2*v - 14 = -2*v, -4*d - 16 = -2*v. Is (-6 - d)*(-2 - 4241/4) composite?
True
Let b(c) = -c**3 + 4*c**2 + 14*c - 9. Let d be b(6). Suppose -d*l - l = 12. Is (-11 + -250)*1/l a composite number?
True
Suppose -101*r + 97*r = 0. Suppose 25*f - 21*f - 4580 = r. Is f prime?
False
Is 55042*(-30)/(-40) - (-1)/(-2) prime?
True
Suppose 7*s = 4249 + 1246. Is s a prime number?
False
Suppose 3*r + 6 + 0 = 0, 0 = -4*z - 2*r - 12. Is 1 + 158 - (2 + 2)/z prime?
False
Let b = 3180 + -1641. Suppose b = 6*f + 429. Is f prime?
False
Let p(n) = n**2 - 2*n - 1. Suppose r - o = -6*o + 9, -3*r = o - 13. Let x be p(r). Suppose -3*d - 194 = -2*c, 0 = -2*c - 3*d + x*d + 194. Is c composite?
False
Let o(d) = 68*d**2 - 14*d + 7. Is o(20) a composite number?
False
Suppose -s - 249 = -4*s. Let f(p) = 46 - 46 + s*p. Is f(1) a prime number?
True
Suppose -g = 5, -4*z - 11286 = -4*g + 2*g. Is (-3)/(-9) + z/(-6) a prime number?
False
Suppose 6*s = -2*s + 3352. Let b = s + -88. Is b prime?
True
Let o = 32983 + -20106. Let h = -8910 + o. Is h prime?
True
Suppose -2*g - k = -3*k - 12, 5*g - 3*k = 26. Suppose i - 100 = 2*h - g*h, -4*i + 2*h + 390 = 0. Suppose 32 = a + 3*j - 74, -5*j = -a + i. Is a composite?
False
Let j = -24 + 27. Suppose -512 = -4*s - 0*s - b, -647 = -5*s - j*b. Is s prime?
True
Let p be (20/(-3))/((-6)/(-99)). Let n = p - -316. Is n a prime number?
False
Let x be 502 - (-1 + 4 - 1). Let o = 841 - x. Is o prime?
False
Let o(k) = -3*k**3 - 5*k**2 - 4*k - 4. Let h be o(-3). Let j be (-5039)/(-4) - 33/h. Let a = -370 + j. Is a a prime number?
False
Suppose -4*d + 8 = 0, -3*l - 3*d - 15777 = 15222. Is (-4)/(-6)*l/(-26) composite?
True
Suppose 0 = -4*g - 12, 2*t - 2 = 2*g - 4*g. Suppose t*q - 78 = 1070. Is q a composite number?
True
Suppose -84 = -9*z + 5*z. Let m = 118 - z. Is m a composite number?
False
Let u be (3 - 1)*4 - 2 - 1. Suppose -4*z - 4*s = -6752, u*z - 2*s = 5982 + 2437. Is z a prime number?
False
Suppose 208 + 3824 = 6*w. Let x = 1521 - w. Is x a prime number?
False
Let x(z) = z**3 + 15*z**2 + z + 9. Let t(r) = r**3 - 8*r**2 + 7*r - 14. Suppose -14*m + 35 = -9*m. Let h be t(m). Is x(h) a prime number?
True
Suppose q - 2*q = -1065. Let v = -434 + q. Suppose -x = 4*i - 139, 3*x - v = -x - i. Is x a composite number?
True
Suppose 0*g = -4*g - r + 40, 0 = -g - 5*r + 10. Is 35/g*174/3 prime?
False
Suppose x - 16 - 3 = -3*m, 3*x = 3. Let p(d) = 4*d**3 - 6*d**2 - 6*d + 11. Is p(m) prime?
False
Let u = 2732 + 390. Suppose 46*v - 44*v - u = 0. Is v composite?
True
Suppose 4*t + 5*y - 278650 = 0, 5*y - 8*y - 348331 = -5*t. Is t a composite number?
True
Let f(w) = 7*w**3 - 14*w**2 + 6. Let d(g) = -6*g**3 + 13*g**2 + g - 7. Let x(a) = 6*d(a) + 5*f(a). Let i be x(-11). Let z = i + -1392. Is z composite?
False
Suppose 36 = w + 2*w. Suppose w*i - 8*i - 1956 = 0. Suppose -t - 2*t = -i. Is t composite?
False
Let n(s) = -11*s + 1. Let x be n(3). Is ((-904)/x)/((-1)/(-4)) a composite number?
False
Let v = 46 - 50. Is -3 - 0 - (v - 118) a prime number?
False
Let y = -4911 + 14084. Is y a prime number?
True
Let i(v) = -v**2 + 22*v**2 + 5*v**2 + 14*v**2 - 5*v - 7. Is i(-2) composite?
False
Let c(v) be the first derivative of -v**3/3 + 23*v**2/2 + 3*v + 9. Is c(19) prime?
True
Let i = 1344 - 2233. Let j = 1728 + i. Is j prime?
True
Let y = 965 - 443. Let x = -323 + y. Is x prime?
True
Suppose 21 = 4*j + 1, 4*m - 11*j - 7741 = 0. Is m composite?
False
Let l be 66/(-4)*(2 + -4). Suppose -l = -3*n + 528. Suppose 352 = 2*h + g, -h - 8 + n = -g. Is h composite?
True
Is (-125996)/(-24) - (-15)/(-18) prime?
False
Suppose 0 = -11*w + 7*w - 3*p + 64216, 4*w + 2*p - 64220 = 0. Is w a composite number?
False
Suppose 0 = -41*u + 37*u - 44. Let k be 11*(-1)/(-1 - -2). Is (-68)/(-1) - k/u composite?
False
Suppose 5*v = -3*k + 18337, 6101 = -9*k + 10*k - 4*v. Is k a composite number?
True
Let i(m) = 7*m**3 + m**2 - 20*m + 22. Let k be i(9). Let l = k - 1197. Is l a composite number?
True
Let f = 20826 - -279. Suppose 1256 + 2963 = r + 3*o, 0 = -5*r - 5*o + f. Is r prime?
False
Let u = 21158 - 13915. Is u a prime number?
True
Let a = -25 - -28. Suppose -f = a*j - 3216, 0 = -3*j + 3*f - 50 + 3278. Is j prime?
False
Suppose 50*p = 61*p - 62293. Is p a composite number?
True
Let y(k) = -2*k**3 - 5*k**2 - 6*k + 1. Let o be y(-3). Let d = o + -22. Suppose -d*p + 758 = -4*p. Is p prime?
True
Let q = -1623 + -919. Is q/(-4) - 28/56 a prime number?
False
Suppose 0 = 3*x - 1291 - 110. Suppose 29*n = 30*n - x. Is n a prime number?
True
Let d(i) = -15*i**2 + 16*i - 18. Let b be d(9). Let y = -516 - b. Is y prime?
False
Let d(k) = 4*k**2 + 2*k - 1. Let i = -159 - -142. Is d(i) composite?
True
Is ((-111)/9)/((-2)/6*1) composite?
False
Let x(m) = -m**2 - 22*m + 7. Suppose 2*b - 3*b - 6 = 0. Let y be ((-40)/(-12))/(2/b). Is x(y) a composite number?
False
Let p = -10626 + 24193. Is p a composite number?
False
Let r be (-2266)/(-6) + ((-8)/12 - -1). Suppose -2*z = -5*w + 7*w - r, 0 = 2*w + 5*z - 372. Is w a composite number?
False
Let t = -70 + 1241. Is t prime?
True
Suppose 3*g + 2850 = 8*g. Suppose 5*v + g = -150. Let f = 287 - v. Is f composite?
False
Let m(l) be the first derivative of 5*l**4/4 - 4*l**3/3 + 2*l**2 - l + 14. Is m(2) composite?
False
Is ((-12196)/(-14))/(18/63) a prime