+ o. Is t prime?
True
Let t = -13288 + 28866. Is t prime?
False
Let m = -12 - -18. Let u(h) = 4*h**3 + h**2 + h**2 - 3*h**3 - 4*h + 1. Is u(m) prime?
False
Suppose 2*m - 106 - 2406 = 0. Suppose -2*p + 2*u + 496 = 0, -u = -2*p - 3*p + m. Let c = -167 + p. Is c composite?
True
Let c(g) = 412*g**2 + 3*g + 15. Is c(-4) a prime number?
False
Is ((-331)/3)/(27/(-1377)) a prime number?
False
Suppose -5 = d, -5*g = -4*d + 8*d - 10. Suppose -4*b - 32 = -g*t + 3*t, 2*t - 3*b - 21 = 0. Suppose 149 = -11*c + t*c. Is c prime?
True
Let f(u) = -2*u + 219. Let w(j) = j - 4. Let c be w(4). Let l be f(c). Let t = -58 + l. Is t a composite number?
True
Let k(v) be the third derivative of 7*v**4/12 + v**3/6 + 23*v**2. Is k(9) a composite number?
False
Let k = 113 + -110. Suppose c - 6*c = k*t - 2071, 0 = -4*c - 5*t + 1662. Is c a prime number?
False
Suppose q = -5*s + 8146, 0 = 4*s - 2*q - 2*q - 6512. Let r = s + -740. Is r a composite number?
True
Let h(w) = -3*w + 20. Let a(j) = 7 + 2 + j**2 - 2*j - 2*j**2 - 5*j. Let x be a(-9). Is h(x) a prime number?
True
Suppose -5*c + 7*c - 8 = 0. Suppose 0*o - 7400 = 5*o - 5*y, -2*y + 5918 = -c*o. Is (3 - -1)/(-12)*o prime?
False
Suppose o = -5*f + 2328, o - 4*f = 1712 + 607. Is o composite?
True
Suppose 2*m + 3*x = 8809, 5*m - 3*m - 2*x = 8784. Is m prime?
True
Let i(d) = d + 20. Let k be i(-16). Suppose k + 5 = 3*y. Suppose 0 = y*p - 183 - 54. Is p prime?
True
Let i(j) = j**3 - j**2 - 474. Let h be i(0). Let p be h/(-9)*(-3)/(-2). Is -3*2*p/(-6) a composite number?
False
Let x be 32 - 0 - (-36)/(-18). Suppose x = 4*j + 2. Is 115 - -1*(-4 + j) a composite number?
True
Let x = 364 - 613. Let v be (-4 + 2 + -1)*(5 + -6). Is x*(-1 - -3 - v) a composite number?
True
Suppose 0 = -2*j + 7 + 1. Suppose -1276 = 2*g + 3*r, 4*g - j*r + 1472 = -1040. Let l = -379 - g. Is l a prime number?
False
Suppose 0 = p + 5*u - 24568, -p + 24578 = 5*u - 2*u. Is p prime?
True
Suppose -2*h + 7*i - 4*i + 4 = 0, 0 = 5*i - 10. Suppose -h*n - 3147 = -3*l, -3*l + 3147 = 5*n - 2*n. Is l composite?
False
Suppose -2*x + 13*f + 290 = 12*f, -5*x + 2*f = -725. Is x a prime number?
False
Let a(o) = -2*o**3 + 6*o**2 + 7*o - 3. Let y(v) = -2*v**3 + 5*v**2 + 6*v - 3. Let r(p) = -2*a(p) + 3*y(p). Suppose t + 3 = -1. Is r(t) composite?
False
Let i = 404 - 212. Suppose 14 = -2*v + i. Is v prime?
True
Let v = 21 + -22. Is -1 + 1905 + 3*(0 + v) composite?
False
Suppose 2*x + 4 = 3*x. Suppose 5*i - 4*y = -y + 55, x*y - 11 = -i. Suppose 3*u + 2440 = i*u. Is u prime?
False
Let s(v) = -3994*v - 5. Let i(w) = -3*w**2 - 7*w - 3. Let p be i(-2). Is s(p) prime?
True
Suppose -107 = 5*y - 27. Is (1978/3)/(y/(-24)) composite?
True
Let s(u) be the second derivative of -89*u**5/5 + u**3/3 + u**2/2 + 3*u. Is s(-1) a composite number?
True
Let a = 1987 + 370. Is a composite?
False
Let u(x) = 844*x - 51. Is u(2) prime?
True
Let g(m) = m**3 - 24*m**2 + 39*m + 31. Is g(27) composite?
False
Let j(l) = -368*l**3 + 6*l**2 + 14*l + 19. Is j(-3) composite?
False
Let s(v) = -3*v - 12. Let w(t) = 5*t**3 + t**2 - 1. Let j be w(-1). Let p be s(j). Suppose -c = p*i - 998, -c + 2*c = -2*i + 667. Is i a prime number?
True
Let k = 44 - 34. Suppose 0 = -2*n - k, n - 27 = -l + 2*n. Is l a composite number?
True
Suppose -61 = -x - 0*d + 3*d, 3*x + d - 143 = 0. Suppose 14 = -5*b + x. Let g(n) = 37*n - 12. Is g(b) a prime number?
False
Suppose 29*o - 30*o = -4, -5*l - 4*o = -51871. Is l composite?
True
Let v = 15929 - 6006. Is v a prime number?
True
Suppose -3*o + 2*t = -6*o + 4, 5*t + 16 = -o. Suppose 2*p - 34 = o*p. Let h = -6 - p. Is h prime?
True
Suppose -5*k = -2*w + 10918, 2*w + 2684 = k + 13602. Suppose w + 6516 = 5*y. Is y a composite number?
True
Suppose -4*m - 2*m + 12 = 0. Suppose 1038 = 4*u - m*u. Is u a prime number?
False
Suppose 14 = 3*x + d, -x - 10 = 5*d - d. Suppose -g = -x - 13. Is g a composite number?
False
Let t = 3674 + -1857. Is t prime?
False
Is (-48)/(-40)*61245/27 a prime number?
False
Suppose 3*g - 96*n - 23274 = -99*n, 5*g + 2*n - 38775 = 0. Is g a composite number?
False
Suppose -p = p - 26. Suppose 2595 = -10*z + p*z. Is z prime?
False
Let q = 13 - 39. Let t = q + 157. Is t composite?
False
Let k be 0 - (-2 + (-24)/(-20))*5. Let j(v) = 239*v**2 + 6*v - 1. Is j(k) a prime number?
True
Suppose -f - 2 + 0 = 0, b = -f - 494. Is b/(-16) + (-2)/(-8) a prime number?
True
Let x(i) be the third derivative of 1/30*i**5 + 3/2*i**3 + 0*i - 7*i**2 + 0 - 1/3*i**4. Is x(6) a composite number?
True
Let j = 27187 - 15990. Is j a prime number?
True
Let b(f) = 66*f - 31. Let n(k) = 66*k - 29. Let a(l) = 3*b(l) - 4*n(l). Is a(-8) composite?
True
Is -3 - -706*(-1043)/(-14) a composite number?
True
Suppose s - 2*i = -6, 4*s + 2*i + 2*i = 0. Is (s + 2105)/((-15)/(-10)) a prime number?
False
Let n(r) = 47*r. Let w(h) = 189*h + 5 - 1 - 7 + 4. Let p(l) = 9*n(l) - 2*w(l). Is p(3) composite?
True
Is -8 - 2/((-5)/(551715/6)) a prime number?
False
Let z = 20 + 3. Suppose -z*v + 26*v - 10443 = 0. Is v a prime number?
False
Is (-13179)/(-9) - (-4)/6 prime?
False
Suppose -4*o + 42 = -258. Let n = 124 + o. Is n composite?
False
Let t be 54*(150/(-9) + 4). Is (2/(-6))/(12/t) a prime number?
True
Let b(u) = 2*u**2 + 32*u - 51. Let y be ((-6)/(-9))/(8/(-6))*52. Is b(y) composite?
True
Let b be 0/((-2)/3*-3). Suppose -9*v + 12*v - 2901 = b. Is v composite?
False
Suppose 0*m - 4*m + 1728 = 0. Suppose 3*p - 489 = m. Is p a prime number?
True
Let i = 9 + -10. Let o be 2 + (i + 3)*217. Let x = o - 251. Is x prime?
False
Let t(l) = -13*l - 5. Let x(s) = 19*s + 8. Let d(f) = -7*t(f) - 5*x(f). Is d(-14) prime?
False
Suppose 58*f - 381950 = 8*f. Is f a composite number?
False
Let c be 0/(2/2 - -1). Let k(a) = -6 - 2*a + 197 - 5*a + 8*a. Is k(c) composite?
False
Let k = -51 - -87. Suppose -41*w + k*w = -5215. Is w composite?
True
Let f(r) = -r**2 + 15*r + 17. Let d be f(-12). Is (d/(-2))/(4 + 21/(-6)) a composite number?
False
Is 2 + 4 - (3 + -7215 + 1) a composite number?
True
Suppose 4*k + 2*v - 129632 = 0, -3*v = -3*k - 4*v + 97223. Is k a composite number?
True
Is 5*(-12)/(-300) - 9804/(-5) composite?
True
Let t be (-8)/5*50/(-20). Suppose 2*h + 1260 = t*p, -h - 1425 - 156 = -5*p. Is p a composite number?
False
Let y(b) = -b**3 + 8*b**2 - 6*b - 4. Let q be y(7). Suppose -q*s - 124 = -2*h, h = 4*s + 6*h + 127. Let n = s - -96. Is n prime?
False
Let m be ((-1002)/(-15))/((-2)/(-5)). Let h = m - -64. Suppose -5*g + 179 = -h. Is g a prime number?
False
Let u(p) = p**2 - 11*p - 24. Let w be u(13). Suppose 49 - 119 = -w*m. Is m a prime number?
False
Suppose -14*b - 16 = -12*b. Is 8/b - (-194 + 2) a prime number?
True
Suppose -5*r + 167 = -188. Suppose 435 = 4*h + r. Is h composite?
True
Let f(w) = 4486*w**3 + 2*w**2 + 3*w - 5. Let r be f(1). Let i = -2177 + r. Is i a composite number?
False
Suppose -2*v + 9 - 1 = 0. Suppose 2*p - v = 12. Suppose -x + 1272 = a + a, p = 4*x. Is a prime?
False
Let b(h) = 88*h**2 - 4*h + 115. Is b(-8) prime?
True
Suppose -j + 56 = -3. Suppose 5*g - 226 = j. Is g a prime number?
False
Let z be 2692/6*(0 - -9). Is (-6)/(-10)*(z - -7) composite?
True
Suppose -2*h = -p - 8, 2*p = -3*p - 3*h + 25. Suppose 3*f - 4*g - 2893 = 0, 0*g - 5*g + 1944 = p*f. Is f composite?
False
Let u be -2 + (-28)/(-16) - (-2658)/8. Let w be 2*((-242)/4 - 0). Let b = u + w. Is b prime?
True
Suppose 22744 = 4*w - c + 4558, 0 = -5*c + 10. Is w composite?
False
Suppose -4*v + a + 38033 = 0, -4*a + 28512 = 3*v - 9*a. Is v a prime number?
False
Suppose -5*a + 5*g = -13163 - 7842, 4*g = -2*a + 8402. Is a composite?
False
Let w = 20 + -17. Suppose -w*o = -16*o + 9191. Is o a prime number?
False
Suppose 8*r - 2 = 7*r. Is (-82)/(r/((-14)/(-19)) + -3) a composite number?
True
Let q(r) = r + 22. Let z be q(-11). Suppose -3*n - f + 8 = -1, f = 2*n - z. Suppose -2*a = -n*a + 670. Is a composite?
True
Let m(i) = 18*i + 1. Let o be m(5). Let v be (-2)/(-13) + 532/o. Is v/(-36) - (-1934)/12 a prime number?
False
Let n be (-60)/80 + (-54)/(-8). Suppose 0 = 3*v - n*v. Suppose v = -8*f + f + 1309. Is f a prime number?
False
Let t(u) = u**2 + 13*u + 53. Is t(-18) prime?
False
Let o(l) = -l**2 + 3*l + 12. Let h be o(5). Suppose -3*g - 42 = -h*g. Let m = 85 + g. Is m a prime number?
True
Let v(i) = 196*i**2 + 14*i - 19. Is v(8) a pri