m. Is t a composite number?
False
Suppose 3*s + 3*j = 75, 2*j = -2*s + j + 46. Is s composite?
True
Let x(b) = -b**2 - 8*b - 7. Let r = -2 - 8. Let u be x(r). Is (-6)/u - 709/(-9) prime?
True
Let c(r) = -r**2 + 2*r - 1. Let x be c(5). Let b be (3/(-4))/(2/x). Suppose 0 = -b*d + 3*d + 5*a + 247, 4*a = d - 87. Is d a composite number?
False
Let t = 11 + -7. Let l(n) = -3 + n + t*n**2 + 2*n**2 + 1. Is l(3) prime?
False
Let h = 1 + 9. Suppose h = 3*v + 1. Is v composite?
False
Let x(o) = o**3 + 1. Let h(a) = -9*a**3 - a**2 + 4*a. Let y(t) = -h(t) + 3*x(t). Is y(2) prime?
False
Suppose 0*w = -4*w + 20. Suppose 0*u = -w*u + 2195. Is u a prime number?
True
Suppose 0 = 6*k - 2*k. Let p = k - -2. Is 2 + 22 + -4 + p a composite number?
True
Suppose 0 = -4*g + 10 + 42. Let n = 39 - g. Suppose n = -f + 3*f. Is f a prime number?
True
Is 1376/13 - 6/(-39) composite?
True
Suppose 3*k = 5*u - 1067, 0*k - 4*k - 649 = -3*u. Suppose u = 2*b - b. Is b prime?
True
Is 6 + -3 + 4832 + 2 a composite number?
True
Let o(v) = v**3 - 7*v**2 - 15*v + 17. Is o(12) prime?
True
Is ((-3205)/(-2))/((-6)/(-12)) composite?
True
Let j(u) = u**2 - 10*u - 9. Let o be j(11). Suppose -o*r + 2*d + 0 = -2, 0 = 2*r + 2*d - 6. Suppose 44 = 2*y - r. Is y a prime number?
True
Let y(s) = 3*s**2 + 2*s - 11. Is y(-6) a prime number?
False
Let g(h) = h**3 + 18*h**2 - 24*h + 19. Is g(-18) a prime number?
False
Suppose -3*b - 4*a + 22 = -3*a, 4*b = 3*a + 51. Is -14*(b/(-6))/1 a prime number?
False
Let j(b) = -9*b**2 + b + 3. Let o be j(3). Is -1 - -4 - (o + -1) a composite number?
False
Let d(x) = -x. Let l(g) = -g**2 - 7*g + 4. Let w(z) = -3*d(z) + l(z). Is w(-4) a composite number?
True
Suppose 3*i + 4*v = 0, -2*i + 7 = -i - v. Suppose 2*z = i*z + 2. Is (z + -126 - 0)*-1 prime?
True
Let p be (4 - 4/4)/(-1). Is (1 + (-300)/9)*p composite?
False
Let b(f) = -40*f - 49. Is b(-17) composite?
False
Let r(q) = q**3 - 7*q**2 + 6*q + 2. Let i be r(6). Suppose -i*f + 125 = -29. Is f composite?
True
Suppose 2*g + 4 = i, -2*i + 10 = 3*g - 5*g. Let q be (5 + -6)/(3/(-99)). Suppose -3*a + q = -i. Is a prime?
True
Let z = -4132 - -6291. Is z a composite number?
True
Suppose 4*n = -h + 1565, -2*h + 3 = 1. Is n a prime number?
False
Let q = 136 + 1945. Is q prime?
True
Let k be (-951)/(-27) - 2/9. Let i(y) = -5*y - 4. Let q be i(8). Let u = k - q. Is u composite?
False
Suppose 765 = 3*b - 348. Is b prime?
False
Let k = -11 + 25. Suppose -2*t = -3*a + 8, -a + k = 2*a + t. Suppose 0 = a*h - 3*y + 6*y - 213, 4*y = h - 39. Is h composite?
True
Let a = 17 - 15. Suppose -u + 52 = -3*u. Is (u/(-4) - 0)*a a prime number?
True
Let a be 2/(-9)*(-9)/1. Suppose a*c - 1348 = -2*c. Is c composite?
False
Let x be 8 + 1 - (-1 + 3). Let o = -13 + x. Is (2/o)/(3/(-207)) a composite number?
False
Suppose 10*u - 1304 = 6*u. Suppose -98 = 4*r - u. Is r prime?
False
Let z = 112 + -26. Let p = 124 - z. Is p a prime number?
False
Suppose -2*d + 20 = -4*i, -i + 4 = 2*d + 9. Suppose -8 = 4*z - d*z, 4*z + 56 = -4*a. Is (-6)/a - (-11)/2 prime?
False
Let l = 1021 - 68. Is l composite?
False
Is 36/48 - (-7129)/4 a prime number?
True
Suppose -6*s + 372 + 2514 = 0. Is s a prime number?
False
Suppose 21 + 11 = 4*z. Let j = 12 - z. Suppose -26 = -2*r - j*s, 0*s + 5*s - 4 = -r. Is r a composite number?
False
Suppose -4*o - 42 = -4*b + 2*b, 0 = -b + 1. Let z = o + 17. Is z composite?
False
Suppose o - 4*o + 3 = 0. Suppose -4*n + 4*y = -124, -3*n + 46 + 57 = -y. Let b = n - o. Is b a composite number?
True
Suppose -5*j - 10 = -40. Let z(h) be the third derivative of h**5/20 + 7*h**4/24 - h**3/6 - h**2. Is z(j) a prime number?
True
Let h be (-2)/(-7) + 102/(-14). Let t(i) be the second derivative of -i**3/2 - 5*i**2 + 6*i. Is t(h) composite?
False
Let o = -93 - -182. Let a be -1*(-2 + (-1 - 2)). Suppose b - a*b + 87 = y, 5*b - o = -y. Is y prime?
True
Suppose -2677 = -2*r + 3*i, -4*r - 4*i + 5349 = -5*i. Is r a prime number?
False
Suppose 1321 = 5*d - 6234. Is d prime?
True
Let v = -1 + -1. Let t be ((-296)/(-12))/(v/(-6)). Suppose 2*n = 4*n - t. Is n composite?
False
Let g(y) be the third derivative of -y**4/12 - 7*y**3/6 + y**2. Let v be g(-5). Suppose -w = 2*z - 61, 6*z - v*w - 114 = 3*z. Is z a prime number?
False
Let t be -11*1 + (-5 - -4). Let c = -7 - t. Suppose -u - 75 + 2 = -2*z, -c*z + 183 = -2*u. Is z a prime number?
True
Suppose 4*n - n = 5943. Is n composite?
True
Let q be (-31)/(-3) - (-1)/(-3). Let r(v) = v**3 + 6*v**2 + 1. Let t be r(-3). Suppose -2*h + t = -q. Is h a prime number?
True
Let t = -179 - -378. Let b = t + -54. Is b prime?
False
Suppose -11 = -5*p + 5*q + 19, -4*q = 4*p + 8. Suppose p*l = 4, k - 7*l + 4*l = 229. Is k a composite number?
True
Let n be (-8)/6*6/(-4). Let b be (-1424)/24*(-3)/n. Suppose -o = -2*o + b. Is o prime?
True
Suppose -538 = -4*d + 146. Suppose -o + d = 44. Is o a composite number?
False
Suppose 2*d + 31 - 165 = 0. Is d a composite number?
False
Suppose c - 2*l = 11, -3*c - 7 = l - 19. Suppose 2*u + c*v = 283, 0 = -2*u - 4*v + 164 + 122. Is u a composite number?
False
Suppose 0 = 2*q - 3372 - 1034. Is q a composite number?
False
Is (-103 + -8)*(-2)/6 a composite number?
False
Suppose -6*i + 4*i + 266 = -3*f, -5*f = 5*i + 410. Let k = -1 - f. Is k composite?
True
Let b(s) = -9*s - 1. Let q be b(-1). Suppose -148 + q = -4*t. Is t composite?
True
Let r(s) = s**2 - 8*s - 10. Let o = 16 - 7. Let a be r(o). Is (-9)/(-3)*a + 114 a composite number?
True
Suppose 4*o = 16 + 8. Suppose -2 = -2*s, -s = -3*h + 2*s + o. Is h a composite number?
False
Suppose 0*y + 2132 = 4*y. Let v = 1020 - y. Is v a composite number?
False
Suppose 0*d + 2*d = 1402. Is d a composite number?
False
Let u = 156 + -94. Is u prime?
False
Let p be ((-4)/(-10))/((-1)/(-5)). Let w = p - -47. Is w a composite number?
True
Let m = 3 + -37. Let t = 54 + m. Suppose 2*j - t = -2. Is j a prime number?
False
Let m(z) = z**2 - 6*z - 3. Let t be m(-6). Let i = 122 - t. Is i a composite number?
False
Let j(f) = 7*f**2 - 5*f + 21. Is j(10) composite?
True
Let v be -6*(-2)/(-12)*-3. Suppose 155 = v*y + 2*y + 2*n, -3*y - 5*n + 74 = 0. Is y composite?
True
Suppose -3*f - 3*v + 3 = 0, -4*v + 3*v - 8 = -2*f. Suppose -12 = f*m - 48. Is ((-90)/m)/((-1)/2) a composite number?
True
Let d be (1/2)/(2/216). Suppose g = -0*g + d. Suppose 94 = 4*h + 2*x, 50 = 4*h + 4*x - g. Is h a composite number?
True
Suppose -v + 1 - 15 = 0. Let g(q) = -22*q - 15. Is g(v) prime?
True
Suppose 0 = v - 4 + 2. Suppose v*n - 4*n = -66. Let c = n + -20. Is c prime?
True
Suppose 7*g - 3*g = 20. Let k(l) = g*l + 0 + 2 + 12*l. Is k(3) prime?
True
Let b(a) = 7*a**2 + 15 + 4*a**2 + 5*a - 3*a**2 + a**3. Is b(-6) a prime number?
False
Let h(w) = -w**3 - 9*w**2 - 6*w - 1. Let x be 10/(1/(-2) - -1). Let b = -29 + x. Is h(b) a composite number?
False
Let y(n) = -n**2 - 25*n + 31. Is y(-15) composite?
False
Let p = -1023 + 1494. Is p prime?
False
Let g(l) = -l**3 + l**2 - 2*l + 6. Let m be g(4). Suppose 0 = 3*n - v - 255, 3*v = -4*n - v + 340. Let y = m + n. Is y a prime number?
False
Let b(l) = -l**3 + 0*l**3 + 2 + 10*l**2 + 2*l**2 - 2*l**2. Is b(9) composite?
False
Suppose 5 = c - s, 2*s - 6*s = -5*c + 20. Suppose c = -d - 2*d + 6. Suppose -3*t = 4*h - 64, -t - 22 = -4*h + d*h. Is h composite?
False
Suppose 0 = -5*o - 15, 2*u + 0*o - 5*o - 667 = 0. Is u composite?
True
Suppose -2*s = -143 - 31. Is s a prime number?
False
Let k = -2 - -5. Suppose -2*b + 240 = k*b + 5*d, 5*b - 249 = 4*d. Is b a composite number?
True
Let d(v) = v**2 - 5*v + 4. Let r be d(5). Suppose -r*c + 219 = -3*q, -c - 5*q + 26 = -0*c. Is c prime?
False
Let j = -5 + 8. Let t be (-18)/4 - 4/(-8). Is -2*(82/t - j) prime?
True
Let g = -1037 + 1678. Is g a composite number?
False
Let i(o) = -o**3 + 17*o**2 + o + 36. Is i(17) prime?
True
Let k be (-2)/(3/(-63)*1). Let p = k - 23. Is p a prime number?
True
Suppose 0 = 2*o - 3838 - 11152. Is o composite?
True
Suppose -3*p + 0*p + 45 = 3*f, p - 18 = -2*f. Let h = -8 + p. Suppose -4*s = w - 65, 164 = 2*w - 2*s + h. Is w a prime number?
False
Let u(g) = g**3 - 9*g**2 + 4*g + 15. Is u(13) a prime number?
True
Let r(f) = -f**3 - 9*f**2 - f - 7. Let z be r(-9). Suppose 0 = -10*j + 5*j - 4*l + 615, 2*j - z*l - 246 = 0. Is j prime?
False
Suppose -i - 4*r + 427 = -0, 5*r - 423 =