 3*p + 22 = -p, 0 = z - p - 1. Suppose 5*u = -v + 260, -5*v - 35 + 222 = z*u. Is u a prime number?
True
Is 19323/51 + 2/17 a composite number?
False
Suppose -3*h + 3*s + 3 = 0, -3*s - 4 = -5*h + s. Suppose u - 115 - 73 = h. Is (u/8)/((-3)/(-30)) a composite number?
True
Suppose -p + 3*p = 174. Is p a composite number?
True
Let w(h) = h**3 - h - 15. Let d be w(0). Let q = d - -37. Suppose 4*u - 54 - q = 0. Is u prime?
True
Let h = 1047 + 94. Is h a composite number?
True
Suppose -4*n + 6*n - 178 = 0. Is n a prime number?
True
Let x = 35 + 32. Is x prime?
True
Let l = 570 + -331. Is l composite?
False
Suppose 0 = 2*t - 0*t - 56. Let q = t - 3. Is q prime?
False
Suppose 3*c = 2*c + 719. Is c composite?
False
Suppose -i + 20 = 3*i. Suppose -2*g - 40 = -b - g, i*g = -b + 22. Is b composite?
False
Let n(l) = l**3 - 6*l**2 - l. Let s be n(6). Let o be (-8)/s*(-2 + -1). Is 190/4 + 2/o a prime number?
True
Suppose -4 = -2*l - 2*l. Let v be l/((-3)/(-9)) + -3. Suppose -f - 550 = -5*x - v*f, 424 = 4*x - 4*f. Is x composite?
True
Let l be (-4)/(-6) + (-68)/(-6). Let r = 27 - l. Is r a composite number?
True
Let j = 9 + -4. Let c be j + ((-3)/1)/1. Is (5 - c)/3 + 30 a composite number?
False
Suppose -i - 15*z = -19*z - 647, -2*i + 2*z + 1276 = 0. Is i a composite number?
True
Suppose p - 506 = -4*m, 2*m - 4*p - 5 = 257. Is m a composite number?
False
Let l = 34 + 22. Suppose 4*f + 0*f = l. Is f a prime number?
False
Suppose 5*n = -0*n + 3*b + 448, -164 = -2*n + 5*b. Suppose 24 = c + f, 3*f - 2*f + n = 3*c. Let x = 8 + c. Is x composite?
False
Let i = 30 - 90. Let w = i - -145. Is w a prime number?
False
Let m(v) be the second derivative of -v**3 + v**2/2 - 3*v. Is m(-5) a prime number?
True
Suppose -w - 3*w = -8. Let g be ((-25)/20)/(w/(-16)). Suppose -119 = -3*i - 2*l, -g = -5*l + 10. Is i composite?
False
Let l be (-3)/(3 - (-108)/(-33)). Suppose 0 = -l*u + 7*u + 664. Is u prime?
False
Let m(w) = 2*w**2 - w + 1. Let a be m(1). Suppose 0*h + 485 = 5*s + 2*h, 0 = -a*h + 10. Is s a prime number?
False
Let j be 2 + 1/2*-10. Is j - (2 - (-78)/(-2)) composite?
True
Let o(y) = 3*y - 2. Let i be o(2). Let j(z) = z**3 - 4*z**2 + 5*z - 6. Is j(i) prime?
False
Let t be 0/((-1)/(-1) - -1). Suppose -c - s = -5*s - 67, -c - 4*s + 99 = t. Is c a prime number?
True
Suppose -2*b + t = -242, 5*b = 6*b - 3*t - 121. Suppose -3*k = -730 + b. Is k prime?
False
Let f(j) = 6*j**2 - 11*j - 11. Is f(10) a prime number?
True
Let m(a) = -30*a**3 - 7*a**2 + a + 1. Is m(-5) prime?
True
Let y(c) be the third derivative of -c**8/20160 - c**7/560 - c**6/144 - c**5/60 + c**2. Let f(x) be the third derivative of y(x). Is f(-8) prime?
True
Let r be ((-36)/(-30))/(3/15). Let z = r - -33. Is z composite?
True
Suppose -j + p + 3371 = 0, -2*j + 7*p - 4*p + 6742 = 0. Is j a composite number?
False
Suppose -h = -2*a + 2, -8 + 2 = -2*a + 3*h. Is a - (-3 - -2) - -372 composite?
False
Suppose -3*p - 2*p + 50 = 0. Let b be ((-48)/p)/((-6)/1050). Suppose 0 = 5*c + n - 1056, 4*c - n - b = 3*n. Is c a prime number?
True
Suppose -k = 4*t + 5 - 3, -2*t = -3*k - 6. Suppose -4*r - 2*a + 1384 = t, -r + 2*r = 2*a + 341. Suppose r = 5*f - 1300. Is f a prime number?
False
Suppose 2 + 4 = -3*f. Is (24/(-16))/(f/164) composite?
True
Suppose 5*v - 6*c + 2*c - 282 = 0, 5*v = -c + 292. Is v a composite number?
True
Let x = 1 - -2. Let n(h) = -6*h + 1 + 0*h**2 + 2*h**x + 0 + 0*h**2 - 6*h**2. Is n(6) a prime number?
True
Let o be 30/(-25)*5/(-1). Let u be (22/(-3))/(o/(-27)). Suppose 0*i - u = -i. Is i a composite number?
True
Suppose -5 = 5*a - 15. Suppose 0 = z - 3*h + 546, a*h + 2119 = -5*z - 611. Is z/(-24) + (-1)/(-4) a prime number?
True
Suppose 4*c = 3*j + 1210, 4*c + 2*j = 764 + 436. Is c a composite number?
True
Let r = -4 + -1. Let v = 296 - r. Is v prime?
False
Suppose 2*g - 4*g = 0. Let f be (1 - g)/(-3 + 2). Is f/(-3)*(156 + 3) prime?
True
Suppose 8*r - 8 = 4*r. Suppose 0 = p - 3*o - 16, -3*o - 18 = -p + r*o. Is p a composite number?
False
Let a = 114 - -15. Is a prime?
False
Let x = -1757 - -3918. Is x a composite number?
False
Suppose 5*r + 4*p - 285 = 0, 25 = 3*p + 2*p. Is r a composite number?
False
Suppose -4*u + 44 = -0*u. Let w = u + -6. Suppose -5*h = 3*q - 451, 5*h - w*q - 346 = h. Is h composite?
False
Suppose 8 + 7 = 3*d. Let r be (4/5)/(2/d). Suppose 0*p = 5*p - 4*w - 62, -6 = r*w. Is p a composite number?
True
Suppose -4*d = -16, -4*r + 2*d = -8*r + 34980. Is r prime?
False
Let g(r) = 3*r**2 + 5*r + 2. Let l be g(-8). Suppose -w + 3*w = l. Is w a prime number?
False
Let j = 127 - 70. Let s(y) = y**2 + 12*y + 16. Let d be s(-10). Let t = j + d. Is t prime?
True
Let d be -3*(-2 + (-2)/(-3)). Suppose 2*b = -g + 99, -d*b + 7*b = -5*g + 481. Suppose -g = -v - 4*v. Is v composite?
False
Suppose 0 = -3*g - 0*g + 387. Suppose -6 = -2*n, -y + 2*n + g = n. Suppose y = 5*w - w. Is w prime?
False
Is -1*((-6)/(-27) - (-7107)/(-27)) prime?
True
Suppose 2*a + 1 - 11 = 0. Suppose 0 = a*u + r - 350, 5*u + 0*r = 2*r + 335. Suppose -4*i + 135 + u = 0. Is i composite?
True
Let j(n) = -n**2 - 9*n + 1. Let u be j(-8). Let d(t) = t**2 - 10*t + 8. Let a be d(u). Is (151 + 3)/((-2)/a) composite?
True
Suppose 0 = 2*y + 8, y = 2*r + 2*y + 36. Is 1/4 - 4204/r a prime number?
True
Is 14/8*(44 - 0) composite?
True
Let w(t) = -t + 141. Suppose -3*z - z - 5*p - 15 = 0, 2*z = 2*p + 6. Is w(z) composite?
True
Suppose -15 = -2*p + 5*s, 0 = p + s + 5 - 2. Suppose 0 = -p*c + 3*c - 30. Is c composite?
True
Let i(q) = -q**3 - 2*q**2 + 4*q - 6. Let y be i(-5). Let g = y - 26. Is g composite?
False
Let l(d) = d + 1. Let w be l(1). Suppose 0 = w*c - 5*c + 447. Is c a composite number?
False
Is (-3)/(-2)*72338/21 prime?
True
Suppose 0 = -2*c + 4*i - 194, -4*c - 486 + 94 = -4*i. Let w = c + 182. Is w a prime number?
True
Suppose 463 = -2*q - 185. Let w = q - -696. Suppose -3*j = -w + 117. Is j a composite number?
True
Suppose r - 3*m - 1136 = 0, -r + 5*m - 252 = -1388. Suppose f = 4*u - r - 2730, -2*u + 4*f + 1926 = 0. Is u a composite number?
False
Suppose 870 = -12*m + 14*m. Suppose 5*o - 465 = -4*z, 0 = 2*o + 3*o - 2*z - m. Is o composite?
False
Suppose 6*p - 3*p + 3 = 2*u, 3*p = -4*u - 21. Let n be 0 + (-1 + 0 - u). Suppose -n*h = h - 111. Is h prime?
True
Let g = 2 + -27. Let v be (-6)/24 + 39/(-4). Let l = v - g. Is l a composite number?
True
Let y = -7 - -12. Suppose l + 569 = -o + 6*o, 0 = -o - y*l + 93. Is o composite?
False
Let a = 1 + -3. Is ((-499)/a)/((-2)/(-4)) prime?
True
Suppose 4 = 6*x - 2*x. Let f be x + (-1 - (-90)/(-3)). Let t = f + 143. Is t prime?
True
Let l(c) = 3*c + 7. Let b be l(-14). Let y(z) = -10*z + 4. Let g be y(-5). Let q = b + g. Is q composite?
False
Suppose -6*b + 2892 + 4662 = 0. Is b composite?
False
Suppose -4*m + 3*m = 2*a - 75, m - 5*a - 103 = 0. Is m a prime number?
True
Suppose 4*p - 22 = 10. Suppose 4*u + 508 = p*u. Is u a prime number?
True
Let m(u) = -5*u**2 + 3*u**2 + 1 + u**2 - 15*u**3. Let v = -2 - -1. Is m(v) a composite number?
True
Let r(q) = q**2 - q - 1. Let a be (-4)/(-14) - (-14)/(-49). Let i(b) = -b - 7. Let j be i(a). Is r(j) a prime number?
False
Suppose 5*n = 190 + 1580. Suppose r + r = n. Is r a prime number?
False
Let a = -6 + 8. Suppose 0 = -f + 83 + a. Is f prime?
False
Suppose 5*n + 4 = -1. Let g be 10/2 + n*3. Suppose -5*l = -b - 8, -b - g*b + 18 = -l. Is b a prime number?
True
Suppose h + 5*c + 1701 = 3*h, -2*c + 4267 = 5*h. Is h prime?
True
Let n = 833 - 70. Is n composite?
True
Suppose 0 = 4*i + d - 1178, -5*i + d + 1834 - 357 = 0. Is i a prime number?
False
Suppose -12 = -4*x - 0*x. Suppose 5*b - 8 = -3*l, -5*l + 4 = 24. Suppose -4*c + x*v + 17 = b, -2*c + 4*v - 6 = 0. Is c a composite number?
False
Let b be 60/14 - (-10)/(-35). Let s be 3 - (-1)/(2/b). Suppose s*k - 74 + 24 = 0. Is k a prime number?
False
Let j(y) = 3*y**3 + 1. Let g be j(-1). Suppose -2*p = -5*k - 58, p + 56 = -5*k + 5*p. Let q = g - k. Is q prime?
False
Let h(t) be the first derivative of 7*t**2/2 - 5*t + 1. Suppose -x + 24 = 3*x. Is h(x) prime?
True
Let m be 62/(-3)*6/(-4). Suppose -3*p = -2*p - 120. Let x = p - m. Is x a composite number?
False
Let v(m) = m**2 + 3*m - 2. Let j be v(-4). Suppose -18 + j = -4*k. Suppose 5*y + 247 = 3*d, -2*y - 259 = -k*d + d. Is d a composite number?
False
Su