3 - y) + 251 a prime number?
True
Let s be 4/8 + 2/4. Let u be 39/(s + 2) - 1. Suppose 5*f + 3*g - 143 = 0, -4*g + 96 = 4*f - u. Is f a prime number?
True
Let c be (-34)/(-10) - (-4)/(-10). Let j = -3 - -11. Suppose -26 = c*t - 3*o - 281, -j = -2*o. Is t a prime number?
True
Is 718/6 - 16/(-12) composite?
True
Let w(l) = 17*l**2 - 15*l**2 + 159*l**3 + 51*l**3 - l. Is w(1) a prime number?
True
Let d(s) = -46*s + 45. Is d(-11) a composite number?
True
Is -1 + -1 - (-247 - 6) composite?
False
Let l(q) = -164*q - 1. Let n be l(-6). Let y = n - 540. Is y prime?
True
Let d(j) = 5*j**2 - 8 - 14*j**2 + j - 2*j**3 + 3*j**3. Let h be d(9). Is (h/3)/((-1)/(-57)) prime?
True
Suppose o + 8 = g, 2*g - 4*o - 12 - 12 = 0. Suppose 0 = -g*r + 12. Suppose r*h + 2*h = 70. Is h composite?
True
Suppose -2*c - c = -42. Suppose -2*l + 0 = s - 4, 3*s + 4*l - c = 0. Is s composite?
True
Suppose -7 = i + 4*s, 3*s + 13 = -4*i + 2*s. Let z be (-2)/(-3) + (-4)/i. Is 6/z*(-49)/(-3) composite?
True
Suppose 1 = -15*i + 16*i. Is (4 - -303)/(i/2) a composite number?
True
Suppose -4*y - o + 8 = -0*o, 0 = -3*o. Let t(h) = -7 + 5*h**3 - 6*h**3 + 5*h + 4*h + 6*h**y. Is t(6) a prime number?
True
Let l(w) = w**3 + 1. Let u(y) = 110*y**3 + 2*y**2 - y + 4. Let x(r) = 4*l(r) - u(r). Let t be x(-2). Is t*3/6*1 composite?
False
Let l = 7 - 3. Suppose a = l*z + 42, -5*a - 3*z + 73 = -22. Is a a composite number?
True
Suppose 0*p = p - 31. Suppose 2*u + 4*r - 7 = -p, -5*u + 4*r - 4 = 0. Is (-2)/8 + (-573)/u composite?
True
Let q be 2/7 - (-195)/(-21). Let r(j) = -4*j - 13. Let w be r(q). Suppose -a + w = 1. Is a a prime number?
False
Is (-6)/(-8) + (-4)/((-80)/35165) a composite number?
False
Let d = 4 + -2. Suppose 0 = r - d*b + 5 - 3, -4*r - 8 = -2*b. Is r - 3/(9/(-339)) a prime number?
False
Let w = 21 - -26. Suppose 2*a - w = 15. Is a a prime number?
True
Let t = -32 + 2. Let j be 2 + (-1 - 2) + 38. Let w = j - t. Is w prime?
True
Suppose 3*z - 4*m = 13, -1 + 0 = z + 4*m. Suppose 4*s = -z + 55. Is s composite?
False
Let g(p) = p**3 + p**2 + p + 51. Is g(0) prime?
False
Let m = -3 + 7. Suppose 118 + 222 = m*n. Is n prime?
False
Suppose 4*k - 15 = -k, w - 578 = 3*k. Is w prime?
True
Let p(m) = -m + 3. Let o be p(7). Is o - (-4)/(12/813) a composite number?
True
Let b be 6/15 + 4/(-10). Suppose b = 2*y + 2*y - 652. Is y prime?
True
Suppose 3*k + 96 = 477. Is k composite?
False
Suppose 5*j - j = 36. Suppose -5*i + j*i = 12. Is 11/i - (-4)/(-6) a composite number?
False
Is -89*2*(-2)/(2 - -2) composite?
False
Let n = -329 + 23. Let r = 113 - n. Is r a composite number?
False
Is (-1)/2 - (-156)/8 a composite number?
False
Suppose 5*b - 2*x = 3989, -168 - 640 = -b - 3*x. Is b a prime number?
False
Let x(r) = 4*r**2 - r + 5. Let j = -7 - -9. Let f = 6 - j. Is x(f) prime?
False
Is (2/3)/(-2*(-3)/10539) prime?
True
Suppose 3*x - 753 = 6426. Is x a prime number?
True
Let n = 19 - 6. Suppose -3*i = -58 + n. Is i composite?
True
Let b(m) = -m**2 - 12*m - 14. Let k be b(-10). Let a(l) = 10*l - 2. Is a(k) composite?
True
Suppose -4 = -2*l - 0. Is ((-4)/(-8))/(l/308) a composite number?
True
Suppose -5*k + 3*k = -38. Is k a prime number?
True
Let k be (-20)/(-70) - (-5)/7. Is 2 + 114/(2/k) a prime number?
True
Suppose 0 = -2*q + 5*q + 3*u - 186, 0 = 2*q + 5*u - 130. Suppose 3*w - 2*w - 1 = 0. Is w/(1 - q/62) composite?
False
Suppose 3 = 2*y + 1. Let n(f) = 1 - 3 - 49*f - y. Is n(-2) a composite number?
True
Let l be 9/12 + 27/12. Let o = 5 + -1. Suppose -126 = -2*v + o*s, l*s + 25 = -2*s. Is v a composite number?
False
Let l = 581 - 396. Is l a composite number?
True
Let n = -5 - -4. Let a(h) = -134*h - 1. Is a(n) a prime number?
False
Let b(i) = 12*i**2 + 12*i + 7. Is b(9) a composite number?
False
Let q(y) = 8*y**2 - 9*y + 4. Let m be q(-8). Let t = m + -337. Is t prime?
True
Let q(u) = 158*u + 1. Is q(5) prime?
False
Let z be 58/8 + 12/(-48). Suppose -191 = x - 3*x - 5*h, -2*x = 2*h - 194. Let d = x - z. Is d a composite number?
True
Let n(c) = c - 1. Let l(m) = m**2 - 10*m + 5. Let b(p) = -l(p) + 4*n(p). Let q = -1 - -7. Is b(q) prime?
False
Suppose -4*a + 3 - 19 = 0. Let m = 9 + a. Suppose 0 = m*h - 6*h - 2, 4*g + h - 82 = 0. Is g a prime number?
False
Let n be 0 + 700 + 2 + 4. Suppose 0 = 5*w + 5*c - 619 - n, -5*w = -3*c - 1325. Is w a composite number?
True
Let d(p) = 8*p - 9. Is d(8) a composite number?
True
Let b(o) be the third derivative of o**6/60 + o**5/60 - o**4/8 + o**3/6 + 5*o**2. Is b(3) composite?
True
Let y be 3 + (-2 - 0) + 25. Suppose 0 = -3*l + 5*l - 28. Suppose 2*m + l = h, 0 = 3*h + m + m - y. Is h a composite number?
True
Let f = -5 + 15. Is f prime?
False
Suppose -2*c + 91 = 5*q, -c - 4*q = 2*c - 147. Let o be (0 + 4)*(-106)/(-8). Let x = o + c. Is x prime?
False
Let o = 6 + -13. Let d = o + 38. Is d composite?
False
Is (-93)/(-2) - (-7)/(-14) a composite number?
True
Suppose -g + 1679 - 544 = 4*l, 5*g - 5570 = l. Let s = -696 + g. Is s prime?
True
Let s be 1/(-2) + 9/2. Suppose s*y = 2*y. Suppose -d + y*d + 163 = 0. Is d composite?
False
Let m = -5 - -9. Suppose m*l - 49 = -5. Is l a prime number?
True
Suppose 0 = -0*u - 2*u + 614. Is u composite?
False
Suppose -607 = -9*y + 788. Is y a composite number?
True
Let y(r) = -19*r - 2. Let s(x) = 9*x + 1. Let u(d) = 13*s(d) + 6*y(d). Let g be u(-1). Is g/(-7) - (-282)/42 prime?
True
Suppose -4 = -2*v + 20. Let a be (v/10)/(6/20). Suppose -2*p = -6*g + a*g + 32, 85 = 4*g + 3*p. Is g a prime number?
True
Let g be (-48 - -1) + 3 + -1. Let s be (-2)/(-3) + 88/(-6). Let a = s - g. Is a a composite number?
False
Let v = -2200 - -3407. Is v prime?
False
Let w(l) = -8*l**3 - 3*l**2 - l - 1. Suppose -2*m = -4*m + p - 5, -11 = 3*m - 5*p. Is w(m) prime?
True
Suppose -10*l + 758 = -8*l. Is l composite?
False
Let x be 1/(3 - (-33)/(-12)). Is 86/(1/(2/x)) prime?
True
Let u = 8 + -8. Suppose 239 = 2*q - 5*d, -q + 5*q + 4*d - 520 = u. Is q a prime number?
True
Let p(n) = -21*n + 5. Suppose -3*z - z + 32 = 0. Suppose 8 + z = -4*x. Is p(x) prime?
True
Let n = -8 - -17. Let y be n - (1 + (0 - 0)). Suppose 2*k = y + 6. Is k prime?
True
Let g(h) = -6*h**2 + 3*h - 1. Let u be g(5). Let w = u - -347. Is w composite?
False
Let g = 6 + -6. Suppose w - 2*x - 37 = g, 4*w - 2*x - 51 - 91 = 0. Is w prime?
False
Suppose 17*w - 11*w - 1506 = 0. Is w prime?
True
Let g(p) = 4*p + 8 + 9*p**2 + p**3 + 0*p**2 + 5*p. Let h be g(-8). Is (3 - 0) + (0 - h) a composite number?
False
Let j = 5 - 3. Let b(s) = s**3 - 2*s**2 + s - 2. Let o be b(j). Suppose t + 38 = 5*n - 39, n + 3*t - 9 = o. Is n composite?
True
Let n = 231 + -164. Is n composite?
False
Let m(y) = 22*y + 9. Is m(14) prime?
True
Let j(b) be the third derivative of b**6/120 + b**5/6 + b**4/12 - b**3/6 - 3*b**2. Is j(-6) a prime number?
True
Let i be (-6)/(-6)*(0 - -2). Let v(f) = 2*f**2 - f**2 + 2*f**i + 2*f. Is v(5) a prime number?
False
Let s(l) = 5*l**2 + 0*l + 1 + 1 - l - l**3. Let p be s(5). Is ((-1)/1)/(p/39) a composite number?
False
Suppose 3*z = -0*z - 9, 0 = 4*b + 5*z + 111. Suppose w - 22 = 7. Let s = w - b. Is s composite?
False
Let d(a) = -33*a - 4. Let r(i) = -i + 1. Let w(s) = d(s) + 2*r(s). Is w(-3) a prime number?
True
Suppose 867 + 599 = 5*o + t, 5*o - 1461 = 4*t. Is o a composite number?
False
Let z = 3799 + -1646. Is z a prime number?
True
Let i = 67 - 124. Let t = -59 + 153. Let g = t + i. Is g composite?
False
Let x(q) = -11*q - 15. Let t(a) = 17*a + 22. Let r(p) = -5*t(p) - 8*x(p). Is r(9) a prime number?
True
Let c(t) = -18*t - 7. Is c(-11) a composite number?
False
Let h(r) = 4*r**2 - r + 1. Let w = 11 - 4. Let j = w + -5. Is h(j) a composite number?
True
Let f(g) be the first derivative of g**4/4 + 11*g**3/3 - 3*g**2/2 - 3*g - 6. Is f(-8) a prime number?
False
Suppose 5*w = j - 15, -3*j - 21 = 3*w + 6. Let h = -3 - j. Is (125 - h)*(-1 - -2) composite?
True
Let p(y) = 8*y**2 + 6*y - 7. Is p(-11) a prime number?
False
Suppose -3*l - 892 = -5*a, 2*l - 2*a = 4*l + 568. Let y = -90 - l. Is y a composite number?
False
Suppose -695 - 8021 = -4*r. Is r prime?
True
Let y(m) = -m**2 + 10*m - 10. Let h be y(10). Is (-116)/3*15/h prime?
False
Let w(i) = 5*i**2 + 11*i + 8. Let n be w(-6). Let a = n - 84. Is a composite?
True
Suppose -98 = -j - 4*t, -5*t + 381 = 2*j + 2*j. Let u = 149 - j. Is