(v) = 190*v + 13. Let n(t) = 5*g(t) + 6*i(t). Is n(b) prime?
True
Let c = -65349 + 115390. Is c prime?
False
Let c = 40 - 50. Let i be 31203/15 - (-2)/c. Suppose 0 = 4*h + 2*j - 4176, 2*h - j - i = 2*j. Is h a prime number?
False
Let d(n) = 125*n**3 - 8*n**2 - 11*n - 10. Let c(z) = 42*z**3 - 2*z**2 - 4*z - 3. Let f(a) = 7*c(a) - 2*d(a). Is f(5) a prime number?
True
Suppose 0 = -2*c + 15173 + 19105. Suppose 0 = 7*g - 10*g + c. Is g composite?
True
Let c = -18 + 15. Let u(n) be the first derivative of -33*n**4/4 + n**3 + n**2/2 - 4*n + 11. Is u(c) prime?
True
Suppose 2214643 = 213*c - 184*c. Is c prime?
True
Is ((-4)/1 + 150/9)/(10/6855) a prime number?
False
Let m be (-265)/(-20) - ((-22)/8 + 3). Let r = 7 + m. Suppose -r*f + 16*f + 1084 = 0. Is f prime?
True
Suppose 0 = 4*l - 2*u - 72, -5*u + 44 = 9*l - 5*l. Suppose -13*y - 70251 = -l*y. Is y prime?
True
Suppose 15*a = 69*a - 1177362. Is a a prime number?
True
Suppose -5*n + 6*n + 10 = 0. Let m = -8 - n. Suppose 2*l - 5344 = -4*a, m*a + 3*l - 2670 = l. Is a a composite number?
True
Let i(z) = z**3 - 15*z**2 + 8*z - 2. Suppose -25 = 8*l - 3*l, 5*d - 5*l = 550. Let t = d - 89. Is i(t) composite?
True
Let z(k) = k**3 - 2*k**2 - 8*k + 7. Let r be z(4). Suppose -c + 5 = 0, -2*w + 55 = -r*w + 5*c. Is 4 - w*108 - -1 prime?
True
Let a(z) = 230*z**2 - 90*z + 147. Is a(-28) a prime number?
False
Let o(m) = m**2 + 7*m + 4758. Let x be o(0). Suppose -5*l = l - x. Is l a composite number?
True
Let v be (1/(-2))/(28/(-224)). Is ((-2019)/v)/(42/(-952)) a composite number?
True
Let m be (288/30)/(3 - 948/320). Let l = 529 + m. Is l a composite number?
True
Suppose -3960489 = -24*u + 11*u. Suppose -36*y = -u - 319479. Is y composite?
True
Suppose -23*t + 105 = -10. Let k(g) = 51*g**3 + 6*g**2 - g + 1. Is k(t) a composite number?
False
Suppose -4*j + j = 4*a - 3498071, a - 874508 = -4*j. Is ((-2)/10)/(2*(-4)/a) a composite number?
False
Let v(i) be the first derivative of -i**4/4 - 6*i**3 + 7*i**2 - 19*i - 119. Is v(-24) composite?
True
Is -11 - (15 + 419553)/(-6) composite?
True
Suppose -3*t - 56 = -17*t. Suppose -3*n = t*i - 17296, i + 2*n + 8634 = 3*i. Is i composite?
True
Let o = -4911471 + 6965264. Is o composite?
True
Suppose -284*f = -280*f + i - 1009246, -4*i + 504602 = 2*f. Is f a prime number?
True
Let z be (-45)/55 + 12/(-66). Let p(f) = 379*f**2 - 4*f - 6. Is p(z) prime?
False
Suppose -2 = -2*u + 6. Let d(n) = -u - 22*n - 2 + 1 + 17*n**2 + 6. Is d(10) prime?
True
Let i(r) = r**3 + 4*r**2 - 16*r - 9. Let b be i(-6). Suppose -13*d - 2904 = -b*d. Let c = d - 463. Is c composite?
True
Let d(v) be the third derivative of -v**6/120 - 11*v**5/60 + v**4/12 + 11*v**3/6 + 147*v**2 + 2. Let q = -23 - -7. Is d(q) a composite number?
False
Suppose -3*o = 3*s - 25 + 7, -4*o = -s - 4. Suppose 0 = 2*y + o*r - 19918, -y - 3*r - r + 9953 = 0. Is y a composite number?
True
Let z = 61 - 59. Suppose 0 = -3*t + 4*i - 14, -4*t - z*i + 3*i - 10 = 0. Is 537/((-1 - t) + 0) prime?
False
Let t(b) = 6*b + 21. Let i be t(-3). Suppose -25 + i = -a. Let p(s) = 2*s**2 - 34*s + 33. Is p(a) a composite number?
True
Is 1022342 + 20*48/(-64) a composite number?
True
Suppose 44 = 3*a + 4*n, 3*a + 3 = n + 22. Let k be (-41)/a - (-6)/96*2. Let b(p) = -139*p - 10. Is b(k) composite?
True
Let k be -24 + 14623 - 3*2. Suppose s - k = -5*h, -4*h = -9*s + 4*s + 72907. Is s a composite number?
True
Suppose 11 = -4*a + 3*q, -2*a + 4*q - 9 - 9 = 0. Let r be -1 + (1 - -1)/a - -14. Is (-3)/(r/2605)*-3 a composite number?
True
Let x be 4/26 - (3 - 510/65). Suppose -35*j + 37*j - 15608 = -x*k, 2*j - 15594 = 2*k. Is j a prime number?
False
Suppose 0 = c - x - 3588, 2*x + 17937 = 5*c - 0*x. Is c a composite number?
True
Suppose -2*z = -3*s + 107, 0 = -5*s + 4*z + 17 + 164. Suppose -l + 44 = 4*b, -5*b + s = -2*b + 3*l. Suppose 0 = b*k - 7*k - 776. Is k prime?
False
Suppose 4*v - 4*q - 655172 = 0, -17*q + 19*q = -v + 163808. Is v a composite number?
True
Suppose -7*y + 19*y = -19668. Let s = y + 2552. Is s composite?
True
Let v(t) = -1633*t - 329. Is v(-24) prime?
False
Let w = 52329 + -32312. Is w composite?
True
Let j = 35 - 58. Let w = j - -27. Suppose -2*i - 5*n = -992, n = -w + 6. Is i prime?
True
Let z be (2/8)/(5/140). Suppose 3*v = -w + z, 4*w - 6 = -2. Suppose -v*u + 1201 = -3*d + 84, -5*u = -3*d - 2806. Is u a composite number?
False
Suppose 0 = -4*w + 32, -20*r + 25*r + 4*w = 1821987. Is r composite?
True
Let i(r) = -2*r**3 - 7*r**2 + 5*r + 20. Let c(o) = 3*o**3 + 12*o**2 - 11*o - 39. Let d(z) = 3*c(z) + 5*i(z). Is d(-3) a composite number?
False
Is (12 - 1) + 111 + 155775 composite?
True
Suppose -7*z + 2670946 = -5*z - 4*w, -z = 3*w - 1335448. Is z a prime number?
False
Let b(m) = 5 + 14*m**3 + 659*m**2 - 652*m**2 - 3*m - 2*m. Is b(6) prime?
True
Let k(p) = -14*p + 77*p**3 + 11*p - p - 5*p**2 + 34*p**3 + 0 - 1. Is k(3) prime?
True
Let g = 13732 + -9346. Let q = g + -1387. Is q a composite number?
False
Is ((-6 - (-155)/30) + (-3)/18)*-743591 composite?
False
Let k(l) = 4*l + 10. Let s be k(16). Suppose y = 81 - s. Let f(i) = 8*i**3 - 4*i**2 - 5*i - 10. Is f(y) a prime number?
True
Let r(o) = o**3 - 19*o**2 + 13*o - 27. Suppose j + 0*h - 19 = -2*h, 0 = -3*j - h + 42. Suppose 7 = u - j. Is r(u) composite?
True
Suppose -l - l = -2*h + 1968, 0 = -5*h. Let c = -421 - l. Is (-2)/(-3 - -1)*c prime?
True
Let v be (6 + -5)/(3 + 37/(-12)). Let a(z) = -17*z**2 - 14*z + 10 + 5 - 3*z**3 + z**3. Is a(v) prime?
False
Suppose -15 = 26*t - 31*t, -3*x = -4*t - 48111. Is x a prime number?
False
Let q = 82345 + 20782. Is q composite?
True
Is 265369 + 1 + (-24)/(744/(-341)) a prime number?
True
Let n(y) = 338*y**2 - 40*y + 691. Is n(-23) a composite number?
False
Suppose -35*k - 19748518 = -27*k - 75*k. Is k prime?
False
Let g be (912690/60)/((-3)/(-4)). Let j = g + -13173. Is j a prime number?
True
Let d = -367748 - -1330189. Is d a composite number?
False
Let o be 72/(-12) - (-16 + 3). Suppose -10*z - 4*a + 23371 = -o*z, 0 = -5*z - 5*a + 38950. Is z a prime number?
True
Let c be (-281)/(-2)*-12*(-10)/10. Suppose 0 = -9*d + 6231 - c. Is d prime?
False
Let i = 56856 + 176315. Is i a composite number?
True
Let u(v) = -2*v + 3. Let y be u(-6). Is 85/(-25) + 3 + 45741/y a composite number?
False
Is (-21 + 1211679/(-108))/((-6)/8) a composite number?
True
Suppose 0 = d + 4*o - 82032, -26*o = 2*d - 23*o - 164039. Suppose -2*p - t + 6205 + 48472 = 0, -3*p = -2*t - d. Is p a prime number?
False
Let r(w) = 0*w - 6*w + 3*w + 6*w + 6. Let z be r(-1). Suppose 205 = z*u - 68. Is u a composite number?
True
Is 26/325 - (-100427249)/325 composite?
False
Suppose 49*l + 59*l = 82*l + 5156554. Is l composite?
True
Is (-1259)/(28/(-21)*(-6)/(-6568)) a composite number?
True
Suppose -2*k - 4*v + 804838 = 0, -629*k + 626*k + 3*v + 1207293 = 0. Is k prime?
False
Let t = 36 - -195. Suppose 222*l + 53415 = t*l. Is l composite?
True
Let i(x) = -22*x**2 - 7*x - 10. Let b be i(6). Let z = -401 - b. Is z prime?
True
Let f = -28825 - -76046. Is f prime?
True
Suppose -16*s - 748366 = -34*s + 16*s. Is s a composite number?
True
Let s be 6/(-16) - 4326/(-16). Suppose s = 4*d - 54. Let t = 10 + d. Is t a prime number?
False
Let q = 4061 + -2745. Let f = q + 993. Is f composite?
False
Let g(s) = -s**3 + 11*s**2 - 3. Let i be g(11). Let n be ((i - -4) + 1)*1. Suppose -5*x = -n*x - 423. Is x composite?
True
Suppose 10*x + 5*m + 21661 = 7*x, 0 = x - 3*m + 7211. Let l = 282 - x. Is l a prime number?
True
Suppose -49*x + 44*x + 1130500 = -u, 5*u + 1130520 = 5*x. Is x a composite number?
False
Let l(s) = 6*s**3 + s - 2. Let k be l(1). Suppose 0 = 3*m - 4*z - 49, -m + k*z + 13 = 7*z. Is (10/m)/((-2)/(-1227)) composite?
False
Is (-27)/(-15) - ((-1124286)/30 - 15) a composite number?
False
Suppose -3*g - 7*g = 0. Suppose 4*o - 3*h - 47 = g, 5*o + 4*h - 61 + 10 = 0. Suppose -o*c - 114 = -13*c. Is c composite?
True
Suppose 0 = 4*y + 5*y + 50841. Let j = -1872 - y. Is j composite?
True
Suppose -4*y + 494 = 4*x - 3*y, -5*x + 623 = 4*y. Let b = x + -116. Suppose 10*p = b*p + 7563. Is p a prime number?
True
Let w(c) = -38*c**3 + 28*c**2 - 11*c + 50. Let k be w(-12). Suppose 8*a - 179230 = -k. Is a prime?
True
Suppose 74*b = 4424981 + 322193. Is b a prime number?
True
Let l(b) = 31*b**2 - 47 + 21*b + 122*b**