*o - o, 0 = -a*o + 10. Is j prime?
True
Suppose 5*u + 4*h - 22 = 3*u, 2*u - 19 = -5*h. Let q(t) = -u*t + 7 + 3*t**2 - t**2 + 11*t - 2*t**3. Is q(-6) a prime number?
True
Let r(z) = 7*z + 6. Let o be r(0). Let g(x) = 22*x**2 - x - 7. Is g(o) a composite number?
True
Let t(b) = b**3 + 3*b**2 + 3*b + 3. Let x be t(-2). Let g be x + (0 + -1 - -3). Suppose 2*y - g*r - r - 26 = 0, -r = -1. Is y a prime number?
False
Let d(m) = -6*m**2 + 27*m**3 - 4*m + 5*m**2 + 4 + 1 - 4*m**2. Is d(3) a prime number?
True
Suppose -4*w + 46475 + 424 = 5*p, 4*w + 2*p - 46890 = 0. Is w composite?
True
Let k(a) = -3*a + 3 + 1 - 1. Let o be k(5). Let d(v) = -v**3 - 11*v**2 + 9*v + 1. Is d(o) composite?
False
Let l(o) be the third derivative of o**5/60 + 5*o**4/12 + 2*o**3 - 7*o**2. Let r be l(-8). Let c = 73 - r. Is c a prime number?
False
Suppose 2*w - 531 = -b, -2*w - 5 = -w. Suppose -19*h = -20*h + b. Is h a prime number?
True
Suppose -14*y + 9*y = -3700. Suppose -a + y - 238 = 0. Is a composite?
True
Suppose -3*l + 225 = -4*g - 815, -1040 = 4*g - l. Let y(j) = j**3 + 5*j**2 - 14*j - 3. Let c be y(-7). Is (-8)/(-24) + g/c a composite number?
True
Is (-8)/12*210078/(-44) composite?
True
Suppose 0 = -4*y + 5*y + 4*o - 5704, -4*y + o + 22731 = 0. Suppose -7*t + 6*t = 3*r - y, -4*t + 5*r + 22651 = 0. Is t a composite number?
False
Suppose 1846 = -a - w, -5540 = 3*a - 0*a + 5*w. Let q = a + 3162. Is q a composite number?
True
Suppose -2*j + 5*f + 445 = 0, 4*j = -0*f - 2*f + 878. Suppose -2*t + j = -338. Is (t/(-18))/(1/(-2)) a composite number?
False
Let p(c) = 2*c**2 + 48*c + 15. Let i(l) = -23*l**3 - 6*l**2 - 6*l - 1. Let m be i(-1). Is p(m) a composite number?
False
Is (-5638)/(-14) + 4/14 a prime number?
False
Suppose -2*k + 5*x = 3*k + 95, -3*k + 4*x = 56. Let u be ((-750)/k)/((-2)/(-1076)). Is ((-4)/6)/((-10)/u) a prime number?
False
Let g(w) = -3*w**3 - 5*w**2 + 1. Let i(d) = -d**3 - d**2 - 1. Let a(l) = -g(l) + 6*i(l). Is a(-3) composite?
True
Let u be (-5 - -1)*(-1)/2. Suppose -15 = -u*h + 53. Suppose 8 = 2*c, 0*c = -2*o + c + h. Is o composite?
False
Suppose 4*n + 24102 = 3*i + n, -4*n + 16 = 0. Is i a composite number?
True
Suppose 4*z + 3048 = 8*z. Let i be -3 - (1 - 0)/1. Is 6/(-9)*z/i a composite number?
False
Suppose 3*o - 4*o - 3*p = -7, -5*p + 17 = -o. Is (-39)/(-26) - 315/o composite?
True
Let f(t) = 84*t - 7. Let b be f(3). Suppose 0 = -5*x + b - 70. Suppose x + 113 = 2*v. Is v a composite number?
True
Let s = -287 + 285. Let f(d) be the third derivative of -49*d**6/120 + d**5/30 + d**4/24 - d**3/6 + d**2. Is f(s) a composite number?
False
Let u be ((-7)/(-3))/((-6)/18). Let m = 8 + u. Let q = 154 + m. Is q composite?
True
Is (-33376)/(-42) - -10*3/(-18) composite?
True
Let x = -6 - -9. Suppose x*c = 5*c - 8. Suppose -99 = -c*n + n. Is n prime?
False
Let n = -13683 - -21400. Is n prime?
True
Suppose -5*w = -3*w - 570. Let x = w - 28. Is x composite?
False
Suppose -42494 = -2*u + 9*r - 12*r, -r = 7*u - 148729. Is u composite?
False
Let w(f) be the first derivative of -f**7/280 - f**6/90 + f**5/30 - f**4/4 - 2*f**3/3 - 6. Let o(m) be the third derivative of w(m). Is o(-7) prime?
False
Is (-9326)/(-1)*-7*5/(-70) prime?
True
Let o(w) be the second derivative of 9*w**4/4 + 3*w**3 - 5*w**2 + 10*w. Is o(7) prime?
True
Let y(g) = 5*g - 32. Let z be y(-16). Is (-16656)/z + (-2)/(-7) + 0 composite?
False
Let g(f) = 18*f**2 - 19*f + 12. Is g(-5) a composite number?
False
Let p(t) = t - 1. Let b be p(5). Let c(x) = 14*x**2 + 7*x + 1. Is c(b) a prime number?
False
Suppose h + 17 + 7 = 0. Let w = h + 115. Is w prime?
False
Let g(r) = r**3 - 3*r**2 + 9*r - 10. Let j(o) be the third derivative of -o**6/120 + o**5/12 - o**4/12 - o**3/6 + 2*o**2. Let w be j(4). Is g(w) prime?
False
Let b = -615 - -48. Let v be (4/(-6))/(3/711). Let a = v - b. Is a composite?
False
Suppose 3*c + 0*m - 52131 = -3*m, -4*m + 34762 = 2*c. Is c a prime number?
False
Let x = -159 - -313. Suppose -5*c - g + x = -3*c, -2*g = -2*c + 166. Is c prime?
True
Let a = -169 + 180. Let c be (0 - -1)*(2 + 285). Suppose -a = -2*g + c. Is g prime?
True
Suppose 2*f - 311 = 291. Suppose -2*w + 4*t + 80 = 0, -4*w - 5*t - 73 + 207 = 0. Let l = f - w. Is l prime?
False
Suppose -a - a - 564 = 0. Let p = -185 - a. Is p prime?
True
Let m = -9047 - -23868. Is m prime?
True
Let l(k) = k**3 - k**2 + k + 427. Let n be l(0). Let r = n + -253. Suppose r = d - 5*f - 16, 2*d - 3*f = 401. Is d a prime number?
False
Suppose 8*o - 174704 = 87288. Is o prime?
True
Let d(w) = -35*w + 20. Let o be d(-16). Suppose -4*r + 2*u = -792, -2*r + 2*u - 186 = -o. Is r a prime number?
True
Let h be ((-9)/6 - -1)*22. Let i = 22 + h. Let j(t) = 26*t + 15. Is j(i) composite?
True
Let u be (4/(-6))/((-26)/(-39)). Is ((-455)/(-2) + -4)*(-2)/u a composite number?
True
Suppose 3*p - 5*n - 1720 - 1274 = 0, -3*p + n + 2982 = 0. Let g = p - -56. Is g a prime number?
True
Let w be -8 - (-602)/77 - (-13532)/11. Let j = w - -227. Is j a composite number?
True
Let d = 34 + 172. Suppose d + 24 = 2*a. Is a a prime number?
False
Is (-6)/4 + 1/4*3562 a composite number?
True
Suppose 4706 = n + 3*b, -15*n - b - 23546 = -20*n. Is n prime?
False
Let q be 0/(4 - 2/2). Suppose -t - 3*t + 4604 = q. Is t prime?
True
Suppose -6*i - 5*i = -25927. Is i composite?
False
Let r(q) = 5*q**2 + 4*q. Let x be r(-4). Let s = -16 + 21. Suppose 2*n + 83 = 5*o, n + x = s*o - o. Is o a prime number?
False
Suppose 0 = -11*a + 3 + 8. Is 7 + a + -5 + 38*37 a composite number?
False
Let t(p) = p**3 + 5*p**2 + p**2 + 6 - 8 + 4*p. Let g be t(-5). Suppose -r = -g*r + 258. Is r a composite number?
True
Suppose 0 = f - 249 - 16. Let d be (-9 - -1)*f/(-10). Suppose s + 4*v = 65, 3*s + 4*v + 17 = d. Is s a prime number?
False
Let o = -2529 + 6224. Is o a composite number?
True
Let z(k) = 124*k**2 + 7*k - 11. Let s be z(6). Suppose 0 = 4*j - s + 1547. Is j prime?
False
Let d be 3 + -1 - -1*30. Suppose -8 = -4*l - d. Let p(k) = -4*k - 5. Is p(l) a prime number?
True
Let p(b) = 34*b**3 - 5*b**2 - 4*b + 19. Is p(4) prime?
True
Is 1/((-12)/(-426)*(-2)/(-412)) prime?
False
Let r(s) = 0 + 2 + 8*s + 31 - 6. Is r(11) composite?
True
Suppose -56*g + 20 = -61*g. Is -1006*((-6)/g)/(-1) prime?
False
Let y(n) = -3*n**3 + 11*n**2 + 8*n + 31. Is y(-20) a prime number?
False
Suppose 4*u + 5*g - 28 = -10, -5*u + 3*g = -4. Suppose 478 = u*a - 50. Let q = 405 - a. Is q prime?
False
Let y be (-2)/(-11) - (-435)/(-33). Let a = y + 44. Is a a prime number?
True
Let k = 81 - 58. Suppose -5*r - k = 17. Is -12*1*4/r a prime number?
False
Suppose 0 = -2*i + 2*g + 1360, -5*g - 257 = 4*i - 2968. Let u be 1141*1 - (1 - 1). Suppose -2*s + i = -3*h, 4*s - 5*h = u + 214. Is s composite?
True
Let s(z) = -11*z + 201. Let n be s(12). Let h be (-67)/(-3) - (-2)/(-6). Let t = n + h. Is t a prime number?
False
Suppose 5*m + u - 1783 = 2*u, -3*u + 1415 = 4*m. Suppose -3*f - m = -1595. Is f prime?
False
Let m = 31206 - 3415. Is m composite?
False
Let s be -8 + 8 + (-606)/(-3). Let d = -144 + s. Is d prime?
False
Is (-6)/(-16) - (9 + 51970/(-80)) prime?
True
Suppose -15*x + 21*x = 166128. Is 2 + x/10 - 15/(-75) prime?
False
Is ((-9)/(-18)*-677)/((-1)/14) composite?
True
Let h = 61 - 53. Let a(w) = 47*w + 3. Is a(h) prime?
True
Let g(q) = 7*q - 4. Let c be g(4). Let n(f) = f**2 - 4*f - 1. Let j be n(5). Suppose -c = -0*u - u + 5*x, -4*u + j*x + 144 = 0. Is u a composite number?
True
Suppose -z - 69 = -4*q, -5 = 5*q - 2*z - 89. Is 1040/14 - q/63 a composite number?
True
Let d(b) = 5*b - 1. Let y(t) = -t. Let c(j) = 2*d(j) + 2*y(j). Let w be c(3). Suppose -4*u = -a + 61, -2*a - w = -4*u - 136. Is a composite?
False
Suppose 35021 = 5*s - 8909. Let v = 12595 - s. Is v composite?
True
Suppose -8*k = -6*k + a - 22518, 5*a - 20 = 0. Is k a prime number?
True
Suppose -b = 3*w - 2369, -77*b - 4*w = -78*b + 2341. Is b prime?
True
Suppose 0 = 2*j + 2*h + 14, 0 = 3*j + 2*h - 10 + 36. Is ((-3719)/(-2))/(((-66)/j)/11) composite?
False
Suppose -7*t - 2247 = -10*t. Suppose -3*w + 4*w = t. Is w a prime number?
False
Suppose 29943 = -4*d - v + 106354, 2*d - 38201 = -5*v. Is d a composite number?
True
Suppose y = 1752 - 131. Let g = -6062 + y. Let r = -2456 - g. Is r prime?
False
Suppose 5*i + 108 = -3*z, 31 = 2*i - 5*z + 99. Is (-3056)/i - 1/3 c