+ 525 = -5*w, 0 = -3*w - 9. Let r be (1/(-3))/((-3)/48)*15. Let q = s - r. Is q a prime number?
True
Suppose 3*s - 12 = -i - 0*s, 3*i - 5*s = 36. Let o be 2 + 0 + i/4. Suppose 4*v = 8*v + 2*d - 1222, 0 = 3*v + o*d - 906. Is v prime?
True
Let c(m) = -43*m**3 - 8*m**2 + 61*m + 339. Is c(-5) prime?
True
Let r be 4/2 - 16/2. Let n = r - -10. Suppose 92 = z + 2*y - 127, -4*z = -n*y - 828. Is z a prime number?
True
Let i be 1 + -4 + 6 + -1. Suppose q - 1827 + 146 = i*o, 0 = 5*q - o - 8423. Is q a prime number?
False
Is ((3 + 238802)/5)/(1 + 0) a composite number?
True
Suppose g - 18 = 5*v - 0*v, 3*v - 3*g + 6 = 0. Is v + 1070 + (-12)/(-4) a prime number?
True
Let z = 73 - 74. Is (-8 - z) + 5 + 253 a prime number?
True
Let r be (1/(-2))/((-4)/64). Suppose 3*i - 1 - r = 0. Suppose 5*l + 15 = 0, z + i*l - 64 = -2*l. Is z a prime number?
True
Let b = -60 + 63. Let l be 23 + 0 + 2 - -1. Is l*b/12*22 composite?
True
Let q = -16181 + 30682. Is q prime?
False
Suppose 7987 = -185*q + 192*q. Is q a prime number?
False
Let s be -8*3/6*-1693. Suppose 0*b = 4*b - s. Is b a prime number?
True
Suppose a - 4 = -5*t + 12, -3*t - a + 10 = 0. Suppose w - t*w = -172. Suppose -4*r + 2 + w = 0. Is r a prime number?
False
Suppose -2*c = -2*n + 540, 37*c - 40*c = 9. Is n composite?
True
Is (-8 - -16) + 4943 - -6 prime?
True
Suppose -2*b - 3*x - 2*x = -23, -b - 2*x = -9. Is b/((-4)/(-10) - 11212/27980) prime?
True
Is 150/35 - 4 - 54699/(-21) composite?
True
Is ((-15)/(-60))/((-3)/(-71844)) composite?
False
Let q(z) = 414*z**3 + 2*z**2 - z. Let m(o) = -o**2 - 6*o + 1. Let u be m(-6). Let d be q(u). Suppose d = t + 4*t. Is t prime?
True
Let j(h) = -5*h**3 - 6*h**2 - 7*h - 7. Let k be j(-5). Suppose -5*a + 122 = -k. Suppose 8*y = 3*y + a. Is y a prime number?
False
Let l(z) = 0*z**2 - z**3 - 1 + 6*z - 6*z**2 - 2. Let m be l(-7). Suppose 2*y - y - 342 = -m*b, b + 3*y - 91 = 0. Is b prime?
False
Let t be -2 - 1 - (-1 - -2). Let n = t + -2. Let c(w) = -w**3 - 7*w + 1. Is c(n) a composite number?
True
Suppose -3*i - 4*u = -6*i + 12305, -3*i + 12293 = 2*u. Is i prime?
True
Let p(i) = i**2 - i + 8. Let g be p(0). Suppose -1120 = -g*r + 3*r. Suppose 0 = 5*x - r + 39. Is x prime?
True
Suppose 0 = 160*l - 165*l + 16025. Is l a prime number?
False
Let h be -2 + 45 + -4 + 5. Suppose -w = -z - h, 16 = 4*w - 0. Let k = z - -59. Is k a composite number?
False
Let u(g) = 8*g + 5. Suppose -x + 12 = 4*f, 0 = 3*x - 4*f - 5 + 1. Let s be u(x). Let k = 12 + s. Is k prime?
False
Suppose 3*w - 1482 = -561. Suppose -t = -w - 308. Suppose 5*b - t = -0*b. Is b a prime number?
False
Let f = -5773 - -9290. Is f a composite number?
False
Let l be (4/(-10))/(1/(-5)). Is 337*(l - (0 + 1)) a composite number?
False
Suppose -6*r + 5*r + 688 = 0. Let x = r + -57. Is x a prime number?
True
Suppose 25 = 3*g + 2*g. Suppose -5*q + 1 + 2 = -4*w, g*w + 2*q = -45. Let n(i) = -2*i**3 - 9*i**2 - 3*i - 3. Is n(w) prime?
True
Let y = -1267 - -1914. Let n = y + 468. Is n a composite number?
True
Suppose -2*w + 2*q + 8 = 0, 12 = 5*w - q - 4. Suppose w*g = 2*u + 424, -g + 5*u + 80 = -57. Is g composite?
True
Let s(c) = 26*c**2 + 26*c + 29. Let v be s(20). Suppose 0 = 6*n - v - 3205. Is n a composite number?
True
Suppose -28*l + 301612 = 103680. Is l a composite number?
False
Let j(x) = 3886*x - 61. Is j(3) prime?
True
Suppose 0 = -55*l - 36*l + 5522699. Is l prime?
True
Let y be ((-1)/(-5))/((-4)/20). Let w(h) = -995*h**3 + h + 1. Let n be w(y). Suppose -34*c + n = -33*c. Is c a composite number?
True
Let u = 42 + -37. Suppose -4*z - w = -3741, 5*z + u*w - 4851 = -156. Is z a composite number?
True
Let x be ((-18)/(-27))/(1/(-3)). Let a(w) = 175*w**2 + 4*w + 3. Is a(x) a composite number?
True
Suppose 0 = -34*n - 25354 + 90430. Let x(d) = -3*d**2 + d. Let k be x(-1). Is (-2)/(k + n/479) a composite number?
False
Let n(f) = 2693*f**3 + 7*f - 4. Let d(p) = -4039*p**3 - 10*p + 6. Let r(h) = -5*d(h) - 7*n(h). Is r(1) composite?
True
Suppose 9*t = 32*t - 27393. Is t a composite number?
True
Suppose 2*p = 7*p - 5605. Is p composite?
True
Suppose -4*r + 1 = -31. Suppose 3*p - 7 = r. Suppose 4*w - p - 11 = 0, -5*s - 5*w + 5235 = 0. Is s a prime number?
False
Let p = 46701 + 26480. Is p a composite number?
False
Let n(q) = 490*q**3 + q**2 - 2*q + 2. Is n(1) a prime number?
True
Suppose -3*x - m + 9090 = 0, 5*x + 4*m + 3017 = 6*x. Is x composite?
True
Let s(h) = 3*h**3 - 2*h + 29 + 33*h**2 - 2*h**3 - 12*h**2. Is s(-15) a composite number?
False
Let i = 68 + -48. Suppose 6*y + i = 11*y. Suppose -5*d = l - 937, 3*d = -d + y*l + 740. Is d a prime number?
False
Suppose 10 = -2*u + 20, -3*a - u + 476102 = 0. Is a a composite number?
False
Let u(w) = w**2 + 13*w - 12. Let d be u(-14). Suppose -h + 1102 = d*m - 6*h, 2755 = 5*m - 3*h. Suppose 0 = 2*z + 10, -v = -3*v + 5*z + m. Is v composite?
False
Let v(l) = 2*l**3 - 11*l**2 + 10*l - 36. Let g be v(15). Let k = g + -2476. Is k a prime number?
True
Is 1/1 + (2491 - -29) composite?
False
Suppose 0 = 20*g - 4*g + 12832. Let v = g + 3117. Is v composite?
True
Let i = 1489 - 343. Let r = i + -347. Is r a composite number?
True
Let p = 108190 + 45259. Is p composite?
False
Suppose 0*n - 72 = 4*n. Let s be (-6)/(-36) - 2373/n. Suppose 4*b + s = 4*i, -b + 0*b = i - 37. Is i composite?
True
Let d(f) be the second derivative of -f**5/10 - 5*f**4/12 + 7*f**3/6 + f**2/2 - 7*f. Is d(-6) composite?
False
Let a be (14 + -3 + 2)*(30 - 1). Is a + 1 + (-1 + 2)*1 a composite number?
False
Suppose -1 = -h - 2. Let z be 5/(-50)*-5*0. Is (1 + z)*h*-31 prime?
True
Let f(d) = d**2 + 3*d - 2. Let v be f(-4). Let n be ((-36)/(-8) + -3)*v. Suppose -4*w = 4*c - 1412, -n*c = 2*c - 2*w - 1779. Is c composite?
True
Let y = 61 - 40. Is 105/y*(-497)/(-5) a prime number?
False
Let z be (-5559)/(-12) - (-4)/(-16). Suppose x = 4*r + z, -x + 454 = -r + 3. Is x a prime number?
False
Suppose -327 = -5*s - 12. Suppose g = 4 + s. Is g prime?
True
Let c(u) = 747*u**2 - 17*u - 107. Is c(-8) prime?
True
Suppose 0 = 2*u, 0 = -2*y - 3*y - u + 160. Suppose 29*s - y*s + 879 = 0. Is s composite?
False
Let z = -18 - -38. Suppose -2*f + z = 3*f + 2*i, -3 = f - i. Suppose -5*a + 0*h - h + 808 = 0, 0 = -4*a - f*h + 650. Is a composite?
True
Let v(c) be the second derivative of -85*c**3/6 - 3*c**2 - 7*c. Is v(-5) a composite number?
False
Let j be (-1)/(-3) - 728/(-21). Let k = j - 20. Suppose 3*p + 6*y - y = 80, k = -3*y. Is p a composite number?
True
Let g = -4 - -1. Let b be (-1)/(g/39) + 0. Suppose -5*l + 59 = 2*i, -2*i = -4*l - 73 - b. Is i a composite number?
False
Let o(a) = a**2 - 2*a - 10. Suppose s + 0 - 5 = 0. Let f be o(s). Suppose -2*j + 848 = 4*x, f*x = j + 4*j + 1045. Is x composite?
False
Let j(n) = n**3 + 5*n**2 - 6*n - 6. Let i be j(-6). Is (-38)/2*(5 + i) a prime number?
True
Suppose -45*p + 246195 = 77220. Is p composite?
True
Let n = 392 + -810. Let d = 1945 + n. Is d prime?
False
Let o(f) = -12*f + 10. Let b(s) = -s**3 + 3*s**2 + 7*s - 6. Let h be b(4). Let l be (-3 + h)/(-3) + -10. Is o(l) prime?
False
Let t(n) = n**3 + 2*n**2 - 2*n. Let y be t(-3). Let b = 2 - y. Is 58/8*(23 + b) prime?
False
Let t = 26170 + -13717. Is (3 + 10/(-3))/((-7)/t) composite?
False
Let n be (-3 + 14/4)*4. Is (-37)/((2/(-11))/n) a prime number?
False
Let v be (-16)/(-88) - (-14106)/(-22). Suppose -4*j - n = 4914, -2*n - 4916 = 4*j - 0*n. Let x = v - j. Is x a prime number?
True
Let p(b) = 411*b - 22. Is p(1) composite?
False
Let c be 7/7*-1*10. Let j be 2/c - 78/(-15). Is (94 - -3)/(5/j) a prime number?
True
Let v(q) = q**3 + 31*q**2 - 2*q + 31. Is v(-30) a prime number?
True
Let i(n) = -2*n + 50. Let v be i(22). Is ((-5793)/v + 0)*-2 a composite number?
False
Let h(s) = 12*s - s**3 + 17*s**2 - 21*s**2 - 10*s**2 + 9*s + 12. Let u be h(-16). Suppose 0 = -c + 171 + u. Is c prime?
True
Let g(d) = -12*d**2 - 5*d + 32. Let a be g(14). Is (a/(-6) - 8/6)/1 a prime number?
True
Suppose -14*o = o - 16755. Is o composite?
False
Let m = 1280 - 2002. Let t = 1193 + m. Is t a prime number?
False
Let t = -2 - -2. Let o(g) be the first derivative of g**3/3 - g**2/2 + 35*g - 64. Is o(t) a composite number?
True
Let y(p) = -p**2 + 5*p + 6. Let w be y(6). Suppose 3*k + 11 - 38 = w. Let g = 164 - k. Is g prime?
False
Suppose 4*g - 60 = -48, -4*z - 5*g = -52