 d = -s. Is u a composite number?
True
Let a(g) = -3*g**3 + 6*g**2 + 4*g + 8. Let k be (-11 + -4 + -2 + 4)*1. Let s be a(k). Suppose -s = -7*u + 5312. Is u prime?
False
Suppose 0 = -5*v + 4*i + 20, 2*v - 12 = 4*i + 8. Suppose z + 6*z - 8*z = v. Suppose -6*q + 2573 - 995 = z. Is q composite?
False
Suppose 5*j + 3743769 = 4*z, -2*z = -26*j + 25*j - 1871883. Is z a prime number?
False
Suppose -27*y - 30299293 = -128*y. Is y composite?
False
Suppose z + 12 = 15. Let n = -2 + z. Is n*(3 + 0) + (1 - -1467) composite?
False
Let w(t) be the first derivative of 1921*t**2/2 - 17. Is w(1) prime?
False
Let g be (-1923)/4*(-24 + 4). Let t be (g/10)/3*2. Suppose -2*m = -m - t. Is m a prime number?
True
Suppose 5*x - 3*o = 1925276, 2*x = 250*o - 245*o + 770099. Is x composite?
False
Let h(y) be the third derivative of -20491*y**6/120 - y**5/60 - y**3/6 - 42*y**2. Is h(-1) a prime number?
False
Is ((-351053796)/992)/(9/(-48)) a composite number?
True
Let b = -107 + 86. Let k(w) = -42*w - 5. Is k(b) a composite number?
False
Suppose 0 = 5*v - w - 187526 - 60854, -3*v - 3*w = -149010. Suppose -v = -11*s + 6*s. Is s a prime number?
False
Suppose g - 3*g = 4456. Let i = g - -3484. Let u = -669 + i. Is u composite?
False
Let i = 499 + -505. Is (92836/i)/(94/(-141)) a prime number?
True
Suppose -6*z + 14 = -4*z, 3*j = -3*z + 1063518. Is j composite?
True
Suppose 3*j = -8*j + 9*j + 230404. Is j prime?
False
Is (-8)/96*9 + (0 - 1230174/(-8)) prime?
False
Let o be 11/3 + 12/(-18) + -3. Suppose -4*i + 21 = 5*h, 5*i + o*h - 42 = -h. Suppose -2*v + i = d, -4*v + 0*v - 27 = -d. Is d prime?
False
Let j(m) = 303*m - 2. Let h(b) = -4835*b + 30. Let q(r) = -2418*r + 15. Let x(y) = -6*h(y) + 13*q(y). Let f(o) = 33*j(o) + 4*x(o). Is f(11) a composite number?
True
Let q(b) = -7479*b + 3. Let v be q(-1). Suppose -v = -5*w + 8533. Is w a prime number?
True
Suppose 19069344 + 48276850 = 101*y. Is y prime?
False
Let u be 2*92/(-6)*-303. Let a = -5506 + u. Suppose -7*k + a = -k. Is k a prime number?
True
Let p = -46 - -52. Suppose p*b - 8862 = -8*b. Is b a prime number?
False
Let v(w) be the second derivative of w**5/20 + 11*w**4/6 + 2*w**3/3 - w**2 - 10*w. Let m be v(-13). Is m*-1*1/(-3) a composite number?
True
Let t(y) = -32 - 12*y**2 + 4*y**3 - 2*y - 5*y**3 + 10 + 0*y. Let u be t(-12). Suppose 0 = u*j - 4*s - s - 1237, -3*j + 1918 = 5*s. Is j composite?
False
Let z(r) = 5*r + 30. Let w be z(-6). Suppose 2*j - 6*j - 1460 = w. Let c = -250 - j. Is c composite?
True
Let u = -35982 - -310159. Is u composite?
False
Suppose -3*y + 41891 = -i + 5*i, 20 = 4*i. Is y a composite number?
True
Suppose 5*m = 4*m + 14. Let k = m + -18. Let d(s) = 12*s**2 - s + 6. Is d(k) a composite number?
True
Suppose -p = v - 0*v + 96, -4*v - 419 = -3*p. Let u = v + 315. Let t = u + -72. Is t a composite number?
True
Let t(q) = -21*q**3 - 9*q**2 + 6*q + 6. Let h be t(10). Let m = 41375 + h. Is m a composite number?
False
Is (5 + -6)/(-1*7 + 18110080/2587160) prime?
True
Let k be (-2 + 11)*(-6)/(-18). Suppose -d + 4*i - 5 = 0, 0 = -d + 5*i - k - 4. Suppose -d*b = 4*l - 1619, 7*b = 3*b + l + 2165. Is b composite?
False
Suppose -7*u + 5*u - 4*r = -2602, 2*r = -3*u + 3911. Let v = 4342 - u. Is v composite?
False
Let l = -51 + 51. Suppose 5*q - 2*c + c - 10 = 0, l = 2*q + c - 4. Suppose 53 = -q*w + 265. Is w composite?
True
Let q be (8/6)/(2/21). Suppose q*t = 13*t + 98. Let f = t - -321. Is f a composite number?
False
Suppose -2*h + 4*k = -5*h + 37, 2*h - k = 32. Suppose 21*l = h*l + 78882. Is l composite?
False
Let n = 2203 + -1308. Let r = n + -476. Is r prime?
True
Suppose -4*t = -20 + 20. Suppose 4*n = -3*v - 20, t = n + 1 + 4. Suppose v = -0*y + 5*y - 1545. Is y a prime number?
False
Let z(l) = 40*l**2 + 11*l - 46. Let m = -305 + 310. Is z(m) a composite number?
False
Let x = -215177 + 311746. Is x prime?
False
Let h be (12/(-8))/(15/(-20)). Suppose -o - 2*o + 103322 = -5*p, 4*p = -h*o + 68874. Is o a composite number?
False
Let t(u) = -u**3 - 3*u**2 - 4*u - 2. Let n be t(-2). Let p(q) = 2*q - 40. Let f be p(20). Suppose -n*a + f*a = -1598. Is a a prime number?
False
Let y = -84225 + 144982. Is y a prime number?
True
Suppose d = -d - o + 1117, -3 = -o. Suppose 4*g - 4307 - d = 0. Let u = g - 65. Is u a prime number?
True
Let h = -24542 + 103428. Suppose -h + 342346 = 12*g. Is g composite?
True
Let d = -8799 - -6207. Let f = d + 4795. Is f a composite number?
False
Let h(q) be the third derivative of -q**4/8 + 5*q**3/2 + 12*q**2. Let u be h(9). Is (18/u - -1)/(2/(-10436)) a prime number?
True
Suppose 2*b = -8, 2*y + 3*b - 107351 - 242043 = 0. Is y a composite number?
False
Suppose -2*t - 2*u = -5164, 9*u - 11*u + 7744 = 3*t. Is t - (2 + -2 - -1) prime?
True
Let b = -6562 + 26355. Suppose -q + b = 2*q + p, 3*p = 3*q - 19809. Is q a prime number?
True
Let g(d) = -3*d**3 + 9*d**2 + 3*d - 25. Suppose -94 = 23*a + 90. Is g(a) a composite number?
False
Suppose c = 5*v - 109866, -4*v + 81677 + 6203 = -4*c. Is v a composite number?
True
Let t(h) = -7*h - 7. Suppose 39*i + 4 = 35*i. Let w be t(i). Suppose -138 = -3*o + 3*j + 3, w = 4*o + 2*j - 182. Is o a composite number?
True
Let u = 411132 - 233269. Is u prime?
False
Let u(r) be the third derivative of -1/2*r**3 + 141/20*r**5 - 19*r**2 + 0 + 0*r + 1/12*r**4. Is u(2) a composite number?
False
Let q = 516 - 511. Suppose n + 3*n = 6748. Suppose 2*b + 4*s = s + n, -q*b - 5*s + 4210 = 0. Is b prime?
True
Let o = -65240 - -141171. Is o composite?
False
Suppose 4*j - 483326 = -2*u, 12*u - 11*u = 4*j + 241681. Is u prime?
False
Let l(t) = 1018*t + 285. Suppose 42*u - 34 = 37*u + f, -u = 5*f - 12. Is l(u) a composite number?
False
Let a(w) = -154255*w - 1871. Is a(-4) a prime number?
False
Let w(i) = 10755*i + 652. Is w(9) a composite number?
True
Suppose 0*f + 3*a = -5*f - 65, 2*f - a + 37 = 0. Let p(x) = 29*x**2 + 25*x - 29. Is p(f) composite?
True
Let z(m) = m**2 + 4. Let j be z(0). Suppose 5*t - 5 = -2*q, -3*q + j = q + 4*t. Suppose -2*o - 5*x + 23 + 14 = 0, 4*o - 4*x - 144 = q. Is o prime?
True
Let v(z) = 1368*z - 2. Let m be v(-1). Let i = m - -6580. Suppose 3*p - 2063 = p + 3*n, 5*p - i = -3*n. Is p a composite number?
False
Let u(m) = 631*m**3 + 28*m**2 - 235*m + 9. Is u(7) a prime number?
False
Suppose 14*z = 31491 + 71359 + 427876. Is z prime?
False
Let p(m) = 3489*m**2 - 589*m + 7. Is p(-15) prime?
True
Suppose 67684 = 4*q - 5*x, 5*q + 29*x - 28*x = 84605. Is q composite?
False
Is 1368437598/3366 + (2/(-17) - 1 - -1) composite?
False
Let x(w) = 53*w - 100. Suppose -20*f + 134 = -526. Is x(f) a composite number?
True
Is (1260/(-30))/7 + (190894 - 1) a composite number?
True
Is 0 + (2 - (-5 + -31747))/(8/4) prime?
True
Suppose -5*a - 1197*p + 1194*p + 245513 = 0, -5*a + p + 245489 = 0. Is a composite?
True
Let n be ((4*-21)/2)/(6/(-40)). Let d(x) = -7*x + 17. Let l be d(-16). Let u = l + n. Is u a composite number?
False
Suppose 2*l = -5*i + 29357, 22*i - 20*i = 2*l - 29364. Is l composite?
True
Suppose 0 = 45*d + 287357 - 1942952. Is d a composite number?
False
Let w be (-2)/(4/(-30)*3). Suppose w*d = 35953 + 25032. Is d composite?
False
Let b = -22181 + 37259. Suppose -3*y - b = -4*o - 44685, 5*y - 3*o = 49334. Is y a prime number?
False
Let h(l) = l**3 - 17*l**2 - 108*l - 26. Let b be h(22). Suppose 7114 + 13424 = b*u. Is u prime?
False
Let k = -27 + 25. Let c be (1480/25)/(k/(-10)). Suppose -8*z + 12*z = c. Is z a prime number?
False
Suppose n + 0 = -5*l - 2, -5*n + l - 114 = 0. Let o(i) = 2*i**2 + 3*i + 80. Is o(n) composite?
True
Suppose 4*z = 24, 2*w - 16820 = 4*z - 0*z. Is w a prime number?
False
Let x(f) = 10*f**2 + 390*f + 1757. Is x(-153) composite?
True
Let a = 286 + -269. Let z(x) = 9*x**2 + 9*x + 4. Let o be z(-6). Let c = o + a. Is c composite?
True
Let c = -115 + -112. Let z be (0 - -5) + -4 - 4*c. Suppose 95 = 2*q - z. Is q prime?
False
Is (165/10 - 17)/((-4)/2668264) composite?
False
Suppose f + k + 3915 = 0, -2*k - 3919 = f + 3*k. Let v = f + 6853. Is v a prime number?
True
Suppose -3*h - b = h - 841559, -631148 = -3*h - 5*b. Is h a composite number?
False
Is 92*3138 - (0 + 5)*-1 a prime number?
False
Is (462/36 - 13)*-1*1997526 a composite number?
False
Let m be 2 - (432579 + 5 + 3). Is 2/((-5)/(m/18)) a composite number?
False
Let f = 7 