se 153 = -z + q*z. Is z prime?
False
Suppose 0 = 13*m - 72631 - 29562. Is m prime?
False
Let i be 4 + -5 - 606/(-3). Suppose 7*j = 3*j. Suppose j*n - 3*n + i = 0. Is n composite?
False
Let v(m) be the first derivative of -7*m**2 + 3*m + 4. Is v(-6) a composite number?
True
Let r(v) = -v**2 + 12*v - 10. Suppose -t - 5*l = 4*t - 10, -5*t + 6 = 4*l. Let w(c) = -6*c + 5. Let d(p) = t*r(p) - 5*w(p). Is d(-5) prime?
False
Let l(n) = -n**3 + 2*n**2 + 4*n + 2. Suppose 6*y = 2*y. Let o be y + -2*9/6. Is l(o) prime?
False
Let u(h) = -h**3 - 12*h**2 - 10*h + 11. Let p be u(-11). Suppose -4*m = -4*k - 848, p*m - 2*m - 2*k + 444 = 0. Is m prime?
False
Suppose 3*g - 47 = 97. Is g + 2*(0 + -1) prime?
False
Let g(o) = 2*o**2 - 3*o + 3. Let y be g(3). Suppose 0 = -3*u - u + y. Suppose -f = -d + 4*f + 37, u*d + 2*f = 145. Is d composite?
False
Suppose -g + s + 3*s - 16 = 0, 0 = -2*g + 3*s - 12. Let r = g + 3. Suppose 3 + r = x. Is x prime?
False
Suppose -10*t + 0*t = -10430. Is t prime?
False
Let z = 1647 + -1088. Is z prime?
False
Suppose 7*w - 4302 - 577 = 0. Is w prime?
False
Let d(o) = -o**3 - 2*o**2 + o - 3. Let r = -2 + 5. Suppose 0 = 5*g + 4*m, g + 0*m - r*m + 19 = 0. Is d(g) a composite number?
True
Let i be 4/16 + 295/4. Suppose -b = -i - 68. Is b a prime number?
False
Let o = -29746 + 18250. Let f be (-2)/(-6) + o/(-18). Suppose -5*n = -k + 186, k = 5*k + n - f. Is k a prime number?
False
Suppose 3*p - 9 = -3. Suppose 0 = p*z + 4 - 8. Suppose 162 = z*c - 4*n, -4*c - 2*n = -105 - 269. Is c composite?
True
Is ((-27)/(-15) + -1)*55/2 composite?
True
Suppose -2*z - z + 36 = 0. Suppose z = 3*b + 4*i, -6 = 2*b + 2*i - 4*i. Suppose b = -5*t + 372 + 23. Is t composite?
False
Suppose 4*a + 20 = 2*a. Let m be (6/(-15))/((-2)/a). Is 47 - (0 - -1)*m prime?
False
Let k(r) = r**3 - 6*r**2 - 5*r + 7. Let a(j) = j**3 + 6*j**2 - 8. Let c be a(-6). Let m = c - -15. Is k(m) prime?
False
Let y(w) = -35*w + 4. Let o be (-8)/20 + 13/(-5). Let p be y(o). Suppose -6*g + 2*s + 76 = -2*g, 5*g + s = p. Is g a composite number?
True
Suppose 0 = 3*m - 5*r - 0*r - 386, -5*m = -2*r - 618. Is m a composite number?
True
Let v be (4/5)/((-4)/30). Let c(l) = 2*l**2 + l + 3. Is c(v) a composite number?
True
Let l(g) = -99*g - 7. Let p(y) = 49*y + 4. Let n(u) = 4*l(u) + 7*p(u). Is n(-1) composite?
False
Let i(o) = -421*o**3 - 2*o**2 + 1. Let c be i(-1). Is (-6 - -4) + (c - -1) composite?
False
Let k(w) = w**3 - 2*w**2 + 2*w - 2. Let c be k(2). Let n(u) = u**2 - 5*u - 6. Let j be n(6). Suppose j = 2*s - c - 42. Is s composite?
True
Let o be 80 + 2/((-6)/9). Let a = -44 + o. Is a prime?
False
Let v(n) = -9*n**2 - 8*n + 1. Let t be 3 + -3 - 12/(-2). Let k(c) = 17*c**2 + 15*c - 3. Let d(y) = t*k(y) + 11*v(y). Is d(-6) prime?
True
Is (2 - -1) + 884/17 a composite number?
True
Let z(p) = -p - 1. Let o(m) = 12*m - 10. Let v(a) = o(a) - 3*z(a). Let k be v(7). Suppose 88 = 3*u - k. Is u prime?
False
Let n(a) = 2*a**2 - 23*a + 22. Is n(15) a prime number?
True
Suppose -f = -2 + 22. Let k = f - -34. Suppose s = -5*l + 35, k = -l + 6*s - 2*s. Is l a composite number?
True
Let p be 40/18 - 8/36. Suppose -3*f = -p*f - 53. Is f composite?
False
Let m(a) = -6*a**3 - 2*a**2 - 3*a - 4. Is m(-3) a prime number?
True
Suppose -3*o = -29 - 13. Suppose 10 = 2*t + 3*b, -4*t - 10 - o = -5*b. Is 0 - t - 12*-3 prime?
True
Let i be 0 - 243/(6 + -3). Let m = 338 - i. Is m prime?
True
Let i(z) = 19*z**2 - 2*z + 5. Is i(-4) composite?
False
Suppose 4*w + 33 = 1. Is (4/w)/(2/(-212)) prime?
True
Suppose -10*b - 1270 = -12*b. Is b composite?
True
Let n = 626 - 417. Is n prime?
False
Let r be (-2)/(5/(-2) - -2). Let i = -99 - -223. Suppose 0*p - r*p = -i. Is p a prime number?
True
Let d = 9 + -7. Let x(y) = -d*y**3 - y**3 + 2*y**3 + 7 + 7*y**2 + 3*y + y**2. Is x(6) a prime number?
True
Suppose 3*u - 1341 = -348. Is u a composite number?
False
Suppose 2*m = 8, 33 + 54 = z + 5*m. Is z a prime number?
True
Let s = 7 - 11. Let v be s/(4/(-119)) - 0. Is (-3 - -5)*v/2 prime?
False
Suppose 14*c - 32502 = 692. Is c a composite number?
False
Suppose 2*b = 3*o - 1771, -4*o = -2*o - 4*b - 1194. Is o prime?
True
Is (-4)/((-3)/(2235/10)) a prime number?
False
Let l = 4785 + -878. Is l a prime number?
True
Let s be 3/(-6)*(0 - 8). Let a be 6*(35/2 + 1). Suppose -y - a = -s*y. Is y a prime number?
True
Is (-1)/(-2 + (-42)/(-22)) a prime number?
True
Let d(i) = i**2 - 7*i - 13. Let l = 24 - 15. Let g be d(l). Suppose -4*s = -2*o - 230, -5 = g*s + 2*o - 288. Is s composite?
True
Let j be 42/(-35)*20/(-6). Suppose -j*r + 20 = 0, 0 = 4*o + 2*r - 70. Is o a composite number?
True
Let h be 2/(-4) + 7/2. Is (1/h)/((-2)/(-762)) a composite number?
False
Let w(o) be the first derivative of -o**2/2 + 4*o - 1. Suppose -2 + 17 = -3*b. Is w(b) a prime number?
False
Suppose 0 = -5*g + 5*w + 20, 2*g + 3*g + 3*w - 28 = 0. Suppose -3*m + 15 = g*u, 4*m - 18 + 3 = -5*u. Is u prime?
True
Let k(d) = 2*d**2 - 3*d + 9. Let w be k(8). Suppose 2*v = v + w. Is v a composite number?
False
Let n be 2/4*(1 - -3). Suppose 2*p + 6 = 0, n*x - 3*p = -0*x + 47. Is x prime?
True
Suppose 6 = 5*i - 9, -5*t = -2*i - 799. Is t prime?
False
Let q = 45 - -29. Is q composite?
True
Let f(r) = -r - 18. Let b be f(-9). Is (30/b - -1)*-6 composite?
True
Let d be 3*(-2)/3 + 281. Suppose 5*a = 724 - d. Is a a composite number?
False
Let j(z) = 0*z**3 - 11*z**2 + z**2 + z**3 + 0*z**3 - 12 + 11*z. Let n be j(9). Is (-100 + n/2)*-1 a composite number?
False
Suppose -3*q - 15 = -5*i, -q - 3*i = q - 9. Suppose 5*v - 241 - 204 = q. Is v composite?
False
Is (-4859)/(-2) - (15/10 - 1) a prime number?
False
Suppose 288 = n + c, 0 = 2*n + 3*n - 4*c - 1485. Is n a composite number?
False
Let g(y) = 33*y - 38. Is g(9) a prime number?
False
Let r = 99 - 40. Is r a composite number?
False
Let p(l) = -l + 457. Let j be p(0). Let x = -300 + j. Is x prime?
True
Let a = -59 + 92. Is a composite?
True
Let l(z) = 320*z**3 + z**2 + z + 3. Is l(2) prime?
False
Let r = 3 - -2. Suppose -3*b = k - 6*b - 310, -5*b = r. Is k prime?
True
Let b(w) = w**2 - 7*w. Let l be b(7). Suppose l = -4*m + 99 - 23. Is m a prime number?
True
Let d = 101 + -22. Is d composite?
False
Suppose -4*j - 22 = -7*j - 4*n, 5*j = 3*n + 27. Let t be 2/j + 2/(-6). Suppose 2*o - 5*w - 99 = t, -3*w + 96 = 3*o - 0*w. Is o a prime number?
True
Let j(u) = u**3 + 2*u**2 - 3*u - 3. Let x be j(-2). Let b be x/((-1)/2 + 2). Is 9/(-1 - -2) - b composite?
False
Let z = 145 - -76. Is z a prime number?
False
Is 40/(-12)*(-69)/2 a prime number?
False
Let j(q) = q**2 + 4*q + 1. Let l(t) = t**3 - t - 6. Let o be l(0). Is j(o) composite?
False
Suppose 18 = 3*u - 0*u. Let i(z) = 15*z - 4. Let l(m) = m. Let k(a) = u*l(a) - i(a). Is k(-3) prime?
True
Let y be 1/(1*(-1)/46). Let b = 207 + y. Is b composite?
True
Let o(t) = t**2 - t - 738. Let l be o(0). Let s = -181 - l. Is s a prime number?
True
Let p(z) = -z**3 - 3*z**2 - z + 2. Let v be p(-3). Suppose 2*h = -r + 4, v*r - 9*h + 40 = -4*h. Is (-94)/(-6) - r/(-6) a prime number?
False
Let t = 1 + 0. Let a(k) = 8*k**3 + 2*k**2 - 2*k + 1. Let y be a(t). Is -3*(-3)/y + 190 prime?
True
Let g be -7*(-3 - -1)/2. Let u = g - 5. Suppose 2*p - 84 = -u*p. Is p a composite number?
True
Suppose -5 = -3*g + 7. Suppose g*i + 12 + 28 = 0. Let w = i + 16. Is w composite?
True
Is 2/1*(-371)/(-14) prime?
True
Let m(s) = -5*s**3 + 3*s**2 + s + 4. Is m(-3) a prime number?
True
Let a be -2 + -2 + 2*27. Let p(q) = 2*q**2 + 2*q - 2. Let g be p(-2). Suppose 4*j + 3*f - a = g*j, -112 = -4*j - 3*f. Is j a composite number?
False
Let s(w) = -w**3 - 7*w**2 - 4*w + 3. Suppose 0 = 3*z + 2*z + 4*j + 6, 20 = -5*j. Let q be (z + -4)/(4/14). Is s(q) composite?
False
Let f = -35 - -116. Let t = -14 + f. Is t prime?
True
Suppose 0 = -0*k - 4*k + 32. Let j = k - -3. Let v = j + 24. Is v composite?
True
Let r(h) = 12*h**2 - 18*h - 19. Is r(-10) a composite number?
False
Let i = -8 + 18. Let b = i - 0. Is b prime?
False
Suppose 0 = -2*g + 3 + 1. Suppose 5*c = -2*p + 154, g*p - 124 = 3*c + 62. Is p a prime number?
False
Let r(j) = 12439*j**3 - 3*j**2 + 3*j. Is r(1) prime?
False
Suppose 0 = 5*t - 20 - 0, 0 = 2*g + t - 66. Is g prime?
True
Is -3*(5 - (-39040)/(-15)) a composite number?
False
Let a = 2 - 0. Let q(t) = 3*t**a + 26*t**2 + 28*t**2.