Let n be -4*(-2 - d)/12 + 5. Suppose -n*f + 4*f + 658 = 0. Is f composite?
True
Suppose 1 = -l + 3. Suppose -4*k = -5*u + k + 10, -5*u + k + l = 0. Suppose -4*w - 4*j + 1988 = u, 4*w = 4*j + 1066 + 890. Is w a prime number?
False
Let r = 22 - 2. Suppose o + 21 = -3*j + 51, 0 = 2*j - 3*o - r. Is (-4)/j - (-3267)/5 composite?
False
Let k be 1 + 2 + (-19 - -22). Let m be ((-2)/12)/(k/(-2244))*3. Let r = m + -20. Is r a prime number?
True
Let p be 2/(2 - 0) + -7. Let n be (p/(-8))/((-36)/(-384)). Is n/(-6)*(1134/(-12) - -6) prime?
False
Suppose -4*l - 5*l = 0. Suppose -4*k - 2*z + 6*z + 6416 = l, 0 = -4*k + z + 6407. Is k composite?
False
Let y(k) = 185*k + 7. Let c be y(-6). Let z = c + 1630. Is z composite?
True
Suppose -1300810 = -48*b + 2270150. Is b a composite number?
True
Let f(y) = -y**3 + 8*y**2 + 5*y + 16. Let g be f(-7). Let p = -305 + g. Suppose 2*c - p = c. Is c prime?
False
Let r(w) = 19*w**2 + 89*w + 91. Is r(-30) a composite number?
True
Let l be (-1)/(-2)*(10 + 2). Let g(b) = 242*b + 25 - 51*b - 8*b. Is g(l) composite?
False
Let o(v) = -1708*v + 50. Suppose x - 184 = -192. Is o(x) a prime number?
False
Suppose -18 = -3*u - 3*g, 0 = 6*u - u - 2*g - 58. Let z be (-308)/u*(-1860)/12. Let v = -2617 + z. Is v composite?
True
Suppose -745*f = -751*f + 4385982. Is f a prime number?
False
Let j(t) = -488*t - 126. Let g be j(-8). Is (0 + 7/14)*g composite?
False
Let l(a) = a. Let k(g) = 39*g + 27. Let p(r) = -k(r) + 4*l(r). Let u be p(-13). Suppose -3*w + d = -664 + 33, 2*w = -3*d + u. Is w composite?
False
Suppose 2196 = -4*t - 1388. Let k = t + 1302. Suppose 7*p - 4487 + k = 0. Is p prime?
False
Let j(v) = v**3 - 3*v**2 - v + 5. Let y be j(3). Suppose 5*u + 19 = 7*i - 4*i, 5*u + 29 = -y*i. Is -388*(-1 - i/4) prime?
False
Let w be (-13 - -9)/(1*-2). Suppose 3*s = 4*q + 12, -4*q = -0*q - w*s + 8. Suppose -2*f + q*f + 3342 = 0. Is f a prime number?
False
Let r(d) = -d**3 + 18*d**2 - 45*d + 5. Let n be r(15). Is (-6 + 35 + n)/((-4)/(-14)) prime?
False
Suppose -70*o = 2*m - 64*o - 42148, 105384 = 5*m + o. Is m a composite number?
True
Let l be -8*(3 - -1)/(-2). Let u(m) = -5*m**2 - 23*m + 28. Let w be u(l). Let f = 2771 + w. Is f a composite number?
False
Suppose 311535 = 392*u - 59983117 - 46018492. Is u a prime number?
False
Let l = -125 + 413. Suppose -i + l = w - 394, 5*i = -4*w + 3410. Suppose i - 1686 = -4*c. Is c a composite number?
False
Let h = -58 - -65. Let n = h - -15. Suppose -n*f + 46641 + 47497 = 0. Is f composite?
True
Let s(p) be the second derivative of 1/20*p**5 + 13/12*p**4 + 0 - 11/6*p**3 - 13/2*p**2 + 21*p. Is s(-10) a composite number?
False
Suppose -13*c = 153 - 11515. Let j = -465 + c. Is j composite?
False
Let j be 1638/8 + (-6)/8. Let h = j + -66. Is (h/(-8))/((-33)/88) prime?
False
Let c be (-1994)/(-18) + 504/81 + -6. Suppose -896 - c = -v. Is v a prime number?
False
Suppose -5*n + 3*b - 1 + 2 = 0, n = -5*b + 17. Let y = n + 0. Suppose 7*h = y*h + 3385. Is h a prime number?
True
Suppose -126*i + 743200 = 4*l - 122*i, 3*l = 3*i + 557370. Is l composite?
True
Let j(w) = 6*w - 3072 + 3072 - 85*w. Let p = -3 - 0. Is j(p) a composite number?
True
Let o = 746 - -202221. Is o a prime number?
True
Suppose 4*d - 12 = -4*z, -2*d - 12 = 4*z - 6*d. Suppose z = -3*k + 3*t + 3639, -k + 2446 = k + 3*t. Is k a composite number?
False
Is ((-3)/5)/(1713/(-787977145)) a composite number?
False
Let l = 195 - 193. Suppose 5266 = 2*p + l*q - 6*q, -q = -4*p + 10560. Is p prime?
False
Let w(l) = -8*l - 137. Let y be w(-10). Is (-148694)/y + (-1)/(-3) composite?
False
Suppose -f + 50 = 58. Is (795/6 - f) + (-15)/(-6) composite?
True
Let i = 168727 + -25494. Is i a composite number?
True
Let u = 68435 - 46402. Is u a composite number?
True
Let a(g) = g - 27. Let p be a(21). Let k be 9/p*28/(-21). Suppose -k*t + 5*t - 255 = 0. Is t a prime number?
False
Suppose 2177170 - 762884 = 4*u - 1060526. Is u composite?
False
Let c(i) = -12*i**3 - 150*i**2 + 469. Is c(-35) a prime number?
False
Suppose 74*x - 6983251 = 11554711. Is x a composite number?
True
Let s = -229252 - -486083. Is s a prime number?
True
Let s(x) be the second derivative of 13*x**4/3 - 13*x**3/6 - 14*x**2 + x. Let h(w) = w**2 - 20*w - 128. Let a be h(25). Is s(a) a composite number?
False
Let n = -18 - -14. Let q be ((-1)/n)/(1/1724). Suppose 0 = 5*s - 354 - q. Is s composite?
False
Let a(q) = 3*q**3 - 19*q**2 - 15*q + 7. Let x be a(7). Suppose 3*n - 4342 = -4*u, x*u - 2*u + 2176 = -n. Is u a composite number?
False
Suppose 669431 + 383898 = 3*o - 503704. Is o composite?
False
Suppose -35739 = -4*h + 88537. Is h a prime number?
True
Suppose 1 + 7 = 2*z. Suppose -5*b - 4*q + 1443 = -0*q, -b + z*q + 279 = 0. Is b prime?
False
Let j = -99209 - -162148. Is j prime?
True
Let u be (-29)/(-2)*(4 + -6). Let d = 31 + u. Suppose -q + 23037 = d*q. Is q a composite number?
True
Let g = 5050145 + -2664816. Is g prime?
True
Suppose -7*l = 18*l - 423675. Let q = l - 4876. Is q a prime number?
True
Let t be (7 + -118 - -12)*(-2)/6. Suppose t*a - 35*a = -1994. Is a a prime number?
True
Let h(n) = -6*n - 9. Let r be h(-2). Suppose 4*m - 131 = -q + 8*m, r*q - 337 = -2*m. Is q a composite number?
True
Is ((-1383523)/38 - 6)*-2 prime?
False
Let n(j) be the first derivative of -1277*j**3/3 - j**2 - 3*j + 2. Let s be n(-1). Let m = -737 - s. Is m prime?
True
Let l(j) = j**3 - 6*j**2 - 4*j - 14. Let o be l(7). Let n be ((-35504)/40)/((-3)/30). Suppose -o*t + n = 7*t. Is t prime?
False
Let a be ((-6)/(-48)*10)/((-1)/(-4)). Suppose 1224 + 841 = a*z. Is z a composite number?
True
Let p = 21 + -14. Let o(s) = -s**2 + 59230*s**3 + 1 - 59228*s**3 - 3*s**2. Is o(p) a composite number?
False
Let a(w) = 9*w**2 - 7*w - 6. Let v be 2*(9/(-6))/3. Let m be a(v). Suppose p - 124 = m. Is p a prime number?
False
Let j(v) = 869*v**2 + 291*v + 4947. Is j(-19) a prime number?
True
Suppose -15*q = 4155 - 44805. Suppose 5*w = -10*y + 12*y - 1077, -5*y - 5*w = -q. Is y composite?
False
Let z(r) be the second derivative of -1429*r**3/3 - 251*r**2/2 + 215*r. Is z(-8) composite?
False
Is ((-12)/18)/(8/382596)*-11 composite?
True
Suppose -6*u = -8*u. Suppose -4*k - 8 - 12 = u. Let v(m) = -9*m**3 + 4*m**2 + 2*m - 2. Is v(k) a composite number?
False
Let m(r) = 27*r**2 + 2*r**3 - 46*r**2 + 29*r**2. Let b be m(-5). Suppose -2390 = -2*t - b*o - 4*o, 5*t - 5951 = -2*o. Is t composite?
True
Suppose 0 = -12*j - 9*j + 17*j + 637148. Is j a prime number?
True
Let n be -4*1*(-2 - 8/(-8)). Suppose 4*f - n*o = 8088, -3*f + o - 2*o = -6054. Is f composite?
True
Let b be 8 + (-4)/1*-1. Let k be (-15)/b*-4*1. Suppose 1857 = k*t + 412. Is t composite?
True
Suppose 312 - 4694 = -7*j. Let z = 5843 + j. Is z a composite number?
False
Suppose -350*d + 42978335 = -3173715. Is d prime?
False
Suppose 0 = 2*h - 2*s - 638232, 1004180 = 3*h + 5*s + 46872. Is h prime?
False
Let o(l) be the second derivative of -l**5/20 - 3*l**4/4 + 2*l**2 + 20*l. Let j(m) = m**2 + 6*m - 1. Let t be j(-4). Is o(t) a composite number?
True
Let v = 260551 - 156092. Is v composite?
False
Suppose 4*b - 3*b = -4*g - 10, -2*b - 20 = -3*g. Let p be (-9 - b) + (5 - 2). Suppose -3*z + 598 = 5*h, -2*z = -h - p*h - 357. Is z a prime number?
True
Let w(z) = 29 + 438*z**2 - 6 - 461*z**2 + 21*z**3 - 17*z. Is w(10) a composite number?
False
Suppose -5*x + 3*g + 7 = -19, 0 = -3*g + 9. Suppose 3*y - 3*r = 12, -4*r - 9 = y + x. Suppose 4*k - 1894 - 1998 = y. Is k prime?
False
Let o = 12502 - 6596. Suppose 158*w + o = 160*w. Is w a composite number?
False
Let j(n) = -521*n + 190*n - 1089*n - 179 + 226*n - 1162*n. Is j(-13) composite?
False
Let g(f) = -203*f**2 + 423*f**2 + 165*f**2 + 9*f - 31 + 265*f**2. Is g(4) a composite number?
True
Let o(a) = 287*a**3 + 4*a**2 + 18*a - 50. Suppose -5*g = 19 - 34. Is o(g) composite?
False
Let h(c) = -3*c - 58. Let k be h(7). Let l = k + 70. Is 6/9 - 13773/l prime?
True
Suppose 0 = -33*y - 36*y + 6520155. Is y a composite number?
True
Let q(s) = 6*s - 6 + 0*s**2 - 2*s**2 - 2*s**2 + 5*s**2. Let o be q(-7). Let u(i) = 234*i + 1. Is u(o) a composite number?
True
Suppose -11*r = 22*r + 5*r - 2247358. Is r composite?
False
Let h = 612 + -608. Suppose 0 = -5*p - h*v + 13041, p + 3*p - v - 10437 = 0. Is p a composite number?
False
Suppose 11*s - 12*s + 2 