 = 92 - y. Is i composite?
False
Let f = -2033 - -1368. Let z = 972 + f. Is z composite?
False
Let x = -5056 + -429. Let l = 438 - x. Is l a prime number?
True
Suppose 5*v = 5*o + 15, -3*v + 4*v - 4*o = 0. Suppose 4*z - 740 = -4*d, 0*z + v*d + 394 = 2*z. Suppose z = -i + 686. Is i composite?
True
Let h(u) = -u**3 - 24*u**2 - 208*u + 131. Is h(-30) a prime number?
False
Suppose 145 - 130 = 5*y. Suppose -y*b + 3 = 0, -b + 70431 = 4*d + d. Is d a prime number?
False
Suppose 2*r + 29*r = -52*r + 32270981. Is r prime?
False
Let v = 34 + -31. Suppose 5*j = v*g - 3722, -3*g - g + 4981 = -3*j. Is g a prime number?
True
Let a be ((-153)/(-18) - 8)*(1 + -1). Suppose i + a*i - 319 = -o, -4*i + 638 = 2*o. Is o prime?
False
Let p = -35 - -32. Let m be (p/2)/(11/(-4906)). Suppose m = 2*n + 3*z - 13, -2*z = -4*n + 1364. Is n composite?
True
Let h(m) = -901*m - 4633. Is h(-120) composite?
True
Let y(p) = -p**3 - 18*p**2 - 31*p + 49. Let q be 0 + -26 - (-1 + -2). Is y(q) composite?
False
Let b(q) = -q**3 + 34*q**2 + 29*q - 11. Let s = -473 + 497. Is b(s) a composite number?
True
Is (-100176 + 133)*(-2)/((-1)/(1/(-2))) composite?
False
Let v(j) = j. Let t(u) = 787*u. Let n(m) = -t(m) + 3148*v(m). Let c be n(5). Suppose 4*d = -d + c. Is d a prime number?
False
Is 9/(486/12) - 2027460/(-108) composite?
False
Suppose -j + 4*y - 15 = 0, 4*y = -2*j + y + 25. Suppose 0*w + j = -2*w - q, -2*w + 5*q = -25. Is (w + (-14)/21)/((-2)/1623) a prime number?
True
Let c(i) = i**2 - 13*i - 46. Let d be c(-4). Let j(w) = 272*w - 45. Is j(d) a composite number?
False
Suppose -2*o = -3*w - 126554, -3*o + 122867 = 2*w - 67003. Is o a composite number?
True
Suppose 2*d = 2*f + 8, f + 29 = -0*f - 4*d. Is (-22529)/f - (-8)/(-36) prime?
True
Suppose -p + 18 = -7*p. Let k(d) = d**2 + 3*d + 5. Let m be k(p). Suppose g - 178 = -g + 3*b, -m*g = 2*b - 445. Is g a composite number?
False
Let m be (2/12)/(2/12) + -4. Is (-3 - -38044) + 2 + m + -1 composite?
False
Let r(y) = y**3 - y**2 + 6*y + 17332. Let o be r(0). Suppose -3*s - 5*k + o = 0, 11*s - 9*s - 11553 = -5*k. Is s prime?
True
Let n(j) = 0*j**2 - 38 + 10 + 8 - j**2 - 13*j. Let a be n(-11). Suppose 0*r = a*r - 3310. Is r a composite number?
True
Let x(f) = -2*f**2 + 5*f + 152. Let o be x(-46). Let b = 9331 + o. Is b a composite number?
False
Let f = 81833 + -49467. Is f composite?
True
Let z be (-47 - -43)*(-3)/4. Is 50503 + (6 - 9) + z a prime number?
True
Let x(i) = 54 + 6*i**2 + 0*i**2 + 8*i + 44 - 29. Is x(-22) a composite number?
False
Suppose 176*t = -155*t + 116961167. Is t prime?
False
Suppose f = -2*c + 24137 - 7072, 0 = 5*f - 3*c - 85338. Is f a prime number?
False
Let f = 51542 + -15945. Is f a prime number?
True
Suppose -4*p = 5*o - 177605, 0 = -9*p + 14*p. Is o a composite number?
False
Let p be (5 + -4)/(3/51). Suppose -3040 = -p*k + 7*k. Let i = -177 + k. Is i composite?
False
Let x be -2 + 9 - (15 + 1400). Let a = 3153 - x. Is a a prime number?
True
Let t be 4 + -1 + 7 + -5. Suppose 4 = -p, 0*j + t*j = -p + 8091. Is j composite?
False
Let j(t) be the third derivative of t**5/60 + 29*t**4/24 - 85*t**3/6 - t**2 - 2*t. Is j(-40) a composite number?
True
Suppose 0 = 15*x + 2017 + 8888. Let g = 2710 - x. Is g a prime number?
False
Suppose 1894*f = 1889*f + 135. Is f/18*(-96762)/(-9) a prime number?
True
Let i(y) = -y. Let a(f) = -f - 15. Let z(q) = -a(q) + 3*i(q). Let p be z(5). Suppose 0 = -3*o + 12, -4*b = p*o - 2366 - 1538. Is b composite?
False
Suppose 70 = -5*q - 230. Let z be (-17)/(-4) - 45/q. Suppose z*p - 2951 - 2039 = 0. Is p composite?
True
Let z(p) = 1622*p**2 + p + 57. Let a be z(10). Suppose -a - 236811 = -18*d. Is d prime?
True
Let y be (-7 + -8)*4/(-10). Suppose y*a = 7384 + 1010. Is a a prime number?
True
Let y(x) = -x**2 + 8*x - 9. Let o be y(6). Suppose -r - o*w - 4595 = -5*r, 5752 = 5*r - w. Is r composite?
False
Let q be ((-36)/3)/(24/(-16)). Suppose -2*b + 10 = 0, l - 3*b + q*b = 1274. Is l prime?
True
Let h = 394752 + -251801. Is h a composite number?
True
Let b be (3 + (-366)/18)/(2/(-36)). Let t = 1307 + b. Let s = t + -76. Is s composite?
False
Let v(y) = 6*y**2 + 5*y - 6*y**3 - 2 - 8*y**2 + 19. Let g = -271 + 265. Is v(g) a composite number?
True
Let t(u) = -u - 6. Let b be 20/3*(-4 + (-25)/(-10)). Let i be t(b). Suppose -i*a = -0*a - 1484. Is a a prime number?
False
Suppose 133210 = 94*u - 24*u. Is u composite?
True
Let y be 6*(-232)/(-288) - (-3)/18. Suppose -y*a + 3*a + 5208 = 2*j, -a = 4*j - 10431. Is j a composite number?
False
Suppose 4*i - 5*o = 0, 0 = -5*i - 4*o + 3*o + 29. Suppose 0 = s - 2*y + 56 + 27, 0 = i*y + 25. Let b = s + 158. Is b a prime number?
False
Let j = 3722 + -2211. Is j a composite number?
False
Let u(g) = 162*g**2 + 164*g + 125. Is u(-17) a composite number?
True
Let l = 606489 - 428282. Is l a composite number?
False
Let c(f) = 14*f**2 + 19*f + 101. Is c(16) prime?
True
Suppose -67393015 = 502*m - 234628793. Is m prime?
True
Let p(f) be the second derivative of -2*f**5/5 + f**4/3 - 8*f**3/3 - 29*f**2/2 - 156*f. Is p(-13) composite?
True
Let s(d) = 6*d**3 - 16*d**2 + 33*d - 3. Let u be s(12). Suppose 528*c = 525*c + u. Is c prime?
True
Let n(p) = 81*p**2 - 8*p - 3. Let z(a) = a**3 + 7*a**2 + 3. Let w be z(-7). Suppose 4 + 4 = -v + 4*b, w = b. Is n(v) a composite number?
True
Let p = -3708 + 2039. Let b = 3510 + p. Let x = 2608 - b. Is x composite?
True
Let g(o) = 43*o**2 + 5. Let w(n) = -85*n**2 - n - 9. Let q = -69 - -62. Let i(r) = q*g(r) - 4*w(r). Is i(4) composite?
False
Let z = 50134 - 21675. Is z a prime number?
False
Suppose -848*p = -875*p + 4377051. Is p a prime number?
False
Suppose -116*n - 3495385 + 6054006 = -6693191. Is n a prime number?
True
Let x = 20169 + 8342. Is x prime?
False
Let z be ((-27)/15*1)/((-2)/(-10)). Is z + 7646 - (-1 - 1) composite?
False
Suppose 375 = 3*y + 2*y. Suppose 5*a = -3*q + y + 419, a - 88 = 3*q. Suppose 0*z = z - a. Is z prime?
True
Suppose 0 = -2*n - 0*n + k + 29, 3*n - 41 = k. Let f be (-2)/(-6) - ((-7100)/n)/(-5). Let o = 261 + f. Is o prime?
False
Suppose -7*h + 4*h = 5*i - 38, 2*i = 8. Suppose 0 = -h*r - r + 82257. Is r prime?
False
Suppose 5*f + 195 = 2*t, -4*t + 2*f - 4*f = -426. Let n = -105 + t. Suppose -y + 4*a + 15 = -n, -30 = -2*y - 3*a. Is y a prime number?
False
Let v be (-5)/(4 + (-87)/18). Suppose -v*s + 7*s - 155 = 0. Suppose -3*r + s = -958. Is r prime?
False
Suppose 0 = -16*a + 6020139 - 3055276 + 3851473. Is a prime?
False
Let o(g) be the first derivative of -23*g**2 + g - 23. Let r be o(-3). Suppose -m = d - 129, d + r = m - 0*d. Is m a composite number?
True
Let a(l) = 2*l**2 - l - 1. Let k(c) = -1528*c**2 - 11*c + 38. Let n(d) = -3*a(d) - k(d). Is n(3) composite?
True
Let w be (-518)/(-98) - 2/7. Suppose 34 = w*g + 4. Suppose k = y - 270, -g*k = -5*k + 1. Is y a prime number?
True
Let q = -427 + 19. Let x = 695 + q. Is x composite?
True
Is (-37 + 30)/(63/(-5235561)) a prime number?
True
Suppose 4*d = -4*w + 563224, -5*w - 108912 = -2*d - 812921. Is w prime?
False
Let o(k) = -3*k**2 - 44*k - 39. Let l be o(-13). Suppose -l*p = -p - 431125. Is p a prime number?
False
Suppose 27*c = 22*c + 20510. Is c/21*(-15)/(-10) composite?
False
Let q(y) = 207*y + 30. Let h be q(-11). Let x = h + 3898. Is x prime?
False
Let l be (280/210)/(4/(-9)). Let q = -75 - -127. Let d = l + q. Is d composite?
True
Let q(l) = 28*l**2 - 6*l + 8. Let h be q(6). Suppose 2*z + 509 = -k, 19*z + 1531 = -3*k + 15*z. Let w = k + h. Is w prime?
True
Suppose -30557 = 4*b + 5*s + 4268, 3*s = -3*b - 26115. Let v = -5799 - b. Is v a composite number?
True
Suppose 15*n - 18*n - 2*z = -57103, -2*n + 3*z + 38060 = 0. Suppose -f - 2*o = -n, 13*o = -2*f + 10*o + 38066. Is f prime?
False
Let w(j) = -2*j - 21. Let l be w(-8). Let s = l - -10. Suppose 2*h - 1538 - 24 = 5*q, 20 = s*q. Is h prime?
False
Let f = 1377 + -442. Suppose -1169 - f = -4*j + 4*s, -3*s = -j + 536. Is j a composite number?
False
Suppose -39730 = -2*h + 6*y, 2*y - 35281 = 3*h - 94848. Is h composite?
False
Let w(h) be the first derivative of 81*h**4/4 + 4*h + 54. Is w(5) a prime number?
False
Let g(h) = -2449*h - 4. Let b(u) = -2449*u - 3. Let s(i) = -5*b(i) + 4*g(i). Let f be s(1). Suppose -o + f = 133. Is o a prime number?
False
Let h be 1 + (-4 - -4942) + (-16)/4. Suppose 3*j