q(u). Is o(7) a composite number?
True
Suppose -3*y - 211 + 1000 = 0. Is y composite?
False
Let v(x) = 18*x**3 - 6*x**2 + 5*x + 2. Is v(3) prime?
True
Suppose 4*p + 0*p - 3*f = -4039, 0 = -p - 3*f - 991. Is (11/(-22))/(1/p) a composite number?
False
Let v = 87 - -12. Let f = -3 - -11. Suppose f - v = -o. Is o prime?
False
Is ((-371)/(-14))/((-1)/(-2)) a composite number?
False
Suppose -11*j + 16 = -7*j. Suppose -911 - 742 = -5*d - 2*t, j*t = 16. Is d prime?
False
Suppose 0 = -0*u + 5*u. Suppose 4*z = 5*v + 1410, -3*z + 3*v - 340 + 1399 = u. Is z composite?
True
Suppose 0 = 4*n - 9*n. Let k(a) = -2*a**3 - 4*a**2 + 9*a**2 + n*a**3 - a - 5 - a. Is k(-4) prime?
True
Suppose -q = -6*q + 970. Let t = 11 + q. Is t a prime number?
False
Let y(r) = -678*r + 29. Is y(-6) prime?
False
Let i(u) = -78*u - 12. Let d be i(5). Let c = d + 819. Is c prime?
False
Let v = -19 + 7. Let z be (-3)/v - (-23)/4. Suppose 0 = z*b - 2*b - 76. Is b prime?
True
Suppose -5*k = -19 + 44. Let g(r) = -r - 5*r - 6*r + 7*r. Is g(k) a prime number?
False
Let y(q) = q**2 - q - 5. Let s be y(-5). Let g(t) = t**3 + 7*t**2 - 9*t - 11. Let n be g(-8). Let c = n + s. Is c prime?
False
Suppose 3*v - 1809 = -6*v. Is v prime?
False
Suppose 9 = 3*o + 3, 0 = 4*i - 5*o - 5266. Is i a prime number?
True
Let d = 441 + -262. Is d composite?
False
Suppose -5*h + 2*q = -19157, -h - q + 3825 = -3*q. Is h a prime number?
True
Suppose 3*x - 3 = 6. Is x + 132*8/6 prime?
True
Let y(n) = -n**3 + n**2 + 2*n + 1. Let b be y(2). Let x(v) = -v**3 + v. Let c be x(b). Suppose -3*a + 15 = -c, 4*k = 4*a + 312. Is k prime?
True
Suppose 8*u = 13*u - 125. Is u composite?
True
Let j be 5/15 + (-62)/(-3). Suppose 0 = -5*w + x + 332, 341 - j = 5*w - 5*x. Is w composite?
False
Let l = -235 + 121. Let c = -55 - l. Is c a composite number?
False
Let n(r) = 38*r. Let p be n(3). Suppose -p = -u + 5*x, 5*u - 3*x - 460 = -0*u. Is u composite?
False
Let u(t) = -7*t**3 + t. Let h be u(-1). Suppose 2*y + 476 = h*y. Is y a composite number?
True
Is 1076*((-45)/(-20) + -2) prime?
True
Let a(d) = 2*d + 5. Let h be a(-7). Is (-13 - h) + 1*71 prime?
True
Let w(j) = -j**3 + j**2 + 5*j + 1. Let x be 4/3*24/16. Suppose -15 + 3 = x*q. Is w(q) a composite number?
False
Let z be (-6)/(-4) + (-3)/2. Is 300 - ((-4)/4 - z) prime?
False
Suppose -3*x + 8 = -x. Let d be 6/39 - (62778/(-39))/2. Suppose -463 = -x*g + d. Is g a composite number?
False
Suppose -q + 0*q + 19 = 4*n, -1 = -4*n + 5*q. Suppose h - 34 = n. Is h a prime number?
False
Suppose 3*y + y + 690 = -q, 0 = q + y + 705. Let t = q + 1117. Is t a prime number?
False
Let n = 13 - 23. Is ((-38)/(-4))/((-5)/n) a composite number?
False
Suppose -11 = -5*g - 1. Suppose 8 = g*o - 6. Is o a prime number?
True
Let n = 2 + -3. Let d = 1 - n. Suppose 0*m - 55 = -2*t - 3*m, 4*t + d*m - 130 = 0. Is t prime?
False
Let n(t) = 35*t + 16. Is n(15) a prime number?
True
Suppose 0 = 3*c - j + 30, 70 = -5*c - 7*j + 2*j. Let a = 8 - c. Is a a prime number?
True
Suppose 0 = -4*k - k + 4445. Is k a prime number?
False
Suppose g = -3*k - 0*g + 2997, 0 = 2*g - 6. Is k a prime number?
False
Suppose 24*a = 26*a - 1294. Is a composite?
False
Let t = -64 + 93. Let b = 50 - t. Is b composite?
True
Let p(a) = 8*a - 14. Let c(d) = 4*d - 7. Let k(z) = -5*c(z) + 3*p(z). Is k(11) a composite number?
False
Let o = 798 - 503. Let p = o + -146. Is p a composite number?
False
Suppose -2*f + 6*f - 460 = 0. Is f a composite number?
True
Let t = 240 + -49. Is t composite?
False
Suppose -4*x - 12 = -2*x - 2*u, 5*x + 4*u = -12. Is (268/6)/(x/(-6)) a prime number?
True
Suppose 0*t = 3*t - 6. Suppose 3*u - 5 = -t*u. Is u - (-3 - 40) - 1 a prime number?
True
Let y = -11 + 85. Suppose 3*s + 23 = y. Let i = -7 + s. Is i composite?
True
Is ((-4488)/(-4) - 4) + -1 prime?
True
Is -3 - (-10)/((-2 + 6)/664) prime?
True
Suppose 0 = -j - 3*j. Suppose j = 2*f + 2 - 8. Suppose -5*q - 2*y - 8 = -67, -f*q - 4*y + 27 = 0. Is q a prime number?
True
Is (-3)/((-297)/(-18)) + 6406/22 prime?
False
Let b(a) = -a**3 + 4*a**2 + 6*a - 3. Let k be b(5). Suppose -5*t - 3*h = 49, -2*t - k*h - 11 = 11. Is (52/t)/(1/(-10)) prime?
False
Suppose 0 = -3*n - 3*b + 12, 0 = 2*n - 3*b + 7. Is n + (-3 + 126 - -3) prime?
True
Suppose -7*m - 6*m + 12389 = 0. Is m a prime number?
True
Suppose 5*s - 249 = -2*q, -s + 573 + 61 = 5*q. Is q composite?
False
Suppose 3*u - 342 = -108. Suppose -3*z + v = -5*z + 59, -3*z = 5*v - u. Is z composite?
False
Let r(m) = -2*m**3 + 4*m**2 + m. Is r(-3) composite?
True
Let t = 105 + -67. Suppose -2*u + t = -4*z, 2*u = -0*z - 2*z + 38. Is u a prime number?
True
Suppose 4*r = 24 + 76. Suppose -r = -o + 10. Is o composite?
True
Let b = 10 + -11. Is -2 - (2 + b) - -212 a composite number?
True
Suppose -3*n = 19 - 1. Let c be (-1)/2 + 57/n. Is (-4228)/(-20) + 4/c a prime number?
True
Suppose -5*r = -v - 255, -r - 2*v + 5*v + 65 = 0. Let z = r + -35. Is z prime?
False
Suppose 3*m - 504 = m - f, 2*m - f = 508. Is m prime?
False
Let t = -14 + 24. Let l be 4/10 - 24/t. Is 214/14 + l/7 a composite number?
True
Suppose -2*x + 10 = 4*f - 0*x, -3*x = 4*f - 9. Suppose f*k - 265 = -2*k. Is k a composite number?
False
Suppose 4*d + 0*d - 248 = 0. Suppose 0 = -j + 3*t + 92, -j + 25 = 2*t - d. Is j a composite number?
False
Let x(d) = -d. Let t be x(0). Suppose t*z - 165 = -3*z. Is z composite?
True
Suppose 0 = 3*a - 3*w + 15, 3*w = a + 11 + 4. Suppose 2*r + a = 10. Suppose 0 = -0*u - 2*u + c + 251, 647 = r*u + 4*c. Is u a composite number?
False
Suppose -z + 28 = 3*z. Let y = 13 - z. Is (68/y)/((-3)/(-9)) a composite number?
True
Let o = 5 - 2. Suppose 22 = -o*g - 0*g + s, 32 = -3*g - 4*s. Is (-170)/g - 3/12 a prime number?
False
Let d be 4/6*45/10. Suppose 3*a + r = 168, -3*a + a + d*r + 101 = 0. Is a a prime number?
False
Is 1530/14 + 3 + 46/(-14) a prime number?
True
Suppose 56 = 3*u - 100. Let n = 102 - u. Is n/4*(-8)/(-10) a composite number?
True
Let j be (-2)/9 - (-114)/27. Suppose -j*s + 5*s - 19 = 0. Is s prime?
True
Let r(x) = 70*x - 11. Is r(7) prime?
True
Is (-6)/(-4) - 4316/(-8) a prime number?
True
Let l = 9 + -7. Let b(j) = 2*j**2 - 4. Let w(p) = p**2 - 5. Let c(q) = 4*b(q) - 3*w(q). Is c(l) a composite number?
False
Let j(b) = 9*b**2 + b - 1. Let s be j(1). Suppose y - s = 28. Is y prime?
True
Suppose 0*i = -3*i - 3. Is 1*(-2 - 53)*i a composite number?
True
Suppose 3*j - 4*g + 1 = 0, j + 2 = -j + 2*g. Let r be (1/j)/((-1)/69). Suppose -5*y = -22 - r. Is y a composite number?
True
Let d(p) = -p + 2. Let k be d(2). Is k + -1 - 360/(-9) prime?
False
Suppose 2*o = -8*g + 3*g + 24, -4*g + 10 = -3*o. Suppose o*a = a. Suppose -8*u + 3*u + 395 = a. Is u prime?
True
Suppose 3*w = -5*a + 3, 0 = -w + 6*w - 2*a - 36. Let x be ((-20)/(-3))/(2/w). Suppose -6 = 2*k - x. Is k composite?
False
Let q(u) be the second derivative of 63*u**5/2 + u**4/4 - u**3/2 + u**2/2 - 5*u. Is q(1) a prime number?
True
Let w be 4/(-10) + 1678/(-5). Let g = w + -172. Is (g/8)/((-1)/2) prime?
True
Suppose -2*f - 548 = -3186. Is f a prime number?
True
Let m = -2 + 1. Let o(a) = 8*a**3 - a**2 - 4*a - 3. Let l(f) = -f. Let w(r) = m*o(r) + l(r). Is w(-2) a composite number?
True
Let d be -1 + 3 + 2 + -2. Suppose d*u = -u + 1203. Suppose 5*f = u + 84. Is f composite?
False
Suppose -i + 4*i - 186 = 0. Is i prime?
False
Let c = -8 - -11. Suppose -7*t + 5*i = -c*t - 67, -25 = -5*i. Is t composite?
False
Let f(d) be the third derivative of d**7/840 + d**6/240 + d**5/30 - d**2. Let y(k) be the third derivative of f(k). Is y(6) a composite number?
True
Let r(h) = -h**3 - 4*h**2 + 3*h + 1. Let g = -8 + 1. Is r(g) a prime number?
True
Let p be 64/(-6)*9/(-6). Let r = p + -9. Is r prime?
True
Suppose 0 = -3*w - 2*p + 127 - 38, -5*w + 2*p = -159. Suppose 0 = -q - 0*q + w. Is q composite?
False
Let x(y) = -y**2 - 5*y + 8. Let j be x(-6). Let z(w) = -3 + 2*w**j + 0 + 4. Is z(3) a prime number?
True
Suppose -3 = 3*p - 0. Is p/(-4 - (-1363)/341) composite?
True
Let s(v) = v**3 + 8*v**2 - 4*v - 6. Is s(-8) a prime number?
False
Suppose -3*b = 12, -f = f - 3*b - 434. Is f composite?
False
Suppose -2*n - 88 = 2*n. Is (46/(-4))/(1/n) composite?
True
Suppose 3 = -3*d, -5*u - 3*d + 629 + 28 = 0. Suppose -4*l - 4*b + u = 0, l - 2*b - 66 = -l. Is l composite?
True
Let v(i) = i**3 + 6*i**2 