7*x - 22448 = -4*r, z*r = x + 22463. Is r a prime number?
False
Is (-26097 - 2)*65/(-65) composite?
False
Let r be 1055/55 - 2/11. Suppose -5*z - 79 = -r. Is (-16142)/z - 0 - (-2)/(-12) a prime number?
False
Let v = 109 - 124. Let n(j) = -148*j + 34. Let z be n(v). Let q = z - 1005. Is q a composite number?
False
Let b(k) = 4 - 10*k + 4 - 1. Let t = 204 + -211. Is b(t) a composite number?
True
Let w = 6242 + 2787. Is w prime?
True
Suppose 18*d - 324 + 864 = 0. Is (-2)/(-10) - 54504/d a prime number?
False
Let f(n) = n**3 + 5*n**2 - n - 5. Let k be f(-5). Suppose k = -0*b + 5*b + l - 2006, -2*l = 2*b - 804. Let y = -64 + b. Is y a prime number?
True
Let g(u) = 167520*u**2 - 182*u - 181. Is g(-1) prime?
True
Let r(c) = -15*c**3 - 44*c**2 + 44*c + 35. Let i(f) = -4*f**3 - 11*f**2 + 11*f + 9. Let t(b) = -9*i(b) + 2*r(b). Let k = -529 + 537. Is t(k) a prime number?
True
Suppose 0 = -4*b + 4, 4*b + 277472 = 3*g - 6729. Is g prime?
False
Let t(h) = 432*h**2 + 39*h - 196. Is t(5) a prime number?
True
Let v(c) be the second derivative of 23*c**3/6 - 2*c**2 + 74*c. Suppose -4*t + 17 = 5*j, 2*j = 4*t - 3 + 21. Is v(j) prime?
False
Let w = 37396 - 20793. Is w prime?
True
Suppose -3*a - 62 = -38. Let k be (10 - 3) + a + 4. Suppose -k*b = -1516 - 683. Is b a prime number?
True
Let i = -125936 + 719101. Is i composite?
True
Let v be (-135)/20*2/3*-4. Suppose 9*b - 3*b = v. Let a(n) = 13*n**3 - 4*n**2 + 2. Is a(b) a prime number?
True
Let t = -2266 + 4374. Suppose -75*s + t = -71*s. Is s a composite number?
True
Let r(n) = -394*n**3 + 2*n**2 + 7*n + 5. Let u(h) = -2 + 1 + 180*h**3 + 2*h**2 + 6*h + 5 - 574*h**3. Let m(i) = 5*r(i) - 6*u(i). Is m(2) a composite number?
True
Suppose 0 = -2*j + m + 278375, 15*j - m = 20*j - 695948. Is j prime?
False
Is 9/(-6)*(3 - (-8953241)/(-33)) a prime number?
False
Let d(i) = i**3 - 8*i**2 + 16*i - 21. Let c be d(6). Suppose -2*h - v + 132 = 0, 5*h = v - c*v + 331. Is h composite?
False
Let q(k) = k**2 + 10*k + 6. Let l be q(-10). Suppose l*r - 1769 = -2*a + 3*r, 2*a = -r + 1779. Suppose 0 = -9*c + 13*c - a. Is c a prime number?
True
Let p(a) = -1442*a - 445. Is p(-24) composite?
True
Suppose 0 = 4*k - 8*f - 412308, 3*k + 147277 - 456510 = 4*f. Is k prime?
True
Let j(q) = 1844*q - 36. Let o be j(-2). Let v = o - -13701. Is v composite?
True
Let c = 153 + -152. Suppose 2*k - 4 = -44. Is ((-2110)/k)/(c/14) prime?
False
Let n = 17911 - 6048. Is n composite?
False
Let x(c) be the second derivative of 5*c**3/6 - 31*c**2 - 37*c. Let s be x(14). Suppose 0 = 4*i - s, 5*p + 4*i - 2*i - 5489 = 0. Is p prime?
True
Suppose 2487 - 7145 = -34*j. Is j*(1 - 0) - 48/(-24) a prime number?
True
Let c(s) = 2*s**2 + 26*s + 29. Suppose -44*a + 40*a = -160. Is c(a) prime?
False
Let v(k) = -k**3 + 7*k**2 + 7*k + 8. Let q be v(8). Is (q - -1)/((7 - 16)/(-41157)) a composite number?
True
Let m(p) = -5 + 5*p**2 - 2*p**2 - 2*p**2 - 13*p + 21. Let d be m(12). Is 67/(d/(-60)*-5) composite?
True
Let p(o) be the third derivative of -o**6/60 - o**5/30 + 5*o**4/8 - 5*o**3/3 + 28*o**2 - o. Is p(-9) prime?
True
Let f = -1386 + 2084. Let z(h) = -58*h + 3. Let x be z(-6). Suppose 0 = i + 3*r - x, 5*r - f = -i - i. Is i a prime number?
False
Let k = -81203 - -187644. Is k a prime number?
True
Suppose -s - 1495102 = -5*q - 347813, -8*s + 48 = 0. Is q a composite number?
False
Suppose 57*y + 9*y - 4134382 = 7545176. Is y prime?
False
Let g(i) = i**3 - 4*i**2 - 5*i + 3. Let o be g(5). Suppose 2*k + 281 = o*j, -2*j - 337 - 65 = 3*k. Is (-16)/k + (-10774)/(-34) prime?
True
Suppose 0*w = -2*w - 4. Let y(t) be the first derivative of 76*t**3 + 2*t**2 + t + 105. Is y(w) prime?
False
Let z = -132 + 126. Let i(k) = -6*k**3 + k**2 + 11*k + 28. Is i(z) composite?
True
Suppose -27*l + 1244140 + 1597948 = 848975. Is l a prime number?
True
Let u be (33 + -31)/(2/16062). Let d = u + -4445. Is d a prime number?
True
Suppose -2*r + 3*u = -465, 0 = -u + 1. Let i(x) = 3*x**2 + 4*x**3 - 227 - x**3 + r. Is i(5) composite?
False
Let z(m) = -m**2 + 10*m - 14. Let i be z(6). Let n = 13 - i. Is 2 + (n - 2) + 54 prime?
False
Let n(l) be the first derivative of 752*l**3/3 + 19*l**2/2 - 2*l + 105. Is n(-3) a prime number?
True
Suppose 10662 = g - 3707. Suppose -5*o + g = -16136. Is o a prime number?
True
Let r(d) = -2549*d - 1600. Is r(-9) a composite number?
False
Is 46583 - (-1)/(((-6)/108)/((-4)/12)) a composite number?
False
Suppose 3*d + 2*u + u = 60, -3*u + 12 = 0. Suppose -11*g + d*g = 4100. Suppose -g = -m + 67. Is m a prime number?
True
Suppose 4*l - 2*l - 506 = 0. Suppose -l = -3*k - 91. Is k/36*(-92)/(1*-2) composite?
True
Suppose -2*t + 4*s - 7276 = -122698, -2*t - 5*s = -115413. Is t prime?
True
Let x(r) be the third derivative of 29*r**4/6 - r**3/2 - 27*r**2. Is x(17) prime?
False
Let u be (1*-2)/(4/(-4892)*1). Let w = 3477 - u. Is w a prime number?
True
Let n = 1029 + -354. Suppose -5*p + 2*g + g + 4948 = 0, 0 = -p - g + 996. Let i = p - n. Is i composite?
False
Let b = 10986 + 254. Suppose b = 2*a - 2*j, 3*a - 8*a - 3*j + 28124 = 0. Is a prime?
True
Let z(o) = 1218*o**3 - 2*o**2 - 9*o - 7. Let w be z(-3). Let a = -19243 - w. Is a composite?
True
Let r(s) = 4*s + 1685. Suppose 0 = -4*j + y + 48, -18 - 67 = -5*j - 5*y. Let t be (-2)/j + 15/13 + -1. Is r(t) a composite number?
True
Let y be -270*((-84)/10 + 0). Suppose 0 = -4*f - m + 9147 - y, -f - m = -1716. Is f prime?
True
Let s(p) = 222*p - 45. Let h be s(8). Let z = -1062 + h. Is z prime?
False
Suppose 0 = -19*c - 50902 - 18676. Let z = c + 10299. Is z a composite number?
False
Let d be -3*159/(-63) + 24/(-42). Suppose -n = -d*n + 3918. Is n composite?
False
Let y(v) = 5*v**2 - 4*v + 4. Let g(u) = 6*u**2 - 4*u + 5. Let f(t) = 4*g(t) - 5*y(t). Let j be f(3). Is (-31)/((j/69)/(-1)) a prime number?
False
Let i(l) = 18309*l**2 + 600*l + 2377. Is i(-4) a composite number?
False
Is ((-60)/60)/((-6)/2011782) prime?
False
Let q(l) = 2*l**2 - 41*l + 18. Let z be q(23). Is 38/z + (-2 - 1597695/(-21)) a composite number?
False
Let v(b) = -14*b - 7. Let g be v(3). Let y = g - -40. Let n(q) = -3*q**3 - 8*q**2 + 5*q + 17. Is n(y) a prime number?
True
Let w be (-5963 + 4)*-1 - 4. Suppose 0 = -3*q + 4*q - 4*m - 1997, 3*q = 3*m + w. Let p = q + -720. Is p prime?
False
Let t(d) = 10563*d**2 - 553*d + 3. Is t(4) a prime number?
True
Suppose 4*j = 7674 + 3806. Suppose -3316 = -6*g + j. Let y = g + -700. Is y a prime number?
True
Suppose c - 22*u = -19*u + 704099, 0 = -3*u + 18. Is c prime?
True
Suppose -3*o + 404 = 2*r - 280, -3*r + 1026 = 4*o. Let u(x) = 32*x**2 + 2*x - 1. Let v be u(2). Let g = r - v. Is g composite?
False
Suppose 2*q = -4*p + 7*q + 4447, 4*p - 4426 = -2*q. Let u = -522 + p. Suppose -3*s + u = -4*a + 2256, -4*s = -5*a + 2087. Is a prime?
True
Suppose -5*h = -4*k + 3*k - 3685, 4*k + 3*h = -14832. Let a = -1412 - k. Suppose 0 = -4*w - 4*b + 699 + a, w = 4*b + 723. Is w prime?
True
Let d be 20*(-18)/(-45) - (0 + 0). Suppose -7 = -d*a - 39. Let v(n) = -287*n + 3. Is v(a) composite?
False
Suppose -3*h - 265 + 274 = 0. Let p(y) = 213*y**3 + 3*y**2 - 2*y + 1. Is p(h) composite?
True
Let r = -258662 + 520171. Is r composite?
False
Let v = 3777 - -65536. Is v composite?
False
Suppose -12 = 3*w + 4*r, 7*r - 2*r = -4*w - 15. Suppose h - 10012 = 2*o + o, 3*h + 2*o - 30069 = w. Is h prime?
False
Suppose 0 = -m - p + 27464, -839*m + 834*m + 137314 = 4*p. Is m prime?
False
Suppose -11341 - 9328 = -11*o. Suppose -4*z + o + 3685 = 0. Suppose z = 4*h + 3*p + 164, 0 = -4*h + 4*p + 1192. Is h composite?
True
Let s(a) = a**3 - 11*a**2 + 16*a + 44. Let k be s(7). Is (-1 + -4)*63880/k a composite number?
True
Suppose 0 = 4*i + d + 2683, 4*i + 5*d + 316 + 2347 = 0. Suppose 82*q = 72*q - 15590. Let u = i - q. Is u composite?
False
Suppose 0 = 2*g - 2*s - 6059686, 21*g + 4*s = 26*g - 15149209. Is g a prime number?
True
Let k = -28189 - -61176. Is k a composite number?
False
Let u(p) = -p**2 - 74*p + 39. Let t(v) = v - 40. Let x be t(0). Is u(x) prime?
True
Let q(r) = -r**3 - 9*r**2 + r - 31. Let p be q(-9). Is -7555*(128/p + 3) a prime number?
True
Let q(i) = -i**3 - 8*i**2 + 19*i - 8. Let h be q(-10). Suppose -h*w + 0 = -3*x + 1, 0 = 5*w - 20. Is x/2*(-3272)/(-12) prime?
True
Is (56 - 47) + 6220/2 composite?
False
Let q = 461 - 484. Let f(s) = 1