rue
Let l = -48 - -401. Is l composite?
False
Let g(k) = -k**3 - 5*k**2 + 5*k + 1. Let z be g(-6). Suppose -z*t + 2*t = -95. Suppose -4*x = 3*r - 83, -5*r = -x - t - 150. Is r a prime number?
False
Let i(f) = -5*f**2 + 47*f - 23. Let j(w) = 2*w**2 - 16*w + 8. Let h(l) = -3*i(l) - 8*j(l). Is h(-6) composite?
False
Suppose 0 = 3*t - 5*w - 17, 5 = 4*t + 4*w - 7. Suppose -r - 99 = -t*r. Let k = r + -12. Is k prime?
False
Let z(k) = k**3 + 7*k**2 + 5*k. Let n be z(-6). Let h be (n/10)/(1/5). Suppose 395 = h*f + 2*f. Is f composite?
False
Let r = 1 - 3. Is r*1 + (0 - -45) a prime number?
True
Suppose 4*g + 10 = -g, 4*p - 136 = -4*g. Is (9/p)/((-1)/(-452)) composite?
False
Let x = -4 + 1. Is (6/(-2))/x*367 a composite number?
False
Is 3 + -4 - (-1 - 293) a prime number?
True
Let n(j) be the first derivative of j**3 + j**2/2 - 5. Is n(2) a composite number?
True
Suppose -3*i - 4 = 4*r + 1, -3*r - 25 = -2*i. Let w(t) be the first derivative of -5*t**2 - t + 1. Is w(r) prime?
False
Let b be (-1)/(2 + 462/(-230)). Suppose 5*m + 0*m = b. Is m composite?
False
Suppose 87*l - 90*l + 393 = 0. Is l composite?
False
Let x = 5 - -3. Suppose -3*h = -5*n - 4*h + 8, 4*h + x = 0. Suppose n*b - 77 = b. Is b a prime number?
False
Is ((-4434)/(-12))/((-1)/(-2)) composite?
False
Let h(u) = 9*u - 5. Let g be -3 + 4/(4/9). Is h(g) a composite number?
True
Let n(w) = 0 - 2 + 13*w**2 + 4 - w - 3. Let a(y) = y**3 + 3*y**2 - 1. Let m be a(-3). Is n(m) a prime number?
True
Let l be (-1)/(2 - 69/33). Suppose 3*g - l - 34 = 0. Is g a composite number?
True
Suppose -3*h - 13758 = -9*h. Is h composite?
False
Suppose 4*k + 11 = -1, -r - k = -647. Suppose -v = -5*m + r, 5*m = 3*v + 2*v + 670. Is m a composite number?
True
Let z(j) = j + 16. Let o be z(-12). Suppose 2*m = 2*w + 270, 8 = -o*w - 0*w. Is m prime?
False
Let x = 30 - -31. Let s = x - -6. Is s a composite number?
False
Is (-6)/(-4) + 3777/6 a prime number?
True
Let p(j) be the second derivative of -j**5/20 + 2*j**4/3 - 7*j**3/6 + 3*j**2/2 - j. Is p(6) composite?
True
Let u be (462 + 4)*(0 - 1). Let o = u + 731. Is o prime?
False
Let d = 4 + -5. Let c = 4 + d. Suppose 0 = -c*z - r + 22, 5*z - 37 = -4*r + 2*r. Is z a composite number?
False
Let s be 256 + -1 + 3 - 3. Is s + (-2)/(3 + -1) a prime number?
False
Let k(z) = 5*z - 10. Let d = 4 + -4. Suppose q - 4 - 3 = d. Is k(q) prime?
False
Suppose -a - 2*a + 1659 = 0. Is a a prime number?
False
Suppose -1589 = -4*j - z, -z + 0 = -1. Is j a prime number?
True
Let p be 2 + (-3)/(-3) + -2. Let v = 6 + p. Is v prime?
True
Suppose -669 = -y - 2*t, -4*y - 5*t + 3*t + 2682 = 0. Is y composite?
True
Let y be (-1 - (-4 - -3))/2. Suppose y = -x + 3. Let u = 92 + x. Is u prime?
False
Let d(m) = -37*m**3 - 2*m**2 + m + 1. Is d(-2) a prime number?
False
Let a = -139 + 252. Is a a prime number?
True
Let j = 907 + 590. Is j prime?
False
Let x(n) = 53*n**3 - 3*n**2 + 2*n - 1. Is x(2) prime?
False
Suppose 186*d - 10911 = 183*d. Is d prime?
True
Let c(u) = 161*u + 4. Is c(3) composite?
False
Suppose 0 = 2*f + f - 5*t - 3, 3*f + 3*t - 3 = 0. Let z be f - (-3 - (-1 - 1)). Suppose -67 = -d - z*y - y, 0 = -3*y. Is d a prime number?
True
Is 0 + (-122)/(-1) + 5 a composite number?
False
Let b(f) = -f**3 + f**2 - 2*f + 535. Is b(0) a prime number?
False
Suppose 0 = 5*n - 10. Suppose 2*w = -n*w + 684. Let i = w - 92. Is i a prime number?
True
Suppose -2*q = -0*c + 5*c - 13045, 4*q + 7827 = 3*c. Is c prime?
True
Suppose -4*w - 5*q + 2 - 1 = 0, w + 5*q + 11 = 0. Suppose -w*c = -37 - 3. Is c composite?
True
Suppose 9*j - 2390 = -2*u + 5*j, -5*u - 5*j = -5960. Is u a composite number?
True
Is (2 + 15818/(-8))/((-19)/76) a composite number?
False
Let y(p) = -p**3 + 24*p**2 - 14*p - 28. Is y(23) prime?
True
Suppose 5*q - 986 - 1699 = 0. Is q a composite number?
True
Is 5216/5 - 1/5 a prime number?
False
Let z(p) = 12*p**2 + 3*p - 3. Let k be z(-3). Suppose -51 = -3*d + n, -4*d = d + 2*n - k. Let j = -11 + d. Is j a prime number?
True
Let l be (-2)/(-4) - (-1542)/4. Let v be (-135)/18*(-4)/6. Suppose v = y, 2*t + t - l = -y. Is t a prime number?
True
Suppose 0*r = -3*r. Let z = 2 + r. Suppose 9 = -5*f + 29, 0 = 5*a - z*f - 157. Is a composite?
True
Suppose -4 = 5*z - 6*z. Suppose x = z*x - 93. Is x a prime number?
True
Let c(n) = -12*n**2. Let a be c(-1). Let r be ((-2)/3)/(2/a). Suppose r*t + 4*w - 145 = 3*w, 3*w = -2*t + 65. Is t prime?
True
Let x(o) = -40*o + 11. Let v be x(-5). Let g = v + -144. Is g composite?
False
Is (-20)/(-30)*2874/4 composite?
False
Suppose 3 + 2 = 5*k. Let i be (-2 - 12) + -2 - k. Is 4/(-2) + i/(-1) composite?
True
Let h be (-2 - -4)*(-25)/10. Let a = 14 - h. Is a prime?
True
Suppose 69 = 4*x + 29. Let z be (46 - 6)*(-232)/x. Is z/(-28) + (-1)/7 a composite number?
True
Is 881/(-12)*-4 - (-4)/(-6) composite?
False
Let s = 22 + -16. Let y(v) = 3*v - 7. Let g be y(s). Suppose 5*h - g - 174 = 0. Is h prime?
True
Let b = -8 + 18. Let t(v) = -v**2 + 9*v + 13. Let z be t(b). Is (-3)/(z - 4) - -90 a composite number?
True
Suppose -5*b = 25, 5*f + 2*b = b + 3940. Is f a composite number?
True
Suppose 6*i = 2*i + 20. Suppose -3*p = c - 0*c - 10, -22 = -i*c - p. Suppose 2 = c*a - 10. Is a a prime number?
True
Suppose -2*g = -5*s, 3*g = -3*s + 4*g. Suppose -2*y + 21 + 151 = 2*u, 3*u + 4*y - 261 = s. Is u composite?
False
Let n(a) be the first derivative of 13*a**3/3 + 3*a**2/2 - 4*a - 3. Is n(3) a composite number?
True
Suppose h - 2*b - 12 = 0, 9*h - 4*b - 36 = 4*h. Is (0 + -1)/(h/(-748)) a composite number?
True
Is (-30786)/(-48) - 9/24 composite?
False
Suppose 2*u + 2353 = 3*s - 854, 0 = 5*u. Is s/11 - (-4)/(-22) prime?
True
Let w(u) be the first derivative of -u**4/4 - 7*u**3/3 - 9*u**2/2 - 8*u + 2. Is w(-7) a prime number?
False
Let v(k) = -367*k + 5. Is v(-4) composite?
True
Let b be 735/20 + (-1)/(-4). Suppose -3*z = -4*z + b. Is z a composite number?
False
Suppose -4*z - 7*z + 19063 = 0. Is z prime?
True
Let u(o) = 5*o**2 + 2*o + 6. Let v be u(7). Suppose -2*x + v = 3*x. Is x prime?
True
Suppose -o + 0*o - 3*s = -12, 3*o = 5*s + 22. Is 6/27 + 313/o a prime number?
False
Suppose 5*b = b + 852. Is b/4 - 3/12 prime?
True
Let g be 2 - 1/((-3)/6). Suppose -619 = -g*o + k, 0*o + 3*k = -4*o + 607. Suppose m = -m + o. Is m a composite number?
True
Suppose 1 - 5 = p. Let q(d) = -5 - 5*d + 5*d**3 - 3*d**3 - 4*d**2 - 3*d**3. Is q(p) a composite number?
True
Let m be (-4)/(-6) - (-7)/3. Suppose m*o + 102 = 3*y, -6*o + 2*o = -16. Suppose -2*x + y = 3*q - 19, -2*q + 38 = 5*x. Is q a prime number?
True
Suppose 5*s - 602 = w + 915, 3*w = s - 309. Is s a composite number?
True
Suppose -3*r = -2*h + 6025, -3*h - 5*r + 3032 = -2*h. Is h composite?
True
Suppose 2*k = 5*k - 339. Is k composite?
False
Suppose 2*k + c + 0*c = 520, -4*c + 1303 = 5*k. Is k a composite number?
True
Suppose -3*y = 3*v + 267, 0 = -5*y + v - 3*v - 454. Let l = 131 + y. Is l composite?
True
Let z(g) be the second derivative of g**5/5 - g**4/8 - 2*g**3/3 + g**2/2 - 4*g. Let h(p) be the first derivative of z(p). Is h(-3) a composite number?
False
Suppose -4*n + 19 = -41. Suppose -g = -2*g + n. Suppose g = t - 20. Is t prime?
False
Let i(l) = -9*l**2 + 3*l. Let r be i(-3). Let s be ((-22)/(-4) - -1)*-6. Let q = s - r. Is q a composite number?
True
Suppose y = 2*s + 3217, 2*s - 6474 = -2*y - 2*s. Is y a composite number?
True
Suppose 0 = -7*d + 2*d + 2455. Is d a composite number?
False
Suppose -y = -2*y. Suppose y = -5*u - 3*o + 270, -4*u + o - 29 = -228. Is u a composite number?
True
Let v(a) = a**3 + a**2 + 7. Is v(5) a composite number?
False
Let l(i) = -4*i**3 - 2*i**2 - 3*i - 1. Let c be l(-2). Suppose 0 = -r + 3*r - 28. Let w = c - r. Is w composite?
True
Let l = 21 - 16. Suppose -3*r - 4*j = -431, 2*j = l*r - 781 + 28. Is r a composite number?
False
Suppose 0*i - 7*i = 2548. Let u = -218 - i. Is u composite?
True
Suppose 0 = -3*j - 812 + 3065. Is j composite?
False
Let a(u) = 22*u**2 - u. Suppose -4*s + 9*s - 2*v = 1, 0 = 4*s + v - 6. Is a(s) a prime number?
False
Suppose 57*p - 54*p = 879. Is p a prime number?
True
Let z(y) be the second derivative of 25*y**3/6 + 2*y**2 - 4*y. Is z(3) a prime number?
True
Let h be (-3)/(-2) + 2/4. Is 559/26*h*1 composite?
False
Let r(t) be the second derivative of -3*t**3/2 + t**2 + 4*