0 = 0, 2*l = -0*l + v*u + 1268. Suppose 0 = 5*i - 4*n - 2415, 4*i - 1294 = 4*n + l. Is i composite?
False
Let r = 848972 - 577621. Is r composite?
False
Let a(j) = 67*j + 1135. Let i be a(-17). Let v(k) = k**3 - 3*k**2 - 4*k + 2. Let o be v(4). Is ((i/(-3))/o)/((-2)/(-249)) a prime number?
True
Let n = -936 - 2248. Let u = 6003 + n. Is u prime?
True
Suppose 7*a = 2*a - 40. Let x(r) = 3*r**2 + 7*r + 10. Let u be x(a). Suppose -2*i + 332 + u = 0. Is i prime?
True
Let u(p) be the first derivative of 5419*p**2/2 - 17*p + 56. Is u(2) prime?
False
Let j(c) = -c**2 + 6*c - 3. Let i be j(4). Suppose 8*z - 7*z + i*y - 8 = 0, -2*y = 4*z - 68. Suppose -6262 = -z*l - 2194. Is l prime?
False
Suppose -45 = 15*g - 14*g. Let b = 34 + g. Let o(a) = -20*a - 3. Is o(b) composite?
True
Let m = 787521 + -522980. Is m prime?
False
Let b(g) = g**3 - 8*g**2 + 9*g + 1. Let a be b(7). Is (-5470)/a*45/(-6) a composite number?
True
Let c(h) = -39*h**3 + 6*h**2 + 73*h + 417. Is c(-7) composite?
False
Let b = -44257 - -98508. Is b a composite number?
False
Suppose 0 = 5*i - 1108 + 378. Let x be (4/8)/((-1)/(-2))*i. Suppose -4*a = 8, j + 2*a = 4*a + x. Is j prime?
False
Let d = 13761 + -10834. Is d prime?
True
Suppose 0 = 5*r - 5*k - 4355, -5*k = -6 - 29. Let n = -895 - -315. Let a = r + n. Is a a composite number?
True
Suppose -5*u = 3*b + 230426 - 868345, -6*u + 3*b = -765450. Is u prime?
True
Let n = -125 + 147. Suppose 0 = -3*c - n*c + 64525. Is c a composite number?
True
Let j(f) = -15 - 19*f + 9 + 0 + 2 + 3084*f**2 - 592*f**2. Is j(-3) a composite number?
False
Let g = 3325 + -1611. Let u = g - 201. Is u composite?
True
Suppose 12*u + 5*n - 106819 = 11*u, n - 427276 = -4*u. Is u a prime number?
False
Let k(d) = 150*d + 5. Let j be k(-1). Let r = 1034 + j. Is r a composite number?
True
Let u = -105268 + 204155. Is u a composite number?
False
Let l(w) = -424*w**3 - 2*w**2 - 35*w - 48. Is l(-7) a prime number?
True
Is 1*(-3 + 15 - -22841) a composite number?
False
Suppose 355 + 161 = 3*p. Suppose -p*n = -152*n - 269060. Is n composite?
True
Let q(x) = 3*x**3 - 3*x**2 + x - 9. Let z be q(2). Suppose 16*y - z*t = 14*y + 17988, -3*t + 17972 = 2*y. Is y a composite number?
True
Let q = -74 + -65. Let b be (68/(-6))/(10 + (-1068)/108). Let p = b - q. Is p a prime number?
True
Suppose 13*j + 179 = -46*j + 61. Let h = 505 + -356. Is h*(0 - -1)*(3 + j) composite?
False
Let z(p) = -658*p + 4 + 56*p + 79*p. Is z(-10) prime?
False
Let s = 92459 - 59298. Suppose -166 = 5*v - s. Is v prime?
True
Is (-1633890)/(-50) + 1/5 a composite number?
True
Let d be ((-4)/2)/(54 - 55). Suppose 7001 = -d*m + 3*m + 2*z, 4*m - 28015 = 3*z. Is m composite?
True
Let l = -233 - -239. Is 17767/8 + l*1/48 a composite number?
False
Suppose -31*y + 32*y = 3*r + 1940, -3*y + 3*r + 5838 = 0. Is y composite?
False
Let j = -298 + 301. Is j/3*(-12494)/(-1) a prime number?
False
Suppose 5*y - 4388 = -3*c, c = 16*y - 17*y + 878. Is y a prime number?
True
Let w(j) = 94*j. Let k(b) = 2 - 47*b + 48*b - 1 + 0. Let c(u) = 6*k(u) - w(u). Is c(-7) a composite number?
True
Let c(f) = 25*f**2 + 22*f + 184. Let a be c(-12). Suppose 13*r = a + 471. Is r a prime number?
True
Let p be 1414/56 + -3*(-4)/(-48). Suppose a - 3*d - 5206 = 0, 0 = -4*a - 22*d + p*d + 20833. Is a composite?
False
Let f(r) = -3*r**3 - 28*r**2 - 128*r + 19. Is f(-6) a prime number?
False
Suppose -2*m + 20*m - 47052 = 0. Suppose -b - 4*b - m = -t, t = b + 2602. Is t prime?
False
Let z(s) = -s**2 + 9*s - 5. Let f be z(8). Let q be (1/f)/((-13)/(-6) + -2). Suppose 592 = 2*y + 2*m - 2972, 0 = q*y + m - 3559. Is y a prime number?
True
Suppose 2*w - 99690 = 2*x, -96*w - 3*x + 149559 = -93*w. Is w a composite number?
True
Suppose 10*o - 120 - 80 = 0. Let z(k) = -k**3 + 25*k**2 + 15*k + 9. Is z(o) composite?
False
Suppose 5*o = 4*o + 4. Suppose -o*q + 26 = -j, -4 - 20 = -5*q - 3*j. Is ((-1161)/q - -3)/(1/(-2)) a prime number?
False
Let y be ((-6)/1)/(-12)*4. Suppose -2*c = y*u - 4268, -11270 = -4*c + u - 2759. Is c prime?
True
Is 8/(-10) - 13464555/(-975) prime?
False
Let h = -46647 + 111092. Is h composite?
True
Let v be 1/4 + (-715)/(-4). Let i be (10 - 14) + 4 + 75. Let a = v + i. Is a composite?
True
Suppose 3*w = 4*v - 126401, -w - 68772 + 5571 = -2*v. Is v composite?
False
Let a(o) = -15 - 23 + 336*o + 347*o - 82*o. Let r be a(6). Suppose 4*p - 1412 = 4*b + r, -2474 = -2*p - 2*b. Is p a prime number?
False
Let d be (-4 - (-18 + 2))*(3 - 2). Is -3 + 32/d + 74830/21 prime?
False
Suppose h + 13618 = 104501. Is (-28)/21 - h/(-3) a prime number?
True
Let r(k) = -2*k - 38. Let g be r(-20). Suppose -y + 8 = w, -y - 3*y - 16 = -g*w. Suppose 6145 = w*d - 1927. Is d a composite number?
False
Let j(y) = 279*y**2 + 9*y + 7. Let a = -316 + 320. Is j(a) prime?
True
Suppose 46*w = 37*w + 556497. Is w a prime number?
False
Let d = -34 - -37. Let t(s) = 27*s**3 - 4*s**2 + 2*s + 1. Let z be t(d). Suppose -z + 114 = -2*h. Is h prime?
True
Let v = 247 - 250. Let h(i) = -23*i**3 - 2*i**2 - 6*i - 8. Is h(v) composite?
False
Let d(r) = 36*r**3 + 2*r**2 - r. Let q be d(1). Let n = q - 32. Is n - 0 - 0 - -2090 composite?
True
Is -1*331*(4 + -487)/21 prime?
False
Suppose 4*d + 5478 = -1506. Suppose -3*u + 7*u + 12362 = 2*f, 4*u - 5*f + 12371 = 0. Let w = d - u. Is w a prime number?
False
Let l = 54 + 337. Let k = l - 256. Let b = k + -56. Is b composite?
False
Let s be 0/((-7 - 1)/4). Suppose -14 = -2*j + 2*p - s*p, 3*p - 15 = -j. Is j/(-12) + 8348/16 a composite number?
False
Let q = -20 - -33. Let t = q + -13. Suppose t = 2*k + 5*l - 348, 0 = -4*k + 5*l + 316 + 350. Is k composite?
True
Suppose 2*q - 2*j - 422180 = 0, 5*j - 880974 = -5*q + 174506. Is q a composite number?
False
Let n = -79 - -81. Is 1738 + (n/(-2) - (-13 + 9)) composite?
False
Is ((-15 - -554858)/(2/(-4)))/(2 - 4) prime?
True
Let m(f) = -6*f - 40. Let p be m(-10). Suppose -23*o = -p*o - 33. Let c = 482 + o. Is c a prime number?
False
Let r(w) = 1490*w**2 - 46*w + 55. Is r(8) composite?
True
Let i(g) = g**3 - 18*g**2 + 15*g + 34. Suppose 34 = z + z. Let j be i(z). Suppose j*u + 5*u = 5015. Is u a composite number?
True
Let t(p) = 23*p**3 - 38*p**2 - 8*p + 24. Is t(23) composite?
True
Let v = 77371 - 17760. Is v a composite number?
False
Is (-2)/(-3)*((-178434927)/330)/((-3)/5) a prime number?
True
Suppose 0 = -6*t + 8*t + 98. Let w = -44 - t. Suppose -w*g = g - 678. Is g composite?
False
Suppose 281*k - 284*k = -54639. Let d = -12775 + k. Is d composite?
True
Let x be 2/(-3)*(0 + -6). Is 579*((-2)/x)/(6/(-12)) composite?
True
Let n = 1899 - -8994. Is n composite?
True
Suppose 5*d = -3*w - 13594, 3*d - 4*w = 2*d - 2728. Let i = d + 5989. Is i a prime number?
False
Let t be 1*10 + 0/9. Suppose 0 = t*k + 5 - 25. Suppose 2257 = k*b - 1629. Is b a prime number?
False
Let o(w) = -5*w**3 - 38*w**2 + 16*w - 64. Is o(-23) a prime number?
False
Suppose 13 = v - y, -5*v + 3*y = -86 + 11. Suppose v*x = -552 + 3234. Is x a prime number?
True
Is (-2 - 1435990)/(-6) - (0 + 5 + -2) prime?
True
Let i = -33 - -36. Suppose 0 = i*t + 6*t - 7218. Is t a prime number?
False
Let s(f) = -42384*f - 1219. Is s(-27) a prime number?
False
Suppose 0 = -4*m + 6*m. Suppose m = 4*a - 14*a + 250. Suppose 0*z - a = -4*k - z, -k + 5*z + 22 = 0. Is k composite?
False
Suppose -2*r = 1 - 17. Let s be 2/(-9) + 950/225. Suppose 0 = -r*w - s*w + 6684. Is w composite?
False
Let y(z) = -z**3 - 3*z**2 + 3*z + 9. Let f be y(-3). Suppose 2*w - 20594 = -c - 3*c, f = -5*w + 5*c + 51515. Is w a composite number?
False
Let m(w) = 4*w**2 - 14*w - 379. Suppose -9*s - 164 - 259 = 0. Is m(s) prime?
False
Let u(m) = 14463*m**3 - 4*m**2 + 7*m - 23. Is u(3) a prime number?
True
Let y = 82 - 54. Suppose 0 = -n - 2*l + 8 + 3, -4*n = 4*l - y. Suppose n*g - 1067 = -2*f + 6*f, -2*g = -4*f - 714. Is g a prime number?
True
Let j(w) = 4*w**2 + 3*w + 10. Let p be j(-3). Is (-23384)/(-3) - p/(-111) composite?
True
Let r = 1278641 - 892455. Is r composite?
True
Let j(q) = -6*q - 1. Let w be j(1). Let s(p) = -7 + 412*p**2 + 5*p - 6*p + 405*p**2 - 823*p**2 - p**3. Is s(w) a composite number?
True
Suppose 3*o = 4*o. Suppose o = -w - 3*u + 10210, 4*u + 51031 = 5*w - 0*u. Suppose -w = -12*c - 619. Is c composite?
True
Suppose 17*q - 101045 - 189859 = 0. Suppose 5*f - 8383 = q. 