- 26*g - 85. Is d(12) prime?
False
Let z be ((-24)/(-15))/((-4)/(-60)). Is 1/((-8)/z - 6044/(-18114)) a composite number?
False
Let l be (232 - -1)/(17/578). Suppose 30064 = 2*s + l. Is s prime?
True
Let b = 562 - 560. Let h(f) = -f**3 + 6*f**2 + f - 5. Let s be h(5). Suppose 5*p - s = 0, 2*w + b*p - 1154 = 6*p. Is w a prime number?
True
Suppose 29*q - 30*q = 3*v - 191926, 0 = -4*v - 5*q + 255883. Is v a prime number?
True
Suppose 26219 = -10*d + 104199. Suppose 0 = 124*f - 117*f - d. Is f a composite number?
True
Is 790866/10 - ((-56)/(-56))/((-5)/2) prime?
True
Let u(v) = v**2 - 42*v + 363. Let r be u(30). Suppose -2*o = r*g - 79755 + 7172, 5*g = 4*o + 121001. Is g prime?
True
Suppose 0 = -5*d + 6*b - 4*b + 71318, 0 = 4*d - b - 57052. Suppose 2*t - d = -5*h, -2*h + 9006 + 12387 = 3*t. Is t a prime number?
False
Let r(g) = 4802*g**2 + 3*g + 3. Is r(2) a prime number?
False
Suppose -5*v = 2*y - 39355 + 9004, -5*y + 3*v + 75955 = 0. Suppose -3*x + 7243 = -y. Is x prime?
True
Let p = 14 - 12. Let j be (-866)/((-1)/(-1*1/p)). Is (3 + j)/(-2) - -2 composite?
True
Let g = -44621 + 196408. Is g prime?
True
Let l be 5875/20 + 5/20. Let y = 85 + l. Is y a prime number?
True
Let v(s) = -61*s**3 + s**2 - 2*s - 5. Suppose -2*f - 2*b = 20 - 0, 0 = -4*f - 3*b - 44. Let r be (f - -10)*1/2. Is v(r) a prime number?
True
Suppose 5*w - 10 = 5. Suppose -s - 11*x + 7*x = -6, -5*s - 4*x = -14. Suppose w*v + s*y - 365 = -2*y, v - 135 = 2*y. Is v a prime number?
True
Is ((-351)/585)/(1 + (-13948)/13945) a prime number?
True
Let k(u) = u**3 - 15*u**2 - 19*u + 60. Let s be k(16). Let x(t) be the third derivative of 13*t**4/8 + 23*t**3/6 + t**2. Is x(s) a composite number?
False
Let o = -47 + 75. Let h = o + -64. Is (-83994)/h - (-4)/(-24) a composite number?
False
Let d(t) = t**2 + 5*t - 31. Let u be d(-9). Suppose -u*g + 2 = 3*f, -g + 12 = 4*f + g. Suppose 623 = 3*p + f*p. Is p prime?
True
Let o = 212584 + -41631. Is o a composite number?
False
Let o = 26 - 24. Let y(c) = c - 5*c + 6*c**2 + 5*c - 3*c**o + 3. Is y(-7) composite?
True
Is 128908 - 1*(15 + -10) prime?
True
Suppose -3*c = 3, c - 117 = -5*z + 3*c. Let a(d) = -d + 22. Let h be a(z). Is -2 - (-1162 + 5) - (5 + h) a composite number?
False
Let y be 6/(-21) - (-38)/(-14). Let v(s) = -35*s**2 - s + 3. Let p(t) = t**2 + 1. Let l(w) = -6*p(w) - v(w). Is l(y) prime?
False
Suppose -41932 + 1230842 = 10*n. Is n a prime number?
True
Let y be 21/(-42) - (-46)/4. Suppose -6189 - 16328 = -y*k. Is k prime?
False
Let r = -125757 + 330391. Is r prime?
False
Let x be (-8)/(-10)*(-15 + 80). Suppose x = 16*c - 156. Is c composite?
False
Let y be (-1 + -10)*2/(-2). Suppose -2*w - y + 7 = 0. Is (w/(-4))/1*(-2 - -1356) a prime number?
True
Suppose -30*a + 90930 = -1469917 - 3133763. Is a composite?
False
Let k(x) = 2175*x + 79. Let u be k(25). Suppose -5*b - u = -3*s - 0*s, -s = -b - 18148. Is s prime?
True
Let q(a) = -a**3 - 10*a**2 - 10*a - 76. Let y be q(17). Suppose 5*b + 7803 = -677. Let f = b - y. Is f composite?
False
Let c = 65 + -63. Let r be c - (1/3)/(5/(-15)). Suppose 4*j = 2*f - 3774, 3*f - 5681 = -r*j - j. Is f composite?
True
Let m(s) = 1903*s - 7. Suppose f + 10 - 18 = 0. Is m(f) composite?
False
Suppose -6*r = -7*r + 2*i + 71397, 3*r - 214219 = -i. Is r a composite number?
True
Suppose 16*l = n + 20*l - 96362, -9 = 3*l. Is n composite?
True
Let i(w) = -24 - 19*w + 19 - 2*w**2 + 19 + 11 + 10*w**2. Is i(14) a composite number?
False
Let d = -325 - -2154. Let i = 1730 + d. Is i prime?
True
Let n = 142 + -145. Is n/(-2)*9/(-27)*-12494 prime?
True
Let y be 4/(-18) + (-455)/(-63). Suppose -2162 = -y*i + 127. Is i a composite number?
True
Is 3223/((-3)/24*-8) composite?
True
Suppose -9*a + 60667 = -4*a - j, 4*a - 48524 = -4*j. Is a a prime number?
False
Is 401/3*(-1692)/(-5) + 19/95 composite?
False
Suppose 3*c - 15 = 0, -12*k - 4*c = -8*k + 184. Is (-17)/k - (-8300)/3 composite?
False
Suppose -3*g - 230460 = 3*i, -6*g + 230452 = -3*i - 7*g. Let l = i + 128321. Is l composite?
True
Let h be (10/(-2) + 0)*312/520. Is h + 5 - -1346 - 2 prime?
False
Let n be (-3 + (-42)/(-10))/(27/90). Suppose -3*u + u = z - 208409, 3*u - n*z - 312641 = 0. Is u prime?
True
Let a(t) = -3*t + 19. Let k(q) = 4*q - 29. Let c(w) = -7*a(w) - 5*k(w). Let i be c(-10). Is (-27745)/(-9) - 2/(-18)*i a composite number?
False
Suppose -3*q - 3*s = -4272, -5*q + s + 11424 = 4298. Suppose -4*i - 896 = -0*i. Let b = i + q. Is b a prime number?
True
Suppose -3431 = -2*z - 673. Suppose -3*i - n = -5*n + z, n = 5. Let p = 872 + i. Is p prime?
True
Suppose -78*x - 84*x - 2997574 = -18653740. Is x a prime number?
True
Let z = -7 + 7. Suppose 5*w = -3*c - z*w + 2532, -w + 4220 = 5*c. Suppose -k + c = k. Is k a prime number?
False
Suppose -5*w + 122362 = 4*k, 58*k - 61*k = 4*w - 91771. Is k composite?
False
Let p(z) be the second derivative of z**5/20 + 5*z**4/12 - 7*z**3/2 + 47*z**2/2 + z + 3. Is p(6) a composite number?
False
Let q(a) be the first derivative of a**7/840 - 11*a**6/360 + 7*a**5/60 - 5*a**4/8 - 3*a**3 + 15. Let o(y) be the third derivative of q(y). Is o(13) prime?
False
Is (-56439315)/81*(-15)/25 prime?
True
Suppose 5*l = -0*l + 140. Suppose 24*d - 4 = l*d. Let b = 154 - d. Is b a prime number?
False
Let s be 2/7 + (-270184)/(-56). Suppose -41*x + s = -36*x. Is x a prime number?
False
Let z(x) = -2*x + 2. Let q(d) = -129*d - 45. Let v(s) = q(s) + 3*z(s). Let i = -10 - -2. Is v(i) a prime number?
False
Let c = 57847 + -2268. Is c composite?
False
Let c(i) = i. Let q be c(0). Suppose -v + 4863 = -q*v. Suppose -v = -4*f + f. Is f prime?
True
Let g(c) = c**2 + 8*c - 16. Let v be g(-12). Suppose -12389 = v*j - 81541. Is j a composite number?
False
Suppose -10418 = 8*d - 58146. Suppose -23*a = -2981 - d. Is a prime?
True
Let i(q) be the second derivative of q**5/5 - q**4/12 - 4*q**3/3 - 8*q**2 + 14*q. Let k be i(7). Let n = -454 + k. Is n prime?
True
Let g be 12 + -1 + -54 + 50. Suppose r = 3*r - 2440. Suppose 0 = g*y - r - 6599. Is y a prime number?
True
Let x(d) = d**3 + 109*d**2 + 72*d - 307. Is x(-52) composite?
False
Let s be -3 + 2 + 2 + (-87)/(-3). Suppose -5*r + s = -0*r. Suppose -r*d = -250 - 272. Is d prime?
False
Let b(c) be the first derivative of -3*c**2 + 30*c + 13/3*c**3 - 8. Is b(13) composite?
True
Suppose 10 = -2*f - 4*d, 0 = -2*f - f + 2*d + 17. Suppose 0 = -f*z + 169 + 119. Suppose z + 985 = t. Is t composite?
True
Suppose -3*u - 16*a + 834466 = -15*a, -1112647 = -4*u - 5*a. Is u prime?
False
Let z be 1/(45945/(-22975) + 2). Suppose 3*q = 5*k - 7669, k - 5*q - z = -2*k. Is k prime?
False
Let m = -274160 - -389111. Is m a composite number?
True
Let v(b) = 5*b**2 - 9*b**3 + 441*b - 432*b + 28 - 6*b**3 + 2*b**2. Is v(-5) prime?
False
Suppose 17*r - 9*r = 15848. Let d = r + 8506. Is d a prime number?
True
Suppose 0 = 7*b - 26 - 44. Suppose 1914 = -7*v + b*v. Suppose l + 3*z = 626, 0 = l - 2*z + z - v. Is l a composite number?
True
Let m(u) be the second derivative of 355*u**3/6 - 8*u**2 - 3*u + 1. Is m(3) a composite number?
False
Let a be (-12)/(-10) - 6/30. Let k be (-1 + 6)*(-9)/(-15)*a. Suppose r - 2*z - 1679 = 0, 0*r - k*r + 5070 = 5*z. Is r a prime number?
False
Let b = -148 - -151. Let g be (b - 10/3)*-12. Suppose 3*h - h + 2*c - 8646 = 0, c + 17312 = g*h. Is h a composite number?
False
Let t be 12/(-15) + (-98)/(-35). Suppose -2*w - 4*d = -6*w, -t*d = w. Suppose -654 = -5*q + 3*x + x, w = 2*x - 8. Is q a prime number?
False
Let y = -218162 + 392043. Is y composite?
True
Let a = -12083 + 14186. Is a prime?
False
Let l = 35253 + -10744. Is l composite?
False
Suppose 31*v + 978495 = -29*v + 3330435. Is v a prime number?
True
Let a = 86 + -41. Let i = a + -78. Is 181575/20 - (-3 + i/(-12)) a composite number?
True
Is -1516274*1*(78/(-180) - (-3)/(-45)) a composite number?
False
Let j be 3/1 - (-2557 - -5). Is (27 - 25) + j + 0 prime?
True
Let k(q) = q**3 + 6*q**2 - 16*q + 3. Let p be k(-8). Suppose p*j = 5399 + 7660. Is j a composite number?
True
Let z = -123237 + 696484. Is z composite?
False
Let f be (0 + -5 + 2)/(6/(-40)). Suppose 31*b - 5071 = f*b. Let a = b + -130. Is a a prime number?
True
Let h(v) = -43*v**2 - 7*v - 2. Let y be h(-2). Is (10326/(-4))/(120/y) a composite number?
True
Let g = 101277 - 16450. Is g a compos