e 2*c + 8*m - 72 = 3*m, 0 = -c - h*m + 35. Is c a prime number?
True
Is (-8)/(-16)*(-6 + 30304) a prime number?
True
Suppose -4 = -2*w + 4. Suppose w*n = 5*c - 805, 4*n = -c - 0*n + 137. Is c a composite number?
False
Let d(a) = 8172*a**2 - 22*a - 45. Is d(-2) prime?
True
Suppose 5*b + 34564 = 3*t - 20787, 4*t - 4*b = 73812. Is t a composite number?
False
Let y(r) = -r - 1. Let q(b) = -2. Let p(g) = -2*q(g) - 2*y(g). Let c be p(-5). Let n(k) = k**2 + k - 5. Is n(c) prime?
True
Suppose -32*u = -34*u. Suppose 792 = 5*l - 0*i - 2*i, u = -3*l + i + 475. Is l composite?
True
Let z(h) = -h**2 + 2. Let d be z(-2). Let c = d - -6. Is (154/4)/(2/c) prime?
False
Let l(f) = 6*f - 4 + 5*f - f**3 + 15*f**2 + 0*f. Is l(14) composite?
True
Suppose -4*g = -3*c - 55, 25 = 2*g + c - 2*c. Suppose g*t = 4*t + 12660. Suppose -t - 2358 = -4*m. Is m a composite number?
False
Let d(t) = 48*t**2 - 23*t - 36. Is d(11) a composite number?
False
Let l = -1034 - -2235. Suppose -83 = 2*x - l. Is x composite?
True
Let g(f) = -4*f**3 - 10*f**2 + f - 5. Is g(-6) a composite number?
True
Let b be (2/6)/(-2 - (-31)/15). Let q(z) = z**3 + 8*z**2 + z + 3. Let t be q(-7). Suppose 2*k - b*h = t, -6*k + 2*k + 2*h = -98. Is k composite?
True
Let z(m) = -273*m - 30. Let h be z(-8). Suppose b - 5 = 0, -5*b = -4*j - 3*b + h. Is j composite?
False
Is 5250/4 + 25/10 a prime number?
False
Let u = 11340 - 6431. Is u prime?
True
Suppose 42 = p + 5*p. Let a(b) = 2*b**3 - 3*b**2 + 4*b - 2. Let f be a(2). Is (-1 - -42) + (p - f) composite?
True
Let f(b) = 25*b**2 + 2*b + 1. Let d be f(-4). Let p = -250 + d. Is p prime?
False
Let l(n) = 121*n**2 - n. Let k be l(1). Suppose 0*g - 2*g = -k. Suppose 118 = 2*b - g. Is b composite?
False
Let q(l) = 909*l + 16. Let d be q(2). Let b = -1081 + d. Is b a composite number?
True
Suppose -5*z + 5300 = 5*c - 4*z, -3*c + 3188 = -z. Suppose -24*q + 23*q + c = 0. Is q a composite number?
False
Suppose -3*m + 111914 = 8*m. Is m a composite number?
True
Suppose -2*s - 45 = -5*j, 3*j + 4*s = 1 + 26. Let g = 90 + j. Suppose 3*q - 77 = 2*f - 4*f, 5*q = 4*f - g. Is f composite?
False
Let y = 64600 + -6705. Is y composite?
True
Suppose -61790 - 37199 = -11*p. Is p prime?
True
Let i(t) = -88*t**3 + 2*t**2 - t. Let q be i(1). Let g = q + 174. Is g a prime number?
False
Let v = 1309 - 900. Is v prime?
True
Is (-1)/7 + 647660/91 a composite number?
True
Suppose 22269 = 4*k + 35*k. Is k composite?
False
Let d(h) = -5*h - 14. Let v be d(-3). Is (v/(-2))/(-1)*(6218 - 0) composite?
False
Let y(m) = m**3 - 11*m**2 + 10*m - 14. Let g be y(12). Suppose -l = 2*x - 528, x + g = 2*x - 3*l. Is x prime?
False
Let w(f) = f**2 - 8*f + 15. Let n be w(6). Let p be (n + -19)/(2/(-46)). Suppose 2*a - 102 - p = 0. Is a a composite number?
True
Suppose 6*k = -0*k + 3810. Suppose 11*v - 6*v = k. Is v a composite number?
False
Let r(a) = 6*a**2 - 5*a + 10. Let f be r(10). Suppose 5*q - 4515 = -f. Is q a composite number?
True
Suppose -2*b + 2388 = -4*g, 2*b + 4*g + 496 = 2868. Is 1 + (b - (-16)/4) prime?
False
Suppose -47*j + 42*j = -50. Suppose -4*l + j*l = 714. Is l a prime number?
False
Let x = 3310 + 13264. Is x a composite number?
True
Let u(v) = -3*v**2 + 74*v + 12. Is u(23) composite?
False
Suppose 197*o = 178*o + 6403. Is o a prime number?
True
Let y be (1 - 2)/(1 - (-48)/(-47)). Suppose y*g - 2382 = 45*g. Is g composite?
True
Suppose 3*u - 287075 = -3*w + u, -5*u = -5*w + 478500. Is w prime?
False
Let c = -4 - -4. Suppose 3*t + 3 = -c. Is (119/(-21))/(t/9) a prime number?
False
Let b(m) be the first derivative of m**3/3 + m**2/2 + 75*m + 2. Let o be b(0). Suppose 5*g - 2*g = o. Is g prime?
False
Suppose 25 + 52 = -7*a. Let p = 28 + -2. Let b = p + a. Is b a prime number?
False
Let s = 3 - 8. Let t = s - -6. Let p(u) = 363*u + 2. Is p(t) prime?
False
Suppose 7*w - 11*w + 11947 = -3*z, -z = 5. Is w a composite number?
True
Suppose 0 = m - 4. Suppose 0*r - 472 = -m*r. Let u = -3 + r. Is u composite?
True
Let z = -192 + 519. Is (-2)/(-3) + z/9 prime?
True
Let s = -12695 + 20721. Is s a prime number?
False
Let t be (-7 - (-2 + -1))*(0 - -1). Is t - (-1 + 1) - (-261 - 0) a prime number?
True
Suppose -n - 18 = i - 6*n, -i = 4*n - 18. Suppose 3*g + i*g - 2*f = 8, g + 12 = -3*f. Suppose -3*v + g = -141. Is v a prime number?
True
Is (3 + 52/(-8) + 3)*-23806 a prime number?
True
Suppose -2*o = n - 4*n + 5944, -4*o - 11868 = 4*n. Let i = -2010 - o. Is i prime?
False
Let v = 12 + 6. Suppose 1009 = v*n - 19*n. Let u = n - -1858. Is u prime?
False
Let o(t) = t + 4. Let v be o(-5). Let j be 0 + (-2)/v + 227. Suppose -j + 35 = -2*b. Is b prime?
True
Let l be 1 + 4/(-5) - 3007068/(-60). Is l/18 - (-2)/3 a prime number?
False
Let z = 45152 + -30667. Is z composite?
True
Let g(z) = 7 - 3*z**2 + 3 + 9*z + 4*z**2. Let q be g(-8). Let o(h) = 5*h**3 - 2*h**2 - h + 1. Is o(q) a prime number?
True
Suppose -5*o = -2*b - 1592, 4*b - 950 = -3*o - 0*o. Let c = 596 - o. Is c prime?
False
Suppose -2*m = 7 - 11. Suppose 5*v + r + 699 = 6254, -m*v + 2222 = -4*r. Is v composite?
True
Let s(a) = 1895*a**2 + 5*a + 1. Is s(1) a composite number?
False
Suppose -16*s + 20*s + 3*c = 4348, -3261 = -3*s + 5*c. Is s a composite number?
False
Is 108/72*(-8194)/(-3) composite?
True
Is (-3 - -5) + 9905 + 36/(-6) a composite number?
False
Let o be -1 + 1 - (-1 + -1). Let g be (-384)/(-18) - o/6. Let a = g - -58. Is a a prime number?
True
Let m be (0 - -370)/((-14)/(-7)). Let s = -3 - -5. Suppose s*q - 551 = -m. Is q a composite number?
True
Is -69302*(8 + (-11)/2 + -3) a prime number?
True
Suppose 5*x - 1 = -b + 4, -5*x + 2*b = -5. Suppose 5*g + 5*r = -5, -x = 5*g + r - 0. Suppose t - 2*q - 10 = g, 3*q - 25 = -4*t - 7. Is t a composite number?
True
Let n(p) = 43*p + 213. Is n(38) a composite number?
False
Let l(q) = q**3 - 16*q**2 - 6*q + 7. Let r be l(10). Let s be (0 - 0 - r)*1. Suppose -4*z + s + 375 = 0. Is z a composite number?
False
Let u(c) = 3111*c - 76. Is u(3) a prime number?
True
Suppose 2*c + 2 = -0, 5*k - 4*c + 726 = 0. Let j = k - -213. Is j a prime number?
True
Let w = 35270 + 3491. Is w composite?
True
Is (-53697)/2*1*46/(-69) prime?
False
Suppose -39876 = -0*f - 12*f. Is f a prime number?
True
Let b(w) = 2*w + 3. Let f be b(0). Suppose -5*n + 2 = f*s - 29, -4*n = 3*s - 26. Suppose 4*q - 4*a = 348, n*q - 532 = a - 89. Is q a prime number?
True
Suppose 0 = 2*n + 1 - 5. Let i be (-22 - 14)/(n/(-50)). Suppose 2*t + 3*t + i = 5*y, 0 = -2*y + 4*t + 362. Is y composite?
False
Suppose -6*x - 42 = -4*x. Let z = x + 25. Suppose 520 = z*j - 532. Is j a composite number?
False
Suppose -5*w - 10 = 0, 2*q + 416 = 5*w + 7214. Is q prime?
False
Suppose -49 = -4*v + 59. Let c = v - 10. Suppose -3*r = 2*s - 194, 0 = -5*r + c + 3. Is s a prime number?
False
Is ((-2)/10*9722)/(34/(-85)) a composite number?
False
Let b = -15 - -13. Let t be ((-1)/b)/((-6)/(-564)). Suppose 3*l + 6*d = 4*d + t, 2*l + 2*d = 32. Is l a composite number?
True
Is 18/(-14) - (-50)/175 - -944 a prime number?
False
Suppose -6*d = -248 - 94. Suppose -124 = -d*y + 53*y. Is y a composite number?
False
Suppose 4*g - 315 = -g. Let f be (-14)/g + 1418/(-18). Is (-2 + -1)/(3/f) prime?
True
Suppose 214068 = 27*q - 208779. Is q a prime number?
True
Let d = -45 - -2656. Is d a prime number?
False
Suppose -3*k = -3*l - 7071, -2*l + 6*l = -k + 2382. Is k a prime number?
False
Suppose -29 = -2*a + 5*p, 4 - 1 = -a - p. Is 4558 - (4/(-1) + (3 - a)) prime?
True
Let c be 6/(-15) - 572/(-5). Suppose -a = -4*r - 45, 4*r + 29 = -a + c. Is a a composite number?
True
Let v(d) = d**3 - 5*d + 1. Let u be v(4). Suppose -u = -9*z + 4*z. Let p(y) = y**3 - 9*y**2 + 2*y - 9. Is p(z) prime?
False
Is 8/4*4013 - 18/6 a prime number?
False
Let p(i) = i**2 + 5*i - 1. Let x be p(-5). Let n = 0 - x. Is ((-2*4)/n)/(-2) a prime number?
False
Let a(w) = 2*w**2 - 10*w + 1. Let j be a(5). Let k be ((-2)/4)/(j/(-4)). Let g(z) = 12*z + 2. Is g(k) composite?
True
Let l = -166 + 379. Suppose 4*b - 1001 = -l. Suppose 5*f + 2*a - 945 = 0, f + 0*a = -2*a + b. Is f composite?
True
Let p = -3 - -6. Suppose -4*a + 381 = -p*a. Is a prime?
False
Let q = -22 + 26. Suppose 3*m - 3*x - 960 = 0, 0 = -q*x - 10 - 2. Is m prime?
True
Let t = -16 - -20. Suppose 20 - 72 = -t*i. Is i composite?
False
Let u(t) = 82*t**