14. Is k prime?
True
Let n(r) = -8*r + 15*r - 10 + 13*r. Let h be n(6). Is (h/4)/((-6)/(-12)) composite?
True
Let a(s) = -3*s**2 - 9*s - 1. Let h(o) = o**3 + 10*o**2 + 26*o + 3. Let t(v) = -8*a(v) - 3*h(v). Let w = -68 - -63. Is t(w) a composite number?
True
Suppose -5*r - 21 = -4*r + 5*g, 4*g + 11 = 5*r. Let n = 3 + r. Let y(f) = 5*f**2 + 2*f - 1. Is y(n) prime?
True
Suppose -15*v = -37*v + 123134. Is v prime?
False
Let o = 57 + 56. Suppose -m + g + 998 = 0, -m - o = -3*g - 1117. Is m prime?
False
Suppose 0 = 5*u + 10, i - 6 = u - 0*u. Suppose -3*g = -4*n, 3*n - g + i*g = 21. Suppose -n*m - 1134 = -3*j, -4*j + 0*m = -2*m - 1502. Is j composite?
False
Let b be 1 + 78 - (4 + -3). Suppose -45 = z + b. Let h = 220 + z. Is h a prime number?
True
Is ((62 + -4)*(-1409)/2)/(-1) prime?
False
Let t(n) = 16*n + 31. Let g(a) = 11*a + 21. Let m(w) = -8*g(w) + 5*t(w). Is m(-4) a composite number?
False
Let d be 3 + -3*1/3. Suppose -d*v = -1514 - 684. Is v a composite number?
True
Let o(w) = -2513*w + 72. Is o(-13) a prime number?
False
Let p(b) = 16*b + 4 + 6*b - 6 - 6. Let z = -18 + 25. Is p(z) a composite number?
True
Let w = 12939 + -4828. Is w a composite number?
False
Suppose -2*k - 14 = 5*i, 3*k + 62 = 3*i + 20. Let j be (-1084)/k + (-2)/6. Suppose n = -t + 5*n + j, t = -n + 70. Is t a prime number?
False
Let f = 63194 + -16171. Is f a composite number?
True
Suppose -7103 = -6*t + 5*t. Is t composite?
False
Let s = 1460 + -37. Is s a prime number?
True
Let w be -1 + (-2 - -1) + 2. Let v be w + 2*12/(-8). Is (-1 - -256) + 1 + v composite?
True
Let h = 20 + -10. Suppose 5*l - w + h = 0, -3*l - 18 = -0*w - 3*w. Is ((-1340)/(-50))/(l/(-5)) composite?
True
Let y be (-2 - 1)*(-6)/9. Let o be (2 - 3)/(y/(-248)). Suppose -422 = -6*f + o. Is f a prime number?
False
Suppose 0 = -4*v - 4*z, v - 5*v = -5*z - 9. Let q be (410 - -1) + 3 + v. Let j = q - 44. Is j prime?
False
Let f be (189/3)/(-3)*(-2)/2. Is 1/(-2)*(-7)/(f/186) a composite number?
False
Is (-1 + -2941)/1*(-3)/3 composite?
True
Let u be (-2 - 16/(-4))*1. Suppose -u*l + 0 = -k + 4, 3*k = 0. Is (-176 + l)/(2/(-7)) a composite number?
True
Let i(b) = 42*b**2 + 10*b - 49. Is i(6) a prime number?
True
Let k(u) = -u - 9. Let p be k(-12). Suppose p*r + r = 0. Suppose r = -i + 119 - 6. Is i a prime number?
True
Suppose 192*w = 188*w + 4036. Is w a prime number?
True
Let s(r) = r**3 - r**2 + r + 1. Let j(x) = -6*x**3 - 6*x**2 + 3*x - 9. Let z(g) = j(g) + 5*s(g). Let y be z(-12). Let k = y + -23. Is k composite?
True
Let c be 2/(3*(-4)/(-25242)). Suppose -p - 2*d + c = 0, -5*p + 5*d = -0*d - 20990. Is p a composite number?
False
Suppose -8*u + 58156 = -14748. Is u a prime number?
False
Let h = -26 - -118. Let y be h - (0/(-1))/(-1). Let z = y - 35. Is z a prime number?
False
Let j(i) = -349*i + 369. Is j(-16) a composite number?
False
Is (-7)/(70/6) - 59816/(-10) composite?
False
Let j(a) be the second derivative of a**4 + a**2/2 + 4*a. Let f be j(-1). Suppose -f = -2*t + 33. Is t composite?
False
Let b = 15 + -10. Let s be (4/(-4))/(-1) - b. Is 36 - 6*s/8 prime?
False
Let d be (-8)/(-1) - (1 - -3). Suppose 0 = -d*a - 4*q + 1164, -2*q = -a + 140 + 151. Is a a composite number?
True
Let l(u) = -5 + 61*u - 3 + 11 + 11. Is l(9) a composite number?
False
Suppose -18*q = -23*q + 23755. Is q composite?
False
Let p be (-93)/(-2 - 135/(-69)). Suppose -5*d + 684 = -2*j + 1791, -4*j - 5*d = -p. Is j a composite number?
False
Let b = 4206 - 1864. Is b prime?
False
Suppose 4*i - 3*n = 151, -4*i + 166 = 4*n - 2*n. Is ((-6)/8 + (-11890)/i)/(-2) prime?
True
Suppose -3*p = -u + 1666, 5*u + 8*p - 8291 = 10*p. Is u a prime number?
True
Let c = 1432 + 261. Is c a prime number?
True
Suppose 2617 + 2609 = 6*q. Is q composite?
True
Let f = 9 - 1. Suppose 2*s - f = 0, 0 = -u - 0*u + 4*s + 244. Let j = 471 - u. Is j a prime number?
True
Let o = -4 + 10. Suppose -o*l + 3*l = -4*y - 967, -l = 5*y - 316. Is l prime?
False
Let h = 14244 + -8507. Is h prime?
True
Is (-380112)/(-64) + -2*1/8 composite?
False
Suppose 3*y - 119934 = -3*r, -2*y - 242*r + 79965 = -243*r. Is y composite?
True
Is ((-65)/(-195))/((-1)/(-30909)) prime?
True
Let g = -5366 - -14072. Suppose 4*s - g = -1054. Is s a prime number?
True
Is (-50589)/(-21) + (1 - (2 - -1)) a prime number?
False
Suppose -5*n + 3*m = -4*n - 1, 4*m - 43 = -5*n. Suppose -n*a + 13307 = -0*a. Is a prime?
True
Suppose -u = -3*u + a + 606, u + a - 303 = 0. Is u composite?
True
Suppose -t + 391 = 4*i - 344, -2*i - 10 = 0. Is t a composite number?
True
Suppose w = 8*w - 7. Let n be ((-22)/3 - w)*-3. Suppose -4*x - r = -45, -3*r + n = -x + 2*x. Is x prime?
False
Suppose -5*k = k - 18978. Is k prime?
True
Suppose 0 = -5*p - 3*m + 29, 4*m - 16 = p - 2*p. Let s = p + -2. Suppose 0*g - 3*c - 1170 = -3*g, s*c = g - 385. Is g a composite number?
True
Let a(p) = 5*p - 11. Let w be a(5). Suppose 64 = 3*l - 5*c, -3*c - w = 1. Suppose -2*j + 9 = -l. Is j prime?
True
Let u be (1/(-3))/(11/(-132)). Suppose 0 = t + u*m - 1395, -2*t - 2*m - 1422 + 4218 = 0. Is t a composite number?
False
Let g(z) = -z - 9. Let a be g(-7). Let w be (-599)/(-3) - a/(-3). Let c = w - 68. Is c a composite number?
False
Suppose 0 = -2*a + 5*g + 150322, 75139 = -14*a + 15*a + 3*g. Is a composite?
True
Suppose -2*t + 102 = 2*n, -4*n - t = 16 - 217. Suppose 783 - n = x. Is x prime?
True
Is (-39)/6*914*5/(-5) a prime number?
False
Suppose 2*k - 2 = 3*w - 7, 0 = -2*k - 3*w + 13. Is 613/(-2 + 1 + k) composite?
False
Let w = 10 - 11. Let h be 526 + (-1 - (1 + w)). Suppose 0 = 5*m - h + 80. Is m a composite number?
False
Suppose -11*m + 9297 + 118930 = 0. Is m a composite number?
False
Suppose r = 4*k + 2*r - 62790, 0 = -3*k + 5*r + 47081. Is k composite?
True
Suppose 4*x = -x + 50. Let n = 25 + x. Is n prime?
False
Suppose -2*b + 24560 = 7134. Suppose b = -5*t - 9257. Is t/(-8) + 12/(-48) a prime number?
True
Suppose 0 = 2*x - 4. Suppose -s - v + 150 = -6*v, x*s + 4*v = 356. Let r = 389 - s. Is r a composite number?
True
Let s(v) = -3*v**2 - 2*v + 1. Let j be s(2). Let i be (-355)/j*3 + 2. Suppose -z = -3*c - 16, 4*z - 2*c - i = c. Is z a prime number?
True
Let l = -59 + 63. Suppose 83 = l*m - 129. Is m a composite number?
False
Let b(p) = -296*p**2 - 4*p + 8. Let y be b(-4). Let h = -3241 - y. Is h a prime number?
True
Let g(h) = 4*h**2 + 10*h - 13. Let j be (-3 - -11) + 0 + 1. Is g(j) composite?
False
Let y be (228/10)/(9/300). Let b = y - 453. Is b a prime number?
True
Let k = 72183 + -35422. Is k prime?
True
Let p be 368/(-26) - 8/(-52). Let d = -8 - p. Is d a prime number?
False
Let q(x) = -133*x**2 + x. Let l be q(-1). Let k = 563 - 446. Let y = k - l. Is y prime?
True
Let z = 36 + 190. Suppose 0 = 26*v - 7*v. Suppose v = -2*l + l + z. Is l composite?
True
Let i(l) = 136*l**2 + 7*l - 15. Let t be i(5). Is (-3)/(-3 + t/1142) a prime number?
True
Suppose -4*x - 65 = 3*o, -2*x - 4*o - 4 = 16. Let i(t) = -t**2 - 21*t + 59. Let j be i(-21). Let b = x + j. Is b prime?
False
Suppose 0 = 3*p + 43 - 274. Let i(a) = 201*a - 8. Let h be i(7). Is (-14)/p - h/(-11) a composite number?
False
Let o be ((-4)/((-4)/13))/(-1). Let r = 20 + o. Suppose -4*d - r - 608 = -3*q, 0 = 4*d. Is q a composite number?
True
Let b = 16 + -18. Let p(v) = v + 6. Let n be p(b). Suppose 2*r = 4*f + 150, 67 - 331 = -n*r - f. Is r a composite number?
False
Let j = -2252 + 5971. Is j composite?
False
Let w = 105 - 445. Let d = 181 - w. Is d a composite number?
False
Let m(w) = -w - 7. Suppose 5 = 4*n - 5*n. Let h be m(n). Is h + ((-312)/(-4))/2 a composite number?
False
Let z be ((-4)/6)/((-32)/47568). Let f = -660 + z. Is f a composite number?
False
Let j(b) = -3736*b - 19. Is j(-5) composite?
False
Let n be (35 + -1)*9/18. Let t = 21 - n. Suppose -t*w + w = -207. Is w composite?
True
Let w(f) = -f**3 + 4*f**2 - 4*f + 5. Let a be w(3). Suppose -a*h - 6 = 0, -r + 7290 = 2*r + 4*h. Is r prime?
False
Suppose 1130*x + 1543 = 1131*x. Is x prime?
True
Let o(g) = g**3 - g**2 + 489. Suppose 0 = 8*p - 12*p. Let n be o(p). Suppose -4*t + n = -3*t. Is t a prime number?
False
Let i(j) = 3 + 168*j - 60*j + 40*j. Let w be i(5). Suppose -1852 = -5*z + 3*n, 3*z = z - n + w. Is z a composite number?
True
Let t = -155 + 110. Let l(w) = 565*w**3 - 3*w**2 - 4*w - 2. Let u be l(-1). Let 