n(f) = 5187*f + 200. Is n(15) prime?
False
Suppose 25*z = 14700 + 565675. Is z a composite number?
True
Let q(i) = -2*i**3 - i**2 + 3*i - 2. Let y be q(1). Let t(w) = 113*w**2 + w - 1. Is t(y) a prime number?
True
Let i(j) = -2798*j**2 + 2*j + 2. Let z(n) = 1399*n**2 - n - 1. Let y(h) = 6*i(h) + 13*z(h). Is y(-1) prime?
True
Let d(h) = 3512*h - 421. Is d(12) a prime number?
False
Let m = 7456 - 3877. Is m a prime number?
False
Let n be 5/2*342/95. Suppose n*x - 18248 = 2965. Is x prime?
True
Let q(m) = -2*m**3 - m**2 + 7*m - 5. Let h(n) = -n**2 + 18*n - 4. Let r be h(18). Is q(r) prime?
True
Let o(q) = q**2 + 14*q + 15. Let r be o(-13). Suppose -u - w = -627, -r*u + 0*u + 4*w + 1254 = 0. Let n = u - 433. Is n a composite number?
True
Let t(n) = -9*n + 43. Let a be t(-9). Let u be 2/8 - 202/8. Let x = a - u. Is x prime?
True
Suppose -23 = -2*j - 10*n + 5*n, 5*j - 11 = 3*n. Suppose -j*y = -2 + 14, -3*y = -3*q + 2112. Is q prime?
True
Let y(n) = 122*n**3 + n**2 - 7*n - 7. Is y(4) prime?
True
Let c be 4 - (-2 - -2)/(-2). Suppose -1424 = -c*b + 924. Is b a composite number?
False
Let u(a) = a**3 + 3*a**2 + 2*a - 2. Let f be u(-3). Let t = f - -10. Suppose 0*h = -t*h + 1118. Is h a prime number?
False
Is -4 + 927 + -15 + 21 prime?
True
Let x(y) = 192*y**3 + 9*y - 17. Let t be x(2). Suppose -2*f = 3*h - 772 - 251, -3*f = 4*h - t. Is f a prime number?
False
Suppose -v - 23 = -2*v + 5*p, 5*p = 3*v - 29. Let i(z) = z**3 - z**2 - z + 3. Let q be i(0). Suppose 5*j + q*l - 742 = 0, -v*j + 5*l = j - 601. Is j prime?
True
Let x(t) = -6*t - 51. Let y be x(-9). Is (-456)/36*y/(-2) a prime number?
True
Suppose -5*b = 5*o - 133785, -5*b + 26751 = o - b. Is o a composite number?
False
Let x be (220 - 2/1)/2. Let i = x - 44. Is i composite?
True
Let z be (32/(-80))/(2/20). Let j be z*2/((-24)/9). Suppose 115 = n + j*t, 4*n - 5*t + t = 460. Is n a composite number?
True
Let h be 5 + -2*4/8. Suppose -h*x = 0, 2*x - 5*x = -p - 119. Let b = 556 + p. Is b a prime number?
False
Suppose -3*t + 9*d - 4*d + 223 = 0, -226 = -3*t + 2*d. Suppose -74*z = -t*z + 1614. Is z composite?
True
Suppose -3*i = -3*t + 15, 4*i + 8 = t - 3. Let s(j) = 122*j**2 + 2*j - 1. Is s(t) a composite number?
False
Suppose 4*c = 4*k - 8, -6 = -4*k + 3*c - 0*c. Suppose p = -2*i + 1080, k = 5*i - p - 736 - 1971. Is i a composite number?
False
Let b be 1 + 418 - 9/(-9). Let m = -194 + b. Is m composite?
True
Is 961341/651 + (-2)/(-7) prime?
False
Is ((123/(-2))/(-3))/(1/6) prime?
False
Suppose 7*w + 3*w = 9*w. Suppose -39*z + 38*z + 87 = w. Is z a prime number?
False
Suppose -150 = -2*c - 3*c. Let j = -28 + c. Suppose 0*a = 4*g - 3*a - 1224, -614 = -j*g + 2*a. Is g a prime number?
False
Suppose 0*n + 4*b + 46 = -n, 4*n - b + 252 = 0. Is (4 - (-75)/(-10))*n composite?
True
Suppose 5*o = -0*o - 10. Let y be o/4 - 775/(-10). Let j = y - -20. Is j a prime number?
True
Suppose 4*g - 3 = 7*g. Let c(n) = 346*n**2 + 1. Is c(g) prime?
True
Suppose 0 = 6*q - 4*q - 12. Suppose q*b - 14219 - 2983 = 0. Is b a composite number?
True
Suppose 8 = 3*b + z, -2*z + 4 = -b + 3*b. Suppose -5 - b = -4*y. Suppose -2*n = -n + y, -a + n + 567 = 0. Is a a composite number?
True
Suppose 62*a - 104970 = 47*a. Is a a prime number?
False
Let a be (-2)/(-7) + 80/14. Suppose -k - 4*k + 3*b = 2, -4*k - a = 2*b. Is 10458/54*(k + 4) composite?
True
Suppose 3*w = -2*d + 31, 3*d + 15 = w - d. Let p(r) = 4 - r**2 - w*r + 12 + 3*r**2 + 0*r**2. Is p(7) a composite number?
False
Suppose 3*a = -2*a + 3*n - 125, 0 = a + n + 17. Let i(h) = -h**3 - 19*h**2 + 15*h - 1. Is i(a) a composite number?
True
Let d(l) = -3*l - 3*l - 5 + 0. Let b(g) = -2*g**2 - 4*g. Let y be b(-3). Is d(y) a prime number?
True
Suppose 0 = 2*g - 7*g + 30. Suppose 4*l - 3*s + 5*s = g, 5*s = -5. Suppose 0*t - l*t + 388 = 0. Is t prime?
False
Suppose -25899 = -212*y + 209*y. Is y a prime number?
False
Is -4 - (-4 + -3) - -298 a composite number?
True
Let f be (-230)/(0 + (-4)/2). Suppose 0 = -l + f + 172. Is l a composite number?
True
Let o be 1/(1*-4) - 2817/(-36). Let r = 131 - o. Is r prime?
True
Let n(l) = -642*l**2 + 9*l + 7. Let f(x) = 322*x**2 - 4*x - 3. Let i(v) = 5*f(v) + 2*n(v). Is i(3) a prime number?
True
Let n(k) = 4*k**2 + k. Let i be n(-1). Let x be (-4*4*(-3)/6)/2. Is (i - 12/x) + 127 prime?
True
Suppose -i - 4*q + q = 3528, 0 = 4*i + 4*q + 14088. Is i/(-46)*(-4)/(-6) a prime number?
False
Let j(i) = i**3 - 15*i**2 - 2*i + 20. Let m be j(15). Let d = m + 12. Is ((-6)/3)/(d/(-19)) a prime number?
True
Let y be -3 - (245/15 - (-6)/9). Let q = -9 - -1. Is 2767/5 - q/y a composite number?
True
Suppose -2*f + 4680 = f + 3*z, 2*z = -f + 1564. Suppose 4*x - 1404 = 5*o + 1708, 2*x - f = -2*o. Is x a composite number?
True
Let x = 741 + -2028. Let j = 2000 + x. Is j composite?
True
Let b = -1460 + 4201. Is b prime?
True
Suppose 3*d + 3*w + 2259 = 0, 2*d + 4*w = w - 1502. Let n = -498 - d. Is n a prime number?
False
Let s(d) = d**3 + 6*d**2 + 11*d + 6. Let n be s(-4). Let o = 10 + n. Suppose 5*t + 662 = 2*j, j - o*t = 202 + 129. Is j a composite number?
False
Suppose -p - 84 = -4*p. Suppose y + p = 5*y. Let w = 1144 + y. Is w a prime number?
True
Is 7108 + -48 - (-1 - -4) a prime number?
True
Suppose 4*b + 1835 = 3*g - 4*g, -b + 4*g = 480. Let w = b - -837. Is w prime?
False
Let v = -18358 - -42089. Is v composite?
True
Suppose 2*m + c = 14069, 2*c = -c - 3. Let b = -4466 + m. Is b a composite number?
True
Suppose -2*l - 16 + 12 = 0. Is (194/(-5))/(l - 9/(-5)) composite?
True
Suppose 25*d - 125066 = 58659. Is d prime?
True
Suppose -2*k - 3*k - 10 = 0. Let g be (6/(-3))/(k/37). Suppose -h + 96 = -g. Is h prime?
False
Suppose 10536 = 2*u + v - 12377, -4*u - v + 45831 = 0. Is u prime?
False
Let d(f) = f - 12. Let g be d(12). Let a(b) = b**2 - 2*b + 10. Let s be a(g). Suppose -15*x + 1655 = -s*x. Is x prime?
True
Suppose h + 4*h = -250. Let n be (-2)/(-3) - h/(-30). Is (-2 - n)/((-5)/1915) a composite number?
False
Let z = -1433 - -2397. Let w = z + -549. Is w a prime number?
False
Let t = 22 + 23. Let k be (102/(-15))/((-1)/5). Let x = t + k. Is x a prime number?
True
Let j(b) = -17*b + 70. Let t be j(11). Suppose -944 = -3*z - z. Let d = t + z. Is d a composite number?
True
Let b = 3865 - 2048. Is b composite?
True
Let j(w) = w**3 + w**2 - 1. Let o(i) = 8*i**3 - i**2 + 9*i - 16. Let v(d) = d**3 - 1. Let b(g) = -o(g) + 6*v(g). Let k(y) = -b(y) - 3*j(y). Is k(-9) prime?
True
Is ((-154)/(-42))/((-2)/(-5748)*2) a composite number?
True
Suppose 0 = -3*o + r + 64101, -84090 - 1378 = -4*o + 2*r. Is o composite?
True
Let i = 5693 + -1191. Is i a composite number?
True
Let s = -23 + 23. Suppose s = -3*k + 2*u + 4, -2*k - 3*u + 24 = k. Is 570/k + 10/20 prime?
False
Suppose 5*v = 8 + 2. Suppose -v*c = -4*n - c + 3180, 2*c = n - 802. Is n composite?
True
Let r(z) = -27*z + 8765. Is r(0) a prime number?
False
Let l(n) = 18*n**3 - 71*n**2 + 2*n + 2. Is l(6) a prime number?
False
Let y = 13 + -13. Let v = y + 9. Is 16/(-24) - (-1347)/v composite?
False
Let x(y) = 607*y + 335. Is x(8) composite?
True
Suppose -28*t + 19*t = -44613. Is t a composite number?
False
Is (2 - 545/15)/(2/(-6)) composite?
False
Suppose 39*q - 275960 = -q. Is q prime?
True
Let p = 32 - 27. Suppose -p*y + 451 = -3*z, z - 2*z + 265 = 3*y. Is y a prime number?
True
Suppose -222*v + 215*v + 88921 = 0. Is v a composite number?
False
Suppose -5*t = 4*r - 2785, 5*r - 116 = 4*t - 2344. Is t composite?
False
Let a(f) = 112*f**3 - 3*f**2 - 7*f - 6. Let v be a(4). Suppose 0*z = -2*z + v. Is z prime?
False
Suppose 0 = -4*b - 148 + 1548. Suppose 645 + b = -5*a. Let d = a + 458. Is d a composite number?
True
Let n(c) = 2*c**2 - c + 1. Let f be n(-2). Suppose -f*a + 13*a - 874 = 0. Is a prime?
False
Suppose -3 - 12 = 5*t. Let v(a) = -33*a**3 + 2*a**2 - 2*a - 2. Is v(t) a composite number?
True
Let u(f) = -456*f - 499. Is u(-26) a prime number?
False
Let v = 77314 - 45501. Is v composite?
True
Suppose 5*m - 10 + 30 = 0. Let r be m*2/4*-1. Suppose 4*k + 6*n - 4*n = 756, -r*n = -4*k + 772. Is k composite?
False
Suppose -5*v + 600 = -7*v. Let k = v + 523. Is k prime?
True
Let f(y) = 164*y - 21*y - 1 - 4 + 15. Is f(7) a composite number?
True
Suppose 2*r + 63 = -r. Let f = 26 + r. Is (-3 + 1)/(f/(-205)) composite?
True
Let l = -