 -4*h + 1697, -4*h + 9136 = b. Is h a composite number?
True
Suppose 0 = -7*v - 150 + 619. Is v a composite number?
False
Let x(w) = -8*w**2 - 4. Let y(m) = 16*m**2 + m + 8. Let r(u) = 5*x(u) + 3*y(u). Is r(-3) prime?
True
Suppose -2*r + 2*n = 0, 2*r + 2 - 4 = n. Suppose 3*j = -r*j + 335. Is j a composite number?
False
Let l(f) = -f**3 - 6*f**2 + 5*f - 8. Let o be l(-7). Let t be 22/o - (-7)/21. Suppose -t*s - 28 + 104 = 0. Is s a prime number?
True
Suppose z - 22 = -3*i, z - 4 = -4*i + 24. Suppose i*w = 3*w + 15. Suppose 0*s - w*s - 2*h = -60, 3*h = 3*s - 15. Is s prime?
False
Suppose h = -r + 11, 4*r - 50 = -r - 4*h. Let q(f) = f - 4. Let j be q(r). Suppose 0*k - 3*x - 98 = -j*k, -5*k + 245 = x. Is k a composite number?
True
Suppose j - 1 = -19. Let f be (-2)/5 - 765/25. Let l = j - f. Is l composite?
False
Suppose -5*w = -13 - 12. Suppose 563 = w*k - 362. Is k composite?
True
Suppose 46 = 3*i - 35. Suppose -3*n - 3*s = i, -3*n + 7*s - 4*s - 51 = 0. Let b = 66 - n. Is b prime?
True
Is (-1 - -2)/1*157 a composite number?
False
Let m(x) = -2*x**3 + 2*x**2 + 5*x + 1. Let r(y) = -2*y**3 + 2*y**2 + 6*y + 1. Let l(h) = 4*m(h) - 3*r(h). Let z be l(-1). Is -3*(-22)/z*1 a prime number?
False
Suppose -8 - 4 = -3*y. Suppose 3*g - 24 = -4*n, 2*g - n + 5*n = 20. Suppose 2*f + 54 = g*f + y*i, -i - 126 = -4*f. Is f a prime number?
True
Suppose 3*h + 2*h - 3*b - 2 = 0, 2*b = 5*h + 2. Is h + 1 + 71 + 7 a composite number?
True
Let w(i) = 5*i + 27*i**2 + 7*i**2 + 3*i**2 - 4*i**2 + 5. Is w(-2) composite?
False
Suppose -5*b = g - 189, -3*b = -g + 2*b + 179. Let o be 1 + 3*(-524)/(-6). Let u = o - g. Is u a prime number?
True
Suppose 3 = -v, 2*l + l - 3*v = 51. Suppose -20 = -2*b + 6*b, -3*i + b + l = 0. Let u = 10 - i. Is u prime?
True
Is 1569*1/2 + 36/72 composite?
True
Suppose 2*s - 1401 = 953. Is s prime?
False
Let l = -15 + 192. Is l a composite number?
True
Let u be 2 - 0/(2 - 1). Let i be u/(-4)*(-4)/2. Is i*59*(0 - -1) a prime number?
True
Let u = -9 - -9. Suppose u*h = -h + 4. Suppose h*y = 192 + 156. Is y a composite number?
True
Let c be (-2)/(4/362)*-1. Suppose 4*a - 767 = c. Suppose 3*f + 0 - a = 0. Is f a composite number?
False
Is ((-334)/(-1))/((-16)/(-8)) a prime number?
True
Let c be 5*(1 - 0 - 0). Suppose l - 10 = -l, c*l - 35 = -5*k. Is 64/k - 6/(-6) composite?
True
Suppose 69*s - 571 = 68*s. Is s a prime number?
True
Let l = 791 + -412. Is l composite?
False
Suppose f + 69 = 4*f. Suppose -78 = -5*i - f. Is i prime?
True
Suppose -6*c + c = -4*w + 17, 5*c + 5*w - 10 = 0. Is ((-125)/(-20))/(c/(-4)) a prime number?
False
Suppose -3*g + 176 = -187. Is g a prime number?
False
Suppose -5*b + 5*c + 726 = -349, 5*c = -b + 209. Suppose -5*h = -h - 5*o - b, 4*h + 4*o - 196 = 0. Is h a prime number?
False
Suppose -2*r = 2*d - 7*d + 6, -3*r + 5*d - 9 = 0. Is (-1014)/(-8) + r/(-12) composite?
False
Let p = -9 - -16. Let z(s) = -s**3 + 7*s**2 + 9*s + 4. Is z(p) a composite number?
False
Let z = -11 + 16. Suppose 5*b - 14 = -3*u, -2*u + z*b + 2 = 1. Suppose -4*k + 163 = u*x, -x - 3*k + 58 = 2*k. Is x a prime number?
True
Suppose -5*c = -5*d - 5775, -3*d = 4 + 8. Is c composite?
False
Let j(l) be the second derivative of 7/2*l**2 + 0 - 3*l + 3/2*l**3 + 1/12*l**4. Is j(-9) a composite number?
False
Is (-1278)/(-4) - 22/44 composite?
True
Let o = -119 + 262. Is o prime?
False
Let w(n) be the third derivative of n**6/20 + n**5/30 - n**4/12 + 4*n**2. Let v be w(4). Is v/9 + 2/3 a prime number?
False
Let w(y) = 41*y - 11. Is w(20) prime?
True
Suppose -3*l - 6 = -2*f + 2, 0 = 5*l + 3*f - 12. Suppose l*y + 5*y - 50 = 0. Let k = 24 - y. Is k prime?
False
Let h be (-10)/(-4) - (-1)/2. Suppose 0 = -h*c + 8*c - 30. Let i = 9 - c. Is i a composite number?
False
Let s(d) = -6*d - 1. Is s(-9) a prime number?
True
Let d be (0 + 2)/((-4)/(-10)). Let t = 32 - 19. Suppose 2*y - t = -2*v + 87, d = -y. Is v a composite number?
True
Suppose 5*y + 482 = 3*f - 544, 0 = -2*f - y + 671. Is f a prime number?
True
Suppose 3*d - 560 = 517. Is d a prime number?
True
Let z(a) = -3*a - 5. Let m be z(-4). Suppose -2*k = -d - 23, -2*d - 39 = 3*k - m. Let v = -5 - d. Is v a prime number?
False
Suppose -4*o + 20 = 4, 4*o = -3*k + 23743. Is k a composite number?
True
Is (2 + -1 - 0/6) + 514 a prime number?
False
Let t = -75 + 119. Suppose -5*m + t = -4*m - c, 3*m - 122 = 5*c. Is m prime?
False
Let s(l) be the third derivative of l**5/60 + 7*l**4/24 - 2*l**3/3 - 2*l**2. Is s(6) composite?
True
Let r(y) = -2*y - 4. Let t be r(-5). Suppose 0 = -4*q + q + t. Is (-110)/(-4)*(0 + q) a prime number?
False
Is (-2)/6 + (-37002)/(-63) a prime number?
True
Suppose 1256 = 4*x + 4*x. Is x prime?
True
Let k be (1/(-3))/(4/(-12)). Let q(w) = 2 - 54*w + 0 - k - 2. Is q(-1) composite?
False
Let f = 127 + -255. Let w be f/(-2) + (-2)/1. Let y = 117 - w. Is y prime?
False
Suppose -4*t - r + 3*r = -20, -2*r = -4. Suppose -2*n + t = n. Is n composite?
False
Let r(l) = -2*l - 6. Let v be r(-4). Suppose v*a + 12 = 5*t - 11, t = 3*a + 2. Let j = 16 - t. Is j a composite number?
False
Let z = -73 - -113. Suppose 122 = 4*b - 2*b. Let p = b - z. Is p a composite number?
True
Suppose 5*c + 3*i = -66, -4*i + 99 - 12 = -5*c. Let b be (c/2)/3*132. Is b/(-4)*(-2)/(-3) a composite number?
True
Suppose 73 = 5*q + 13. Let d = q + 0. Suppose 37 + d = j. Is j prime?
False
Let j be (2/2)/((-2)/(-42)). Let y = 8 + -6. Suppose 5*k + 4*z = 57, 4*k - k - y*z - j = 0. Is k a prime number?
False
Let w = -3 + 6. Suppose -w*c = 2*j - 805, -3*j - 1331 = -5*c - j. Is c a composite number?
True
Let t(g) be the second derivative of 11*g**4/4 - 2*g**3/3 - g**2 + 3*g. Is t(-3) a prime number?
True
Let y be 36/(-8)*(-30)/9. Is (10/y)/(2/447) a prime number?
True
Let n be 4/4 - 2/(-1). Suppose m - 5*j - 174 = 0, -n*m - 2*j + 128 = -309. Is m composite?
False
Suppose d - 5*v = 646, -2*v - 2042 + 143 = -3*d. Is d a composite number?
False
Suppose 3*z = 724 - 37. Suppose 0 = 4*c + 3*p + z, 0 = -2*c + 7*c - 2*p + 292. Let y = -5 - c. Is y a prime number?
True
Let n = 1448 - 853. Suppose -3*q = 2*q - n. Is q composite?
True
Suppose 10 = 5*b - 3*k, -b + 2*b - 4*k - 2 = 0. Let s(o) = 6*o**3 + 1. Is s(b) a prime number?
False
Let w be 246/(-2)*4/(-6). Let m be w/8*4/1. Suppose n - m + 10 = 0. Is n a composite number?
False
Let l(x) = 2391*x**2 - x - 1. Let t be l(-1). Let u = t + -1504. Is u composite?
False
Let z be (2 - 1)*(-80)/5. Let v be (23/(-4))/((-4)/z). Let q = 90 + v. Is q prime?
True
Let m(w) = w + 39. Let k be m(0). Suppose -3*s = -3*g + k, g + 4*s - 16 = 12. Is g/(-56) + 1647/7 a composite number?
True
Is (7 - (5 - 1)) + 594 composite?
True
Let j be (-852)/3*-8 + 2. Suppose -w - 5*w + j = 0. Is w a composite number?
False
Suppose 5*s - 3*s - 4*b + 18 = 0, -4*b - 18 = 2*s. Let p be (s/6 + 2)*4. Suppose u + u = 2, -u = p*r - 75. Is r a prime number?
True
Let p be (0/1 + 0)/(-2). Let x be 15 + 3 + -1 - -2. Suppose x = -p*m + m. Is m composite?
False
Let h = 21811 - 11850. Is h prime?
False
Suppose -u = -2*u. Suppose 2*s = 4 - u. Is (s/(-4))/((-1)/38) a composite number?
False
Suppose 2*u + 12 = 6*u. Suppose -12 = -7*z + u*z. Suppose 65 = 4*n - 5*r, -n + z*r = r - 17. Is n a composite number?
True
Let x be 0*(12/(-8))/(-3). Suppose 3*v - 310 - 83 = x. Is v a prime number?
True
Let y(k) = 23*k + 1 + 0 + 5 - 3. Let q be y(-4). Let g = -54 - q. Is g prime?
False
Suppose 0 = 4*n - 2*n - 4. Suppose 2*b = -3*b - n*m + 1110, 5*b - 1130 = 2*m. Suppose a = 2*k - 4*a - 130, -4*k + b = -a. Is k prime?
False
Let b(a) = 3*a**2 + 2*a - 22. Is b(7) a prime number?
True
Let h = -144 - -207. Suppose -2*w - h + 11 = 3*r, -3*r + 88 = -5*w. Is 94/10 - (-8)/w prime?
False
Suppose -869 = -4*z + 1071. Is z composite?
True
Suppose 2*m = -m. Suppose -3*z = -m*z + 12. Is (136/12)/(z/(-42)) a composite number?
True
Let c(h) = -3 - h - h**2 + 4 + 2. Let o be c(0). Suppose -o*t = -2*v - 99, 0*v + 33 = t - v. Is t a composite number?
True
Is (-3 - (-4 + -10306))/1 a prime number?
False
Let t(k) = 334*k**3 + k**2 + 2*k - 2. Let n be t(1). Suppose -3*q + n = 2*q. Is q composite?
False
Suppose 5*g = w - 118, 0*w + 126 = w + 3*g. Is w prime?
False
Let r = -366 - -1469. Is r a prime number?
True
Let f(u) = u - 4. Let m be f(6). Suppose -v - 2*g = -17, 7*g - 33 = -m*v + 2*g. 