718 = -5*c, -4*c = 3*z - 47719. Suppose 5*j + 4*w = 19857, 10*j + 5*w = 13*j - c. Is j composite?
True
Suppose -2*d = 3*d - f - 2527983, -5*d + 2527993 = 4*f. Is d a composite number?
True
Suppose 45141539 + 32493925 = 204*o. Is o prime?
False
Let o(h) = 12689*h**2 + 9*h + 15. Is o(2) a prime number?
True
Suppose w = -12941 - 2391. Is w/(-10)*65/26 prime?
True
Suppose 10 = -2*w, -12*y = -16*y + 5*w + 7925. Suppose 5*h - 2*n - 3237 = 0, 5*h + 2*n = 1278 + y. Is h composite?
True
Let t be (-18)/6 + -2 + 14141. Suppose 43174 = 2*n + t. Is n a prime number?
True
Let k(b) = b**2 + 2*b + 2. Let y be k(-9). Let u be 14688/13 + 10/y. Let t = 1811 - u. Is t prime?
False
Let y(d) = -d**2 + d - 20. Let o be y(-9). Let s be 72906/11 - 20/o. Is s/20 - (-6)/(-15) prime?
True
Let h(g) = 164*g + 9. Let s(d) be the third derivative of -d**4/24 + 17*d**2. Let k(v) = -h(v) - 5*s(v). Is k(-2) a composite number?
True
Suppose -18*h + h + h + 450224 = 0. Is h composite?
True
Let f = -747 - -753. Is 42/(-28)*(-35996)/f a prime number?
True
Let s(f) = -9*f**3 + 78*f**2 + 40*f - 24. Is s(-25) a composite number?
False
Let h = 23402 + 1345319. Is h prime?
False
Let c(s) = s. Let j(y) be the second derivative of 13*y**3/6 + 13*y**2/2 - y. Let h(i) = -6*c(i) + j(i). Is h(12) prime?
True
Let q = -401 - -407. Suppose 0 = 4*l - q*l, 0 = -3*w + 2*l + 27123. Is w a prime number?
True
Let f be -2*(((-20)/(-8) - 2) + 2). Let z be (302/f)/(2/10). Let r = z - -429. Is r prime?
True
Suppose -2*p + o + 2 = 0, 5*p = -0*o + 5*o + 10. Suppose 4*x - 5*x = p. Suppose 0 = 2*r + l - 4667, -r + 2328 = -x*l - 5*l. Is r composite?
False
Let d = -2776 - 1206. Let i = -1443 - d. Is i prime?
True
Suppose -4*m - m = -10. Let u(a) = 5*a - 4 + 2*a**m + 13 - 6*a - a. Is u(7) a prime number?
False
Let d be -4 + ((-21885)/9)/((-4)/12). Suppose k - d = -o + 4*k, 0 = 4*o - k - 29186. Is o prime?
True
Suppose 0 = -9*w + 10*w + 9. Let u be (-2)/w - (86/(-18))/1. Suppose 4486 = r + k, u*r + 4*k - 4755 - 17670 = 0. Is r composite?
False
Let y(u) = 0 + 199*u + 5*u**2 + 25 - 188*u. Is y(9) a composite number?
True
Let a be (-319 - -2)/(2 + -3). Suppose -6*l + 1463 = a. Is l a prime number?
True
Suppose -1333153 = -9*z - 336880. Is z a prime number?
False
Suppose d + 0*d - 555840 = -4*j, -5*j + 694825 = -5*d. Suppose j = 28*i - 5155. Is i a prime number?
True
Is (84754/12)/(-26 + 3611/138) a composite number?
True
Let y = 11451 + -8632. Is y a composite number?
False
Let m = 320608 - 226317. Is m a prime number?
True
Let m = -114886 + 211529. Is m composite?
False
Suppose -c + 53489 = -3*g, -53497 = -c + 13*g - 8*g. Is c composite?
True
Suppose 38*g - 37676 = 25852 + 30446. Is g composite?
False
Is (-38)/(-76) + 48879/6 composite?
False
Let j be ((-96)/(-42))/(-4) - (-19017)/21. Let m = j + -162. Is m a prime number?
True
Let j(c) = 10*c**2 + 3*c + 15. Let y(k) = 20*k**2 - 3*k - 1. Let n be y(2). Let x = n - 81. Is j(x) prime?
True
Suppose h + 5*b + 9 = 0, 2*h + 0*b - 5*b - 27 = 0. Suppose 0 = 2*u - 4*w - 1380, 718 = u + h*w - w. Let m = u - -1. Is m composite?
True
Let d = 3532 - 2474. Let l = 455 + d. Is l prime?
False
Suppose 5*a + o = 82, -2*a + 16 = 3*o - 9. Let f(g) = -27*g + 36 - 6 + a - 10*g. Is f(-11) a composite number?
True
Is 3181/2*51*(-42)/(-1071) prime?
True
Let b be 4/5*(-250)/(-100). Suppose -b*j = 2, j - 445 = -3*w + 595. Is w a prime number?
True
Let m(q) = -78*q**3 - 22*q**2 - 89. Is m(-6) prime?
False
Let q(b) = -2453*b**3 + 2*b**2 + 5*b + 12. Is q(-2) composite?
True
Suppose 38256 = 4*d + 4*o - 130280, 0 = -2*d - 5*o + 84277. Is d composite?
False
Let j(d) = 4*d + 68. Let l be j(-12). Suppose 2*o + 1338 = 4*m - 1346, -5*o + l = 0. Is m a prime number?
True
Let v be (5/5)/((-3)/(-570)). Suppose 42 = 4*p - v. Is p a composite number?
True
Suppose -35*z - 35*z + 774591 = -67*z. Is z a composite number?
False
Suppose -4*d + 1212 = 2*u - 5*u, 5*d + 2*u = 1515. Let z = d + 344. Is z a prime number?
True
Suppose 0 = -2*d + 6910 + 5324. Suppose 10*z = -40, 4*b + 5*z + 11 - 19 = 0. Suppose -b*y + d = -4*y. Is y a prime number?
True
Suppose -70*r - 56*r - 31*r + 759409 = 0. Is r composite?
True
Suppose -11*v + 12504 = -8*v. Suppose 17112 = 16*d + v. Is d prime?
True
Suppose -17*t = -16*t + 30. Let u be (-11)/(-5) - (-6)/t. Suppose 4*m - 4 = 0, -4*m + 761 = 3*i - u*m. Is i prime?
False
Suppose 0 = 2*i - 4*f - 686250, 3*f + 14 - 17 = 0. Is i a prime number?
True
Suppose 563*z - 110259 = 558*z + k, 3*z - 66133 = -5*k. Is z prime?
True
Let n(g) = 6*g**3 - 43*g**2 + 106*g - 44. Let c(v) = -9*v**3 + 64*v**2 - 159*v + 65. Let b(x) = -5*c(x) - 7*n(x). Is b(22) a composite number?
True
Suppose -2255208 = -28*s - 414404. Is s prime?
False
Let m(z) = z - 5. Suppose -28*w = -33*w + 40. Let f be m(w). Suppose 0 = -f*r + 791 - 20. Is r composite?
False
Suppose -2148*y + 529426 + 472106 = -2106*y. Is y composite?
True
Let g = 13220 + -9175. Let t be (-1)/(6/10 - 280/300). Suppose -5*l + t*x + 20247 = x, l - g = -4*x. Is l prime?
True
Is ((-380)/30 - -13)*86703 a prime number?
True
Let j(n) = 109*n**2 + 8*n + 4. Let y be j(-3). Let v = y + -474. Is v a prime number?
True
Let i = -54384 + 107895. Is i a prime number?
False
Let v = 5190 - 1784. Suppose v = 17*h - 895. Is h prime?
False
Let z(t) = 169*t + 4948. Is z(9) a prime number?
True
Suppose 2*g - 6451 - 414 = -3*r, 5*r = 3*g - 10269. Suppose 0 = -5*x + 4*i + 4303, i - 5*i = 4*x - g. Is x a composite number?
False
Suppose -15 = -q + 3*i, q - 4*i - 25 = i. Suppose q = -l + 1 + 4. Is 990 + (-6)/5*l/(-2) composite?
True
Let n = -100 - -104. Suppose 0 = -y - 4*y - n*l + 30406, 2*y + 3*l = 12168. Suppose -12178 = -4*c + 3*s, -4*c + 4*s = -6*c + y. Is c prime?
False
Let r(v) = -7*v + 14. Let l be r(2). Is (7075 - 1) + 45/(-9 - l) a prime number?
True
Let i(k) = 39*k**2 - 45*k + 11. Let x(a) = 3*a**2 + 46*a + 34. Let o be x(-15). Is i(o) a prime number?
False
Let m(n) = -n**3 - 7*n**2 + 3*n + 19. Let k be m(-6). Let b be (-10)/k + 80/14. Suppose 1478 = -4*h + b*h. Is h a prime number?
True
Suppose -4*d + 6 = -d, -2*d + 36524 = 2*q. Suppose 4*j + 2*h - q = 0, -5*j + 28352 - 5509 = -2*h. Is j composite?
False
Let m be 8 - 7/((-49)/56). Is (-984)/(-14) - m/56 - 3 composite?
False
Suppose -21624 = 12*t - 16*t. Suppose 2*y + t = 5*i, -3*y - y = -8. Suppose -3*w = u - i, -6*u + u + 5470 = 3*w. Is u a composite number?
False
Is (5 + 6)/(-11)*(-202118 + -3) prime?
True
Let k(s) = -13*s + 3. Let p(x) = 14*x + 10. Let j be p(-1). Let c be k(j). Let u = c - -478. Is u composite?
True
Suppose -5*o - 4333 = -2*q, -7444 = -2*q - 3*o - 3103. Suppose 5*a + 2*m = -m + 2702, -q = -4*a + 5*m. Is a composite?
False
Let r = 256746 + 194503. Is r prime?
True
Let h be -3 + -5 + 1 + 3. Is ((-119924)/112)/(1/h) prime?
True
Let s(m) = -26*m - 126. Let a be s(-5). Suppose 5*f - 99488 = -g, 0 = a*f + 8*g - 7*g - 79590. Is f composite?
True
Let c(o) = 701*o**2 + 44*o + 222. Is c(-8) a prime number?
False
Let w(q) = q**3 + 2*q + 3031. Suppose -5 = p - 0*p - 2*u, u = -4*p - 20. Let s(l) = -l**2 - 7*l - 10. Let m be s(p). Is w(m) prime?
False
Let y be (1/(-1))/(8/464928*-4). Suppose 11*d - 16040 - y = 0. Is d prime?
False
Suppose -8 = t - 38. Suppose 2*c + c + t = 0. Is 4/c + (-2)/(-5) - -21 prime?
False
Suppose 3*f + 2*t - 295107 = 0, -149*t = 3*f - 145*t - 295107. Is f composite?
False
Let v(y) = 16*y**2 + y - 25. Let a be (3 + (-65)/15)*-3. Suppose 2*s + 5 = -4*g - 3, 4*s - 4 = -a*g. Is v(s) a prime number?
True
Suppose 6*p + 2*r = 2*p, 4*r = 4*p. Let o(m) = 11*m + 337. Is o(p) prime?
True
Let w = 26 + -26. Suppose -2*h + 9390 = -w*h + 4*y, -2*y - 18730 = -4*h. Is h a prime number?
False
Suppose -21267094 + 107101726 = 312*s. Is s a composite number?
True
Suppose -7*v = -2*t + 51718, -2*t + 36894 = 4*v - 14868. Is t composite?
False
Let b(w) = -w**2 - 23*w - 26. Let u be b(-20). Let q(d) = -37*d - 1. Let n be q(-1). Is (-10725)/(-17) - (n/u)/(-9) a composite number?
False
Let d(q) = -25*q**3 - 2*q**2 + 5*q - 335. Is d(-13) a prime number?
False
Suppose 4*k - 572372 = -4*g, -3*g - 240*k = -243*k - 429279. Is g a composite number?
False
Suppose 74*n - 18*n = 3248. Suppose -3*a - 101 = -6*a - 4*r, -2*a + 29 = -5*r. Let l = n - a. Is l a composite number?
False
Let x(t) = 18*t**3 + 8*t**2 - 7*t