 Is c a prime number?
False
Let j be (25 - 1)*(-4)/6. Is 3014/14 - j/(-56) prime?
False
Suppose -960*x + 955*x + 3470 = 0. Is x a prime number?
False
Let v = -11454 + 40631. Is v a prime number?
False
Is -1 + -8*(-124 - 0/4) a composite number?
False
Suppose 5*a + 2*d = 4*d - 59, -4*a - 54 = -5*d. Let w = 14 + a. Suppose w*g = 6, 2*q + 64 = 3*q + g. Is q prime?
False
Let k(s) = 4*s**2 + 1. Let x be k(1). Let t(i) = 18*i**2 - 7. Is t(x) a prime number?
True
Let y(g) = 21*g**2 - g - 2. Let x be y(-1). Let f be (-5100)/(-16) + (-15)/x. Suppose -4*v = -u - 376, 152 + f = 5*v + u. Is v composite?
True
Suppose -l + 15 = -4*n, 4*l + 0*n = -3*n + 3. Let k be 66*l/27*3. Suppose -5*f - k - 3 = 0, 3*q + 2*f - 20 = 0. Is q composite?
True
Let n = 7376 - 429. Is n prime?
True
Let l(s) = s**2 - 2*s - 3. Let g = 14 + -16. Let z be l(g). Suppose -209 = 4*y - 4*j - 561, 2*j - 433 = -z*y. Is y a prime number?
False
Let b = 1613 + 1878. Is b prime?
True
Let u = -47 - -49. Is (-2)/(12/(-903))*u a composite number?
True
Let u(k) = 2233*k + 472. Is u(19) a prime number?
True
Suppose -2*l = -4*l + 10. Suppose l*m - 65 = -10. Is (-2)/m + (-4791)/(-33) a composite number?
True
Let t(w) = 5*w**3 - w**2 - 2*w - 5. Suppose 2 - 22 = -5*m. Let h be t(m). Suppose -v - q = -97, -3*v = -6*v + 2*q + h. Is v a prime number?
True
Let r = -20844 + 31409. Is r a prime number?
False
Let y = -8 - -13. Let b be (-3)/y - 69/(-15). Suppose 5*c + 5*g - 155 = 0, 80 = b*c - g - 54. Is c a prime number?
False
Let d be 1/(1/5 + 896/(-4505)). Suppose 9*b - 512 - d = 0. Is b a prime number?
True
Suppose -7*i = -11*i - 3*v + 12560, 0 = -i + 2*v + 3129. Is i composite?
False
Let v = -22 - -9. Let z(n) = -5*n + 22. Is z(v) composite?
True
Is 11 - 35/(2 + 5) - -24065 a composite number?
False
Suppose 2*p + 2140 = 7*p. Suppose 2179 = 5*i + 2*c, i + c = -2*c + p. Is i a composite number?
True
Let u(d) = 6*d**3 - 7*d**2 + 14. Let i be u(-6). Suppose -3*o - 219 - 2010 = 0. Let n = o - i. Is n prime?
False
Suppose 223943 + 976815 = 13*o. Suppose -28331 = 15*s - o. Is s composite?
True
Suppose 5*m - 28452 = -n, -n - 23*m = -25*m - 28445. Is n a prime number?
True
Let u = 46 + -75. Let d be (-1)/(u/(-7) + -4). Let g(m) = -2*m**3 - 7*m**2 + 6*m - 8. Is g(d) a prime number?
True
Let u(f) = 28*f**3 - 4*f**2 - 16*f + 59. Is u(11) a composite number?
True
Let y = -750 - 334. Is (0 - 1)/((-3248)/y + -3) a composite number?
False
Let z be 2/16*262 + 9/(-12). Suppose -3*h + z = -439. Is h a composite number?
False
Is (-31)/6*3*-142 composite?
True
Let b(a) = 3*a**3 - 9*a**2 + 2*a - 69. Is b(8) prime?
True
Suppose 24*f = -3*f + 53082. Is f prime?
False
Let j be (-6)/(-8) - 15/(-12). Let p be 2/((12/(-279))/j). Let s = p + 206. Is s a prime number?
True
Let g(i) = i**3 + 8*i**2 + 2*i - 14. Let p be g(6). Suppose 5*v + 157 = p. Is v a composite number?
True
Suppose -3*u - u - 5*q = 69, 2*u + 3*q + 33 = 0. Let o be ((-8)/3)/(7/u). Is ((-522)/12)/((-6)/o) a composite number?
True
Is (-1455492)/30*5/(-2) a prime number?
True
Suppose 2*a - 66 = -32. Suppose a*r - 19341 = 8*r. Is r a prime number?
False
Let o(i) = -i + 4. Suppose -h + 3*c = c + 6, -8 = -2*c. Let g be o(h). Is ((-73)/(-2))/(g/8) a composite number?
True
Suppose 20 = -4*o, 9715 = 4*q + 23*o - 18*o. Is q a composite number?
True
Let a = 102 + -98. Suppose 4*c - 3*m - 2336 = 0, 2*c - 2*m - 1182 = -a*m. Is c a prime number?
True
Let n(p) = 4*p - 17. Let a be n(5). Suppose 0 = a*c - 76 - 14. Is c/12*954/15 prime?
False
Let s = 3159 + 2794. Is s a prime number?
True
Let y = -32 + 18. Let x = 17 + y. Suppose x*o = -2*i + o + 192, -4*o = 4. Is i a prime number?
True
Let b = 114 + -119. Is -2*(b - 297/2) a composite number?
False
Let u(r) = -10473*r + 580. Is u(-5) prime?
False
Let j(l) = -l - 1. Let q be j(1). Is 22035/21 - q/(-7) prime?
True
Let w(g) = -g**3 - 28*g**2 - 19*g - 7. Let f be w(-25). Let u = f + 2108. Is u a composite number?
False
Let t(j) = -j**3 + 2*j**2 - 2*j + 3. Let c(s) = s. Let l(f) = 4*c(f) + t(f). Let v be l(3). Suppose v = o - 48 - 137. Is o a prime number?
False
Suppose 5*o - 5*x - 2 - 8 = 0, -3*x = -4*o + 8. Is (-591)/(-3)*(1 + 2 + o) prime?
False
Let l(p) = -16855*p + 831. Is l(-8) a prime number?
True
Let v(q) = 1178*q + 117. Is v(14) a prime number?
False
Let v(j) = 256*j - 99. Is v(2) prime?
False
Let z = -5050 + 7274. Suppose 5*p - z = 1491. Is p a composite number?
False
Let f be 1 + (-2)/(-4)*2. Suppose t = 4*a + 108, 0 = -f*t + t + 5*a + 104. Suppose 3*u - t = -u. Is u a prime number?
True
Let x(v) = 4*v**3 + 6*v**2 - 4*v - 5. Let q(y) = 5*y**3 + 5*y**2 - 4*y - 6. Let m(i) = 5*q(i) - 6*x(i). Let h be m(7). Let z = h - -431. Is z composite?
False
Suppose 7*u - 8468 = 3*u. Suppose m - u = -336. Is m a composite number?
True
Let j(b) = 2*b**2 - 15*b + 4. Let l be j(8). Suppose -5*v = -v - l. Is ((-101)/4)/(v/(-24)) prime?
False
Let x = -722 - -1370. Let m = -285 - 104. Let w = x + m. Is w a composite number?
True
Suppose 5*i = 2 + 23. Let a(n) = 7*n**3 + 8*n**2 - 3*n - 5. Let v be a(i). Suppose -5*c - 2*s + v = 0, -s - 108 = 3*c - 741. Is c prime?
True
Let k = 1269 - 3688. Let v = k - -3458. Is v prime?
True
Let n = 44128 - 25827. Is n a prime number?
True
Let a = -22 + 17. Let h = a + 100. Is h a prime number?
False
Suppose 0*n - 2*n + 16 = 0. Suppose 0 = -n*l + 2230 - 462. Is l composite?
True
Let r(b) = 112*b - 4 + 1 - 2. Let z be r(5). Let k = z + -322. Is k prime?
True
Let i(u) be the first derivative of -57*u**2/2 - 7*u - 6. Let d be i(-4). Let n = -136 + d. Is n prime?
False
Let n(j) = 5*j**2 + 13*j + 9. Let p(b) = b**2 - b - 9. Let c be p(0). Let h be n(c). Let i = h + -170. Is i composite?
False
Let g = -85417 - -178722. Is g a prime number?
False
Let b(g) = -3*g**3 - g**2 + 3*g + 2. Let d be b(-4). Is d*(0 - (4 + 36/(-8))) a prime number?
True
Let v = 676 - -337. Let n = 2706 - v. Is n a prime number?
True
Suppose 4*t = -875 - 193. Let f = -146 - t. Is f a prime number?
False
Suppose -28958 = -23*o + 122405. Is o a composite number?
False
Let h be ((-56)/(-3))/(1/(-3)). Let r be 16/h + (-23)/(-7). Suppose -3*a = r*u - 73 - 176, -3*u - 4*a = -245. Is u prime?
False
Let n(d) = d**2 - 6*d + 7. Let b(k) = -k**2 - 5*k. Let v be b(-4). Suppose -j - 10 = v*a, a - 5 = -2*j - 2*a. Is n(j) prime?
True
Suppose -205 + 15 = 5*k. Let v = k - -62. Let h = 91 - v. Is h composite?
False
Let v(p) = 34*p**2 - p + 19. Suppose 6 = -j + 2*j. Is v(j) a composite number?
False
Let o(s) = s**2 + s - 4. Let t be o(2). Suppose -4*y + 308 = 2*l, -3*y - t*l + 231 = -4*l. Is y a prime number?
False
Suppose -11*b - 6637 = 9324. Is 6 + -5 - (-2 + b) a composite number?
True
Let h = -12 - -6. Let f be h/15 - 1412/(-5). Suppose -4*k = -r + 3*r - 130, 3*k = 4*r - f. Is r a prime number?
False
Let w(h) = h**2 - h - 13. Let c be 7/(28/(-40)) - 2. Is w(c) a prime number?
False
Suppose 0 = -19*o + 26403 + 110834. Is o composite?
True
Let j = -569 + 335. Is ((-424)/12)/(12/j) composite?
True
Let v = 11 - 10. Let m(i) = -2*i. Let t be m(v). Is t/(-14) - 44320/(-28) a composite number?
False
Let y(l) = -47*l - 167. Is y(-18) a composite number?
True
Suppose -s - 3*l = 4*s - 6239, -5*l + 3753 = 3*s. Suppose 0 = 5*q - s - 299. Suppose -4*t + q = 73. Is t prime?
True
Suppose -1460 = -4*s - 384. Let m be (-3)/(0 - 3)*-142. Let y = s + m. Is y a prime number?
True
Let w be (-30)/(-7) - (-5)/(35/(-2)). Suppose 2*h - 486 = -4*t, -5*t - w = -4*t. Is h composite?
False
Suppose 6*l - 2*o = 5*l + 4101, 2*l + 5*o = 8238. Is l composite?
True
Suppose z + 4 = -4*v - 3, 3*z - 5*v - 47 = 0. Suppose 17850 = z*u - 16431. Is u a prime number?
False
Let p = 9 - -6. Suppose -2*s - s + p = 0, 580 = 5*g - 2*s. Suppose -2*h + 226 = -4*o, -5*o - g = -h + 1. Is h a prime number?
True
Suppose -4*y - 6*y + 7870 = 0. Is y composite?
False
Suppose 783 - 6704 = -3*m - q, 4*m + 2*q - 7896 = 0. Is m a composite number?
False
Let o = -671 - -1222. Is o prime?
False
Suppose 3*x - a = 48369 + 14285, -4*a = -3*x + 62651. Is x a prime number?
False
Suppose w - 1 + 6 = 0, -5*w = y - 16. Let i = y - 71. Is 554/10 - (-12)/i a composite number?
True
Suppose -13*z + 17*z = 564. Let s = 1652 - z. Is s a prime number?
True
Suppose 0 = 10*s - 163512 + 4042. Is s prime?
False
Is (3/(-2))/((-3)/(-4874))