 prime?
False
Suppose 0 = 4*l + 2*h + 2644, 2*h + 295 = -2*l - 1031. Let w = l + 1038. Is w a prime number?
True
Is (-14)/(-14)*(-79503)/(-3) a prime number?
True
Suppose 338 = 2*b - 324. Suppose -3*v - 5*v + 40 = 0. Suppose v*k = 14 + b. Is k composite?
True
Let c(i) = 27*i**2 - 6*i - 2. Let n be c(-6). Suppose 455 + n = j. Is j prime?
False
Let j be (-6)/9*-1*9. Let y = j - 76. Let k = y + 389. Is k composite?
True
Suppose 24*y - 7579 = 12797. Is y prime?
False
Suppose 9*l - 3913 = 1982. Let q = l - 392. Is q prime?
True
Let n(h) = 3*h**3 + 7*h**2 - 2*h - 2. Let s be n(-6). Let t be -147*(-1 + 3 + -1). Let l = t - s. Is l prime?
True
Let a = -1849 + 3816. Is a a prime number?
False
Is ((-206133)/4)/(9/(-12)) prime?
True
Suppose -6*t + 391987 - 145381 = 0. Is t composite?
True
Let h(b) = 198*b + 1. Let g be h(3). Suppose 2 = 2*f - 3*c - 5, 3*f - c - 14 = 0. Suppose -4*y + g = -f*k, 3*y - k - k = 441. Is y prime?
False
Suppose 5*b + 13912 = i, 5*i + 14*b - 19*b - 69540 = 0. Is i composite?
False
Let v be 1 + 1 + (3 - 1). Let x = 4 - v. Suppose x = 4*j - 13 - 27. Is j a prime number?
False
Is 5 + -10 + 6 + (161 - -1) prime?
True
Suppose -19*d + 22*d + 3 = 0. Is d*242*4/(-8) composite?
True
Let u = 29335 - 14468. Is u a prime number?
True
Let d(q) = 105*q + 43. Let m(s) = -26*s - 11. Let p(w) = 2*d(w) + 9*m(w). Is p(-9) a composite number?
True
Let u(t) = 34*t - 3. Let y = 6 - -7. Let j be u(y). Let l = -144 + j. Is l a composite number?
True
Let a = 17 + -11. Let s be -12*(-208)/(-12)*a. Is 7/(s/417 - -3) a prime number?
False
Let d = 29893 + -18642. Is d a prime number?
True
Suppose 46 = u + i, 0 = -5*u - 4*i + 9*i + 280. Suppose -3*b = -2*b + u. Is 3*(b/(-9) + 2) composite?
False
Suppose 5*q + h = 3*h + 16763, -3*q + 3*h = -10065. Is q composite?
True
Suppose 7*i + 0*i = 10227. Is i composite?
True
Let w = 16 - 10. Let u(f) = -3*f - 8 + 8*f + 40*f**2 + w. Is u(3) composite?
False
Suppose 0 = -x + 5, 3*c = 3*x + 12611 + 169501. Is c a composite number?
True
Suppose 80418 - 28666 = 8*g. Is g composite?
False
Suppose -2*q + 9873 = 5*x, -3*x - 7900 = -7*x - 2*q. Is x a composite number?
False
Suppose -3*s - 3 = 0, -2*s - 2031 - 10485 = -2*h. Is h a composite number?
False
Suppose -3*j - 3*k + 22 = -53, -4*k + 80 = 3*j. Is (-4)/(-20) + 3736/j a composite number?
True
Suppose m + 4*i = -9, 0 = m + 5*i - 4 + 16. Let g be (-1)/((3/(-412))/m). Let a = -233 + g. Is a a composite number?
False
Let p(w) = 2*w**3 + 12*w**2 + 4*w + 3. Let z be (10/(-4))/(-7*1/(-14)). Is p(z) a composite number?
True
Is 911 + 24*6/18 composite?
False
Let v(t) = -2*t**3 - 4*t**2 + 3*t + 3. Let p be v(-5). Suppose -2*m + 6*m + 236 = -5*d, 0 = 4*d. Let j = m + p. Is j prime?
True
Suppose 5*x = 0, 1 + 3 = 2*s + 5*x. Suppose -4*l = -s*l - 10. Suppose 0 = 5*n - 0*n + l*p - 280, 0 = -n - 4*p + 59. Is n a prime number?
False
Let j be (2 - (2 - 3) - 2)*598. Let z = 1281 - j. Is z prime?
True
Let a(q) = -126*q + 5. Let l be a(-16). Suppose 4*j + 8072 = 4*g, 3*j + l = g - j. Is g prime?
True
Let l be 3 + (-6)/1 + 268. Suppose -4 = 2*u + 4, 2*u - 123 = -k. Let o = l - k. Is o composite?
True
Suppose -5*j = -4*h + 4041, -8*h + 4032 = -4*h + 4*j. Suppose 3*f - 452 - h = 0. Is f a composite number?
False
Suppose -c - 8 = -3*c + i, 6 = -3*c - 3*i. Let z(x) = -15*x**3 - x**2 - x + 1. Let g be z(-2). Suppose -c*m = -g - 195. Is m composite?
False
Suppose 2*a + 53 = k, 6*a - 2*a + 3*k + 81 = 0. Let g be 3*(0 - 42/(-12))*-2. Let i = g - a. Is i composite?
False
Let m be -122 - (4 + -13 + 5 + 8). Let a(n) = -3*n**2 - 6*n - 1. Let y be a(-6). Let h = y - m. Is h a prime number?
True
Suppose 0 = -3*l + 4*w - 6, -5 - 16 = -3*l - 5*w. Let i(d) = -5*d**2 + 9*d - 8. Let g(t) = t**2 - t + 1. Let v(u) = 14*g(u) + 2*i(u). Is v(l) composite?
True
Let f(o) = -o + 5. Let u be f(4). Let i be -1 + 3*(0 + u). Suppose -i*t = -t + 5*x - 48, -3*x + 262 = 5*t. Is t prime?
True
Let w = 12326 - 4527. Is w composite?
True
Let y be ((-1)/(-1))/1 - -3. Suppose 0 = -2*k - 0*k + y. Suppose -k*j - g = -16, -4*g + 19 = 3*j - 10. Is j composite?
False
Let k = 12 - 20. Is (4 + k)*1142/(-8) prime?
True
Is 1 - 61146/(-2) - 9 composite?
True
Let z = 15 + -13. Suppose -4*p + 2 = l, 0*l + l - 14 = z*p. Suppose -2*c = -84 + l. Is c prime?
True
Let z be -61*(-354)/(-12)*(-2)/1. Let f = z + -2544. Is f prime?
False
Let k(f) = 14*f**2 - 13*f + 23. Let c(s) = -5*s**2 + 4*s - 8. Let q(h) = -11*c(h) - 4*k(h). Let b be q(4). Let u = 667 + b. Is u a composite number?
True
Suppose 6*p - 75 = 10*p + 3*u, 5*u = 5*p + 85. Is (1 - 34)*582/p prime?
False
Is 681758/110 - 8/10 composite?
False
Let z be (-3)/((-44)/16 - -2). Suppose -2*r - n + 133 = 0, 3*n - 197 - 74 = -z*r. Let l = 33 + r. Is l composite?
False
Let n = -1344 + 2257. Is n a composite number?
True
Suppose 0 = 5*x + 10 + 20. Let w(v) = -v**3 - 4*v**2 + v - 1. Is w(x) a composite number?
True
Suppose 0 = 8*s - 4*s - 16. Let p = 2411 - 1014. Suppose -5*u - j + 1775 = j, -p = -s*u + 3*j. Is u a prime number?
True
Let t(d) = 24*d**2 - 11*d - 9. Is t(4) a composite number?
False
Let m = 22176 + -12685. Is m a composite number?
False
Let z be 5 - (2 + 1) - 68. Let n = -112 - -209. Let f = z + n. Is f a prime number?
True
Let m be ((-7615)/4)/((-14)/280). Suppose 52*f = 47*f + m. Is f prime?
False
Let u(n) = -27*n**2 - 4*n - 16. Let y be u(5). Let d = 1009 + y. Is d composite?
True
Suppose 9*t = 10*t - 3*b - 10826, 0 = -4*t - 2*b + 43262. Is t a composite number?
True
Let w = 55 - 65. Is w/(-4)*(-9772)/(-35) prime?
False
Let b(m) = -m**3 + 33*m**2 - 26*m - 61. Is b(27) a prime number?
False
Suppose 4*l - 6 = 5*l. Let v(y) = y**2 + 8*y + 9. Let t be v(l). Is 435/(-10)*26/t a composite number?
True
Is (-4)/(-50) - 1441244/(-700) composite?
True
Let v(n) = 14*n**2 + 13*n - 3. Let p be v(-6). Suppose -p = -3*m + 8*t - 5*t, m = 2*t + 139. Is m a composite number?
True
Let x be (-2)/((-2)/6 - (-12)/(-36)). Suppose s - 1976 = -3*s + x*y, 5*y - 2505 = -5*s. Is s composite?
True
Suppose 5*z - 24553 = k, 3*k - 6 = -0*k. Is z prime?
False
Suppose -84189 = -13*h + 2872. Is h a composite number?
True
Suppose 0 = -40*r + 2268 + 10492. Is r prime?
False
Suppose -4*w = 2*w - 18. Let v be w/6*2 - -2. Suppose 0 = -v*m - 123 + 600. Is m a composite number?
True
Let k(w) = 27*w**3 + 13*w**2 + 5*w + 113. Is k(14) prime?
True
Suppose 2*o = 6 - 4, 5*m = -2*o + 7. Is (7821/(-6) - m)*4/(-2) a composite number?
False
Let x(u) = -u**2 - 8*u - 12. Let g be x(-5). Suppose 3*d - 232 = -g*c - 61, 2*d - 4*c = 102. Is d a prime number?
False
Is 35594/3 - (-25)/(-15) prime?
True
Let l be 1 - (-1 + 0) - (-1123)/1. Let z = -598 + l. Is z composite?
True
Let i be (-10)/40 - 4091/4. Is i/(-21) - 6/(-21) prime?
False
Let y = 30685 - 17898. Is y composite?
True
Suppose 0 = -9*s + 94 - 310. Is (-11672)/s + (-1)/((-3)/2) a prime number?
True
Let r(b) = -b**2 - 5*b + 4. Let s be r(-4). Suppose -12*a = -s*a - 1412. Is a composite?
False
Let s be 3*(-2)/(-3) + -1. Let k be 12 - 9 - (0 + s). Suppose -5*w - 20 = 0, 1044 = 3*i + k*w + 353. Is i a composite number?
False
Let f = 98 + -62. Suppose -12 = 4*p - 0*p. Let c = f - p. Is c a prime number?
False
Suppose 516 = 5*b - 299. Suppose -86 - b = -r. Is r a prime number?
False
Let r(i) = -541*i**3 + 11*i**2 + 3. Let w(y) = 180*y**3 - 4*y**2 - 1. Let h(x) = 4*r(x) + 11*w(x). Suppose 0 = -2*g - 2 - 0. Is h(g) a prime number?
False
Let f = -27 + -542. Let r = 1104 - f. Is r composite?
True
Suppose 16 = 4*l - l - i, 2*i - 3 = l. Suppose 4*d = l + 9. Is ((-106)/d)/((-5)/10) a composite number?
False
Suppose -o - 2*f = -27607, 5*o - 3*o - 3*f = 55228. Is o prime?
True
Suppose -7*v = -10*v. Let m = 1 - v. Is -5*(0 + -12 + m) a composite number?
True
Is (-10)/(-25) + 1*8386/10 a composite number?
False
Suppose q = -2*u + 14569, -2*u - q + 14560 = -3*q. Is u a composite number?
False
Let o(v) = -30*v - 5. Let f(j) = 240*j + 40. Let n(z) = -3*f(z) - 25*o(z). Let t be n(6). Suppose 7*u = 2*u + t. Is u composite?
False
Let q(r) = -r**2 + 24*r + 18. Let m = 21 + -8. Is q(m) a prime number?
False
Is 12*(-6)/(-12) - -11845 prime?
False
Let p(c) = 0 + 5 + 2*c - 4 + 27*c**2. Let u be p(-1). Suppose -u - 57 = -w. Is w prime?
True
Suppose -4*g - m + 6 = -7, -2*g + 3*m - 11 = 0. Is (-4494)/(-10) - g/5