. Is u(j) a prime number?
True
Suppose 9*n - 12*n + 30509 = -2*k, -3*k = -n + 10179. Is n a composite number?
True
Is (-15283980)/(-1482) - 1/13 composite?
False
Suppose 11*x + 25 = 6*x, 0 = 2*v + 5*x - 3963. Is v prime?
False
Suppose 0 = -20*i + 414812 + 48. Is i composite?
False
Let b(t) = 5*t + 20. Let i(x) = x + 5. Let a(q) = 2*b(q) - 9*i(q). Let o be a(8). Suppose -o = -3*r, 2*c - 2*r = -2*c + 210. Is c a composite number?
False
Suppose 20342 = 660*f - 658*f. Is f a composite number?
True
Suppose -g = -2*b - 0*b + 311, 5*b - 621 = 2*g. Let i = 122 + g. Let z = -52 - i. Is z a composite number?
False
Suppose -841276 - 819024 = -100*b. Is b a prime number?
True
Let u be (-1)/(-4) - 28/(-32)*2. Suppose u*y + 121 = 359. Is y composite?
True
Suppose -5*z + 3*m = -0*z - 57590, -11506 = -z + 3*m. Is z composite?
True
Let g be (-632)/(-12)*(0 + 6). Suppose 0 = -k - 2*b + g, 653 = 3*k + 5*b - 298. Let m = k + 123. Is m composite?
True
Let h(w) = w + 3. Let k be h(2). Let y(n) = 2*n**2 - 8*n - 8. Let x be y(k). Suppose 0 = -u + x, 268 = 4*b + 2*u - 112. Is b a prime number?
False
Let q(t) be the third derivative of -t**6/120 - 3*t**5/20 - t**4/12 - 13*t**3/6 + 6*t**2. Let w be q(-9). Is (w + 16/(-4))*127 prime?
True
Let g = -62 - -67. Suppose -2*m + g*q + 775 = -0*m, 2*q + 1969 = 5*m. Is m prime?
False
Suppose 13 - 4 = 3*c. Suppose -5*v - w = -17, c*v + v - 25 = 3*w. Suppose -2*l + 207 = i, v*i - 566 = -4*l - 162. Is l a prime number?
False
Let j = 656 + -361. Is j composite?
True
Suppose -2*a + 4*y + 6 = -0*y, -4*y = 4*a - 24. Suppose -3*n + 5*n - 4*f + 12 = 0, a*f - 10 = 5*n. Is (-2)/1 + 42/n composite?
False
Suppose 2*y + m - 6*m = 29, -4*m = 20. Suppose 0 = -y*a + 5*a + z - 532, -2*a - 5*z + 346 = 0. Is a a composite number?
True
Let b(d) be the first derivative of -1/4*d**4 + 5/2*d**2 + 5*d + 4*d**3 + 8. Is b(12) a composite number?
True
Let d(i) = -33*i**2 + 138*i**2 - 13 + 143*i**2 + 30 + i. Is d(-6) prime?
False
Let y be 60/(1 + (-28)/40). Suppose -4*c + y = c. Suppose -16 = -3*n - 5*q, -4*n - n = -5*q - c. Is n composite?
False
Let c(z) = -94*z + 29. Let d(x) = x**2 + 13*x + 7. Let u be d(-12). Is c(u) composite?
False
Suppose -2*s - 5*l + 75799 + 62807 = 0, s + 3*l = 69301. Is s a composite number?
False
Suppose 4*x + 29 = -7. Is (x/(-6))/(3/1838) a prime number?
True
Suppose 3*b + 12 = -p, -p + 4*b + 32 = 3*p. Suppose -5*h - 138 = -p*y + 97, 0 = -y + 5*h + 95. Let s = 57 + y. Is s composite?
False
Let q = 16479 + 9286. Is q composite?
True
Let b be 5544/39 + (-2)/13. Let p = b - -273. Is p prime?
False
Let i be (-2)/(-2)*-2 + 2. Suppose i = 5*y - 3 - 12. Suppose y*l + x - 53 = 96, -2*l - x + 100 = 0. Is l composite?
True
Let b(c) = -c**3 + 11*c**2 - 9*c - 5. Let w be b(10). Suppose 3*u - 14 = -w*d, 2*u - 1 + 5 = 0. Suppose -d*p + 861 = -p. Is p a composite number?
True
Let y(u) = -43*u - 20. Suppose 2*v + v = -27. Is y(v) prime?
True
Let m(k) = -187*k**3 + 4*k**2 - 14*k - 11. Is m(-4) composite?
True
Is 1942 - (-2 - -6 - 11) a composite number?
False
Let u(x) = -x + 14489. Is u(0) composite?
False
Let u = 1 - -5. Suppose -53*a - 7*a - 2220 = 0. Is a/(3/u - 1) a prime number?
False
Suppose 5*f = -2*b - 32, 2*f - 2*b + 4 = f. Let w(i) = i**3 + 14*i**2 + 8*i + 14. Is w(f) a prime number?
False
Let l = 39520 + -18313. Is l prime?
False
Let s(n) = 19*n**3 - 22*n**2 + 30*n + 23. Is s(18) a composite number?
False
Suppose -5580 = -3*o + 9*o. Let p = 1817 + o. Is p prime?
True
Let j be -2*(-3)/(-12)*-8. Suppose 3*k + 7 = v - 16, -2*v = j*k - 46. Let y = v + -9. Is y a composite number?
True
Let r = -41 - -99. Suppose -4*g = 5*c - 476, 4*g - 418 = -3*c + r. Is g a composite number?
True
Let y(o) = 5*o**2 + 27*o + 20. Is y(-17) a prime number?
False
Let v(l) = l**2 - 21*l**3 - 2 - 3*l - 2*l + 8*l + 0*l. Suppose 5*y + b + 17 = y, 2*y + 1 = b. Is v(y) a prime number?
False
Suppose -2*m = 3*m - 5995. Suppose 246 = 2*z - 2. Suppose 5*q = m - z. Is q a prime number?
False
Let w be (184/20)/(2/110). Let j = 997 - w. Is j a composite number?
False
Let i(k) be the second derivative of -5/6*k**3 - 1/10*k**5 - k**2 - 4*k - 1/3*k**4 + 0. Is i(-3) a composite number?
False
Let l(a) = -20*a**3 + 2*a**2 - 4*a + 1. Let j = 14 + -8. Suppose -2*z + 0 = j. Is l(z) a composite number?
False
Suppose -2*d + 7*d = 1075. Suppose 601 = 3*r + f, 2*f + 2*f = -r + d. Is r composite?
False
Let w(b) = 26*b**2 + 15*b - 9. Suppose -20 = -2*h + 8. Is w(h) a prime number?
True
Let n = -26 - -26. Suppose n*i - 1016 = -8*i. Is i a prime number?
True
Let s be 2/(3 - (-39)/(-15)). Let c(y) = y**3 + 3*y**2 - y - 4. Let l(m) = 4*m**2 - 2*m - 5. Let f(g) = 2*c(g) - 3*l(g). Is f(s) prime?
True
Let c(o) = -o**3 - 6*o**2 + 6*o - 5. Let q be c(-7). Let t be 10 + -4 + (q - 1). Is t/((-5)/((-115)/1)) a composite number?
True
Let a(k) be the second derivative of -1/2*k**2 + 0*k**3 - 9*k + 0 + 95/12*k**4. Is a(-2) a composite number?
False
Let i = 2648 + -1851. Is i a composite number?
False
Let z(y) = y**3 + 21*y**2 - 20*y + 2. Is z(-21) prime?
False
Let d(y) = -2*y**2 - 24*y. Let h be d(-12). Suppose h = -2*l - l + 42. Let p = 55 + l. Is p composite?
True
Let s = -2067 + 4960. Is s a composite number?
True
Let w(d) = 2*d**2 - 5 - 8*d + 11*d**2 - 15*d. Is w(-9) composite?
True
Is -106*(-251 + -3) - -3 prime?
True
Suppose -3*f + 2*n = -10451, 4*f - 18034 + 4094 = 4*n. Is f composite?
True
Let n(r) = 18*r - 14. Is n(1) a composite number?
True
Let u(t) = 15*t + 39*t**3 + 3*t**2 - 16*t - 1805*t**3 + 1 - 2. Is u(-1) a composite number?
True
Suppose -3*q + 8 = -5*q - 4*h, 2*h + 2 = -2*q. Suppose -k = -4 + q. Suppose -j = -k*o + 677, 8*j - 3*j = -o + 366. Is o a composite number?
True
Let d = 59475 + -39458. Is d composite?
True
Suppose 65*b - 66*b + 10869 = 0. Is b a prime number?
False
Let c(q) = -q**2 + 12*q + 5. Let x be c(12). Suppose -1422 = -3*a - 5*g, -x = 5*g + 10. Suppose -2*v + a + 163 = 0. Is v a composite number?
True
Let w = -505 - -1514. Is w a composite number?
False
Suppose -5 = -7*u + 6*u. Suppose 2*q - 4*q + u*h + 26 = 0, 0 = -4*q - 3*h. Suppose z + 3*n = -2*n + 82, -q*z - n + 190 = 0. Is z a composite number?
True
Suppose -4*n = m + 6, 2*m + 5*n = 6*m + 3. Is (m - -4) + 0 - -377 composite?
False
Let y(a) = -a**2 - 25*a - 19. Let i be y(-24). Suppose -i*u + 2527 + 3688 = 0. Is u prime?
False
Suppose 0 = -5*s - g + 4785, 4*g - g = -5*s + 4795. Suppose 1 = 5*m + 11, 0 = 5*q - 2*m + 3091. Let i = q + s. Is i prime?
True
Let s = 1562 + -521. Is s a composite number?
True
Suppose 4*n - 4*p = -20, n + 2*p + 20 = -2*n. Let z = n + 10. Suppose -5*g + 4*u + 655 = 0, -z*g + u - 3*u + 524 = 0. Is g composite?
False
Let p be (-20)/5 - (-6)/1. Suppose -p*z + 538 = -760. Is z a prime number?
False
Let n be 2/(-5) - 220/(-50). Let m be 997 + (-2 - -1) + n. Suppose 12 = 3*g, 4*z - 20 = -2*g + m. Is z a composite number?
True
Let g(j) = -2*j**3 + 23*j**2 + 56*j + 41. Is g(-22) prime?
True
Let q be (-3 - (-3 + 1)) + 1268. Let u = -702 + q. Is u a composite number?
True
Suppose -z - 4*z + 135 = 0. Suppose -8 = 571*s - 567*s. Let r = s + z. Is r composite?
True
Suppose -3*k - 61 = -2*b - 15, 4*b - 32 = k. Let h be (105/10)/((-1)/k). Suppose -2*y + 154 = g, -3*g - 5*y - h = -4*g. Is g prime?
False
Suppose 2*k - 2*x + 4 = 0, -x - 15 = -3*k - 5*x. Is k/2 - (5 + 572/(-8)) a prime number?
True
Let l = 9 - 8. Let w be (-2)/(-3 + l + 1). Suppose 5*v + 795 = 4*s, w*s - 189 = -5*v + 246. Is s composite?
True
Let d(v) = 1361*v + 27. Suppose -18*w + 52 = -5*w. Is d(w) a prime number?
True
Let n(h) = h**3 + 11*h**2 + 9*h + 10. Let l(m) = -m**2 - 11*m - 8. Let o be l(-10). Suppose -3*d - 3*s = -24 + 60, -o*d = s + 21. Is n(d) a prime number?
False
Let f = -81455 - -117217. Is f prime?
False
Let r(f) = 4*f**2 + f. Let q be r(1). Suppose -q*b - 17 = 23. Let j(p) = p**2 - 5*p + 7. Is j(b) prime?
False
Let r be ((-8)/(-16))/(2/12). Suppose -1 = w - r. Suppose 2*z = 4*a - 262, -w*z + 330 = 5*a - 7*z. Is a prime?
False
Is 13/((-117)/(-61272)) - 3 a composite number?
True
Let k be 2085/(-2)*(4/6)/(-1). Is (-1 + 0)*(-2 - k - -3) a prime number?
False
Is (-27 + 3973)*1/2 a prime number?
True
Suppose 0 = -5*r - i + 1971, -5*r - 3*i + 1987 = -6*i. Is r a prime number?
False
Is (101576/(-20) - 0)/((-10)/25) a composite 