/1 prime?
False
Let k(a) = 126*a**2 + 14*a - 125. Is k(-7) a prime number?
False
Let g = -979 - -8884. Suppose -b = -3*b + 3192. Suppose 9*a = g - b. Is a a prime number?
True
Suppose 4*u - 3*u + 4*t + 10 = 0, -t - 3 = 0. Suppose -u*o = -7*p + 3*p + 38, -3 = 3*o. Suppose -n = -p*n + 2152. Is n a composite number?
False
Let a(w) = -65824*w + 1057. Is a(-15) composite?
False
Let i = 48 - 33. Is (i/12)/5*(-8252)/(-1) prime?
True
Let y = -122 + 147. Suppose y*i = 22*i + 3411. Is (i - (-4)/4)*1 a composite number?
True
Is ((-6)/(-42)*7)/(5/15) - -82658 prime?
False
Suppose 3*b = 6*c - 2344167, 20*c - 18*c + 5*b - 781395 = 0. Is c a prime number?
False
Let l be (-96)/(-20)*(-370)/4. Let m be ((-5)/5 + 0)*-1019 - 2. Let x = m + l. Is x a prime number?
False
Suppose -l - 10 = 3*z - 24, -22 = -4*z + 2*l. Let a be -1 + 0 + z + 40. Let u = a + -7. Is u composite?
False
Suppose 0 = -4*s - 25 + 117. Suppose s*w = 18*w + 19945. Is w composite?
False
Let j = -221 + 220. Is ((-3986)/4)/j*2 a prime number?
True
Let p(o) = -109*o + 25. Let t(y) be the first derivative of 109*y**2 - 49*y - 16. Let i(w) = -9*p(w) - 4*t(w). Is i(10) prime?
True
Let a(x) = -x**2 + 40. Let y be a(7). Let q be (-2 + (-51)/y - 4)*-3. Is 10 + -5 + (q - -1687) composite?
False
Suppose -27 = -118*r + 115*r - 3*y, 29 = 4*r + 3*y. Let k = -3368 + 5795. Suppose r*h + h - k = 0. Is h composite?
False
Let n(f) = -4177*f + 60. Let i be n(-2). Suppose 8*j = 4*z + 13*j - i, 2*z - 5*j - 4192 = 0. Is z a prime number?
False
Let p(a) = -168*a**2 - 57 - 170*a**2 - 2*a - 6*a + 341*a**2. Is p(-22) composite?
False
Let t = -116 + 167. Suppose -2*h - t = -5*h. Suppose 13*z - h*z + 844 = 0. Is z a composite number?
False
Let y be 10/(-4)*(-28)/10. Suppose 4*z + 1875 = 5*r, -y*r + 4*r + 3*z + 1128 = 0. Is r composite?
True
Suppose 4*c - 6348 = -52*t + 57*t, -3*c - 6334 = 5*t. Let v = t + 13003. Is v composite?
True
Is (2 + 54265)/((-26)/(-8)*(-30)/(-65)) a prime number?
False
Suppose 254*s - 53010 = 252*s - 4*f, 0 = -5*s + f + 132448. Is s prime?
False
Let g = 4 - -23. Let r(b) = 2*b**3 + g - b**3 + 50*b**2 - 22*b - 67*b**2. Is r(20) composite?
False
Is ((-2)/11 - (-1416)/649)/((-2)/(-730727)) a prime number?
True
Let f(i) = 686*i**3 + 2*i - 3. Let y be 1 + 8/44 + (-2)/11. Is f(y) a prime number?
False
Let u(h) = -615 - 5*h + 615 + 494*h**2. Let t be u(2). Suppose -6*r + 6724 - t = 0. Is r a prime number?
False
Suppose 4*t - 5*r + 185 = 925, -3*t - 2*r + 532 = 0. Suppose 0*u + 4*h = -3*u + 250, -2*u + 4*h = -t. Is u prime?
False
Suppose 6*k - 104 = -14. Suppose -2*v - 12436 = -4*c, -k*v + 19*v = -5*c + 15519. Is c a prime number?
False
Let c(x) = 1338*x - 107. Let r(u) = 3*u**2 + 11*u - 17. Let s be r(2). Is c(s) prime?
True
Suppose 3*d + 27*u - 42434 = 32*u, 56573 = 4*d - u. Is d composite?
False
Let i = -533808 - -1239749. Is i a prime number?
False
Suppose -254*x = -219*x - 3295495. Is x composite?
True
Suppose 1 = -2*v + j, 5*j - 5 = -v + 22. Suppose -640 = v*s - 8586. Is s a composite number?
True
Suppose 284999 = 2*i + j, -i - 129*j + 142492 = -126*j. Is i composite?
False
Suppose 0 = -15*f + 11*f + 2*d + 52, 2*f - 38 = -2*d. Suppose -f*c + 8696 = -7*c. Is c a prime number?
True
Let r(o) = -18*o**3 + o**2 - 10*o - 126. Let n(g) = -g**3 - 27*g**2 + 31*g + 77. Let x be n(-28). Is r(x) a composite number?
True
Let o(i) = 5*i**2 - 4*i - 9. Let h = -15 + 21. Let t be o(h). Suppose -4*c + c + t = 0. Is c a prime number?
False
Let v(h) = -2*h**2 - 3*h + 1. Let i(r) = -432*r**2 + 16*r - 137. Let p(j) = -i(j) - v(j). Is p(7) prime?
False
Let z(k) = k**2 - 49*k + 50. Let h be z(48). Suppose -28*a + 277410 = h*a. Is a composite?
True
Suppose z + 3*b = -14, -7*z - 4*b = -3*z + 16. Is (0 + -74)/(10/(-55)*z) composite?
True
Suppose -5*d - 4*h = -63971, -49*d + 52*d - h - 38403 = 0. Is d composite?
False
Let q(i) = 114*i**2 + 6*i + 37. Let k be q(-17). Suppose -2*o = -5*u - 64705, k = 3*o - 2*u - 64204. Is o composite?
True
Suppose 0 = -5*f + 7*f + 13496. Let y = f - -12194. Suppose 9*k + y = 11*k. Is k a composite number?
True
Suppose -2*o + 149029 = -i, -102*i + 223521 = 3*o - 106*i. Is o a prime number?
False
Let y(w) = 2*w - 10. Let s be y(5). Let o(c) = -c**2 + 3*c + 21. Let q be o(s). Let f(h) = 2*h**2 - 26*h + 35. Is f(q) a prime number?
False
Let v = -22 + 27. Suppose -v*a = -13*a + 24. Suppose -t + 4*j - 219 = -2832, -a*j = 3. Is t a composite number?
False
Let s(p) = -p**3 + 6*p + 4613. Let i(n) = -n**2 - 11*n + 102. Let t be i(-17). Is s(t) composite?
True
Let j(i) = i**2. Let x(z) = 3*z**2 - 20*z - 49. Let r(y) = 5*j(y) - x(y). Let b be r(18). Suppose b = 2*l - 933. Is l a composite number?
True
Suppose 2288 = -22*j + 24*j - 2*z, 2*j - z - 2283 = 0. Is j prime?
False
Let c be (-39171)/22*(34/6 - 1). Let d = c + 23854. Is d a prime number?
False
Suppose 0 = 5*q + 4*y + 2662, 0 = 5*q - 0*y + y + 2653. Let x = q + 1369. Is x composite?
False
Let p(b) = -13 + 813*b + 1 + 25 + 0. Is p(10) composite?
True
Let o be (-4 + 7)/(-3) - -3. Let r be 50*118*o/8. Let a = r + -213. Is a composite?
True
Suppose -2*h + 21 = -7*z + 2*z, 3*h = 2*z + 4. Let w(l) = 331*l + 15. Let p(s) = -3. Let g(y) = -12*p(y) - 3*w(y). Is g(h) a composite number?
True
Let l(d) = -925*d**3 - d**2 - 3*d + 38. Is l(-3) prime?
True
Let h(s) = -s - 1. Let w be h(-1). Suppose 0 = 4*x - 157 + 129. Suppose w = -x*q + 18976 - 3933. Is q a composite number?
True
Let y be (-6 - -5)/((-2)/(-18)*-1). Let c(x) = x**3 - 10*x**2 + 11*x - 6. Let f be c(y). Is f/54 - (26656/(-9) - 1) composite?
False
Let t(f) = 13*f + 3593. Let c(p) = p**3 - 25*p**2 - 55*p + 27. Let r be c(27). Is t(r) prime?
True
Suppose -5*o + 4*i + 467099 = 0, -46*o = -45*o + i - 93418. Is o a prime number?
True
Is 46675 + (-8)/(-3)*102/68 a prime number?
True
Is 883891 - 2 - (-375 - -367) a prime number?
False
Let o(n) = 7771*n. Let f be o(-1). Let j = f + 14358. Is j a prime number?
False
Is (268/6)/((-34)/(-11373)) a prime number?
False
Suppose -66*o = -31*o - 34*o. Suppose k - 1444 = -240. Suppose m + 57 - k = o. Is m composite?
True
Suppose -3*q + 248817 = 2*l, -q - 18*l + 248817 = 2*q. Is q a prime number?
True
Let k = -11 - 451. Let v = k - -815. Is v prime?
True
Let h be 10/(-55) - ((-65459)/(-11) - -4). Let b = h - -8852. Is b prime?
True
Let d(p) = 696*p + 65. Let v be 10/(-105)*-7*(-75)/(-10). Is d(v) a composite number?
True
Let l = 402211 - -772228. Is l prime?
False
Suppose 0 = 371*u - 375*u + k + 76000, 3*u + 2*k - 57011 = 0. Is u a composite number?
False
Suppose 4*k - 7412 = -4*d, -9247 = -5*k - 0*k + 4*d. Suppose 4*y - 458 + 103 = -q, -5*q = y - k. Is q a prime number?
False
Let x = 63 + -54. Let g be x/15 + 6/(-10). Is -1366*((-4)/8 - g) a prime number?
True
Let o(c) = 12*c**2 - 3*c - 38. Suppose -30 = -3*a + 4*t, 0*t + t - 3 = -a. Suppose -a*s + 8*s - 18 = 0. Is o(s) composite?
False
Suppose -5*r - 3*c + 405007 = -341922, r + 5*c - 149377 = 0. Is r a prime number?
False
Suppose -59*q + 45624 = -53*q. Let f = 18345 - q. Is f composite?
True
Let l(z) = 51244*z + 1101. Is l(2) a prime number?
False
Suppose -3*w - 2382 = -2*s + 4*s, -2*s + 3*w = 2406. Let y = s - -3232. Suppose -1419 = -2*i + y. Is i prime?
False
Let x = -33 + 35. Suppose -5*b + 2*b + 20 = x*r, b = r. Suppose r*f = 4*a - 3796, -158 - 4587 = -5*a - 2*f. Is a a prime number?
False
Suppose -f - f = 224. Let q(d) = -343*d - 28. Let x be q(-3). Let c = x + f. Is c composite?
True
Let z(k) = -k**2 - 24*k + 15. Suppose 7*n + 14*n = 17*n. Suppose n = 2*l - 0*l + 26. Is z(l) a prime number?
False
Suppose 15 = -26*b + 23*b, -3*r - 5*b + 5678 = 0. Is r a prime number?
True
Suppose -4*u - c = -5*c - 28, -u = -5*c + 1. Suppose -j + 1 = -4. Suppose -5*t = j*i - 1735, -u = -5*t - 4. Is i composite?
True
Let w be 3 - ((-3)/(-1) - (-13 - -17382)). Suppose -13*y + w = -146522. Is y composite?
True
Let c(i) = 99507*i + 14. Let k be c(1). Suppose 29*y - 6*y = k. Is y composite?
False
Let m(n) = -n**2 - 3*n - 1. Let o be m(-2). Let c be ((-14)/(-7))/2 + o + -3. Is c - -10 - 56/(-14) composite?
False
Let z = 2417 + -1282. Suppose -3*d = 2*p - z, -d - 2*p + 385 = -3*p. Suppose 2*q = v - d, v + 2*q - 1857 = -4*v. Is v a composite number?
False
Let h = 2163 - 1214. Let k = h - 246. Is k composite?
True
Suppose 3*d + 11 - 14