composite?
True
Let u(j) = 10245*j - 3854. Is u(5) a composite number?
True
Let b be (-2 - -11) + (-2 - 0). Suppose -2*a - 119 = -b*a + 3*y, 106 = 4*a + 3*y. Let m = a - 6. Is m composite?
False
Let p = -23 + 25. Suppose -4*r + p*h = -2561 - 37, r = -4*h + 627. Is r composite?
False
Let b = 2169 + -1246. Suppose -6*v - b = -7*v - 2*w, -v = -2*w - 915. Is v a composite number?
False
Let t = -1695 + 24730. Is (t/(-10) + -1)*-2 composite?
True
Let c(q) = 174*q**2 - 9*q - 48. Let u be c(12). Let j = u - 9219. Is j composite?
True
Suppose -x = w - 34875, 4*w + 69744 = 2*x + 3*w. Suppose 13*g - 61756 = x. Is g prime?
True
Suppose -23 = -4*t - 3*g, 4*g = -3*t + 6 + 20. Let q(u) = 401*u**2 + 0 + 365*u**2 + t*u - 7*u - 2. Is q(-1) a composite number?
False
Let u(o) = 13*o**2 - 4*o + 6. Let i be u(3). Let w = 105 - i. Is (w - -5)/((-5)/17035) a composite number?
False
Suppose 3*v - 9057 = 7188. Suppose -v = -6*y + 19461. Let c = y - 2891. Is c composite?
True
Suppose -4*i = -12, -2*i - 174060 = -3*b - 30735. Is b a composite number?
False
Suppose 2*f = 7*f - 25. Suppose 0 = -v, f*b + 11*v = 7*v + 5965. Is b composite?
False
Suppose -2*s - 4*m + 144 = 0, 0 = s - 4*m - 31 - 53. Suppose -83*t = -s*t - 4361. Is t composite?
True
Let u(s) = 83*s**2 + 8*s - 14. Let p be u(-10). Suppose -3*l + 1223 = -5005. Suppose -5*v = l - p. Is v composite?
True
Suppose 17*j - 9363310 = -3138641. Is j a composite number?
True
Let s be (-10)/(-4) - (-4)/(-8). Suppose -s*y + 232 = -0*y. Suppose -5*h + 549 = 4*l, -l + 3*h = -0*l - y. Is l prime?
True
Let l = -1894858 - -4006515. Is l prime?
False
Let b = 911989 + -269630. Is b a prime number?
True
Let m(t) = -3*t - 1. Let s(v) = -1221*v - 4. Let u(j) = 3*m(j) + s(j). Is u(-2) composite?
True
Let g(y) = 9147*y + 4708. Is g(15) a prime number?
False
Let u(l) be the first derivative of -4*l**3 + 3*l**2 + 2*l - 27. Let g be u(5). Let s = g - -757. Is s prime?
False
Let w(o) = 5*o**2 - 18*o - 24. Let f be w(6). Is (-4)/f*39*-524 a composite number?
True
Suppose -4*h = -5*h - 4*l - 3, -h + 2 = -l. Let w be -3*((-32)/12 + h). Suppose -w*r + 36 = 2*n, 0 = 3*r + 6. Is n a prime number?
True
Suppose -2*f - 1077 = 3*b, 5*b - 2165 = -f + 5*f. Is 24114/8*f/(-81) - 6 a composite number?
False
Is ((-7)/2)/7 - (-8 - (-430808)/(-16)) prime?
False
Let l(v) = v**3 - 26*v**2 + 70*v - 51. Let s be l(23). Is (-889)/s*(-308)/(-7) a prime number?
False
Is 136/14 - 10 - (-1049575)/7 a prime number?
True
Suppose -3*j + 4*c + 839027 = 0, -4*j - 5*c + 1033640 = -85042. Is j a composite number?
True
Let x(t) = -97*t**3 - 4*t**2 - 2*t - 21. Let w be x(-5). Suppose -w - 1585 = -9*a. Is a a prime number?
True
Suppose -9 = h + 4*j, 2*h + 4 - 22 = 4*j. Is -1*((-33296)/h - 17/51) a composite number?
True
Let v = 57211 + -17052. Is v prime?
False
Suppose -61*h + 1334504 + 1818747 = 946210. Is h composite?
True
Let m(g) = 668*g - 6. Let o be m(16). Let n be (o/(-4))/((-3)/(-12)*2). Let h = n - -8064. Is h a prime number?
False
Let r = 291782 - 68959. Is r a prime number?
True
Let j(s) = 3559*s - 496. Is j(27) prime?
True
Suppose 2*h - 3*i = -3, -4*i + 10 = -2*i. Let u(n) = 130*n**2 - 23*n + 27. Is u(h) composite?
True
Suppose -298*v = 112363691 - 345561505. Is v prime?
False
Suppose 21 = 17*l - 18*l. Let r(m) = -2*m**2 - 91*m + 58. Is r(l) prime?
True
Let r = -113634 - -239633. Is r a prime number?
False
Let x(p) be the third derivative of -p**6/120 + 2*p**5/5 - 43*p**4/24 - 7*p**3/2 + 234*p**2. Let i = 50 - 30. Is x(i) prime?
True
Let p = 856 - 6388. Let y = p + 10169. Is y prime?
True
Is 849014/442 - 8/(-52) a composite number?
True
Let y(i) = -i**3 + i**2 - 7*i + 9. Let g be y(0). Suppose -5*l - 4*q - 2120 = -g*l, -4*l + 2116 = -3*q. Is l prime?
False
Let w(q) = -823*q**3 - 2*q**2 - q - 1. Let f be ((-20)/3 + 6)/((-4)/(-6)). Is w(f) composite?
False
Suppose -i + 2*m + 3 = 0, -m = -5*i + 17 - 2. Suppose i*g - 368 = g - 2*z, -5*g = 2*z - 917. Is g a composite number?
True
Suppose -31*u + 20 = -21*u. Suppose 0 = u*l - 4*k - 27654, 3*l + 0*l - 4*k = 41489. Is l a composite number?
True
Let a(t) = 71*t**2 - 7245 + 3614 + 3618 - 79*t - 28*t. Is a(10) a prime number?
False
Let d be 2*3*55 + 7 + -9. Let l = d + -179. Is l a prime number?
True
Let g = -11 + 13. Let j(c) = g + 8 + 8 - 20*c - 9. Is j(-7) a composite number?
False
Let a(n) = -6*n + 9781*n**3 + 2 + 4*n**2 + 2229*n**3 + 0*n + 0*n**2 + 1. Is a(1) prime?
True
Let w(l) = 32*l**3 + 13*l**2 - 21*l + 115. Let m be w(10). Suppose -4*d + m = 5*b, 4*b + 5*d = 31137 - 4564. Is b a composite number?
False
Let s = 89634 + 35489. Is s a composite number?
True
Let y be 3132/14 + (-4)/(-14). Suppose -2*t + 4*d = -822, -5*t = 14*d - 10*d - 2055. Let u = t - y. Is u composite?
True
Let q = -32402 - -122631. Is q prime?
False
Suppose -4*m - 2*q - 10490 = 0, 3*q = 4*m + 10853 - 348. Suppose -4*p = -0 - 4. Is m/(-10) + 14/(-10) + p prime?
False
Suppose 12*f - 209 = -41. Let r = -18 + f. Is 6/r*-3*5866/63 a composite number?
False
Let h(r) = 6*r**3 + 55*r**2 + 29 - 3*r**3 - 11*r**2 - 16*r + 19*r**2. Is h(-21) prime?
False
Suppose -7*l + 128 = -15*l. Let g(u) = -2*u**3 + 3*u**2 + 10*u + 3. Is g(l) prime?
True
Let t(x) be the third derivative of x**5/15 - x**4/3 - 41*x**3/6 + 27*x**2. Suppose 5*d - 6*d = -14. Is t(d) composite?
False
Let b(r) = 34*r**3 - r**2 + 20*r - 204. Is b(19) a composite number?
False
Suppose 7*p - 3*p = -5*v - 69, 2*p + 37 = -5*v. Let o = -1101 + 7409. Is 2/(-8) - o/p a prime number?
False
Suppose 4 = -9*l + 5*l, 3*l = -3*m + 42366. Is m prime?
False
Let k = -5382 + 6781. Is k composite?
False
Let x(d) = -1379*d - 243. Is x(-40) prime?
True
Let b = 78894 - 27041. Is b composite?
False
Suppose -4*w + 71429 = 5*v, -21*v + 16*v = -3*w - 71387. Is v a prime number?
True
Let x(d) = -86*d + 5. Let y be x(4). Let i = 1590 + y. Suppose -k = 8*k - i. Is k a composite number?
False
Let z be (-3)/1 + 16/16. Is (-2)/z + -1 - -84 - -3 prime?
False
Let c(v) = 17*v**2 - v + 7. Let z = -20 - -19. Let f be 2/4*z*(0 - -6). Is c(f) prime?
True
Suppose -17*j = -137962 - 177201. Is j prime?
True
Suppose 60*d = 89*d + 606506. Let k = 40941 + d. Is k a prime number?
False
Let q(c) = 18*c**2 - 2*c + 6. Let w(t) = -53*t**2 + 5*t - 18. Let m(p) = -8*q(p) - 3*w(p). Let a be m(-7). Let l = -523 + a. Is l a composite number?
False
Suppose -857*s = -860*s + 233853. Is s prime?
True
Let v(a) = -646*a**2 + 26*a + 82. Let m be v(-4). Let n = m - -17641. Is n composite?
False
Let l(g) = 8*g**2 + 22*g - 39. Let t(v) = -8*v**2 - 21*v + 37. Let y(s) = -4*l(s) - 5*t(s). Is y(-9) prime?
False
Let y = -123274 - -188111. Is y prime?
False
Is ((-7)/((-210)/(-915582)))/((-24)/120) prime?
True
Let y be (-36)/(-14)*(-70)/(-20). Is -5*(4/6 + (-2103)/y) a composite number?
True
Let f be -8*(2 - 115/20). Let v be -8*f/40*4/6. Is v/(-6)*(-4311)/(-6) a prime number?
True
Suppose n + 1035 = -3133. Let m = -1407 - n. Is m prime?
False
Suppose 14 = 7*s - 273. Suppose 2*o + 13 - s = -3*j, 3*j - 4*o - 52 = 0. Is (-2)/(-8) + 3141/j + 1 prime?
True
Let h be 0*(12/(-8))/3. Suppose 3*l = -5*r - 4 + 28, l + 12 = 5*r. Suppose g = -h*g - 2*k + 331, 2*g = -l*k + 661. Is g a composite number?
True
Let k be (5/(-2))/((-6)/12). Suppose 8213 = 17*i - 13*i - k*t, 3*i = -t + 6136. Is i a prime number?
False
Let s = 37808 - 32275. Is s composite?
True
Let z(x) = -214*x**2 - 8*x - 8. Let y be z(-2). Let t = 89 - y. Is t a prime number?
True
Let d = -3576 - -2496. Let g = d + 2271. Is g a prime number?
False
Let b = -6219 + 25058. Is b prime?
True
Let z(i) = -3*i + 23. Let v be z(17). Let u be (-1)/(-14)*4 - 131312/v. Suppose 4*b - 8864 = -4*p, 4*p - 5*b - 4219 = u. Is p composite?
False
Let r(a) = -2*a - 14. Let s be r(-9). Let o be (5 - 1) + 0/3 + s. Suppose 0 = -o*y + 14*y - 5934. Is y prime?
False
Let b = 3061 - 1746. Suppose -209 = -4*n - x + b, 3*x - 752 = -2*n. Suppose 3*t - 11 = n. Is t prime?
True
Suppose 5154 = -3*z + 3*o, -516 = z - 3*o + 1200. Let p = 5512 + z. Is p composite?
False
Suppose 2*x - 37 + 27 = 0. Suppose -8*h = -x*h + 5*q - 38537, h - 12823 = 4*q. Is h prime?
False
Let w(m) = m - 2. Let z be w(9). Let b(k) be the second derivative of k**4/3 + k**3 + 13*k**2/2 + 24*k. Is b(z) prime?
True
Suppose -4*a + 83 + 13 = 0. Suppose 759 = 48*v - 15*v. Suppo