y + 4605 = 2*t. Is y composite?
False
Suppose -99*s + 582 = -96*s - 3*f, -5*s + 985 = -2*f. Is s composite?
False
Let z = 716 - 284. Suppose -523 = -5*w + z. Is w prime?
True
Let u = 760 + -50. Suppose 2*l - u - 372 = 0. Is l a prime number?
True
Suppose 4*g + 313815 = 5*c, 2*c - 7*c + g = -313815. Is c prime?
False
Suppose 0 = -4*d + 8, -11 = 4*a - 5*d - 1. Suppose a = r - 8 + 3. Suppose -r*p = 13 + 12, 0 = -c - 4*p + 1863. Is c prime?
False
Is 6/4*((-895345)/(-33) + -3) prime?
True
Suppose -5*s + 15 = 5*p, -9 + 1 = 4*p. Suppose 0 = -s*v - 2*f + 6400, -2*v = 2*v + 2*f - 5118. Suppose l = -l + v. Is l composite?
False
Let b(f) = 6*f**3 - 2*f + 1. Let v be b(4). Suppose 3*m - v = 280. Is m a prime number?
False
Is 114055*(280/(-50))/(-14) composite?
True
Let n = -7574 + 10926. Suppose 4*s + 4*s = n. Is s prime?
True
Let z = 18980 - 9115. Is z a composite number?
True
Let y = -10400 - -15114. Is y a prime number?
False
Let u = -50 + 60. Let y(l) = -l**3 + 12*l**2 - 4*l + 3. Is y(u) a composite number?
False
Let j = 10 + -2. Is 4/j*(1 - -893) composite?
True
Suppose 2*l + 17 = -73. Let d = l + 163. Is d composite?
True
Suppose -6 = -5*n + 9. Suppose 983 = 4*t - 3*b, -n*t + 741 = -b - 2*b. Suppose 2*m - 72 = t. Is m composite?
False
Suppose -3 = 2*p - 3*p. Suppose -f = -p*f. Suppose f = 4*n - 2*n - 110. Is n composite?
True
Let s(b) be the third derivative of -b**6/120 + 7*b**5/60 - b**4/6 - 2*b**3/3 - 2*b**2. Is s(5) prime?
False
Suppose 0 = 2*n, 3*f + 3*n = -0*n + 10311. Is f prime?
False
Suppose -5*p + 22105 = 3*d + 2*d, p + 4*d - 4421 = 0. Is p a prime number?
True
Suppose -2*i + 30737 = r - i, -2*i = -2*r + 61474. Is r prime?
False
Let y = 10 + -10. Suppose -4*z + y*z - 456 = 0. Is (z/12)/(1/(-2)) prime?
True
Let l(a) = a**2 - 12*a - 9. Let t be l(13). Suppose -i = 3*i + 3*o - 3248, 0 = -t*o + 16. Is i composite?
False
Suppose -3*r + 5638 = 2*j, -1475 - 4163 = -2*j + 4*r. Is j a composite number?
False
Let y = -5 + 6. Let z be 0/(0/y - 1). Suppose 5*h - 114 - 951 = z. Is h composite?
True
Let k(r) = 1632*r - 44. Let d be k(5). Let m = 15737 - d. Is m a prime number?
True
Let n = 132 - 130. Suppose -2*k + n*z + z + 2960 = 0, 3*z = -6. Is k a composite number?
True
Let l(j) = 9*j**3 - 28*j**2 + 19*j + 11. Let r(w) = 5*w**3 - 14*w**2 + 9*w + 5. Let k(f) = -4*l(f) + 7*r(f). Suppose -2*z = z - 33. Is k(z) composite?
False
Suppose -19*q = -22*q - 4*h + 4034, -3*h + 6727 = 5*q. Is q a composite number?
True
Let y = -2448 + 8417. Is y a prime number?
False
Let l(a) = 1633*a - 18. Is l(5) composite?
False
Let p(f) = 171*f + 194. Is p(37) a composite number?
False
Let q = -24 + 24. Suppose 2*a + 3*x = -x + 30, q = -a - 3*x + 19. Is (4 - a - -94) + -2 prime?
True
Suppose 4*n = -6*d + 2*d - 44, 3*n + 27 = -2*d. Let m = d - -39. Let z = 34 + m. Is z composite?
False
Suppose -5*d - 9 = 2*h, 0 = -7*d + 2*d - 15. Suppose g = -w - 3, w - 2*w - 13 = h*g. Suppose w*c + 3115 = 5*b, 4*c = 4*b + b - 3115. Is b a composite number?
True
Let a(y) be the first derivative of 9*y**4/4 - 4*y**3/3 - 5*y**2/2 - 4*y - 5. Let d be a(-3). Is (1/((-4)/d))/1 composite?
False
Let y(p) = -p**3 - 13*p**2 + 4*p + 9. Let l be 0 + (-2)/2 - -37. Let d be (-166)/12 + (-6)/l. Is y(d) composite?
False
Suppose 3*u + 5*n = 230 - 907, 4*u + 2*n + 884 = 0. Let m(r) = -74*r - 2. Let t be m(-6). Let g = u + t. Is g a prime number?
True
Let s = -1 + 5. Suppose 0 = s*z - 3*z - 113. Is z a composite number?
False
Suppose 0 = 2*j - 4*j - n + 7, 0 = 4*n + 12. Suppose 0 = j*w - 1938 - 622. Suppose 4*t + f = 1229, -t - 3*f - 202 = -w. Is t a composite number?
False
Let t = 7 - 3. Suppose -t*s - 4*y + 20 = 0, 4 = -2*s + y + 5. Is (-22)/(4*s/(-28)) a composite number?
True
Is -2 - (3*-955 - (6 - 10)) composite?
True
Suppose -7*c = -0*c - 28. Suppose 5*y - 2707 = c*y. Is y a prime number?
True
Suppose -3*t + 4 = -4*y - 4*t, 5*t = -3*y - 20. Suppose 2*n + 5*r + 5 = 0, -15 = 5*r - y. Let k = n - -32. Is k composite?
False
Suppose -2*y - 2*y + 11488 = -5*p, 5*y - 3*p - 14360 = 0. Suppose -j + y = 2*j + a, -j - 4*a = -950. Is j a prime number?
False
Let d = 24 + -169. Let m = -42 - d. Is m composite?
False
Is 1063/6 - 84/504 prime?
False
Let i be (-4)/(-6)*(-12)/8. Is 3 + (-397)/i + -3 a composite number?
False
Let q(v) = 7*v**2 - 11*v - 13. Let j(r) = -8*r**2 + 11*r + 12. Let u(s) = 6*j(s) + 7*q(s). Is u(-13) a prime number?
True
Let o = 16361 + -9938. Is o prime?
False
Let s(c) = 6*c**2 + c + 2. Suppose -2*z - 2*z + g = 22, -27 = 5*z - g. Let l be s(z). Suppose 3*o + 3*j - l = 0, 4*j + 20 = -j. Is o a prime number?
True
Let n = 4569 + -2483. Suppose 4*p = -2*c + n, 917 = 2*p + 4*c - 129. Is p a composite number?
False
Let q(u) = -2*u + 11 + 2*u + 3*u - u. Let d be q(-6). Is ((-115)/25)/(d/5) composite?
False
Let u be 3 + -1*(-343 - 0). Suppose -5195 - u = -3*w. Is w prime?
True
Let k be 4 + -7 + 3 + 0. Suppose -12 = -k*g - 4*g, 3*t - 3*g = 6. Suppose 0 = t*n - 1193 - 342. Is n prime?
True
Suppose -859 = -4*w + 661. Suppose 0*f = -f + w. Suppose -2*c - 13 + 3 = 0, c - f = -5*b. Is b prime?
False
Let s be ((-8)/(-6))/((-12)/(-72)). Let r = s + -7. Let a(f) = 1140*f**2 + 2*f - 1. Is a(r) composite?
True
Suppose a = 5*x - 21, 0*a = x + 2*a - 13. Suppose x*q + m = 296, 2*m - m = 5*q - 294. Is q composite?
False
Let j = 624 - 285. Suppose j = 3*x - 0*x. Is x a composite number?
False
Suppose 17*j = 5*v + 18*j - 1447, 2*j = 4. Is v composite?
True
Suppose -b - p = -14, 2*p = -b - p + 20. Suppose b*m + 794 = 13*m. Is m a prime number?
True
Let v(g) = 11*g**3 - 2 + 7 - 4*g + 8 - 5*g**2. Let o(n) = 3*n**3 - n**2 - n + 3. Let w(i) = 9*o(i) - 2*v(i). Is w(2) a prime number?
True
Let u(o) = -9*o**2 - 3*o + 4. Let c be u(-3). Let n = 391 + c. Suppose -943 = -6*s + n. Is s a prime number?
True
Let c = 239 + 47. Let f = -92 + c. Is f composite?
True
Let t(a) = 482*a**2 + 19*a - 5. Is t(-4) prime?
False
Let v(s) = s**3 - 2*s**2 - 6*s + 12. Let n be v(2). Suppose n = -31*y + 28*y + 753. Is y a prime number?
True
Let j(s) = -s**3 + 4*s**2 - 2*s + 8. Let p be j(4). Suppose c = 2*l + 3*c - 294, p = 4*l - 5*c - 606. Is l prime?
True
Let x(n) = 64*n**2 - 16*n + 7. Let o = -47 - -42. Is x(o) a composite number?
True
Suppose 0*d = -3*d + 2*u - 1312, 0 = 2*d + 5*u + 900. Let f = 743 + d. Is f prime?
False
Let z(w) = 21*w**2 - 9*w - 107. Is z(27) prime?
False
Suppose 3*b + 190071 = 12*b. Suppose b = 11*n - 4*n. Is n prime?
False
Let w(z) = z**2 + 15*z - 14. Let d be w(-16). Suppose -86 = -3*n + 1549. Suppose -3*y - d*y = -n. Is y a prime number?
True
Suppose 0 = 2*s + 3*n - 0*n, -3*s - 2*n + 5 = 0. Suppose -s*f = -84 + 27. Is f a composite number?
False
Let y(w) = -w**3 + 12*w**2 - 11*w + 2. Suppose 4*b - 3*b - 11 = 0. Let i be y(b). Suppose 7*j - 355 = i*j. Is j prime?
True
Suppose -212408 = -16*u - 40*u. Is u prime?
True
Let z(m) be the first derivative of m**2/2 + m - 1. Let r be z(5). Is 3*1*44/r prime?
False
Let g(q) = q**3 + 16*q**2 - 19*q + 93. Is g(-17) a prime number?
True
Suppose 0 = -2*g + 2*f + 3*f - 904, 0 = -5*g - 3*f - 2229. Let d = 812 + g. Is d a prime number?
False
Let t = -20 - -22. Suppose 3*i + 28 = 4*q, -4*i + t*i - 20 = -3*q. Is (-5214)/15*(-10)/q a prime number?
False
Let w(z) = -z - 1. Let d(j) = 9*j + 14. Let b(r) = d(r) + w(r). Let h be b(11). Let c = -22 + h. Is c a prime number?
True
Let y = -633 - -638. Suppose 15 = 2*w + 5. Suppose -4*h = 3*i + h - 397, y*h + w = 0. Is i prime?
False
Suppose v + 4*c - 73 - 30 = 0, -5*v - 2*c + 461 = 0. Is v prime?
False
Suppose 3*d = 5*n + 9, 4*n - 28 = -3*d + d. Suppose d*j - 3*j = 1595. Is j composite?
True
Suppose b = 5*b - 5*i - 12, 3*b + i = 9. Suppose 0*g - 2*g = 5*r - 1486, -b*r = g - 743. Is g composite?
False
Let h be -1*1 + 11 + -79. Is (5 + -3 - h)*(24 - 1) composite?
True
Let x be 24/(-16)*(-41 - 1). Let n = x + -128. Let m = -28 - n. Is m composite?
False
Let u(o) = o**3 - 48*o**2 + 74*o + 92. Is u(57) a prime number?
False
Suppose -8 = 4*c, -2*c = 3*t - 14738 - 15357. Is t composite?
True
Suppose 3*q - 5*z - 1462 = -0*q, -3*z - 1464 = -3*q. Let b(v) = -v**2 + 2*v. Let f be b(0). Suppose 0 = -f*g - 3*g + q. Is g prime?
True
Let p(t) = -t**3 - 2*t**2. Let m be p(-5). Let a be (-792)/40 + 1/(-5). Let q = m + a. Is q prime?
False
Let g = -1970 - -2899. 