l. Is t composite?
True
Let w(r) = 88*r + 22. Let y be w(-7). Let k = y + 1001. Is k prime?
False
Is (-3095906)/(-462) + 4/(-42) composite?
False
Let x(b) = b**3 + 4*b**2 + 2. Let y(g) = -g - 16. Let t be y(-12). Let a be x(t). Let d(j) = 31*j**2 + 2*j - 1. Is d(a) a composite number?
False
Is 16792/56*28/4 a composite number?
False
Let b = 1450 + 3571. Is b a prime number?
True
Let z(k) be the second derivative of -19*k**3/6 - 17*k**2/2 - 13*k. Is z(-12) a composite number?
False
Let v be 16 + ((-12)/8 + 1)*2. Suppose 0 = 4*z + 2*w - 4220, -6*w = -2*z - w + 2110. Suppose -v*o + z = -10*o. Is o a composite number?
False
Let y = 180 - 37. Is y prime?
False
Suppose 3*q = 2872 + 389. Is q composite?
False
Let b(h) = 4*h**3 + 14*h**2 - 12*h + 61. Is b(11) a composite number?
False
Suppose 3*b + 5*i + 6 = -0*b, 12 = -b - 5*i. Suppose 3*f + 5*a - 3417 = a, -3417 = -b*f - a. Is f a prime number?
False
Suppose 0 = -4*p - 0*p - 12, 5*n = -2*p + 1399. Suppose 0 = 5*l - 4*i - 857 - n, 4*l + 3*i - 898 = 0. Is l composite?
True
Let z(b) = 21*b + 24. Let x be z(11). Let s = x + -64. Is s composite?
False
Let b(a) = a + 14. Let s be b(6). Suppose p + 4*p = s. Suppose -y + 0*i + 146 = 5*i, 530 = p*y + 2*i. Is y a composite number?
False
Let s(k) = 1180*k**2 + 3*k + 1. Let b be s(-3). Is b/(-42)*(-3)/2 a prime number?
True
Suppose 0 = 5*h - 0*q + 3*q + 22, 0 = -h + 4*q + 14. Let o be (-3)/(-12)*h*30. Is (-2)/(-6) + (-5590)/o composite?
False
Let n be 7477*(3 + 7/(-3))*-3. Let y = n - -21093. Is y prime?
False
Let y be ((-10)/25)/(2/(-20)). Suppose -24 - 120 = -y*b. Is (-2)/(-12) - (-678)/b composite?
False
Let y be ((-4)/(-6))/((-4)/12). Let k(r) = 859*r**2 - r - 1. Is k(y) a prime number?
False
Suppose 0 = 88*h + 6800010 - 20228546. Is h prime?
True
Let v = -495 + 1174. Is v composite?
True
Suppose -3*r - 5770 = -8*r. Let p = -891 - -222. Let w = p + r. Is w composite?
True
Let n(k) = 338*k**2 - 17*k + 1. Is n(-6) a composite number?
True
Suppose -h = -229 - 98. Let n = h - -36. Suppose 3*w = 6*w - n. Is w a prime number?
False
Suppose 27*l = 17*l + 13610. Is l a composite number?
False
Let a(x) = x**2 + 12*x + 13. Let s be a(-11). Suppose -2*d - s*q = 2, -3*d + 4*q + 2 + 2 = 0. Suppose 6*n - 8*n + 194 = d. Is n composite?
False
Suppose c - 13 = 2*c. Let n = 11 + c. Is (2980/(-8) - 3)*n a composite number?
False
Let m = -6 + 8. Is ((-10)/20)/(m/(-1436)) prime?
True
Let w be (-3)/(48/(-50)) + 3/(-24). Is ((-6)/(-8))/w + 355/4 prime?
True
Let d(k) be the second derivative of 11*k**4/12 - 3*k**3/2 - 13*k**2/2 + 3*k. Is d(-4) prime?
True
Let d(g) = -223*g - 54. Is d(-19) a prime number?
False
Let o(m) = 2*m**2 + m - 24. Suppose 6*z - 4*z = 34. Is o(z) composite?
False
Is ((-3071)/74)/(-1*3/3342) prime?
False
Let g(x) = 851*x**2 + 20*x + 31. Is g(6) prime?
False
Suppose -2491 = -b - 4*r, -5*b - 3453 = 3*r - 15874. Is b a prime number?
False
Let r(v) = 21*v**2 - 8*v + 109. Is r(37) a composite number?
True
Suppose -o + 2*x + 10 = 0, 3*x + 14 = o + 1. Suppose -3491 = -o*u - 63. Let l = u + -526. Is l prime?
True
Let z(m) = -m**2 - 20*m + 2. Let r be z(-20). Is (-331 - -17)*r/4*-1 prime?
True
Suppose 6*q + 3*q + 29790 = 0. Is 6/15*q/(-4) a prime number?
True
Suppose -41*a + 29*a + 811524 = 0. Is a a prime number?
False
Let i be (3/(-6))/(2/(-8)). Suppose -737 = -3*w - 2*b - 3*b, 2*b - 498 = -i*w. Is w a composite number?
True
Let w(s) = 145*s**2 + 15*s - 37. Is w(6) prime?
True
Suppose 2*x - 30395 = -3*q - 4209, 0 = x - 5*q - 13093. Is x a composite number?
False
Suppose m + a = 6, 6*m - 25 = 2*m - 3*a. Let f(r) = 3*r**2 + 6*r + 15. Let h be f(m). Let q = h - -31. Is q a composite number?
True
Suppose i - 5985 = 4*j, 0 = -3*i + 8*i + j - 29904. Is i prime?
True
Let n(o) = -17*o**2 + 38*o - 38. Let f be n(26). Let c = -7328 - f. Is c a prime number?
False
Let d(n) = -n**2 + 4*n - 1. Let p be d(3). Let h(t) = 136*t**3 + 2*t**2 + 2*t - 1. Is h(p) a prime number?
False
Let i = -5662 - -15189. Is i composite?
True
Let q = -22 + 21. Is 2 - q - 7/(28/(-3184)) composite?
True
Let a = 1847 - -7544. Is a composite?
False
Is (-9)/((18/(-4143))/2) a composite number?
True
Suppose 57*t + 48725 = 62*t. Is t composite?
True
Let l = -11409 + 20188. Is l prime?
True
Suppose -5*m + m = 5*u - 248927, -5*m - 49768 = -u. Is u prime?
True
Let r(p) = 3*p - 4. Let u be r(-7). Let g = u - -32. Suppose -2*a = -g*a + 955. Is a a prime number?
True
Suppose -7716 + 22338 = 6*d. Suppose -5*s = 4*f - 2431, s + 4*s - d = 2*f. Is s composite?
False
Suppose -p + 576 = 2*u, p - 2*p - u + 578 = 0. Let x(q) = 28*q**2 + 6*q + 15. Let r be x(4). Let t = r + p. Is t prime?
False
Suppose 2*f - 1 = -7, 0 = -4*i - 4*f - 32. Is -2 + 5 + (i + 4 - -392) a prime number?
False
Let z be -16 + -5 + 0/(-1). Let x be 2008/6 + (-7)/z. Let s = 633 - x. Is s a prime number?
False
Let j = 15864 - 5891. Is j a composite number?
False
Let b(p) = -1364*p**3 - 6*p**2 - 7*p + 1. Is b(-2) composite?
False
Let t = 18 + -21. Let x be (-2426 - 4) + 2 + 4. Is x/(-18) - (-2)/t a prime number?
False
Let r(u) = -2*u + 7. Let s be r(4). Let z = s - -1. Suppose z*j - 340 = -4*j. Is j a composite number?
True
Suppose -5*u + u + 5244 = 0. Let x = u - 830. Is x a composite number?
True
Let z be 0 - -2*1226/4. Suppose j + 2*x + 203 = 2*j, 0 = -3*j + 2*x + z. Is j prime?
False
Suppose 23*s - 17*s - 30 = 0. Is s/(50/2936) - (-33)/(-55) a prime number?
True
Suppose 9*d - 319368 = -78537. Is d prime?
True
Suppose 2*b = 4726 + 2502. Let w = 5111 - b. Is -4*3/((-36)/w) a prime number?
True
Suppose 4*g - 2432 = 3*g + u, g + u - 2442 = 0. Is g prime?
True
Let i be 6 + -8 - (0 - 2)/1. Let b(k) = k**3 + k**2 - 3*k + 633. Is b(i) prime?
False
Let a(o) = -o**3 + o + 9461. Let q be a(0). Suppose 5*k - q = 4*j, k - j = 2*k - 1894. Is k composite?
True
Let p = 409 - -1405. Is p composite?
True
Let b = 10 + -10. Suppose 2*d - 4*d = 8, b = -4*l - 5*d - 24. Is (265/(-20))/(l/8) a composite number?
True
Let f be -4*1 + (-1 - -1). Let g(j) = -3*j**3 - 2*j**2 - 4*j - 1. Let i(m) = -2*m**3 - 2*m**2 - 2*m - 1. Let p(o) = 3*g(o) - 5*i(o). Is p(f) a prime number?
False
Let t(n) = -567*n**3 - 4*n**2 - 8*n - 3. Is t(-2) prime?
False
Let t(c) = -63*c + 17. Suppose 4*k - 8*k - 72 = 0. Is t(k) a prime number?
True
Suppose 0 = -13*g + 11*g + 2*h + 336, 0 = -g - 3*h + 168. Is (-15)/(-10)*g - 3 a composite number?
True
Is -2129*(110/(-11) - -9) prime?
True
Let j(m) = -4*m**2 - 6*m + 5. Let g be j(4). Let s = g - -180. Is s a composite number?
False
Let z = 14446 + -5355. Is z composite?
False
Let b be (-32556)/15 - 3/5. Let m = -792 - b. Is m a prime number?
False
Suppose 80*g + 136373 = 1123813. Is g prime?
True
Suppose 4*h = 990 + 166. Is h a composite number?
True
Suppose 0 = -y - 4*r + 12 - 3, -1 = -r. Suppose -y*i = -7*i + 2722. Is i a prime number?
True
Let j(u) = 209*u + 21. Let z be j(7). Let s = -805 + z. Is s a composite number?
True
Let c be (-2)/(-4) - 3471/6. Let d be c - (0 + (2 - -2)). Is -1*(d/2 + -2) a prime number?
True
Let n be (0/(-2) + -1)*-4. Suppose -7*x = -n*x - 9. Suppose -y + 27 = r + x*y, -4*r + 3*y = -51. Is r composite?
True
Let r be 0 + (-2 - -11 - 4). Suppose -r*u + 16 = -u. Suppose 2527 = u*p + 299. Is p composite?
False
Let c = -1582 + 3095. Let w = c + -882. Is w composite?
False
Suppose 4*z = 4*n - 2180, 3*z + 1341 + 286 = 5*n. Suppose -8*h - 852 = 1084. Let g = h - z. Is g a prime number?
True
Is 31/((-279)/(-246252)) + (-1)/3 prime?
True
Let r = 3 - 1. Suppose 2*n - 2*k - 14 = 0, r*k = -3*n + 4 - 8. Suppose n*u - 1614 = -4*u. Is u a prime number?
True
Let m be -4 + (-10)/5*(-723)/2. Suppose d + 5*g + 336 - 1064 = 0, 2*g - m = -d. Is d a composite number?
True
Let y = -21 - -21. Suppose -3*x - 2*x + 4*g = -423, y = 3*x - 2*g - 255. Is x composite?
True
Is (-2)/((-6)/(-2721))*-7 prime?
False
Let g = 52 + -49. Suppose g*q - 8*q = -695. Is q a prime number?
True
Let n(f) = 42*f + 2. Let t be n(-2). Suppose 8*y = -1123 + 99. Let g = t - y. Is g a prime number?
False
Let p(j) = -70*j - 6. Let d be p(-11). Let i = 4847 - d. Is i a composite number?
True
Let i(y) = -y**2 - 9*y - 1. Let c be i(-5). Let p = c - 15. Suppose p*v = 2*q + 1682, 2*q + 46 = -5*v + 2135. Is v prime?
True
Suppose 5*m + 0*q - 555 = -2*q, -4*m = 3*q - 444. Suppose -b 