 Suppose 6380 = 10*m - a*m + 3*v, 5*v + 12793 = 2*m. Is m a prime number?
True
Let n = 13219 + -731. Suppose -7*c - n = -15*c. Is c prime?
False
Let n(d) = d**3 - 13*d**2 - 4*d + 11. Let y be n(12). Let x = -306 + y. Is (x/4)/(11/(-44)) a composite number?
False
Let s(f) = -f**3 + 13*f**2 + 3. Let r be s(13). Let w be 2 - (-11 - -5) - r. Suppose 5*i - 2*t + 3*t - 7490 = 0, 5*t = w*i - 7520. Is i prime?
True
Let c = 1167 + -761. Let m = 725 - c. Is m a prime number?
False
Suppose d - 60 - 1 = 0. Let b = d - 35. Is b/(-4)*22*3/(-3) a composite number?
True
Let n = -10090 - -20649. Is n prime?
True
Let s(c) = 5866*c**3 - 3*c**2 + c + 1. Suppose 0 = 5*v - 4*v + 4*j - 10, -2 = -5*v + 4*j. Is s(v) a prime number?
True
Let p(o) = -41*o + 110. Let v(m) = m**2 - 122*m + 330. Let x(c) = -7*p(c) + 2*v(c). Is x(-35) composite?
True
Is 23204 + (980/210 - 2/(-6)) a composite number?
False
Suppose 137*h + 33*h - 15632807 = -23*h. Is h a composite number?
True
Is 47328186/70 - 44/(-770) composite?
True
Suppose -52861 = 7*d - 168004. Let o = d + -6627. Suppose -8*g = -14*g + o. Is g a prime number?
True
Let r = -223182 - -539765. Is r composite?
False
Suppose 5*c - 57*v = -58*v + 6660969, 5*c = 3*v + 6660953. Is c prime?
True
Is (67623/(-12))/(351/36 + -10) prime?
True
Let p = 5981 + -8413. Let q = -1263 - p. Is q prime?
False
Let q = -118 - -713. Let b = 4692 + q. Is b composite?
True
Let p(h) be the first derivative of 986*h**3/3 + 2*h - 108. Is p(-2) a prime number?
False
Suppose 0 = 10*c - 22*c + 36. Suppose 28*x - 25*x = -b + 2161, -2*x = -c*b - 1448. Is x composite?
True
Let h(t) = -5*t - 36. Let w be h(-8). Suppose 3*a + w = c, 2*c - 3*a + 12 = 32. Is 8/c*4938*(2 + -1) a prime number?
False
Suppose 7*k + 18 = 3*j + 4*k, -j + 3*k + 12 = 0. Suppose l - 119 = -m - j*l, -4*m = -2*l - 512. Is m a prime number?
True
Let l = 61603 + -8586. Is l prime?
True
Is 1265 - ((10 - 2) + 4) a prime number?
False
Let f be (941 - 3)/((-2)/(-77)). Let c = f - 15864. Is c a prime number?
True
Let i be 3/2*14/7. Let z be -7 + 5 + i + -1. Suppose 0 = -2*j + 4, z*j + 22851 = 5*r + 3*j. Is r a composite number?
True
Let b = -4365 - -6339. Let q = b - -455. Is q prime?
False
Suppose -6*z + 607192 = 2*z. Is z composite?
True
Suppose 18*r = 5*r + 26. Suppose r*q = -7*q + 43479. Is q prime?
True
Suppose -13*l - 51718 = 6*l. Is l/4*(-59 + 57) a composite number?
False
Let p(d) = -d**3 - 9*d**2 - 6*d + 16. Let c be p(-8). Suppose -5*v + 17065 + 25445 = c. Suppose 14*h - 1172 = v. Is h composite?
False
Let q be 11/(33/(-13752)) - 3. Let z = q + 10830. Is z a composite number?
True
Let d be (-184)/(-18) + -4 + (-2)/9. Suppose 6*s - 4*s = d. Suppose 3*c - 1489 = -t + 2703, s*c + 4*t - 4177 = 0. Is c composite?
False
Let h(n) = 1602*n**2 + n. Let j = -48 - -49. Let s be h(j). Let y = s - 68. Is y a prime number?
False
Let x(o) = -o**3 + 14*o**2 - o + 11. Let c be (78/30 - 3) + (-72)/(-5). Let s be x(c). Is 733 - (-1 - 2) - s a prime number?
True
Let f(m) = 1620*m**2 + 164*m - 925. Is f(6) prime?
True
Let d = -835 - -854. Suppose 403801 = d*r + 114222. Is r a composite number?
False
Let d(s) = -10*s - 145. Let r be d(-17). Suppose -2*z - 30*g = -r*g - 30993, z = -2*g + 15497. Is z a prime number?
False
Let y = 687 + -683. Suppose -a + 19394 = y*m, -3*m = -7*m. Is a a composite number?
True
Let o = -61 - -65. Suppose -o*q + 3*q - 181 = 0. Let y = q - -1058. Is y composite?
False
Let c(v) = v**2 - 8*v + 19. Let k be c(8). Let z(x) = x**3 - 20*x**2 + 26*x + 40. Let u be z(k). Let n = 262 - u. Is n a composite number?
False
Let y = 2480 + 1008. Suppose 8*f - y = 6*f. Suppose -4*q + f = -2284. Is q a prime number?
False
Let f be 65328/(-14) + (-10)/(-35) - -3. Let k = 9626 + f. Is k a composite number?
True
Let f(x) = 11970*x**2 - 1. Let u(p) = p - 17. Let c be u(18). Is f(c) a composite number?
False
Let k be ((-60)/18)/((-2)/(-6)). Let n(d) = 2*d + 28. Let t be n(k). Suppose -t*v + 2029 = -507. Is v prime?
True
Let v be 2*3*147/18. Let h = v - 45. Is (-10)/h + 2 + (-12344)/(-16) composite?
True
Let n = 62 - 55. Suppose -5*m - 8 = -2*k, 4*k - n - 9 = 4*m. Suppose 0 = 2*q + 5*s - 111 - 38, 4*q - 312 = k*s. Is q a prime number?
False
Let w = -805 - -800. Let o be 2/8 - (-81)/(-4). Is (-4924)/w + (-4)/o prime?
False
Let k = 77 + -73. Let m = -4 + k. Suppose m*h + 3*q = -h + 409, -1592 = -4*h - q. Is h composite?
False
Let u be ((-6)/(-4))/((-6)/8) + 4. Let a be u + (-68173)/63 + 1/9. Let b = 127 - a. Is b prime?
False
Let a = -461 - -675. Suppose 3*u = 308 + a. Suppose 2*l = -4*p + u, 5*l - 304 = l + 3*p. Is l a prime number?
True
Is 11/(-132)*(-162 - 3 - 1)*24294 composite?
True
Suppose -c + 64639 = -4*d - 85810, -c - 3*d = -150421. Is c prime?
False
Suppose -19*u + 2336037 = 787366. Is u prime?
True
Suppose 2*n + 70941 = 5*q, -3*n = -2*q + n + 28386. Is q*(-7)/(-42)*2 prime?
True
Let f be (2 - 4) + 4 + -2 + 21. Suppose 26886 = 27*m - f*m. Is m a composite number?
False
Suppose 0 = h + h. Suppose 9*n - 19 - 26 = h. Suppose -3*t + 952 + 93 = 2*p, 526 = p + n*t. Is p composite?
False
Let f(u) = 73*u**2 - 23*u + 28*u + 38*u**2 - 5. Suppose 4*t - 3*r + 30 = 0, 3*r + 10 + 14 = -2*t. Is f(t) a prime number?
True
Let o = -79736 + 119781. Is o prime?
False
Suppose 5*f - 6*v + 384526 = 7*f, 5*f - 3*v = 961243. Is f composite?
False
Let r = -3693 + 4022. Is r a prime number?
False
Is 1223871/3 + (-1)/(4/(-8)) a prime number?
True
Suppose -h + 94 = 4*z, -h + 34 = -4*z + 132. Let d be 5/2*(-7)/(210/z). Is (-33)/d*5584/24 a composite number?
True
Is 4 + -24 - (-15339 + -72) a composite number?
False
Suppose 12*l + 5*n - 106 = 9*l, -3*l - n = -86. Let f = 122 + l. Is f a prime number?
True
Suppose -4*o - 3534 = -2*l, -933 - 6108 = -4*l - o. Let x = l + 7828. Is x prime?
False
Let w(j) = 177*j**2 - 117*j + 341. Is w(-47) composite?
False
Let v = -6324 + 12305. Is v a composite number?
False
Let i = -194 - -198. Suppose -i*b = -0*b - 10820. Is b composite?
True
Let i(r) = -6*r**3 - 16*r**2 + 13*r - 14. Let b(j) = -6*j**3 - 15*j**2 + 12*j - 15. Let c(d) = 5*b(d) - 6*i(d). Is c(8) composite?
True
Let g be (-7)/14 + (-3)/(-6). Let v = -33 - -58. Suppose 7*b - 2*b + v = 0, g = x + 3*b - 1462. Is x a prime number?
False
Let v(y) = 8380*y + 17. Let u(g) = 2793*g + 6. Let t(a) = -11*u(a) + 4*v(a). Let k be t(2). Suppose k = -6*o + 10*o. Is o prime?
True
Let i be (0/12)/(1 - (2 - 2)). Suppose 4*y = 2*l - 7*l + 183, -4*l + 5*y + 130 = i. Is l composite?
True
Let p be ((-27)/(-3) + -2)*(-60)/(-14). Is (-655764)/(-180) + (-4)/p prime?
True
Let x be (-2 + -1)*(0 - (-6152)/8). Let z = x + 5240. Is z prime?
False
Let y(z) = 731*z**2 + 77*z + 801. Is y(-11) a prime number?
False
Suppose 3*c = -4*c + 63287. Let x = c - 6394. Is x a composite number?
False
Let i = 9921 + -3188. Is i composite?
False
Let t be 4585/(-2) - (119/14)/(-17). Suppose -4 = -5*u + 6. Is (8/(-12))/(t/1143 + u) composite?
False
Let b = 336 + -334. Is -4 + 8497 + -2 - b prime?
False
Let l be ((-3378)/(-4))/(3/34) - -6. Let h = l - 4140. Is h a composite number?
False
Let t = 13400 - -27889. Is t composite?
True
Let o = -6 + -20. Is 133445/o*(-12)/10 a prime number?
False
Let q(j) = -13*j**2 + 3*j - 9. Let o(a) = -a**3 + a**2 + a. Let y(p) = 2*o(p) + q(p). Let t be y(-6). Is 4 - ((t - -1) + -313) composite?
True
Suppose 5*y = b + 4289 - 33089, -4*y = 3*b - 86324. Suppose 3*u - 5*w = 43164, -5*u - 2*w - b = -7*u. Is u a composite number?
True
Let d(c) = -7*c**3 - c**2 + 3. Let b be d(-1). Suppose b*k = -g + 5*k + 1167, 0 = -2*g - 4*k + 2318. Is g prime?
True
Let q(j) = j**2 + 15*j + 30. Let t be q(-15). Suppose t*o - 13554 = 28*o. Is (5 - 3) + 0 + o a prime number?
True
Let q be 1/((-10)/45840*-8). Let a = 0 + 2. Suppose q = a*i - 469. Is i a prime number?
True
Suppose -7*v + 465 = -88. Let k be (1016/6)/(v/81 + -1). Is (-4)/2 + 8/((-48)/k) a prime number?
False
Let n(s) = 8*s + 4. Let t be n(-2). Is (-9)/54 + (-15062)/t composite?
True
Let n be 1/(3/(-6)) + 2. Suppose 2*b - b + 4 = n. Is 67/(((-8)/b)/2) a prime number?
True
Let b(x) = -x**3 + 10*x**2 - x + 7. Let r(u) = -u**2 - 16*u. Let a be r(-16). Suppose -11*q + q + 90 = a. Is b(q) composite?
False
Suppose 0 = 4*j - 9*j + 160. Suppose 0 = -5*t + 78 + j. Let d = 171 - t. Is d prime?
True
Let l(b) =