939. Is t prime?
True
Suppose -24*t + 33*t = 231183. Is t a prime number?
False
Let k(b) = 2*b**3 - 9*b**2 + 26*b - 5. Is k(14) composite?
True
Suppose 24 = -3*l + 3*f - 0*f, 0 = -4*l - f - 32. Is (-4)/l - 2235/(-6) a prime number?
True
Let v be (-9 + 1)/(8/(-76)). Suppose 2*l - v = 442. Is l a prime number?
False
Suppose -214627 - 20405 = -24*t. Is t a composite number?
True
Suppose 0 = 23*r - 19*r + 16. Let b(h) = -304*h - 3. Is b(r) prime?
True
Suppose 0 = n + 2*n - 12. Let h(v) = 70*v + 36. Let i be h(15). Suppose i + 1126 = n*f. Is f a composite number?
True
Let a = 6438 + -3607. Is a composite?
True
Is (-95)/(-30)*5667 - 25/10 prime?
False
Let t(b) = -34*b - 54. Let f be t(-13). Suppose 14*w - f = 10*w. Is w prime?
True
Suppose -202 = -5*j + 1113. Suppose j = v - 3*w + w, -4*w = -5*v + 1285. Is v composite?
True
Let o(k) = 42*k**2 - 1. Let a = -4 + 3. Let z be o(a). Suppose -2 = d - z. Is d prime?
False
Suppose 0 = b - 5*y - 443, -2*y + 6*y = -3*b + 1329. Is b prime?
True
Suppose -5 - 7 = -3*y. Let p = 7 - y. Suppose f + 2*t = -2*f + 365, p*t = 12. Is f prime?
False
Let j = -10 - -13. Let a(n) = 64*n + 19. Is a(j) a prime number?
True
Let i(y) be the second derivative of -56*y**3 - y**2/2 + 9*y. Is i(-1) composite?
True
Let h(o) = 2*o**2 - 3*o + 1. Let m be h(13). Let n = m - 172. Suppose 4*c + 4*l = n, -c - 3*l = -13 - 9. Is c prime?
True
Let y = 122912 - 58863. Is y prime?
False
Let v(p) = 435*p - 256. Is v(9) prime?
True
Suppose -5*i - 4250 = -2*r, -r - 285 = -2*i - 1986. Is 6/2*-1 + i/(-4) a prime number?
False
Suppose 4*t + 22885 = 3*l, -41*l = -36*l + 4*t - 38131. Is l a prime number?
False
Let t(v) = -3*v + 5. Let y be t(2). Is 1/2 + y + (-3885)/(-6) prime?
True
Let u(d) = 1151*d**3 - 2*d + 2. Let v be 6/(-9) + 15/9. Is u(v) composite?
False
Suppose 5*k = -0*p - p + 72, -2*k = -2*p - 24. Let u(j) = 4*j**2 - 4*j + 29. Is u(k) composite?
False
Let h be (4 - 6)/(3/12). Let l(b) = -15*b + 7. Is l(h) prime?
True
Let t(m) = -m**3 + 14*m**2 + 4*m + 8. Let j(f) = f**3 + 8*f**2 - 10*f + 2. Let g be j(-9). Is t(g) a prime number?
False
Let n = -28 - -36. Is (-1685)/(-4) + 6/n a prime number?
False
Suppose -2*u + 6 = u. Let i = 18 - 19. Is (i + u)/(4/844) a composite number?
False
Let u = 279217 - 193226. Is u composite?
False
Suppose 2*a + 28 = 6*a + 4*k, -4*a + 23 = 3*k. Let x be (-5)/(-15)*-3 + 5. Suppose -624 = a*n - x*n + 2*g, 5*g = -2*n + 659. Is n a prime number?
True
Suppose 3*i - 8*i + 625 = 0. Suppose 2*q - 715 = g, 2*q - i = 2*g + 595. Is q composite?
True
Let h(t) = 2*t + 12. Let b(i) = -1. Let w(o) = -2*b(o) - h(o). Let f be w(-7). Is 3 + 4/f*154 a prime number?
True
Suppose -5*j + 12 = b - 0*j, b = -3*j + 8. Suppose 3*p = 5 - b. Suppose -u - p = 0, -x - 4*u + 3*u + 76 = 0. Is x composite?
True
Let b be (-1)/3*3 - -3. Suppose b*p - 5878 = -3*n, -3*p - n + 3641 = -5176. Is p prime?
True
Let d = 155 - 92. Let l be 16/104 + d/13. Suppose h + 0*v - 83 = -2*v, -2*h + 164 = l*v. Is h a composite number?
True
Suppose 5*o - 5*r = 21002 + 25563, -r + 9309 = o. Is o composite?
False
Let j(q) = -q**2 + 5*q - 2. Let y be j(4). Let a(g) = 1 + g**3 - g + g**3 - g**2 + y. Is a(5) a prime number?
True
Let v(g) be the third derivative of 49*g**6/180 - g**5/120 + 5*g**3/3 + 11*g**2. Let a(s) be the first derivative of v(s). Is a(1) a prime number?
True
Suppose 0 = 2*m - 5*m - 345. Is (m/(-5) - -3) + 0 + -3 a prime number?
True
Let f be ((-3310)/(-3))/(2/(-6)). Suppose -10 - 80 = -10*r. Is 2/r + f/(-90) a composite number?
False
Let f = -158 - -77. Let l = -47 - f. Suppose a + 3*z = l, -4*a + 96 = -3*z - 100. Is a a composite number?
True
Suppose 3*l + 3*u - 22026 = 648, -l + 2*u + 7561 = 0. Is l composite?
False
Let b(r) = 5542*r - 187. Is b(5) prime?
False
Suppose -19*l - 3346 = -15525. Is l a composite number?
False
Suppose 0 = 4*d + 6*r - r - 5, 4*d - r = 23. Suppose -9*b = -6*b, 26337 = 3*k + d*b. Is k a prime number?
True
Let m be -1*(2*-1 + -2315). Let u(d) = d**2 + 12*d + 32. Let r be u(-9). Suppose m = r*h + 2*h. Is h a prime number?
True
Suppose -3*a = -8*a + 25. Let y be (-138)/(-48) - (-1)/(9 + -1). Suppose a*j - 254 = y*j. Is j prime?
True
Let p(n) = n**3 - 24*n**2 - 27*n + 54. Let k be p(25). Suppose -k*l = -10*l + 51954. Is l composite?
True
Let y(j) = -j**2 + 3*j - 1. Let d be y(2). Suppose 5*b - 2*p = 2, 3*b + p = -0 - d. Suppose -5*o + b*h + 5*h + 1735 = 0, 3*o - 5*h = 1041. Is o a prime number?
True
Let q be (-8)/28 - (-44)/7. Suppose 5*p = -5*x + 5, p - 4*p - q = 0. Is (-275)/(-11) - (x - 1) composite?
False
Suppose 5*j + 59 + 21 = 0. Let y = -12 - j. Suppose -5*a + 0*p + 791 = -p, -4*p = y. Is a a prime number?
False
Let f(p) = p**2 + 14*p + 19. Is f(-14) a composite number?
False
Is 2/11*72644/52 a prime number?
False
Let a(d) be the third derivative of -d**5/60 - d**4/3 - d**3/3 + 4*d**2. Let t be a(-7). Suppose -2*i + 15 = t*j - 7*i, 4*j - 5 = -3*i. Is j composite?
False
Suppose 5*v - 9 + 4 = 0. Let q(c) = 2963*c - 4. Is q(v) a composite number?
True
Suppose 0 = -3*j - 2*j - 5, 0 = 4*k - 3*j - 1499. Suppose k + 322 = 3*u. Suppose r - g = u + 23, -5*g = -20. Is r a prime number?
False
Suppose -5*v = 4*q - 1701, 0 = -3*v + 10*q - 9*q + 1007. Is v a prime number?
True
Let a be (3 + -1 + 1)/1. Suppose a*u - 658 = -175. Is u composite?
True
Suppose -10 + 4 = -2*c. Suppose -c*x + 60 + 6 = 0. Suppose k - x = 123. Is k a composite number?
True
Let m be 356/24 + (-3)/(-18). Let d(t) = -18*t - 27. Let b(o) = o + 1. Let v(j) = m*b(j) + d(j). Is v(-5) prime?
True
Let b(t) = -t**3 + 31*t**2 - 49*t + 58. Is b(29) composite?
True
Suppose 0 = 3*y - 0*y. Suppose 4*f - j + 5*j - 16 = 0, f + 4*j - 4 = y. Suppose 171 = f*g + 47. Is g composite?
False
Suppose -5308 = -4*o + 47632. Is o a prime number?
False
Let l be (60/18)/((-2)/(-7362)). Suppose l = m - 6*m. Is ((-4)/(-12))/((-2)/m) a composite number?
False
Let z = -33295 + 49842. Is z composite?
False
Let v = 768 - 58. Suppose -c - 4*c = -v. Suppose -2*j - 2*i = -264, j + 4*i = 2*j - c. Is j a composite number?
True
Suppose -1 = -4*n + 3. Let b be 0*(4 + -2 - n). Suppose b = 3*z + 15, u - z - 21 = -6*z. Is u composite?
True
Let r(w) = -2*w**3 - 18*w**2 - w - 7. Let u be r(-9). Suppose -u*j = -9*j + 2779. Is j a composite number?
False
Let g be -375*3*4/(-36). Suppose -122 = u + g. Let m = u - -432. Is m a composite number?
True
Suppose 4*k = 3*k + 4*b - 238, 2*k - 2*b + 464 = 0. Let o = 793 + k. Is o a composite number?
False
Let t(b) be the first derivative of 88*b**3/3 - b**2/2 + 3*b + 2. Let z(m) = m + 8. Let j be z(-6). Is t(j) a prime number?
True
Is 10/(-6)*343794/(-110) prime?
True
Let a be 99/(-21) + (-4)/14. Let q = a - -9. Suppose 4*t - 131 = -r, 5 - 140 = -q*t + 3*r. Is t a composite number?
True
Let b(t) = -13*t**2 + t. Let i be b(1). Let h = -41 - 21. Is (-4)/(i/(-9)) - h prime?
True
Suppose 4*i - 39701 = -3*d, 4*i + 39707 = 8*i + 5*d. Is i a composite number?
False
Let t(g) = 171*g**2 + 2*g + 15. Let b be t(-7). Suppose -23*w + 19*w = -b. Is w composite?
True
Suppose 0 = 2*g + 1 - 7. Suppose -g*j + 1246 = -d, -3*j - 5*d + 426 = -2*j. Suppose -j = -w + 2*y - 5*y, 3*w - 1218 = -3*y. Is w a prime number?
True
Suppose 3*b = b - 5*t - 3, -5*t - 39 = -4*b. Suppose 0 = -b*v - 0 + 18. Suppose j - 316 = -v*j. Is j composite?
False
Suppose 1953436 = 23*p + 45*p. Is p prime?
False
Suppose 2*s = 3*f + 9831, -f = 5*s + 3*f - 24543. Is s a composite number?
True
Let y = 46 + -25. Let z = y - 26. Is (-4592)/(-80) + 2/z a composite number?
True
Let i = -120 + 455. Is i prime?
False
Let p(o) = 35 - 39 + 23*o - 62*o. Is p(-5) composite?
False
Suppose 61 = 7*h + 19. Suppose 3493 = h*w + w. Is w a prime number?
True
Let s be (-9)/27 + 39/9. Let h = 2 - -2. Suppose 20 = h*x, -5*o - x = s*x - 280. Is o prime?
False
Suppose 215184 = 8*i - 56632. Is i a prime number?
False
Suppose 4*j + 943 = 5*q, j + 340 = 4*q - 410. Is q prime?
False
Let x(w) = w**3 - 6*w**2 - w + 4. Let r be x(8). Let b = r + -12. Suppose 4*n + 2*g = b + 14, 18 = n + 5*g. Is n prime?
False
Let a = 9663 - -19108. Is a composite?
False
Suppose -5*j = -5*x + 60, x = 2*j - 3*x + 28. Let c = 0 - j. Let q(s) = 96*s - 1. Is q(c) composite?
True
Let k = -21 - -24. Suppose 0 = k*g + b - 353, -2*b = -5*g + 492 + 78. Let u = g + -67. Is