37. Is w a prime number?
True
Let z(q) = q**3 - 14*q**2 - 17*q + 33. Let n be z(15). Suppose 3*v + v - 12 = 0. Suppose -2*j = 2*c - 5*c + 425, 450 = v*c + n*j. Is c a prime number?
False
Let v = -1934 + 261. Let i be ((-1132)/(-6))/(-5 + 29/6). Let t = i - v. Is t composite?
False
Suppose 2*p + 18 + 0 = 2*d, 0 = 4*d + 4*p - 4. Suppose -5*g + 5*w + 1640 + 15490 = 0, -d*g = 5*w - 17140. Is g a composite number?
True
Suppose 3*b - 267845 = -5*i, -i - 13*b + 53569 = -15*b. Is i a prime number?
True
Let i = -254 + 248. Is i - (-3286 - 6/6) composite?
True
Let u(o) = -26*o**3 - 4*o**2 + o. Let a(b) = -51*b**3 - 8*b**2 + b - 1. Let k = -7 - -11. Let l(x) = k*a(x) - 7*u(x). Is l(-3) prime?
True
Let t(z) be the third derivative of 7*z**4/24 - 23*z**3/6 - 19*z**2. Let q be t(4). Suppose 3*p - 15885 = -2*v, -7436 - 19043 = -q*p - 2*v. Is p prime?
True
Suppose 15*r = 72956 + 25354. Is 15/30*(0 + r) a composite number?
True
Suppose 4*y - 2*x - 16 = 0, 5*y - 4*x = 2*y + 17. Suppose 2*c = -2*s + 11321 + 11109, c - y*s = 11207. Is c prime?
True
Suppose 0 = -80*c + 83*c + 3*l - 905385, -2*l = -12. Is c a prime number?
True
Suppose -2*n = -3*w - 9236, -5*w + 0*w = -5*n + 23100. Suppose 3*v - n = -t, -4*v + t = -3*t - 6192. Is v a prime number?
True
Let g = -1500194 - -2387793. Is g composite?
False
Suppose 0 = 110*k - 131551 - 26846059. Is k a prime number?
True
Suppose -18 = f - 2*f. Let k(t) = 4*t**2 + 15*t + 40. Let u(c) = 4*c**2 + 16*c + 41. Let z(l) = -2*k(l) + 3*u(l). Is z(f) a composite number?
False
Let q = -22263 - -8576. Let w = 30504 + q. Is w composite?
True
Is (-80139071)/(-272) + (-18)/(-288) a prime number?
True
Let b = 133 + 111. Let o = 165 + b. Is o composite?
False
Let l = -27520 - -78849. Is l prime?
True
Suppose -49*m + 77*m = 239792. Suppose -2*o + 3*s = -17123, -o + m = s - 0*s. Is o composite?
False
Let w(z) = 43867*z**2 + 85*z + 85. Is w(-1) prime?
True
Let j(f) = -2*f + 6. Let d be j(2). Suppose -2*x + 3*y = -10522, 0 = -x - d*y - 2*y + 5261. Is x prime?
True
Let m = -5 + -19. Let i be ((-18)/m)/((-2)/(-2448)). Suppose 7419 = 7*j - i. Is j a prime number?
False
Suppose 16*s + 6 = 19*s. Suppose -3*i + s = -2*v, i + 16 = 5*v - 5. Let j = v + 126. Is j prime?
True
Suppose 2*c + 8371 = 38061. Suppose 0 = -g + 2*a + 2961, c = 3*g + 2*g - 2*a. Is g a composite number?
False
Let y(t) be the third derivative of 77*t**5/15 - 5*t**4/24 + 2*t**3/3 - 4*t**2 - 11. Is y(3) composite?
True
Suppose 3*k + 4 - 29 = 5*c, 0 = -5*k - c + 23. Let o = -101 + k. Let g = 53 - o. Is g composite?
False
Let b = 535374 + -312681. Is b a composite number?
True
Let p(s) = -s**2 + 43*s - 143. Let r be p(39). Let n(x) = x + 1. Let v(c) = -13*c + 28. Let t(i) = 5*n(i) - v(i). Is t(r) prime?
True
Suppose -396*b - 479610 + 400593 = -2464125. Is b a composite number?
True
Let v(w) = w**2 - w. Let i(h) = 16*h**2 - 6*h - 5. Let x(b) = 2*i(b) - 14*v(b). Let d be x(4). Let f = d - 99. Is f composite?
True
Let o = 47145 + -15650. Is o prime?
False
Let o(t) = -4*t + 21*t - 12 + 63 + 0*t. Let p(k) = k. Let g(w) = -o(w) + 6*p(w). Is g(-22) prime?
True
Let m(d) be the third derivative of d**5/20 - 13*d**4/24 + 7*d**3/2 + d**2 + 12. Is m(-18) a composite number?
True
Let y = 3227 - 2262. Suppose y = 9*t - 4*t. Suppose -g + 1 = -t. Is g a prime number?
False
Suppose 4*c = -296 + 308. Suppose c*t = f - 11385, -2*t + 5153 = -3*f + 39294. Is f a composite number?
True
Let r(z) be the third derivative of -43*z**5/120 - z**4/12 - 2*z**3 + 6*z**2. Let t(f) be the first derivative of r(f). Is t(-3) prime?
True
Let i be -2*3/6*18. Is (-36)/i*(-2129)/2*-1 a prime number?
True
Is ((45/(-30))/3)/(2/(-145946*2)) prime?
True
Let y(i) = -5*i + 8*i**2 - 149*i**2 + 6 - 521*i**2. Let h be y(1). Let c = 1068 + h. Is c composite?
True
Let u(y) = y + 59. Let r be u(-18). Let g(c) = 55 + r*c + 181*c + 312*c. Is g(8) prime?
True
Suppose 0 = 75*k - 2*k - 60663. Is k composite?
True
Let j = 62 - 74. Is (-50)/60 + (-78574)/j a composite number?
False
Let l(z) = 3*z**3 - z**2 + 4*z - 4. Let s be l(2). Suppose -s*n + 23*n = 0. Suppose n = 2*x + 3*k - 2192, 7*x - 3291 = 4*x - 3*k. Is x composite?
True
Suppose -30*w - 195863 + 3514553 = 0. Is w prime?
True
Let z(d) = -2258 + 7*d - d**2 + 2258. Let m be z(7). Is (-39)/(-13) + -1 + m - -161 prime?
True
Let m be (6/24)/(2*(-2)/(-176)). Let v(o) = 635 - o + 5*o**3 - o**2 + m*o**3 + 2*o - 15*o**3. Is v(0) prime?
False
Let w = 288125 - 119062. Is w a composite number?
False
Let i be 2*-2*(-603)/2. Suppose 17*j + i = 20*j. Suppose -5*d - u = -1028, 6*u - j = -2*d + u. Is d a prime number?
False
Let d be 364*((-1)/(-2) + 339/3). Let y = -16845 + d. Is y composite?
False
Suppose 0 = -5*j + 10, 0*j + j = -5*f + 652. Let l be (f/10)/((-1)/(-367)). Suppose 0 = -3*d + 5*r + 5936 - 1125, 0 = 3*d + 5*r - l. Is d a composite number?
False
Is (15550245/(-162) - 6)*12/(-2) composite?
True
Suppose 3*p = 0, 45 = -4*n - 2*p + 189. Suppose 8*c = -12 - n. Let z(j) = -178*j - 25. Is z(c) prime?
False
Suppose -2*q = 5*s - 105 - 53, 3*q = -5*s + 162. Let f = 101 - s. Let i = 104 - f. Is i a composite number?
True
Suppose -7*n + 54178 = -48953. Let l = n + -10222. Is l a prime number?
False
Suppose -2*u - 788276 = 8*g - 3*g, -4*g = -u + 630613. Is g/(-34) + (-36)/(-306) a prime number?
True
Is (-34)/51 + (3 - 297572/(-3)) a prime number?
False
Suppose -3338475 = -l - 2*u, -35*l - u - 6676920 = -37*l. Is l a prime number?
False
Let i(c) = -2898*c + 1579. Is i(-11) composite?
False
Let i = -1848 + 5929. Let c = i - -492. Is c a composite number?
True
Let i(q) = 5*q + 50. Let j be i(-9). Suppose -j*u = -89675 - 9020. Is u a prime number?
True
Let f(d) be the first derivative of 11*d**2/2 + 1678*d + 137. Is f(0) a prime number?
False
Let o(u) = 5*u**2 - 17*u + 7. Suppose -9*q + 4*j = -5*q - 52, 5*q - 4*j - 65 = 0. Is o(q) a prime number?
True
Suppose -14550 - 57220 = -10*w. Is w a composite number?
False
Let i = 63883 + -3904. Is i a composite number?
True
Let s(m) = -7*m**2 - 29*m + 25. Let p(v) = 6*v**2 + 30*v - 26. Let z(i) = -6*p(i) - 5*s(i). Let q(d) = 218*d - 678. Let r be q(3). Is z(r) a prime number?
False
Let v(t) = 75*t**3 - 4*t**2 - 8*t - 4. Let j be v(-3). Let n be j/((-2)/20 + 0). Is 1/(3 + n/(-6805)) composite?
False
Suppose -74245068 = -2*u + 64*u - 266490142. Is u prime?
False
Let m(c) = -3709*c + 24. Let o = -1 + -9. Let r be m(o). Is -2 + r/12 + 4/24 composite?
True
Let y(z) = 6*z**2 + 6*z - 7. Let k be y(1). Suppose -k*i = -22*i + 54179. Is i composite?
False
Suppose 17*l + 3*l = 10*l + 4583650. Is l a composite number?
True
Suppose -10 - 5 = -5*z, -3*z = 3*d - 8478. Suppose -5*b - d + 21058 = 0. Is b a composite number?
True
Suppose 3*g = -3*i - 4 + 19, 2*i + g = 6. Let t be 7 + 2 + i + -1. Is t/3 - (-482 - -3) a prime number?
False
Let a = -18 - 14. Let b be a/112 + (-46)/(-14). Is (-1 - 36)*(-2 + b)/(-1) a composite number?
False
Suppose -68*y = -3*y + 51983620. Is y/(-95) + (-12)/(-20) a composite number?
False
Suppose 10*y - 776 = 8*y. Suppose -a = -1, 2917 = -2*t + 6*t + a. Let c = t - y. Is c a prime number?
False
Let f(j) = 2307*j**2 + 254*j - 52. Is f(-15) composite?
True
Let d be 2 - (2/6 + 4241/3). Let f = d - -5243. Suppose -5*u = -n - 3*n + 3088, f = 5*n + u. Is n a prime number?
False
Suppose 4*i - 16 = 0, z + 385*i = 390*i + 27593. Is z prime?
False
Let b(y) be the third derivative of -13*y**6/120 + 4*y**5/15 + 3*y**4/4 - 2*y**3 + 69*y**2 - 1. Is b(-5) a prime number?
False
Suppose 13*f = -0*f + 143. Is 5*((-27823)/(-35) - f/77) prime?
False
Suppose 537 = 3*z + 75. Suppose 2*n + 3*v + 19 = 0, -5*n - 68 + 10 = -3*v. Is (9 + n)/((-4)/z) composite?
True
Let b = 723496 - 249195. Is b prime?
False
Suppose -14*o = -18*o - 668. Let k = -117 - o. Suppose k = h - 5*a, -a = 4*h + 4*a - 125. Is h prime?
False
Suppose -315*u + 320*u = 0. Suppose u = -7*a + 53549 + 16668. Is a a composite number?
True
Suppose -4*j - 4*t = -295156, -3*j - 4*t = -241636 + 20263. Is j composite?
False
Is -14 - 3 - (-31 + -332589) composite?
True
Let g(l) = 261*l**2 - 3*l + 2 + 6*l - 9*l + 21*l**2 + 3. Is g(4) prime?
True
Suppose 220*r - 218*r + 6 = 0. Is r*(6748/(-6) - -1) prime?
True
Suppose -8874 = 2*l + 2*p, 0 = 4*l + 2*p + 13809 + 3947. Let m = 7794 + l. Is m a prime number?
False
