prime?
True
Suppose 3*l - 1070 = 3*s + 3106, -s - 5565 = -4*l. Is l prime?
False
Let d = 9 - 10. Is (-5 + 6)/(d/(-79)) a composite number?
False
Suppose -2*q - 2*q - 5*v + 26 = 0, 2*v + 4 = 2*q. Suppose -174 = -2*z + x, -2*x = q*z + 70 - 434. Is z a composite number?
False
Suppose 0 = 3*u + 3, 4*k = -4*u - 17 - 11. Let f(v) = -10*v - 5. Let g be f(k). Let o = g + -33. Is o prime?
False
Let u(k) be the first derivative of k**4/4 + k**3/3 + k**2/2 + 3*k + 2. Let z be u(0). Suppose z*h - 15 = 2*h. Is h a composite number?
True
Let z = -11 - -15. Let h be z*(-2 - -1) - -1. Let w(a) = 9*a**2 - 4. Is w(h) a composite number?
True
Let j be (4/(-8))/(2/624). Let c = j + 296. Suppose 5*x + 2*u - 19 = c, -u = -2. Is x a prime number?
True
Let a(t) = 3 - 2*t - t**2 + 5*t**2 + 0*t + 0*t**2. Let j be a(2). Let y = 36 - j. Is y composite?
True
Let j(i) = -i**2 + 2*i + 5. Let n be j(3). Suppose -5*f + 70 = n*u, -f - 5 - 91 = -4*u. Is u prime?
False
Let m(i) = i**3 - i**2 + 1. Let j be m(1). Is j/2 + 215/10 composite?
True
Suppose -u - 263 = -5*s, 2*s - u - 3*u - 116 = 0. Let z = 73 + -43. Let a = s - z. Is a prime?
False
Suppose -4*q + 540 = -4*b - 1816, -3*q + 1765 = -2*b. Is q a prime number?
True
Is ((-863)/6)/((-18)/108) prime?
True
Let r(h) = h**3 - 9*h**2 - 2. Let l be r(9). Is 284/2*l/(-4) a composite number?
False
Let q(h) = -7*h + 3. Let r be q(-8). Let p = r + -28. Is p a composite number?
False
Let w = -1011 + 1594. Is w composite?
True
Suppose r + 5*r = 42414. Is r prime?
True
Let i(a) = -7*a - 1. Let c be i(-9). Suppose 3*z = c - 5. Is z composite?
False
Let z = 1 - -1. Let y be (2/4)/(z/(-36)). Let r = y - -15. Is r prime?
False
Suppose -2*a = a + 9. Is (2 + 9)*(-33)/a a composite number?
True
Let l(r) = r**2 - 10*r - 11. Let h(q) = -5*q - 4. Let v be h(-3). Let n be l(v). Suppose n*i = i - 2. Is i a prime number?
True
Suppose 0 = -m - 4*m + 470. Let v(d) = 5*d**3 - 3*d**2 + d - 2. Let b be v(3). Let k = m + b. Is k a composite number?
True
Is 4783/7 - (-4)/(-14) a composite number?
False
Let r = 3 + -2. Let g be (-2)/(-6) - r/3. Suppose 4*v - 88 + 12 = g. Is v a composite number?
False
Let f(g) be the third derivative of g**4/2 + 2*g**3/3 + 2*g**2. Let l be f(3). Let o = l + -6. Is o a prime number?
False
Suppose 36 = 3*h - 93. Suppose 5*r - 22 - h = 0. Is r a prime number?
True
Let g(i) = i**2 - i - 2. Let j be g(3). Suppose -s - j*d - 7 = -0*d, -23 = -s + 2*d. Is s prime?
True
Suppose 15699 = 5*s + 4*j, -4*s = -3*j - 2910 - 9674. Is s composite?
True
Let g(l) = 12*l**2 - 5*l + 3. Let x be g(-4). Let h = x - 136. Is h prime?
True
Let v = 3501 + -1342. Is v a prime number?
False
Let p(u) = u**2 + 2*u + 3. Let q be p(-2). Let j(i) = -2*i**2 - 1. Let l be j(q). Is 0 - -1 - 4*l prime?
False
Is 16/28*(-14)/(-4) - -876 a composite number?
True
Suppose 0 = -6*u - u + 3997. Is u a composite number?
False
Suppose -5*d + 2*a = 4*a + 68, a = 2*d + 29. Let v = 6 + d. Let y = v - -27. Is y a composite number?
False
Suppose -22 = -3*x + 8. Let r be ((-85)/(-10))/(2/4). Let u = r - x. Is u a prime number?
True
Let l(w) = w**2 + 17*w - 19. Is l(-19) a composite number?
False
Suppose 0 = 23*b - 13*b - 28970. Is b prime?
True
Suppose -4*z + 657 - 1836 = -x, -5*z + 1197 = x. Is x a prime number?
True
Let d be -2*1*(2 - -2). Is (-130 - d)*6/(-4) composite?
True
Let z be ((-9)/6)/(4/24). Let p(x) = -15*x + 4. Is p(z) composite?
False
Let v = -8 + 10. Is (38/v)/(2 + -1) composite?
False
Suppose 5*w = 2*w - l + 2442, 3*l = -9. Is w a prime number?
False
Is 2 + 0 - (-2 + -849) a prime number?
True
Is (-10)/45 + 1613/9 a composite number?
False
Suppose -3*n + 2 = 14. Is n/14 + (-1884)/(-28) a composite number?
False
Suppose -3*m + 101 = l - 2*l, 3*m - 89 = -5*l. Is m prime?
False
Let j = 500 + -289. Is j a composite number?
False
Let g be (0 + -1)*-3 + 28. Suppose q + g = 108. Is q a composite number?
True
Suppose -3*j = -2*r - 1, -3*r - j = r + 23. Let f(d) = d**2 + 5*d + 5. Let b be f(r). Suppose 2 = b*k - 703. Is k a composite number?
True
Suppose -14 = -2*z + z - 2*x, 15 = 3*x. Suppose 0 = z*q + q. Suppose q*k + 2*k - 418 = 0. Is k composite?
True
Suppose 2*g - 480 = 52. Is ((-2)/(-4))/(7/g) a composite number?
False
Let p(h) = -848*h - 3. Is p(-2) a composite number?
False
Suppose -3 = -4*c - o - 39, -3*c - 40 = 4*o. Let p = 46 + -31. Let x = c + p. Is x prime?
True
Suppose -7*q + 3854 = -927. Is q prime?
True
Let g(r) = 4*r - 2. Let b be g(-4). Let d be 4839/27 + 4/b. Let q = d + 12. Is q composite?
False
Let n(r) = 16*r - 5 - r + 8*r. Is n(4) prime?
False
Suppose 7 = 4*c + 3*s, -5*s - 3 + 4 = 4*c. Let w be 21/4 - (-1)/(-4). Is (-7 + w)/(c/(-66)) a composite number?
True
Suppose 2*t + 3*t - 45 = 0. Let d(z) = -3*z + 2. Let r be d(5). Let l = t - r. Is l a prime number?
False
Let i = 16 + 15. Is i composite?
False
Suppose -14*v + 702 = -5*v. Let r = -12 + 20. Suppose -2*z - v = -5*q, -r = q - 2*z - 30. Is q a prime number?
False
Is (4 + -4)/4 - -109 prime?
True
Let w = -17 + 9. Let m be 1 + 1 - (w + 2). Suppose -12 - m = 5*a, o = -2*a + 43. Is o a prime number?
False
Suppose -6*q + 14 = -208. Is q a prime number?
True
Suppose 5*j + 16 = 1. Let u(s) = -20*s - 1. Is u(j) a composite number?
False
Is (3 - 2)*(17 - -20) a prime number?
True
Let k(t) = -9*t + 3. Let m be k(-1). Is 7/((-28)/m) - -226 composite?
False
Let s(j) = 5581*j**2 + 3*j + 1. Is s(-1) a composite number?
True
Suppose h - 4*h = 36. Let w = 7 - h. Is w a composite number?
False
Suppose 0 = n - 27 - 128. Is n prime?
False
Let n(p) = -p - 1. Let x(t) = 6*t + 4. Let f(g) = 5*n(g) + x(g). Let w(o) = 10*o + 5. Let z(i) = 3*f(i) - w(i). Is z(-6) a composite number?
True
Let l be 3/12 + 22/8. Suppose 0 = -k + 2*u - 10, k - 5*k + l*u = 55. Let o = k + 41. Is o composite?
True
Let f(j) = j + 6. Let l be f(-5). Let d(p) = -p**3 - 6*p**2 + 6*p - 6. Let i be d(-7). Is i/l*79/1 a composite number?
False
Let t = 65 + -22. Is t a composite number?
False
Suppose -2*d - f = -1 - 8, 4*f - 14 = 3*d. Suppose -d = -p - 0*p. Suppose -p*h = -10 - 4. Is h a composite number?
False
Let x(y) = y**3 + 11*y**2 - 2*y - 9. Is x(-11) a prime number?
True
Let y = 1172 + -642. Suppose 2*s = -5*v + y, -4*v + 0 - 16 = 0. Suppose -s = 3*r - 8*r. Is r a composite number?
True
Let r(z) = -482*z**3 - z**2 - z. Let c be r(-1). Let f = c - 259. Is f composite?
False
Let a be ((-2)/3)/(2/15). Let o = a + 84. Is o composite?
False
Let s = -10 - -10. Suppose s = 6*f - 5*f - 4. Is (-167 + 1)*f/(-8) a prime number?
True
Let i(y) = 115*y + 12. Is i(5) prime?
True
Let r(x) = -2*x**3 + 4*x**2 - 5*x - 4. Let b be r(4). Let q be (-2 - 0)/((-6)/555). Let d = q + b. Is d composite?
False
Suppose 0 = -n - n + 110. Is n a composite number?
True
Let m(d) = 2*d - 4. Let g be m(-6). Let z = -10 - g. Suppose 4*y - 90 + z = 0. Is y composite?
True
Suppose -4*m + 1625 = -387. Is m composite?
False
Suppose 0 = -9*s + 10*s - 1087. Is s composite?
False
Let r be 2/(-4) + (-6)/(-4). Suppose -3*v + 11 = -r. Suppose -v*n = -2*z - z - 272, -n + 69 = -z. Is n prime?
False
Let n(j) = 226*j + 1. Is n(3) a composite number?
True
Suppose -a + 1861 = v, -a + 2*v = 5*v - 1869. Is a composite?
True
Let p be (2052/15)/((-3)/10). Let t = -850 + 1613. Let r = t + p. Is r a prime number?
True
Let x = -7 + 11. Suppose -x*t - 6 + 26 = 0. Suppose -149 = -t*s + 36. Is s a prime number?
True
Suppose 0 = 5*v - 2085 - 440. Is v a composite number?
True
Suppose -494 = -2*g - 4*f, 4*f = -g - 0*f + 241. Is g a prime number?
False
Let o(i) = -6*i**3 + 7*i + 7. Let m(l) = -l**3 + l**2. Let k(z) = 5*m(z) - o(z). Let f be k(-6). Let j(n) = 18*n**2 + 1. Is j(f) a prime number?
True
Suppose 3*z - 3*y = 0, 4*y + 15 = 2*z + 5*y. Let o = -1 + z. Suppose -395 - 609 = -o*c. Is c a prime number?
True
Let j be (-2)/(2/1087)*-1. Let y = j + 22. Suppose -x + 1853 = 5*v, -2*v = -5*v - 2*x + y. Is v a prime number?
False
Is 17859*((-28)/(-12))/7 prime?
True
Let k be 4/(18/10 - 2). Let q = -14 - k. Is q/10*(2 - -233) a prime number?
False
Suppose p + 2*i + 69 = 0, 379 - 44 = -5*p - 5*i. Let m = 0 - p. Let t = 98 - m. Is t a composite number?
True
Let d = 3 + 283. Let n = d + -155. Is n prime?
True
Let k = -485 + 812. Suppose k = -d + 4*d. Is d a prime number?
True
Let z = 0 - -3. Let r(s) = -1890*s