 prime?
False
Suppose 4 = 3*q - 2. Suppose -5*k - 4*z = -3*z - 1644, -331 = -k + q*z. Is k a composite number?
True
Let i be (0 + 282/6)*(1 + -102). Let x = i + 13776. Is x prime?
True
Let j be (-8)/(-1 - (-19)/21). Let q = -12 + j. Suppose 2*m = 2*b + q, -5*m - b = 2*b - 188. Is m a prime number?
True
Suppose 19*j - 9968 = 14*j + r, -j + 3*r = -2002. Is j a prime number?
True
Suppose 2201 = 2*q + 399. Is q a prime number?
False
Let w(z) = -2*z + 1. Let u be w(-2). Suppose 0 = -i - 4*i - 5*a - u, -i + 3*a - 17 = 0. Let h(q) = 25*q**2 - 2. Is h(i) composite?
True
Suppose -2*s - s + 7571 = 2*g, -5*g = -5*s + 12585. Is s prime?
True
Let p be (18/45)/(2/20). Let h = 8 - p. Suppose -h*y + 1652 = -4*i, -3*i - 409 = -4*y + 3*y. Is y a prime number?
False
Let w(m) = m - 5. Let z be -3 + 3 + 14/2. Let h be w(z). Suppose h*c - 76 = 160. Is c a composite number?
True
Suppose 4*j = 3*j - 21. Let p = j + 24. Suppose v = p*q - 654, 4*q - 1093 = -3*v - 221. Is q composite?
True
Suppose 0 = 3*f - 9. Let k be (-4 + f)/(4/(-12)). Suppose -u - 4*u = k*p - 185, 2*p = u - 37. Is u a composite number?
False
Let g(k) = 8*k**3 - 4*k**2 - 21*k - 28. Let q(l) = -2*l**3 + l**2 + 5*l + 7. Let j(w) = -2*g(w) - 9*q(w). Is j(5) composite?
True
Suppose 2*h = -0*h - 2*h. Let r be (6/4)/(3/4). Suppose -2*w - 2*n - 8 + 432 = h, w - 209 = r*n. Is w a composite number?
False
Let z be ((-8)/(-8))/((-2)/58). Let o = z - -40. Is 262*-1*o/(-22) a prime number?
True
Let r = 1028 + 5607. Is r a composite number?
True
Let l be ((-1)/(-1))/((-11)/165). Let s(t) = t**2 - 4*t - 34. Is s(l) prime?
True
Suppose -s - 4*p = -3938, s - 2*s + 3973 = -3*p. Is s/(-4)*(5 + (-6 - 1)) composite?
False
Let x be -1*(3 - (-40)/(-4)). Let d = -5 + x. Suppose -111 + 17 = -d*c. Is c a prime number?
True
Let b(a) = -a + 7*a - 1 + 5*a**3 - 4*a**3 - 6*a**2. Let h be b(5). Is (-2 + h - -56) + -3 composite?
True
Suppose 5*j + 9*m = 11*m + 26327, 0 = 2*j + 3*m - 10546. Is j prime?
False
Suppose -20*k - 1346 = -22*k. Is k composite?
False
Suppose 1083 = 3*q + 105. Let n = -183 + q. Is n a prime number?
False
Suppose 0 = 34*q - 207459 + 77545. Is q prime?
True
Suppose 5*k + 4*y - 1658 = 0, -10 = 5*y + 5. Let b = k - 104. Is b*1/((-6)/(-3)) prime?
False
Let t = 30 + -37. Is (t + 1)/3*(-2491)/2 prime?
False
Suppose -y = 2*r - 21318, 2*r + 0*r + 3*y - 21310 = 0. Is r a prime number?
False
Let r(o) be the first derivative of -5/2*o**2 - 5*o + 14/3*o**3 - 5. Is r(6) a composite number?
True
Suppose 12777 + 971 = 28*i. Is i a prime number?
True
Suppose 91646 = 5*u + 2*c - 22619, 2*u - c - 45706 = 0. Is u a composite number?
False
Let o be (-8)/(-1)*((-20)/8 - -3). Suppose 2*j - 3*y = -2*j + 7883, o*j - 7889 = y. Is j composite?
False
Let p(b) = 29*b**2 + 4. Let g be p(-3). Suppose 0*r = 5*r - g. Let j = r - -6. Is j a prime number?
True
Suppose 0 = -2*o - c + 4, -5*c + 3 + 17 = -5*o. Suppose o = -4*h + 3*t + 288, t = -5*h - 2*t + 333. Suppose h = 3*f - 9. Is f a composite number?
True
Let m = -6 - -10. Suppose -5*x = 2*n - 5, 2*x - 2 = -m*n - 0*x. Suppose -u + 3*u - 538 = n. Is u composite?
False
Is 13216 - (3 - -3 - 7) composite?
False
Let r(w) = -547*w - 3. Let i be r(-2). Let q = -413 + i. Suppose -5*g + 365 = -4*d - q, 0 = 2*g - d - 419. Is g prime?
True
Let h(i) = -17*i + 91. Is h(-24) composite?
False
Let o = 40 - 315. Let d = 56 - o. Is d prime?
True
Let r(o) = o**3 - 12*o**2 + 16*o + 8. Suppose -2*t + 23 = -i, -3*t + 41 = 2*i - 4. Let h be r(t). Suppose -3*x + h + 44 = 0. Is x composite?
True
Let z = 108 + 706. Suppose -3*x + 1 = 16, 3*s - 5*x = z. Is s prime?
True
Is (-6881)/(-2*1*(-15)/(-30)) prime?
False
Suppose 0 = -0*y + 6*y + 1134. Let s = y + 366. Is s a composite number?
True
Let v(i) = -11*i + 3*i + 2 + 5*i + 2*i**2. Let z be v(2). Suppose -5*p + 93 + 560 = 3*w, 0 = -z*p + 16. Is w prime?
True
Suppose 9*b - 12*b - 45 = 0. Is (-3)/(-5) + (-9696)/b composite?
False
Suppose 4*t = -j - 8, -2*t - 9 = t. Suppose j*a = 2*p + 760 + 764, 3*p - 6 = 0. Suppose 11 + a = 3*g. Is g composite?
False
Suppose -v + 36641 = 5*w - 66110, v = 5*w - 102749. Let h = w - 12409. Is h composite?
True
Suppose -2*l + 27333 = 7*l. Is l prime?
True
Suppose 5*g + 5 = 4*x, -4*g + 2 = -13*x + 11*x. Suppose -d + k = 2*d - 1759, 0 = -3*k - g. Is d prime?
False
Let y(i) = 108*i + 125. Is y(14) a composite number?
False
Let s = 27538 - 8567. Is s a composite number?
True
Let d = -3 - -7. Is (d/14 - 2222/(-14)) + 2 prime?
False
Suppose 0*g + 2*g = 734. Suppose g = 3*a + 49. Suppose a = 3*j - j. Is j prime?
True
Suppose 8*y - 5*y = 0. Suppose y = v - 3*v + 14. Let r(u) = u**3 - 3*u**2 - 4*u + 9. Is r(v) a composite number?
True
Let j(x) = x**2 - 11*x - 20. Let q(b) = b**3 + 12*b**2 - 28*b + 14. Let n be q(-14). Is j(n) composite?
True
Let h = 162831 + -115912. Is h a prime number?
True
Let d(q) = 17*q + 18. Let u(i) = 3*i**2 + i + 1. Let c be u(-2). Is d(c) a composite number?
True
Let r = 38 - 36. Suppose 43 = 3*j - r*j. Is j prime?
True
Suppose -146 - 82 = -12*x. Suppose 3*c + 2*c - 260 = 0. Let v = c - x. Is v composite?
True
Suppose -3*f + 9 = 0, -6910 = -2*g - 5*f + f. Is g prime?
True
Let i(f) be the third derivative of -f**5/15 + 7*f**4/24 - 5*f**3/6 + 2*f**2. Let n(j) be the first derivative of i(j). Is n(-13) a prime number?
False
Suppose -3*t - 5*c = -2936, 3926 = 4*t - 0*c + c. Suppose 13*q - 45 = t. Is q a prime number?
True
Let q = -951 + 5938. Is q prime?
True
Suppose 0 = 2*i - 6 - 2. Suppose 3*r = 7*r - 8, 0 = i*k + 5*r - 5006. Is k a prime number?
True
Suppose 4705 = 4*n + n. Suppose -2*d + x + 951 = -0*d, 2*d + x - n = 0. Is d composite?
True
Let u be -2*28/(-16)*(-1 + 3). Suppose -u*n + 91 = -931. Is n a prime number?
False
Suppose 0 = -k + 9403 - 2936. Is k composite?
True
Suppose 0 = p + 75 + 659. Let t = 120 + p. Let f = t + 877. Is f prime?
True
Suppose -46*o - 1 = -45*o, -r + 8268 = -5*o. Is r composite?
False
Suppose -r + 672 = 3*b, 2*r - 3 = r. Is b composite?
False
Let s be 42/15 - (-4)/20. Suppose -x + 2*n + 49 = -3*n, -s*n + 65 = x. Is x a prime number?
True
Let a = 14161 + -9556. Suppose -3*f + 2*k = -0*f - 2747, 5*f + 2*k - a = 0. Is f composite?
False
Let c(v) = v**3 - 5*v**2 - 6*v + 2. Let s be c(6). Suppose -s*f + f - 14 = 0. Is 6/21 - 1802/f a prime number?
False
Is (24492/468)/(1/489) a prime number?
False
Let g = 1839 - -2426. Is g prime?
False
Let j = 56 - 55. Suppose 0 = 5*h + 5*g - 85, 2*h + 7*g - 2*g = 25. Let p = h - j. Is p prime?
True
Let l be 4/18 - (-2923)/9. Let u = l + 1446. Is (-1)/6 - u/(-6) a prime number?
False
Let f(a) = a**2 + 5*a + 4. Let r be -7 - (-7)/((-14)/(-4)). Let u be f(r). Suppose 4*s + 111 + 365 = 4*x, 2*s - 500 = -u*x. Is x composite?
True
Let i = 11 - 11. Suppose 4*x = -i*j - 3*j + 3487, 3*j = 3*x - 2610. Is x composite?
True
Suppose -4*s - 2*m + 167 + 175 = 0, 4*s - 4*m - 312 = 0. Is s a composite number?
False
Suppose -5 = u - 7. Suppose -3*c + 516 = 2*a - c, -2*a + 3*c + 491 = 0. Suppose 3*t - a = -t - 3*l, -u*t = l - 129. Is t prime?
True
Suppose -4*f = -3*u - 14, 0*u - 4*u = -5*f + 17. Let a(t) = 4*t**2 - 6*t + 2. Let z be a(2). Is -1*(-879)/z*u composite?
False
Let o = 20377 - 14426. Is o composite?
True
Suppose -2*o + 1111 = -3*m, m - 1115 = o - 3*o. Is o a prime number?
True
Let z(s) = -7125*s - 85. Is z(-4) a prime number?
False
Suppose -4*m + 981 = -z, -2933 = 3*z - 5*m + 3*m. Let q = -90 - z. Is q prime?
True
Let p be 3 - 9*(-1)/(-3). Suppose p = -3*v + 2*r + 7617, -v + 2*r + 1439 = -1100. Is v a composite number?
False
Let t be (-32)/20*(-10)/4. Suppose -h - t*h = -3625. Suppose -k - 4*k + 2*z + h = 0, -z = -4*k + 580. Is k a prime number?
False
Let c(h) = -1939*h**2 - 119*h - 644. Let t(l) = -114*l**2 - 7*l - 38. Let z(y) = 2*c(y) - 35*t(y). Is z(-11) prime?
False
Suppose -5*b - 5*y + 2390 = -0*y, 2*b - 954 = -3*y. Let f = 1113 - b. Is f a prime number?
False
Let p be 3*(1 - 2) - -12. Suppose p*w = 10*w - 424. Suppose -3*q + 3*o - 28 = -w, -3*q = -2*o - 395. Is q a prime number?
True
Suppose 0 = 2*u - 21 + 11. Suppose -u*k - 6*q = -4*q - 13719, 2*q - 4 = 0. Is k prime?
False
Let o(k) = 99*k + 1. Let h be -8 + 7 - ((-2)/1 + -2). Is o(h) a composite number?
True
Suppose -23980 = -2*b - 2*s, 4*s + 19011 = 3*b - 16952. Is b prime?
False
Suppose 2*f + 60 = -2*f. I