(-2 + u/9) prime?
True
Suppose 20*b - 192699 = 124481. Is b prime?
True
Suppose t + 2*d + 15 = 0, -4*d - 6 - 75 = 5*t. Let m = 18 + t. Is 3*m - (5 + -35) prime?
False
Suppose 2*k = 13*p - 17*p + 27932, 3*k + 6976 = p. Is p a prime number?
False
Is (-1)/((-5)/(29245 + 0)*1) composite?
False
Let v = -80 - -200. Suppose -4*t - 3*p + 92 + v = 0, 0 = 3*p. Is t a prime number?
True
Suppose -r + 4*x + 24887 = 0, 3*x - 2102 = r - 26988. Is r a prime number?
False
Let a = -30 + 32. Suppose -2*b = -3*b - 3, 1469 = 5*u + a*b. Is u a composite number?
True
Let l(s) = -7353*s + 271. Is l(-4) composite?
False
Let b(r) = r**3 + 8*r**2 - 2*r - 17. Let y be b(-8). Is (4 + -3)/(y/(-1397)) a prime number?
False
Let m(z) = z**3 - 6*z**2 - 4*z + 11. Let v be m(-9). Let f = 87 - v. Is f prime?
False
Suppose 173*o = 164*o + 116811. Is o a prime number?
True
Suppose 3*g - 7*g + 24 = 0. Suppose -i - 40 = 2*d - g*i, -54 = 5*d - i. Let o(z) = -z**3 - 8*z**2 - 6*z - 7. Is o(d) prime?
False
Let i(f) = f + 14. Let r be i(-6). Suppose 0 = 4*t + 20, 3*d - 2*d + 2*t = -r. Is -2 + -2 - (-1951 - d) a composite number?
False
Let d be -2*(2 - 5 - -4). Suppose -5*i + 36 = -i. Is ((-6)/i)/(d/471) a prime number?
True
Let i(w) be the third derivative of 43*w**5/30 - w**4/12 - w**3/3 - 3*w**2. Let p be i(-2). Let n = 563 - p. Is n a composite number?
True
Suppose 4*k - 115 = 3*c, 5*c + 55 = 2*k + 4*c. Is 1949/2 - k/(-10) prime?
True
Is -3 + -2 - ((-838 - -3) + 1) a prime number?
True
Let o(k) = -6*k**2 + 2. Let f be o(2). Is (f/66)/((-2)/834) a prime number?
True
Suppose -2*b = -b - 1077. Let a = b - 628. Is a composite?
False
Suppose -3*a - 2749 = 38. Let l = a + 2296. Is l a composite number?
False
Let t(o) = 589*o**3 + 3*o**2 - 3. Is t(2) prime?
True
Let o(b) = -b + 8. Let n be o(6). Let w = -4 - n. Is w/4*2024/(-12) composite?
True
Suppose 5 = -5*l, 2*p - 4078 = -3*p + 3*l. Let m = p - 369. Let q = -199 + m. Is q composite?
True
Suppose 0 = 3*y - 7*y. Suppose y = 3*d - 11 + 2. Suppose 3*o + 6*q - 388 = q, -3*q - d = 0. Is o a prime number?
True
Suppose -w + a - 2 = 0, -19 = -3*a - 7. Suppose 0 = 3*h + w*z - 8203, 3*h - 5*z - 5437 = h. Is h a composite number?
False
Let v(u) = -u + 1. Let a(i) = i**2 - i + 1. Let n(h) = a(h) + v(h). Let w be n(6). Suppose 3*p - 391 = w. Is p a prime number?
True
Suppose 2*k + 5*b - 68 = -0*k, -4*k + 2*b = -160. Is (346/3)/(2/k) prime?
False
Let z = 17 - 13. Suppose 0 = 4*o - 2*o - z. Suppose o*i - 255 = 223. Is i composite?
False
Suppose -5*z + 22 = 4*r, 0*z = 4*z - 4*r - 32. Let h(y) = 3*y**2 - 2. Is h(z) a composite number?
True
Let s(a) = -7*a - 42. Let r be s(-5). Let m(c) = 20*c**2 + 11. Is m(r) prime?
True
Let y(x) = x**2 + 7*x - 5. Let r be y(-9). Let q = r + 7. Let k = 139 - q. Is k a prime number?
False
Suppose 4*s - 777 = s. Is (s/(-4))/((-10)/40) composite?
True
Is ((7232/(-12))/(-16))/(2/18) a composite number?
True
Suppose -34*u + 2*c + 6670 = -32*u, -5*u + 16689 = 2*c. Is u composite?
True
Let y = 12 + -1. Suppose 13*z - 20 = y*z. Is z composite?
True
Let z(p) = 42*p**3 - 5*p**2 - 2*p + 16. Is z(9) a prime number?
True
Let h be 5 + (0 + -3 - -1). Let u be 4686/5 - h/15. Let t = u + -518. Is t prime?
True
Is (2*1)/(44/93962) prime?
True
Let k(r) = 9 + r + 0 + 15 + 2. Let m be k(0). Suppose 3*f + 4*y - 359 = -m, 342 = 3*f + y. Is f composite?
True
Let j = 10105 + -4076. Is j prime?
True
Let g = 108 - 103. Suppose 0*h - 1465 = -g*h. Is h a prime number?
True
Let v(h) = -h**3 + 26*h**2 - 36*h + 73. Is v(20) composite?
False
Suppose -59018 = -10*w + 12112. Is w a prime number?
False
Suppose 0 = -5*c - 3*s + 566774, 5*s = 5*c - c - 453397. Is c a composite number?
True
Suppose 3*f - 2*f = 4. Let n be (f/(-16))/((-2)/8). Is -634*n/(-2 + 0) composite?
False
Let i(f) = 21*f - 14. Let d be i(-9). Is (-5)/((-5)/2) - d a composite number?
True
Let y = -23 + 9. Let k be (-4)/y - 132/(-28). Suppose -g + 0*g - 568 = -4*h, -h = k*g - 121. Is h prime?
False
Suppose -4*h + 20 = 0, -23 - 12 = -5*b - 3*h. Is 4/(-8) + (8874/b)/3 prime?
True
Let n(g) = 3*g**3 - g**2 - 10*g + 8. Let f(x) = x**3 - x + 1. Let c(b) = 5*f(b) - n(b). Is c(4) a prime number?
False
Is (263/2)/(4/8) a composite number?
False
Let b(y) = -177*y + 22. Let m be (10/(-8))/(3/(12/1)). Is b(m) prime?
True
Let l = -215 - -277. Is l a prime number?
False
Suppose 2*x - 438 = d - 5*d, 0 = x + 5*d - 231. Let n = 966 - x. Is n a composite number?
True
Suppose 538 = -g - 4*v, 2*g + 5*v + 1086 = 2*v. Let r = g - -941. Is r a prime number?
False
Let r(d) = -156*d**3 - d**2 - 36*d - 212. Is r(-5) a prime number?
False
Suppose -3*o - 6*i - 8785 = -i, 5*o - 5*i = -14695. Is o*2/(-5)*1/2 a prime number?
True
Suppose 4*g = -8, 2*x + x - 3*g - 39 = 0. Is 11074/8 - (99/(-12))/x a prime number?
False
Let s(t) = -2*t + 1. Let i(j) = 2*j - 2. Let d(q) = -5*i(q) - 6*s(q). Let m be d(-3). Is 166/m*(0 - 1) prime?
True
Is (-12)/(-90) + (-318965)/(-75) composite?
False
Let n(r) = -r**2 + 26*r - 14. Let h(o) = -o**3 - o**2 + 2. Let i be h(0). Suppose i*v + v = 51. Is n(v) prime?
True
Is (-58 - -6808) + (-2)/(-1) + -3 prime?
False
Let z = 2912 + -1358. Is 12/(-8)*z/(-9) a composite number?
True
Let w = -15723 + 25724. Is w a composite number?
True
Suppose 8*u = 12*u - 15144. Suppose u + 324 = 6*y. Is y a prime number?
False
Let v = 4701 + 5306. Is v a prime number?
True
Let r(g) = -g**2 - 8*g + 4. Let n be r(-8). Let z be 5*4/n + -2. Suppose 4*u = z*u + 67. Is u prime?
True
Suppose 35*l = 26*l + 58221. Is l a prime number?
True
Suppose -3*m - 10584 = -2*h + 1648, 8 = 4*m. Is h composite?
True
Let u be 12733/(-9) + 4/(-18). Let l = 3364 + u. Is l a prime number?
True
Suppose -3*c = 2*c - 20. Suppose 5*f = -c*n - 3419, n + 0*n + 683 = -f. Is (-4)/(-14) + f/(-21) a prime number?
False
Let x = -19672 - -37329. Is x a prime number?
True
Let b be -2 + (0 + 1)*26. Let f be (b/9)/((-4)/6). Is ((-3)/f)/((-5)/(-820)) composite?
True
Suppose 18 - 20 = 2*d. Let g(p) = 3*p + 1. Let k be g(d). Let c(o) = 36*o**2 - 2*o + 1. Is c(k) a composite number?
False
Is ((-1663)/(-5))/(101/18685) prime?
False
Suppose 18*s - 13*s = 0. Is s/(3 + -6) - -93 a prime number?
False
Suppose 0 = 2*o + 599 + 609. Let n = -317 - o. Is n a prime number?
False
Suppose -18323 = 38*q - 383161. Is q a composite number?
False
Let f = -36099 + 88930. Is f prime?
False
Is (6/(-2))/(285/(-8415955)) a composite number?
False
Is (-1)/((-439906)/(-73318) - 6) prime?
False
Let y = -4 + 13. Let v be (194 + y)/(2/(-8)). Let x = -163 - v. Is x a prime number?
False
Let s = 1324 - -1879. Is s composite?
False
Suppose 0 = 3*n - 15. Suppose 262 - 1157 = -n*j. Is j prime?
True
Let n(s) = s. Let v(u) = -22*u - 25. Let g(h) = -4*n(h) - v(h). Is g(6) a prime number?
False
Suppose -5*l + 6*l = 2. Let q be -1*22*l/(-4). Let t = 180 + q. Is t a composite number?
False
Suppose 10*b - 295784 = 2*b. Is b composite?
False
Let g = 5072 + -2599. Is g a prime number?
True
Let m(x) = 5*x**3 - 7*x**2 + 13*x + 8. Is m(9) a prime number?
True
Let x(j) = 97*j - 21. Let u be x(9). Suppose u = t + 3*t - 4*k, 1047 = 5*t + 4*k. Is t prime?
True
Let u = 110 - 20. Suppose -u = -6*s + 258. Is s prime?
False
Let r(k) = 409*k + 26. Is r(3) prime?
False
Suppose 7*f + 40 = 2*f. Let h = f + 13. Suppose -4*m + 6*m = -5*a + 165, h*a - 4*m = 195. Is a composite?
True
Suppose 0 = -7*j + 10*j - 100641. Is j a prime number?
True
Let p(x) = 99*x**2 + 22*x - 15. Is p(4) composite?
False
Suppose 0 = -12*u + 10*u + 4810. Suppose 9*t + 4*t - u = 0. Is t prime?
False
Suppose 5*p + g - 30850 = 335534, p = -5*g + 73272. Is p a prime number?
True
Suppose m = -9*m - 30. Let g(z) = 25*z**2 - 9*z - 1. Is g(m) prime?
True
Let d(f) = -114*f + 13. Is d(-24) a composite number?
False
Suppose 19*y - 51*y = -130912. Is y prime?
True
Suppose -5*z + 39 = -21. Let c(w) = -w**2 + 20*w - 14. Let t be c(z). Let g = 121 - t. Is g composite?
True
Let l(u) = u**3 + 7*u**2 - 10*u - 11. Let b be l(-8). Suppose -b*n + 557 = s, 0*n + n + 557 = s. Is s a composite number?
False
Suppose -2*k + 1 = -1. Let x be (148/k)/((-4)/(-2)). Suppose 4*o - 138 = x. Is o prime?
True
Let u = 3 + -18. Let x be (-36)/u - 2/5. Suppose 0 = -x*m + 47 - 9. Is m a prime number?
True
Let n be (-1*(-2 - -8))/(-2). Is n/(-1*15/(-3695)) prime?
True
Suppos