10*t**2 - 12*t + 4. Is a(-9) prime?
True
Suppose -n + 0 + 2 = 0. Is (798/(-9))/(n/(-3)) a composite number?
True
Suppose -t + 2*t - 4*c = 69, 2*c = -2*t + 98. Is t a prime number?
True
Suppose -w = -7*p + 4*p + 4, -2*w = p - 13. Let v be 9/(-27) - 350/(-6). Suppose -w*l + 57 = -v. Is l prime?
True
Suppose 10 - 30 = -4*v. Suppose -378 = -2*j + 2*t, 0 = 5*j + v*t - 497 - 468. Is j a composite number?
False
Let x = -1 - 36. Let l = x + 55. Suppose w - 4*y = 15, 5*y - y = 2*w - l. Is w prime?
True
Suppose 2*v + 4*a = -2*v + 10980, 3*v + 5*a - 8233 = 0. Is v composite?
True
Suppose -2*j = t - 1479, 3*j + 5*t = 2352 - 116. Is j composite?
True
Suppose -7*y + 4*y = -1623. Is y a composite number?
False
Let u(f) = f**2 + 2 + f - 2 - 5. Let m be u(-5). Is ((-102)/m)/((-1)/5) composite?
True
Let y = 71 + -49. Suppose 0 = 4*p - 3*f - y, -2*p - f + 3 = -3. Is 3978/12 + (-2)/p a prime number?
True
Let f = 2922 + -949. Is f composite?
False
Let w(c) = 14*c**2 + c - 2. Is w(3) prime?
True
Let b(f) = -f**3 + 8*f**2 + 19*f - 15. Is b(-13) a prime number?
False
Suppose 0*u + 2*u - 1322 = 0. Suppose u = 3*m - 632. Is m composite?
False
Suppose 14*j + 74 = 16*j. Is j composite?
False
Let a be (13/(-26))/((-2)/44). Let r be 5 + (2/2)/1. Suppose y - r*y = -5*l - 60, y - 2*l = a. Is y prime?
True
Suppose 10 = 5*b, 2*z = -z - 2*b + 10. Suppose 0*d + 4*n = 4*d - 20, z*d - 4 = -n. Suppose 0 = -0*y + d*y - 63. Is y prime?
False
Let o(a) = -a**3 - 2*a**2 + 4*a + 4. Is o(-5) a prime number?
True
Let c(x) = 5*x**2 - 7*x - 7. Is c(-6) a prime number?
False
Let z(i) = i**2 - 3*i - 3. Let y = 12 + -6. Is z(y) composite?
True
Suppose 3*k = 5*s + 6994, 5*k + s = 6004 + 5606. Is k prime?
False
Suppose -4*k + 5*a = -17, 2*a + 11 = 3*k - 0*a. Let g(u) = 12*u - 10. Let o(q) = -q + 1. Let m(l) = k*o(l) + g(l). Is m(6) prime?
True
Let a(k) = 2*k**3 + 5*k**2 - 4*k - 2. Is a(5) composite?
False
Suppose 1955 = 9*j - 4*j. Is j a composite number?
True
Suppose 5*p = 758 + 507. Is p prime?
False
Suppose q + 6*q = -196. Is (q/8)/(-7)*586 composite?
False
Let g be 8/(-20) - (-4124)/10. Let f = g - 249. Is f prime?
True
Let w be (-1)/(2*(-3)/36). Let y be (-3)/w - 426/(-4). Is (-2)/(-12)*3*y composite?
False
Let c = -8 - -12. Suppose 3695 = z + c*z. Is z a composite number?
False
Suppose 4*l = v - 85, 4*v - 5*l - 456 = -160. Suppose -i + 5*j = 11 + 15, 4*j = -2*i - 80. Let s = v + i. Is s prime?
False
Let y(i) be the second derivative of i**5/20 + 7*i**4/12 + i**3/6 + 2*i**2 + 2*i. Is y(-6) a composite number?
True
Suppose -4*g = -2*n + 42, 0 = 5*g + 4*n + 32 + 40. Let h = -18 - g. Let z(x) = x**2 + 1. Is z(h) a composite number?
False
Let p(q) = -q - 3. Let y be p(0). Is y/6 + 321/6 a composite number?
False
Let m be (-36)/(20/9 - 2). Let p = -107 - m. Is p prime?
False
Is (-7 - -4) + 1520/2 prime?
True
Let j(r) = r + 8*r**2 + r + 1 - 12. Is j(-6) a composite number?
True
Suppose -2*k + 5*r = 319, 5*r + 349 = -2*k - 0*r. Let i = 15 + k. Let a = -67 - i. Is a prime?
False
Suppose 2*b + 55 = 3*b. Let q be (b + -4)*(-13)/3. Let l = -154 - q. Is l a composite number?
False
Let u(h) = 4*h**2 + 5*h + 3. Let r be u(-4). Suppose -2*l + 463 = 5*c, 2*l = -2*c + r + 143. Is c a prime number?
False
Let m(w) = 7*w**3 + 16*w**2 - 5*w - 10. Let x(s) = 4*s**3 + 8*s**2 - 2*s - 5. Let c(j) = 3*m(j) - 5*x(j). Is c(-5) a composite number?
True
Let o = 7 + -6. Is o/(3/138)*1 a composite number?
True
Suppose -1586 = 4*t - 394. Is (-7 - -6)/(2/t) a composite number?
False
Let a(p) = 7*p + 1. Let x be a(1). Let j = 12 - x. Suppose -u - j*h + 35 = 0, -5*u - 5*h = -2*h - 107. Is u composite?
False
Let n = 2480 + -1333. Is n a composite number?
True
Let x be ((-2)/4)/(1/(-262)). Is (0 + -2 - -3)*x composite?
False
Suppose 11 = 5*a + 1, -4*a = -2*o + 278. Is o prime?
False
Let i = -13 + 18. Suppose -i*z = 4*n - 339, n - 242 = -5*z + 109. Is z a prime number?
True
Is 1/(-6) - (-115470)/108 a composite number?
False
Suppose -3*b + 0*b - 796 = -s, -2*s + 1571 = b. Is s composite?
False
Is (1/2 + 2)*(-468)/(-45) a prime number?
False
Let s(u) = 37*u + 72. Is s(7) a prime number?
True
Suppose -11*i + 3*i = -23512. Is i a prime number?
True
Suppose 0*j = 5*j - 425. Suppose i = 117 + j. Is i a composite number?
True
Let g = -528 - -1921. Is g a prime number?
False
Let p(k) = -39*k - 4. Let c(z) = z. Let d(h) = 4*h + 1. Let a(x) = 5*c(x) - d(x). Let v(j) = 6*a(j) - p(j). Is v(5) composite?
False
Suppose w + 1 + 3 = -i, -2*w = 0. Let l = -2 - i. Suppose 4*u - 98 = -l*j, -4*j + 217 = -u + 2*u. Is j composite?
True
Suppose -5*t + 4*y = y - 1385, -3*t = -4*y - 842. Let f = t - 23. Is f a composite number?
False
Is (-6)/24 + 4170/8 composite?
False
Suppose -4*o + t = -15, -3 = 2*o - 2*t - 9. Let g(p) = -p**2 - 3*p + o*p**2 + 5*p + 2*p + 3. Is g(4) prime?
True
Is 4/(-22) - (-12565)/77 composite?
False
Suppose l + 4*l = 105. Let p = l - 2. Is p a composite number?
False
Suppose -35500 + 1961 = -11*m. Is m composite?
False
Suppose -2933 = -19*o + 1608. Is o prime?
True
Let p = -17 - -50. Is p prime?
False
Let q(u) = u**2 - 6*u - 1. Let x be q(6). Is 83 + 5 + (-3)/x prime?
False
Suppose 3*n = -2*p - 12, 0 = p + 2*p - 4*n - 16. Let q be 4/(p + 2) + 2. Suppose r = -q*r + 175. Is r prime?
False
Suppose -2*q - 202 = -4*n, 3*n = 2*q + 193 - 44. Is n prime?
True
Let m(j) = 1 - j**3 + j + 3*j**2 + 1 + 0*j**2. Let c be m(3). Suppose g + 2*y = 3, g + 6*y = c*y + 3. Is g a composite number?
False
Suppose -2*p - l + 267 = 0, -3*p - 2*l + 403 = -0*l. Suppose 4*m + 1 = 21. Suppose 0*a - 5*a - 4*s = -p, -4*a + m*s + 72 = 0. Is a prime?
True
Suppose 6*g = g. Let b(n) = -n + 983. Is b(g) composite?
False
Suppose 1579 = -2*p - 5*g + 7300, 0 = -4*p + g + 11453. Is p prime?
False
Let y(z) = 3*z - 3. Let t be y(4). Suppose t + 0 = 3*j. Suppose j*c - 3*a - 441 = 0, 5*c - 2*a + 95 = 836. Is c prime?
True
Let m(v) = -v**2 + 6*v + 10. Let h be m(7). Is (h*(-42)/9)/(-2) a composite number?
False
Is 3882 + ((-6)/30)/((-2)/10) composite?
True
Let l = -6 - -8. Suppose 5*f - 80 = 5*t, l*f - 53 = -4*t - t. Is f prime?
True
Suppose -4*y + 5*y = 699. Suppose l = -2*l + y. Is l prime?
True
Let l(v) = -v - 7. Let w be l(-3). Let f be (-8)/(-2)*(-2)/w. Suppose -f*x = 7 - 59. Is x a prime number?
False
Suppose 2*d - 3*d + 4 = 0. Suppose a - 5*t - 150 = 0, 4*t - 253 = -d*a + 251. Let h = a - 39. Is h prime?
False
Suppose -1096 = -3*l + 527. Is l a prime number?
True
Suppose 13*c = 59784 - 3533. Is c prime?
True
Let o(a) = -a**2 - 6*a - 4. Let s be o(-4). Suppose s*i + 0*i - 136 = 0. Is i prime?
False
Let k(j) = -2*j - 2. Let q be k(3). Let r(w) = 5*w**2 + 4*w + 5. Is r(q) prime?
True
Suppose 5*m - 780 = -2*p, 0 = -4*m - 0*p + 2*p + 642. Is m a composite number?
True
Let u(z) = 9*z**2 - 2*z + 7. Is u(3) a composite number?
True
Suppose -8*i + i + 16219 = 0. Is i composite?
True
Let s(v) = -4*v - 9. Let g = -5 + -3. Is s(g) composite?
False
Let g(u) = u + 10. Suppose -22 = 4*m + 10. Let v be g(m). Is 9/1 + (-4)/v composite?
False
Let h be 481/2 + 2/(-4). Suppose -h + 34 = -2*s. Is s a prime number?
True
Suppose y = 6*y. Suppose y = 4*d - 7 - 1. Is d prime?
True
Let x(a) = 33*a**3 + a**2 + 2*a - 3. Let i(j) = -32*j**3 - j**2 - 3*j + 4. Let l(v) = 2*i(v) + 3*x(v). Let o be 1/(0 + 2 + -1). Is l(o) composite?
True
Let y(j) = 22*j - 5. Is y(7) a prime number?
True
Let v = 5 + -5. Suppose v = -2*r - 154 + 44. Let i = -24 - r. Is i a prime number?
True
Let y = -33 - -120. Is y prime?
False
Let i(x) = 180*x + 5. Is i(21) composite?
True
Let n be (-2)/((-35)/(-15) + -3). Let v(w) = -w. Let i(t) = -6*t - 4. Let a(p) = -i(p) - 3*v(p). Is a(n) prime?
True
Let m = -164 + 278. Let r = -63 + m. Is r a prime number?
False
Suppose -12 + 5 = -u. Let g(r) = r**2 + r. Let x be g(-1). Suppose -u*b + 3*b + a = -51, a - 1 = x. Is b composite?
False
Suppose -k = -4*p + 7, 5*p + 1 = 5*k - 9. Is p/1 + -6 + 22 prime?
True
Is ((-767)/(-3))/((-6)/(-18)) composite?
True
Let b be (-3)/3 - (-3 + -2). Suppose 15 = 5*d - 5*y, -4 = -0*y - b*y. Is -38*(-3 - (-6)/d) prime?
False
Is (-12)/(-15) + (-3391)/(-5) a composite number?
True
Let q = 3 + 1. Suppose q*w = -3 - 5. Is (95 - 1)*(-1)/w prime?
True
Suppose -10 = -5*u - 0*u. Suppose -u*g - 2*g = -176. Is g/3*(-6)/(-4) a composite number?
True
Let u(r) = r