 number?
True
Let r = 133 - 110. Let k(j) = -j**3 + 25*j**2 + 3*j - 50. Is k(r) a composite number?
True
Suppose 16*t + 7 = s + 14*t, 0 = 4*t + 4. Suppose -2*q + 3 = -1. Suppose -i + 1068 - 4915 = -s*c, -3*i = -q*c + 1544. Is c a prime number?
True
Let c(i) = -95*i - 12. Let z be c(-6). Suppose -z = -2*o + 5*o. Let v = 5 - o. Is v composite?
False
Suppose -558*y - 22307808 = -654*y. Is y composite?
True
Let k be ((-525)/(-10))/7 - 2/(-4). Suppose -5*t + 3*t + k = 0. Is -422*(55/(-30) - t/6) a prime number?
False
Let m = 33 + -34. Let l be (0/57)/(m - 0/2). Is 2 - -356 - (l - (-3)/1) a prime number?
False
Let q be 1 + 115310 + (-63)/9. Suppose 4*w - 5*t = q - 6277, 3 = -t. Is w composite?
False
Suppose 36 = -141*f + 147*f. Suppose -6*v - f*v = -17484. Is v a prime number?
False
Is ((-8)/(-64)*-8)/((-1)/(-1169741)*-1) a prime number?
True
Let a be 42*2/((-60)/(-5)). Is 7118 - -1 - (-21 + 7)/a a prime number?
True
Let j(t) = t**2 + 18*t + 23. Let a be j(-18). Let i = a + -28. Is 2 + (-13719 + i)/(-4) composite?
False
Suppose 5 - 17 = 4*s. Is 1/(s + 9096/3030) a composite number?
True
Let k(y) = 1102*y**2 + 22*y + 125. Is k(-12) composite?
True
Let l(u) be the first derivative of 8*u**3 - u**2/2 + 42*u + 35. Is l(-23) a prime number?
False
Let k(w) = -80*w + 3599. Is k(-42) composite?
False
Suppose 151*i - 654*i + 85643164 = -11283427. Is i prime?
True
Let w = 181 - 174. Let m(z) = -4*z**2 + 3*z - 6. Let r(i) = -13*i**2 + 8*i - 18. Let t(p) = 17*m(p) - 6*r(p). Is t(w) prime?
False
Suppose -c = -6374 - 460. Suppose 0 = -4*o + 5*f + c, -4*f + 5929 = 3*o + 788. Is o a composite number?
True
Let h(f) = 441*f**2 + 8*f - 3 - 5*f + 9 + 0*f. Let w be h(4). Suppose -3*n + w = -1779. Is n composite?
True
Suppose 5*p - 2*w - 10 = -0*w, 0 = -2*w. Suppose p*s - 662 = -5*n, s - 106 = -n + 225. Is s composite?
False
Suppose -2*c - 12 = -5*a, -a + 5*a + 4 = 5*c. Suppose -4*p + 4 = -a, -4*l + 46 = 3*p. Suppose l*x - 11*x + 521 = 0. Is x composite?
False
Suppose 110 = 4*j + j + 5*x, -4*x + 66 = 3*j. Suppose 5*u = 2*o - j - 1, 4*u + 20 = 2*o. Suppose 0 = 2*l - 3*q - 183, -o*l = 4*q - 154 - 182. Is l composite?
True
Let t(o) = -10*o**3 + 8*o**2 - 39*o + 23. Is t(-12) composite?
True
Suppose 15316 + 2259 = 5*o. Let n = 13522 - o. Is n a composite number?
False
Suppose -8 = 2*s, 5*f - 29*s + 24*s = 45. Suppose -4927 = -n - 5*k + 3*k, 0 = f*k - 20. Is n prime?
True
Is (5 - 12 - 22543/(-2))/((-1)/(-2)) a prime number?
False
Suppose 1224690 + 3297807 = 93*b. Is b a composite number?
True
Let t be (21104/24)/(399/(-135) - -3). Suppose 16*v = v + t. Is v composite?
False
Let x = -5379 - -16551. Let f = x - 7123. Is f prime?
True
Let x(a) be the second derivative of 5/6*a**3 - 22*a - 13/12*a**4 - 3/5*a**5 + 0 + 17/2*a**2. Is x(-6) a prime number?
True
Suppose 103*n = 100*n + 255891. Is n prime?
True
Suppose 422*b + 84787310 - 101978632 = 175003936. Is b a composite number?
True
Let j(o) = o**2 - 2*o + 3. Let p be j(0). Suppose 3*q = p*d - 11 - 7, 5*d + 2*q - 16 = 0. Suppose -8323 - 297 = -d*l. Is l prime?
False
Let m(v) = -v**3 + 5*v**2 + 6*v + 3. Let q be m(6). Let h(z) = -5485*z**3 - 6*z**2 - 2*z + 5. Let d be h(-1). Is (-1)/q - (-3 - d/6) a composite number?
True
Is 163620714/(-3940)*(-20)/6 composite?
False
Let n(h) be the third derivative of 724*h**4/3 - 31*h**3/6 + 89*h**2. Is n(4) composite?
True
Let t(i) = i**3 - 5*i**2 + 5*i - 3. Let j be t(4). Let x(l) = 4*l**3 - l**2 + 2*l - 2. Let h be x(j). Suppose w - 874 = -h*s, 3*s - 5*w = -s + 1197. Is s prime?
True
Let w be (20 - 1) + (-24)/8. Suppose 8*q - 53688 = -w*q. Is q a prime number?
True
Suppose -3*c - 591 = -4*c. Let d be (4/2 - 1676/(-4))*2. Let x = d - c. Is x composite?
False
Suppose 0 = 5*y + 10, -4*p - 98*y = -102*y - 13932. Is p a composite number?
True
Let x = 39 - 21. Suppose -2*n = -l - 21, -x*n = -19*n + 2*l + 9. Is n a prime number?
True
Suppose -t = 2*b + 1597, 1131 = -t + 2*b - 450. Let o = 2298 + t. Is ((6 - 4)*o)/2 composite?
False
Let x = 9740 + -4581. Suppose -4*h - x = -f, 2*f - h - 25852 = -3*f. Suppose -11*o + 4938 = -f. Is o a composite number?
False
Let x(m) = -4*m**3 - 7*m**2 + 9*m + 16. Let j be x(-8). Suppose 3*b - 5887 - j = 0. Is b a prime number?
True
Let v(x) = 3*x**3 + 12*x**2 - 7*x - 5. Let i(g) = -g**3 - g + 1. Let j(n) = -4*i(n) - v(n). Let k be j(11). Is k + 303 + -4 - -1 a prime number?
False
Let j = -40 + 39. Let o be 22*j - 24/(-6). Is ((-2)/(-4))/(3/o) + 80 prime?
False
Let k = 18936 + -9293. Is k composite?
False
Suppose -g - 160 = -157. Is (-4853)/(g*5/15) a prime number?
False
Let u(i) = -83*i**2 - 9*i + 9. Let a(t) = -165*t**2 - 16*t + 18. Let x(o) = -3*a(o) + 5*u(o). Suppose 0 = 6*l - 2*l + 16. Is x(l) prime?
True
Let x be (-680)/15*27/12. Is 6605 + (-17)/(x/(-36)) a composite number?
False
Let x = -10 - -117. Suppose -x*l + 105*l = -14794. Is l a composite number?
True
Suppose -2*u + 2*r = -124461 - 38091, 15 = -3*r. Is u a prime number?
False
Let l be (-5 + -77)/(((-28)/(-232))/(-7)). Let s = l - 1989. Is s a composite number?
False
Let b(v) = -1632*v + 2335. Is b(-9) a composite number?
True
Let n = 31207 - -130510. Is n prime?
True
Suppose -22*z - 286*z = 11340324 - 63041512. Is z a composite number?
False
Suppose 5*c + 11 = -3*a + 36, 4*c + 4*a = 20. Let x = -9455 - -18821. Suppose i - x = -c*i. Is i a prime number?
False
Let r(z) = -43*z**3 - 5*z**2 - 7*z - 17. Let h be r(5). Let q = h - -2669. Let v = q - -4642. Is v a prime number?
True
Suppose i + 15 = 4*u - 4, -5*i + 1 = 4*u. Suppose 0 = u*q - 2*k + 1536, 5*q = 3*q + 4*k - 768. Let v = -206 - q. Is v composite?
True
Is ((-268292)/(-16))/((-30)/(-120)) prime?
True
Suppose 12*d + 6*d = 108. Is ((-41559)/28)/(1*d/(-16)) a prime number?
False
Suppose 50*c + 113*c - 123857920 - 7405491 = 0. Is c a composite number?
False
Suppose 2*b + 5*l - 6 = 9, -3*b - 5*l = -20. Suppose -6*x + 2*x + 2*r - 4 = 0, 4*r = b*x - 1. Is x/(-9)*(-4 - -901) a prime number?
False
Let k = 1 - -31. Suppose -k*p + 769 = -31*p. Is p prime?
True
Let o(m) = -4*m - 30. Let l be o(-8). Suppose 223 = -l*n + 1797. Let u = 1553 - n. Is u a prime number?
False
Let k be (22/(-18) - 12/(-54))*38. Let c = k - -36. Let p(r) = -3*r**3 + r**2 + 5*r + 1. Is p(c) composite?
False
Let z(h) = 65*h**2 + 10*h - 13. Suppose 27 = -a + 31. Is z(a) a prime number?
False
Let i = -87174 - -239281. Is i composite?
True
Suppose 3*y - 1258 = 4814. Let t be (-12)/18 - y/6. Let b = 825 - t. Is b composite?
False
Let l = -118638 - -374785. Is l composite?
False
Suppose 3*q - 28*w + 25*w = 3, w - 15 = -3*q. Suppose 3*f = -q*k + 50171, 50*f + 12514 = k + 45*f. Is k a composite number?
False
Suppose 3*o = -12*o. Suppose o = 9*x - 20664 + 621. Is x prime?
False
Let i = 993966 + -340817. Is i composite?
True
Let a = 122511 - -104032. Is a a composite number?
True
Let t = 30828 + 4183. Is t a composite number?
True
Suppose -24506 = -2*v + 122299 - 25043. Is v a prime number?
False
Suppose 3*k = 2*w + 2049901, -2*k + 36*w - 47*w = -1366539. Is k a prime number?
False
Suppose -4*v + 8162 = -3*p + 253, 5*v - p = 9889. Let u = 4079 - v. Is u prime?
False
Is (2465405/1290)/((-1)/(-318)) composite?
True
Let f(h) be the first derivative of -h**4 - 3*h - 7/2*h**2 + 9 - 3*h**3. Is f(-6) composite?
True
Let q be -2 + (1 - (-2 + -1)). Suppose -q*l - 11771 = -4*p + 3*l, 0 = -2*p - l + 5875. Is p prime?
True
Suppose -16*m = 18 + 606. Let a = -39 - m. Suppose -5*d + 20 = -a*d, -3*r + d + 6533 = 0. Is r a composite number?
False
Suppose -65 = -10*l + 95. Is (-2 + -23250)/(-18 + l) a composite number?
True
Is (-698517)/(-54)*(-8 - (-2 - 8)) composite?
True
Suppose 7*i + 42 - 63 = 0. Suppose 5*l - 5*p - 3615 = -0*p, 0 = -l - i*p + 739. Is l prime?
True
Suppose c + 0*a - 5*a + 6 = 0, -30 = 5*c + 3*a. Let n(v) = -2*v**3 - 14*v**2 - 14*v. Let g be n(c). Suppose 0 = -g*p + 11*p + 1561. Is p a prime number?
False
Let f = -37524 - -222473. Is f a composite number?
False
Let f = -26 - 34. Let y be 123/30 + 6/f. Suppose -1502 = -y*t + 1934. Is t a composite number?
False
Suppose 0 = -x + 4 - 5, -2*z - 2*x = -8. Suppose 0 = 5*n + 3*y - 1327, -2*n + z*n - y = 799. Let a = n - 15. Is a a composite number?
False
Let u(s) be the second derivative of s**8/6720 - s**6/360 - s**5/40 + s**4/12 - 13*s. Let h(f)