 Is j prime?
True
Suppose 0 = -o - h + 69, 2*o - 4*h = -3*o + 363. Let z = 220 + o. Is z prime?
False
Suppose 2*k - 20 = -4*g, -2*k + 0*g + 4*g + 12 = 0. Suppose 148 = -4*j + k*j. Is j composite?
False
Suppose -3*d + 1265 = 2*o, -5*o + 1857 = 3*d - 1310. Suppose 4*w - 258 = o. Is w a composite number?
False
Let p = 2954 + -1617. Is p composite?
True
Let n = 38668 - 27311. Is n a prime number?
False
Suppose 2*k = 5*x + k - 29, 2*x - 14 = k. Let b be (-40)/(-2) - (-10 + 5). Suppose -95 = -x*h - b. Is h a prime number?
False
Let c = 66 + -42. Let m = c + -46. Let o = m - -189. Is o a prime number?
True
Is (254/(-2))/(((-2)/(-62))/(-1)) composite?
True
Let y = 604 + -455. Is y a prime number?
True
Let i(v) = 4*v**2 - 1. Let l be i(-2). Suppose l*d + 10 = 13*d. Is ((-3183)/15)/(1/d) composite?
False
Suppose -3*i + 4*s - 655 = 12666, 2*i = 4*s - 8882. Is i/(-6) + -1 + (-6)/(-36) composite?
False
Let j be 4*(350/(-15))/(16/(-6)). Let n(h) = -4*h**2 + 3*h + 3. Let r be n(3). Let b = r + j. Is b a prime number?
True
Let j = 24 + -24. Suppose j = -4*i - 0*i + 1028. Let o = i - 138. Is o a composite number?
True
Let j = 6 + -8. Let g be (j - 21)*-6 + -2. Let m = g + 13. Is m a prime number?
True
Let v(s) = -s**2 + 4*s + 2. Let y be v(5). Is 3 + (3 - (y - 58)) composite?
False
Let g = 951 + -80. Is g a prime number?
False
Is (28/2)/((-162603)/(-32517) - 5) composite?
True
Let x(j) be the second derivative of 2*j**3/3 - 5*j**2/2 + 9*j. Let f be x(2). Suppose -2*s + 1195 = f*s. Is s a prime number?
True
Suppose 6*w + 0*w = 48. Suppose -446 = w*a - 5526. Is a a composite number?
True
Let d(q) = -158*q + 28. Let t be d(-12). Suppose -3*k = k - t. Is k a composite number?
True
Let o be ((-20)/12)/5 + 14/6. Let h(v) be the first derivative of 3*v**4/2 - 2*v**3/3 - v**2/2 - v + 1. Is h(o) a composite number?
False
Is 11592945/637 - (-2)/(-7) a composite number?
False
Suppose 5*q - 48 = -5*r - 18, q = 5*r - 18. Is q*3/12*(-10326)/(-3) a prime number?
True
Let d = 18 + -16. Suppose 0 = 3*b + 2*w - 13, -d*w - 1 = b - 4*w. Is 9/(-6)*(-298)/b composite?
False
Let z = -3781 - -8280. Is z prime?
False
Let s(k) = 4*k**2 - 4*k + 11. Let u be s(8). Let i(y) = -14*y + 6. Let x be i(-10). Let n = u + x. Is n a composite number?
True
Suppose 3*m = -s + 6*m + 16750, 0 = -s + 2*m + 16751. Is s a prime number?
False
Suppose -5*p - 5*t = -4*p - 163, 3*t + 703 = 5*p. Is p prime?
False
Let f(b) = 42*b - 155. Is f(24) composite?
False
Suppose -7*j = 2*j - 49887. Is j a composite number?
True
Let m = 19308 - 10449. Is m composite?
True
Is (-11838)/4*(-72)/108 a composite number?
False
Let b be -11 + 13 - (-1 - -1). Suppose 2*f - 8 = -b. Suppose 3*k - 2*k + o = 512, 0 = f*k - 4*o - 1529. Is k a prime number?
False
Suppose 30*c = 27*c - 6. Let w be c/5 + (-966)/(-15). Suppose 4*o - w = 132. Is o a prime number?
False
Suppose 28 = -4*k + 4. Let w = k - -7. Is 61 - w - (6 - 5) composite?
False
Suppose 15 = -3*d + 69. Let w be (d/(-12))/(2/308). Let r = w + 466. Is r prime?
False
Let r = 37 + -19. Let g be (-22)/(-4) + r/(-12). Suppose -26 = -2*v + g. Is v prime?
False
Let p = 7632 + -3689. Is p prime?
True
Let f(q) = -11821*q + 77. Is f(-2) prime?
True
Let h(l) = -29*l - 17. Suppose 1 + 11 = -2*s. Is h(s) a composite number?
False
Suppose -f = 13*f. Let y(v) = -v**3 - v**2 + 3*v + 95. Is y(f) a prime number?
False
Suppose 4*w - 3688 = -0*w. Let d = w + -513. Is d composite?
False
Let u(h) = 672*h**2 - h - 3. Let y = 14 + -16. Let j be u(y). Let i = j + -1774. Is i composite?
True
Suppose h + 32*h - 481503 = 0. Is h a composite number?
False
Let w be 18*1/(0 + -2). Let h = w + 8. Is 16236/54 + h/(-3) composite?
True
Let u(n) = -557*n - 128. Is u(-5) a prime number?
True
Let g(w) = -4*w**3 + 11*w**2 + 6*w - 14. Let x be g(-9). Let y = x - 860. Is y composite?
False
Let h be (2/(-6))/(1/(-6)). Let r = 54 + 61. Suppose -183 = -h*b + r. Is b composite?
False
Let c = -22 - -337. Suppose -2 = r - 4*u, r - 5*u = -0*u - 3. Suppose h = -2*j + c, 0 = r*j - 8. Is h a prime number?
True
Suppose -3*a + 3*b = -39, 3*b + b - 8 = 0. Suppose -8*g = -3*g - a. Suppose -6*c + 399 = -g*c. Is c prime?
False
Suppose 2*a = 6*a. Suppose 3*b - 6 = u, 4 = b - a*b - u. Is (360 - -1) + b + -4 composite?
True
Let k(v) = 30*v**3 + 6*v**2 - 11*v - 30. Is k(7) prime?
True
Let o be -2 + 2 + 0/5. Suppose -d + 3*l + 413 = d, d + 2*l - 217 = o. Is d prime?
True
Let g(m) = m**3 + 8*m**2 + 13*m + 11. Let i be g(-6). Suppose 4*a = i*n + 1819, 6*a - 3*n - 2264 = a. Is a a composite number?
True
Let d(w) = -w**3 - 6*w**2 - 3*w - 14. Let n be d(-6). Is 9/36 - (-2 + (-1651)/n) prime?
False
Let k(q) = -q**2 + q - 1. Let v(b) = 186*b**3 + 3*b**2 - 6*b + 5. Let y(c) = c**3 + 6*c**2 + c + 5. Let r be y(-6). Let d(z) = r*v(z) - 5*k(z). Is d(-1) prime?
False
Let t(k) = 70*k**2 - 3*k + 99. Is t(10) prime?
True
Let l(x) = x + 8. Let y be l(-6). Let v be (-1)/(0 - 1) + y. Suppose -v*p + 200 = -229. Is p a prime number?
False
Let z(c) = 255*c + 1. Suppose 7*o - 7 = 6*o. Let w(h) = h - 5. Let r be w(o). Is z(r) composite?
True
Suppose -94*f + 90*f + 1172 = 0. Is f composite?
False
Suppose 6*p - 4844 = 9874. Is p a prime number?
False
Let q be 27/(-12) + 2 - 18/(-8). Suppose -4*z - 4 = 0, -5*c = -q*z - 3*z - 1300. Is c a composite number?
True
Suppose -2*a = x - 46378, a + x = 2*a - 23186. Suppose 8297 = 15*j - a. Is j prime?
True
Let z = -7457 + 10599. Is z prime?
False
Is ((-74706)/2)/(-4 + 1) a composite number?
False
Let b be (-6)/(-39) - 6/39. Suppose -l + b*l + 10 = 0. Is (-2)/l + 3088/40 prime?
False
Suppose 6*x - 40 = -190. Let u = x + 13. Let l(f) = f**3 + 14*f**2 + 18*f + 2. Is l(u) prime?
False
Let p(o) = 2*o + 31. Let b be p(-10). Suppose -527 = -4*w - 5*s, -s = b - 10. Is w a prime number?
False
Let j(w) = -w**3 + 3*w**2 - 4*w - 1. Let z be j(2). Let p be 5/(z + 0)*-758. Let l = p - 417. Is l a prime number?
False
Let q = 27 + -15. Is ((-11)/(198/q))/((-4)/1062) a prime number?
False
Suppose 5*u - 3 = -s, 2*s + 3*s + u = 15. Is 13859/s - 12/18 a composite number?
True
Let u(j) = 60*j**3 - 2*j**2 + 17*j + 4. Is u(3) a prime number?
True
Let a(h) = -84*h**3 - h**2 - 2*h + 2. Let f(p) = 252*p**3 + 3*p**2 + 6*p - 6. Let s(i) = 11*a(i) + 4*f(i). Is s(1) a prime number?
False
Suppose -2*b - 6*f = -9*f - 730, 5*b = -f + 1859. Is b prime?
False
Suppose 2*l + c = 3641, -16*l + 11*l + 9110 = c. Is l a composite number?
False
Let s = 48 - 48. Suppose -2*u - u = -63. Suppose s = 2*q - u - 157. Is q prime?
True
Suppose 26*i - 108569 = 21*i - g, 3*i = -4*g + 65155. Is i a prime number?
True
Let b = 10229 + -484. Is b a prime number?
False
Let s(w) be the second derivative of 83*w**3/6 - 9*w**2/2 - 10*w. Let u(v) = -41*v + 4. Let a(n) = -6*s(n) - 11*u(n). Is a(-7) prime?
False
Suppose 3*y = -p + 17, 4*y + 4 = 6*p - 2*p. Let h be (-1)/p + (-29008)/(-40). Suppose -h = -4*c - c. Is c prime?
False
Suppose -5*x + 35050 = -2365. Is x prime?
False
Let r be (1/1)/((-6)/(-12)). Suppose -r*i - 3*i = -690. Let c = i - -153. Is c a prime number?
False
Suppose -5*i = -2*i + 2*m, 2*m + 16 = 5*i. Suppose -5*r + i = -18. Suppose 10 = r*v - 378. Is v a composite number?
False
Let f(u) = 413*u**2 + 87*u + 37. Is f(9) prime?
True
Let r(z) = -z**2 + 24*z - 80. Let u be r(20). Let a(t) = 25 - t - 2 + 2*t. Is a(u) a prime number?
True
Let z be ((-80)/(-75) - 1)*12*65. Let k be -56 + 0*2/4. Is ((-13)/z)/(2/k) prime?
True
Let d(t) = -1380*t - 31. Is d(-3) prime?
False
Let v(x) = x**3 - 11*x**2 - 6*x - 2. Suppose 53 + 59 = 7*p. Let i be v(p). Suppose -i = -4*f + 182. Is f prime?
False
Suppose -14*l - 31921 = -94739. Is l composite?
True
Suppose 5*z - 3*p + 0*p - 37 = 0, -z - 4*p - 11 = 0. Suppose 11 = -z*a - 3*u, -3*a - 2*u = -1 + 7. Is 1/((a/(-47))/4) a composite number?
False
Let f = 11 + 31. Let r = f + -23. Is r prime?
True
Suppose 6788 - 18229 = -17*l. Is l a prime number?
True
Suppose -41143 = -6*b + 59303. Is b a prime number?
True
Let c = 35 - 40. Is (-132)/c - (-24)/(-60) a composite number?
True
Let h = -1191 + 8128. Is h prime?
False
Let n(f) = 7*f - 32. Let l be n(5). Suppose -l*v + 3247 = -260. Is v prime?
False
Let u = 46371 - -66286. Is u composite?
False
Let o be -4*(2 - (-2 - -3)). Let w = o + 35. Suppose n + w = 324. Is n prime?
True
Let i(r) = -