*2 + 12*x**3. Is w(4) prime?
True
Suppose 3*q = 5*b - 1, -3*b - 11 = -b - 5*q. Suppose -u - 5*v + 27 = 0, b*v - 7 = 2*u - 1. Suppose 409 = u*m + a, -2*a - a = 3*m - 612. Is m a composite number?
True
Let z(c) = c**2 - c - 1. Let n(d) = -3*d**3 - 15*d**2 + d + 11. Let q(y) = n(y) + 4*z(y). Is q(-12) a prime number?
True
Suppose 5*v + 5 = -5, 0 = -5*o - 5*v + 81825. Is o composite?
True
Let j be (-10)/(-8)*(5 - 1). Suppose -5*z - 193 = -a, 0 = 4*a - j*z + 4*z - 715. Suppose 0 = 3*d - a - 611. Is d a prime number?
True
Let p be (-6)/(6*(-2)/8). Is ((-39)/(-3) + p)/((-1)/(-7)) prime?
False
Suppose 2*r + 2*a = 2012, a + 4*a + 5070 = 5*r. Suppose 3*w - 709 = 4*w. Let g = w + r. Is g a prime number?
False
Let w = -3 + 10. Suppose w*i - 17*i = -12850. Is i a prime number?
False
Let k = 44021 - 20534. Is k a prime number?
False
Let f(z) = -7*z + 0 - 12*z**2 - 1 + 9*z. Let m be f(1). Let u = m - -21. Is u a composite number?
True
Suppose 0 = 2*l + l - 3570. Suppose -m + l = -1203. Is m composite?
False
Let p be -3 + 3 - 18/(-1). Suppose -p*m + 904 = -14*m. Suppose 0 = -3*n - m + 1039. Is n prime?
True
Suppose x + 125840 = 5*x - 2*u, 0 = -x - 3*u + 31453. Is x composite?
True
Is (-21)/(-126)*(-246)/4*-76 prime?
False
Let y(s) = 12*s**2 + 8*s + 3. Let g be y(-5). Suppose 1529 - g = 6*f. Is f a composite number?
False
Let v(q) = q**3 - 14*q**2. Let l be v(14). Let c be 183 + (3 + l - 1). Is c + (-4 + 3)*2 composite?
True
Suppose -71 = 2*r + 3*c - 357, 0 = 3*r + 4*c - 428. Let u(b) = -8*b - 98. Let h be u(-13). Is (r/h)/((-6)/(-9)) prime?
False
Let w(y) = -169*y + 50. Is w(-5) a composite number?
True
Suppose -w + 2*f + 5 = -0*w, -w - 2*f = -1. Suppose 5*b + 3*v = 278, -5*v + 170 = w*b - 0*b. Is b prime?
False
Is (-195 + -2)*(-59 - 0) a prime number?
False
Let k = 2100 + 3739. Is k a composite number?
False
Let s = 15967 - 11204. Suppose -25 = -7*v + 2*v. Suppose -4*x - 2849 = -3*p + x, v*p - x = s. Is p prime?
True
Is 8/(-28) + (-43306)/(-14) composite?
True
Let h be (-3)/(-6) + 2/(-4). Is (-1 + 1 - h) + (-28745)/(-5) a prime number?
True
Suppose 5*q - 16945 = -5*w, -2427 - 962 = -q + 3*w. Is q a prime number?
True
Let v = 29534 - 17017. Is v a prime number?
True
Suppose 2*w = -f + 5, -f + 5 = 3*w - 7*w. Suppose -9*y - 2*x = -4*y - 2223, f*y - 2235 = -5*x. Is y prime?
True
Let h = 28755 + -10852. Is h a composite number?
False
Let m(w) be the third derivative of 3*w**4/4 - 8*w**3/3 + 2*w**2 - 36*w. Let z = 20 - 7. Is m(z) a prime number?
False
Let u(z) = -155*z**2 - 10*z + 19. Let p(i) = 52*i**2 + 3*i - 6. Let s(g) = 7*p(g) + 2*u(g). Let c be s(-4). Let q = c - 555. Is q a composite number?
True
Suppose -160692 - 40134 = -18*y. Is y composite?
True
Suppose 2*o - g + 4 = -o, 0 = 4*g + 20. Let n be 63/o*(4 - 3). Let w = n + 36. Is w composite?
True
Suppose 3*j = 491 + 142. Is j a composite number?
False
Let f = 50278 + -28575. Is f a prime number?
False
Let j = -22 - -25. Let a(p) = -96 + 36 + 2*p**3 - p**j + 439. Is a(0) a composite number?
False
Suppose 0 = -4*s + 119*r - 117*r + 139816, -2*s - r + 69912 = 0. Is s composite?
True
Let x(r) = 2*r + 6. Let v be x(-5). Is -6 - v - 393/(-1) prime?
False
Suppose 36*b - 41*b + 149159 = -4*k, 3*b = -3*k + 89490. Is b prime?
False
Suppose -5*v = -4*t - 2 + 15, 0 = -5*t + v + 11. Suppose -2 - 2 = -4*w, 3*b = -t*w + 1343. Is b a composite number?
True
Let l(u) = -2*u**3 + 10*u**2 - 4*u - 13. Let m be l(6). Let w = m - -27. Let t = w - -131. Is t prime?
False
Is (3/18*4)/(6/253359) composite?
False
Let a(r) = 2*r. Let c be a(-6). Let l = 20 + c. Let f(g) = 34*g - 7. Is f(l) prime?
False
Suppose -2*j + 30975 = 3*j. Suppose 0 = 3*u - 8*u + j. Suppose 5*m + 4*l - u = 0, 3*m - 883 + 118 = 3*l. Is m prime?
True
Let x be ((-9)/(-6) - 2)*-34. Let k = x - -1. Is (-3)/(k/(-538))*3 prime?
True
Suppose -f - 4*q = -8, 4*q - 13 + 5 = -3*f. Suppose -3*n + 4*m + 4819 = f, 4*n - 6396 = -4*m + 2*m. Is n a composite number?
False
Let c(p) = 10*p**3 - 4*p**2 + 3*p + 1. Let s(d) = 29*d**3 - 11*d**2 + 8*d + 3. Let q(h) = 8*c(h) - 3*s(h). Let r = 2 + -3. Is q(r) prime?
True
Let n(t) = 81*t**3 - 3*t**2 + 13*t + 4. Is n(3) a prime number?
True
Let z(y) = y**2 + y + 4. Let h be z(0). Suppose -3*t + t = -5*g + 2429, g - 499 = -h*t. Is g prime?
True
Suppose 10*z + 2*i = 5*z + 51559, -30927 = -3*z - 4*i. Is z a prime number?
True
Let b(i) be the first derivative of i**3 - i - 56. Let y be 1*1/(2/4). Is b(y) prime?
True
Suppose -3*m + 2856 = i - 6758, m - 3198 = i. Is m prime?
True
Let g = 1 - -2. Suppose 2*l = -j + 14, g*j - l - 8 = j. Suppose j*p - 9*p = -477. Is p composite?
True
Suppose 0*m - 626 = -5*b - 2*m, 3*m = 5*b - 636. Let n = 160 - b. Is n prime?
False
Let y(d) = 17*d + 7. Let u be y(7). Let q be u/(-10)*20/(-6). Suppose -p + 29 = -q. Is p a prime number?
True
Let n(c) = -41*c - 3. Let b be n(4). Let y be (1 - 0 - -1) + -110. Let r = y - b. Is r composite?
False
Let v be (-175)/70*((-6)/5 - 0). Suppose -5*y + 4*y - 5*x = -197, v*y - 655 = x. Is y a prime number?
False
Let j = -22 - -27. Suppose 3*z + 2*a = 8, -j*z + 16 = -2*z - 2*a. Suppose z*p - 1911 = i, -2*p + 3*i = -2*i - 933. Is p a composite number?
False
Suppose 39*k = 42*k - s - 129004, -5*k + s + 215006 = 0. Is k prime?
False
Let d = 29768 - 18859. Is d prime?
True
Is ((-13894)/7)/(30/(-210)) a prime number?
False
Let q(v) = -29*v + 8. Let w be (-10)/25 - (-33)/(-5). Is q(w) a composite number?
False
Suppose -2*y - 1592 = -5*u, u + 4*y - 317 = 3*y. Suppose -2 = -k, -4*k + 155 = 5*w - u. Is w a composite number?
True
Suppose 16 = -j - 23. Let l be ((-13)/j)/((-1)/(-6)). Suppose 2*i - 46 = 4*t, -2*t - l*t = 16. Is i composite?
True
Let q(p) = 269*p**2 + p. Let h be q(-2). Suppose 3*k + 36 = 3*y, 6*k + 6 = 3*k. Suppose 8*a - y*a + h = 0. Is a prime?
False
Let r be ((-12)/(-15))/(2/1010). Let i = r - 81. Is i a prime number?
False
Is (-52)/(-494) - 1039697/(-19) a prime number?
True
Let g(t) = t**3 + 12*t**2 + 4*t + 3. Suppose 0 = -5*a - 3*v - 35, -2*a - v - 12 = 3. Is g(a) composite?
False
Let l = 11 - 8. Suppose 4*o = 2*i + 40, -l*i - 112 = 2*i - 4*o. Let u = 117 - i. Is u a prime number?
False
Let s(o) = 16*o**2 - 52*o - 32. Let g(z) = 5*z**2 - 17*z - 11. Let v(q) = -11*g(q) + 4*s(q). Is v(-10) composite?
False
Let y = 104 - 26. Suppose 5*l + 2*j - 396 = -y, -2*l = -2*j - 116. Is l composite?
True
Suppose 2491 + 169 = 2*s. Suppose -4*f - u - u = -s, 4*u - 12 = 0. Is f a composite number?
False
Let b(l) = 2642*l - 39. Is b(2) prime?
False
Suppose c + 4*t - 13 = 0, 7*t = -3*c + 5*t + 19. Suppose -4*v + b + 5 = -2*b, 5 = -4*v + c*b. Let a(o) = 108*o + 1. Is a(v) a composite number?
False
Suppose 92*g - 91*g = 0. Is (-1251)/(0 + -3) - (-2 + g) composite?
False
Let j be (-3)/((-6)/(-14)*(-14)/8780). Let y = j + -1643. Is y prime?
False
Let o be 3 + 1 - (-572)/(-13). Let i = o - -43. Is i*(-4 + (-716)/(-12)) prime?
True
Let m = 2 - -2. Suppose -m*h - 4*b = 20, 3*b - 1 = -h - 8. Let p = 43 - h. Is p composite?
False
Let z = 6622 - 3419. Is z a prime number?
True
Suppose -7*w = -2*w. Suppose 3*t + 2*x + 0*x + 6 = w, 4*x = 5*t - 12. Suppose -l + 62 = s - 6*l, t = -5*s - 3*l + 338. Is s prime?
True
Let y = 28627 - 12722. Is y prime?
False
Let l(f) = 3*f**2 + 4*f + 2. Let h be l(4). Suppose m = -9*j + 4*j + h, -3*j = 4*m - 26. Is (j/8)/((-2)/(-104)) prime?
False
Suppose -3*q - 5*f + 15 = 0, f - 25 = q - 6*q. Let r be 3*(0 - (-3 + -134)). Suppose q*w - r = 1484. Is w a composite number?
False
Suppose -2*o - 2*b + 49 = 15, 2*o - 3*b - 19 = 0. Let j = -11 + o. Suppose 71 = j*y + v - 90, -257 = -5*y + 4*v. Is y a composite number?
False
Suppose -u = 0, 2*f - 3*u + 2*u - 140 = 0. Suppose p = 5*k + 24, -p - k + f = p. Is p prime?
False
Suppose -5*y + 11083 = -4*r + 2640, -4*r + 3394 = 2*y. Is y composite?
True
Let x(h) = 88*h**2 + 9*h - 41. Is x(8) a composite number?
True
Suppose 3*w - 9 = -0*w, 3*s = -w + 9. Suppose 0 = -3*x - s*f + 287, -7*f + 5*f + 190 = 2*x. Is x prime?
True
Let r = 5921 + -3162. Is r prime?
False
Suppose -14 = -3*i - 8. Suppose 3*x + 0*x = -3*y + 111, -74 = -i*x - 3*y. Is x composite?
False
Is (133575/(-13) + -4)*-1 composite?
True
Suppose 3*g + l = -g + 19402, 3*g - 14552 = -l. Suppose 308 = 2*v - g. Is v prime?
True
Let n(z) = 9*z**2 - z. Let r be n(1). Is r - 4/