74 - p. Is l prime?
False
Let z(p) = -3*p + 20. Let w be z(16). Let b = -12 - w. Let v = b - -175. Is v composite?
False
Let a be (20/(-25))/(6/(-15)). Suppose -5*f = -a*j - 680, 4*j = -5*f + 3*j + 665. Is f prime?
False
Let o be (-8532)/(-5) - (3 + (-26)/10). Is o/5 + (-1)/5 prime?
False
Let t = 14 - 20. Let n(v) = v**3 + 6*v**2 - 11*v - 6. Let m be n(t). Is 2/5 - (-19116)/m prime?
False
Suppose -5*u = 7 - 2, -u - 1269 = -4*w. Is w prime?
True
Suppose -27*t = -36834 - 9309. Is t a prime number?
True
Suppose -60 = -10*h - 20. Suppose h*c - 4*w = w + 1972, 3*c + 4*w = 1479. Is c prime?
False
Suppose 545 = -5*f - 3*r, -163 = 4*f - r + 273. Let m = 10 - -4. Let q = m - f. Is q a prime number?
False
Let w = 10 - 9. Suppose -w = 3*f - 19. Suppose 2*h = -4*t + f*t + 1572, -25 = -5*t. Is h a composite number?
True
Suppose 2*m = 4*x - 6, 0*m + 5*m + 1 = 3*x. Suppose -x*w + 520 = 3*y - 367, -2*w = -8. Is y a prime number?
True
Suppose -5*p + b + 9 = 0, -2 = -2*p - 3*b + 5. Let t be p + 1 + 1 + 0. Suppose -5761 = -2*f - 2*f - 5*m, -f - t*m = -1443. Is f composite?
False
Let f be (-3)/(-12) - (16494/(-8))/1. Suppose 0 = -z - 4*v + f, 0 = -7*v + 4*v + 15. Is z composite?
True
Suppose i = -0*i - 8. Let u be (i/(-4))/2*275. Suppose -k = -6*k + u. Is k a composite number?
True
Suppose -5*j + a = -12, -j - 2 = -2*a - 8. Is j/(3*12/6066) prime?
True
Is 10/35 + (-1233)/(-21) a prime number?
True
Suppose -3*d + 27069 = -4*v - 10768, d + 3*v = 12608. Is d composite?
False
Suppose -179513 = -7*n + 135494. Is n a composite number?
True
Let y = -807 + 1758. Is y composite?
True
Let w(y) = -7*y**3 + 4 - 3 - 2. Let g be w(-1). Is 39*g - (1 + 0) composite?
False
Let a(n) = -n**3 - 10*n**2 - 2*n - 14. Let y be a(-10). Is (3466/y)/((-4)/(-12)) a prime number?
True
Let q = 56 - 36. Suppose 2*f - q = -j + 13, -f - 150 = -4*j. Is j prime?
True
Let h(q) = 2*q**2 - 61*q - 47. Is h(-20) a prime number?
True
Let t = -56 + 10. Let x = 215 + t. Is x a composite number?
True
Suppose 0 = -18*g + 25*g - 3745. Is g composite?
True
Let m = -20 - -13. Let i = m - -6. Let o(g) = -61*g - 2. Is o(i) a composite number?
False
Suppose 6511 = 4*p - 4*r - 12081, -p = -4*r - 4663. Is p a prime number?
True
Suppose 12 + 0 = 2*f. Is (7 - f)/(1/69) a prime number?
False
Is (22398/24 + 1)*4 composite?
True
Suppose -52704 = -31*z + 179579. Is z a composite number?
True
Is 5998 + 3 - (29 - 35) composite?
False
Let a(u) = 2*u - 4. Let s be a(2). Let c be -2 - s - (9 + -17). Let w(t) = 50*t + 1. Is w(c) composite?
True
Let w(a) = -2*a**3 - 15*a**2 - 21*a - 19. Is w(-12) a prime number?
False
Is 4 + 4/((-8)/(-3174)) prime?
False
Is (-74182)/(-18) - ((-112)/(-18) - 6) a prime number?
False
Let v(a) = -3*a - 2. Let d be v(-9). Let o = -18 + d. Let n = o + -4. Is n composite?
False
Suppose -4*j - 3*g = -14776, -5*j + 3503 = g - 14956. Is j a prime number?
True
Let v(h) be the third derivative of h**8/560 - h**6/720 - h**5/60 - 5*h**2. Let l(o) be the third derivative of v(o). Is l(-2) prime?
False
Let r = -37 + 41. Suppose g - 58 = 5*x, -5*x = r*g - 155 - 77. Is g composite?
True
Suppose g - 3*g + 1084 = 0. Let b = -116 + g. Let l = b - -23. Is l composite?
False
Let a = 46 + -2. Suppose 2*v - 130 = a. Is v prime?
False
Let o = 4 - 6. Let g = 30 - 38. Is (o - -481)/(9 + g) prime?
True
Let m be 3 + (20 + 4)*-1. Let u = 21 + m. Suppose 0 = o - u*o - 2*a - 201, 196 = o - a. Is o prime?
True
Suppose 10 = 16*p - 18*p. Let x(r) = -4*r**3 + r**2 - 4. Is x(p) prime?
True
Let s(b) be the third derivative of 2*b**5/15 + b**4/3 - b**3/6 - 10*b**2. Is s(-7) a prime number?
False
Suppose -32*v + 25 = -27*v. Suppose -t + 3*f = -2 - v, -f - 21 = -5*t. Suppose 0 = t*s - s - 993. Is s prime?
True
Let w(x) = -x**2 - 8*x + 12. Let a be w(-9). Suppose 5*k - 205 = 830. Suppose 4*d + 3*s - k = 0, a*d - 242 + 84 = -5*s. Is d a composite number?
True
Suppose 21*v = 24*v + 240. Let t = v + 453. Is t prime?
True
Is -8*(-13)/260 - 111293/(-5) composite?
False
Let k = 33 + -23. Let p be 1272/k*(-11 - -16). Suppose 582 = 4*z + 5*m - p, 3*m = z - 313. Is z composite?
False
Is 3072 - (8 + -11)/(-3) a prime number?
False
Let g(x) = x**3 + 18*x**2 + 74*x + 21. Let m be g(-12). Let v(h) = -h**2 + h + 1. Let j(z) = 22*z**2 + 3*z + 1. Let b(d) = j(d) - 3*v(d). Is b(m) prime?
True
Suppose n - 20411 = -13*r + 8*r, 2*r + 5*n - 8146 = 0. Is r composite?
True
Suppose -4*n - 546 = -2*u, 24*n - 15 = 27*n. Is u a prime number?
True
Suppose -2*o - 2*i + 28790 = 0, -21*i + 71961 = 5*o - 23*i. Is o prime?
False
Let t(i) be the first derivative of i**4/4 - 5*i**3/3 + 5*i**2/2 - 3. Let c be t(4). Suppose 68 = c*r - 4*x, -x + 5*x + 12 = 0. Is r a prime number?
False
Let n(o) = 370*o - 101. Is n(9) a composite number?
False
Suppose -5*z = -3*f + 257, -z - 74 = -4*f - 9. Is 4/(-14) + -8 + (-39459)/z a prime number?
True
Suppose -9942 = -4*i - 2*i. Is i composite?
False
Is (19779/(-6))/(23/(-46)) composite?
True
Suppose -76228 = -12*v + 231656. Is v composite?
False
Let s = 9097 - 6464. Is s composite?
False
Let a be (4 - 5)/(1/1375). Let k = a + 2069. Is (k/4)/((-3)/(-6)) a composite number?
False
Suppose 4*v - v + 4*m - 18 = 0, -2*m + 44 = 5*v. Let w(x) = x**2 + 16*x - 13. Let q be w(-10). Let p = v - q. Is p a prime number?
True
Let b(a) = a**3 - 5*a**2 - 7*a + 6. Let u be b(6). Suppose u = 6*c + 2484 - 7962. Is c prime?
False
Let f(d) = -d**2 - 7*d + 2. Let q be f(-7). Suppose q*t + 5*u = 28, 5*u = -4*t + 70 - 14. Let i(m) = -m**2 + 17*m - 17. Is i(t) a prime number?
False
Suppose -3*b - 14302 = -5*w, 0 = -5*w - 18*b + 20*b + 14303. Is w a composite number?
False
Let b = 90 + -56. Suppose -3*y = -b - 23. Is y composite?
False
Let n = -22 - -18. Suppose 0*o = o - 1. Is 4*-115*o/n a prime number?
False
Let b be 1/(-4) + 42/8. Let c be 91/(-28) + 3 + (-15588)/(-16). Suppose i - 3*m - 273 - 53 = 0, 3*i - c = b*m. Is i prime?
False
Is 2055 - (13 - (-7 - -10)) composite?
True
Suppose 0*h = -2*h + 8. Suppose 1 = 3*k + x, -2*k - 3*x + 0*x - h = 0. Is (-47)/(-2)*(k - -1) composite?
False
Let v = 12 + -10. Suppose -5*w + 16 = v*s, 0*w = -2*w + 3*s - 5. Is 331/(w/(2/1)) a prime number?
True
Is (((-30)/9)/1)/(2/(-5079)) prime?
False
Let b be (-8 - -3)/10*0. Suppose -8*c + c + 2037 = b. Is c a composite number?
True
Is (-588)/(-168)*(0 - -25478) a composite number?
True
Let w(t) = t**3 - 3. Let z be w(0). Is 635 + z*8/6 prime?
True
Suppose -q - 36 = 2*q. Let m = -17 - q. Is ((-155)/(-4))/(m/(-20)) a prime number?
False
Suppose 3 = -3*p, 2*w = 4*p + 5001 - 1251. Let t = -3748 + 2462. Let y = w + t. Is y composite?
False
Suppose -2*m + 166411 = -a, -4*a = 2*m - 75011 - 91415. Is m a prime number?
True
Let n be ((-9)/(-6))/(2/4). Suppose 2*d - 189 = -5*l, n*l + 2*d + 0*d = 115. Is l*3/6*2 composite?
False
Let s(n) = -11647*n + 105. Is s(-2) a prime number?
True
Suppose 3*j = -0*j - 5*m + 25, 2*m - 10 = 0. Let z = 493 - j. Is z prime?
False
Let v(l) = -2*l**2 - 7*l + 6. Let b be v(-4). Suppose -b = 2*j - 6. Suppose -c + 3*y + 967 = j*y, -967 = -c + 3*y. Is c prime?
True
Let m(y) = 2201*y**2 - 32*y + 16. Is m(-5) prime?
True
Suppose -12 = v - 0*v. Let k be (v/8)/(3/(-10)). Suppose 2074 = k*b + 749. Is b prime?
False
Suppose 0*a + 10 = a. Let d = 5 - a. Let i = d - -15. Is i a prime number?
False
Let z(j) = -j**3 + 50*j**2 - 3*j + 161. Is z(-34) composite?
False
Let y be 1/2 + 62/(-4). Let x be (-95)/(((-6)/y)/(-2)). Suppose 5*t - 2*g = x, -t - 169 = -3*t + 5*g. Is t a prime number?
True
Suppose 0 = -8*o + 30144 + 52984. Is o a composite number?
False
Let j = 53 - -73. Suppose 0 = 5*h - 69 - j. Is h prime?
False
Suppose 15 = i + 4*i, -54 = -5*k + 2*i. Suppose 2986 = k*u - 698. Is u a composite number?
False
Let l be 2/(-4)*(15 - 13)*-152. Let y = l + -39. Is y a composite number?
False
Let h = -12 + 9. Let k(g) = 13 - 32*g - 25*g + 13*g - 14*g. Is k(h) a composite number?
True
Suppose -12*u - 2 = -11*u. Is (-7759)/(-3) + u/(-3) a prime number?
False
Let f = 12 - 20. Is (-4 - f) + (0 - -195) prime?
True
Let g = 46 + 6793. Is g prime?
False
Let n(p) = -7 - 3*p**2 + 91*p**2 + 24*p**2 + 40*p - 36*p. Is n(-4) a composite number?
True
Let s be (-6 - (-1 + -4))/((-1)/91). Suppose -s = -h + 36. Is h composite?
False
Let t(w) = -w**3 + 2*w**2 - 2*w + 1. Let c be t(1). Let g b