= y*c, 4 = 4*c. Is x prime?
False
Let f(p) = 88*p - 5. Let m be -1*((-25)/5)/(-5). Let c be 9/6*m*-2. Is f(c) composite?
True
Is (-13)/39 - 144088/(-12) prime?
True
Suppose -2*r + 6 = -2*z, -3*z + 33 = 11*r - 7*r. Let k be 34/r - (-2)/(-3). Suppose 0 = -5*u + m + 1891, 3*u - k*m - 1129 = -3*m. Is u prime?
True
Suppose 355 = -6*i - 191. Let j = i - -111. Suppose -j*o = -23*o + 7527. Is o composite?
True
Suppose -2020995 = -31*f + 5136626. Is f prime?
True
Let m be (-12)/(-96) - 1/(-1 - -9). Suppose 16*c - 3*c - 52 = m. Suppose 0 = -c*t + 1906 + 1690. Is t composite?
True
Suppose 80*o = 94*o - 25214. Is o prime?
True
Suppose -702911 = -23*z + 141948. Is z a prime number?
False
Suppose i - 2*g - 38076 = 6885, -2*i + 9*g = -89942. Is i prime?
True
Let y(l) = -714*l - 4279. Is y(-9) a prime number?
False
Let n(d) = 1766*d**2 - 4*d + 10. Let r be n(5). Let z = 85083 - r. Is z a prime number?
False
Let z be (8880/(-28))/(-4) - (-4)/(-14). Let y = z - 74. Suppose -2*a = 5*v - 91, -a - y*v + 26 = -12. Is a a prime number?
True
Suppose -24*o = 24 + 28728. Let w(n) = -7*n**3 - 8*n**2 + 5*n - 7. Let d be w(6). Let v = o - d. Is v composite?
True
Let j be (10 - 14)*(-1)/4. Let y = j + 1436. Is y composite?
True
Let h(v) = 1811*v - 975. Is h(38) prime?
True
Let x(y) = -y**3 + 23*y**2 + 49*y + 26. Let c be x(25). Let i(o) = 7*o**3 - 2*o**2 + 1. Let u be i(c). Is 9717/u - (0 + 6/(-4)) composite?
False
Let m be (-1 - 23)*286/(-44). Let w = m - -399. Suppose -3*f + 198 + w = 0. Is f a prime number?
True
Let o(l) = l**2 - 4*l - 17. Let j be o(7). Suppose -4 = -j*f + 3*f. Suppose 3*z - 1197 - 1008 = -3*y, -2*y + 1482 = -f*z. Is y a composite number?
True
Suppose -v + 0*v + 2 = 0. Suppose -2*q = -5*l - 349, 0*l + 495 = 3*q + v*l. Suppose 0 = 3*u - q - 70. Is u composite?
False
Suppose 2*i = -8, 5*j - 2*j = 5*i + 5. Let p be (-22998)/15*(j + 0). Suppose 0 = 4*v - b - 8969, 3*v - b + 940 - p = 0. Is v composite?
False
Suppose 16955 = 4*y + 1583. Let s = 5792 - y. Is s a prime number?
True
Let z be -36940*(77/(-14))/11. Is z/15*(-45)/(-10) composite?
True
Let w(m) = m**2 + 21*m + 50. Let g be w(-19). Suppose -11466 = -g*f - f. Suppose -x + 437 = 2*t, -2*x + 4*x = -2*t + f. Is x a composite number?
True
Suppose -4*f = -8*f - 2320. Let y be (-1 - f)/(10/90). Suppose 0*h - 4*h - w = -y, -3*w = 4*h - 5209. Is h a composite number?
False
Suppose 5375*n - 5372*n - 1404237 = 0. Is n prime?
True
Is 4090215/(-6)*44/(-55) - (9 + -12) composite?
True
Let y = -397 - -399. Is 23751/58 - 1/y prime?
True
Suppose 61 = 11*q - 49. Suppose -q*j + 15 = -5*j. Suppose 0 = -j*t, -3*t + t + 237 = 3*u. Is u a composite number?
False
Let h be 4*3*-2*2/(-16). Is ((-3278)/(-6))/(((-1)/h)/(-1)) a composite number?
True
Suppose 4*v - 359434 = -2*m, -m - 207*v = -206*v - 179714. Is m a prime number?
False
Suppose -5*w + 148305 = -2*s, 89004 = 3*w + 66*s - 63*s. Is w a prime number?
True
Let v = 137 + -133. Is (-154485)/180*-1*v a prime number?
True
Suppose -5*z = 15, -3*b - 4*z + 8 = 2*b. Suppose f + b*c - 125 = -c, -f + 143 = -4*c. Suppose -564 = -x + f. Is x composite?
True
Let d = 8727 + -3208. Is d a composite number?
False
Let f = 34299 - 26894. Is f a prime number?
False
Let f be (-21)/(-8) + (-66)/(-176). Suppose 5*y - r = 2456, -f*y + 2*r + 2*r + 1477 = 0. Is y composite?
False
Is -1*2 - (12 + -793*(212 - 1)) a composite number?
False
Suppose -4*g + 51 = n - 0*n, 4*n + 34 = g. Let l be 57/21 + 4/g. Let s(v) = 18*v**3 + v**2 + 2*v + 4. Is s(l) a composite number?
True
Let c = 92 - -18893. Is c a composite number?
True
Suppose 27*g - 8*g = 73815. Let t = -2038 + g. Is t a composite number?
False
Let t = -1165 + 292. Let j = 178 - 378. Let k = j - t. Is k a prime number?
True
Let y(c) = 18*c**2 + c + 1. Let n be y(1). Let k(v) = -180*v - 61. Let h(r) = 541*r + 184. Let z(d) = 6*h(d) + 17*k(d). Is z(n) composite?
True
Let t be (-172)/36 - 4/18 - -7. Suppose 5*x = 3*j + 28382 - 7380, -t*x + j = -8401. Is x a composite number?
False
Is 8647243/55 + 52/5 + -10 a prime number?
False
Let b(f) = -2*f + 41. Let d be b(19). Let q(y) = y**d - 1 + 8*y**2 - 5*y + 7 - 7*y + 2. Is q(9) a prime number?
True
Suppose 193 - 211 = 3*t, 0 = 2*y - 2*t - 147134. Is y a composite number?
False
Let s(p) = 58386*p + 2797. Is s(13) composite?
True
Let h(q) = q**3 + 3*q**2 - q. Let n be h(-3). Let m be (1/(-2))/(6/12) + n. Suppose s - 1015 = -4*u, s - m*u - 1086 = -47. Is s composite?
False
Let i(q) be the second derivative of 0 - 4*q**3 - 3*q + 19/2*q**2. Is i(-13) a composite number?
False
Let t be 1*(540/6)/6. Is (10002/10)/(t/75) prime?
False
Let p(g) = -3 - 3 - 386*g - 1. Let r = -469 - -466. Is p(r) prime?
True
Let p = -34381 + 62102. Suppose 2*u + 3*s = p, -4*s + 1 = -3*s. Is u prime?
True
Is (617158395/3213)/(2 - 2/6) a composite number?
False
Let u = -753 - -824. Suppose 0 = u*l - 80*l + 53559. Is l prime?
False
Let b = -30 - -21. Let h(l) = 3*l**3 - 45*l**2 - 60*l - 16. Let z(q) = q**3 - 11*q**2 - 15*q - 4. Let m(v) = b*z(v) + 2*h(v). Is m(-9) a composite number?
True
Suppose -4*w = 4 + 68. Let b be (-128)/20 - -6 - w/(-5). Is (-3 + (-5943)/12)*b composite?
False
Let k = 221 - -282. Suppose 0 = 4*u - 2*c + k - 1877, -5*u + 5*c + 1710 = 0. Let o = 728 + u. Is o a composite number?
True
Let x = 392 - 383. Suppose -10*n - 3*b = -x*n - 2423, 3*n - 7253 = -5*b. Is n composite?
False
Let r = 76 - 46. Let l be (-10)/(-12)*-839 + 5/r. Is l*(1 - 3) + 4 a composite number?
True
Is (1642077/9)/((7/(-91))/((-1)/13)) a composite number?
False
Suppose 3*x - 2*b = 76, -4*b = -5*x + 183 - 59. Let v be (-2 + 3)/(7/x). Suppose -7985 = -v*q - q. Is q a prime number?
True
Let z = -6 - -9. Suppose -z*u + 2*k + 5 = 2, 2*k - 3 = u. Suppose 996 = -u*w + 4941. Is w a prime number?
False
Suppose 5*i + 340 - 28 = -4*z, 237 = -4*i + z. Is 2/(-10) + (5 - 132492/i) a prime number?
True
Let t be (32109 - -5)/(4/4). Suppose 7*x = -34582 - t. Let i = x - -13471. Is i a composite number?
False
Let g = -14034 + 20321. Is g a composite number?
False
Let a be (-5 - -5) + 5133/(2 + 1). Suppose 0 = -r + 6828 + a. Let t = -5180 + r. Is t prime?
True
Let w(i) = 69992*i**2 - 108*i + 107. Is w(1) a prime number?
True
Suppose 4*a - 90596 = 3*u, 0 = 7*a - 4*a + 3*u - 67947. Suppose -7*l + a + 86754 = 0. Is l a composite number?
False
Suppose -3*f + 296 = 5*z, 3*f - 185 = 2*z + 83. Let h = 92 - f. Suppose h = -9*a + 2*a + 3059. Is a a composite number?
True
Suppose y - 13 = -4*s, 0 = -3*y + 3*s + 24. Suppose 5*h + 3*i = -i + 27, 0 = 2*h - 5*i + y. Suppose -h*q = 7*q - 28610. Is q a prime number?
True
Suppose 0 = 17*d - 26*d - 513. Is d*(-246 - 0) + 7 composite?
False
Let s = 42459 - 14888. Let m = s + -18244. Is m a composite number?
True
Let p(i) = 2*i**2 + 10*i + 2. Let d be p(-5). Let w be (2 - 22720/12)*3/d. Let s = 4236 + w. Is s a composite number?
False
Let q be 133/3 + (-56)/(-21) + -4. Let x = -43 + q. Suppose 8109 = 9*p - x*p. Is p a composite number?
True
Let k(w) = 110507*w - 4441. Is k(4) a composite number?
False
Suppose 3*f + 5*n + 1723 = 0, 3*f + 1739 = 2*n - 3*n. Let z = f + 8634. Is z a prime number?
True
Suppose 3*r - 5*y + 49 = 0, 7 = 5*y - 3. Let p = 15 + r. Suppose -3*g - p*s + 2193 = 0, -g + 4*g - 2190 = -3*s. Is g composite?
False
Let a = 110564 - -41703. Is a a composite number?
False
Let f be (-5 + 1)*(6/(-4) + 1). Let v be (5 - 9)*(0 + f). Is v/12*8703/(-6) composite?
False
Is (-84)/((-140)/(-20)) - (-4 + -140529) a composite number?
False
Let s(a) = a**3 - 7*a**2 - 16*a - 13. Suppose 0 = -5*n + 11*n - 54. Let i be s(n). Suppose y = -b + 3*y + 5389, i*b + 2*y = 27005. Is b prime?
True
Suppose -3*y - 11 = -c, 15 = -2*y - 5*c + 2. Let a = 31 + y. Suppose -a*b = -21*b - 5322. Is b a composite number?
False
Let d(k) = -3*k + 1. Let q be d(-1). Suppose j - 11 + 4 = 5*i, q*j - 6 = -2*i. Suppose j*r - 842 = 1060. Is r a prime number?
False
Let s(x) = -x**3 + 18*x**2 - 15*x - 11. Suppose 2*i - 5*r - 31 = -7, 0 = 2*i + r. Suppose -4*m + 2*m - 46 = -4*f, i*f = -4*m + 18. Is s(f) composite?
True
Suppose l - 46423 = -90*z + 88*z, l + 4*z - 46413 = 0. Is l a composite number?
True
Let u(n) = -123*n - 1 - 3 + 1929*n - 149*n. Is u(3) composite?
False
Suppose -2*m = 2*j - 648720, -328*j + 330*j = m + 648705. Is j a prime number?
False
Let