
Let w = 3 + 1. Suppose -3*i + 2*i + 628 = w*m, 4*m - 628 = -5*i. Is m prime?
True
Suppose -3*l + 916 = 145. Is l prime?
True
Suppose -t = -0 - 4. Is (-2)/t*(-1297 - 1) a composite number?
True
Let j(k) = -k**3 - 5*k**2 - k + 2. Let o be j(-5). Let t = -11 + o. Let c = -1 - t. Is c composite?
False
Let s(q) = 46*q**2 - q - 1. Let v = 4 + -6. Is s(v) composite?
True
Let l(z) = -z**3 - 14*z**2 - 22*z - 26. Is l(-13) a composite number?
True
Let t(x) = -x**3 - 2*x**2 + 2. Let h be t(-2). Suppose -a - h*a = 159. Is a/(1 + -3 + 1) composite?
False
Let j = -6 + 9. Is 327 - ((j - 1) + -4) prime?
False
Is 6/(-6)*-2892 - -5 a prime number?
True
Let n = -95 - -162. Is n composite?
False
Is 4/(-10) + 3/((-30)/(-6134)) a composite number?
False
Suppose 564 = -6*g + 2*g. Let m = g + 318. Is m a composite number?
True
Suppose -4*d = 0, a + 4*d + 13 - 106 = 0. Suppose -5*o + 67 = -a. Let x = o - 11. Is x prime?
False
Let c(u) = -4*u. Let l be c(-1). Suppose 0 = -l*z + 2*z + 2286. Is ((-2)/(-3))/(6/z) a composite number?
False
Let y = -9 - -13. Suppose -3*n = -3*q + 420, -3*q - y*n + 445 = -2*n. Is q a prime number?
False
Let x(b) = -10*b + 4. Let c be (-8)/(-1) - (-5 - -8). Suppose -14 = 4*z + l, c*z + 23 = -4*l - 0. Is x(z) composite?
True
Let d(q) = -9*q**3 + 5*q**2 + 6*q + 2. Let l be d(-4). Suppose v - 2*y = -3*y + 320, 2*v - l = -4*y. Is v prime?
False
Let x be ((-3)/(-9))/((-1)/(-1038)). Let n = 833 - x. Is n a prime number?
True
Suppose -285 = -5*i + 40. Is i composite?
True
Suppose -3*f = -5*f. Suppose 4*s - 3*l - 353 = 0, -5*s + 2*l + 122 + 321 = f. Is s a composite number?
False
Let k(q) = -q - 9. Let b be k(-13). Is ((-34)/(-3))/(b/30) a composite number?
True
Suppose 0*z = -z + 2. Let k be z/(0 + 2 + -1). Suppose 0 = -3*d - 12, -d = -k*b + 6*b - 304. Is b prime?
False
Suppose 3*r - r + 4*f = 150, -5*f = 4*r - 285. Is r composite?
True
Suppose 51 = -3*k - 132. Let r = k + 107. Is r prime?
False
Let l = -3 - -8. Suppose -4*p = 2*q - 5*q + 679, l*q - p = 1109. Let k = -126 + q. Is k composite?
True
Let o(j) = 6 - 7*j**2 - 10*j + 2 + 1. Let w(t) = -15*t**2 - 21*t + 19. Let d(g) = -13*o(g) + 6*w(g). Is d(2) composite?
True
Suppose 0 = 6*p - 5611 - 1295. Is p a prime number?
True
Let x be (-4)/8 + (-83)/(-2). Suppose 2*m - x - 129 = 0. Is m a composite number?
True
Suppose -3*o + 5*d - 664 = -6*o, 3*o = -4*d + 665. Is o composite?
False
Let i = 16 + -19. Is (-136)/i + 4/6 prime?
False
Suppose -3441 = -2*x + 2*i + 4659, -3*i = 2*x - 8095. Is x a prime number?
True
Let o = 2016 - 1131. Suppose 4*w = w + o. Is w composite?
True
Suppose -r = -24 - 24. Let a be 1 + r + 1 + -1. Let k = a + 4. Is k composite?
False
Let n be ((-8)/10)/((-4)/10). Let y be 0/(-1) - (2 - n). Is (y - (-13 - 0)) + 0 prime?
True
Let i = -5 + 10. Suppose 2*v + v - 13 = 2*h, i*v - 3*h = 21. Suppose -v*z - 2*w = -5*z + 92, 5*w = 15. Is z composite?
True
Let y be 3/(-2*3/(-288)). Suppose 3*p + 3*a - y = 0, 4*p - 2*p - 2*a - 116 = 0. Is p a prime number?
True
Suppose -3*m - 3*k = -12 - 6, 0 = 4*k - 16. Let p be (-2)/7 + 57/(-21). Is (m + 205 - p) + 1 a composite number?
False
Suppose -10899 = -7*v - 2*v. Is v composite?
True
Suppose 4*h = -3*g - 125, 0 = -2*h - 2*g - 29 - 33. Let r = -67 + 112. Let v = r + h. Is v a prime number?
True
Suppose 0*t - 10 = -2*t. Suppose -t*k - 4 = -399. Is k a prime number?
True
Let j be 1*(79 - (6 + -3)). Suppose 4*i - j - 32 = 0. Suppose p + z + 2*z = i, 4*z + 97 = 5*p. Is p prime?
False
Let d be (3 + 0)/((-9)/(-873)). Is (4/(-3))/((-2)/d) prime?
False
Let x = -303 + 35. Let o = x - -381. Is o a prime number?
True
Suppose 3 = 5*s + 33. Is s + 4/2 - -41 a prime number?
True
Let d be 1/(2 + (-14)/8). Suppose 3*y + d*r = 97, -r - 34 - 49 = -2*y. Is y a prime number?
False
Let i = 5 - 2. Suppose 7 = i*o - 2*o. Is o a prime number?
True
Suppose 4*w + 137 = 381. Let k = -11 - -20. Suppose k = 2*x - w. Is x a prime number?
False
Let y(c) = 10*c**2 + 21. Is y(17) composite?
True
Suppose 4*o - 1 = -3*r - 17, 12 = -5*r - 3*o. Suppose -q + 0*q = x - 297, r = q - x - 289. Is q prime?
True
Let s(q) = q**3 - 7*q**2 + 2*q - 8. Is s(7) a composite number?
True
Let i(t) = -27*t + 24. Is i(-7) prime?
False
Suppose 2*z + 0*z = -4*m + 4, -3*z - 2*m = -6. Let x be (40/25)/(z/45). Suppose 2*q + b = 17, -x = -5*q - 5*b + 4. Is q composite?
True
Suppose -12*z = -4*z - 120. Let c(p) = 4*p**2 - 21*p - 14. Is c(z) a composite number?
False
Suppose 526 = 3*w - w. Is w a composite number?
False
Let n(p) = p**3 + 9*p**2 - 4*p - 7. Let k = 14 + -5. Suppose -3*a = i - 2, k = -2*i + a - 8. Is n(i) composite?
True
Suppose -2*h = 2*h - 9504. Suppose 0 = 4*z - 0*z - h. Let f = z + -403. Is f a prime number?
True
Let c = 74 + -42. Let i = -21 + c. Let t = i + -8. Is t composite?
False
Let u = -47 + 101. Let b = -33 + u. Is b prime?
False
Is ((-4)/12)/((-2)/1542) a prime number?
True
Suppose 2 = 2*b - 4*t, 0 = 5*b - 2*t - 11 - 2. Suppose 4*l + b*r - 460 = 0, -6*r = 3*l - 3*r - 345. Is l a prime number?
False
Let d be 4/6 - 8813/21. Let p = -6 - d. Is p a prime number?
False
Suppose 4*s + 7 + 7 = 3*p, -4 = 2*s. Is (3 + -1)/p*67 prime?
True
Let f be 154/6 + 4/(-6). Suppose 0 = 3*v - 5*g - f, 0*v - 19 = -3*v + 2*g. Suppose -5*o - v*b + 150 = 0, b - 1 = -2. Is o a composite number?
False
Let v = 42 - 14. Let l(u) = 2*u - 31. Let n be l(11). Let w = v + n. Is w prime?
True
Let u = 2730 + -1477. Is u prime?
False
Suppose h = 2*h + k - 95, -3*k = 0. Suppose 0*z - 5*z = -h. Is z prime?
True
Suppose -4*u = -4 - 4. Suppose 5*o = q, o - 22 = u*q - 4*q. Is q composite?
True
Let r(b) = 55*b**2 - 19*b + 23. Is r(10) a composite number?
False
Let m(j) = j**3 - 5*j**2 + 3*j + 3. Let h be m(4). Is 1/(((-2)/118)/h) a composite number?
False
Let c = 10 - 5. Let t(h) = 2*h - 7. Is t(c) prime?
True
Let r(o) = o - 2. Let q be r(0). Let t(v) = v - 1. Let n be t(q). Is (-22)/(-4)*(-6)/n a prime number?
True
Let x(f) = -2*f - 2. Let z be x(-2). Suppose 5*c + 0*c = -4*u + 17, -5*u + 17 = z*c. Is 2/3*u + 33 prime?
False
Suppose -2*h = 3*h. Suppose h*j + a = 2*j - 757, -2*a = 3*j - 1153. Is j a composite number?
True
Let a be 39/5 - 6/(-30). Suppose -4*v - 810 = -a*v - 5*h, -1035 = -5*v + 5*h. Is v a prime number?
False
Let h = 16 + 118. Is h prime?
False
Is (-1)/(((-3)/587)/3) a prime number?
True
Suppose 13 = -2*o + 5*c, -3*c + 5*c - 10 = 0. Is 1269/o + (-3)/6 a composite number?
False
Let u(x) = 59*x + 4 + 3 - 1 - 5. Let z be u(4). Suppose l = z - 70. Is l composite?
False
Let q = -60 - -119. Is q a prime number?
True
Let w(s) = 7*s**3 - 37*s**2 - 10*s + 23. Let f(a) = -4*a**3 + 19*a**2 + 5*a - 12. Let u(y) = 5*f(y) + 3*w(y). Is u(17) a prime number?
False
Let r be 6/(-3)*-1 - -1. Suppose -k = r*k - 348. Is k a prime number?
False
Suppose 0 = 5*v - v. Suppose v = -3*j + 161 - 50. Is j composite?
False
Suppose -5*d - 1 = -26. Let b(h) be the third derivative of h**5/60 + 5*h**4/24 - h**3/6 - h**2. Is b(d) a prime number?
False
Let r(o) = -18*o. Let u be r(-2). Suppose 0*t = 4*t - u. Is t a composite number?
True
Let p(z) = -z**3 - z**2 - 2*z - 1. Suppose -y = -0*j - 2*j + 6, 5*j - 24 = -2*y. Let u = y - 6. Is p(u) a composite number?
True
Let n = -2 - 3. Let z(i) = -6*i + 7. Is z(n) prime?
True
Let j = 4630 - -877. Is j a prime number?
True
Let i = -91 + 201. Suppose -2*x = -b - 47, -2*x + 7*x - 5*b = i. Is x prime?
False
Suppose 4*a - 2*d - 2 = 2, 2*a = -2*d + 14. Suppose -g = b - 145, a*b + 5*g - 444 = 1. Suppose 4*j + 0*j - b = 0. Is j a prime number?
False
Suppose 3*b + 2*a + 3*a - 119 = 0, 0 = b - a - 37. Suppose -4*d + 394 - b = 0. Is d a composite number?
False
Let t = 5 + -6. Let o(q) = -11*q**3 - q - 1. Is o(t) a composite number?
False
Let s = 27 - 16. Let q(b) = b - 2 + 13*b - b**2 + 0. Is q(s) composite?
False
Suppose 0 = -6*v + 350 + 316. Is v composite?
True
Suppose -2*h + 148 = 378. Let k = 68 + h. Let r = k + 85. Is r prime?
False
Let n = -157 + 300. Is n a composite number?
True
Suppose -4*c = -2*c - 10. Suppose n - 4*r = 2*n - 5, -9 = -c*n - 4*r. Is (n/2)/((-2)/(-132)) prime?
False
Is (-40)/6*4137/(-28) a composite number?
True
Let x(l) be the first derivative of -2*l**3/3 + 2*l**2 + 2*l + 3. Let c be x(6). Let r = -33 - c. Is r a prime number?
True
Is 15/75 + (-2 - 8708/(-10)) prime?
False
Supp