= -3*r - f. Let t = -33 + r. Is t a prime number?
False
Suppose 5*y + 5*p = 790, 4*y - 631 = -2*p - p. Is y prime?
True
Suppose 0 = -n - 2*n - 12. Let d be -2 - (0 - n)/(-2). Is (d + -1)*(1 + -12) a prime number?
True
Suppose s - 4*s = 0. Let b(x) = -2*x + 145. Is b(s) a composite number?
True
Let z(w) = 4*w**3 - 3*w**2 - 8*w + 5. Is z(6) a prime number?
False
Suppose -4*i + 68 = 2*t, 53 = i + 2*i + 2*t. Let l be 4*5/(i/102). Suppose 25 + l = z. Is z prime?
False
Let b be (-2)/3 - 8/6. Let x be (-151)/b - (-1)/(-2). Suppose k = -4*l + 41, 6*k - x = 4*k - l. Is k a composite number?
False
Let p = 17 + -15. Suppose 0 = -v + 5*z + 526, p*z + 607 = 4*v - 1407. Is v a composite number?
True
Let a = 601 - 178. Suppose 2*n + a = 5*n + 3*f, 0 = -5*n - 4*f + 703. Is n prime?
True
Suppose -5*q = -10, 774 + 6035 = 5*b + 2*q. Is b a composite number?
False
Suppose -5*x + 0*x = -3*k + 6, 2*k - 4 = -x. Suppose x = -j - 5*f + 203, -912 = -4*j + 5*f - 0*f. Is j a composite number?
False
Suppose 6 = 2*y - y. Suppose -10*n + 1052 = -y*n. Is n a composite number?
False
Suppose -6*g = -0*g - 12. Let p(k) be the first derivative of 15*k**2 - k - 1. Is p(g) a composite number?
False
Let a be (-2)/((-6)/9 + 0). Suppose -1 = -a*g + 5. Suppose 2*u - 2*b + 57 = 3*u, 4*u - 268 = g*b. Is u prime?
False
Suppose 2*d - 4*m - 350 = 0, 0 = 3*d + m + m - 541. Suppose -3*r + 8*r = -3*g + 163, -5*r + g = -d. Is r prime?
False
Suppose 96 = x + 3*x. Let v = 15 + x. Let k = v + -20. Is k composite?
False
Let i(j) be the second derivative of -j**3 - 9*j**2/2 + 4*j. Is i(-7) composite?
True
Let k be 11 - -2*(-3)/(-2). Suppose -5*b = v - k - 10, -v + 20 = 3*b. Is v a composite number?
True
Let i = 10 - -1. Is i composite?
False
Suppose 12 = -z + 5*z. Suppose z*l - 276 = 3*d - 0*d, 4*d - 8 = 0. Is l prime?
False
Suppose b - 421 = 31. Let d(n) = -n**2 - 7*n + 2. Let j be d(-7). Suppose j*u + b = 6*u. Is u prime?
True
Let r(x) = x**2 - 3*x + 1. Let a be r(1). Let h = 1 - a. Suppose i - h*i = -23. Is i prime?
True
Suppose r + 45 = b, -5*b + 4*r = -39 - 183. Suppose -1251 = -3*k - b. Is k a composite number?
True
Suppose 0 = 5*i - 366 + 76. Is i a prime number?
False
Let v(h) = 83*h**3 + 2*h**2 - 6*h + 4. Is v(1) a prime number?
True
Suppose 3*d - 5*b = -10*b + 5914, -3*d = 2*b - 5917. Is d a composite number?
False
Let k(a) = -75*a + 1. Let s be k(1). Let c be 8/(-28) + s/(-14). Suppose c*u - 186 = -1. Is u a prime number?
True
Suppose o = -4*m - o + 24, -3*o = -5*m + 19. Suppose -27 = -m*f - 2. Suppose d + 0*n - 94 = -f*n, -292 = -4*d + n. Is d a prime number?
False
Suppose -5*h - 2*t = 3*t + 120, 87 = -3*h + 2*t. Let c(u) = -45*u**3 - u**2 + u - 1. Let f be c(1). Let v = h - f. Is v prime?
True
Suppose -1 - 3 = i + j, -j = -4*i + 4. Is 80 + -1 - i/2 a prime number?
True
Let u(q) = -q**3 - 12*q**2 + 13*q. Let c be u(-13). Suppose c = -0*d + 4*d - 652. Is d a prime number?
True
Is 475 - (1 + (-7 - -2)) a prime number?
True
Suppose -3*s = -3*o + 186, 0 = 4*s - s. Is o composite?
True
Is 166 - ((-24)/4)/(-2) composite?
False
Let s(q) = q**2 + 8*q + 10. Is s(7) a prime number?
False
Suppose 0 = 3*m - 7*m + 20. Suppose g - 55 = -m*l - 5, -5 = g. Suppose 0 = -a - 4*n - 7, 2*a + n - l = -2*n. Is a a prime number?
True
Suppose 2*i + 5948 = 3*g + 300, -4*i - 7528 = -4*g. Let w be 6/(-4)*g/(-9). Let p = w + -123. Is p a prime number?
True
Suppose -6 = -2*g + 22. Is (-4)/g + (-156)/(-7) composite?
True
Let m = -55 + -10. Let d = m - -120. Is d a prime number?
False
Is (-2)/((54620/(-3644))/(-5) + -3) a prime number?
True
Let z(g) = -g + 3. Let u be z(0). Let m be (-30)/(-2)*4/u. Let t = m + -13. Is t a composite number?
False
Let t(f) be the first derivative of -4*f**2 - 9*f + 15. Let j(s) = s**2 + 9*s + 7. Let i be j(-6). Is t(i) composite?
False
Let w = -41 - -254. Is w composite?
True
Let m(h) = h**2 - 2. Let y be m(2). Let v = 6 - y. Suppose -11 = v*g - 47. Is g a prime number?
False
Let o(v) = -4*v**2 - v - 1. Let j be o(-1). Is (-2 - (j + 3)) + 38 a composite number?
False
Let a(w) = 3*w + 6. Let v be a(5). Let k be (-26)/(-7) - (-6)/v. Suppose 3*f = -t + 194, 2*t + k*f - 915 = -3*t. Is t prime?
True
Let f(k) = k**3 - k**2 + k. Suppose l - 5*g = -24, -3*l - 1 = 2*g + 3. Let q(r) = 5*r**3 + 3*r**2 - 3*r. Let w(a) = l*f(a) + q(a). Is w(-7) a composite number?
True
Let p = 26 - 47. Suppose 5*l - 5 = 0, -4*g - 598 = -7*g + 2*l. Let w = g - p. Is w a composite number?
True
Suppose -4*x = -5*d - 33 + 4, -2*x + 5*d = -17. Suppose 0 = x*y - 9*y + 561. Is y a prime number?
False
Let s be (-6)/(-21) + (-19)/(-7). Let d(r) = 33 + 3*r + r**2 + r**s + 0*r**3 - 2*r. Is d(0) composite?
True
Suppose -x = -6*x. Suppose x = 5*j - 56 - 9. Suppose 5*p - j = 7. Is p composite?
True
Let t be 1173/12 + (-2)/(-8). Suppose 2*l - 4*u = t + 4, 47 = l - 4*u. Is l a composite number?
True
Let z = 1 + 0. Let m be (-1 + -1)/(z + 1). Is (-203)/(-4) + m/(-4) prime?
False
Let q = -2 + 5. Let h be (-3 + 9 - 4) + 308. Suppose q*o = -2*o + h. Is o composite?
True
Suppose 4*s - 395 = 3*s. Let h = 814 - s. Is h prime?
True
Suppose -4*q = -18 - 474. Is q prime?
False
Let n be -3*-4*2/6. Suppose -5*h = -z - 0 + 3, -5*z + 15 = n*h. Is z composite?
False
Let s = -9 - -13. Suppose -k - s*z - z + 11 = 0, 3*k - 4*z - 109 = 0. Is k composite?
False
Let h be 10/5 - (0 + -1). Suppose 1540 = h*m + 85. Is m prime?
False
Is 2/5 - 21537/(-45) a composite number?
False
Let x(i) = i**3 - 4*i**2 + 2*i - 5. Let c be x(4). Suppose -5*p - 29 = -c*r - 10, 3*r + 2*p = -16. Is 14 - (r + -1)/(-3) a prime number?
True
Let z = 34 + 4. Suppose y = -y + z. Suppose -d + y = 2*c, d - c = 2*d - 22. Is d a prime number?
False
Let s(d) = -1154*d + 29. Is s(-3) prime?
True
Suppose 5*y + c - 1274 = 0, 2*c = -3*y + 6*y - 767. Suppose -3*w = p - 382, 0*p + y = 2*w + p. Is w a composite number?
False
Suppose 2*q + 2*n - 4 + 0 = 0, -2*n = 3*q - 1. Let o be (-57)/(q/(-44)*-2). Let j = -297 + o. Is j prime?
False
Suppose 5*l = -7 + 27. Suppose -4*p = -0*p - 3*f - 264, l*f = -2*p + 154. Is p composite?
True
Suppose 7*f = 2*f - 10, 5*k = 4*f + 33. Suppose -k*j = 47 - 202. Is (j/2)/((-1)/(-2)) composite?
False
Suppose -t + 325 = 4*t. Let h = t - 0. Is h a composite number?
True
Let n(d) = d**3 + 4*d**2 - d - 1. Let g be n(-4). Suppose 0 = 3*l + 9, 4*h - 621 = h - g*l. Let q = h + -89. Is q composite?
True
Let p be (-1 - (-1)/1)/2. Suppose -f + 5*o + 108 = p, 4*f + 2*o - 5*o - 347 = 0. Is f prime?
True
Let u(b) = 8*b**2 - 2*b - 9. Suppose 0 = 4*g + 13 + 3. Is u(g) a composite number?
False
Let f(h) = -h**3 - h**2 - 3*h + 337. Is f(0) composite?
False
Let u be (-16)/6*(-6)/2. Let g(m) = 2*m - 2*m - u*m + 1. Is g(-6) a composite number?
True
Suppose -10*g = -7*g - 90. Let n = g + -21. Suppose -55 = -5*r - 5*j, 3*r = 2*j + j + n. Is r composite?
False
Suppose 4*a - 5*m - 7 = 18, -3*m - 13 = -2*a. Let y(x) = -x**3 + 7*x**2 - 2*x - 5. Is y(a) a prime number?
False
Let v(n) = 2*n**2 + 7*n - 6. Let g be v(6). Suppose -s - 3*s = g. Let j = -8 - s. Is j a composite number?
False
Suppose p + q - 2*q = 216, 3*p - 658 = 5*q. Is p a composite number?
False
Suppose -5131 = -4*c - 3*c. Is c a prime number?
True
Let g be 8/(2/(-44)*2). Let v = 75 - g. Is v a composite number?
False
Let r(b) = 5*b**2 - 3*b + 4. Let p(z) = 4*z**2 - 3*z + 3. Let q(l) = 3*p(l) - 2*r(l). Is q(3) composite?
True
Suppose -4*f - 34 = -o + 3*o, 4*f + 3*o + 37 = 0. Let m(d) = -4*d**2 - 10*d - 2. Let a be m(f). Let n = 195 + a. Is n a composite number?
False
Suppose -5*h = f - 14, -4*f - 4*h - h + 11 = 0. Let y be f*(1 - 1)/2. Suppose 4*n + 2*q - 482 = y, -q - 110 = -n + 2*q. Is n a prime number?
False
Let v(m) = -7*m - 11. Suppose 14 = -3*a + a + 3*j, -5*j = a + 20. Is v(a) a composite number?
False
Let w(r) = 5*r**3 + 5*r**2 + 6*r - 142. Let l(o) = o**3 + o**2 + o. Let d(y) = 6*l(y) - w(y). Is d(0) composite?
True
Let h(x) = x**2 + 4. Let f be h(0). Suppose 0 = -f*y + 155 + 441. Is y a composite number?
False
Is 115 + 2 + (0 - -4) a composite number?
True
Let f = 5 + -5. Suppose f = -b - c + 4*c + 73, -5*c = -4*b + 278. Is b a prime number?
True
Let c(n) be the first derivative of 16*n**3/3 - n**2/2 - 2. Let y = 27 - 25. Is c(y) a composite number?
True
Let x(b) = 230*b + 4. Let j be x(2). Let l = -253 + j. Is 