70 composite?
False
Let m(n) = -n + 12. Let k be m(2). Suppose -s - 2*o = -7775, -k*s + 15*s - 38867 = -2*o. Is s prime?
False
Let o = 19 - 17. Suppose -4*c + 28 = 4*y, 0*y - 3*y = o*c - 13. Suppose -7*q - 7 = -c*q. Is q composite?
False
Suppose 0 = -0*z - 4*z + 181766 + 14022. Is z a composite number?
False
Let w = -52 + 57. Suppose -w*l - 10*i + 8*i = -22469, -13487 = -3*l - 4*i. Is l composite?
False
Let p = -158253 - -553811. Is p composite?
True
Let b(z) = -1206*z - 1015. Is b(-18) prime?
True
Let j(v) be the second derivative of 3*v**5/10 + v**4/6 + 5*v**3/6 - 14*v**2 + 112*v. Is j(9) prime?
False
Suppose -3*d + 33 = -5*s, d + s - 17 = 2. Is (1 + 0)*-3622*(-8)/d a composite number?
False
Let l(y) = -23*y**3 - 2*y**2 - 9*y + 32. Let k be l(-7). Suppose 3*r + 6*n - 5909 = n, 3*n = -4*r + k. Is r a composite number?
False
Let v(h) = 42147*h**2 - 347*h + 1025. Is v(3) a prime number?
True
Let c = 13222 - -152635. Is c a composite number?
False
Let v(a) = 3*a + 74*a**2 - 3*a**2 + 37 + 4. Suppose -62*u = -42*u + 120. Is v(u) prime?
True
Suppose 10167240 = 42*a - 3297582. Is a a prime number?
True
Let g = -221089 - -388142. Is g a composite number?
True
Suppose -2*d - 3*x = -2091, 3*d - 3*x - 2118 = 1056. Let q(s) = -254*s + 21. Let r be q(-5). Suppose -8*p + d = -r. Is p a composite number?
False
Let p(f) = 17*f**2 + 5*f - 47. Let m(g) = 2*g + 1. Let u(j) = 6*m(j) + p(j). Is u(-12) composite?
False
Let y = 17 - 14. Let b(o) = 117*o**2 - 32*o + 100. Is b(y) prime?
False
Let y be ((-63)/9 + 9)*1/(-2). Is 1/y + 2528 + -6 prime?
True
Suppose 122000 = 24*a - 285688. Let y = -3206 + a. Is y a prime number?
True
Is ((-3517)/1)/(((-10)/6)/(12640/96)) prime?
False
Suppose -3*l + 9 = -9. Let r = -11 + l. Is 2878*r*1/(-10) a prime number?
True
Let b(o) be the first derivative of -o**4/4 + 8*o**3/3 - 23*o**2/2 - 13*o - 179. Is b(-14) a composite number?
False
Let k(r) = -32*r**3 + 6*r**3 - 9*r**3 - 7*r - 7. Is k(-7) a composite number?
True
Let j = 32555 - -1806. Is j prime?
True
Let x(m) = -13*m - 748. Let u(j) = 4*j + 1. Let k(d) = -3*u(d) - x(d). Let v = -5 - -5. Is k(v) composite?
True
Suppose 0 = -527*p + 538*p - 616583. Is p composite?
False
Let u(l) = 2*l**3 - 2*l + 9*l - 1 + 13*l**2 + 7*l. Let g be u(-5). Suppose -g*d + 3*d = 4*p - 3919, 5*p + d - 4898 = 0. Is p a composite number?
True
Suppose -9*b + 69770 = -5*b - 5*z, 4*b - 2*z = 69764. Suppose 18*o - 2666 = b. Is o composite?
False
Let q = 57 - -61. Let o = q + 949. Is o composite?
True
Suppose 4*z = 2*j + 12, 9 = -j - z - 9. Let l = 10 + j. Is (-4 + 0 - -4425) + l a prime number?
False
Suppose 0 = -2*i + 5*x + 6763, 3*i + 218*x - 223*x = 10152. Is i a composite number?
False
Suppose -f - 3*h = -4*f + 32784, 0 = -f + 4*h + 10913. Suppose f = 7*b - 8849. Suppose b + 2375 = 7*c. Is c a composite number?
False
Let p = -48823 - -80522. Suppose -3*w = -16004 - p. Is w a composite number?
False
Let z = -87797 + 227598. Is z prime?
True
Let z(k) = k + 3. Let d be z(4). Let c be (d - 2) + -5 + 4. Is (4476/c - 2)*1 prime?
True
Let n(i) = 2*i**2 + 18*i + 24. Let v be n(-7). Is 3/v + 4/(16/751) composite?
True
Suppose 2*r + 240*z - 238*z = 258536, 2*r = 4*z + 258554. Is r composite?
True
Let x = -4 + -11. Let g be x/2*(-20)/50. Suppose -g*k = -0 - 12, -k + 3509 = 5*m. Is m a composite number?
False
Suppose -550*z + 171*z + 113558633 = 0. Is z prime?
False
Let w(u) = -5*u**3 - 9*u**2 + 2*u + 7. Let l be w(-7). Let m be ((-24)/(-42))/2 - 5168/7. Let r = m + l. Is r a composite number?
True
Suppose 4*b + 3 = 2*b - 3*p, 0 = b + p. Let r(w) = w**3 + 10*w**2 - 19*w - 12. Let m be r(-11). Suppose 2*u - 2*x - m = -0*x, 0 = b*u + 5*x - 90. Is u prime?
False
Is 2 + (-505320)/(-75) - 9/15 prime?
False
Let s = 440574 - 284543. Is s a composite number?
True
Let j be (-1 - -7)/(0 + (1 - -1)). Suppose -5*h = x - 1473, -x + 879 = j*h - 2*x. Suppose -u + 464 = -h. Is u composite?
True
Let m = 309 + -282. Is (-6)/9 + 153/m - -2453 prime?
False
Let k(x) = 3*x**3 + 46*x**2 + 18*x - 13. Let t(g) = 2*g**3 + 45*g**2 + 17*g - 15. Let l(i) = 6*k(i) - 7*t(i). Is l(14) prime?
False
Let k = 353677 - 169980. Is k a composite number?
False
Let r(s) = 75977*s + 5092. Is r(11) composite?
False
Suppose -5*p + 2*h = -60, p + 2*p - 5*h - 36 = 0. Let u be (-90861)/p + 2/(-8). Is (4/6)/((-8)/u) prime?
True
Suppose -25*y = 3*q - 20*y - 47698, q = 2*y + 15925. Is q prime?
False
Let x(d) = 2*d**2 + 7*d - 3. Let w be x(2). Suppose -w*f + 14555 + 9708 = 0. Is f prime?
True
Let s(l) = -314*l**2 + 21*l + 9. Let j(p) = -157*p**2 + 10*p + 4. Let d(k) = -7*j(k) + 3*s(k). Is d(2) composite?
False
Let z be (-3)/7*1 - 2175/(-175). Suppose 5*n = -4*o + 3073, 3*o - n = -5*n + 2306. Is ((-6)/z)/((-1)/(o/3)) prime?
True
Let d be (50/20)/(2 - (-15)/(-6)). Is (-6016)/d - 69/345 a prime number?
False
Suppose 0 = -52*a - 3*a + 12848495. Is a prime?
True
Suppose z + 4*s = 121, 0 = -3*z + s + 198 + 204. Suppose z*q = 129*q + 7736. Is q composite?
True
Let g be 7461 - 8 - 2 - -7. Suppose 0 = 6*x - 0*x - g. Is x a composite number?
True
Suppose -2*v = -5*h + 10, -v + 9 - 14 = -4*h. Suppose h = -18*y + 27*y - 711. Is y prime?
True
Suppose q + 5 = 0, -6 = -j + 4*q + 20. Suppose j*h + 16 = 82. Let m(u) = 149*u - 2. Is m(h) a composite number?
False
Suppose 0 = l - 2*l - 140. Suppose 14*p + 3*m = 16*p - 187, 0 = p - m - 90. Let t = p - l. Is t a composite number?
False
Let q(u) be the second derivative of 7*u**4/12 - 17*u**3/6 + 24*u**2 - 117*u. Is q(-11) composite?
True
Let t = 47972 - 31243. Is t composite?
False
Is (2/4 - (-644462)/(-26))*-2 composite?
True
Suppose 4515 - 20823 = 6*z. Let o be 10/(-3)*10/(40/z). Suppose 13*f = 478 + o. Is f composite?
False
Let d(r) = -6*r**3 + 3*r**2 + r - 2. Let p be d(4). Let o = 1095 - p. Let n = 3230 - o. Is n a prime number?
True
Suppose m = 5*t - 21, -5*m + 47 = 3*t + 12. Let r(g) = -13 - g + m*g**2 + g - 11*g. Is r(6) prime?
False
Suppose 0 = -4*i - p + 7 - 3, -4*i = -4*p - 24. Suppose i*v + 5398 = 3*u - 3*v, 2*u + 3*v - 3605 = 0. Is u a composite number?
False
Suppose 0*c + 858 = 3*c. Let s = c + -455. Let w = 246 + s. Is w a composite number?
True
Let h = -12978 - -61813. Is h a composite number?
True
Let s = -741 - -125. Let b = s - -2133. Is b prime?
False
Suppose 5*c + 45 = 2*b + 3*b, 7 = 3*b + c. Suppose 4*z - 46480 = -u, -28*z = -33*z + b*u + 58121. Is z composite?
False
Is ((-1)/(-3) - 1)/((-694414)/138882 - -5) a prime number?
False
Suppose 0 = -3*z - h - 757, -3*h - 1016 = 80*z - 76*z. Is z + 257 + 43362/4*2 a composite number?
True
Let f(g) = g**2 + 4*g - 17. Let u be f(-15). Let c = 508 - u. Suppose 4*q - c = 860. Is q composite?
True
Let a(i) = -12*i - 81. Let q be a(-7). Let b(o) = 231*o + 14. Is b(q) a prime number?
False
Let x be 0/(-4) - (-222890)/10. Suppose -3*w + 22324 = 5*j, 3*w - 16*j - x = -14*j. Is w composite?
False
Let j be (-3)/(63/15)*-38717. Is j/6 + (-24)/144 composite?
True
Suppose 2777923 = 122*k - 85*k. Is k a prime number?
True
Let q be (29088/180)/(-2*(-1)/5). Let b = 447 - 788. Let k = q - b. Is k prime?
False
Let i(r) = 7*r**3 + 12*r**2 - 19*r + 7. Let z be i(12). Suppose 613 = 4*s - z. Is s a prime number?
False
Let o = 74 - 41. Suppose -5*j - o = 6*j. Is (93/(-9))/(j/261) composite?
True
Is (-17)/((-170)/147964) + 48/80 prime?
True
Let x be (23/(-2))/(-3 + (-925)/(-310)). Suppose -x = -c + 339. Suppose -4*o - 3*t + c = -3*o, 2*o = t + 2069. Is o a composite number?
True
Let p be 14*((-56)/(-16) - 4). Let t(l) be the first derivative of -49*l**2 + 31*l - 2. Is t(p) composite?
True
Let o(g) = 36722*g**2 + 44*g + 109. Is o(-4) prime?
False
Let d be (17/3)/(6*5/90). Let k(x) = 211 - 460 - d*x + 230. Is k(-2) prime?
False
Suppose -59*p - 10 = -69*p. Is (-2 + 1912)/(p/((-2)/(-4))) a prime number?
False
Suppose -6*x = -197 - 91. Let d = -51 + x. Is d - -156 - -1 - -3 a composite number?
False
Let v = 438849 + -242558. Is v prime?
True
Let m be 1*(5 + 1960)*(1 - 0). Suppose 3*s - 1674 = m. Let y = -116 + s. Is y prime?
True
Let n(k) = 38*k**2 - 16*k - 11. Suppose -5*p + 3*i = -215, -3*i + i = 3*p - 110. Suppose -2*f = 2*f + p. Is n(f) a prime number?
False
Suppose 0 = 795*f - 817*f + 2316358. Is f composite?
True
Let j(f) = 1509*f - 21. Let i be j(2). Suppose 3*z - i = 4*a, z - a - 883 = 1