. Is a prime?
True
Suppose 12668 = 2*k + 2442. Is k a composite number?
False
Let z = 34 + -29. Suppose z*r - r = 2260. Is r a prime number?
False
Let q be (15/(-9) - -2)/(4/6744). Is (8 + -23)*q/(-6) a composite number?
True
Let g(b) = -229*b + 22. Let f be g(-12). Let l = f + -1921. Is l a prime number?
False
Let u = 126 + -124. Suppose u*d - 3209 = -2*n - d, 3*n - 3*d = 4776. Is n a prime number?
True
Let r(d) = d**2 + d + 1. Let v(q) = -89*q**2 + q - 3. Let g(n) = -4*r(n) - v(n). Is g(2) prime?
False
Let a(q) = 536*q + 75. Is a(4) composite?
True
Let u(t) = -35*t**3 - 14*t**2 - 77*t + 5. Is u(-7) prime?
True
Suppose -r + 17017 = -2*t, t + 31256 = 4*r - 36791. Is r composite?
False
Let y = 80063 + 968. Is y a composite number?
False
Suppose 3*q = -2*c + 6*q + 16979, 4*c - 33969 = -5*q. Is c composite?
True
Suppose -2*w = 4*y + 219 - 4031, -2*w = -3*y + 2845. Suppose n - 2*f = 2493, 5*n - 5*f - 11539 - y = 0. Is n prime?
True
Let q be (-1)/6 + (-3485)/(-30). Let v = q - -220. Let w = v - -43. Is w a composite number?
False
Let k(t) = -t - 3. Let a be k(-3). Let l = 3 - 1. Suppose -4*b - 294 = -a*m - 2*m, l*b - 449 = -3*m. Is m a composite number?
False
Let q(i) = i**3 + 8*i**2 - 6*i - 36. Let w be q(-8). Is (-1770)/w*2*(-3)/3 composite?
True
Let x be 2*5/(20/(-14)). Let t(y) = -5*y + 3. Let r be t(x). Let g = 111 + r. Is g prime?
True
Suppose -5*j = 5*j - 387970. Is j a prime number?
False
Suppose 0 = 81*x - 2156372 - 302869. Is x composite?
True
Let k = -6086 - -12555. Is k a prime number?
True
Let t(x) = x**2 - 8*x + 6. Let p be t(8). Let d be (-4 + 2)*p/4. Is 0 + (-1)/d*807 prime?
True
Let o(a) = -a - 3. Let t be o(-3). Suppose -2*y = 5*v - 4, t*v = 5*y - 3*v + 21. Is 2 + (951/(-1))/y prime?
False
Let h(w) = 5*w**3 + 7*w**2 + 13*w - 21. Is h(10) a composite number?
True
Let t(h) = -2*h**2 + 6*h - 9. Let f(l) = 3*l**2 - 5*l + 8. Let d(g) = -3*f(g) - 4*t(g). Let w be d(-10). Is w/9 - (-52)/9 prime?
False
Let q(m) = -10*m**3 - 15*m**2 - 5*m + 7. Is q(-6) prime?
True
Suppose -4*k + 8189 = p - 3*k, -3*p + 3*k + 24579 = 0. Is p composite?
False
Is 254/(-3)*(-25098)/356 a composite number?
True
Let i = -2799 - -1478. Let g = -680 - i. Is g prime?
True
Let p = 22118 - 13932. Is p a prime number?
False
Let v(i) = -i**3 + 2*i**2 + 35*i + 4. Let p be v(7). Suppose 767 = -z + 2*z - p*a, 0 = 3*z + 3*a - 2241. Is z a prime number?
True
Suppose -4*b + 19 + 3 = -3*o, -6 = -2*b - o. Is (-1)/((-3)/1857) + b composite?
True
Suppose -2*z = -n + 14277, -2*n + 10593 = 3*z - 17975. Is n prime?
True
Let r(t) = 46*t**2 - 116*t - 713. Is r(-6) a prime number?
False
Let b(u) = -3*u**3 - u**2 - 2*u + 1. Let l be b(3). Let y = l + 43. Is (481/y)/((-2)/8) composite?
False
Is (8 - -2)/(-20)*-25138 composite?
False
Suppose 2*f = 7*f - 20. Let c be (12/(-21))/(f/(-14)). Suppose i - 720 = -2*k, 4*k - c*i - 1444 = -5*i. Is k composite?
True
Suppose 4*n - 3*n = 0, 2*l = 2*n + 50. Suppose 6*i = -6 + 18. Suppose 431 = i*w + l. Is w a prime number?
False
Let v(p) = 3369*p**2 + 14*p + 3. Is v(-2) a composite number?
False
Let d(f) = f**3 - 22*f**2 + 72*f + 21. Is d(26) composite?
False
Let x(z) = 730*z - 191. Is x(25) a prime number?
True
Let s be (-1 - (-1)/2)*-10. Suppose 5*j + 2*p - 4*p = -17, s*j = 3*p - 18. Let r(x) = 19*x**2 + 4*x - 1. Is r(j) a composite number?
True
Let t(q) = 12*q - 124. Let j be t(19). Let b(y) = 4*y + 5. Let u be b(-5). Let g = j + u. Is g a prime number?
True
Let b(y) = 1435*y**3 - y. Let t be b(1). Suppose 0 = -3*a - 5*c + t, 2*c = -a + 4*c + 478. Is a prime?
False
Let h be (3 - 14/3)*69. Let f = 18 - h. Suppose 0 = c - 4*j - 393, -f = 3*c - 2*j - 1282. Is c composite?
True
Let a = 21 - 0. Suppose -a*b - 95 = -26*b. Is b prime?
True
Suppose 4 = 6*v - 8. Suppose 3 - 10 = q + 5*l, v*q = -l + 4. Suppose 4*n - 198 = -2*r, -165 - 108 = -q*r + 2*n. Is r a composite number?
True
Suppose -3*h + 474 = -129. Let i be -5*1*(-122)/5. Let u = h - i. Is u composite?
False
Let i(c) = c**3 + 12*c**2 + 8*c - 12. Suppose -3*p = -5*p - 18. Let o be i(p). Let w = -64 + o. Is w a prime number?
False
Let g(t) = t**2 + 3*t - 15. Let z(q) = -q**3 + 9*q**2 - 8*q + 5. Let a be z(8). Suppose -4 + 39 = -a*w. Is g(w) a prime number?
True
Suppose 2*h + 10*s - 55311 = 5*s, 5*h - 3*s - 138293 = 0. Is h prime?
False
Suppose -26*r - 143661 = -29*r. Is r a composite number?
True
Suppose 4 = l + 2*s - 0, -s + 2 = l. Suppose -5*f + 2*k + 3951 = -0*f, -5*f - 5*k + 3965 = l. Is f composite?
True
Let x = 50 - 48. Let y(m) = -9*m**2 + 2*m - 1. Let v be y(1). Let o = x - v. Is o a prime number?
False
Let s(r) be the first derivative of 10*r**3/3 - 2*r**2 + 5*r + 41. Let u = 7 - 3. Is s(u) a prime number?
True
Suppose 3*v + 31 = 4. Let s be (-10352)/6*15/(-10). Is s/6 + 3/v prime?
True
Let y be 3/7 - 10672/(-7). Let r = y + -1026. Is r a prime number?
True
Is (770772/44)/3 + 4/(-22) prime?
True
Let c = 1 + -8. Let h(i) = -16*i + 11. Is h(c) a composite number?
True
Suppose o + 9 = 5*c, -2*o - 5*c + 1 = -11. Let d be (597/(-6))/(o/(-2)). Let y = d + -116. Is y composite?
False
Suppose -6 = -4*z + 2*n + 12, 5*z - 4*n = 24. Suppose z*s - 431 - 853 = 0. Suppose 2*q - 3*q + 2*j + s = 0, -q + 4*j = -311. Is q composite?
False
Let i(t) be the second derivative of t**5/20 + 5*t**4/2 + t**3/3 + 29*t**2/2 + 7*t. Is i(-24) prime?
False
Is (0 + 6)*12/24 - -4216 composite?
False
Suppose 0 = -3*c - 0*w + w - 27, 3*w + 9 = 0. Let i = c + 41. Is i a prime number?
True
Let x be (-853659)/(-99) - 4/(-22). Suppose -9533 - x = -12*l. Is l prime?
False
Let n(d) = d**3 - 5*d**2 + 4*d - 2. Suppose -2*c + 5*v = -27, -2*c + 12 + 6 = -2*v. Is n(c) a prime number?
False
Let x(h) = h + 8. Let b be x(-6). Let o be 1/b*0/2. Suppose u - 725 + 138 = o. Is u composite?
False
Let h = 12709 + -7852. Suppose h = 6*b - 3*b. Is b composite?
False
Suppose 62367 = -20*g + 23*g. Is g a composite number?
False
Let u be (-2)/7 + 36040/14. Suppose -8*a = 5*o - 4*a - 12891, -o + u = 5*a. Is o composite?
False
Suppose -2*y + 1103 = -2479. Suppose k - 2*d - y = 0, d + 0*d + 3597 = 2*k. Is k composite?
False
Let k be (-4)/(-24) - 17/(-6). Suppose k*d - 151 = 206. Is d a composite number?
True
Let m(s) = s**3 + 79*s**2 - 137*s + 114. Is m(-79) prime?
True
Let j = 4 - 2. Suppose -5*o - 8 = 5*g - 23, 0 = j*o - 5*g - 20. Suppose o*t - 325 = 310. Is t composite?
False
Let u(l) = 4*l**3 - 7*l**2 - 2*l + 13. Let y be u(7). Suppose 2*s + 5*f - 2101 = 0, s - 2*s + y = -5*f. Is s a prime number?
False
Suppose 0 = 5*n + z - 181596, 4*n - 5*n + 3*z = -36316. Is n composite?
False
Let x(t) = t**3 + 9*t**2 - 3*t - 1. Suppose -7*k + 3*k + 8 = -a, k = -4. Let v = a - -20. Is x(v) a prime number?
False
Suppose 1511 + 2753 = 8*x. Is x a composite number?
True
Let x be 12282/5 + (-2)/5. Let s = x + -1288. Let o = s + -789. Is o prime?
True
Suppose -59*u + 62*u = -4*k + 9517, -u = 3*k - 7144. Is k prime?
True
Suppose -v = 2*g - 3777, -2*g + 0*g + 3*v = -3757. Let x = -809 + g. Is x prime?
False
Suppose 8*r = 14118 + 1378. Is r a composite number?
True
Suppose -3*g + 0*g + 9 = 0. Let z be (-1 - (0 + -2)) + g. Is (-213)/(-7 + z) - 0 a prime number?
True
Suppose -t + 17 = 2. Is -3 + (-8)/(-20) + 9234/t a composite number?
False
Let z(q) = 113*q - 209. Is z(36) a composite number?
True
Suppose -3*n - 8 - 88 = 0. Is n/112 + 1446/14 prime?
True
Suppose 0*a = -9*a + 756. Let g = 158 - a. Is g composite?
True
Let z(p) = -1153*p - 27. Is z(-8) a composite number?
True
Let y be (-6)/5*5/(-2). Suppose -350 + 275 = -15*f. Is f/15*y*139 prime?
True
Let u = -4 + 7. Suppose f = u*f + 6. Is ((-1)/f)/(4/2532) a prime number?
True
Let p(x) = 2*x - 7. Let c be p(5). Is (-2)/((-4371)/1455 + c) a composite number?
True
Let q(k) = -4*k**2 + 9*k + 2. Let t be q(8). Let a = t + 282. Is (-10)/4*(-17880)/a prime?
False
Let z = 6911 - -20729. Suppose 9*o - o - z = 0. Is o prime?
False
Is (-9333)/(-6)*16/24 a composite number?
True
Let s = -1352 + 2053. Is s composite?
False
Let k(t) = 238*t - 7. Let f(b) = -b**2 + 8*b + 22. Let r be f(10). Is k(r) a prime number?
False
Let r be 11/2 - 5/(-10). Let u(b) = -b**2 + 8*b - 7. Let n be u(r). Suppose -n*p = -2629 + 134. Is p a composite number?
False
Let v = -46883 + 110722. Is v a prime number?
True
Is (0 + -3)*-1 + 5177 + 9 a composi