 prime?
False
Suppose 23*z + 10 = 18*z. Let d(x) = -8*x - 4. Let v be d(z). Suppose 4*p - 8*p + v = 0. Is p prime?
True
Suppose -4*z - 3*c = c, -2*z = 5*c. Suppose -5*a - 20 = 0, -2*p - 2*a = -z - 8. Suppose -5*v = -p*v + 159. Is v a prime number?
True
Suppose 0 = -5*w + 1 + 19. Suppose -4*i = -w*m - 40, 5*m + 20 + 25 = 4*i. Let h(d) = -19*d + 11. Is h(m) composite?
True
Let q be ((-7)/(-21) - (-46)/(-12))*-2. Suppose 14 = q*f - 420. Is f prime?
False
Suppose 0*q = 6*q - 27282. Is q a composite number?
False
Let a(b) = 22*b**2 - 6*b - 3. Let t be 1 - ((-3)/(-1) - 0). Is a(t) a composite number?
False
Suppose -p + g = -g - 24, -5*g = -4*p + 84. Let w(t) = 2*t**2 + 60*t**3 - p*t - 1 + 16*t. Is w(2) a prime number?
True
Let h = 35508 + -19930. Is h composite?
True
Let g(x) = 5*x**3 + 16*x**2 - 14*x + 22. Is g(11) a composite number?
True
Suppose -51 = -n + 2. Let l = n + -14. Is l prime?
False
Is (-44)/(-33)*83301/4 a prime number?
True
Let w(a) = 12 - 15 - a**2 - 5*a - a. Let i be w(-2). Suppose -i*z + 5830 = -3*r, 2*z + 0*z - 2333 = r. Is z composite?
True
Let k be 6/9*-1 - (-304648)/6. Is (-7)/(245/14) + k/10 a prime number?
True
Let g = 16 - -11. Let c = g + -27. Suppose 182 = -c*x + 2*x. Is x a composite number?
True
Suppose -2*y - 32*q + 33*q = -177, 5*y + 3*q = 459. Let c(w) = 302*w + 1. Let b be c(1). Let s = b + y. Is s a composite number?
True
Let q(d) = 40*d - 111. Is q(11) a prime number?
False
Suppose 0 = -4*d - 0 + 36. Let f be 2/(3/d*2). Suppose -y = 5*c - 338, -2*c - f*y = -13 - 130. Is c a prime number?
True
Let g = -34 + 37. Is (-362)/(-2 + 0) - (g + 0) prime?
False
Suppose -20*c + 13*c + 180145 = 0. Is c prime?
False
Suppose -5*t = k - 0*t - 2486, 4*t - 9896 = -4*k. Is k a composite number?
True
Suppose 0 = -3*p - 3*w - 8118, 2660 = -2*p - 5*w - 2764. Let s = -1453 - p. Is s prime?
True
Is (-3)/(-18)*(-8 - -57314) prime?
True
Let b(q) be the second derivative of 1/12*q**4 - 5/2*q**2 + 5*q + 0 - q**3. Is b(-4) prime?
False
Let v = -67297 + 94986. Is v a composite number?
False
Let d(b) = -5*b**3 - 9*b**2 - 48*b + 31. Is d(-14) a composite number?
False
Is ((-3)/2)/((-60)/2380360) composite?
False
Let j = -28 + 32. Suppose -j*r + i = -3410 + 73, 3*r - 2*i - 2499 = 0. Is r prime?
False
Let u(g) = -g**3 - 10*g**2 - 4*g - 7. Let f be u(-6). Let j = f + 268. Is j/6*(7 - 1) composite?
True
Let g(z) = -10*z + 8. Let k be g(9). Let i = 128 + k. Let o = 95 - i. Is o a composite number?
True
Suppose 18806 = 2*d - 85*w + 81*w, -3*d + 28234 = -w. Is d a composite number?
False
Is 18792 + 1/(-3) + (-64)/(-12) prime?
True
Let w(h) = -1250*h - 14. Let r be w(-7). Let b = r - 5287. Is b prime?
True
Suppose 7751 = 5*o + k + k, o - 2*k = 1555. Suppose -4*q + o = r, -4*r + 2*q = -0*q - 6168. Is r prime?
True
Suppose -41*n = -269382 + 85333. Is n composite?
True
Is (-18 - -1226) + 1 + 4 a composite number?
False
Let a = -17 - -18. Let o be (2 - 1) + 11*a. Suppose o*y - 669 = 9*y. Is y a prime number?
True
Let m = 243 + -1241. Let a = m - -1837. Is a composite?
False
Let z(v) = 146*v**2 - 47*v + 26. Is z(12) a composite number?
True
Suppose -3*v - 4 = 2, 0 = -2*g + 4*v + 201346. Is g a composite number?
False
Let f = -1347 + 9374. Suppose 3131 = 14*i - f. Is i a composite number?
False
Let s(q) = -q**2 - 6*q - 5. Let m be 3/1 + (-33)/(-11). Suppose 0 = -c + m*c + 20. Is s(c) prime?
True
Suppose 2221 - 12232 = -y + z, y - 5*z = 10027. Is y composite?
False
Suppose -m - m + 3*j + 9 = 0, 3*j = m - 6. Let x(n) = 2*n**2 - m*n + 2*n**2 - 2*n**2 + 1 - 7. Is x(-4) prime?
False
Is (2644 - 14) + 2/1 + 1 composite?
False
Let t = -41 + 43. Is (-3)/(-1) + t*(-275)/(-10) a prime number?
False
Is ((-18891)/(-15))/(1/5) a composite number?
True
Suppose 926265 = -4*m + 19*m. Is m prime?
True
Let s = -1 + 6. Suppose 0*y + y - 251 = -s*h, -5*y = 4*h - 1255. Is y prime?
True
Suppose -4*x = -x + 2*y - 707, 1180 = 5*x + 5*y. Is x composite?
True
Let d(k) = -1822*k - 5. Is d(-1) a composite number?
True
Let l(s) = -3*s - 16. Let o be l(-6). Suppose 8*p - 282 = o*p. Is p composite?
False
Suppose 8*c - 3*c = 25690. Suppose -5*f = -z + 1290, 4*z + f + f = c. Is z composite?
True
Let r be -1*(11 - (-2 + 4)). Let h(q) = 6 - 40*q - 5*q - q - 1. Is h(r) a prime number?
True
Let l be (-1899)/(-6)*(-56)/(-21). Suppose -4*f - 3*s = -l, 0*f + 211 = f + s. Is f composite?
False
Let c = -37 + 56. Suppose -c*l = -24*l + 935. Is l a composite number?
True
Suppose 0 = 3*j, -1 - 1 = -z - 5*j. Let b be -2 - (z + (-4 - 0)). Suppose -w + 2*w - 262 = b. Is w composite?
True
Suppose -h - 2523 = -u - 3*h, u - 2*h - 2543 = 0. Is u composite?
True
Let o(d) = -53*d + 2. Let c(v) = 18*v - 1. Let r(w) = 2*w**2 - 10*w + 5. Let f be r(6). Let p(b) = f*c(b) + 6*o(b). Is p(-7) a composite number?
False
Suppose -4*c + 4*k + 878 = -c, -588 = -2*c + 2*k. Is c a prime number?
False
Let y(i) = i**2 - 18*i - 111. Is y(-34) a composite number?
False
Suppose -2*o + 7 = h, 4*o - 3*h + 1 = 6*o. Suppose -o*w + w = 0. Suppose -i = -w*i - 109. Is i composite?
False
Let p(y) = -383*y**2 - 2*y + 5. Let k be p(-7). Let t be k/(-22) - 8/44. Let a = 1319 - t. Is a composite?
False
Suppose 5*u + 5*l - 43148 - 119162 = 0, -3*u + 3*l = -97416. Is u prime?
True
Suppose -g + 0*g + 33 = 0. Let z = 112 + g. Is z a composite number?
True
Let c = 747 - 1790. Let z = c - -2610. Is z composite?
False
Suppose 0 = l - 10 - 4. Let w = l + -10. Is w/(-6) + (-934)/(-6) composite?
True
Suppose 0 = -3*k + t + 49284, 2*t + 35649 = 2*k + 2797. Is k composite?
True
Let l be (2/6)/(1/6). Suppose -a - 3559 = -l*j, -4*a = 5*j - 964 - 7927. Is j prime?
False
Let s(k) = -103*k**2 - 7*k - 2. Let p(a) = -52*a**2 - 4*a - 1. Let c(t) = -5*p(t) + 3*s(t). Let z be c(-1). Let u = -16 - z. Is u prime?
False
Suppose 48951 = 8*a + 2975. Is a a composite number?
True
Suppose -11*o + 35189 = -0*o. Is o a prime number?
False
Suppose 0 = -22*h + 24*h + 6. Is 711 - 3/h - (2 - -1) composite?
False
Let y(n) = 7*n + 10. Let o(r) = 6*r + 9. Let x(g) = -5*o(g) + 6*y(g). Let w be x(-10). Let d = w - -264. Is d a prime number?
False
Let t = 84 - -25. Suppose 2*w = w + t. Is w composite?
False
Suppose -1585 = -13*y + 8*y. Is y a prime number?
True
Suppose 0 = -3*l - y + 4*y + 15399, 5*l - 25629 = -4*y. Is l a composite number?
True
Suppose 5*o + 19 = 3*t, -o + t = -t + 1. Let w = o + 7. Suppose -w*g + 97 = -9. Is g a composite number?
False
Let r(k) = -k + 12. Let g be r(12). Suppose 2*l = -g*l - 2. Is 259*(-1 + 0)*l a composite number?
True
Let o(q) = -q**2 - 2*q + 5. Let j be o(-3). Suppose j*r - 229 = 745. Is r a prime number?
True
Is 32/36 + -1 - (-617310)/81 a prime number?
True
Let t = 79 - 68. Let x(m) = 88*m + 9. Is x(t) a prime number?
True
Suppose -2*i = -0*i - 2*u + 6, 3*i - 16 = -2*u. Suppose i = 2*f + 2*d, 3*d + 6 = 4*f + 5*d. Suppose -157 = -f*l - 39. Is l prime?
True
Is -2*(288232/16)/(-7) a composite number?
False
Let b(u) = u**3 - 2*u**2 + 2*u + 1. Let c(q) = q**3 - q**2 + 3*q. Let w(x) = 2*b(x) - 3*c(x). Suppose -4*p + 10 = 30. Is w(p) prime?
True
Suppose 46065 - 3159 = 2*n. Is n composite?
True
Let w(x) = -148*x - 57. Let s(b) = 155*b + 65. Let k(y) = -78*y - 33. Let n(m) = 7*k(m) + 4*s(m). Let z(h) = -11*n(h) - 6*w(h). Is z(12) a composite number?
False
Let k = 71 - 92. Let v = 56 - k. Is v a prime number?
False
Let g(j) = -189*j - 22. Let z be g(-10). Suppose z = -5*y + 9*y. Is y a prime number?
True
Suppose 0 = 20*c - 21*c + 2705. Suppose 0 = 83*h - 78*h - c. Is h composite?
False
Suppose 2*d - d + 5*x - 12786 = 0, -d + 12793 = -2*x. Is d a prime number?
True
Suppose -32540 - 13556 = -8*j. Suppose -2*d - 1996 = -j. Is d a composite number?
True
Let y(s) = 2*s**2 - 9*s + 2. Let j be y(5). Is 1222/3*(j + -4) + 4 prime?
False
Suppose -12001 = -33*q + 29216. Is q composite?
False
Suppose 633 = -10*d + 11*d. Suppose 8*m - 11*m + d = 0. Is m a composite number?
False
Suppose -1421 = 4*q - 3*i, -5*i = -0*i + 25. Is ((-10)/2 + 4)*q a composite number?
False
Let x(c) = 3*c**2 - c + 5. Suppose 2*p + 2*i - 21 = -3*i, -i = -3. Suppose p*z + 5 = -10. Is x(z) a composite number?
True
Is ((-34)/1)/(-5*24/4740) a composite number?
True
Let v(n) = -17*n + 1. Let d(k) = 18*k - 1. Let s(i) = -3*d(i) - 2*v(i). Let t be s(-2). Let a = t + -4. Is a a prime number?