se
Let x = -216 - -529. Suppose -464 - x = -3*u. Is u prime?
False
Suppose 0 = -5*q + 3*q. Suppose l - 3*x = 71, l - x = -q*l + 79. Let d = -30 + l. Is d prime?
True
Let n(v) = 4*v**2 + 6*v - 9. Let o be n(-8). Let x = -112 + o. Is x composite?
True
Let m(b) = 3*b**3 + 2*b**2 - b + 2. Let t(y) = -y**3 + 6*y**2 - 6*y + 3. Let g be t(5). Let n be m(g). Is (-10)/2*n/10 prime?
False
Let n be 2*(-2 - (-21)/6). Suppose n*y - 197 - 10 = 0. Suppose -w = -4*w + y. Is w a prime number?
True
Let r(h) be the first derivative of 3*h**4/4 - h**3/3 + 5*h**2/2 - 5*h - 9. Is r(4) prime?
True
Let w(u) be the second derivative of -u**5/20 - u**4/2 - u**3/2 - 5*u**2/2 + 3*u. Is w(-9) composite?
True
Suppose 3*c + 3743 = d, 5*d + 0*c = 3*c + 18691. Is d composite?
True
Suppose -y + 1 = -4. Let t(a) = a**2 + a + 1. Let r be t(y). Let l = r - 12. Is l a prime number?
True
Let w(r) = r**3 + 6*r**2 + 4*r - 6. Let v be w(-5). Let g be (-2 - (-3 - v))/(-2). Suppose -69 = -5*h + a, g = -0*h + 3*h + 4*a - 23. Is h a composite number?
False
Let y be ((-1)/(-2))/(1/10). Let f(m) = 2*m**3 - m**2 - 3*m + 1. Is f(y) a composite number?
False
Let p(x) = -13*x**2. Let c(z) = -25*z**2. Let m(q) = -4*c(q) + 7*p(q). Is m(1) a composite number?
True
Let y(x) = 1 + 1 + 2*x + 4*x**2 + x + x**3. Let d be y(-2). Is 3/12 - (-643)/d a composite number?
True
Let b be (-3)/6 - 147/(-2). Suppose 4*p + b - 193 = 0. Suppose -3*y + p = 3. Is y prime?
False
Let a(s) = s**2 - 64. Let m be a(0). Let b = 129 + m. Is b prime?
False
Let f(r) = -151*r - 6. Let n be f(-3). Let m = 686 - n. Is m composite?
False
Let x(o) = 20*o**2 - 1. Let t be 32/(-14) - (-10)/35. Is x(t) prime?
True
Let n = 7 - 10. Is 2/(-3) - 383/n a prime number?
True
Suppose -m = -3*m. Suppose m = -4*q - y + 14, y + 10 = 4*q - 0*y. Suppose -q*l + 0*l = -231. Is l prime?
False
Let k(f) = -5 - 2 + 5 + 7*f. Is k(3) prime?
True
Is (-121)/(0/4 - 1) composite?
True
Let s(z) = -523*z + 1. Let h be s(-1). Suppose 2*t = 5*t + 2*f - 393, -h = -4*t + 2*f. Is t a composite number?
False
Is 4/(-3) + 3531/9 prime?
False
Let w(f) be the first derivative of 47*f**4/12 - f**3/3 + f**2/2 + f - 1. Let l(j) be the first derivative of w(j). Is l(1) a prime number?
False
Let m be 1 + (22 - (3 - 6)). Suppose 0 = -3*t + m + 49. Is t prime?
False
Let d(g) = -g - 1. Let t be d(-1). Suppose 10*q - 13*q + 165 = t. Is q prime?
False
Let b(z) = z**2 + 9. Let k(g) = -g**2 - g - 8. Let y(m) = 5*b(m) + 6*k(m). Let c be y(-4). Is 22 + (-2 - (0 - c)) composite?
True
Let p = 10 - 7. Suppose -b = -p + 1. Suppose -b*a + y + 133 = -0*y, -5*y = -5*a + 330. Is a a prime number?
True
Let v(t) = -t + 14. Let u be v(12). Let s(f) = -f + 4. Let g be s(4). Suppose 2*x + 46 = u*n, g = 2*n + x + 2*x - 61. Is n a prime number?
False
Let z = 1103 + -660. Is z a prime number?
True
Is 761/2 - (-2)/4 prime?
False
Let y = 16 - -2. Suppose -6 + y = 3*o. Suppose 5*m - 225 = -o*j, m - 6 = -j + 38. Is m prime?
False
Let a = 5056 - 1725. Is a a composite number?
False
Let q = 241 + 171. Suppose -2*l - 6 = -q. Is l a composite number?
True
Let g(y) = 10*y**2 + y + 24. Is g(7) a prime number?
True
Let c(b) = -2*b. Let u be c(-1). Let l(i) = 32*i - 17. Let t be l(6). Suppose 3*y + u*y = t. Is y composite?
True
Let n be (-10)/10 - 1*-8. Is n*(3 + (-2 - -10)) a composite number?
True
Let w(i) = 51*i**2. Is w(1) prime?
False
Let d(g) = 3*g + 3*g**3 + 5*g**2 - 2*g**3 - 2 - g. Is d(-3) prime?
False
Let g be 1*-3*12/9. Let p be 2/g - (-49)/2. Is 3/p*10*52 a prime number?
False
Let h(w) = -w**3 - 5*w**2 + 7*w + 1. Let g be h(-6). Let r be -4*(25/4)/g. Suppose 4*k - 115 = -4*v + v, -3*k + 188 = r*v. Is v a composite number?
False
Let s be (-5)/2*(2 - -2). Let f(z) = -24*z - 1. Is f(s) a composite number?
False
Suppose -2*f - 55 = -n - 7*f, -5*f = -n + 15. Suppose n = 5*k + 4*m, -4*k + 17 + 11 = -5*m. Is k prime?
True
Suppose 4*y + 2857 = 3*d, d + 0*d - 5*y = 945. Is d composite?
True
Let w = 6 + -2. Suppose -17 = 3*z - f, w = -z + 2*f + 5. Let i(v) = v**2 - 3. Is i(z) a composite number?
True
Suppose 4*x + 14 = l, -3*x + 4*x = 2*l - 7. Is -5 + l - (-99 - 1) composite?
False
Suppose 3*b - 3505 = -2*d, 4*b + 6193 = 5*d - 2604. Is d a composite number?
True
Let z be ((-36)/3)/(-2) - 3. Let p be z*(-3 + (-22)/(-6)). Suppose -15 = -u + 4*v, p*u + 0*v = -5*v + 95. Is u prime?
False
Suppose 11*o - 3846 = 9*o. Is o composite?
True
Let d = 8438 + -3151. Is d composite?
True
Let n(j) = 12*j**2 + 6*j + 23. Is n(-6) prime?
True
Let x(z) be the third derivative of z**6/120 + z**5/15 + z**4/8 + z**3/3 + 3*z**2. Let o be x(-2). Suppose 2*c + o*v = 210, -3*c + 3*v = 2*c - 460. Is c prime?
False
Is (6 - 1760)*1/(-2) a composite number?
False
Let l(m) = m**3 + 8*m**2 - 2. Let k be l(-7). Suppose 5*r - 3 = o + 6, r + 2 = 4*o. Is (o - 2)*k*-1 prime?
True
Let n be (0 + -13)/(2/42). Is 0 + n/(-6)*2 a composite number?
True
Let v = 2138 + 1127. Is v a prime number?
False
Suppose -5*d + 10 = 5*a, 5*d + 0*d + 2*a = -5. Let h be (1 + -2)*d - -4. Let j = 30 + h. Is j composite?
False
Is 2*9/24 + (-78155)/(-44) a composite number?
False
Let z(a) be the first derivative of 10*a**3/3 - a**2/2 - 4*a + 3. Is z(3) prime?
True
Let j be (-4 + 3)/((-1)/4). Suppose -2*f = -j*f + 134. Is f a prime number?
True
Let v(x) = 3*x**3 - 5*x**2 + 4*x - 1. Suppose -4*i + 2*i + 4 = 0. Suppose 4*p - 15 = -k, -i*p = 3*p - 3*k - 23. Is v(p) a composite number?
False
Let q = -9 + 13. Let y be 582/q*(-6)/(-9). Let f = y - 62. Is f a prime number?
False
Let s(t) = 91*t + 9. Let h(p) be the second derivative of 23*p**3/3 + 5*p**2/2 + p. Let l(d) = -7*h(d) + 4*s(d). Is l(2) prime?
False
Let f(g) be the third derivative of g**4/4 - 5*g**3/6 + 3*g**2. Is f(6) prime?
True
Suppose 0 = -0*f - 5*f + 2*k - 4102, 2474 = -3*f - 2*k. Let i = -2370 - f. Is (-2)/5 + i/(-20) prime?
False
Let n = 544 + -321. Is n composite?
False
Let a(z) = 5*z**2 + 1. Let y be a(1). Let l be (4/y)/((-1)/(-3)). Suppose -l*p + 3*u = -7*p + 232, p + 3*u = 44. Is p composite?
False
Suppose -8 = 4*i - 0*i. Let g be (-92)/(-28) - i/(-7). Suppose g*j - 185 = -2*j. Is j a prime number?
True
Let l = 82 - -12. Is l a composite number?
True
Suppose 3*p - 135 = -4*c, -4*c - 4*p - p = -145. Let y be (24/c)/(2/5). Is 23 - (-2 - (y + -2)) a prime number?
False
Suppose 0 = 5*m - 15 - 0. Suppose 0 = -a + 3*a + 4*v - 98, 5*a - 310 = m*v. Is a prime?
True
Suppose -3*l = -715 - 473. Is -3 + 13/(39/l) composite?
True
Suppose -15 = 3*j, -5*v + 4*v = -4*j - 177. Is v a composite number?
False
Let a be (-76)/10 - (-8)/(-20). Let v(g) = g**3 + 7*g**2 + 7*g - 7. Let p be v(a). Let l = -69 - p. Is l composite?
True
Suppose -5*m = 5*v - 1105, -3*v + 663 = m + m. Let f = 62 + v. Is 2/(-12) - f/(-6) prime?
True
Let r(u) = 2*u**2 + u + 1. Let f be r(-1). Let h(z) = z**3 - 3*z**2 - 9*z + 9. Let c be h(9). Suppose -c = -f*d - 40. Is d prime?
False
Is -4*(-2)/8*2084/4 prime?
True
Let l(j) = -11*j + 11. Let n be l(-8). Let s = 84 + n. Is s composite?
True
Let r = -6 + 32. Suppose 0 = 3*o + 4*q - r + 6, -2*o = -4*q. Is o composite?
True
Suppose 70 = 53*f - 51*f. Is f a composite number?
True
Let b(x) = 114*x**2 + 18*x - 7. Is b(5) composite?
True
Let b = 4 - 3. Is (-4 + b)*(-395)/15 a composite number?
False
Suppose 4*h - 293 = 5*o, 5*o - 15 = -0*o. Is h composite?
True
Suppose 5*x = 2*g - 59, -3*x + 6*x = 4*g - 41. Let r(a) = a + 29. Let s be r(-21). Is x*4/(s/(-14)) composite?
True
Let v = -2 + 4. Suppose x - 1 = v. Suppose -30 = -0*i - x*i. Is i a prime number?
False
Let l(i) be the second derivative of 0 - 11/12*i**4 - 2/3*i**3 - 1/20*i**5 - 3*i + 15/2*i**2. Is l(-11) prime?
True
Let w = 14 + -10. Suppose 0 = z - 3 - w. Is z prime?
True
Let s = -19 + 236. Is s composite?
True
Suppose -3*g = c + 3205 - 9000, 5*c = 4*g - 7714. Is g a prime number?
True
Let n(a) = -17*a**3 + a**2 + 3*a - 2. Let u be n(2). Let g = -81 - u. Is g a prime number?
True
Let f = -3 - -37. Suppose 8 = 2*q + 3*d - 5, 2*q - f = 4*d. Is q prime?
True
Is 52/6*1/(-2)*-15 a composite number?
True
Suppose 5*i - 269 = 201. Is i a prime number?
False
Let x(q) = q**3 - 19*q**2 + 9*q - 2. Is x(19) a composite number?
True
Suppose -4*o + 647 = 3*x, 2*o + 2*o = x + 643. Let g = 292 - o. Is g composite?
False
Suppose 0 = 4*m - 12, -4*h + 3*m + 499 = -5