er?
False
Let t = -9 + 11. Suppose 0 = -t*m + 3 + 1, -4*l + 2446 = -3*m. Is l prime?
True
Let w(n) be the first derivative of n**4/4 + 7*n**3/3 - 5*n**2/2 + 19*n - 2. Let j be w(-8). Let g(a) = -2*a**3 - 3*a**2 - 5*a - 9. Is g(j) composite?
False
Let n(m) = -6*m**2 - 13*m - 15. Let p be n(10). Is (-1 + -2)*8/12 - p a prime number?
True
Suppose 97757 = -21*a + 32*a. Is a a prime number?
True
Is (-11)/(-11)*24555/3 composite?
True
Let m(y) = 809*y. Let l be m(3). Suppose 0*v - 3*v = -l. Is v a prime number?
True
Let s(g) = -114*g**3 + 2*g**2 - g + 6. Is s(-5) a composite number?
True
Let l(o) = -o**2 + o + 1985. Let g be l(0). Suppose 2*j = -m - 4*m + g, 0 = -m + 4*j + 397. Is m prime?
True
Let t = -22975 - -32892. Is t composite?
True
Suppose 0 = 4*x - 264*n + 262*n - 2004, 2*n + 507 = x. Is x a prime number?
True
Suppose 4*j + 0*t - 60 = 3*t, 4*j + 2*t = 60. Let f(r) = -r + 1872. Let p be f(0). Is p/10 - 3/j a prime number?
False
Let g be 4 + (3/3)/(-1). Suppose -g*z + 2*z = -4*q + 5, -2*z = -5*q + 4. Suppose -z*v = -0*v - 1101. Is v composite?
False
Suppose 5*i = 25, 4*r + r - 4*i = 105. Is ((-393)/(-5))/1 + 10/r composite?
False
Let v(k) = -5*k**2 + 2*k + 4. Let m(o) = -4*o**2 + o + 3. Let q(f) = -4*m(f) + 3*v(f). Let w be q(-5). Suppose 2*j + w = 353. Is j composite?
True
Is ((-7692)/(-18))/(3/(189/6)) prime?
False
Let c(b) = -907*b**3 - 2*b - 1. Let a be c(-1). Let j be 0 + (-8)/(-4) + a. Suppose 4*k + 54 - j = 0. Is k a composite number?
True
Let v = 3106 + -1745. Is v prime?
True
Is ((-1)/(-3))/((6 + 2)/91992) a composite number?
False
Let n = 5391 - -388. Is n a prime number?
True
Is 1/((-2)/(-6))*3046/3 prime?
False
Let i = 2033 - 340. Is i composite?
False
Suppose -87 = -2*b + 5*b. Let h = b + 35. Is h prime?
False
Let m = -10139 - -18405. Suppose -4086 = -4*y + 4*f + m, -2*f = -10. Is y prime?
False
Let w(t) = 40*t**3 - 4*t**2 + 28*t - 119. Is w(6) a composite number?
True
Suppose 0*u + 5*u = -f - 40, 5*f + 2 = -3*u. Let j be (-3)/u + 20/12. Suppose -5*y = -5*n + n + 376, 0 = 5*n + j*y - 437. Is n a composite number?
False
Let d(t) = 2*t**2 + 3*t + 10391. Is d(0) prime?
True
Is ((-2)/(-8))/(3/(-12273))*-4 a composite number?
False
Let b(j) = j**2 - 3*j - 4. Let w be b(4). Suppose -p - 4*k + 147 = w, 58 = 2*p + 2*k - 254. Is p composite?
True
Let j(s) = -3*s - 2. Let a be j(2). Let f(w) = -w - 2. Let d(g) = g**2 - g - 21. Let l(h) = d(h) - 6*f(h). Is l(a) a composite number?
True
Suppose -d - 5*u = 752, 4*u - 398 = d + 336. Let l = d + 2015. Is l composite?
True
Let l be (-1)/(5/15) + 28. Suppose 4*s = 4*k - 196, -2*s + 36 = k - l. Is k a prime number?
True
Let p = 9 + -15. Let o be (-1)/(-2) - (-447)/p. Let g = o + 165. Is g prime?
False
Suppose -2*w - 8 = 5*v - 0, 5*w - 11 = 3*v. Suppose 4*t + t - 20 = 0. Is v + t/(12/207) prime?
True
Let s be (-22)/(-2 + -1 + 5). Let u = s - -14. Suppose u*n - 152 = -n. Is n prime?
False
Let g(d) = -4*d - 25. Suppose 15*s = 20*s + 100. Is g(s) a prime number?
False
Is 3*3 - (-26829 - -103) a composite number?
True
Suppose -m - 30 = -4*w - 71, 4*w + 3*m + 21 = 0. Let o be (-2)/w + 192/108. Suppose 0 = 3*y - f - 1014, -y + 5*f = o*y - 1026. Is y composite?
False
Let t(k) = -2*k**3 + k**2 - k - 1. Let w = 31 + -32. Let m be t(w). Suppose -3*n + 2*x = -1021, 0*x + m*x - 3 = 0. Is n a composite number?
True
Let n(r) = -11*r**3 + 9*r**2 + 6*r - 12. Let f(b) = 4*b**3 - 3*b**2 - 2*b + 4. Let m(z) = -8*f(z) - 3*n(z). Let j be m(3). Let q = 55 + j. Is q prime?
True
Let f(w) = w**2 - 3*w - 1. Let q be f(5). Let n = q + 350. Suppose 3*v + 5*h = n, -h + 2 = -2. Is v a composite number?
False
Let r be 106/(-10) + (-10)/25. Let g = 60 + r. Is g a composite number?
True
Suppose 3*k = 13139 + 33388. Is k a prime number?
False
Let z(g) = 4*g + 10. Let m(d) = -11*d - 31. Let p(q) = -3*m(q) - 8*z(q). Let a be p(-11). Suppose -a*j + 86 = -108. Is j a composite number?
False
Let h(t) = -t**3 + 5*t**2 - 3*t + 4. Let n be h(4). Is (3 - -516) + n/(-2) prime?
False
Let d = 814 + -27. Is d a prime number?
True
Let g(s) be the first derivative of s**3 + s**2 - s - 1. Let w be g(-8). Suppose 2*y - 2*f = -2*y + 190, 3*f - w = -4*y. Is y composite?
True
Suppose 0 = 17*y - 65*y + 3966576. Is y a prime number?
False
Let j = -29 - -16. Let w = 9 + j. Is (0 - 2)*110/w prime?
False
Let n be -8 + 0/((-4)/(-2)). Let p(m) = 2*m**2 + 11*m - 3. Is p(n) composite?
False
Let w(j) = -j**3 + 7*j**2 - j - 7. Let y be w(5). Suppose y - 12 = 2*l. Is l composite?
False
Let d(i) = 63*i + 20. Is d(63) prime?
True
Let j(b) = 2*b + 12. Let l be j(4). Suppose -3*m = 2*m - l. Suppose -m*f + 9*f = 2525. Is f a composite number?
True
Suppose -4*v + c = -1359, -v + 2*c = -0*v - 338. Suppose -6*g + 2*g = -v. Is g composite?
True
Suppose 0 = 39*b - 33472 + 3481. Is b a prime number?
True
Let r(x) = x**2 + 8*x + 12. Let q be r(-6). Suppose 4*m - 945 - 1619 = q. Is m prime?
True
Let w(z) = -71*z - 5. Let l be w(-3). Let y = 297 - l. Is y a composite number?
False
Let x = 25118 + -14395. Is x a composite number?
False
Let w(v) = v**2 - 3*v - 2. Let l be w(-1). Suppose l*h - 5526 = -4*b, 4*b - 4*h = 2*b + 2788. Suppose 2*x = b + 550. Is x prime?
True
Let u(q) = 3*q**2 + 8*q - 4. Let l(k) = 8*k**2 - 2*k + 1. Let m be l(1). Let n be u(m). Let s = n - 108. Is s a prime number?
False
Let s(q) be the third derivative of -q**6/120 - q**5/20 + q**4/6 + q**3/3 + 6*q**2. Let c be s(-4). Suppose -c*r + 3*r - 59 = 0. Is r a prime number?
True
Suppose 10*n - 3350 = 5*n. Let f = n + -469. Is f composite?
True
Suppose 1083 = 3*u - 4*z, -2*z + 6*z - 1107 = -3*u. Let t(h) = h**3 + h + 1244. Let v be t(0). Let r = v - u. Is r a composite number?
True
Suppose 2*k + 2*k = 20. Suppose -1112 = -r + k*r. Let z = r + 489. Is z prime?
True
Let q(x) = 26*x**2 + 15*x - 12. Let c be q(11). Suppose 3140 - 11320 = -5*j + v, 2*j + 5*v = c. Is j composite?
False
Let j be 18/(-27) - 22/(-6). Suppose j*k = -k - 180. Is -5*(-102)/k*-3 prime?
False
Let s be (7782/12)/((-1)/(-2)). Suppose -3*u - 2*p = -s, 334 = 5*u + p - 1823. Suppose 5*t = -u + 2326. Is t a prime number?
True
Suppose 0 = 10*c - 256960 - 516930. Is c prime?
False
Suppose 4*j + 71790 = 2*a, 4*a - j = 244804 - 101217. Is a a composite number?
False
Let j = -31 - -36. Suppose 125 = j*n - 350. Is n composite?
True
Let w(t) = 9*t**2 + 2*t - 3. Let i(k) = -k**2. Let j be (12/4)/(-1 + 4). Let b(x) = j*w(x) - 3*i(x). Is b(3) composite?
True
Suppose 4800 = -13*w + 18*w. Let y = w + -515. Is y composite?
True
Is 2*(11518/4 - (-8 + 10)) composite?
True
Let d(r) = -r**3 - 6*r**2 - 6*r + 0 + 0 - 1 - 5. Let a be (-1 - 0)*7/1. Is d(a) prime?
False
Let z(w) = 112*w**3 - 14 - 2*w**2 - 19 + 2*w + 32. Suppose -j + 2 = 1. Is z(j) a composite number?
True
Suppose -3*s = -8*s - 3*z + 32, s + 5*z = 24. Suppose -s*y = 420 + 304. Let r = 338 + y. Is r a composite number?
False
Let g(a) be the first derivative of a**4/4 - a**2/2 + 6139*a - 24. Is g(0) prime?
False
Suppose 7 - 22 = -5*d. Suppose -12 = -5*q + d. Suppose -2*h - 991 = -q*j, h - 4*h - 1321 = -4*j. Is j composite?
False
Let k = -21896 + 10161. Is k/(-15) - 1/3 - -3 prime?
False
Let n(f) be the first derivative of 4*f**3 - 11*f**2/2 - 6*f + 15. Is n(5) composite?
False
Suppose -r - 3*h + 17 = 0, -4*h = 13*r - 17*r - 12. Let v(p) be the third derivative of 13*p**5/60 + p**4/12 - p**3/2 + p**2. Is v(r) a prime number?
True
Suppose -j = 30 + 7. Let a = -34 - j. Suppose -462 = -z - 5*u, u + 0*u - a = 0. Is z a prime number?
False
Let k be (-26)/117 - 3/((-27)/29). Suppose 1132 = 4*q - 2*p - 1076, 2749 = 5*q + k*p. Is q a composite number?
True
Suppose 0*m - 732 = -4*m. Suppose -q + 56 = 34. Let n = m - q. Is n a prime number?
False
Suppose 0 = -6*s + 5528 - 1130. Let l = 322 + s. Is l a composite number?
True
Suppose -3*o - 3*w + 4963 = -7886, -8578 = -2*o - 5*w. Is o composite?
True
Suppose x + p + 14 = -19, 4*x = 2*p - 120. Let m = x + 70. Suppose -5*v + m + 206 = 0. Is v a composite number?
True
Suppose -2*y = y - 3645. Suppose 127 + y = 2*l. Is l composite?
True
Suppose -2 = -3*k + 4*d + 5, 4*k - d = 18. Suppose -k*l + 5*t = -13090, 13*l = 10*l - 5*t + 7894. Is l a composite number?
True
Let k(c) = -588*c - 1. Let x be (-1)/(-3)*(-24)/2. Let l be k(x). Suppose 0 = 5*u + 4*v - l, 5*v - 1965 