e?
False
Let f(w) = 3*w**2 + w. Let k be f(-1). Suppose -4*d + 1104 = 2*z, -5*d = k*z - 3*z + 587. Is z composite?
True
Suppose -2*w = 25*w - 1694601. Is w prime?
False
Let v be -200 - (0/2 + 4). Is -1 - (v - (-10)/5) a prime number?
False
Suppose 11*x + 1465 = 16*x. Suppose -3*s + 2*j + x = -608, 2*s - 592 = -3*j. Is s prime?
False
Let t(c) = c**3 + 10*c**2 - 55*c + 7. Is t(-12) a composite number?
False
Let k be ((-1206)/7)/((-15)/70). Let p be 6*(-1 + k/8). Suppose 0 = 5*m - p - 448. Is m composite?
True
Let s be 3 + -1*2/2. Suppose -7*m + 5732 = -s*m - w, -w = -3. Is m prime?
False
Let p = 626 + -301. Let g = p - 216. Suppose 4*t - g - 703 = 0. Is t composite?
True
Let a = -41 - -95. Let l be 42/(-9)*a/(-21). Is ((-4)/l)/(2/(-354)) prime?
True
Suppose 0 = 5*w - 0*w - 30. Suppose 4*k + 26 = -0*s + 5*s, -w = 3*s + 3*k. Suppose 373 - 1379 = -s*f. Is f composite?
False
Let i(a) = 44*a + 2. Let b be i(-2). Let r = b - -168. Is r composite?
True
Suppose 3*y - 12*o + 10*o = 5393, 5*y = 3*o + 8987. Is y a composite number?
True
Let k(x) = 103*x - 5. Let t be k(-12). Let v = 2309 + t. Suppose -2*w + v = 2*w. Is w a prime number?
False
Suppose -5*p = 4*a + 344, 6*a - 7*a + 2*p = 99. Let y = -111 + 73. Let v = y - a. Is v a composite number?
False
Let p(l) = l - 5. Let m be (-1 - (-2 - 7)) + -1. Let s be p(m). Suppose 3*i + i = s*x - 70, -5*x = 5*i - 205. Is x a prime number?
False
Let n be 23065/15*54/3. Suppose 9*u = 3*u + n. Is u prime?
False
Is 3211 - ((-114)/(-21) + (-12)/(-21)) composite?
True
Suppose 3*d + 235 - 3451 = 0. Suppose -z + 406 = -4*k, 2*z + 2*k = d - 220. Is z prime?
False
Suppose 0 = -3*q - 2*z + 1370, -841 - 537 = -3*q - 4*z. Is (-2)/9 + q/18 prime?
False
Let x be ((-12)/6)/((-1)/(-54)). Let t = 460 + -265. Let g = x + t. Is g a composite number?
True
Let s be -3 + 1*(1 - 3). Suppose 2*g - 4*g = -30. Is (s/g)/(1/(-111)) prime?
True
Suppose 0 = 4*w + 5*v - 8389, -2*w + 2211 = v - 1988. Is w a prime number?
False
Let y be 3*3/(27/15). Let r(d) = -d**3 + 12*d**2 - 4*d + 3. Is r(y) a prime number?
False
Let b = -517 + 1274. Is b prime?
True
Let j(c) be the second derivative of 25*c**3 - 13*c**2/2 - 34*c. Is j(6) a composite number?
False
Is ((-257520)/(-320))/(6/8) prime?
False
Let d(u) = 7*u**2 + 17*u + 13. Let l(t) = 13*t**2 + 33*t + 25. Let c(k) = -7*d(k) + 4*l(k). Is c(-10) a prime number?
True
Suppose -3*v - 148351 = 2*w - 6*w, 148353 = 4*w - 5*v. Is w a composite number?
False
Let q(k) = -91*k**3 + 8*k + 4. Let g = -19 + 16. Is q(g) a composite number?
False
Suppose -38 = n + 20. Let m = n - -185. Let u = m - 56. Is u a composite number?
False
Let o = 3719 + -1362. Is o composite?
False
Let p be 1 - 2/(-6)*(5 - -1). Is -1 - (p + (-3 - 111*4)) a composite number?
False
Let m(g) be the first derivative of g**3 + 15*g**2/2 + 8*g - 1. Let p(t) = -t**3 - 6*t**2 - t - 16. Let j be p(-6). Is m(j) prime?
False
Let f be (-3)/12 + 349/4. Let l = f - 38. Is l a composite number?
True
Let g = 19 + -15. Is g/(-14) + 19715/35 composite?
False
Let y(f) = 18*f**3 - 6*f**2 - 4*f - 5. Suppose 0 = -v - z + 6, 3*v = 2*v - 2*z + 6. Is y(v) composite?
False
Suppose 2*o + 2 - 12 = 0. Suppose 92 = -4*s - 2*d, 4*s + o*d = 2*d - 88. Let y = s - -48. Is y a composite number?
False
Let a = 143 - 132. Let h(y) = 51*y - 8. Is h(a) composite?
True
Let l(s) = -51*s**3 + 4*s**2 - s - 4. Let m be l(2). Is -3 - 24/(-10) - m/5 composite?
False
Let k(z) = 2*z**3 - 32*z**2 - 11*z + 40. Is k(29) composite?
False
Let m(w) be the third derivative of -31*w**5/15 + 5*w**4/24 - 2*w**3/3 + 8*w**2. Let o be m(3). Is (-3)/(-9) + o/(-15) composite?
True
Let c(f) = 4*f**2 + 24*f + 29. Suppose 2*t + 23 = 55. Is c(t) a prime number?
False
Let r(s) = 4 + 9 + 22*s + 0 - 6. Is r(4) a composite number?
True
Let c = 31 - 10. Suppose -595 = -26*m + c*m. Is m a prime number?
False
Is 5/(20/(-8)) + 11581 a prime number?
True
Suppose 0 = -a + 7*a - 150. Suppose 29*k - 5524 = a*k. Is k a composite number?
False
Let s(o) = -3*o**3 - 3*o**2 - 4*o + 3. Let q be 0*(1/2)/1. Let a be 1*-4 + q/2. Is s(a) a prime number?
True
Suppose 9 = 3*c - 3. Suppose c*k + 0 = 8. Suppose -k*f - 742 = -6*f + 2*o, -3*o + 367 = 2*f. Is f composite?
True
Let n(j) = -j**3 + 13*j**2 + 2. Let m be (-3)/(2*15/(-130)). Let g be n(m). Suppose q + 957 = x, g*q - 2382 - 469 = -3*x. Is x prime?
True
Let y(k) = 90*k**2 - 8*k + 3. Let o be y(-3). Suppose -5*p + 328 + o = 0. Is p composite?
False
Is (14576/24)/(26/(-6) - -5) prime?
True
Let x be (-3)/6 - (-14)/4. Suppose -x = 6*b - 3*b. Is (-634)/(-4)*(-2)/b a prime number?
True
Let a = 536 + 1368. Suppose -9*l - 77 + a = 0. Is l prime?
False
Let w(x) = x - 1. Let i be w(1). Suppose i = -6*h + h. Suppose 1410 = -h*b + 6*b. Is b a composite number?
True
Let s(v) = 0*v + 1 + 4*v**2 - 3*v - 5. Let c(j) = -j**3 - 5*j**2 - 3*j - 5. Let w be c(-4). Is s(w) composite?
False
Let z = 8602 - 2499. Is z prime?
False
Let c be 1/4 - (-114)/24. Let k(w) = 4 - c + w**3 + 2*w - w**2 + 4*w**2. Is k(4) prime?
False
Let n = -1823 + 613. Let z = n - -2203. Is z prime?
False
Let o(n) be the third derivative of n**5/10 - 2*n**4/3 - 5*n**3/6 - 2*n**2. Is o(7) composite?
True
Suppose 4*z = -c + 5, 2*c = 3*c - 4*z + 35. Let j(o) = -o**3 - 13*o**2 + 27*o + 2. Is j(c) a prime number?
True
Let r = -139 - -139. Let b(k) = k**2 + 4*k + 1259. Is b(r) prime?
True
Let x(m) = -165*m**3 + m**2 - 3*m + 3. Let z be x(3). Let r = -75 + 67. Is (-1)/(-2) + z/r a composite number?
False
Suppose 3*p + 4*g = 4854, -7*g = -3*p - 3*g + 4854. Is p composite?
True
Suppose 3*h = 2*m + 14150, -2*h + m + 8939 + 494 = 0. Suppose h = -0*l + 12*l. Is l a prime number?
False
Let v(w) = -w**2 + 9*w - 12. Let t be v(7). Suppose -t*i + 143 + 130 = k, 3*i + k = 407. Is i composite?
True
Suppose -2 - 4 = -2*m, 3*k + 3 = 3*m. Is 3/((8/548)/k) composite?
True
Suppose h - 13 = -2*n - 4*h, 0 = 5*n - 5*h - 120. Is (2/(-10))/(n/(-12065)) prime?
True
Is (-134210)/(-14) + (-32)/(-56) composite?
False
Let j(q) = 2*q**2 - 22*q + 37. Is j(23) a composite number?
True
Let o(g) = -g**3 + g**2 + g + 98. Suppose 0*q = q. Let z be o(q). Suppose z = 2*v + j, 0*v - j - 98 = -2*v. Is v a composite number?
True
Suppose -1543*d + 44615 = -1538*d. Is d a composite number?
False
Let o(r) be the first derivative of r**6/120 - r**5/4 + r**4/6 + r**3/3 + 5*r**2/2 + 9. Let s(x) be the second derivative of o(x). Is s(15) composite?
True
Suppose -37 = -6*c - 7. Let x(h) = 16*h**2 - 10*h + 21. Is x(c) a prime number?
False
Is (-14764)/(-2) + -5*(6 - 5) prime?
False
Suppose 0*m + 4*m + 6592 = 0. Is 6/(-10) - m/5 composite?
True
Let m(b) = b**2 + 13*b - 25. Let a be m(-15). Let l(y) = 36*y**2 + 1. Is l(a) a prime number?
False
Suppose -2*z = -5 - 15. Suppose -5*m + z*m = 3*y - 3757, 6 = -3*m. Is y composite?
False
Suppose -3*m + 4*o = -19, -3*o + 4 = 3*m + 13. Is (0 + 421/2)*6/m a prime number?
False
Let v be 2 - (0 + 4)/(-2). Let u be 5/(-25) + (32176/(-20))/(-4). Suppose -v*w = -194 - u. Is w prime?
True
Suppose -3*t - 1628 = -6*w + 5*w, 3226 = 2*w + 4*t. Is w composite?
False
Let w = -13 + 14. Let t(i) = 1646*i**2 + i - 2. Let q be t(w). Suppose -q + 377 = -4*c. Is c a composite number?
False
Suppose c = 5*w - 15188, -4 = 3*c + 5. Is w a prime number?
True
Let b = -1021 + 422. Let l = 1230 + b. Is l a composite number?
False
Let n(a) = -24*a**2 + 20*a - 8. Let u be n(10). Suppose -2*m + 541 - 5312 = h, -23870 = 5*h + 5*m. Let g = u - h. Is g composite?
True
Let l(u) = u**3 - 20*u**2 - 41*u - 7. Let f be l(24). Suppose 3*s - f = 3820. Is s a prime number?
False
Let a(s) = 15*s**2 + 7*s - 11. Let u be a(4). Let p be 223/(-3) - (-2)/6. Let i = p + u. Is i a prime number?
False
Is ((-49683)/6)/(30/(-180)) a prime number?
False
Let q = 1720 + -925. Suppose -5*j + 8*j = q. Is j a prime number?
False
Is (8 + (-228315)/10)*-2 a prime number?
False
Let u(l) = l**2 - 8*l - 5. Let f be u(9). Suppose -3*m + 2*s = 7*s - 249, -f*m = -2*s - 332. Is m composite?
False
Let j be ((-1)/4)/(6/(-72)). Suppose 0 = -2*f - 4, 4*v - 4785 = j*f - 863. Is v prime?
False
Let f(p) = -p - 1. Let n be f(-1). Suppose 4*x + 56 = -n*x. Is (-231)/x*(-34)/(-3) prime?
False
Suppose -r = -3*r. Is -17 - -313 - (1 + r) a prime number?
False
Let j(m) = 616*m**2 + 7*m + 137. Is j(-10) a prime num