True
Is (45 + -2 + 3)/(4/10) a prime number?
False
Let c be (-3 + 1)/((-3)/3). Suppose -q - c = -4. Suppose -4*w + 142 = 2*j, -6*w - 166 = -q*j - 4*w. Is j composite?
False
Let v(r) = -r**2 - 9*r - 4. Let p be v(-8). Suppose -p + 69 = 5*w. Is w a prime number?
True
Suppose -a = 2*p - 1398, -p - 7*a = -3*a - 685. Is p a prime number?
True
Suppose n = -2*m + 6, -n + 2*n + 3*m = 8. Suppose 2*s - 186 = -n*i, 0 = 3*s - 5*i - 366 + 71. Is s prime?
False
Suppose -5*l - 17 = u - 44, -4*u - 5*l + 33 = 0. Suppose -t + 2*a = -u*a - 11, 0 = -3*t + a + 44. Is 6/t + (-1899)/(-15) a prime number?
True
Let u(g) = 248*g**3 - 2*g**2 + 1. Let k be u(1). Let q = 456 - k. Is q composite?
True
Let g(x) = x**3 + x**2 - 7*x + 6. Let w be g(6). Let t = w + -89. Is t composite?
False
Suppose 3*i - 815 = -2*i. Is i prime?
True
Suppose d - 900 = 6*d. Let h = -106 - d. Is h composite?
True
Suppose 0 = j - 2*h - 401, 0 = -4*j + j + 2*h + 1219. Is j a composite number?
False
Let d = 255 - -1416. Is d a prime number?
False
Is 84 + 5/(-10)*-6 a prime number?
False
Suppose 4*d - 3*a = 1983 + 8, 2483 = 5*d + 2*a. Is d composite?
True
Let l = -777 - -1196. Is l a prime number?
True
Let k = -1467 + 3200. Is k composite?
False
Let p(z) = -z**3 + 3*z**2 + 4*z + 5. Let g(s) = s**3 - 4*s**2 + 4*s + 1. Let c be g(3). Let j be p(c). Suppose -6*x + 3 = -j*x. Is x a composite number?
False
Let b(p) = -5*p**3 - 2*p**2 - 4*p - 3. Is b(-2) a composite number?
False
Let j(o) = o - 4*o**2 - 4 + 3*o + 11*o**2 - 6*o. Is j(3) prime?
True
Let r be 6/27 - 43/(-9). Suppose 5*n = -r*k, -k = -4*k - 2*n + 2. Suppose -k = m - 17. Is m a composite number?
True
Suppose 4*x = 6*x - 662. Is x a prime number?
True
Let w = 143 + 20. Is w a prime number?
True
Let g be 1 + (0/3 - 2). Let v be 5/(15/6) - g. Let o = v - -34. Is o prime?
True
Suppose 3*l + l = 0. Suppose l = 4*z + z. Suppose 4*c + 5*a - 47 = c, a + 2 = z. Is c prime?
True
Let s(f) = -28*f + 7. Is s(-3) a prime number?
False
Is (-12778)/(-22) - (-2)/11 a prime number?
False
Let i(d) = -50*d - 5. Let z be i(-6). Is (4 + 0)*z/20 prime?
True
Let u(f) = 4*f**2 + f + 1. Let p be u(1). Suppose 2*k - p*k + 1196 = 0. Is k a prime number?
False
Let i(f) = -f**3 - 15*f**2 - 20*f - 13. Suppose 0*n - 28 = 2*n. Is i(n) a prime number?
True
Let z = -232 + 729. Is z composite?
True
Let s(a) = 3*a**3 + 12*a**2 - a - 7. Is s(6) composite?
True
Suppose -25 = -d + 5*r - 10, 0 = 2*d + 3*r + 9. Suppose -3*k + d*h = 5*h - 72, -3*h = -9. Is k composite?
False
Let v be (50/8)/(10/280). Let s = 386 - v. Is s a composite number?
False
Let b(y) = -y**3 - 11*y**2 - 5*y - 4. Is b(-11) prime?
False
Suppose 5*p - 1970 - 735 = 0. Is p prime?
True
Let w(u) = u**3 + 11*u**2 + 7*u - 8. Suppose -4 = 3*v + l + 27, 3*v + 35 = -5*l. Is w(v) prime?
False
Is (132/(-16) - -5)*-628*1 composite?
True
Suppose -290 = -17*o + 15*o. Is o prime?
False
Suppose -190 = x - 6*x. Is x*(-26)/(-12)*3 a prime number?
False
Suppose -3*v + 372 = 3*o, -3*v = 4*o + 3 - 495. Suppose 3*z - o = -2*b + 5*z, -z = -2*b + 117. Is b a composite number?
True
Let o = 2907 - -452. Is o a prime number?
True
Let b(u) = 2*u**3 + u**2 + 2*u + 1. Let q(l) = l**3 + 4*l**2 + 2*l + 4. Let p be q(-4). Let o be b(p). Let n = 372 + o. Is n a composite number?
True
Suppose -n = -2*n. Suppose 3*h = 3*y + 840, 2*y + 10 = -n*y. Suppose 0 = 3*g + 2*g - h. Is g a prime number?
False
Suppose -1977 = -6*g + 477. Is g a composite number?
False
Let o(c) = -c**3 + c**2 - 2*c + 2. Let h be o(-3). Let f = h - 25. Is f a prime number?
True
Let u = 7 + -5. Is u/(-5) + (-1302)/(-30) a composite number?
False
Let p(h) = -2*h**2 - 4*h - 3. Let w be p(-2). Is ((-62)/1)/(-5 - w) a prime number?
True
Let z(j) = -52*j + 2 - 3 + 2. Let x(b) = -b + 9. Let l be x(10). Is z(l) a composite number?
False
Is (422/(-5))/((-3)/(45/6)) composite?
False
Let j = -50 + 84. Let w = 36 - 23. Let n = w + j. Is n a composite number?
False
Let r(k) = k**2 + k**2 + 4*k - 6*k. Let x be r(2). Is 4/(-8) + 390/x a prime number?
True
Let v(x) = 5*x - 3. Let t(i) = -5*i + 2. Let r(l) = -6*t(l) - 5*v(l). Is r(6) a composite number?
True
Let r be (-2)/8 - (-886)/(-8). Let l = 196 + r. Is l a prime number?
False
Let f(i) = -265*i + 2. Let n(z) = z + 1. Let l(v) = -f(v) - 6*n(v). Is l(3) a prime number?
True
Suppose -k - 24 = -5*s, 2*s = k + s + 4. Suppose k = 2*t - 3. Suppose -c + 4*n = -53, -t*c - 2*n + 62 = n. Is c prime?
True
Suppose -62 - 1 = -3*s. Suppose -20*f - 37 = -s*f. Is f a prime number?
True
Suppose -5*w - 2*r - 5 = 0, -2*r + 2 = -2*w - 0. Let p(z) = -4*z + 1. Let l be p(w). Is (-3)/(-5) - (-382)/l prime?
False
Let p(m) = m**2 - m + 1. Let z be p(0). Suppose a - 14 = -l, 3*a - z = 5*l + 1. Let y = 10 + a. Is y a composite number?
False
Let q = 704 - 445. Is q composite?
True
Let d = -38 + 60. Let j = -9 + d. Is j a prime number?
True
Let n(m) be the third derivative of m**6/120 + m**5/6 - m**3/2 - 2*m**2. Let i be n(-10). Let h(x) = 8*x**2 + 4*x - 1. Is h(i) a prime number?
True
Let h = 408 - 250. Is h composite?
True
Let j = 2 + -4. Is (605/j)/5*-2 a composite number?
True
Let t = -2268 + 3822. Is ((-3)/(-9))/(2/t) prime?
False
Let w(y) = -y**2 + 10*y - 11. Let a be w(8). Suppose -3*m + g = -707, -4*g = -a*g - 2. Is m prime?
False
Let r = -12 + 18. Let x be 20/r*(-2 - 1). Is 24/10*x/(-4) a prime number?
False
Suppose 0 = 2*f + 3*f + 30. Is (279/f)/3*-4 prime?
False
Let v be (-3)/(-2)*(-4)/(-2). Suppose -769 = -v*h + 4*f, -4*h + 3*f + 707 = -323. Is h a composite number?
True
Suppose 0 = 6*h - 2*h - 368. Let s = -3 + h. Is s prime?
True
Suppose -167 = -4*j - 495. Let c = 209 + j. Is c a composite number?
False
Suppose -31 = 2*b - 3*b. Let z = 51 - b. Let j = z - 13. Is j a prime number?
True
Suppose -4 = -4*i, -4*k = k + 4*i + 16956. Is (-1)/(-3) - k/48 prime?
True
Let j(c) = -32*c + 2. Let a be j(2). Let l = -35 - a. Let x = 190 - l. Is x a prime number?
True
Suppose -l + 4*r = 46, -3*l + l - 53 = 5*r. Let y be 36/(-10)*100/(-6). Let q = y + l. Is q prime?
False
Is ((-2)/(-13) + 1833/169)*13 prime?
False
Suppose 0 = 3*o + 2*o - 10. Is -4 - o*163/(-2) a composite number?
True
Let u(d) = d + 47. Is u(0) prime?
True
Is 318 + 5 - (2 - -2) a composite number?
True
Let a(n) = -6 + 0 - 1 - n. Let y be a(-3). Is y/(-14) + (-267)/(-21) prime?
True
Let y be (-4)/2 + 3 - -1. Suppose -2*t - 2 = y*v, 5*v + t - 15 = -0*v. Is 636/5 + v/(-20) composite?
False
Is (-2916)/(-4) - (-3 - 0 - -5) prime?
True
Let w be 2*(0 - 1)*-1. Suppose j = 1 - w. Is j/(2 + -1) + 22 a prime number?
False
Suppose -2*c + 3 = -c. Suppose c*t - 767 = -89. Is t a prime number?
False
Suppose y + 19267 = 3*g, 5*y - 3*y = 2*g - 12850. Is g a prime number?
True
Suppose 0 = -2*x + 66. Is x composite?
True
Suppose 3*n - 4*n - 10 = 0. Is (652/n)/((-10)/25) a prime number?
True
Suppose -12*c + 23*c - 53999 = 0. Is c a prime number?
True
Suppose -o - 21 = -0*o. Let f = 280 + o. Is f prime?
False
Let x(m) = -m**3 + 6*m**2 + 8*m - 8. Let y be x(7). Is 1064/12 - y/3 a composite number?
False
Suppose 0 = -2*n + 681 - 47. Is n a composite number?
False
Let y be 0 + 1 + 0 + -1. Suppose 57 = -y*r - 3*r. Let g = r - -56. Is g a prime number?
True
Suppose -g - g + 4 = 0. Suppose -v - r = 1, 1 = -g*r + 3. Let b = v + 121. Is b composite?
True
Is (-3 + -209)/(3/(-12)) + 1 prime?
False
Is 3 + -2 - (-3 - -442)*-2 a prime number?
False
Suppose 7*t - 14697 = 20534. Is t composite?
True
Let p(f) = -5*f**3 + 5*f**2 - 27*f - 2. Is p(-9) composite?
True
Suppose -2*j + 1864 = 3*i, -4*i + 2474 = 2*j - 5*j. Suppose 0 = 2*m + 2*m - i. Suppose 4*g = -3*u + m, 0*g - 2*g - 3*u + 85 = 0. Is g composite?
True
Let w(a) = -2*a**3 + 12*a**2 + 14*a - 2. Let u(t) = t**3 + t**2 + t + 1. Let x(q) = u(q) + w(q). Is x(13) prime?
False
Let z(o) = -49*o + 15. Is z(-4) a prime number?
True
Let z = 4 - 1. Suppose z*o = -4*t - 2*o + 241, -57 = -t + 2*o. Is t composite?
False
Let h = -54 + 123. Is h a composite number?
True
Suppose -4*s = 5*f + 1244, 0 = -5*s - f - 2*f - 1542. Let n = -55 - s. Is n prime?
True
Let n = 374 - -17. Is n composite?
True
Let d = -479 + 844. Is d composite?
True
Suppose 0*o = 2*o. Suppose -2*y - 3*q = -284, -y + 2*q + 0*q + 149 = o. Is y a prime number?
False
Let d(y) = -4*y**2 - 7*y - 6. Let i be d(-5). Suppose -2*a + 436 