26*n. Let l = n + -145. Is l a prime number?
False
Let j = -65156 + 108547. Is j prime?
True
Suppose -209116 + 50375 = -11*y. Is y a composite number?
False
Suppose 0 = -5*b - 15*b + 7580. Is b composite?
False
Suppose 5*g = 4*c + 3512 + 2228, 1157 = g + c. Is (1 - g/(-14)) + 40/(-140) prime?
True
Suppose -4*o + 5*o - 79 = -n, 0 = 4*n + 2*o - 308. Let x = -40 - -38. Is x/4 - n/(-2) prime?
True
Let n(x) be the second derivative of x**4/4 - 2*x**3 - 7*x**2 + 7*x. Is n(-9) prime?
True
Let k be ((-63)/(-6) + -1)*2. Suppose -23 = -3*i + 5*o + k, 0 = -2*i + o + 21. Let t = i + 44. Is t a prime number?
True
Suppose -f - 336 = -5*f. Suppose 4*w - w = f. Let g = -6 + w. Is g a composite number?
True
Let v(t) = t**3 + 16*t**2 - 11*t + 2. Let l be v(-13). Suppose -5*m + l = -m. Is m composite?
False
Let a(j) = 7*j - 57. Is a(20) a prime number?
True
Let j = -9 + 12. Let z be 42/3 + j + -3. Suppose -3*q + 91 + z = 0. Is q composite?
True
Let v = 5140 - 1057. Is v composite?
True
Suppose 0 = 5*i + 2*x, 1 = -2*i - 0*i - x. Suppose -w - 4*c = -851, i*w - c - 1046 = 629. Is w a composite number?
False
Let s = -7 + 2. Let p = -8 - s. Let x(n) = -31*n. Is x(p) a prime number?
False
Suppose -i + 791 + 6453 = g, 0 = -5*g + 6*i + 36275. Is g prime?
False
Suppose 5*m + 2*q = 5*q + 31, 0 = 2*m + 5*q - 31. Suppose 0*l = -4*l + m. Suppose l*o = -1 + 5, -3*t + o + 3127 = 0. Is t prime?
False
Let z(h) be the first derivative of -7 - h + 8/3*h**3 + 2*h**2 - 1/4*h**4. Is z(8) prime?
True
Let l(g) = 345*g**2 + 4*g - 2. Is l(4) composite?
True
Let l(h) = 3758*h - 267. Is l(1) prime?
True
Let i = 83928 - 59357. Is i prime?
True
Let a(j) = j**3 - 4*j**2 - 5*j + 2. Let o be a(5). Let f(h) = o + 47*h + 4 - 20*h. Is f(5) composite?
True
Let b = 6147 - 1390. Is b a prime number?
False
Suppose 18*m - 6587 = 11*m. Is m a prime number?
True
Suppose -49 = -4*j + 71. Let z be 7/((-14)/(-5))*4/(-1). Is (-1292)/(-3) - z/j composite?
False
Let f(d) = 43*d + 2. Let u be f(2). Suppose -291 = -t - 4*i, 4*t - 5*t + i + 281 = 0. Let c = u + t. Is c a composite number?
True
Let x(r) = 2*r**3 + 2*r + 5. Let l(d) = d**2 - 7*d + 2. Let y be l(6). Let k be x(y). Let b = 250 + k. Is b a composite number?
True
Let a be (8/1)/(2/6). Is (a/(-4))/(-3) - -87 prime?
True
Suppose 0 = q - 6*q + 1635. Suppose 0*s - s = z - 302, -z + 4*s = -q. Is z composite?
False
Suppose 2*j = 4*y - 20 - 8, 3*y - j = 19. Suppose 21965 = y*o - c + 271, 2*o - 2*c - 8676 = 0. Is o a composite number?
False
Let k be 4/8 - (-5175)/10. Let f = 63 + k. Is f composite?
True
Let s = 0 + 10. Suppose 3*a = -2*a + s. Suppose 0 = a*j - 326 - 452. Is j a composite number?
False
Suppose -1457 = 5*q + 188. Let r = q + 530. Is r composite?
True
Let c(n) = 8*n**2 + 25*n + 16. Is c(-19) prime?
False
Suppose -4*x - 6*m = -2*m - 54572, 4*x = -m + 54572. Is x prime?
False
Let j(t) = 0*t**2 - 15 - 3*t**2 + 4 - 23*t + 5. Let c be j(-16). Let m = c - -617. Is m composite?
False
Suppose -2*r + 2 = -3*r + o, 3*r + 4*o - 8 = 0. Suppose -6*g + 359 + 223 = r. Is g a prime number?
True
Let q(x) = -479*x + 2. Let c be q(-1). Let n = c + -270. Is n prime?
True
Let o(u) = u**2 + 18*u - 42. Let t be o(-20). Is t/4 + (-92183)/(-26) a prime number?
False
Suppose -2*z + 3*b + 64959 = 8*b, 5*b - 25 = 0. Is z prime?
True
Suppose 4*v - 41 = -5*j + 35, -3*v + 5*j + 22 = 0. Let t(s) = s**3 - 9*s**2 - 11*s + 27. Is t(v) composite?
False
Let q(t) = t**2 + t - 1. Let d(l) = 8*l**2 + 7*l + 9. Let v(y) = d(y) + 2*q(y). Is v(-4) a prime number?
True
Let q be 842/(-18) - 2/9. Let r = 162 - 50. Let t = r + q. Is t prime?
False
Suppose 0 = 3*q - l - 28 + 1, -3*l = 0. Let s be (-6)/q*1*-3. Suppose g - 4*t = 83, 10*g - 5*g = s*t + 343. Is g a prime number?
True
Let q be 286 - 3/((-9)/6). Let m(g) = -170*g**2 - g. Let h be m(-1). Let y = q + h. Is y a prime number?
False
Is (3 - 6 - -41777) + -9 a composite number?
True
Let l(d) = -80*d + 4. Let h(z) = -z. Let a(u) = -4*h(u) + 2*l(u). Let v be a(-4). Suppose 2*b + 3*n = 3*b - 208, 3*b = n + v. Is b composite?
False
Let h(i) = -289*i**3 - 5*i**2 - 22*i - 73. Is h(-5) a prime number?
True
Let a(i) = -10530*i**3 - 6*i**2 - 5*i. Is a(-1) prime?
True
Let y = -5508 - -14705. Is y composite?
True
Let u = 19 - 16. Suppose -u*p = 5*r - 324 + 32, 5 = -5*p. Is r a prime number?
True
Suppose -r - 4 + 6 = 0. Is (0 + (-4434)/(-4))*r/3 composite?
False
Let w(m) = m**2 + 16*m + 15. Let q be w(-15). Suppose -4*h + 5*g - 710 = q, 2*h - 3*h - 4*g - 188 = 0. Is 24/h - 3497/(-15) a prime number?
True
Let b = 116 - -42. Suppose -b = r + 135. Let y = -166 - r. Is y a composite number?
False
Let b be 269 + (0 - 0)/5. Is 5/20*4*b a prime number?
True
Let s = -477 - -1225. Suppose -2*h + 654 = -s. Is h a composite number?
False
Let f = -63347 - -96430. Is f prime?
True
Let n be -3*(5/(-3))/1. Suppose v + n*j = 9 + 31, 2*v + 4*j = 56. Is 5/v + 267/4 a prime number?
True
Suppose 0 = 2*x + 5*j + 7 - 0, -j - 7 = -x. Suppose 4*k = -5*g + k + 2645, -2116 = -x*g + 3*k. Suppose -g + 37 = -4*c. Is c composite?
True
Let h = 6198 + -3446. Let m = h - 1391. Is m prime?
True
Suppose 2 = w - 2*l + 3*l, 3*w - 2*l + 9 = 0. Is (w + 38)*(20 - 3) a prime number?
False
Let q(h) = 50*h - 226. Is q(36) prime?
False
Suppose 0 = q - 74 + 358. Let f = q - -498. Is f - (1 - (0 + -2)) composite?
False
Is (-6)/((-48)/22540) - (-3)/2 composite?
False
Is 11708/12*9*4/12 composite?
False
Let g(a) = 2*a**2 - 13*a - 3. Let f be g(8). Suppose f*z - 18*z = 753. Is z a composite number?
False
Let b(f) = f + 13. Let n be b(-12). Suppose 2*z = 0, -c + 3*z + 0*z + n = 0. Is 63/(2 + c) + 1 a prime number?
False
Suppose -5*l - 5*f + 70 = 0, 2*l - 4*l - 3*f + 26 = 0. Suppose 3*z = l + 95. Is z composite?
False
Let z(m) = 14*m**2 + 6*m + 6. Is z(10) a prime number?
False
Let s = -9 + 11. Suppose 3*u - u + 321 = -3*h, -h + s*u - 99 = 0. Let n = h + 192. Is n prime?
False
Let b(d) = d. Let p be b(3). Let w be 56/(-21)*p/(-2). Suppose -3*t - 832 = -w*a, 0 = -a - a + 3*t + 410. Is a composite?
False
Suppose h - 4555 = -4*n, -3*n - 4 + 10 = 0. Is h prime?
True
Suppose -10 = -4*l + 10. Suppose -k + y = 471, k + 674 = -l*y + 197. Is k/(-3) + 1/(-3) composite?
False
Let f(j) = 3573*j**2 - 5*j + 25. Is f(3) prime?
False
Suppose 5*g - 45 = -5*x + g, 0 = 2*x - 5*g - 51. Let l = -10 + x. Suppose 3*a + l = 114. Is a prime?
True
Let c be (-6)/21 - 69/(-21). Suppose -c*p = -7 - 8. Suppose -3*l - p*q + 68 + 182 = 0, 4*l - 341 = q. Is l a composite number?
True
Suppose 18*w - 9*w = 29007. Is w a composite number?
True
Suppose -16376 = -5*s + 2*a + 1581, -5*a = -2*s + 7166. Is s prime?
True
Suppose 5*t - 19 = -2*u, -5*u + 3 + 4 = -t. Is (3/9)/(t + 17672/(-5892)) prime?
True
Suppose -2*t = 22 - 20, -t = 5*b - 13734. Is b a composite number?
True
Let i(k) = 341*k**2 + 13*k + 25. Is i(4) a composite number?
True
Suppose 4*w + n = -w + 3, -2*n + 6 = 2*w. Let y be (-1 - w - 0) + -1. Is 838/4 + (-3)/y composite?
False
Let n = -10 + 26. Let u = -13 + n. Suppose -211 = -4*z + u*z. Is z a prime number?
True
Suppose -5*h - 2*i + 1339 = -2158, 0 = 3*h - i - 2096. Is h a prime number?
False
Suppose 6*x - 32510 = 2*x - 2*v, -40660 = -5*x + 5*v. Is x a composite number?
True
Let b(r) = r**3 + 13*r**2 - 11*r + 2. Is b(-13) prime?
False
Let c be (-1)/(4/8*-4)*-700. Suppose 4*g - 170 = -678. Let z = g - c. Is z composite?
False
Let z be (-44)/(-6) + 17/(-51). Let s(n) = -n**3 + 6*n**2 + 6*n + 9. Let u be s(z). Suppose 2*f - 468 = -4*t, -u*t - 4*f + 230 = -2*f. Is t a prime number?
False
Let x(o) = 872*o**2 - 11*o + 2. Is x(3) prime?
True
Suppose 6*o = 71288 + 6694. Is o prime?
False
Suppose 5*g - 10 = -2*x + 3*x, 3*x + 3*g = 6. Is 10 + 626 - (x + 5) a composite number?
False
Let o = -38773 + 69404. Is o composite?
False
Suppose 2 = n - 0. Let q be -2 - n/2*-559. Suppose q = 3*d + 176. Is d composite?
False
Let m(x) = 21*x + 1. Suppose -3*b = 4 - 16. Let h be b*(-1)/2*-2. Is m(h) composite?
True
Let b = 11 - 11. Let a = b - -2. Suppose a*u - 650 = 2*v, u = -0*u + 3*v + 329. Is u a composite number?
True
Let s(q) be the third derivative of q**6/60 - 19*q**5/60 + 5*q**4/24 - 5*q**3/3 + 2*q**2 + 5. Is s(13) prime?
False
Suppose 4*s - 3*f = 8*s - 9739, 2452 = s - 5*f. Is s a composite number?
False
Let o = 21063 - 12752. Is o pr