er?
True
Let q(k) = 2*k - 32. Let d be q(17). Suppose -u + 5*o = -124, -6*u + 2*u = d*o - 606. Is u prime?
True
Suppose 4*c - 15089 = 1523. Is c composite?
False
Suppose 4*x = 7*x - 36. Let o = -3 + 5. Suppose 4*a = o*q + 224, 5*q = 3*a + x - 187. Is a prime?
False
Let q(b) = 82*b**2 + 16*b + 89. Is q(-8) composite?
False
Is (4 - 3 - 212)*(-3 + 2) a prime number?
True
Suppose 5*q + 1729 = 6*q + 4*i, 4*q = 2*i + 6970. Is q a prime number?
True
Let n = 23288 - 12865. Is n prime?
False
Let c = -8 - -12. Suppose 435 = c*m - 409. Is m composite?
False
Let o = -22 - -17. Let p = o - -9. Suppose -r = -p*b + 720, -r + 0*r = -5*b + 899. Is b composite?
False
Suppose -5*k + 14*a = 15*a - 14032, -3*k + a = -8424. Is k a composite number?
True
Is (3/(-2) + 1)/((-11)/53174) a prime number?
True
Let s = -9 + 1. Let t be (s/(-5) - 2)*-345. Suppose -3*m = -0*m - t. Is m a prime number?
False
Let p(n) = -n**3 - 15*n**2 - 21*n - 30. Let x be p(-16). Let i = -45 + x. Is i prime?
False
Let r be -7*((-6)/(-3) + -7). Let k be (-10)/r - 90/(-21). Is k + (-4 - -23*13) prime?
False
Let t(f) = 4*f**2 - 14*f - 17. Let k(h) = -11*h**2 + 43*h + 50. Let j be (36/(-16))/(3/(-8)). Let z(u) = j*k(u) + 17*t(u). Is z(-13) a prime number?
True
Let q(f) = -f + 4. Let z be q(2). Suppose -c = z*c - 6. Is 685*5*c/25 prime?
False
Let i = 26 + -33. Is (-6305)/(-91) + 2/i + 2 composite?
False
Suppose -295 = -2*x + 59. Suppose 0 = -q - 2*q + x. Is q prime?
True
Let p = 15 + -15. Suppose p = 4*u + u + 5. Let d(m) = -3*m**3 - m - 1. Is d(u) composite?
False
Let x be (-15)/35 + 3408/14. Suppose 0 = -g + 2*g + x. Is 5/((-15)/g) - -1 composite?
True
Let h = 64602 - 36775. Is h composite?
False
Let z(g) = -3268*g - 9. Suppose 4*t - 15 = -5*k - 0*t, 0 = 4*k + 3*t - 11. Is z(k) composite?
False
Let o(p) = -2*p + 21. Let z be o(10). Is ((-2811)/(-12) + -5)/(z/4) a composite number?
True
Let o = -287 + -82. Is (-4)/36*3*o prime?
False
Let v = 131 + -70. Suppose -919 + v = -6*g. Is g composite?
True
Let b = 15 - 8. Let o be ((-6)/b)/(6/(-28)). Suppose -8*k = -o*k - 2708. Is k a prime number?
True
Let c(m) = 2*m**2 + 2*m + 69. Is c(0) composite?
True
Let j be 2*-7*4/(-14). Suppose 9*u - j*u - 1865 = 0. Is u prime?
True
Let v = -23 + 31. Suppose 0 = -4*n + 3*a - v*a + 3451, 3*n + 2*a - 2583 = 0. Is n a composite number?
False
Let d(z) = z**2. Let j(h) = 6*h**2 - 2*h - 3. Let r(k) = 3*d(k) + j(k). Let n = -15 + 11. Is r(n) a prime number?
True
Suppose 6 = 2*i + 4*i. Let q be i/((-18)/(-8) + -2). Suppose -601 = -q*y + 571. Is y composite?
False
Let r(u) = 2704*u**2 + 2*u - 7. Is r(2) prime?
False
Let v(l) = 36*l**2 + 18*l + 79. Is v(-16) a composite number?
False
Let n(k) = 6*k**2 - k - 1. Let j be n(2). Suppose 0 = 4*y - 101 - 811. Suppose -j = -3*a + y. Is a a composite number?
False
Let r = 9364 + -6201. Is r prime?
True
Let y be (-1 + -6266)*(-7 - -8). Let f = y - -11507. Is f/24 - (-2)/3 prime?
False
Let x(h) = -h**3 + 15*h**2 + 16*h + 2. Let l be x(16). Suppose 0 = -5*k, l*p - k - 786 = 4*k. Is p prime?
False
Suppose -2*a = 5*y + 20, 18 = -3*a - 4*y + 2. Let u be -1 + (a - 1) - -206. Let v = u + 65. Is v composite?
False
Suppose -22*l = -17*l - 120. Is 4/3 - 34*(-148)/l a prime number?
True
Suppose 19*f = -5 + 43. Let v = 4 - 3. Is f + v + 5*112 prime?
True
Suppose -2*r + 3*a = 0, -r + 6 + 7 = 5*a. Suppose -4*z + r*t + 581 = 2*t, -5*t = z - 140. Is z prime?
False
Let s(y) = -y**3 + 4*y**2 + 2*y - 19. Let z(u) = u**3 - 3*u**2 - 3*u + 18. Let n(i) = -4*s(i) - 3*z(i). Is n(8) a prime number?
False
Suppose 4*h + 2*g = 5*g + 216, 0 = 5*g + 20. Suppose -o - 2*u + 29 = 0, 109 + h = 5*o - 5*u. Is o composite?
False
Is (5 - 7 - 7976)/(-2) prime?
True
Let r = -223 + 227. Let s(y) = -5*y**3 + 5*y**2 + 5*y + 15. Let x(b) = -2*b**3 + 2*b**2 + 2*b + 7. Let o(w) = -6*s(w) + 13*x(w). Is o(r) prime?
False
Let x(y) = 2*y**2 - 3*y - 1. Suppose 0 = -6*w + 11*w - 25. Is x(w) prime?
False
Let q = -5 + 11. Suppose q = 5*x + 3*w, w + 9 = -2*w. Is (6 - x/1) + 56 a composite number?
False
Suppose 2*c = -5*n + 36, 3*c + 0*c - 10 = -2*n. Is 44/n*-262*-1 prime?
False
Suppose 12*z - 18*z = -12378. Is z a prime number?
True
Suppose -10076 = -2*b + 2*g, -4*g - 25200 = -5*b - 9*g. Is b a composite number?
False
Let y be (-3)/(-4) - (4 + 87/(-12)). Suppose -2*r - 1418 = -y*r. Is r composite?
False
Let o be (1/(-4))/(7/(-364)). Suppose 18*d - o*d - 3995 = 0. Suppose 3*w + 4*q = 8*w - d, -151 = -w + 3*q. Is w prime?
True
Let x(b) be the first derivative of b**4/2 - 8*b**3 + 12*b**2 - 25*b - 6. Is x(18) a prime number?
False
Let m(v) = v + 246. Let t be m(0). Suppose -16*w - t = -18*w. Is w composite?
True
Suppose -3*i + 16918 = 1. Is i composite?
False
Let u = -10 - -24. Suppose 10*f + 776 = u*f. Is f prime?
False
Let y = 34033 - 13052. Is y a composite number?
False
Let g = 4 - 1. Suppose 0 = -g*k - 17 - 16. Let p(j) = j**2 + j - 7. Is p(k) prime?
True
Suppose y - 1212 = -143. Let i = y - -799. Suppose 5*k - i = k. Is k a composite number?
False
Let q(d) = -d - 8. Let p be q(-14). Suppose 3*j = -0*j + p. Suppose 0 = -j*h + 6*h - 356. Is h a prime number?
True
Suppose h = -7*u + 4*u + 15445, -2*u + 2*h + 10286 = 0. Is u composite?
False
Let o = -8669 - -14845. Suppose -3*g + 4*i = g - o, 2*i = -6. Is g a composite number?
True
Let j = 11 - -55. Let z = j - -61. Is z a composite number?
False
Is (-2806 - 5)/(-1) + 7 composite?
True
Suppose 4*x = -j + 22804, -2*x + 4*j - 938 = -12340. Is x prime?
True
Let f(d) = 0*d + 8 + d + 6. Let b be f(-7). Suppose 0 = -9*i + b*i + 530. Is i composite?
True
Let t be (-16)/12*(-6)/4. Suppose -3*j + 2*a + t*a + 10 = 0, -5*j - 3*a = 22. Let w(l) = -86*l - 3. Is w(j) a composite number?
True
Suppose 114 + 252 = -b. Let v = b - -1229. Is v prime?
True
Suppose -3*h + 2*r + 8605 = 0, 3*h + 4*r = -0*h + 8593. Is h composite?
True
Let t = 1126 + -504. Let k = t - 365. Is k composite?
False
Let l = -121 + 141. Suppose l*w = 2*w + 7218. Is w composite?
False
Is 1/(-7) + (-1991664)/(-168) a prime number?
False
Let w = -218 - -43609. Is w composite?
False
Is (8654/(-4))/((-12)/168*7) a composite number?
False
Is (-1908)/(-6) + 4 + 1 composite?
True
Let m(z) = z**3 - 6*z**2 + 2*z - 6. Let p be m(6). Suppose 0 = t + p*t - 35. Suppose -t*b + 613 = -5202. Is b composite?
False
Is ((-3452)/8)/((-9)/18) a prime number?
True
Suppose 2*o + 74 = 4*o. Let v = 61 - o. Is (-224)/v*(-3)/2 a prime number?
False
Suppose -2*p - 3*p = -40. Suppose p*a = -a + 1746. Is a prime?
False
Let o be 5/(-1) + 7 - (-377 - 1). Let l = 1019 + o. Is l prime?
True
Let g be -12 + 0/1 + 1. Let b(q) = -q**2 + q. Let l(p) = 4*p**2 + 3. Let r(s) = 2*b(s) + l(s). Is r(g) a prime number?
True
Let i be (1 + (-15)/2)/(1/342). Is 2/4 + i/(-6) composite?
True
Let m be 4 - (-21)/(-2) - 1/(-2). Is (6/4)/(m/(-76)) composite?
False
Let a be (-2 - 45/(-20)) + 187294/8. Is 14/21 + a/9 a prime number?
False
Let t be 2/(-3)*6 + 129*2. Suppose -a - 105 = -0*a. Let w = t + a. Is w composite?
False
Let x be (-5550)/(-40) + 2/8. Suppose b = 4*y - x, 7*b - 2*b + 117 = 3*y. Is y a composite number?
True
Let x = -573 - -1492. Is x prime?
True
Suppose 9*c - 37474 = 7*c - 4*d, 2*c - 37501 = 5*d. Is c a prime number?
True
Suppose 57 = -3*r + 69, 4*r + 6010 = 2*i. Is i composite?
True
Suppose -832*q + 534370 = -822*q. Is q prime?
True
Let g(h) = 5*h**2 + 105*h + 68. Is g(-23) a composite number?
True
Suppose -g = -2*s - 39, -5*g + 77 = -3*g - 5*s. Suppose 119 = -i - g. Let o = i - -275. Is o prime?
False
Let b = -54 + 132. Let v = b + -27. Suppose d + v - 308 = 0. Is d prime?
True
Let y = -10 - -12. Suppose -5*t - 15 = -g, t + y*t - 14 = -4*g. Suppose 0 = 3*w - 2*f - 1194 + 123, 5*f = -g*w + 1760. Is w composite?
True
Suppose 0 = -26*x - 52*x + 348426. Is x a prime number?
False
Let r = -4 + 7. Suppose 2*o = -r*b + 13, 0*b = 2*b - 4*o + 2. Suppose 4*f - 2*c = 5*f - 163, 5*f = -b*c + 808. Is f a composite number?
True
Let f be 2 - (-1 - (-2)/(-1)). Suppose 2*z - f*z = -2*n - 12, 3*n = -3*z + 12. Suppose -z*q + 35 = -3*q. Is q a prime number?
False
Let p(s) be the first derivative of s - 3 - 3/2*s**2. Is p(-4) prime?
True
Suppose -160124 = -75*a + 71*a. Is a a prime number?
True
Let c(g) be the first derivative of g - 1/2*g**2 - 1/3*g**3 - 11 - 5/4*g**4. Is c(-2) a 