2*b, r = b + 4*y - 420. Suppose 0 = 2*d - 234 - b. Is d a prime number?
True
Suppose 4*a = -5*v + 1287, -5*a - 980 = -5*v - 2555. Let p = 517 - a. Is p prime?
True
Let m(q) = 16*q**2 - 4*q - 4. Let l be m(-4). Let o = 387 - l. Is o a composite number?
True
Let g be -17 + 14 - (0 + -6). Suppose -g*d + 2*d + 6247 = 5*k, 4*k - 5004 = -4*d. Is k a composite number?
False
Suppose 4*x = -5*u + 72545, -5*u + 4*u - 3*x = -14498. Is u prime?
False
Is ((-887)/(-2))/((-7605)/(-690) - 11) prime?
False
Let t(r) = -r**3 - 3*r**2 + 5*r - 12. Let q be 0*(15/(-9) + 2). Let l = q + -7. Is t(l) a composite number?
False
Is 1298/4 - (3/(-2))/(-1) a composite number?
True
Is (-3)/2*(-29882)/3 a composite number?
True
Let m = 71 + -65. Is (1 + -38)*2*(-21)/m prime?
False
Let f = -2037 - -3854. Is f a prime number?
False
Let h = 2596 - 4574. Let o = 3377 + h. Is o prime?
True
Suppose 0 = -t - 2*t + 57. Let x = t - 25. Let f(i) = 12*i**2 - 13. Is f(x) a composite number?
False
Suppose 20*s + 20140 - 188520 = 0. Is s prime?
True
Let w = 49 + -44. Suppose -h = -w*f + 3370, 4*h + 1020 + 346 = 2*f. Is f a composite number?
False
Suppose -5*a = -a - 352. Let d = a - 30. Let o = 95 - d. Is o a prime number?
True
Let a be -2 - (-28 - (-3 + -1)). Let k = a + -20. Is 2/(12/273)*k prime?
False
Let j be ((-15)/(-3))/(-5) + 3. Is -14*1/j*-89 composite?
True
Suppose -12*m = -14*m. Suppose -3*n - 6 = -4*r - n, m = -5*r + 3*n + 5. Suppose -r*k + 1265 = k. Is k a composite number?
True
Suppose 3*a - 351 - 63 = 0. Let x = 6 - 4. Suppose -o + 69 = -2*n, o - a = -o - x*n. Is o prime?
False
Let g be -9670*((-20)/(-5) - 3). Is g/(-14) + 16/56 composite?
False
Is -4 + -3 + 4269 + (15 - 19) composite?
True
Let y(s) = -187*s - 329. Is y(-10) composite?
True
Let s = 41 - -22. Suppose 59*f + 4828 = s*f. Is f composite?
True
Suppose 2*c - 3*l = 20, 4*c - 3*l - 8 = -5*l. Suppose c*y = -y + 70. Is y a composite number?
True
Suppose 0 = 6*a + 4*a - 20. Suppose -q = -a*q - 5*j + 945, 4777 = 5*q - j. Is q prime?
False
Suppose -3*a + 6*a = -5*k + 3670, -3675 = -5*k - 2*a. Is k prime?
False
Suppose -60*g - 1 = -61*g. Let b = -4 - -63. Suppose b = 4*v - g. Is v composite?
True
Let v = -15 + 17. Let x be -5 + v + 3 - -2. Suppose -x*u - 595 = -7*u. Is u composite?
True
Suppose 4*v = 2*z - 5*z - 8, 0 = 4*v + 8. Let a(t) = -t + 27. Let d be a(z). Let b = 140 - d. Is b composite?
False
Let z = -550 + 918. Suppose 3*d + 2 = 5, -4*d - z = -4*n. Is n a composite number?
True
Is (-2 - 3) + 671*32 a composite number?
False
Let d(w) be the first derivative of 52*w**3 - w - 1. Let o = -3047 - -3045. Is d(o) prime?
False
Let m(o) = o**3 - 9*o**2 - 42*o + 53. Is m(17) prime?
False
Let r(u) = -u**2 - 9*u - 5. Let y be r(-7). Let v be ((-6)/y)/((-1)/6). Suppose -57 = -v*h + 163. Is h a composite number?
True
Suppose m = 3*b - 9, 0 = -2*m - 3*m - 2*b + 6. Suppose -4*k - 2*k + 5262 = m. Is k composite?
False
Let s(l) = 2*l + 3. Let a be s(1). Is (a/(-20) + 0)*-148 a prime number?
True
Let o(m) = m**2 + 4*m - 1. Let u be o(-6). Let n = u - 4. Let r = 8 + n. Is r a prime number?
False
Let f be (-1)/5 + (-2630)/(-25). Suppose -5*n + 0*n + f = 0. Is n prime?
False
Let m = -22 - -689. Is m composite?
True
Suppose -x - x + 4*r = 34, -5*r + 70 = -5*x. Is (-28*98)/(-1) - (x - -8) a prime number?
False
Suppose 4*g - 13 = -105. Suppose 5*t - 320 = -5*u, 2*u - 129 = 4*t - 367. Let h = g + t. Is h composite?
True
Suppose -55*t + 2204467 = -1131118. Is t a prime number?
True
Let u(y) = y + 14501. Is u(0) composite?
True
Suppose 29*s - 78626 = 6953. Is s prime?
False
Suppose -2*y - 363115 = -5*m, m - 137*y + 138*y - 72623 = 0. Is m prime?
True
Let t = -7530 + 13727. Is t a composite number?
False
Suppose 0 = 5*n - 4*x - 17265, -3*n + 3*x = -8*n + 17300. Is n a prime number?
True
Let i be (-3)/(6/40) - (1 + -3). Is 3405/9 + 3/i*-4 prime?
True
Is (2437/2)/(9/126) a composite number?
True
Let c = -8957 + 17954. Is c composite?
True
Let m(s) = -80*s - 2. Suppose 2*b + 27 = 3*h - 0*h, -h - 2*b = -1. Let c(z) = -80*z - 3. Let k(n) = h*c(n) - 6*m(n). Is k(-10) a prime number?
False
Let z(q) = 6 + 7 + 30*q**2 - 12 + 3*q. Let j be z(-3). Suppose -j = -s - s. Is s a composite number?
False
Let q = -4 + 6. Suppose 4*t = 5*a - 35, -5*a - 5*t + q*t = 0. Suppose 0 = -2*x + 5*k + 255, 197 + 363 = 5*x + a*k. Is x a composite number?
True
Is (-142299)/(-27) - (-4)/15*-5 prime?
False
Let v = -71729 - -101232. Is v a prime number?
False
Suppose -2*m + 7 = 5*m. Let f(k) = 1076*k - 7. Is f(m) a composite number?
False
Suppose 62464 = 4*i - s - 3*s, 2*i + 2*s - 31244 = 0. Is i composite?
False
Suppose -8 = b - 15. Suppose -b*u - u = -952. Is u composite?
True
Suppose -6*p - 7948 = -p + v, -1598 = p - 4*v. Is (-16)/28 + p/(-14) a prime number?
True
Let s(d) = -1667*d - 10. Is s(-4) composite?
True
Suppose -3*u - 14 = 4. Let r(d) = -d**3 + d**2 - 13*d + 9. Is r(u) a composite number?
True
Is ((-20)/12)/(3/(-2421)) a prime number?
False
Suppose 3*d - 426 = 45. Suppose 5 = 5*q, -4*z + 2*q + d = -3*z. Is z composite?
True
Is (761814/81*-3)/(2/(-3)) composite?
False
Let l be 48/(-28)*1*-7. Let y be 748/(-3)*(-18)/l. Suppose 4 = a, 2*x + 0*a + a = y. Is x composite?
True
Let q(u) = -164*u - 6. Let d be 1*-4 - (-15 + 14). Let v be q(d). Let l = v + 31. Is l prime?
False
Let d(x) = x**3 + x**2 + 2*x + 127. Let i(w) = -w**3 - 7*w**2 - 5*w + 6. Let r = -39 - -33. Let c be i(r). Is d(c) composite?
False
Suppose -5*c = -d - 589, 62 + 168 = 2*c + d. Let p = 64 - c. Let y = -2 - p. Is y composite?
True
Suppose -1223 - 2167 = -6*u. Is u composite?
True
Suppose -15 = 5*u, 3*p + 0*u - 465 = -u. Suppose -3*n - p = n. Let s = 76 + n. Is s composite?
False
Suppose -k + 5*s = -2*k - 2, -4*k + 5*s + 17 = 0. Suppose -k*u - z = -4*z - 6849, -3*u = -2*z - 6851. Is u a prime number?
False
Let x(n) be the first derivative of -28*n**2 + 21*n + 1. Is x(-7) a composite number?
True
Suppose h + 4*h = s + 40645, -3*h + 3*s = -24387. Is h a prime number?
False
Suppose -4*r - 108 = -3*p, 2*r + 10 + 26 = -3*p. Is 2*(-1095)/r*4 a composite number?
True
Let k be (7/(-2))/(-4 + 195/50). Let q = k + -16. Is q a composite number?
False
Is 278012/20 + (-44)/(-110) a composite number?
False
Suppose -p + 2*s + 230 = 0, 2*s + 420 = 4*p - 470. Let n = p - -1. Is n a prime number?
False
Is ((-2478)/(-14))/(1 - -2) a composite number?
False
Suppose -20 = i - 6*i. Suppose 0 = -i*g + 901 + 127. Is g a prime number?
True
Suppose -4*j - 1991 = 9. Let c = j + 1165. Is c/10*(-1 - -3) prime?
False
Let b = -1 + -2. Let r(w) = w**2 + 2*w. Let t be r(b). Suppose 4*s + t*j - 608 = 0, -400 = -2*s - 2*j - 94. Is s a prime number?
True
Suppose 0 = -4*o + 9*o - 5. Let t be -9 + o*(-2 + 1). Let a(b) = -33*b - 1. Is a(t) prime?
False
Is (-99)/264 - (9147/(-8) + 2) a composite number?
True
Suppose 4*w - 4*j - 88 = 0, 30 = 2*w - 3*j - 15. Is (4 - (-2589)/w) + (-4)/14 prime?
True
Let g(y) = y**2 + 6*y - 14. Suppose 14 = -3*f + 2*f - u, 0 = -3*u - 12. Let t be g(f). Let q = -15 + t. Is q a composite number?
False
Let g(j) = 25*j**3 - 2*j**2 + 2*j - 1. Let v be g(1). Let p be v/40 - 7/(-5). Suppose p*i - 19 = i. Is i a prime number?
True
Suppose 5 = -5*r, -4*r - 467 = 5*z - 5018. Is z prime?
True
Let d be (0 - 4953)*(-3 + 28/12). Suppose 58*k = 56*k + d. Is k a composite number?
True
Suppose w + 2*l + 2 = -17, 3*w = -3*l - 42. Is ((-21)/w + 0)*1866/2 composite?
True
Let m be (12/(-10))/(18/45). Let y be ((-4)/m)/((-1)/(-6210)). Is 1/3 - y/(-27) composite?
False
Suppose 2*o + 0 - 8 = 0. Let b be (-5)/(-10) + (-2)/o. Let i(z) = -z**3 + 34. Is i(b) prime?
False
Let w(u) = -170*u**3 - 273*u**3 - u**2 + 62*u**3 - u. Is w(-1) prime?
False
Suppose -41230 = -8*w + 22746. Is w a prime number?
False
Let v = -1248 - -3955. Is v a prime number?
True
Let n = 3 - -2. Suppose 5*t + n*g - 35 = 0, 0 = -3*t + 3*g + 15 - 6. Suppose t*z = 4*z + 307. Is z a prime number?
True
Let c = -7 - -14. Let s be (2 - -1) + c/7. Suppose 778 = s*u + 254. Is u prime?
True
Is 7/(280/(-48))*-3925 + -5 a composite number?
True
Let n = 20496 + 66722. Is n a prime number?
False
Suppose 14*a = 19*a + 5*f - 186675, -2*a + 3*f = -74650. Is a a composite number?
True
Let y be 2/(-2) + -39*(-1 + 19). Let h = y - -1010. Is h a prime number?
True
Let s(z) = 20*z*