pose 5*w + v = r, 5*r - 3*w = w + 801. Is r a composite number?
True
Let l(v) = 5*v**3 - 18*v**2 + 8*v - 13. Is l(8) a prime number?
True
Let q(u) = -4*u - 19. Let d(j) = -6*j - 28. Let n(m) = 5*d(m) - 8*q(m). Is n(13) prime?
False
Let u = 870 - 435. Suppose -n + u = 4*n. Suppose -a + q = -n, 2*a - 174 = -4*q + 3*q. Is a a composite number?
True
Suppose -3*c - 2*w + 22 = 57, -4*c + 4*w - 20 = 0. Let m = 9 + c. Suppose -5*z = -p - 484, 5*z + p - 4*p - 482 = m. Is z prime?
True
Let l be 5 - 2*9/6. Suppose 4*i + o = -2, -l*o + 3*o + 2 = -3*i. Is i - -41 - 6/3 a composite number?
True
Let u(k) = -k**2 - 3*k + 1. Let t be u(3). Let r = -11 - t. Suppose r*h - 9*h + 93 = 0. Is h a composite number?
False
Let n(r) = r**3 - 2*r**2 - r - 3. Let u be n(3). Suppose -11*f = -7*f - v - 4603, u*v - 1154 = -f. Is f prime?
True
Let q = -161 - -355. Let h be (q + 4)*(-1)/(-2). Suppose -m + 56 = -h. Is m a prime number?
False
Let l = 10 + -7. Let m(w) = 61*w**2 - 8*w + 16. Is m(l) a prime number?
True
Let d(h) = 6762*h**2 + 18*h + 17. Is d(-1) composite?
False
Let h = -6261 + 22458. Is h a prime number?
False
Let s = 42 - 40. Suppose -l + 891 = 2*a, 6*l - s*a = l + 4479. Is l a composite number?
True
Suppose -4*y = -x - 112608, 4*y + 0*x + 5*x = 112584. Is y prime?
True
Let y = 11 + -11. Suppose 1365 = -3*q + 2*t, y = -0*q + 4*q - 2*t + 1820. Is (-16)/(16/4) - q composite?
True
Let x(i) = -6416*i + 41. Is x(-1) a composite number?
True
Let h(a) = -3*a**2 - 1. Let s be h(1). Let f be (-17)/s + (-1)/4. Suppose -f*w - w = -1115. Is w a prime number?
True
Let c = -1234 - -5020. Is (c/(-18))/((-3)/9) prime?
True
Suppose 10*v - 29383 = 54147. Is v a prime number?
True
Suppose 5*l = 5*s - 7 - 8, -3*l = -3. Suppose -814 - 1326 = -s*p. Is p a prime number?
False
Let a(w) = -1477*w + 356. Is a(-11) a prime number?
True
Let d(q) = -31*q**3 + 2*q**2 - 4*q + 6. Let s be d(3). Let m = 1766 + s. Is m prime?
True
Let z(c) = c + 11. Let y be z(-2). Let f(s) = 59*s + 10. Is f(y) prime?
True
Suppose -a + h + 7 = 0, -2*h - 26 = -2*a - 3*a. Suppose 4*q + 1996 = 4*f, 2*f = -f + a*q + 1493. Is f prime?
True
Let a = -42 + 47. Suppose -a*w + 4*s + 160 + 1459 = 0, 0 = 3*w + 5*s - 964. Is w a prime number?
False
Let o(u) = 2*u**3 - 7*u**2 + 17*u - 71. Is o(24) prime?
False
Let x = -103 + 108. Suppose -x*n = 3*t - 1541, -4*n + 113 = -5*t - 1105. Is n prime?
True
Let p be 12/(-42) - 74/(-14). Is 1912/10 + p/(-25) a prime number?
True
Let p be 1/(((-1)/1)/(-41)). Suppose 0 = -p*m + 46*m - 2955. Is m a prime number?
False
Suppose -6060 - 2106 = -6*k. Is k a prime number?
True
Let d(p) = -12*p**3 - 12*p**2 - 22*p + 5. Is d(-8) a prime number?
True
Is (27 + -26)/(1 + (-15472)/15474) prime?
False
Let l(z) = 2*z**2 - z + 4. Suppose 0*g = -4*g + 20. Suppose -3*t - g*d = -6, 4*t = -d - 0*d + 25. Is l(t) a prime number?
False
Suppose 3*n = v + 659, -15*v = 2*n - 19*v - 426. Is n prime?
False
Is (-35)/2*(-115410)/75 a composite number?
True
Suppose -30 = -5*t - 0*t. Suppose t = i + 4. Suppose 3*n = i*h - 175, 4*h + 2*n = 443 - 53. Is h composite?
True
Let t = -328 + 153. Let q = t - -254. Is q prime?
True
Let g(f) be the first derivative of 4 + 13/2*f**2 - 1/4*f**4 - 4/3*f**3 + 3*f. Is g(-7) a composite number?
False
Let w(z) = 21*z + 32. Suppose 11 + 24 = -3*i + 2*g, -4*i = -4*g + 40. Let c = i - -28. Is w(c) a prime number?
False
Let v(z) = 22*z**2 - 13*z - 25. Is v(16) composite?
False
Let u = -5585 - -2210. Let b = u + 4918. Is b a prime number?
True
Let g = -25 - -32. Is g a composite number?
False
Let n(v) = -v - 11. Let o be n(-15). Let m be 2/(2 - o/3). Suppose m*q + 670 = 5*f, 2*f + 237 = 4*f + 5*q. Is f prime?
True
Suppose r - 529 = -3*r + l, -4*r = -4*l - 544. Is r a prime number?
True
Let y be ((-3)/(-2))/3*4. Suppose 4*l + y*o - 15 = -1, l + 2*o = 2. Is l/16 - (-630)/8 prime?
True
Suppose 3*d + 214 = -140. Let r = d - -27. Let o = r - -178. Is o a composite number?
True
Is (-3466)/(-6) + (-8)/12 prime?
True
Let y = -11 + 18. Let s be 3*y/(42/(-4)). Is ((-199)/2)/(s/4) prime?
True
Let c(f) = f**2 - 13*f - 4*f**3 - 7 + 16 + 9*f + 31*f**3. Is c(5) prime?
True
Let f = -3448 + 7775. Is f a prime number?
True
Suppose -x = 2*x - 15. Suppose p - x*p - 3*o + 511 = 0, -128 = -p - o. Is p a composite number?
False
Let w = 40 + 25. Let l = 21 + w. Is l prime?
False
Let m = 11456 + 8913. Is m a composite number?
False
Let g = 579 - 221. Let l = -135 + g. Is l composite?
False
Suppose 33*s = 903985 + 937250. Is s a composite number?
True
Is 78011/13 - 100/(-650) composite?
True
Suppose -5*j - 3*m = 1, 4*j + 2*m + 2 = -m. Let a(h) = h**2 + 4 + 3*h**2 + 0*h**2 - j + 5*h. Is a(-4) a composite number?
False
Let b(r) = r. Let v(a) = 2*a + 13. Let m(g) = 2*b(g) + v(g). Suppose 2 = 3*x - 10, -4*k + 2*x = -44. Is m(k) a prime number?
False
Let u(r) = r**3 - 3*r**2 + 3*r - 8. Let h be u(3). Is 3184 - (7/(-21))/(h/(-3)) a composite number?
True
Suppose 2*y + 5 = t + 4*y, 0 = 5*t - 5*y - 10. Suppose 5*s + 2*i = 221 + 474, 5*s - 695 = t*i. Is s a composite number?
False
Suppose 2*t = -3*t. Suppose 0*g + 3*g = -2*o - 91, t = o - 5*g + 39. Let c = 129 + o. Is c a prime number?
False
Let g(h) = -964*h**3 + h**2 - 4*h - 3. Suppose 0*q - 3*q = 6. Is g(q) a prime number?
False
Suppose 10 = 2*s, 2*s = 5*a + 28 + 7. Is (730 - (1 + a)) + 5 composite?
False
Suppose -5*o = -25, 0*y - 3*o + 7391 = y. Suppose -13*i = -11*i - y. Is 1/(-3 - i/(-1228)) composite?
False
Suppose 0 = -d - 5*h + 249660, -4*d = h + 3*h - 998560. Is d a prime number?
False
Let l(s) = -4*s**2 + 3*s**3 + s**3 - 3*s**3 + 3*s. Let v be l(4). Is 3105/v + (-1)/(-4) a composite number?
True
Let s(h) = 4*h - 2. Let g be s(1). Suppose -6 = -3*x - 3*y - g*y, -3*x + y + 6 = 0. Suppose 0 = q + x*q - 921. Is q composite?
False
Let v = 668 + 603. Let f = v + -543. Suppose -4*l - f = -g - g, -2*l = -3*g + 1088. Is g prime?
False
Suppose 12*c = -4*n + 8*c + 54436, 0 = -4*c. Is n prime?
False
Let f(c) = -15*c**3 - 3*c**2 + c + 3. Let d be (6 - (-57)/(-9))*(1 + 5). Is f(d) prime?
True
Let h(j) = 617*j**3 + 6*j**2 - 7*j - 5. Let b be h(-5). Is (b/20)/11*-4 composite?
False
Let u(d) = 40*d - 181. Is u(14) composite?
False
Let r be (2/(-9) - 42140/72)*2. Let u = r - -1736. Is u a composite number?
True
Let a(w) = -2*w - 1. Let s be a(-2). Suppose 6*q - s*q - 27 = 0. Let g(v) = v**3 - 6*v**2 + 9*v + 11. Is g(q) a prime number?
False
Is ((-32465)/7 + 1)/((-159)/1113) a composite number?
True
Let c = -81 + 57. Is 4 - (-78)/c - (-4865)/4 a composite number?
False
Let d = 17324 + -8215. Is d a prime number?
True
Let g = 38 - 37. Suppose g + 1 = -y, 4*n - 5*y - 3518 = 0. Is n composite?
False
Suppose 0 = -v + 5*b + 480, -6*v + 4*v - 3*b + 895 = 0. Let g = 646 - v. Is g a composite number?
False
Let n(g) = 14*g + 6. Let w be n(-3). Is 27224/14 - w/84 prime?
False
Let h be (3 + -4)/(-4) - (-37)/(-4). Is (-1956)/(-8)*(-30)/h a composite number?
True
Let b = -24 + 28. Suppose -4*v + 12495 - 822 = -u, -b*v - u + 11671 = 0. Is v composite?
True
Suppose 6*u - 1317 = 2265. Let x = u + 1250. Is x a composite number?
False
Let p be 2/7 - 348/42. Let a(g) = 5*g**2 + 29*g - 5. Let f(l) = -2*l**2 - 10*l + 2. Let u(d) = p*f(d) - 3*a(d). Is u(12) a prime number?
True
Suppose 0 = 2*k - 6, 4*u - 3*u = -5*k + 118. Is u prime?
True
Let w(i) = 2*i**2 + 32*i + 355. Is w(28) a prime number?
True
Let b(y) = -44*y - 2 - 47*y - 2. Let k be b(-2). Suppose -k = 3*x - 811. Is x a composite number?
False
Let o = -172074 - -275843. Is o prime?
True
Let o = 29 - 28. Is (349 + -1 + -1)/o prime?
True
Let d be (-4 - (-1 - 1))/(2/(-24)). Suppose 23*p = d*p - 635. Is p composite?
True
Suppose -26 + 2 = z. Let j = z + 46. Is -1 - 3 - (j + -361) a prime number?
False
Let h(k) = 6020*k - 69. Is h(1) composite?
True
Let j be -229*(3/15 + 20/25). Let n = j + 660. Is n composite?
False
Let w(p) = -4*p**2 - 15*p + 23. Let o be w(-15). Let f = 55 - o. Is f a composite number?
True
Let i(f) = -f**3 - 6*f**2 - f - 2. Let t be i(-6). Suppose 41*g - 84 - 39 = 0. Suppose g*l = -t*w + 818, -2*l - l + 615 = 3*w. Is w a composite number?
True
Let v = 40189 - -1788. Is v composite?
True
Suppose -5*c + 26319 = j, -2*j - 21068 = -4*c - 6*j. Is c composite?
True
Suppose -7*u - 42226 = -360495. Is u a prime number?
False
Let w(z