s -22*(4 - (-1948)/(-8)) prime?
False
Let r = 1875 + 714. Suppose 22*c - r = 19*c. Is c composite?
False
Let g = 581 + -32. Suppose -2*c - g + 2743 = 0. Is c a composite number?
False
Is (276394/14 + (-6)/14)/2 a prime number?
True
Suppose 0 = -4*b - b + 1725. Let k(f) = -f**2 + 3*f + 6. Let o be k(4). Suppose b = i + o*i. Is i a prime number?
False
Suppose 5*f - 3*a = 3*f + 246361, 5*f + 5*a - 615890 = 0. Is f a composite number?
True
Let c(r) = -65*r**3 + 4*r**2 + 40*r + 18. Is c(-7) prime?
True
Suppose -3*s - 2*b = 10, 1 = -s - b - 2*b. Is (1/2)/(s/(-11768)) a composite number?
False
Let s be (-6)/8 + (-84)/16. Let v(m) = 5*m + 9. Let u be v(s). Let c = 180 + u. Is c prime?
False
Let a = -12477 - -44824. Is a composite?
True
Let i(g) = -2*g**2 - 2*g + 5. Let s be i(0). Is 2 + -3 - (-385 - s) prime?
True
Let j = 13 - 8. Suppose -j*w + 7*w - 356 = 0. Is w composite?
True
Let h(b) = -21*b**2 + 7*b - 6. Let k(x) = -7*x**2 + 2*x - 2. Let v(c) = -3*h(c) + 8*k(c). Is v(4) prime?
False
Suppose 0 = 5*p - 4*t - 37071, 5*t + 15231 = 5*p - 21844. Is p prime?
True
Let j(c) = 3*c**2 + 18*c + 16. Let o = 9 + 14. Suppose 0 = -4*d - 29 - o. Is j(d) a prime number?
False
Suppose 3*k + 3*c = 3, 2 = 4*k - c + 6*c. Let v = 9 - k. Let b(w) = w**3 - 5*w**2 + 6*w + 7. Is b(v) a composite number?
False
Suppose 2*g - 53 - 2261 = 0. Is g a prime number?
False
Let l = 6590 + -1005. Is l prime?
False
Suppose -12*z + 16*z - 12 = 0. Suppose -5*p = 3*a - 6013, 0 = -2*a - 5 - z. Is p prime?
False
Suppose -4*m + 0 = -12, 2*y = 2*m + 225568. Is y a composite number?
False
Let u(g) = 6964*g**2 + 3*g - 2. Let d be u(1). Suppose 9*a - 4*a = d. Is a a prime number?
False
Let v = -9 - -14. Suppose 0 = s + 4*l + l - 281, -v*l - 1375 = -5*s. Suppose 0*y + 4*y = s. Is y composite?
True
Let z be 2/(-8)*-4 + 18. Suppose -z*f + 12*f = -10689. Is f a composite number?
True
Let p(u) = 2938*u - 405. Is p(7) a composite number?
False
Let p(j) = -8*j - 3. Let m be p(4). Let u = m + 40. Let n(b) = b**3 + b**2 + 8*b - 3. Is n(u) a prime number?
False
Let w(j) = -23*j**3 + 4*j**2 - 5*j - 11. Is w(-6) a composite number?
True
Let r = -4380 + 9017. Is r prime?
True
Let v = 20783 + -9384. Is v a prime number?
True
Suppose 34*b = 34790 + 83768. Is b a composite number?
True
Let h = 12123 - 4030. Is h composite?
False
Let u(m) = 2311*m**2 + 24*m + 7. Is u(-4) a composite number?
False
Let t = -17 + 277. Let h = t - 73. Is h a composite number?
True
Let q = 16202 + 5661. Is q a composite number?
False
Let i be ((-100)/30)/((-2)/6). Let z(o) = 46*o + 5. Let w be z(i). Suppose -2*y + 2299 = w. Is y a composite number?
True
Let l(f) = -11*f**2 - 2*f - 3. Let j be l(-2). Suppose -4*u - 245 = 3*c, -c - 108 = 3*u + 77. Let m = j - u. Is m a composite number?
False
Suppose 45 = 7*g - 6*g. Is (-10)/g - (21525/(-27) + 0) composite?
False
Suppose -105 = -n - 5*o, 3*o - 7*o = 0. Suppose -3*k = 300 - n. Is ((-91)/k)/((-1)/(-55)) prime?
False
Is (1/(-2))/(173721/173722 - 1) composite?
False
Let v = -14130 - -37229. Is v a prime number?
True
Suppose 95*s - 73*s = 1182698. Is s prime?
True
Let c = 1974 + -1091. Let k = 200 + -166. Suppose -d = -5*t + c, -k + 386 = 2*t - d. Is t a composite number?
True
Let o be 6/15 + (-8)/(-5). Let i(x) = x**3 - 3*x**2 + 4*x - 2. Let f be i(o). Suppose 0*l - 962 = -5*p - f*l, 0 = 3*l + 12. Is p a composite number?
True
Suppose -5*g + 0*j + 12699 = j, 0 = -g + 4*j + 2523. Is g a composite number?
False
Let m(d) = 6*d**2 + 9*d - 14. Is m(4) a prime number?
False
Suppose 944 = -2*w + 6*w. Let z = 767 + w. Is z composite?
True
Let n(b) = 1210*b**3 + 7*b**2 - 3. Let k be n(3). Let j = -61 - -126. Is k/26 - (-10)/j a composite number?
False
Let f(c) = 317*c**2 + 13*c - 41. Is f(5) prime?
True
Let y(k) = 111*k**3 + 3*k - 7. Is y(3) a composite number?
False
Let j = 4 + 3. Suppose -3*m = -j*m + 4172. Is m a prime number?
False
Let r(t) be the first derivative of -t**4/4 - 10*t**3/3 + 6*t**2 + 12*t + 8. Let g be r(-11). Is ((-3012)/24)/(g/(-2)) a prime number?
True
Let f(l) = 7384*l**2 + 23*l + 21. Is f(-1) a prime number?
False
Suppose 4*b = w - 14, 0 = 2*w - 3*w - 4*b - 10. Suppose 3*n = 12, 2*n + 4 = -w*l + 5*l. Suppose -2*p + 2*h - 66 = -5*p, -4*h + 88 = l*p. Is p a prime number?
False
Suppose -15*k - 99393 = -289308. Is k prime?
False
Let k be 2 + -5 - (-5 + 2). Suppose -784 = -k*t - t. Let j = t + -239. Is j prime?
False
Let h = -1226 + 1963. Is h a prime number?
False
Let u = -18223 + 28140. Is u a prime number?
False
Suppose 4*a + 55824 = 20*a. Is a composite?
True
Suppose u - 3*c + 2 = -0*c, -2*u + 16 = 4*c. Suppose -d + 1 = 0, -b - 2*d = u*b + 1358. Let f = b - -463. Is f a composite number?
False
Suppose -18*k = -10*k - 16. Suppose 0*l - 3*o + 690 = 5*l, -k*o = 10. Is l a composite number?
True
Suppose 2*m - 71 + 17 = 0. Suppose 7 = -v + 4*c, 7*c - 2*c = 4*v - m. Suppose v*s + 391 = 14*s. Is s a composite number?
True
Suppose -p + 4*p - 5*x - 9317 = 0, p - 4*x - 3115 = 0. Let l = p - 2122. Is l a prime number?
True
Let v(d) = 37*d**2 + 12*d - 71. Is v(8) a composite number?
False
Let p = -957 - -953. Let c be 43/3 + (-2)/6. Is p/c + (-7395)/(-35) a prime number?
True
Suppose -2*v = -v - 4*o - 2, -2*v = 2*o - 4. Suppose 4*n + 649 = 6145. Suppose s = -v*s + n. Is s a composite number?
True
Suppose -57*k = -58*k + 13963. Is k prime?
True
Let v = 15356 + 2185. Suppose -8*o + 14004 = 4*i - 4*o, 4*o = 5*i - v. Is i a composite number?
True
Suppose 3*v = -4*v + 12075. Let t = v - 886. Is t a prime number?
True
Let k(j) = -51*j**2 - 3*j + 2. Let q(y) = -50*y**2 - 3*y + 3. Let z(r) = -4*k(r) + 3*q(r). Is z(-2) a composite number?
False
Let c(z) = -6*z. Let o be c(-3). Let n = -16 + o. Suppose 2147 = h + n*h + 5*b, 2886 = 4*h - 5*b. Is h prime?
True
Suppose 0*u - 5*u = -5*z - 84960, 5*z = 25. Is u prime?
False
Let m = -22 + 93. Suppose -4*r = 5*v - 22 - 45, 5*r - m = -2*v. Is r prime?
True
Let a be 740/75 - 2/(-15). Suppose 14*o - a*o = 1644. Is o composite?
True
Let r(n) = -2*n**2 - 6*n - 6*n + 9 + 11*n**2 + 42*n**3 - n**2. Is r(4) prime?
True
Let c = -38 - -40. Suppose 4*n - 6 = c*m - 0*n, -5*m - 2*n = -21. Suppose -y + 5*y + 5*z = 303, 5*y - 382 = -m*z. Is y a prime number?
False
Let x be (42 + -1)*570/15. Suppose 0 = -4*f + x - 42. Let h = f + -216. Is h a prime number?
True
Suppose -63*g = -58*g - 20665. Is g prime?
True
Suppose -826*v = -812*v - 185626. Is v composite?
False
Let g = -60 - -63. Suppose g*c - 785 = -4*j, 5*c - 1541 = -4*j - 222. Is c prime?
False
Let j be (-436)/6*165/(-10). Suppose -3*v = 2*u - j, -1832 - 1185 = -5*u - v. Suppose 0 = -3*g + u - 247. Is g composite?
True
Suppose -13 + 25 = 3*i. Suppose i*g + 2*q = 153 + 211, 3*g - 3*q - 273 = 0. Is g prime?
False
Let k(m) = 1065*m - 76. Is k(7) prime?
False
Let w = -2 + 2. Suppose w = -2*z - 2*z - 192. Let o = z + 83. Is o a prime number?
False
Let w be 8/(-28) - (-9)/7. Let d(o) = 6*o**3 - o**2 + 2*o. Is d(w) a prime number?
True
Is 40/(-12) + 2/(-3) - -857 a prime number?
True
Let h = 454 + -206. Let r(c) = -24*c + 7. Let n be r(6). Let v = h + n. Is v a prime number?
False
Is 2718270/255 - -1 - (-2)/17 composite?
True
Suppose -3*f = f + 44. Let b be (-35)/f - 2/11. Is (0 - b)*815/(-15) prime?
True
Let j(r) = -3554*r - 723. Is j(-11) composite?
False
Let m = 614 - 164. Suppose 8*f - m = 566. Is f prime?
True
Let f = 264 + -1256. Let l = 2946 + f. Is l a composite number?
True
Let t = 22953 - 6282. Is t a composite number?
True
Suppose 4*a - 2 = 10. Suppose a*m - 26 = 2*p + 154, -3*m + 5*p = -171. Let r = -3 + m. Is r a composite number?
False
Is (114/(-12) - -6)*30782/(-7) composite?
False
Suppose 15*x = 65*x - 54100. Is x a prime number?
False
Suppose -2*z = 3*g - 3*z - 9504, 4*g = 4*z + 12672. Suppose -r - 8*r + g = 0. Suppose 72 + 86 = 2*f + 4*x, x + r = 4*f. Is f prime?
False
Suppose 960 = 3*a - 0*a. Suppose 3*j - a = -j. Let q = j + -21. Is q a prime number?
True
Let s(m) = 76*m**2 + 3*m - 2. Let o be s(1). Let f = o + 626. Is f a composite number?
True
Let r(l) = 592*l - 21. Is r(14) composite?
True
Let f be (-14 - -10) + -1 + 1985. Suppose -540 = -5*l + f. Suppose -l = -2*g - o, 3*o + 245 = 2*g - g. Is g composite?
False
Let v be (-6 - -6)*2/4. Suppose v = -r + 3*r - 178. Is r a composite number?
False
