se
Suppose 0 = -12*w - 7*w + 185117. Is w prime?
True
Suppose -7*d + 135612 = -94835. Is d composite?
True
Suppose 5*b + 2*y - 21 = 0, -b + 4*b - 24 = -5*y. Suppose -3*v + 1986 = b*v. Suppose -3*w = -v - 23. Is w a composite number?
True
Let f(t) = 1174*t**3 - 3*t**2 + 5*t - 2. Let a(c) = -4*c - 35. Let q be a(-9). Is f(q) composite?
True
Let i be ((-1992)/(2 - -4))/((-4)/(-110)). Let p = i + 13841. Is p prime?
False
Suppose -24*j + 210379 = -11*j. Is j a prime number?
True
Suppose 2*c + 2*c - 2376 = 0. Let x = -361 + c. Is x a prime number?
True
Suppose -2*f - 4*j + 4452 + 2394 = 0, 2*f - 3*j - 6818 = 0. Let z = f + -1478. Is z prime?
False
Suppose -5*c = -0*c + 1470. Let u = -207 - c. Is u a prime number?
False
Suppose f = -s + 5, 4*f = 3*s - 0*f - 8. Suppose 3*d - 1004 + 12 = -o, o + s*d = 987. Is o a prime number?
False
Let k be 88/(-24)*18/(-2). Suppose 38*s = k*s + 5. Let f(z) = 347*z**3 + z - 1. Is f(s) prime?
True
Suppose -4*y - 6 - 18 = 0. Let w be y/(-4)*(-16)/(-6). Suppose -w*m = -64 - 252. Is m a prime number?
True
Let i(q) = 50*q**3 - 8*q**2 + 15*q + 17. Let s(y) = 17*y**3 - 3*y**2 + 5*y + 6. Let u(j) = -3*i(j) + 8*s(j). Is u(-2) a composite number?
True
Let q(g) = -g**3 + 7*g**2 + 2*g - 3. Let d be q(7). Suppose d*y - 295 = 6*y. Is y a composite number?
False
Let f(y) = -y + 1. Let p be f(-1). Suppose c + 3*z - 2 - 7 = 0, 0 = -p*c - 4*z + 12. Suppose -h - u + 116 = c, 5*h + 2*u + 216 = 811. Is h prime?
False
Let m(j) = 51*j**2 - 16*j - 13. Let f be m(12). Suppose -f = 6*w - 17*w. Is w a prime number?
False
Let d(l) = 147*l**3 + 11*l**2 - 18*l + 63. Is d(5) a prime number?
False
Suppose w = 2*w + 5, 5*v - 3*w = 35. Suppose -3*t - 15 = -3*c, -v*t + c - 5 = -0*t. Suppose 12*d - 10*d - 2206 = t. Is d prime?
True
Let f = 14 + -11. Suppose f*z = -124 - 677. Let k = z - -560. Is k prime?
True
Let u(r) = r**3 + 17*r**2 + 15*r - 16. Let v be u(-16). Suppose -5286 = -v*j - 3*j + z, -5*j + 8827 = 4*z. Is j a composite number?
True
Let n be (-4)/(-7 - -1 - (-20 + 16)). Suppose -4*t + 15278 = n*v, -4*v + 6*t = 2*t - 30544. Is v a composite number?
True
Suppose 4584 = 3*j + 639. Let o = -540 + j. Is o/3 - (-10)/15 a composite number?
True
Suppose 5*s - 35 = 10*s. Let v(m) = -34*m - 15. Is v(s) a composite number?
False
Let n = 2984 - 2085. Is n composite?
True
Let f = -1432 - -2595. Is f a composite number?
False
Let j be (-34)/(-17) - -2*1. Suppose 0 = l - 2*l - j*i - 6, 5 = -4*l + 3*i. Is -2 + (-54)/l - -1 composite?
True
Let d(i) be the second derivative of -i**5/20 - i**4/12 + 7*i**3/6 + 4*i**2 + 20*i. Is d(-7) a prime number?
False
Suppose 12785 = 11*t - 6*t - g, -4*t + 5*g + 10228 = 0. Is t prime?
True
Suppose 0 = -28*z + 34*z - 35886. Is z composite?
False
Let l(x) be the second derivative of -x**5/20 + 2*x**4/3 - x**3/3 + x**2/2 + 2*x. Let o be l(9). Let i = -24 - o. Is i prime?
False
Suppose -6*x + 1072 = -36170. Is x composite?
True
Suppose 31*s - 223258 = -72629. Is s a composite number?
True
Let j = 19 - 19. Suppose j = -4*b + 301 + 575. Let n = b - 116. Is n a prime number?
True
Is (-2)/(-10)*(-8)/((-64)/173480) a composite number?
False
Suppose 4*r = 5*r - 3833. Is r a composite number?
False
Suppose d + 344 = 579. Is d prime?
False
Let z(d) = 3*d - 17. Let h be z(7). Suppose 0 = -3*l - h*r + 5071, 3*l = 7*l + 3*r - 6766. Is l a composite number?
False
Let q be 15/2*(-28)/(-21). Suppose -2*l = -c - c - q, 0 = -4*c - l - 5. Let p = 11 - c. Is p a prime number?
True
Suppose -3*f + 1805 = 5*p, 0*f - 5*f + 3*p = -3031. Suppose -3*l = 2*v - 19, 6*v - 2 = 10*v - 2*l. Suppose -3*n = v*n - f. Is n a composite number?
True
Let w(g) = -340*g - 23. Is w(-10) a prime number?
False
Let v = -175 + 1698. Is v a prime number?
True
Let f(w) = -127*w - 569*w - 110*w - 3. Is f(-1) a prime number?
False
Let j = 1 + 1. Suppose -1596 = -2*b - j*b. Let z = b - 188. Is z a composite number?
False
Suppose 11*h + 50212 = 130325. Is h a composite number?
False
Suppose -8*l = -3818 - 8670. Is l a composite number?
True
Suppose 3*u - 824 = 550. Let t = u - 207. Is t composite?
False
Suppose -5 + 0 = -l. Suppose 775 = l*u - 240. Is u composite?
True
Let v be (6/21)/((-1)/(-7)). Suppose -4*a + 2*a = -v, -n + 5*a = -32. Is n a prime number?
True
Is ((-8)/24*-5638)/((-4)/(-6)) composite?
False
Let b be 12618/14 + 4/(-14). Suppose 2*m - 3*m = -3*f + b, 3*f + 2*m - 889 = 0. Is f a prime number?
False
Is (-12)/(-9)*(-75)/(-4) a composite number?
True
Suppose 3*u - u = 0. Suppose u = -z + 4*z - 369. Is z + 1*(-5 - -3) prime?
False
Let s = -857 + 1730. Suppose 0*r = -3*r + s. Is r composite?
True
Suppose 0 = -0*y - 5*y + 25. Suppose 33 - 18 = y*u. Suppose 0*h - 449 = -2*h + u*k, -3*k = -3*h + 672. Is h a prime number?
True
Let n be (-49)/(-14) - (-2)/4. Suppose -l - 1346 = -n*s, -5*l + 2*l - s - 4012 = 0. Is 2/(-10) - l/15 a composite number?
False
Let n = -94 + 114. Is 2/(-10) + 1744/n + 0 a composite number?
True
Let x(r) = -r**3 + 9*r**2 + 2*r - 13. Let z be x(9). Suppose -4*c + n + n + 5494 = 0, -z*c = -4*n - 6872. Let d = c - 651. Is d prime?
False
Suppose -3*d + 3*p - 3828 = 0, 6*p - 2*p = -4. Let o = -890 - d. Suppose 3*l - 3*x - 1143 + o = 0, -5*l + x + 1256 = 0. Is l composite?
False
Suppose -10*o = -44543 - 144147. Is o a composite number?
False
Let g(z) = z - 7. Let y be g(12). Let a be y/1 + -4 - -21. Is (-1 + 3)/(a/1705) a composite number?
True
Suppose -656 - 48 = -4*u. Suppose 0 = l - u - 217. Is l a prime number?
False
Let o(c) = -c**2 - c. Let m(z) = -2*z**2 + 4*z + 33. Let r(v) = m(v) - 3*o(v). Is r(13) composite?
False
Let g(w) be the second derivative of 17/6*w**3 + 0 + 4*w - 3*w**2. Is g(5) prime?
True
Suppose 0 = 20*t - 78944 - 30836. Is t prime?
False
Let k(a) = a**3 + a**2 - a - 1. Let v(q) = -11*q**3 + q**2 + 6*q + 5. Let m(t) = 4*k(t) + v(t). Is m(-4) a prime number?
True
Let v(a) = -3014*a + 11. Is v(-4) prime?
False
Let f = -5115 - -20812. Is f a prime number?
False
Is ((-32)/(-6) - 3)/(9/81513) prime?
False
Let g = 163 + 886. Is g composite?
False
Let d = 16 + -11. Suppose d*k + 0*b + b = -140, 0 = 3*b + 15. Let l = k + 61. Is l a composite number?
True
Let t(j) be the third derivative of 27*j**4/4 + 5*j**3/6 + 6*j**2. Let i be ((-3)/2)/(2/(-4)). Is t(i) a prime number?
True
Let w(c) = 448*c**2 + 2*c - 1. Let a be w(1). Let h = -188 + a. Let y = 680 - h. Is y prime?
True
Let g = 24 + -19. Let z = g - 0. Suppose 5*n - z*h - 1278 = -393, 5*n - 885 = -4*h. Is n composite?
True
Suppose -51 = -15*r + 9. Let c = -467 + 1421. Is c/r + 21/(-14) prime?
False
Let p(r) = -r**2 + 16*r - 1. Let s be p(16). Is -2 + 2*44 - s a composite number?
True
Let v be 4*(27/(-6) - -4). Let z be -181 - ((v - -2) + -1). Let j = z + 389. Is j composite?
True
Suppose 0*d - 67503 = -5*h - 4*d, 0 = -3*h - 5*d + 40507. Is h prime?
True
Is 1627/((60/(-50))/(-6)) composite?
True
Let r = 7 + -19. Is (-29253)/r + 6/(-8) composite?
False
Suppose 3*a + 2*a = -15, -4*b + 2*a = -3178. Suppose 0 = -5*k + 262 + b. Is k composite?
False
Let j(h) = h**2 + h + 41. Let b be j(0). Suppose 0 = -x - 4*w + 11 + 9, 0 = -4*x - 3*w + 15. Suppose x = 4*g + b - 453. Is g prime?
True
Let p(f) = 31*f**2 + 26*f + 5. Is p(7) composite?
True
Let d = -1262 - -190. Let w = -518 - d. Is w a prime number?
False
Is -298*(-2)/1*316/16 composite?
True
Suppose -3*q + 3 = 0, 5*f - 2*q = q + 562. Is f prime?
True
Suppose 0 = -2*y + 4758 + 2764. Is y composite?
False
Suppose -5*s + 1 = 3*n + 6, s = 2*n + 12. Suppose -s*g + 55 + 115 = 0. Is g composite?
True
Suppose 2*d - 5*h - 15 = -2*d, 4*h = 4*d - 12. Suppose -4*v = -d*x - 2*x + 22, -4*v = 12. Suppose 4*s - 11 = 4*b - x*b, b = -s + 26. Is b composite?
False
Let n be (2 + -1)*36/18. Let a be (-12)/(-36) + (-2)/6. Suppose 5*t - 4*x = -0*x + 3735, -n*t - 3*x + 1471 = a. Is t composite?
False
Let m(d) = -d**3 + 2*d**2 + 8*d + 13. Let a be m(-12). Suppose 4*j + a = 8801. Is j prime?
False
Let m be 0 + (-5)/(-5) - (0 + -1). Suppose 1682 = 4*t + 3*h, -63 - 352 = -t + m*h. Is t a composite number?
False
Let n = 655 - 266. Is n a prime number?
True
Is (-51105)/5*(-2)/6 a composite number?
False
Let k = -1 - 0. Let t(j) = -422*j**2 - 1. Let i(n) = -421*n**2 - 1. Let p(f) = -4*i(f) + 3*t(f). Is p(k) a composite number?
False
Let n be ((8/(-1))/(-1))/(2/1). Suppo