ppose m + j*m = 4*l + 7, -m - 2*l + 31 = 0. Is m a composite number?
False
Let f(o) = o + 3. Let q be f(4). Let k = q + -4. Suppose -93 = -6*u + k*u. Is u a prime number?
True
Suppose 5*a = -2*g - 19, 0 = 5*g - a + 2*a + 59. Let u(c) = c**3 + 11*c**2 - 17*c - 17. Is u(g) composite?
False
Let u(b) = -b**2. Let d be u(0). Let a = 111 - 32. Suppose d*t = t - a. Is t a composite number?
False
Suppose 0*g = -g - 59. Let w = g + 298. Is w a composite number?
False
Suppose 2*d = -0*d. Suppose d = -3*t + 15 + 12. Is t prime?
False
Let o(g) = -2*g**3 + 13*g**2 + 16*g + 15. Let h be o(-10). Suppose 6*z = 8489 - h. Is z a composite number?
True
Suppose 0 = -2*r + 1252 + 550. Is r composite?
True
Let x = -282 + -76. Is 2/(-6) - x/3 prime?
False
Suppose 0*o + 75 = -5*o - 3*n, 3*o + 31 = n. Let y(u) = -u - 1. Let g be y(5). Is 11*1*o/g composite?
True
Let k = -26 + 8. Let z = 49 + k. Is z prime?
True
Let b be -6 - (2 - 0)/(-1). Let h = b + 6. Suppose -5*p + 12 = -2*p, -h*x = -5*p - 22. Is x composite?
True
Is (15 + -17)*(-541)/2 prime?
True
Suppose -3*c + c = -226. Is c a prime number?
True
Let c(n) = -n**3 - 15*n**2 - 15*n - 8. Let d be c(-14). Is d/(3/42*4) a prime number?
False
Is (-1)/((-1)/1341*3) a composite number?
True
Let n = -1 - -1. Suppose n = -g + 3*c + 5, -3*c - c + 26 = g. Is g a prime number?
False
Suppose 2*y + 14 - 36 = 0. Let d(g) = g**2 + 10*g + 63 - y*g - 12. Is d(0) prime?
False
Suppose -5*w = -464 - 6. Suppose -d = d - w. Suppose -3*x + 28 = k - 0*x, -4*k + x + d = 0. Is k composite?
False
Let p be (190 + -1)*(0 - 2). Let y = p + 589. Is y prime?
True
Let h be (-420)/((-2)/(1 - -1)). Suppose 3*j - h = -4*q, q + 0*j = 3*j + 90. Suppose -i + q = -53. Is i a composite number?
True
Let h be 1 + 4/((-8)/502). Let d be (-108)/(-10)*h/15. Let p = d - -329. Is p prime?
True
Suppose 0 = 2*l - 3*z + 12, -5*l + 8 = -4*l + 2*z. Let j be (l + -1)*4*-1. Suppose 2*n + 2*y = y + 103, 0 = 3*n - j*y - 127. Is n a prime number?
False
Suppose 4 = 2*q - 6. Let c(n) = 6*n**2 - 6*n - 1. Is c(q) composite?
True
Let q be (-8)/(3 - (-302)/(-100)). Let y = q - 273. Is y a prime number?
True
Let k = 17 + -13. Suppose k*a = 118 + 534. Is a prime?
True
Let c be (-1329)/1*(-8)/24. Suppose -5*w + 12 + c = 0. Is w prime?
False
Suppose -4*d = -280 + 84. Is d prime?
False
Let n(y) = -5*y**3 - 4*y - 4. Let o be (1/3)/(2/(-18)). Is n(o) prime?
False
Let g = 5 + 1. Is ((-4)/g)/((-2)/327) prime?
True
Suppose -2*l - 5275 = -7*l. Is l a composite number?
True
Let j = -1 + 1. Suppose j*x - 5*x + 275 = 0. Is x a composite number?
True
Is (-4)/(-6)*(-10356)/(-8) a prime number?
True
Is 39/(-6)*8/(-2) prime?
False
Let k(i) = 2*i - 2*i - 4 - 2*i. Let g be k(-5). Suppose -3*z - 22 = -5*u - g, 3*z - 2 = -4*u. Is u a composite number?
False
Suppose 4*d - 123 = 13. Let j(n) = n**2 - 8*n + 10. Let z be j(7). Suppose 0 = 5*i + v - d, -5*i = -z*i + v - 13. Is i composite?
False
Let z(l) = 3*l**2 + 3*l - 3. Let o be z(9). Suppose 0 = 3*y - 114 - o. Is y a prime number?
True
Let g(r) = 2700*r**2 + 7*r. Is g(1) composite?
False
Let s = 7 + -2. Suppose 2*u = s*u - 105. Is u composite?
True
Let x = -5 - -9. Let v be ((-116)/(-6))/(x/(-42)). Is (-1 - v) + (-18)/(-6) composite?
True
Let b = -39 + 12. Suppose -3*p = -k - 2*k - 138, 2*k + 92 = 3*p. Let v = b - k. Is v composite?
False
Let z = -1199 - -7170. Is z a composite number?
True
Let h(t) = -3*t. Let d be h(1). Let o be (d/9)/(2/(-6)). Is -110*o/2*-1 a composite number?
True
Suppose 0*m = -3*m. Suppose m*c + 4*c - 88 = 0. Is c composite?
True
Suppose -r = -0 - 5. Suppose -o - 2*f = f + 4, -f = -5*o - 20. Is (-44)/o*1*r prime?
False
Let b = -45 - -158. Is b composite?
False
Suppose -4*n + 5*g + 66 = -2*n, 99 = 3*n + g. Is n prime?
False
Let s(r) = -r**3 + 6*r**2 + 2*r - 8. Let k be s(6). Suppose k*q + 4 = 24. Suppose b - 8 = q*w, 0 = -b + 4*w - w + 18. Is b prime?
False
Let m be (6/4)/(9/24). Suppose 0 = -m*b + 8, 0*q - 3*b + 730 = 4*q. Is q prime?
True
Let l(h) = -h + 1. Let v be l(-1). Suppose c - 4 = 0, -4*q - 2*c - v*c = 188. Let x = q - -74. Is x prime?
True
Suppose s = -569 + 1506. Is s composite?
False
Let b(k) = -k**2 - 7*k + 11. Suppose -5*o = -5*a + 20, 0 = -2*a - 4*o + 1 - 5. Suppose 0 = 2*g - 5*q + 36, -4*g - q = -a*g + 12. Is b(g) composite?
False
Let r = -3 - -6. Suppose -2*c - r*c - 165 = 0. Is 6/c - 1962/(-22) a prime number?
True
Suppose 0 = 2*y, -3*h + 2*y + 203 = -2*h. Is h a prime number?
False
Suppose -36 = -3*d - 4*p + 79, -5*d = 4*p - 205. Let q = d - -20. Is q a prime number?
False
Suppose 3*p + 315 = 5*j - 2*p, 0 = -3*j + p + 197. Is j composite?
False
Suppose 4*c - 884 = -0*c. Suppose q - 22 = -3*g + 174, q - 2*g - c = 0. Is q a prime number?
True
Suppose -5*h + 11 = -9. Suppose -14*w = 2 - 2. Suppose w = v - 4*k - 65, -h*v - 3*k = -256 - 23. Is v a prime number?
False
Let g(j) = -4*j**3 - 2*j + 5. Let s(t) = 3*t**3 + 3*t - 6. Suppose 0 = 5*p - 0 - 20. Let d(f) = p*s(f) + 5*g(f). Is d(-1) prime?
True
Let t(s) = 9*s + 37. Let x(d) = -5*d - 19. Let w(a) = -4*t(a) - 7*x(a). Let f be w(-11). Is (-7)/(-3)*(-1 - f) prime?
True
Let d be (-168)/(-20) - (-4)/(-10). Suppose -3*a = 2*m + 50, -a - 4*m = m + 34. Is d/28 - 1774/a prime?
True
Suppose -3*g = -g - 154. Is g a prime number?
False
Let v be ((-15)/(-6) - 1)*2. Suppose 2*s = -4*t + 370, -3*t - v*s + 367 = t. Is t composite?
True
Suppose 2*s + 2*r + 12 = 0, -4*s + 4*r + 4 = -4. Let v be (s/(-6))/(2/48). Suppose -4*d - 52 = -v*d. Is d composite?
False
Suppose -a - 5*r = -16, 3*a - 6*a - 8 = r. Let x be 1/4 + 113/a. Is 20/(-16)*x*1 a composite number?
True
Let o(w) = 3*w**2 - 6*w - 2. Suppose -u - 6 = 2. Let s be o(u). Suppose -172 = -5*d + s. Is d a prime number?
False
Suppose 0 = -5*m - 5*b - 0*b + 1305, 0 = -4*m - b + 1056. Is m a composite number?
True
Let q(v) = v + 3. Let a be q(0). Suppose -79 = -a*r + 32. Is r a composite number?
False
Is ((-6)/15)/(20/(-16550)) composite?
False
Let x be (-43 + -3)*(1 + 1). Is 1*4/((-16)/x) a composite number?
False
Suppose -5*r + 2*v + 64 = 0, -4*v = -r - 3*r + 56. Suppose -2*c + r = 2*c. Suppose -c*k - 221 = -7*k - 3*t, 0 = -5*k - 2*t + 271. Is k a prime number?
True
Suppose 2*r - 3*b = -15, -5*b = -0*r - 5*r - 25. Suppose 5*a + r*o - 10 = 5*o, 0 = a - 2*o. Is 0 + 54 - (-5 + a) a composite number?
True
Let z = -316 - -160. Let m = 253 + z. Is m a composite number?
False
Suppose 2*p = 43 + 39. Suppose -4*g + p + 51 = 0. Is g composite?
False
Let r(b) = 19*b**2 + 1. Let m(c) = -c - 4. Let a be m(-5). Let l be r(a). Suppose -l = -i + 1. Is i prime?
False
Let d(o) = 45*o + 1. Suppose p = 4*p + 9, 0 = -m - 5*p - 15. Suppose m = n - 0*n + 5*j + 23, -3*n = -j - 11. Is d(n) prime?
False
Suppose 4*s - 108 = 156. Suppose 4*g - 202 = -s. Is g a composite number?
True
Suppose 6*q = 2*q + 656. Suppose 16 = 2*d + 2*d, 64 = 4*r + 4*d. Is q/r - (-4)/(-6) composite?
False
Suppose -h - 10 = -6*h. Suppose -5*f - 25 = 0, -21 = a - 3*a + 3*f. Suppose -h*b + 30 = 4*n + 12, -5*b + a*n = -58. Is b a prime number?
True
Is 278*6/(-8)*-2 composite?
True
Let k(m) be the second derivative of -m**3/6 - 11*m**2/2 + 2*m. Let l be k(-11). Suppose -g + q = -29, -4*g + l*q = -q - 122. Is g prime?
True
Let y be 8/2*(-99)/2. Let u = -286 - y. Let c = u + 125. Is c composite?
False
Let b(f) = f**2 + f - 2. Let x be b(2). Suppose 0 = -y + x*y - 105. Is y prime?
False
Let o(v) = 20*v + 1. Suppose 0 = -0*p + 2*p - 2. Is o(p) a prime number?
False
Suppose 5*o + 2 = -3*f + 1, -2*f + 3*o = -12. Let b(s) = -s**3 + 4*s**2 + 3*s + 4. Let p be b(f). Suppose p = 3*z + 1. Is z prime?
True
Let x = 11 + -7. Suppose -278 = -4*w - 6*n + x*n, -3*n - 3 = 0. Suppose -w = -r - 17. Is r a prime number?
True
Suppose 4*y = 4*h - 72, -y - 24 = -5*h + 74. Let u(w) = w**2 + 8. Let q be u(7). Let t = h + q. Is t composite?
True
Is 558/(-27)*21/(-2) prime?
False
Is (-8)/(-2) + 13471/19 prime?
False
Let a(c) = -c**3 - 6*c**2 - 7*c - 5. Let d be a(-5). Suppose -2*h - q = 2*q - 154, d*h + q - 411 = 0. Is h prime?
True
Suppose 2*q + 2*q = -456. Is (10/15)/((-4)/q) composite?
False
Let h = 4 + 0. Suppose -880 = -4*t - 4*r, -1 - h = -r. Is 3/(-4) + t/20 a composite number?
True
Is (4/(-18)*-111)/((-2)/(-57)) composite?
True
Let b = 545 + -276. Is b a prime number?
True
Let z(y) = 202*y**3 + 2*