a**3/3 - 206*a**2. Is k(13) a composite number?
True
Let q(l) = -131*l + 11. Let d be (20/(-30))/((-4)/(-30)). Let g be q(d). Suppose g = -0*u + 6*u. Is u prime?
False
Suppose -h + 564928 = -3*n, -410223 + 1540085 = 2*h - 4*n. Is h composite?
False
Suppose 6*n - 360 = 18*n. Let y = n + 36. Suppose -y*u = -2*u + 5*x - 16537, -2*u + 8264 = -2*x. Is u a prime number?
True
Let h(a) = -a**3 - 4*a**2 - 5*a - 8. Let v be h(-8). Suppose 38*t - v = 42*t. Is ((-2222)/18 + 16/t)*-3 prime?
False
Suppose -1744*n = -5*a - 1740*n + 3113561, 3*a - n = 1868131. Is a composite?
False
Let g = 389 + 169. Let v = 193 + g. Is v prime?
True
Let a = -297894 - -836773. Is a prime?
False
Suppose -33*t = 4085 + 3835. Is (-242128)/t + (2 - (-56)/(-30)) a composite number?
False
Suppose -2*p = -3*g + 17, -4*p - 5 = -1. Suppose c - 1830 = -g*c. Is c a composite number?
True
Is (1235/(-57) + 23)*134058/4 a composite number?
True
Let b(l) = 11*l**3 - 2*l**2 + 12*l - 26. Let q(t) = 11*t**3 - t**2 + 12*t - 25. Let c = -3 + -3. Let f(u) = c*b(u) + 7*q(u). Is f(8) a composite number?
False
Let z be 2 + 1/(3/(-4248)). Let l be 2 + z/(-8) + 1/4. Is 28/98 + l*3/7 a composite number?
True
Is 261828 - (-12 - -14 - 15) a composite number?
True
Suppose -8*t + 985563 = t. Is t a prime number?
True
Let i(y) = -2*y**2 - 3*y + 2. Let d be i(-4). Is (-3624)/d + -3 - 2/(-3) prime?
True
Is ((-42)/(-9))/(12 + (-114)/9) - -225588 a prime number?
True
Let v = -190931 + 276708. Is v a composite number?
True
Suppose -3499 = 18*g + 5069. Let y be g*1 + (11 - 7). Is ((-2)/4)/(2/y) a prime number?
False
Suppose -9*j - 45 = -117. Is (683 - (4 - j)) + 2 prime?
False
Let q = 24 - 21. Suppose -4*w - q*g = -7, g = w - 0*g - 7. Suppose -w*s + 11616 = 1364. Is s composite?
True
Suppose -5*n + 7502 = -20743. Suppose 0*w = -3*w + n. Is w a composite number?
True
Let t = 57 + -38. Suppose -31025 - 41688 = -t*y. Is y prime?
False
Is ((-83350888)/2684)/(4/(-66)) composite?
True
Suppose 16*k + 8*k - 1665926 = 18687922. Is k a composite number?
True
Suppose -12*r + 790612 = -172520. Is r a prime number?
False
Suppose 0 = -z + 30*v - 33*v - 26403, -3*z + 5*v = 79251. Let l = -14089 - z. Is l prime?
True
Let g(f) = f**3 + 112*f**2 - 21*f + 338. Is g(-35) composite?
True
Let v(b) = -5989*b - 3304. Is v(-35) prime?
False
Let y(b) = 195*b - 13. Let j(x) = x + 2. Let n(z) = 4*j(z) + y(z). Let u = 16 + -10. Is n(u) a prime number?
False
Let p(w) = 4793*w**2 + 5337*w - 9. Is p(-5) a composite number?
False
Let q(y) = 27*y**2 + 45*y - 40. Let u be q(17). Suppose 0 = 2*b - 2*w - u - 1280, -5*b + 24526 = -3*w. Is b a prime number?
False
Let k(t) = -t**2 + 5*t - 2. Let p be k(5). Let f(a) be the second derivative of -7*a**3/2 + 2*a**2 + 22*a. Is f(p) a prime number?
False
Is (48/22)/((-180)/(-990)) - -472535 prime?
False
Let g(h) = 3*h + 14. Let y be g(-9). Is y + 13 - (-6636 + -1) prime?
True
Let n(z) = -1729*z + 2055. Is n(-46) composite?
True
Let l be (-7)/7*52662*1. Let r = -35181 - l. Is r a composite number?
True
Let a be (-7 - -14)/((-542)/(-270) - 2). Suppose p - a = 5*w, -4*p + 3818 = -2*w + w. Is p a prime number?
False
Let q be (140/(-6))/10 + (-2)/(-6). Is (-6 - (-38792)/(-16))*q a prime number?
True
Let o = -19 + 79. Let n = 66 - o. Is (-3 - (-39336)/45) + n/(-45) composite?
True
Suppose p - 524*o - 50092 = -527*o, 4*p + 5*o - 200333 = 0. Is p a prime number?
True
Let n(h) = -h**3 + 24*h**2 - 46*h + 7. Let r be n(22). Let l(y) = -47*y + 72. Is l(r) a prime number?
True
Suppose 0 = 3*a + 5*l - 87675, -4*a + 58443 = -2*a + l. Suppose 0 = 5*p + 7*p - a. Is p a composite number?
True
Let l = 18 + -29. Let x be (-265)/(-5) + (0 - -1). Let w = x + l. Is w composite?
False
Let h = -1682 - -1688. Let u(f) = -f**2 + 3*f + 2. Let q be u(3). Suppose -h*y - q*t = -2*y - 3510, 5*t = 5. Is y composite?
False
Let b(g) = 2*g**2 - g - 10. Let y = -34 - -37. Let a be b(y). Suppose -a*h = 2*z - 0*z - 1319, 0 = -2*z + 3*h + 1279. Is z prime?
True
Suppose -f - 8 = -0*f + 2*s, -2*f + 4*s = 0. Is (-16014)/(-5) - f/20 composite?
False
Is (-24 - 14)*-3413 - -13 a prime number?
True
Suppose 14*o - 4 = 12*o. Suppose -o*n + 3*c - 10079 = 0, -10458 = 2*n - 4*c - 382. Is (2/8)/((-13)/n) a prime number?
True
Suppose 3*f + 4*k - 17 = 47, 20 = 5*k. Suppose -5*w + 4 = -f. Suppose -w*d + 0*d + 124 = 0. Is d a composite number?
False
Let y be -46*((-5)/10 + 0). Suppose 22*k = y*k - 1481. Is k prime?
True
Let l be (42/(-9))/((-1)/(-9)). Let m be l/(-4) + (-27)/(-54). Suppose -m*k + 11479 = -5142. Is k a prime number?
True
Let b(o) = -2*o**2 + 83*o + 39. Let q be b(42). Is q/((-21)/6244) + 6 a composite number?
True
Let g = 52 - 10. Suppose k = 7*k - g. Suppose -s - 8094 = -k*s. Is s a composite number?
True
Let v = 251887 - 54720. Is v a prime number?
False
Let t(v) = 3*v - 2*v**2 + 4*v**2 + 0*v**2 - 3 - v**3 - 4*v. Let h be t(2). Let g(f) = -8*f + 15. Is g(h) a prime number?
False
Let q = 10091 - 5405. Let w be (-1 - 0)/(q/(-1170) - -4). Suppose 2*j - w = -k, 0*j + 4 = j. Is k a prime number?
False
Let q(t) = 385*t - 206. Let c be q(36). Let x = c - 3165. Is x composite?
True
Let y(c) = -c**2 - 3*c + 1. Let l be y(-3). Let x be (-8 + 10)/(-1 - l). Is (-489)/x + (-8)/4 prime?
True
Suppose -3*c - 2*a + 20 = 6, -c - 4*a - 12 = 0. Suppose -2*s = -6, -c*t = -4*t - 4*s - 6544. Is t a prime number?
False
Suppose -h - 733 = 3*t + 2*t, -4*t + 2104 = -3*h. Let p = h - -411. Let m = p + 590. Is m composite?
False
Is 4 - (1 + (-15415545)/33 - (-126)/(-462)) prime?
True
Let j = -97 + 654. Suppose -5*c - 1184 = -0*q + 3*q, 2*c + 5*q = -466. Let i = c + j. Is i a prime number?
False
Let h = 124385 + -35796. Is h composite?
False
Let i(v) = 46*v**2 - 8*v - 11. Let h be 700/(-125) - (-4)/(-10). Is i(h) prime?
True
Suppose 3*r + 3*v - 149014 = 84509, r - 2*v - 77853 = 0. Is r a composite number?
True
Let a = -166 - -112. Suppose 3*h - 9 = 4*r, -4*r - 3*h + 1 = 40. Is (-4495)/r + 9/a prime?
False
Suppose -y - 20 = -5*y, -q - 5*y + 53372 = 0. Is q a composite number?
True
Let u(z) = 2*z**2 + 5*z - 7. Let p be u(-4). Suppose 0 = -p*o - 996 + 2711. Suppose -3*m = 2*s + 2*s - o, 0 = -4*m + 2*s + 494. Is m a prime number?
False
Let x(c) = -c**3 + 114*c**2 + 232*c + 316. Is x(109) a prime number?
True
Suppose 0 = -2*k - 3*k + 3*v + 1726523, -2*k = -5*v - 690594. Is k prime?
True
Let g(k) = 3*k - 40. Let m = 37 + -23. Let f be g(m). Is 552 - f/(4/(-10)) a prime number?
True
Suppose 25488 = 2*f + 5*y, 7354 = f - y - 5376. Is 3/6*f - (-16 - -12) a prime number?
False
Is 96847/11*2*(76 + -65) composite?
True
Is 1258363/15 - ((-40)/175 - (-2)/21) a prime number?
True
Let q(z) = 239*z**3 - 2*z**2 + 4*z - 19. Let n be q(5). Suppose 12*j - 19362 = n. Is j a prime number?
True
Let p be 388144/17 - -1*7. Is p/3 - (-8 - -12) composite?
True
Let v(r) = 1820*r - 257. Is v(24) a prime number?
False
Let i(p) be the second derivative of 29*p**4/12 - p**3/2 + 11*p**2/2 + 75*p. Is i(3) a prime number?
True
Suppose 11 = -2*x - 5*r - 10, 4*x - 28 = 4*r. Suppose -x*f = -3*s - 1402, -4*s - 167 = f - 846. Let t = 96 + f. Is t composite?
True
Suppose 14*a - 28 + 42 = 0. Is (-7 - 808/4)*a composite?
True
Let r(p) = -30*p**2 - 2*p - 2. Let u = 53 - 54. Let b be r(u). Let t = b + 67. Is t a prime number?
True
Suppose -140*c = -111*c - 27442033. Is c composite?
True
Suppose -10*l = 10*l + 1020. Let w(p) = -p**3 - 49*p**2 - 84*p + 47. Is w(l) a prime number?
True
Let q be (-8 + 9)/((-4)/84284). Let s = -12508 - q. Is s composite?
False
Let j = -74477 + 264948. Is j prime?
True
Suppose 2*b - 222541 = 5*q, 17*b = 20*b + 5*q - 333774. Is b prime?
True
Let w be ((-4)/(24/51))/(5/(-30)). Suppose -5*b + 2*v = -931, -5*v - w = -4*b + 704. Is b prime?
False
Let o = -268 + 272. Suppose 22686 = -o*h + 10*h. Is h composite?
True
Let h(t) = -36031*t**3 - t**2 - 48*t - 47. Is h(-1) a composite number?
True
Suppose -3*h + 5*l + 274621 = -h, -2*l = -2*h + 274612. Is h prime?
True
Suppose -2*t - 99695 = -3*m, -247 = 5*t - 212. Is m composite?
True
Suppose -5*n - 65 = -4*q - 21, 4*q = -3*n - 20. Let k(o) = 2*o - 25*o - 24*o - 13 - 2*o. Is k(n) a prime number?
True
Suppose -x - z + 103 = 0, -2*z + 3 = -5. Let p = x + -94. Suppose 0 = -5*j + p*s + 595, 0 = 4*j - j - 4*s - 358. Is j composite?
True
Suppose 579998 = 