 + 16 + 2. Let o be t(17). Let s = -4793 + o. Is s prime?
True
Suppose -448271 = -4*d - s, -138*d = -141*d - s + 336202. Is d a prime number?
True
Let q(d) = -6502*d**3 - 6*d**2 + 11*d + 49. Is q(-4) a composite number?
True
Is 1/((-83)/(-332)*(240126/(-240134) + 1)) a composite number?
False
Suppose -3*m + f + 2 = 0, 3*m = -3*f - 2*f - 10. Suppose m*z = z - 9. Suppose 573 = -z*k + 12*k. Is k composite?
False
Let r(p) = -p**3 + 7*p**2 + 5*p + 33. Let q be r(8). Suppose -14*d = -q*d + 12665. Is (-1)/2*(d + -1) prime?
False
Let t = -15009 - -21176. Is t a composite number?
True
Let l be (-7 - -3 - -18) + -3 + -1. Suppose 12*c - l*c = -4*r + 13002, 3*r - 9754 = c. Is r composite?
False
Suppose -15*v - 10*v = -9*v. Suppose v = i + 4*f - 3489, 5*i + 4267 = 2*f + 21712. Is i a prime number?
False
Suppose -3466566 - 2244450 = -22*j - 2*j. Is j composite?
False
Let w be (-35)/(-9) + 4/36. Let d be (9/18)/(1/w)*2. Suppose -d*o + 2*u = -1912, 240 + 231 = o - 4*u. Is o a composite number?
False
Suppose -2*a + a - 50 = 0. Let n = 261 + -256. Is 1 + 21631/n - a/(-250) prime?
True
Suppose -67*z + 132*z = 7606105. Is z composite?
False
Let o(i) = 22*i - 33*i + 10*i + 3*i + 16*i + 235. Is o(17) composite?
False
Let g = -241 + 241. Suppose -26*z + 908 + 418 = g. Is z composite?
True
Let b(s) = 5*s**3 + 2*s**2 - 2*s - 3. Let r be b(-1). Let w be r - 1*10/(-2). Is (w/(1 + -2))/((-1)/501) a composite number?
True
Let m(j) = 2466*j**2 - 21*j - 103. Is m(-4) composite?
True
Let n(p) = -404080*p + 3557. Is n(-3) prime?
False
Is 1654157/4 - (-25)/(-1700)*17 a prime number?
False
Let h(r) = 7*r + 28 + 23 + 2*r**2 - 67. Is h(13) a prime number?
False
Let d be 26 + (-3)/6*-4. Let w = -1258 + 551. Is 3/2*d*w/(-42) a composite number?
True
Let o = 3039 - -3896. Let r = -3676 + o. Is r a composite number?
False
Suppose 4*y = -h + 25473, -y - 16508 = -2*h + 34474. Is h a composite number?
True
Let r = -458 - -348. Is (-613624)/r - (-2)/(-5) a prime number?
False
Let w(x) = 3*x**2 - 14*x - 41. Let f be w(7). Is (4/f)/(3/6702) a composite number?
False
Let u(x) = -9836*x + 57. Is u(-7) prime?
True
Let i = -62 - -65. Suppose 3*g - 5*q = -i*q + 3329, -5*q - 5 = 0. Suppose -33 = -2*a + g. Is a composite?
False
Let k be 9/21 + (-12)/28. Is 6 + (-5 - 0 - -9112) - k prime?
False
Suppose 3 = -3*p + 4*p. Suppose 4*i - 1281 = -0*y - p*y, -3 = 3*y. Suppose 0 = 4*s - 3*j - i + 121, -102 = -2*s + j. Is s a composite number?
False
Let t(m) = -2309*m + 473. Is t(-12) prime?
True
Let q = -890 - -902. Let d(l) = 51*l - 4. Let c(h) = 103*h - 9. Let g(p) = 3*c(p) - 5*d(p). Is g(q) prime?
True
Suppose 2*t - 6 = -0. Let u = -1995 - -2525. Suppose 0 = -5*b - h + 1260, 198 + u = t*b - 5*h. Is b a prime number?
True
Let l(w) = 7*w**2 + 2*w + 2. Let b be l(-2). Let j(p) = -2*p - 9*p - b + 11*p**2 - p - 4*p. Is j(-9) composite?
False
Let u = 27076 + -1653. Suppose -4*i = -9229 - u. Is i a composite number?
False
Suppose 4*b - r - 49 = b, 2*b = 3*r + 35. Let v be 2/4*b - 5. Let x(p) = 59*p**2 + 5*p - 5. Is x(v) a prime number?
True
Suppose 12 + 6 = -3*j. Let y be 3965 - 2 - j/(-3). Suppose -6*b = -y - 5261. Is b prime?
False
Let o(p) be the third derivative of 137*p**4/24 - 37*p**3/3 - 274*p**2. Is o(15) a composite number?
True
Suppose -5*o + 132837 = 2*u, -5*u = -969*o + 968*o - 332106. Is u prime?
False
Let i(q) = 14314*q**3 + 6*q**2 + 97*q - 301. Is i(3) composite?
True
Suppose 0 + 6 = 2*q. Let r(w) = 0*w**3 + 4 + 9*w - 6*w**2 + 2 - 3*w**q + 5. Is r(-5) composite?
False
Suppose -3*w = 2*y - 11, 3*w - 5*w - 5*y = 0. Suppose -w*b = -0*b - 5*h - 40, h = 5*b - 32. Is (-4 - 2845/5)*(-2)/b a composite number?
False
Let a = -49 - -51. Let c be (2 - 4)*(-7)/a. Let b(g) = 2*g**3 + 6*g**2 + 9*g - 6. Is b(c) prime?
False
Let u be -3 + (-14)/49*-14*2. Suppose 459 - 1254 = -u*n. Is n a prime number?
False
Suppose -4*b + 5*b = d - 71, 0 = -4*d + 5*b + 288. Suppose -d = -l - 67. Suppose l = -o + 5*r + 654, 1297 = 2*o + 5*r - 4*r. Is o composite?
True
Let h = -14082 - -33239. Is h prime?
True
Let y(w) = 24*w**3 + 4*w**2 - 26*w - 59. Is y(14) a prime number?
False
Let x(b) = -97*b**3 - b**2 - 2*b - 1. Let o(c) = -2*c**2 + 35*c + 17. Let j(m) = -m**3 + 5*m + 6. Let w be j(-3). Let p be o(w). Is x(p) a composite number?
False
Suppose 2*a + z - 17 = 4*z, 0 = a - 3*z - 13. Suppose m - a*m + 4*c = 1, 1 = 3*m - 2*c. Is 1284/10 - m - 2/5 a composite number?
False
Suppose 2074*h = 2194*h - 4293480. Is h a prime number?
False
Let r = 2 - 0. Let x be 168/36 + (-4)/(-3). Is (65 + r)/(x/42) composite?
True
Suppose -1 = -3*v - 4*l, v - 5*l = -2*v + 19. Let w = 1173 + -507. Suppose t - 5*h - 138 = 0, -v*t - 187 = -2*h - w. Is t prime?
True
Let l = 37 + -35. Suppose v + v = l. Is 1170 - (3 + (-1 - v))/(-1) a composite number?
False
Is 188/(-846) - 2*(-5593882)/36 composite?
False
Suppose 31282 = 3*r - g, -6*g - 2 = -4*g. Is r composite?
False
Suppose -5*h + 18 + 9 = -3*d, -3*d = 4*h. Suppose -h*y = -46791 - 47976. Is y a composite number?
True
Suppose -203*b = -225*b + 2080298. Is b a prime number?
True
Suppose -13*n + 2*y + 1098254 = -706587, 5*n + 5*y = 694135. Is n composite?
True
Let b = 915019 - -79048. Is b prime?
True
Let p be (275/22)/((-3)/(-450)). Suppose 7*s - p = 2*s + 4*f, -1088 = -3*s - 5*f. Is s prime?
False
Suppose 4*g - 6*g + 3*n = -22001, 2*n + 33004 = 3*g. Suppose 2*y - w - g = w, 2*y - 11002 = w. Is y a composite number?
False
Suppose 3*s - 96613 = -5*g, -26966 = -2*g - 2*s + 11680. Is g composite?
True
Let j(n) = n**3 + 5*n**2 + 3*n + 11. Let v be j(-4). Let l(h) = h**3 - 14*h**2 - 17*h + 30. Let s be l(v). Is -2 + (s + -1)*3695/(-5) a composite number?
True
Let i = -787 - -1345. Suppose 4*a - i = -a - g, 5*a - 546 = 3*g. Is a a composite number?
True
Let z = 452 - 778. Let l = z + 445. Is l a prime number?
False
Let l(k) = -k**3 - 24*k**2 + 53*k + 31. Let i be l(-26). Suppose 0 = i*u + 14*u - 59793. Is u a prime number?
False
Let n(o) = 338*o + 11. Let g(c) = -675*c - 24. Let p(t) = 5*g(t) + 9*n(t). Let l be p(12). Is l/(-12) + (-4)/64*-4 composite?
True
Suppose 6690 - 63874 = -16*g. Let j = 11613 - g. Is j prime?
True
Suppose 8*w = 3*w + 40. Suppose w*y + 4 - 12 = 0. Let o(a) = 70*a**2 + a. Is o(y) a composite number?
False
Let c = 85 - 82. Suppose -c*o - 3*o + 31170 = 0. Is o a prime number?
False
Let q(k) = 482*k**2 + 2*k - 1. Suppose 4*z + t + 5 = 3*z, 3*t + 8 = 4*z. Is q(z) prime?
True
Let m = 2608 + -1516. Let n(i) = 3*i + 32. Let c be n(-9). Suppose 2*k - m = -k - 3*j, 1829 = c*k - 4*j. Is k a prime number?
False
Suppose 133 = -3*m + 5*s, 0 = m + 3*m + 5*s + 119. Let o = 127 - m. Is o prime?
True
Let v be -32036*(-4*(-3)/(-4) + 2). Suppose 100*s = 96*s + v. Is s a prime number?
True
Let q(y) = 22*y**2 - 11*y + 11. Let j be (-55)/(-5) - (0 - -5). Let f be q(j). Let d = f - -518. Is d a prime number?
False
Suppose 18*v - 104 + 50 = 0. Suppose -9*m + 10*m = v*k - 16871, -22500 = -4*k + 4*m. Is k a prime number?
True
Let r(p) = -2*p**3 - 32*p**2 - 24*p - 33. Let i(s) = 5*s**3 + 94*s**2 + 72*s + 98. Let h(c) = -4*i(c) - 11*r(c). Is h(14) prime?
True
Let m(o) = 2674*o**2 + 103*o - 326. Is m(3) composite?
False
Let n = -1501 - -5754. Is n prime?
True
Let g be (-8)/(72/(-9)) + (-1 - 0). Is (-3 - 2290)/(g + -1) a prime number?
True
Suppose 3*v - 283 = -151. Is 769/(6 + (-260)/v) composite?
True
Let b(m) = -m**3 + 8*m**2 - 7*m - 4. Let g be b(7). Let f(o) = o**2 + 9*o + 14. Let p be f(g). Is 3 + (p - -1) + (588 - 0) a prime number?
False
Suppose -22*s = -1131116 - 2210442. Is s a composite number?
True
Is (-16)/6 - 797174352/(-1296) prime?
True
Let q(s) = s**3 + 2*s - 1. Let b be q(0). Let k be b/(-2)*54/3. Suppose -o = k*o - 1150. Is o a composite number?
True
Suppose 4*q + 5*y = -494, -2*y - 609 = -0*q + 5*q. Let h = q - -122. Is (-697)/h*(29 + -30) prime?
False
Is (11 + (17152 - -1))*13 - 3 a prime number?
True
Let u = -181537 + 1217118. Is u prime?
True
Let g = 5195 + -3546. Is g a prime number?
False
Let u(f) = 20760*f**2 + 30*f + 79. Is u(-6) a composite number?
False
Let i(k) = -k**3 + 26*k**2 - 3. Let v = 12 + 14. Let n be i(v). Is (n - 35/(-10))/((-2)/(-3188)) a prime number?
True
Suppose -22*c + 320 = -12*c. Suppose -c*z + 161698 = -87870. Is z a composite number?
True
Let r(d) be the third deri