se x*c = -0*c + 35. Is c prime?
True
Let v = 1691 + 762. Is v a prime number?
False
Let r(b) = -19*b. Let w be 1/(44/12 + -4). Is r(w) a prime number?
False
Let j be 57/9 - (-1)/(-3). Let x(a) = a**2 + a. Let f(w) = 7*w**2 + 16*w - 7. Let v(m) = j*x(m) - f(m). Is v(-8) composite?
False
Suppose 0 = -5*i + i + 612. Suppose i = -0*y + 3*y. Is y composite?
True
Let k(p) = 9*p**3 + p**2 + 5*p - 2. Let u be k(3). Suppose 0 = 3*t + 2*t - u. Is t a prime number?
True
Let s(m) = 4*m**2 + 13*m + 12. Is s(-11) prime?
True
Is 1*5331*3/9 composite?
False
Suppose -4*d = 5*z + d - 45, 4*z - 5*d = -9. Suppose -3*s + z*v = -7*s + 1376, 3*s + 5*v = 1026. Is s a prime number?
True
Suppose -4 = -2*q + 14. Suppose -7 - q = 4*x. Is (1/3)/(x/(-36)) prime?
True
Let g = -8 - -12. Let b = g + -5. Is b/((-2)/7)*2 a composite number?
False
Let k(t) = 2*t**2 + 2*t - 7. Let f be k(-3). Let y be 10 + -1*(1 - 2). Let q = y - f. Is q composite?
True
Suppose 7 = -4*j + 7*j - w, -3*w - 13 = -5*j. Suppose y = -5*z + j*z + 3, -19 = 5*y - 2*z. Is y + 51/3 + 1 prime?
False
Let a = -1 + 9. Suppose -3*k - a = -2*j, 5*j - 5*k + k - 20 = 0. Suppose 0*r - 72 = -4*l + 2*r, j*r - 84 = -4*l. Is l composite?
False
Let x(m) = -m**3 - 6*m**2 - 4*m + 5. Let p be x(-5). Suppose 4*l - 194 = 5*y, -159 = -3*l - p*y - 3*y. Is l a composite number?
True
Is 2/(70794/(-17703) + (0 - -4)) prime?
False
Suppose -2*t + 10 = 3*t. Let x = -35 + 49. Suppose -t*z + x = o - 37, -z + o = -24. Is z composite?
True
Let j(i) = 4*i**3 + 6 - 3*i**3 - 5*i**2 + 10*i**2. Let h be j(-5). Is ((-1758)/18)/((-2)/h) composite?
False
Let l(p) = p**3 + 3*p**2. Let h(b) = 2*b + 1. Let g be h(-2). Let c be l(g). Suppose -4*z + 34 = -4*u - 34, c = -3*z + 5*u + 55. Is z a composite number?
True
Let p = -15 + 25. Is p a composite number?
True
Suppose a = -2*x - 12, -2*x - 27 = 3*a + x. Let h be (-2)/a + 310/15. Suppose k = -0*k + h. Is k prime?
False
Let k(z) = 4*z**3 - 5*z**3 + 0 - 8*z**2 + 2. Let x be k(-8). Suppose -x*j + 4*j - 322 = 0. Is j prime?
False
Suppose -3*z + z + 4 = 0. Let x(j) = -j + 0*j + 0*j - j**z + j**3. Is x(3) a prime number?
False
Suppose -5*p - 1 = -16. Suppose -6 = -p*a + 2*a + g, -5*g - 20 = -3*a. Suppose -42 = -4*x - 2*l + 80, a*x - 157 = 2*l. Is x a composite number?
False
Let r(c) = 78*c + 1. Let j be r(1). Suppose -4*g = 3*z + j, -3*g - 5*z - 39 - 34 = 0. Let o = g + 31. Is o a prime number?
False
Let k be (-21)/(-2) + (-2)/4. Suppose 4*y + 0 = -2*w + 2, 0 = -2*w - k. Let a = 5 - y. Is a a composite number?
False
Let g = 12 + -17. Is 70 + 6/(g + 3) composite?
False
Let p(z) be the third derivative of 9*z**4/2 - 7*z**3/6 - 2*z**2. Is p(3) a composite number?
False
Suppose 2*w + 2*x - 555 = 1883, w - 1219 = x. Is w a prime number?
False
Let l be 20/(-8)*4/5. Let j be (-120 + l)*(3 - 4). Let h = j - 45. Is h a prime number?
False
Suppose -4*g + 6 - 10 = 0. Let v be ((-4)/3)/((-4)/18). Is (93/v)/(g/(-2)) composite?
False
Is 1 + -2 + -3 + 71 prime?
True
Suppose -3*m = -4*r + 86, -2*r + 46 = -2*m - m. Is (-272)/(-6) + r/30 a prime number?
False
Suppose 0*i + 30 = 5*i + 3*q, -5*i + 3*q = 0. Suppose 2*o = i*x + 53, x + o + 78 = -3*x. Is 0 - 1 - (x - -4) a prime number?
False
Suppose 7*j - 2*j - 2605 = 0. Is j composite?
False
Let q = 68 + -40. Let h = q - -129. Let d = h - 111. Is d prime?
False
Let h(s) = -1 + 3 - 1 - 6*s + 0. Let a be h(-2). Let l = a - -54. Is l a composite number?
False
Let p(q) = 23*q**2 + 7*q + 2. Let f be p(-6). Suppose -3*t - 83 + f = 0. Is t a composite number?
True
Let n be (-2)/((-2)/(2 + 0)). Suppose -n*s + 59 - 21 = 0. Is s composite?
False
Let l(b) = -15*b - 1 + 1 + 6 - 5. Is l(-2) a prime number?
True
Let s = -50 + 1312. Is s a composite number?
True
Let t(j) = 3*j - 35. Let w(i) = 2*i + i + 1 - 37 + i. Let x(s) = -5*t(s) + 4*w(s). Is x(0) a prime number?
True
Suppose -f = 4*f + 2*p - 12, 2*f = 4*p. Is 1/f*(504 + -2) composite?
False
Suppose -2*i + 94 = -0*i. Suppose 3*g - i - 130 = 0. Is g prime?
True
Suppose 25*s - 28*s + 573 = 0. Is s composite?
False
Let a be 77/28 + (-6)/8. Let h(n) = 41*n - 3. Is h(a) prime?
True
Suppose -1191 = -6*x + 3*x. Is x a composite number?
False
Suppose 0 = -6*c + 3*c + 4401. Suppose 3*j - 2*d - c = 0, -4*j + 0*d = 3*d - 1939. Is j a composite number?
False
Let j(a) = -6*a - 1. Let f be j(-1). Let q = f + -7. Is ((-1)/3)/(q/402) composite?
False
Suppose -2*q + 12 = -1586. Is q prime?
False
Suppose 4*m + 5*b - 44 = 0, 0*b = -3*m + 5*b - 2. Suppose -m*q = -q. Let f(j) = j**2 + j + 23. Is f(q) prime?
True
Let j(s) = 25*s**2 + 4. Is j(-7) a composite number?
False
Is 1/(2 + 1012/(-508)) composite?
False
Let p(m) be the second derivative of -9/2*m**2 + 1/20*m**5 - 1/2*m**3 - 3*m + 5/6*m**4 + 0. Is p(-10) prime?
False
Let q = -2186 + 3755. Suppose 8*h = 5*h + q. Suppose 0 = -g + 3*t + 118, -7*g + 3*g = 5*t - h. Is g composite?
False
Suppose 0 = -3*n + m + 164, 5*n - 2*m - 290 = 3*m. Is n a prime number?
True
Let f(k) = -k. Let m be f(2). Let b = -2 - m. Suppose 0 = 2*i - b*i - 182. Is i prime?
False
Let n be 91 + 3/(9/6). Let b = 0 + 1. Is n/9 - b/3 prime?
False
Suppose 5*n - 203 = 1662. Is n a prime number?
True
Let f be (-2)/8 - 5226/24. Let a = f + 363. Is a a prime number?
False
Let g(a) = 18*a**2 + 2*a - 1. Let r(x) = -x**3 - 5*x**2 - 3*x + 5. Suppose -2*d - 10 = -2. Let w be r(d). Is g(w) composite?
False
Let g be 1/(-5) + 3039/(-5). Let f = 284 - g. Suppose -f = x - 5*x. Is x a prime number?
True
Suppose 17*v = 12*v + 10. Let m(u) = 17*u**3 - u**2 - 4*u + 3. Is m(v) a prime number?
True
Let n be (-2 - -2)/3 - 2. Let w be 9/n*40/15. Is 6/(-9) + (-1940)/w prime?
False
Is (2 + (-20)/8)*-218 a prime number?
True
Let t = -8 - -4. Let b be (t/(-3))/((-5)/(-15)). Suppose 3*g + 4*f - 62 = 0, -6*g = -2*g - b*f - 120. Is g a prime number?
False
Let v be ((-3)/(-2))/(15/20). Suppose -5*f = -v*j + 57 + 236, 4*j = -5*f + 541. Is j prime?
True
Let z be -2 - 1/(2/(-4)). Suppose z = -3*u - 8 + 2. Let m(a) = -27*a**3 + 3*a + 1. Is m(u) composite?
False
Let p = -9 + 6. Let x(v) = -63*v - 2. Is x(p) prime?
False
Let s be 6*(2/(-3) + 0). Let k(v) = v + 6. Let f be k(s). Suppose f*j - 18 = 112. Is j a composite number?
True
Let k = 35 + 28. Suppose 3*h = -0*h + k. Is h prime?
False
Suppose 14*t = 12*t + 354. Is t a composite number?
True
Let i = 1 - -25. Is i a prime number?
False
Suppose 0*o = 5*o - 25435. Is o composite?
False
Let g = 1186 + -473. Is g a prime number?
False
Let g be (6 + 1)*(-36)/14. Is 4/3*(-459)/g a prime number?
False
Suppose 3*k + 2*n = -3*n + 4749, 0 = 3*k + 3*n - 4749. Is k prime?
True
Let q be 2 - (0/(-1))/(-2). Suppose f + q*z - 8 = 8, -z = -f + 1. Is f composite?
True
Suppose 3071 = 4*h + 1203. Is h prime?
True
Let t be ((-44)/12)/((-1)/9). Suppose 8 = -2*o, 5*k - 2*o = -96 - 11. Let m = k + t. Is m prime?
False
Let d = 8 + -8. Let k(f) = -f**3 + 6*f**2 - f + 8. Let h be k(6). Suppose 8 = -h*b, b + 30 = -d*c + 2*c. Is c prime?
True
Suppose 2*f = u + 2*u + 1355, -4*u - 12 = 0. Is f composite?
False
Suppose -2*v + 12851 - 3717 = 0. Is v prime?
True
Let w = -4 + 7. Suppose -w*r + r + 6 = 0. Let l(m) = 20*m + 2. Is l(r) a composite number?
True
Suppose 2*s = -4*n + 3*n + 1, 4*n = 2*s - 16. Suppose -2*f - 2 = s*w, 2*w + 0 - 3 = 3*f. Suppose 4*l = 5*u + 40, 5*l + 4*u - 25 - 25 = w. Is l composite?
True
Suppose -4*j - 6773 = k - 2*k, -4*k + 27072 = 4*j. Is k prime?
False
Let p(f) be the second derivative of 14*f**3/3 + 5*f**2/2 + 2*f. Is p(3) a prime number?
True
Suppose 0 = -3*o + 1249 - 298. Is o prime?
True
Is (26/39)/((-4)/(-6402)) composite?
True
Let d be (-4)/(-6) + 96/18. Let x = 59 - d. Is x a composite number?
False
Let p = -2 - -17. Let v = 36 - p. Suppose -24 - v = -3*y. Is y prime?
False
Let f(u) be the first derivative of -2*u**4/3 - u**3/6 + u**2 - 1. Let y(v) be the second derivative of f(v). Is y(-5) prime?
True
Suppose 2*s + 800 = 2*u, -4*u + u = 2*s - 1175. Is u composite?
True
Let c(j) = -4*j + 6. Let b be c(2). Suppose 5*s - 2*q = 18, -s - 5*q - 28 = -5*s. Is b/1 - (-72)/s composite?
True
Let t(p) = 19*p**2 + p - 4. Is t(2) a prime number?
False
Suppose 4*b - b = 2427. Is b prime?
True
Let p = 6 - 2. Suppose 0*y + 4*y - p = 0, -4*y = -d - 1. Suppose d*z + 15 = 222. Is z composite?
True
Let f(h) be the third derivative of 