ppose 3*p - 12 = 4*p. Let s be b(p). Let u = 2 + s. Is u composite?
True
Let k(p) = 105*p**3 - p**2 + 13*p - 52. Is k(3) a prime number?
False
Suppose -3*i - 2*i = 40. Let t be (-1 - i) + -4 + 3. Suppose -369 = -t*o + 3*o. Is o a prime number?
False
Let w be 20/35 + 104/14. Suppose -1455 = -w*a + 3*a. Is a a prime number?
False
Suppose -2*i = -i - 12. Suppose -759 = -i*b + 9*b. Let z = -110 + b. Is z prime?
False
Let k(a) = -27817*a - 32. Is k(-1) composite?
True
Let u(r) = -r**3 + 9*r**2 - 9*r + 8. Let p be u(8). Let d(a) be the first derivative of a**4/4 + 641*a - 26. Is d(p) a composite number?
False
Suppose -873*b + 172564 = -869*b. Is b a prime number?
False
Let f be 10/35 - (-1900)/14. Let u be f/14*56/16. Is (24/(-4))/2 + u prime?
True
Suppose -4*c = 2*i + c - 23, -i - 5*c + 19 = 0. Suppose -841 = -5*m + i*m. Is m a composite number?
True
Suppose 76874 = 2*x - 3*z, 153732 = 4*x + 2*z - 4*z. Is x a composite number?
False
Suppose k = 2 - 3, 7 = 2*a + 3*k. Suppose a*r = -2*s + 12, 5*s + 5 = 4*s + 3*r. Is 191*(-2)/(-1 - s) a composite number?
False
Let p = -18134 + 36253. Is p prime?
True
Let z(u) = -2*u**2 + 10*u - 5. Let m be z(4). Suppose 4*b - 10392 = -5*d - 2571, -b = -m*d + 4679. Is d composite?
True
Suppose -8*y + 7993 = -6*y + 3*n, 4*y - 15976 = -4*n. Is y composite?
False
Let u = 1 + 8. Suppose -u*y = -5*y - 132. Is (-1)/((0 - 3)/y) composite?
False
Suppose -817 = r - 3*v, -62 = r + 4*v + 727. Let t = -452 - r. Is t composite?
False
Let z = 772 - -5697. Is z prime?
True
Let m = 530 - 154. Suppose 4*t - 3*g = m, t + 8*g - 71 = 3*g. Is t a composite number?
True
Let l be (1 + (-2)/(-10))*5. Let p be 225/81 + ((-136)/36 - -4). Suppose p*q = -l, 4*j + 4*q - 1328 = -492. Is j prime?
True
Suppose 0 = -2*w + 8*t - 4*t + 18, 4*w = t + 15. Suppose -2*x = -4*k + 334 + 6, w*k - x - 257 = 0. Is k a prime number?
False
Suppose 0 = -l - 1, -312083 = 7*i - 9*i + l. Is i a composite number?
False
Suppose -3*w - 100 = -5*z, -40 = -2*z - 0*z - 2*w. Suppose 5*u = 5*a + z, 3*u + 0*u - 4*a = 13. Suppose 0*k - 18 = -u*k. Is k a prime number?
False
Let p be (27645/2)/((-8)/(-80)). Suppose -16*x + p = 14017. Is x prime?
False
Let k(r) = -r. Let x(h) = 515*h + 6. Let y(v) = -3*k(v) + x(v). Is y(2) prime?
False
Let b(f) = -f**3 + 16*f**2 + 3*f - 6. Let i be b(21). Let v = 245 - i. Is v a composite number?
False
Let z be 7 + -3 + -5 + 3. Let k(r) = 30*r**2 - 5*r + 5. Is k(z) composite?
True
Let s(u) be the third derivative of u**6/12 - u**5/120 - 5*u**4/24 - 11*u**3/6 - 11*u**2. Let a(g) be the first derivative of s(g). Is a(-4) a prime number?
True
Suppose -2 - 172 = -2*a. Suppose 0 = 5*c - 4*t + 252, -t - 105 = 2*c - 4*t. Let b = c + a. Is b prime?
False
Suppose 0 = -k - 5*k + 6. Is 2179 - 0/(-5 + k - -5) composite?
False
Let q(a) = 2*a**2 + 9*a + 18. Let u be q(-4). Is u*32 + (-3)/1 composite?
True
Is ((-30)/(-45))/((-2)/(-28437)) prime?
True
Let b = 305 - 148. Is b prime?
True
Is 435169/42 + 8 + 2/(-12) composite?
False
Let j(h) be the third derivative of h**6/120 - h**5/15 - h**4/24 + 2*h**3/3 - 5*h**2. Let d be j(4). Let g(c) = c**2 + c + 329. Is g(d) a prime number?
False
Let p = 879 - -1732. Is p a prime number?
False
Let u = 42 - 51. Let y(g) = 5*g**2 + 11*g + 13. Is y(u) a composite number?
True
Let i(g) = 27*g**2 - 44*g - 142. Is i(-43) composite?
False
Let w(u) = -2*u**2 - 16*u + 6. Let l be w(-8). Let q be 0 + (-3 - -633) + 3. Is q/6*(8 - l) composite?
False
Suppose -3*j + 29 = 5*z - 75, 85 = 4*z + 3*j. Suppose -24*w = -z*w - 8465. Is w a composite number?
False
Suppose 0 = 3*w - 3*c - 0 - 12, 2*w - 5*c - 8 = 0. Suppose w*a + 2*o - 2600 = 0, 2*a + 2*o - 653 = a. Is a prime?
False
Let n(y) = 189*y**3 + 3*y**2 + 62*y - 293. Is n(5) prime?
False
Suppose 0 = 6*p - 973 - 581. Is p prime?
False
Suppose 4*j - 10938 = -3*x + 10907, 0 = 3*j + 3. Is x a composite number?
False
Let i be ((-84)/(-10))/(10/5575). Suppose i = 2*z + z. Is z prime?
False
Let g(f) = 13*f + 20. Let z(k) = 25*k + 39. Let d(u) = -5*g(u) + 3*z(u). Let b be d(-12). Let x = 314 + b. Is x a composite number?
False
Let z = 9589 - 6542. Is z prime?
False
Is (9 - (-250119)/36)/(4/16) composite?
False
Let u be -1 - 2/(-2)*1. Suppose 5*p = -0*w + 3*w - 31, -w - p - 3 = u. Is 1/w - (-277)/2 prime?
True
Let u be (825/(-6) - -3)*-2. Let r be (-3)/((-3)/u) - -3. Is (r/(-20) + -3)*-5 prime?
True
Suppose 45 = s + 4*s. Suppose 5*b - 39 = -s. Is (-272)/(-6) + 4/b a prime number?
False
Let r = -29 - -32. Suppose -z - r*w - 2105 = 0, w - 6 = -w. Is (-2)/5 + z/(-10) a prime number?
True
Suppose -1057*v = -1049*v - 1000424. Is v prime?
True
Suppose 5 = -f - 34. Let q = 94 + f. Is q prime?
False
Suppose 15 = 71*x - 66*x. Suppose 0*t + t - 4*n - 45 = 0, t - x*n = 48. Is t composite?
True
Let s = 6200 + -1431. Is s composite?
True
Suppose 5*k = -4*w + 21877, 6*w = -5*k + 10*w + 21853. Is k composite?
False
Let w = -5266 + 8853. Is w a composite number?
True
Suppose -9 = 5*g + 1, 3*v - 2*g - 18205 = 0. Is v a prime number?
True
Let x = 311805 + -210446. Is x composite?
False
Is 165/(-132) - (-45441)/4 a prime number?
False
Let a(i) = 5*i - 27. Let g be a(-11). Let l = g - -125. Is l prime?
True
Let p = -2172 - -4223. Is p a prime number?
False
Let d = -75 + 79. Suppose -165 = -o + 5*i + 68, -3*i - 898 = -d*o. Is o a prime number?
True
Let b(i) = -134*i - 163. Is b(-22) a prime number?
False
Let v(g) = 9*g + 16. Suppose 0 = -u + 4*o - 15, 0 = 3*u - 2*o - 3*o + 10. Let s(f) = 10*f + 17. Let x(p) = u*v(p) - 4*s(p). Is x(13) prime?
False
Suppose -5*w = 2*v - 5791, -2*v + w = -4*v + 5771. Let r = v - 1322. Is r composite?
True
Suppose -4278 = 46*p - 52*p. Is p - 25 - (-1*3 - 0) prime?
True
Suppose -13*q + 11671 = -16968. Is q a prime number?
True
Let m(r) = -r**3 - 6*r**2 - r - 1. Let n be m(-8). Let w be n/75*(-20)/(-6). Suppose -w*a = -513 - 633. Is a a composite number?
False
Suppose -4*b - 54 = -4*i - 14, 2*i = 4*b + 22. Suppose l + 7016 = i*l. Is l a prime number?
True
Suppose 0 = -2*n + 2*k + 4, 16 = 2*n + 3*k - k. Suppose 0 = -5*b + 20, n*s - 2*s + b - 10 = 0. Suppose -4*y = -s*p + 254, -22 = -p + 5*y + 105. Is p prime?
True
Suppose 1240 = 5*l - m - 2517, -3*l = 4*m - 2268. Suppose 4*x = -4*y - y + l, 4*y = x + 589. Is (7 + -6)*(y + 1) a composite number?
False
Suppose 0 = -3*b - 0*b + 561. Suppose -i = -b - 154. Suppose -4*l = -5*l + i. Is l a prime number?
False
Let c(a) be the third derivative of 5*a**4/6 - 19*a**3/6 + 16*a**2. Is c(9) a composite number?
True
Let t = -171 - -84. Let y be ((-686)/(-35))/((-3)/(-15)). Let l = y - t. Is l a composite number?
True
Suppose 0 = -3*x + 12, 2*j + 0*j - 2*x - 2 = 0. Suppose -j*k + 522 + 238 = 0. Let b = k - -39. Is b a prime number?
True
Let m be (-3774)/(-26) - 8/52. Suppose 89 = v - 2*a, m = 3*v - 3*a - 134. Is v prime?
True
Suppose -a + 3*a = m + 6, 29 = m + 5*a. Suppose 0*k + 2*k - 489 = -3*x, m*x = -2*k + 494. Is k a composite number?
True
Let p(q) = q**2 - q - 1. Let l be p(-1). Is l*(-8 + 4 - -71) a composite number?
False
Let k(r) = -1594*r**2 + 2*r - 1. Let i(x) = -x**2 - x + 1. Let m(f) = -4*i(f) - k(f). Is m(1) a composite number?
False
Let r = 144 - -4. Suppose -j - 123 = h - 569, 3*j - 3*h = 1314. Suppose -j = -5*q + r. Is q prime?
False
Let n be 4*3/((-12)/(-326)). Let c(x) = -x**2 + 6*x - 2. Let g be c(5). Suppose 0 = -g*w + w + n. Is w composite?
False
Suppose s - 186 = 5*q + 147, -4*s + 1408 = -q. Suppose 5*d = -s + 1018. Suppose -3*z = n - d, -2*z - n - 3*n + 102 = 0. Is z prime?
True
Let g(r) = -r**3 + 10*r**2 - 10*r + 12. Let l be g(9). Suppose l*h + 926 = 3539. Is h a composite number?
True
Suppose -t + 759 = -634. Is t a composite number?
True
Suppose -4*d - d = -5*m - 15, d - 3 = 4*m. Let o(u) = -2*u - 2. Let k be o(d). Let x(z) = z**3 + 10*z**2 + 3. Is x(k) a prime number?
True
Let w = 8 - 13. Let x = w + 6. Is (x + -2)*(-92)/4 a composite number?
False
Let z be -1*((-4)/22 - (-25704)/44). Let u = z - -1263. Is u a prime number?
False
Suppose -5*t = -3*j - 8665, 24*j = 20*j. Is t composite?
False
Let f(a) = -a**2 + 8*a - 7. Suppose -6 = -k - 0*k. Let x be f(k). Suppose -5 = v + 4*v, 617 = x*n - 2*v. Is n a prime number?
False
Let p = 1566 + -1087. Is p composite?
False
Suppose 5*i - 4*c = 19, -5*i + 32 = -5*c + 12. Suppose i*u + 