3 - 5*h**2 + 11*h + 10. Is k(-7) composite?
False
Suppose -4*w = t - 2951, -5886 = -2*t - 0*t - 4*w. Is t a composite number?
True
Suppose -5*k - 3*o + o = -4310, 0 = o. Is k a composite number?
True
Let n be (-1*3)/(-1) - -2. Suppose n = d - 2. Is (d/1)/((-3)/(-9)) a composite number?
True
Suppose -k + 131 - 25 = 0. Is k a composite number?
True
Let y be -1*-1*(2 + -1). Is (-357)/(1*-3)*y prime?
False
Suppose -2 = -3*x - h, 5*x = -3*h + 10 - 4. Suppose 5*w - j = 1550, -4*w - j + 4*j + 1251 = x. Is w prime?
False
Let k be 50/(-8)*(-200)/(-2). Let u be (-1)/(-4) - k/(-20). Let f = 34 - u. Is f composite?
True
Let z be 1/(-2)*(142 + -6). Let d = z - -181. Is d prime?
True
Let d = 12 + -18. Let w(m) = 6*m**2 + 9*m - 4*m**2 + 5 - 4 + 3*m**2. Is w(d) prime?
True
Suppose -3*f + 0*f = -18. Is ((-222)/18)/((-2)/f) prime?
True
Let f(x) = -1618*x + 49. Is f(-4) a prime number?
True
Is 1 - (-24 - (3 + -5)) a composite number?
False
Suppose 49 = -m - 0*m - 5*y, -y = -3*m - 115. Let x be 12/((-27)/132*4/(-6)). Let h = m + x. Is h composite?
True
Let o = -3 + 9. Let g = o - 18. Let z = 19 + g. Is z a composite number?
False
Suppose 0 = 3*w - 892 - 101. Is w a composite number?
False
Let n be (-9)/3 + 2 - -97. Let o = -17 + n. Is o a prime number?
True
Suppose 2*p - 3*p = q - 1, 2*p - 10 = -4*q. Let l(n) = -12*n + 1. Is l(p) composite?
False
Suppose 0 = -5*c + 33 + 32. Let q = c - 7. Let y(x) = 4*x + 1. Is y(q) composite?
True
Suppose 0*o + 6033 = 2*f + o, 3*f = 4*o + 9077. Is f composite?
False
Suppose 2*y + 4 = f, 4*f - y = 3*y + 12. Suppose -20 = 5*o, -f*o + 395 = 5*z + 3*o. Is z composite?
False
Suppose 5*p - 22 = 2*j, 19 = p + 3*p - 3*j. Let n(g) = g**2 + g + 105. Let y be n(0). Suppose -5*t - 2*d = -p*d - 123, y = 4*t + 5*d. Is t a prime number?
False
Suppose 0*g = 2*g - 414. Suppose -t = -g + 20. Is t a prime number?
False
Let f be 0*(1/(-1) + 0). Suppose 2*k + k - 6 = f. Suppose 4*x = 5*s - 181, -3*s + 36 = -k*s - x. Is s a composite number?
False
Let b = 7 - 4. Let j be 3*1/b*6. Is 124/(-3)*j/(-4) a composite number?
True
Let x(h) be the third derivative of 2*h**5/3 - h**4/24 + h**3/6 - 3*h**2. Is x(-2) composite?
False
Suppose 2692 = n + 3*n + 5*o, 5*o + 3365 = 5*n. Is n prime?
True
Let q(u) = 13*u. Suppose -5*n + 5 = -0. Let v be n/(-4) - 42/(-8). Is q(v) a composite number?
True
Let q = 6107 - 2245. Is q a composite number?
True
Let w be (120/16)/(2/4). Suppose -5*j + w = x, -5*j + 5*x - 10 = x. Is (-2)/1 + j - -85 a prime number?
False
Let m be (-369)/(-4) + 1/(-4). Let r = 7 - 2. Suppose r*b = b + m. Is b a prime number?
True
Suppose 0 = -5*m - 3*n + 869 + 95, m - 203 = -4*n. Is m composite?
False
Let z(t) = t**3 - 10*t**2 + 14*t - 11. Is z(10) composite?
True
Is (-55616)/(-48) - (-1)/3 a prime number?
False
Let h = 3 + -1. Suppose -z - 80 = -3*o - 2*o, -5*o - h*z = -65. Is o a composite number?
True
Let y = 415 + -96. Is y prime?
False
Let k(f) be the third derivative of 19*f**4/12 - f**3/6 - 2*f**2. Suppose 3*u - 2*g = 11, 5*g + 5 = -15. Is k(u) a composite number?
False
Let o(k) = -3*k**3 + 2*k**2 + 2*k - 5. Is o(-4) prime?
True
Let r(j) = -j + 22. Let y = -4 - -2. Let q = y - -2. Is r(q) composite?
True
Suppose l - 145 - 236 = 0. Suppose -2*k + l = k. Is k a composite number?
False
Let f(a) = a**3 - a**2 - 4*a - 1. Let v be f(3). Suppose 156 = -x + v*x. Is x prime?
False
Let x(g) = 12*g + 11. Suppose 4*i + 6*a = 2*a, -2*i + 2*a + 8 = 0. Suppose 0 = -5*u - i*q + 39, 4*q = 2*u - 18 - 12. Is x(u) a composite number?
True
Let d(u) be the second derivative of -u**5/20 + u**4/2 + 3*u**3/2 + 9*u**2/2 + 5*u. Let t = 13 + -6. Is d(t) a composite number?
False
Suppose -3*n - 2*n = q + 13, 0 = -2*q - 4*n - 8. Suppose 5*y = q*y + 126. Suppose 2*m = 3*m - 5*h - y, m + h = 36. Is m a prime number?
True
Let y(r) = -5*r - 10. Let k be y(-7). Suppose 3*c - 2*g = k + 18, 0 = -4*c - 4*g + 44. Is c a composite number?
False
Let f(b) = 16*b**2 + 4*b - b - 2 + 28*b**2. Is f(3) prime?
False
Suppose 2*k = 2, 2*k = 4*u + 49 + 89. Let a = 85 + u. Is a a composite number?
True
Is (3 - -644)/1 + 2 composite?
True
Suppose 0 = 4*k - 3660 + 428. Suppose 4*z - k = -2*i, 2*z - 3*i - 426 + 14 = 0. Is z composite?
True
Let v(f) = f - 9. Let n be v(6). Let s = -11 - n. Let k(c) = -16*c + 3. Is k(s) composite?
False
Let w = -54 + 84. Let m be -1 + w - -1 - 0. Let p = m + 25. Is p a prime number?
False
Let v(k) = 1 + 0 - k + 2*k. Let y be v(3). Suppose 4*a + 5 = -2*m + 127, -217 = -y*m + a. Is m prime?
False
Let u = -30 - -20. Let i = u - -43. Is i a composite number?
True
Let f be 4480/9 + 2/9. Let k = 837 - f. Is k composite?
True
Let z be 4/6*3*-26. Let s = 89 + z. Is s composite?
False
Suppose -3*p - 12 = 2*h, -4*h - h - 16 = 4*p. Let f be ((-10)/(-15))/(p/(-30)). Suppose -4*y + 5*c = -f*y + 89, -3*c = -4*y + 310. Is y composite?
False
Suppose 2*k + 4*i + 24 = 0, i = -4*k - 0*i - 20. Let g be 1 - 0 - (k + 5). Suppose -2*v + 39 = -3*b, 2*v + 3*b - 8 - 37 = g. Is v a prime number?
False
Suppose -3*t = -h + 5770, -2*h + t + 2*t + 11549 = 0. Is h a prime number?
True
Suppose 5*i + 15 = m, 0*i - 35 = -4*m - 5*i. Is m a composite number?
True
Is 6/45 + 66665/75 a prime number?
False
Let t be 0 - 1 - 6 - 1. Let s = -5 - t. Suppose s*q - 5*n + 0*n = 35, -2*q + 38 = 4*n. Is q prime?
False
Suppose -2*b - 269 = -5*c, 4*b + 1 = 13. Is c prime?
False
Let k(u) = -56*u**3 + u. Let b = 3 - 6. Let x = b + 2. Is k(x) prime?
False
Suppose 2*g - 177 = l + 22, 2*g + 4*l = 174. Is g a composite number?
False
Let h be (-12)/(-15)*25/2. Let g(j) = -10*j + h - 6*j + 14*j. Is g(-8) prime?
False
Let p(n) = 32*n**2 + 9*n - 5. Is p(6) a prime number?
True
Let d(s) = -s - 3. Let t be d(-3). Suppose -3*n + 242 - 11 = t. Let g = n - 40. Is g prime?
True
Suppose 0 = 8*b - 3*b - 525. Let k = b - 34. Is k a composite number?
False
Let a = 632 - 378. Is a prime?
False
Let y = 192 + -111. Let j = y + -48. Is j prime?
False
Let j = 2 + 0. Let p(b) = -b + 6. Let t be p(6). Suppose -v = w - 25, t - 48 = -j*w - v. Is w a prime number?
True
Let j(n) = -n - 6. Let l be j(-10). Suppose -2*q + l = -26. Is q prime?
False
Let j be (-1)/4 + (-4)/(-16). Let v = j + 2. Suppose -v*h + 128 = -50. Is h a composite number?
False
Let o = -513 + 2778. Is (-3)/12 + o/20 a prime number?
True
Suppose f + 7206 = 7*f. Is f composite?
False
Let h be (-2)/(-11) + 62/22. Let z be (16/(-24))/(1/h). Is 193 + z + (2 - 2) prime?
True
Suppose 0 = i + i - 6. Suppose -5*a - c = -100, 0 = -a + 5*a + 4*c - 80. Suppose i = d - a. Is d composite?
False
Let c be (-209)/2 + 3/(-2). Let n = c + 191. Is n prime?
False
Let w(z) = z**3 - 5*z**2 + 8*z - 31. Is w(12) a composite number?
True
Suppose -5*i + 25 = 0, 2*i = 2*w - 4*w + 382. Suppose t + 504 = w. Is ((-1)/2)/(3/t) a composite number?
False
Suppose -2*l = 3*c - 4336, -l - 2912 = -2*c + 3*l. Is (2/8)/(2/c) composite?
False
Let w be (-4)/(-18) - (-125)/45. Suppose w*p - 5*c + 430 = 8*p, p - 84 = c. Is p a composite number?
True
Let g be 10/(-15)*(-804)/2. Suppose y - g = 3*y - 2*x, 2*x + 8 = 0. Let s = -83 - y. Is s prime?
False
Let n(z) = -2*z + 4. Let r be n(2). Let b = r - -7. Is b a prime number?
True
Let b = -39 + 380. Let l = b - 176. Suppose 5*o - l = -0*o. Is o a prime number?
False
Is ((-15)/(-10) - (-10)/4) + 307 a prime number?
True
Suppose 0 = 3*g - 0*g + 5*k - 3560, 2375 = 2*g + 3*k. Is g a prime number?
False
Is (1/(-2))/(5/(-2740)) composite?
True
Let u = 1 - 3. Let s be 1068/9 - u/(-3). Suppose 86 = 4*j - s. Is j prime?
False
Is 4*(-4)/(32/(-62)) a composite number?
False
Let p be (-1)/1 + (5 - 3). Let z be 0 + (2 - -7)*p. Suppose -5*m + 40 = s, -m + 4*s + z = -20. Is m a composite number?
True
Is 129/(0/1 - (-7 - -6)) a prime number?
False
Let s(b) = 2*b**2 - 7*b + 8. Let h(d) = 8*d**3 - 2*d + 1. Let y be h(1). Is s(y) a composite number?
True
Let v(w) = 3*w + 419. Is v(0) prime?
True
Let k be 2*(-3 + 0 + 20). Suppose -10 = 3*c - 8*y + 3*y, y = 5*c + 24. Is c/(((-4)/k)/2) prime?
False
Suppose n - 4*n = 0. Suppose 9 = -n*f + 3*f, 0 = -2*u - 5*f + 39. Suppose -k = k - u. Is k a prime number?
False
Suppose -2*p + 12 = -4. Let c = 10 - p. Suppose c*s - 2 = 20. Is s a composite number?
False
Let f = -83 + 376. Is f a prime number?
True
Suppose 0*h + 5*t = -4*h + 135, -5*h + 171 = 