ppose -o*u = -15*u. Suppose u = -0*m + 3*m - x - 460, x = -m + 160. Is m prime?
False
Suppose 0 = 3*m + m - 8. Suppose 0 = -i + m*i + 2*z + 6, i - 5*z = 1. Let t = i - -185. Is t a composite number?
False
Let u = -9 - -5. Let m(k) = 21*k. Let s be m(u). Let a = s + 245. Is a a prime number?
False
Is ((-14)/(-8))/(6/17736) composite?
True
Suppose r - 377 = -141. Suppose 2*z + 2*m + r = 1230, -z + 497 = 4*m. Is z composite?
True
Let o be 335/65 - (-4)/(-26). Suppose d - 3*d + 140 = 2*b, 5*b = -3*d + 214. Suppose 5*h - 86 = -3*t + 148, -o*h + d = t. Is t composite?
False
Suppose 3*a - 5*u = 8969 + 6141, -u = -a + 5038. Let k = a + -1877. Is k a prime number?
True
Is 1 + 28/(-32) - (-36435)/40 a composite number?
False
Suppose 15*s = s + 4*s. Suppose s*p + 983 = p + q, 4*p = -q + 3920. Is p prime?
False
Let z(j) = 227*j + 9. Let i be z(7). Is (-10)/(-15) + i/6 composite?
True
Let w = 12 - 16. Let t = -10 + w. Is 20330/35 - 2/t a prime number?
False
Suppose 3*p + 0*p - 42 = 0. Suppose -13*x = -p*x + 24. Suppose 5*d - 361 = x. Is d prime?
False
Suppose 17 = 2*j - 1. Suppose 10*d = j*d + 149. Is d a prime number?
True
Let f be 0/(-5) - (2 + 1). Is 404 + (f + 4 - -2) composite?
True
Suppose -2*u = 6, 5*u = -7*t + 5*t + 3543. Is t prime?
False
Suppose -4*l - 4 = 4*y, l - 7 - 10 = 5*y. Let n be 5441 + -5 - (-1 + 1). Is (-1)/l + n/8 a composite number?
True
Suppose 16 = p + 5. Suppose -z - 2*c + 6 = 0, -c = -3*z - 0*z + p. Suppose -z*o + 738 = -v, 366 = -o + 3*o - 2*v. Is o a composite number?
True
Let f = 3939 + 14822. Is f a composite number?
True
Suppose 5*w - 3*w = 21434. Is w a prime number?
False
Let r be 2 - (-1 + -2)*1. Let i(b) = 18*b**2 + 4*b - 5. Let u be i(r). Suppose -3*n + 90 = -u. Is n a composite number?
True
Suppose 0 = -5*i - 4*n + 8694, -i - 2*n + 1738 = -n. Let x = -627 + i. Is x prime?
False
Let s(u) = -u**2 - 5*u + 5. Let q be s(-5). Suppose 9*m = q*m + 152. Let w = -19 + m. Is w a composite number?
False
Is 15/3*(2 + 1749/5) prime?
True
Let w(y) be the second derivative of -3*y**5/20 - 2*y**4/3 - y**3 + 13*y**2/2 + 6*y. Let o = 2 - 8. Is w(o) a prime number?
True
Suppose -4*u = -3*x - 3, 5*u + 3*x - 18 = 2*u. Suppose c + 360 = -w, c + 421 - 71 = -u*w. Let r = c + 720. Is r composite?
True
Let k be (-28)/(-126) + (-68)/(-18). Suppose k*m + 5*v = 0, -m + 6*m = -4*v. Suppose m = -4*s - 4*w + 620, 5*w - 14 = -3*s + 447. Is s prime?
True
Let l(o) = -2*o**3 + 19*o + 22. Is l(-15) a prime number?
False
Let g be (-1652)/(-8) - 1/2. Suppose n + 43 - g = 0. Is n a prime number?
True
Let m(k) = k**3 + k**2 - 4*k + 4. Suppose s - 4*f + 14 = 6*s, 2*s - f - 16 = 0. Let c be m(s). Suppose 0*n - 4*n = -c. Is n a prime number?
False
Let r(q) = q + 2. Let p be r(-6). Is 1/(1*p) + (-16047)/(-12) a composite number?
True
Let z(x) be the first derivative of 470/3*x**3 - x + 0*x**2 - 2. Is z(1) a composite number?
True
Let u(h) be the second derivative of -h**4/12 + h**3/6 + 367*h**2/2 - 2*h. Let b be (-11 + 10)*(1 + -1). Is u(b) a prime number?
True
Let o(d) be the third derivative of -5*d**5/8 + d**4/6 - 7*d**3/6 + 9*d**2. Let c(h) be the first derivative of o(h). Is c(-5) composite?
False
Suppose -16982 = -3*h + 35071. Is h composite?
False
Suppose -5*a - 267232 = -19*a. Suppose 0 = -11*p - 5*p + a. Is p a composite number?
False
Let j(x) = -22*x + 7. Let g(a) = 23*a - 6. Let w(i) = 5*g(i) + 4*j(i). Let k be w(-4). Let s = k + 321. Is s composite?
False
Let l(b) = 1410*b + 11. Is l(3) a composite number?
False
Let u(n) = n**3 - 5*n**2 + n + 2. Let d be u(5). Suppose 5*v - 4182 = -2*o, -4170 = -d*v + 2*v - 5*o. Is v composite?
True
Is (1/3)/(5/898635) prime?
False
Is 15/25 + ((-83936)/(-10))/4 a prime number?
True
Let l(u) = u**2 + u. Let z be l(-2). Suppose 2*y - 3*d - 12 = d, -z*y - d = -7. Suppose 0 = -5*b + y*c + c + 250, 268 = 5*b + c. Is b prime?
True
Let z(o) = -14*o**3 - 5*o**2 - 4*o + 5. Let u be z(-7). Let t = u + -3031. Is t prime?
True
Suppose -4*b - 3 - 5 = 0. Let n be (-6)/b + -1 - 2. Suppose n*h = -h + 67. Is h a prime number?
True
Let a = 378 + -97. Suppose -34 = q - a. Let b = 542 + q. Is b composite?
True
Suppose -4*m = -0*l + 2*l - 20, 3*l + 3*m - 18 = 0. Let g be l + 0/2 - -787. Suppose 0 = 3*i - 1116 - g. Is i composite?
True
Let w = -8 - -12. Suppose -5*c = 5*d - 5210, w*d - 1051 = -2*c + c. Is c composite?
False
Suppose 5*a = -2*y + 3313, 3*y - 4980 = -0*y - 4*a. Let s be 15/(-10)*y/(-12). Suppose 2*x + x = -2*k + 163, -s = -4*x + 2*k. Is x prime?
True
Let p(v) be the first derivative of 2*v**2 - 2*v - 2. Let c be p(2). Is (232/c)/((-10)/(-15)) a composite number?
True
Let v be (-5)/((-5)/2)*44. Let o be -1 + 7/(7/v). Suppose o = 2*w + 21. Is w composite?
True
Suppose -4*r + 6*r = -2. Is (r/2 + -2)*-58 a prime number?
False
Suppose r - 3*k = -4*k + 11711, 0 = 3*r - 4*k - 35154. Let y = r - 8067. Is y a prime number?
False
Suppose 4*r - 2*p = 1498, r - 2*p - 424 = -45. Is r prime?
True
Suppose 2*z + 1985 = 3*q, 4*z - 598 = -5*q + 2747. Suppose 0*p - p + 3*t + q = 0, -p - 3*t + 653 = 0. Is p composite?
False
Is ((-10)/(-20))/(4/168712) a composite number?
False
Let d = -3 + 4. Let s be 9/6*(-5 + -1). Is d/(s/(-399))*3 prime?
False
Suppose u - 2 - 6 = 0. Let k = 29 - u. Let a = 25 + k. Is a a prime number?
False
Let y = 1134 - 663. Is y composite?
True
Suppose 4*s = -2*s + 96. Let g be ((-1880)/s)/(2/12). Is ((-5)/(-15))/((-1)/g) a prime number?
False
Let z(n) = 6*n + 15. Let p(r) = -6*r - 15. Let u(h) = -4*p(h) - 3*z(h). Let o be u(-6). Is 7*213*(-2)/o composite?
True
Let s(t) = 49*t + 64. Is s(13) composite?
False
Suppose -91*r + 103*r = 14628. Is r a composite number?
True
Suppose 4632 + 300 = 4*m. Suppose -3*v + 241 = i, 5*i + v + 0*v - m = 0. Is i prime?
False
Let r(m) = -22*m**2 - 5*m + 13. Let j be r(8). Let a = j - -2106. Is a a prime number?
False
Let u = -4 + 8. Suppose 2*c - 2*t = u*c - 29890, c - 14939 = -3*t. Is (-1)/(-6) + c/24 a composite number?
True
Let x(l) = l - 6. Let r be x(-6). Let d(h) = 10*h**2 - 22*h + 29. Is d(r) prime?
True
Let z = 8709 - -35092. Is z prime?
True
Let u(s) = -10*s**3 - 35*s**2 - 61*s - 71. Let h(l) = 3*l**3 + 12*l**2 + 20*l + 24. Let g(t) = -7*h(t) - 2*u(t). Is g(-14) prime?
False
Suppose 4*o + 12 = 0, -2*z - 10 = 4*o - 6. Suppose 0 = -3*r + z*g + 4613, 3*r + 3*g = 2612 + 2029. Is r composite?
False
Let l be (2 - 6/3)/(-4). Suppose -3*h + l*h = -57. Is h prime?
True
Let h(v) = 272*v**3 - 4*v**2 - 3*v + 20. Is h(3) composite?
True
Suppose -716 = 2*u + 2*u. Let b = 122 - u. Is b a prime number?
False
Suppose -2*d - 4*w + 2290 = -0*w, -3438 = -3*d - 5*w. Is d prime?
True
Let t = 157 + -1065. Let r = t - -1581. Is r prime?
True
Let b be (-110)/11*18/4. Let u be b/9*3/(-3). Is ((-114)/5)/((-2)/u) a composite number?
True
Let p(d) = -3*d**2 - d - 2. Let h be p(-2). Is (4/(-6))/(h/12330) composite?
True
Let y(b) = -2*b - 3. Let u be y(-4). Let w(i) = 19*i**2 - 11*i - 1. Is w(u) composite?
False
Let f(j) be the second derivative of j**5/20 + 7*j**4/12 + j**3/6 + j**2 - 13*j. Let w be f(-7). Is 331 - w/10*8 a prime number?
False
Suppose -3*i + 28 = i. Let h = i + -11. Is (-2)/h - 195/(-6) composite?
True
Let o be ((-21)/9 - -3)*9. Let b(g) = 21*g + 17. Let a(k) = 21*k + 17. Let s(c) = o*b(c) - 7*a(c). Is s(-6) prime?
True
Let x(p) = 16*p**3 + p. Let v be x(-1). Let t(q) be the third derivative of q**6/120 + 4*q**5/15 - 25*q**4/24 - 3*q**3/2 - 16*q**2. Is t(v) prime?
True
Let n(j) = 27*j - 32. Let w(z) = -z**2 + 24*z + 9. Let m be w(24). Is n(m) composite?
False
Let z = 14 + -19. Let y(n) = n**3 + 4*n**2 - 6*n - 1. Let q be y(z). Let i(x) = 73*x + 9. Is i(q) a prime number?
False
Suppose 1389 = m + 2*w, 0 = -m - 4*w + 1000 + 379. Is m composite?
False
Let x(l) = 5*l**3 - 4*l + 4. Suppose 7*k + 11 = 32. Is x(k) composite?
False
Let a = 2953 - 230. Let q = a - 1066. Is q prime?
True
Suppose 0 = -60*c + 29*c + 491629. Is c a prime number?
True
Let l = 1722 - -215. Is l composite?
True
Let c(h) = -262*h + 2. Let o be c(6). Let f be 2/(-14) - (-61624)/(-28). Let p = o - f. Is p a prime number?
True
Let b(u) be the first derivative of 13*u**3/3 + 7*u**2/2 + 5*u - 6. Is b(-4) a prime number?
False
Suppose -9831 = -3*a - 3*o, -2*a + 92*o - 89*o = -6554. Is a prime?
False
Let s(q) = -99*q**3 + 2*q. Let 