er?
True
Let t(g) = 3*g - 39. Let z be 82/4 - 2/4. Let o be t(z). Suppose -3805 = 16*d - o*d. Is d a prime number?
True
Let y(g) = 9 + 2 + 45*g + 15*g**3 - 10*g**2 - 3*g**2 - 9*g**3 - 7*g**3. Is y(-16) prime?
True
Suppose p - 161 = -983. Suppose 10*i - 4*q = 9*i + 1197, 5*i = -2*q + 6073. Let j = p + i. Is j a composite number?
True
Suppose 3*p - k + 22475 = 4446, 5*p + 2*k + 30030 = 0. Let s = 8434 + p. Is s prime?
False
Let n(h) = 7*h - 162. Let x be n(0). Let r = 245 - x. Is r a prime number?
False
Suppose -80920634 = 903*g - 985*g. Is g prime?
True
Is -3*(-4)/78 - (-26)/(1352/171540) a composite number?
False
Let r = 557 + -556. Is 4 + r + (-22770)/(-5) prime?
False
Is (-1169779)/(-6) - (-962)/(-5772) composite?
False
Let a = -38598 + 65922. Suppose 2*i = -9442 + a. Let y = i + -3986. Is y a prime number?
False
Let c(g) = 10*g + 10*g - 8 + 5*g - 18*g + 58*g**2. Let i(u) = 2*u**2 + 5*u + 2. Let z be i(-3). Is c(z) a composite number?
True
Suppose -4*r + 256883 = 3*f, 2*f = 60 - 50. Is r composite?
False
Let d be 2 + (0 - (4 + -6)). Let n be (-4 + (d - 142/(-6)))*12. Suppose 0*v + 2*v - 142 = b, 0 = -4*v - b + n. Is v prime?
True
Let f(q) = 41 + 71*q**2 + 43*q**2 - 2*q + 120*q**2 - 11*q**2. Is f(6) a prime number?
False
Is (-495546)/8*(-388)/291 composite?
False
Let c(u) be the first derivative of -393*u**2/2 + 11*u + 64. Is c(-2) a composite number?
False
Suppose 0 = k + 3*k, 4*u + 5*k = -8680. Let x = u - -5036. Let b = -1665 + x. Is b a prime number?
True
Suppose 43 = -4*t + 59. Suppose 4 = 4*h - 4, 3*h = -r + 1268. Suppose 414 = d - t*s + 5*s, 3*d - r = s. Is d a composite number?
False
Let u = 62 - 50. Is ((-319926)/36 - 2/u)*-1 composite?
False
Let b(i) = 1437*i**2 + 4*i + 5. Let y be b(-1). Let x = 3627 + y. Is x a composite number?
True
Let v = 11 - 6. Suppose 5*m - 4*m = 52. Suppose i - 108 = -3*o, v*i + m = -0*o + o. Is o composite?
False
Suppose 325269 + 332193 = 26*k. Suppose -2*o = -k - 5539. Is o composite?
False
Let b(n) = 70974*n - 2209. Is b(5) prime?
True
Let o(t) = -6*t**3 - t**2 + t + 1. Let u = 9 - 10. Let f be o(u). Suppose f*p + i + 0*i = 344, 68 = p + i. Is p prime?
False
Let u(o) = o**2 + 9*o + 6. Let w be u(-9). Suppose -2 - 22 = -w*n. Suppose 0 = -2*t - h + 713, -t + h + 1800 = n*t. Is t composite?
False
Let b be 47841/10 + 3/(-30). Let g = -8 - -11. Suppose -v - 5961 = -5*d, -7*d - 3*v = -g*d - b. Is d a composite number?
False
Is (1318 - (15 + 12)) + 0/(-1) composite?
False
Suppose -11*b - 4*w = -15*b + 127840, -159794 = -5*b + 3*w. Is b a composite number?
False
Suppose -5*d + 5*w = -158830, 5*d - 8*w + 4*w = 158829. Suppose 55*s + d = 60*s. Is s a prime number?
True
Let c(a) = 3*a**3 + 22*a**2 - 35*a - 19. Let t(j) = j**3 - j**2 + j + 1. Let h(z) = -c(z) - 5*t(z). Is h(-15) prime?
True
Let c be (-72)/24*(-22)/6. Suppose 13 = i - 3*b, 5*i - c - 6 = -b. Suppose -2*p + i*f = -398, p = -2*p - 3*f + 561. Is p prime?
True
Let b(j) be the third derivative of 169*j**4/6 - 71*j**3/6 - j**2. Is b(7) prime?
False
Let x(u) = 576*u**2 + 9*u + 107. Is x(-6) prime?
True
Let o = 753 - -89. Suppose 15*j - o = 1003. Is j prime?
False
Let o(p) = -10*p**3 - 20*p**2 - 195*p + 2. Is o(-7) composite?
True
Let r be 1/((4 + (-76)/20)*1). Suppose 5*c = m + 5, 4*c - r = 5*m - 4*m. Suppose 2*n - 402 - 684 = c. Is n composite?
True
Let m(p) = p**3 - 6*p**2 - 26*p + 4. Let d be m(9). Let c(f) = 9*f + 10*f - 4*f - 47 + d*f. Is c(6) a prime number?
False
Let m(k) be the second derivative of -72*k**5/5 + k**4/12 + k**3/6 + k**2/2 + k - 16. Suppose -3*l = l + 4. Is m(l) a composite number?
True
Suppose 20*l + 27 = 23*l. Suppose 3*w - l = 0, f - 1048 - 358 = -2*w. Suppose -4*s + 9924 = -4*r, -11304 = -4*s - r - f. Is s prime?
True
Let g(v) = -127*v + 9. Let t be g(-12). Suppose 88717 - t = 16*p. Is p a prime number?
True
Suppose 10*x + 234 + 1216 = 0. Is (-825514)/x*(-5)/(-2) a composite number?
True
Suppose 0 = 1495*g - 1472*g - 7961611. Is g a prime number?
False
Let q(o) = -o**3 - 88*o**2 + 545*o - 257. Is q(-111) a composite number?
True
Let m(r) = 14845*r - 1253. Is m(6) a composite number?
True
Suppose -5*u - 4*t = -6501, u - 4*t = 212 + 1069. Suppose 11*n = 13254 - u. Is n a prime number?
True
Suppose 0 = 20*z - 5539820 - 4836 + 872116. Is z composite?
True
Suppose -3*j + 25183 + 5710 = 2*d, -4*j + 30898 = 2*d. Is d prime?
True
Let m(j) = -j**3 - 9*j**2 + 10*j. Let r be m(-10). Suppose 25 = -z - 2*d, z + 4*d = -r*z - 31. Let s(y) = -y**3 - 16*y**2 - 4*y - 8. Is s(z) a composite number?
False
Suppose -3*d + 2*d = 4. Let j(q) = 228*q - 5. Let b(p) = -p + 1. Let u(x) = d*b(x) - j(x). Is u(-3) composite?
False
Suppose u = 5, -u + 1624756 + 645118 = 3*y. Is y a composite number?
True
Suppose 752138 + 947192 = 5*n. Is n a prime number?
False
Let z be 1 + 2/(-10)*-5 - -2. Suppose -z*i = -16, 6*i = 3*n + i - 889. Is n a composite number?
True
Let o = -2072 + 1072. Let g = o - -1787. Is g composite?
False
Suppose 15 = 4*i - 5. Suppose -3 = i*b - 18. Suppose 0 = 5*r - 4*m - 331, -b*r + r + 139 = 5*m. Is r a prime number?
True
Let n = -23 + 26. Let i(z) = -n*z**3 - 8*z + 10 + 12 + 4*z**3 - 16*z**2 - 9. Is i(18) a prime number?
False
Let x(q) = 2*q**3 + q**2 - q. Let z(g) = -14*g**3 - 5*g**2 - 9*g - 1. Let h(p) = 6*x(p) + z(p). Is h(-6) composite?
False
Let c(b) = 209*b - 115. Let t be c(11). Suppose -8*p + 5488 = -t. Is p composite?
True
Let b(t) = -12126*t - 3269. Is b(-25) a composite number?
False
Suppose 0 = -3*q + 2*q - j - 7638, q + 4*j = -7638. Is (-1 - q) + (-5)/(-1) prime?
False
Let s = -109 + 117. Is 3/(-2) + (596/s - -4) composite?
True
Is (-1 - (-5)/20)/((-2)/(1683488/12)) a composite number?
False
Let b(z) = -8*z**3 + 3*z**3 - 27*z**2 + 5*z**3 + 6*z**2 + 63*z - z**3 + 29. Is b(-32) composite?
False
Suppose 21*i + 3 = 18*i. Is (-4 - 13/(-4))*388*i prime?
False
Let l(j) = -1607*j + 1491. Is l(-22) a prime number?
False
Let o = -64829 - -102049. Is 5/10*o - 12/4 a prime number?
False
Let x(y) = 71*y**3 + 41*y**2 - 245*y - 36. Is x(7) a prime number?
True
Suppose -d = -4 + 1. Let x(n) = n**3 + 31*n**2 + 83. Let o be x(-30). Suppose 8 = 2*q, d*a - o = q - 0*q. Is a a composite number?
True
Suppose -9 = 3*i, 2*f + 5*i + 20 - 87 = 0. Let u = f + -41. Suppose 4*z - 12*z + 4984 = u. Is z a prime number?
False
Let v(r) = 51*r - 4. Let d be v(3). Let y = 28 - d. Let j = y - -414. Is j prime?
True
Let x(c) = 5*c - 35. Let q be x(8). Is (-8)/6*q/((-60)/34011) a composite number?
False
Let b = -213448 - -331428. Suppose b = 7*k + 38523. Is k prime?
True
Let w = -975 + 1874. Is w composite?
True
Suppose -5*y = 4*t - 9 - 13, 5*t = -2*y + 19. Suppose 0*k - t = -4*l - k, -2*k = l + 8. Is ((-3)/l)/(6/(-2972) + 0) composite?
False
Let m = -130 - -2015. Suppose -m - 506 = -3*v. Suppose 6*z = 5*z + v. Is z a composite number?
False
Let w = 5448 + -3684. Let z = w + -781. Is z a composite number?
False
Let z(u) = 31134*u + 19. Is z(2) prime?
False
Let b = 55432 + -34955. Is b a prime number?
True
Suppose -5*h = 3*r - 17728, 2*r - 3*h = 4855 + 6970. Is r a composite number?
True
Is (-97)/582 - -222235*(-2)/(-12) a composite number?
False
Let x(r) = -13*r**2 - 3*r - 13. Suppose -k = -2*y + 14, 5*k - 4*y + 22 = -36. Let m be x(k). Let a = m - -1804. Is a composite?
False
Let g(a) = 48*a**2 - 57*a + 70. Is g(-13) a prime number?
True
Suppose 2*a = -2, 86818 = 2*p - p - 5*a. Is p a prime number?
True
Suppose 5*c = -36 + 21. Let m = c - -3. Suppose 2*l - 145 = -j, m*l + 2*l - 2 = 0. Is j a composite number?
True
Let j(g) be the third derivative of 55*g**4/12 - 131*g**3/6 - 10*g**2 + 2*g. Is j(12) prime?
False
Let f(i) = 34*i**2 + 15*i + 30. Let p be f(-12). Suppose -6*t + p = -2712. Is t prime?
False
Let y = -121540 + 8230. Is y/(-24) + ((-15)/(-12))/(-5) composite?
False
Suppose -4*w = 3*d - 5*d - 10, 14 = 5*w - d. Suppose v + 4*k - 7*k - 867 = 0, -w*k = -3*v + 2625. Is v a prime number?
False
Suppose 5*y = -3*g + 19, 0 = 10*g - 13*g - 2*y + 13. Suppose -g*c - 4*n = -10982, 0 = -3*c - 2*n - 0*n + 10984. Is c a prime number?
False
Suppose -21*i = -4*i + 378420. Let v = 33263 + i. Is v a prime number?
True
Suppose 34*n + 606286785 = 612*n + 2702771. Is n a composite number?
True
Let y(u) = 13*u**2 - 34*u - 2. Let k be -1 - -13 - (97 - 94). Is y(k) a composite n