 4*o. Is b prime?
False
Let m = 15 + -16. Let d(o) = -878*o**3 - o**2 - 2*o - 2. Is d(m) a composite number?
False
Suppose -3*p = 2*p - 67215. Is p composite?
True
Let l be 17/(-4)*(-9 + 13). Is (-10 - l)/((-2)/(-34)) a prime number?
False
Let i(b) = -b**3 + 11*b**2 + 3. Let g be i(11). Suppose -g*f + 56 = f. Let l = 451 - f. Is l prime?
False
Suppose 0 = -4*c + 20 + 12. Let p = c + -3. Suppose -h + p*h - 2980 = 0. Is h a composite number?
True
Let f(h) = -6132*h**3 - 2*h**2 + h**2 + 7 + 6144*h**3 - h. Is f(3) a prime number?
False
Suppose 10*r - 5*b + 8949 = 13*r, 2*b = 0. Is r composite?
True
Suppose -4*n = -m + 4769, 5*n - 2*n + 15 = 0. Is m prime?
False
Let q(f) = 3*f**3 + 7*f**2 - 17*f**2 + 11*f**2. Let s be q(1). Suppose -3270 = -s*b - 5*y, 0*b + 5*y = 2*b - 1620. Is b prime?
False
Let s(x) = -x**2 - x + 43. Let o be s(6). Let m(l) = 3115*l - 6. Is m(o) composite?
False
Suppose 35*k - 114863 = 282422. Is k composite?
False
Let h be 3 - (2 + 6/3). Let g(p) = 3*p - 7. Let o(x) = 1. Let v(t) = h*g(t) - 6*o(t). Is v(-7) prime?
False
Let a be (-2)/(-2)*(-2)/((-2)/23). Suppose 20*z + 1311 = a*z. Is z prime?
False
Let p(v) = v - 1. Suppose -3*a - 24 = -a - 5*b, -6 = -a - 2*b. Let r be p(a). Is (-7826)/(-8) + r/(-4) composite?
True
Let v be (2/1)/((-8)/(-12)). Suppose v*a - 5*c = 4*a - 1950, -4*c = -a + 1977. Suppose 3*m = 0, 3*i + 5*m - a = 2*m. Is i a composite number?
True
Suppose -43633 = -34*n + 103893. Is n composite?
False
Suppose 3*a - m - 23 = -4, -4*a + 23 = m. Is (a/2)/12 - (-2630)/8 composite?
True
Let t = -4 + 6. Suppose -8 = -t*m, 0*w - 5*m = -w + 107. Is w a prime number?
True
Suppose -d - 4*z + 7*z + 3404 = 0, 4*z - 16925 = -5*d. Is d composite?
False
Suppose 12*c - 13484 = 97168. Is c prime?
True
Suppose -5*s = 4*l + 12, 3*s - 1 + 5 = -4*l. Suppose -l = -5*d + 2*n - 4, 2 = 4*d + 2*n. Suppose -4*a + 9*a - 5965 = d. Is a prime?
True
Let y(l) = 24*l**2 - 6*l + 67. Is y(13) composite?
True
Suppose 4*k = -4*o + 332, 7*o - 8*o = -5*k - 95. Is o composite?
True
Let n(x) = -10*x**3 - 12*x**2 - 39*x + 133. Is n(-22) composite?
False
Let y = -58 - -138. Let u = y + -23. Is u composite?
True
Let r = 5 + -1. Suppose -r*g = g. Suppose g = z + z - 838. Is z a prime number?
True
Let v(u) = -185*u**3 + 3*u + 3. Let j be v(-2). Let f = -266 + j. Is f a composite number?
True
Suppose 0 = -23*l + 100468 - 22061. Is l prime?
False
Let i = -60 + 63. Suppose 0 = i*k - 28 - 5. Is k composite?
False
Suppose 3*d - 15696 - 10721 = 4*u, 4*d = 3*u + 35218. Is d prime?
True
Suppose 0 = -y - 2, 53845 = -4*z + 9*z + 5*y. Is z composite?
False
Let s(y) = 27 - 7*y - 22 - 2*y - 19*y**2. Let b(k) = 4*k**2 + 2*k - 1. Let a(h) = 11*b(h) + 2*s(h). Is a(-7) a prime number?
False
Suppose 1125 = 2*g + t, -g - 2*t = -0*g - 564. Suppose j + 0*j - 451 = -4*x, 0 = 5*x + 3*j - g. Is x composite?
False
Suppose 20 = -4*p - p. Is (136/(-4) + p)/(-2) composite?
False
Suppose -450 = -17*b + 14*b. Is (b/(-8))/(3/(-60)) - -2 a composite number?
True
Let o(t) = 21*t**2 + 10*t + 1. Suppose -5*q = -15, -27 = 4*r + 2*q - 3*q. Is o(r) composite?
True
Suppose -5*x = -7 - 13, -3*r = 2*x - 5159. Let q = 2994 - r. Is q a composite number?
False
Let i = -10 + 15. Suppose -i*s = -5*d - 190, 3*s + 4*d - 107 = -0*d. Is s a composite number?
False
Suppose -3*i + 2*o = -16034, 8*i - 7*i - 5350 = 2*o. Is i a prime number?
False
Suppose 4*k - 30791 = 20693. Is k a composite number?
True
Is 15 + -15 - (3 + 1*-2132) prime?
True
Let i(s) be the first derivative of -116*s**2 + 9*s + 2. Let o be i(-6). Suppose -o = -2*h - h. Is h a prime number?
True
Is (-1451193)/(-212)*(-4)/(-3) prime?
True
Let c = 87169 - 59814. Is c prime?
False
Suppose 4*m = 4*l - 1152, -2*l + 293 = -m - 0*m. Let p = -165 - m. Is p a prime number?
False
Let y(u) = 10*u + 8. Suppose -5*d = 2*i - 0*i - 31, 5*d = -i + 23. Let b be y(i). Suppose 2*x = -0*z + 2*z - b, 0 = -2*z - 5*x + 102. Is z composite?
True
Let l(s) be the first derivative of 130*s**3/3 + s - 7. Is l(-3) a prime number?
True
Let p = -47 + 127. Suppose 243 = 223*f - 232*f. Let i = p + f. Is i a prime number?
True
Suppose -6*d - 614 + 3440 = 0. Is d composite?
True
Let r(h) = 2*h + 36. Let j be r(-16). Suppose -j*p = 9*p - 481. Is p a composite number?
False
Let c(w) = -108*w + 16. Let j be c(-8). Suppose -875 - j = 3*a. Let u = a - -1628. Is u composite?
True
Let s = 157 - -514. Let q = 1636 - s. Is q a composite number?
True
Suppose -4*d + d + 21 = 0. Suppose u - 16 = -5*k + d, 4*k + u - 19 = 0. Suppose -555 = -5*l + k*y, 3*l = 2*y + y + 330. Is l composite?
True
Let m(c) = -c**2 - 7*c - 5. Let y be (-46)/10 + 8/(-20). Let b be m(y). Suppose -x - b*r = -31, -3*x = 4*r - 164 + 38. Is x composite?
True
Suppose -q + 35105 = 5*t, 5*q + 29472 = 4*t + 1417. Suppose 0 = -5*j - 15, 5*h - 2186 - t = -3*j. Is h a composite number?
True
Suppose 2*g = g - 4. Let y = 11 + g. Is y a prime number?
True
Suppose -110*w + 1241867 = -949223. Is w composite?
False
Suppose -4*b - 5 = g, g - 2*g = -5*b + 5. Let m(i) = b*i**2 + 19*i**2 + 10 - 2 - 4*i. Is m(-5) a prime number?
True
Suppose -10*d + 4041 = -d. Is d a composite number?
False
Let z be 14/(-28) - (-827)/(-2). Let o = z - -1667. Is o a prime number?
False
Is -7 - (20206/10 + 5)*-10 composite?
False
Let d(q) = q**2 - 11*q - 4. Let l be d(11). Let f(v) be the second derivative of -5*v**3/3 - 5*v**2/2 + 5*v. Is f(l) prime?
False
Let j(w) = 11*w**2 + 3*w - 35. Is j(-12) composite?
True
Suppose 30 = 2*u - 66. Let r = -67 + u. Let t = 58 + r. Is t composite?
True
Let b(w) = 3*w**2 - 12*w + 18 + 9*w - 19. Is b(-3) a composite number?
True
Let h be (-6)/(-8) + (-218)/(-8). Let x = 31 - h. Suppose -x*r + 201 = 36. Is r a prime number?
False
Suppose 4*q - 3737 = -5*s, 0*s = -4*s - q + 2983. Is ((-28)/(-10))/(2/s) a composite number?
True
Let l(m) = 237*m - 1. Suppose 0 = -4*c - 0*c - 8. Let u(z) = -236*z. Let i(y) = c*u(y) - 3*l(y). Is i(-2) a composite number?
True
Let f be ((1925/(-10))/11)/((-2)/44). Suppose 0 = -2*u + 697 + f. Is u prime?
True
Let s = -428 - -600. Let x = s - 75. Is x a prime number?
True
Suppose -4*r - 12 = -3*m - r, -3*r + 12 = m. Suppose o - 1887 = -4*d, d + 2*o + 2349 = m*d. Is d a composite number?
True
Let f(j) = 15*j - 13. Let k(i) = -4 - i + 1 - 1. Let u be k(-10). Is f(u) prime?
False
Suppose -6477 = -6*r + 26601. Is r prime?
False
Let n(d) be the second derivative of 35*d**4/6 - 2*d**3/3 - 17*d**2/2 - 4*d + 3. Is n(-5) prime?
True
Let l(n) = 20 + 9*n - 9 - 12. Is l(18) a composite number?
True
Let c(y) be the third derivative of -1/6*y**4 + 1/10*y**6 + 0 + 1/20*y**5 + 1/2*y**3 + 8*y**2 + 0*y. Is c(2) a composite number?
False
Let k = 654 - -1445. Is (-5 + -1)*10/15 + k a composite number?
True
Suppose -2*d = -5*d - c + 824, 0 = -5*d + 4*c + 1379. Suppose -280 = -3*l + d. Is l composite?
True
Is -1*((-83925)/2 - (-9)/(-18)) a composite number?
True
Let w = 1319 + -21. Suppose 3*t = -3*y + 780, 3*t = -9*y + 4*y + w. Is y a prime number?
False
Let t(y) = 20*y - 1. Let v(m) = -m**3 + 12*m**2 - 10*m - 8. Let f be v(11). Is t(f) prime?
True
Suppose -u - 2*u - 3*q = 6, -2*u + 8 = -q. Let v be u/3*6/2. Is 4*23 - (v - 1) a prime number?
False
Suppose 0 = 756*f - 751*f - 19715. Is f a composite number?
False
Let f be -1*3 - (-20)/4. Suppose -a = 4*j - 65354, f*a = -j - 0*a + 16342. Is (2/3)/(28/j) a composite number?
False
Let k = 67 + -71. Is (k + (-75)/(-10))*46 a prime number?
False
Let b = 831 - -2468. Is b composite?
False
Let r(x) = 8*x**2 - 9*x - 39. Is r(-52) a composite number?
True
Suppose 0 = 6*b - 701 - 1333. Is b a composite number?
True
Suppose 5*d - 976 = -2*s + 6827, 7783 = 5*d - 3*s. Is d composite?
False
Let x(r) = 157*r - 2. Let a(o) = o - 15. Let k be a(16). Is x(k) a composite number?
True
Let d = -402 - -48. Let s = -521 - d. Let h = s - -280. Is h prime?
True
Suppose -5*i + 8256 = v, -3*i = -8*v + 4*v + 33047. Is v composite?
True
Is (-19790)/(-6 + 28/7) composite?
True
Let c = 15 - 243. Let d = -110 - c. Is d a composite number?
True
Suppose 2*w - 24 = w + f, 0 = -4*w + 2*f + 86. Suppose -22*x = -w*x - 573. Is x a composite number?
False
Let k = -85 - -80. Is (-2 - 0)/2*(-1596 + k) a composite number?
False
Let n(k) = -30*k - 63. Let m be n(-16). Let f = -208 + m. Is f a composite number?
