t o be (-4)/(-5) - ((-4464)/20 + s). Let l = o + -152. Is l prime?
False
Suppose -1270353 = -3503*w + 3496*w. Is w a composite number?
True
Let c(d) be the first derivative of -557*d**2/2 + 388*d - 30. Is c(-9) a composite number?
True
Suppose -3*r = -2*h - 1732 + 5230, r = -5*h + 8762. Let t = h - -14557. Is t a prime number?
False
Suppose 8*w - 134 - 26 = 0. Let c be (-345)/(-2)*984/36. Is c/w - (15/(-12) - -2) a prime number?
False
Let i be -5 + -5585*(-4)/10. Suppose 3*z + 2*r = -r + 1668, -4*z + i = -r. Is z a prime number?
True
Let z be -2 - 1*-10 - 30/15. Is -5 - (z + -9 - 3081) prime?
True
Let n be -1 + (-3240)/(-85) - (-2)/(-17). Suppose 5*g - 3723 = -2*m, -g + 786 - n = -4*m. Is g composite?
True
Let c be 2/6*0 + 38. Let z = c - 30. Suppose -p - 3*h = 4*p - 3241, 4*h = z. Is p prime?
True
Suppose 2*y - 294774 = 4*v - 8*v, 5*v = 2*y + 368499. Is v a prime number?
False
Suppose 0 = -3*w - 7*w. Suppose 2*a - 1274 = -2*x, a - 2 + 0 = w. Is x prime?
False
Suppose 4*p + 7*f - 16*f - 195799 = 0, 4*f + 48955 = p. Is p a composite number?
True
Let z = 155653 - -22186. Is z composite?
False
Let b be (76/8 - 8)*19644. Suppose 4*l - 13*l + b = 0. Is l prime?
False
Is 4 - (-682817 - 120/(-12)) a composite number?
False
Suppose -5*v + 2762685 = -0*v + 5*k, v - 3*k - 552521 = 0. Is v a composite number?
True
Let v = 67295 + -29872. Is v composite?
False
Suppose 55 - 11 = 11*n. Let q be n - (-1 - -4) - -3. Suppose 1437 = q*m + a - 0*a, 4 = 4*a. Is m composite?
False
Let s(z) = 582*z - 222*z - 225 + 638 + 48*z. Is s(56) composite?
True
Let g(y) = -19351*y + 11. Is g(-20) a prime number?
True
Let a = -22 - -21. Let f be (1/(8/36))/(a/2). Is (7204/12)/(6/f + 1) prime?
True
Let s = -37 - -39. Suppose 4*i = s*m + 8869 - 1825, -i + 3*m + 1771 = 0. Is i a composite number?
False
Suppose -5*r + 58 = 43. Suppose -134 = -r*l + 346. Let w = l - -2725. Is w composite?
True
Let s(g) = 2749*g + 961. Is s(52) a composite number?
False
Suppose 2*t + 64153 = 4*f + 313103, -3*f - 497920 = -4*t. Is t composite?
True
Let g(o) be the third derivative of -37*o**5/40 - 23*o**4/12 + 4*o**3 - 2*o**2. Let i(r) be the first derivative of g(r). Is i(-13) composite?
True
Let x = 27 - 15. Let y be 6/(-8) - ((-57)/x + 2). Suppose -q = 2*w - 1247, y*w - 3743 = -3*q - 2*w. Is q prime?
True
Suppose -13 + 5 = -2*q - 2*p, 3*q = -p + 8. Suppose 2244 + 576 = q*m. Suppose -8*j + m = -2*j. Is j a composite number?
True
Suppose 0 = 2*j - 81 + 33. Is (-12)/8 - (-42684)/j composite?
False
Let h(z) = 96132*z**3 - 4*z**2 + 115*z - 231. Is h(2) a prime number?
True
Let r(z) = -4*z - 12. Let x be r(-4). Suppose -x*y - 28 = -8*y. Suppose -y*a + 1274 = m - 2*a, -6220 = -5*m + 5*a. Is m a composite number?
False
Suppose 2*q - 6 + 2 = 0. Let o be 1*976/q + -1. Suppose -o - 1423 = -10*r. Is r a composite number?
False
Let k(y) = 6*y**3 + 41*y**2 + 76*y - 72. Is k(37) prime?
False
Let x = 313 + -306. Suppose -27244 - 3262 = -x*h. Is h prime?
False
Let u be 19973/3 + (-3)/18*4. Suppose 9*z - 25356 = u. Is z composite?
False
Let s(z) = -24*z + 12*z + 10 - 3*z**2 + 15*z. Let r be s(-7). Let k = -31 - r. Is k a composite number?
False
Suppose 0 = 103*o - 112*o. Suppose 51*v + 2664 = r + 56*v, r + 2*v - 2667 = o. Is r prime?
False
Suppose -12*x = -20*x - 368. Let t = x - -2085. Is t a prime number?
True
Suppose 0 = -5*l - 62 - 138. Let r = l + 44. Suppose 0 = r*h - w + 303 - 1148, 2*w - 209 = -h. Is h a prime number?
True
Let y = -435 + 443. Let i be (-4)/(-3 - 10/(-3)). Is (y - 2)/3*(-534)/i prime?
True
Let b = 24813 + -17700. Is b a composite number?
True
Let p(s) = -9*s**2 - 3*s + 4. Let d be p(1). Is 7374*d*4/(-96) composite?
True
Let y(w) = -w + 2. Let n be y(-2). Suppose -l - v + 118 = -n*v, 3*v = 5*l - 626. Is l a composite number?
False
Suppose 2*o = -4*x + 6*o + 1787428, 2*o - 2234327 = -5*x. Is x a composite number?
False
Suppose -454770 = -117*u + 5723649. Is u prime?
True
Suppose o + 5*p - 9*p + 16 = 0, 5*o - 5*p = -20. Suppose o = w + 5, -4*w - 1974 - 432 = -2*t. Is t a prime number?
True
Let f(m) = 6*m**2 - 19*m + 30. Let g(j) = -j**3 + 3*j**2 - 2*j + 11. Let n be g(4). Is f(n) composite?
False
Let b(j) = 176*j**2 - j - 189. Is b(10) prime?
True
Let z(l) be the second derivative of -l**5/10 - l**4/3 - 19*l**3/6 - 3*l**2/2 + 3*l + 34. Is z(-14) prime?
True
Let g(m) = -29 - 104 + 161*m + 144*m - 111*m. Let j(y) = -65*y + 44. Let w(c) = 3*g(c) + 8*j(c). Is w(14) a prime number?
True
Let x(z) = -20006*z - 5733. Is x(-16) a composite number?
True
Let q be 20/(-3)*((-10)/(-4) - -2). Let w be 4/q*-27 - (-2)/5. Suppose w*x = -j + 2715, -4*x - 8113 = -j - 2*j. Is j composite?
False
Is 1658249 + (0 + -11 - 1) a prime number?
False
Let h be (-3)/((-8)/(40/3)). Suppose h*k + 5*z + 10115 = 0, k + 5*z + 1024 = -999. Let r = k + 4304. Is r prime?
True
Is (-1)/1 - 1*-28922 composite?
False
Let f be 20/30 + (-14)/(-6). Suppose l + f*l = 776. Suppose -3*d + l = -d. Is d a composite number?
False
Let d(w) = -w + 2. Let p(s) = s**3 - 8*s**2 - 3*s + 7. Let j(i) = -6*d(i) - p(i). Let g be (-32)/(-12)*(3 - 0). Is j(g) composite?
False
Suppose 2*n = 3*p + 21905, -5*p - 37*n - 36511 = -39*n. Let c = 11586 + p. Is c prime?
True
Let a(k) = 322*k**2 - 18*k - 29. Is a(15) composite?
True
Suppose 21*n + 11*n = 1749294 + 703474. Is n composite?
False
Suppose -4*w = -5*m - 34511, 6 = 3*m - 9. Suppose 3*s = -2*b + w + 1912, 2*s - 7032 = -2*b. Is (-3 + 4)/(2/s) composite?
True
Let b = -130551 - -274582. Is b prime?
True
Suppose -5*y = -g + 13, -4*y - 2 = 2*g - 0*g. Suppose 12564 = g*k - 5865. Is k a composite number?
False
Let z = 114 + -100. Suppose -6276 = -z*o + 2*o. Suppose -4*r + o - 39 = 0. Is r prime?
False
Let b be 0/(1/(4/(-20))). Suppose b*k - 2442 = -6*k. Is k a composite number?
True
Suppose -30*s + 10*s + 3618632 = -12*s. Is s a prime number?
True
Suppose -5*o - 73*z + 3737251 = -71*z, -2242359 = -3*o - 4*z. Is o prime?
True
Let g = 5 - 6. Let i(k) = k**3 + 2*k**2 + 3*k + 2. Let j be i(g). Suppose j = -o + 507 + 46. Is o prime?
False
Let c be (-36)/(-30)*10/4. Suppose 1129 = -c*s + 3766. Is s prime?
False
Let j(a) = -5*a - 7. Suppose x + 7 = -5*k, x + k = 3*k. Let t be j(x). Is ((-6)/t - -2156) + 2/(-2) prime?
True
Let i(f) = f**3 - 7*f**2 - 2*f - 17. Let b be i(7). Let l = -25 - b. Suppose -198 = -l*u + 150. Is u a composite number?
True
Suppose 25208 = -v - 38988. Is v/(-34) + 1 + (-190)/1615 composite?
False
Suppose -5*p - 400 = -30. Let z = p - -78. Suppose -3*s - 4*h + 11277 = 1606, z = -h. Is s a composite number?
False
Suppose 933390 = 4*x - 2*u, -4*u + 980897 + 185860 = 5*x. Is x a composite number?
True
Let c be ((-18)/6 - 0)*1*-1. Suppose p = -c*q + 13, 4*p - 4 = 4*q - 0*q. Suppose -4*x - p*y - 627 = -5*x, 4*x + 4*y = 2548. Is x prime?
False
Suppose 4*d - 4*u - 675900 = 0, 3*d = 4*u - 0*u + 506923. Is d composite?
False
Suppose 277292 = 2*d + 2*v, -v + 3734 = 3*d - 412198. Is d a composite number?
True
Suppose 2*q + 3*g = 22 + 1, 5*q - 3*g = 89. Suppose 0 = -q*u - 20*u + 84636. Is u prime?
True
Is (9094 + 0)/((-2)/(-7)*812/3364) a composite number?
True
Let r be (6 + -3 - 1) + 3. Let b be 5/(6 - (r - 0)). Suppose 0 = -3*v - b*v + 408. Is v composite?
True
Let a(w) = -41282*w - 2409. Is a(-8) a prime number?
False
Suppose 6*t = -2*i + 2*t - 32, 0 = 4*i + 4*t + 52. Let x be ((-120)/42 - -4)*(-21)/(-6). Is x/i + 412709/85 prime?
False
Suppose 0 = -73*w + 74*w. Suppose 3*j + 13*j - 138608 = w. Is j composite?
False
Suppose -d + 4 = 0, 11*w + 2*d - 1382 = 8*w. Suppose -w*c = -460*c + 3182. Is c a prime number?
False
Let p = 2437 - 801. Let x be ((-2)/4)/(2/(-36)). Suppose 5*n + p = x*n. Is n a composite number?
False
Let k be ((-2719)/4)/(19/(-1976)). Is k/10 - 2/(-15)*-3 prime?
True
Let a(k) = 97*k**2 + 12*k - 679. Is a(-30) prime?
False
Is (16 + (-680)/32)*(-221896)/6 composite?
True
Let a(k) = 26*k**2 + 789*k - 33. Is a(-40) prime?
True
Suppose 0 = -2*v - u + 4207, -8*u + 10*u = 4*v - 8394. Is v composite?
True
Suppose 51*a + 1437 = 54*a. Suppose 5*q - 1851 - a = 0. Is q a prime number?
False
Let p(g) = 4*g + 22. Let k be p(-5). Let u(d) = 221*d**3 + 3*d**2 - 6*d + 3. Let a be u(k). Let l = a + -1214. Is l composite?
False
Let g(y) = 7965*y - 10721. Is g(16) prime?
True
Suppose -2*u - 27662 = y, -3*y