60). Is (-2 + 0)*(-422)/q a prime number?
True
Suppose 4*t - 232 + 1715 = r, -4504 = -3*r + t. Let q = r + -476. Is q prime?
False
Let a = -38 + 42. Suppose a*s - t - 507 = 2*s, 4*t + 271 = s. Is s prime?
True
Suppose 2*f - 6*x = -3*x + 6549, 5*x + 16365 = 5*f. Is (1/(-1))/(-9 + 8) + f a composite number?
False
Suppose -2*j + 0*j + 14 = 0. Let s(i) = -66*i + 10. Let x(a) = 22*a - 3. Let d(r) = -6*s(r) - 17*x(r). Is d(j) a composite number?
True
Suppose 9*z - 149249 = -26228. Is z a composite number?
False
Let k = -149 + 334. Is k composite?
True
Suppose 3*y - t - 3*t - 10 = 0, 0 = -2*t + 10. Suppose y*f - 5*f = 975. Let i = f - 52. Is i a prime number?
False
Let u = 1143 - 416. Is u composite?
False
Let i(w) = 543*w + 2 + 2*w + 179*w - 7. Is i(1) prime?
True
Suppose h = l + 480, -2*h - 2*l = 3*h - 2421. Suppose -7*t = -4*t - h. Is t a composite number?
True
Let n(j) be the second derivative of 79/2*j**2 + 4*j + 1/12*j**4 + 0 + 1/6*j**3. Is n(0) a prime number?
True
Let c = 2065 - 577. Suppose -4*d - 1860 = -5*k - 3*d, -4*k - 3*d + c = 0. Is 6/(-9)*k/(-8) prime?
True
Let m = -6 - -21. Let k(x) = -m*x - 73*x + 14 + 0*x - 1. Is k(-4) composite?
True
Let w(f) = -f**2 + 5*f - 4. Suppose -4 = 2*d - 2*k, k - 7 - 4 = -2*d. Let g be w(d). Suppose -157 = g*b - 3*b. Is b a prime number?
True
Suppose 7*p - c + 15767 = 11*p, 4*p - 4*c = 15752. Is p prime?
False
Let x(p) = -244*p**3 - 5*p**2 - 5*p + 3. Is x(-4) composite?
False
Let v(a) = 84*a + 5. Let p(b) be the second derivative of -85*b**3/6 - 2*b**2 - 9*b. Let h(d) = 6*p(d) + 5*v(d). Is h(-2) a prime number?
True
Suppose -3*r + 2*o + 12 = 2*r, -4 = -o. Suppose -r*x + 3*x = -3*l + 3, -5*x + 4*l = 4. Suppose 4*n - i - 937 = x, -5*i - 21 = 4. Is n a prime number?
True
Is 6252 - 14/(112/40) composite?
False
Suppose 2*p = -4*o + 10108 + 22338, -2*o = 0. Is p prime?
True
Let r be (-4)/(-6)*(-189)/(-2). Suppose -1648 = -5*u - r. Is u prime?
True
Is (-4 - 21643)/((-8)/(-8 + 16)) a prime number?
True
Suppose 0 = 2*z + x - 4583, -4*z + 2*x + 3 = -9159. Is z a prime number?
False
Let j(u) = 77219*u**2 - 29*u - 1. Is j(1) composite?
True
Suppose 0 = 14*n - 25*n + 24431. Is n composite?
False
Let v(c) = 38*c - 54. Is v(14) a prime number?
False
Let w be 4/((-24)/9) + 59/2. Suppose -6*z = -z - 75. Let l = w - z. Is l prime?
True
Let f(u) = -u**3 - 2*u**2 - 18*u - 23. Is f(-14) a composite number?
True
Suppose 2*f + 11 = 4*a + 3*f, 5*a + 4*f = 11. Is (-1)/(-1 + a)*-6 + 76 prime?
True
Suppose -2*c + 4803 = 5*w - 0*c, 3*c = 3*w - 2865. Suppose -w - 204 = -s. Is s a composite number?
False
Let x(p) = 20*p**2 - 4*p + 3. Let z = 17 + -12. Suppose 2*y + m - 9 = 0, -4*y = y + z*m - 25. Is x(y) a composite number?
False
Let l = -1 + -38. Let q = 6 - -120. Let b = q + l. Is b prime?
False
Suppose -4*b - 2*b = -6. Let v be 15 - 16 - (b - 2). Is (v - (-2)/(-4))*-106 composite?
False
Let l be (-228)/(-24) - 6/4. Suppose f - 145 = -4*p, l*f - 791 = 3*f + 2*p. Is f composite?
False
Let c be (-2598)/9 - 4/3. Let w be (-2)/(c/(-146) + -2). Suppose -482 - w = -4*b. Is b a composite number?
False
Let z(b) = 5*b**3 + 75*b**2 - 70*b - 24. Let l(t) = t**3 + 15*t**2 - 14*t - 5. Let g(m) = -11*l(m) + 2*z(m). Is g(-17) prime?
True
Let v = -6 - -8. Suppose 8 = v*m + 2*h, 3*m + 2*h + 0*h - 11 = 0. Suppose -2139 = -m*d + 4*w, -718 = -d - w + 4*w. Is d composite?
False
Let h(p) = 50*p - 21. Let i be h(4). Let u = i - 20. Is u composite?
True
Let m(k) = 18*k**2 - 6*k + 23. Is m(16) composite?
True
Suppose j - 2*q + 0 = 9, 0 = -5*j - q + 23. Suppose j = -3*d - 7, 2*x - 266 = 3*d. Is x a prime number?
True
Suppose 4*g + 2*f - 6*f = 8, -2*g - 2*f = 4. Let m(t) be the first derivative of t**4/4 + t**3/3 - t**2/2 + 67*t + 63. Is m(g) a composite number?
False
Let l(z) be the first derivative of 17/3*z**3 - z - 5/2*z**2 - 14. Is l(4) a prime number?
True
Let g(i) = -7*i - 6. Let s be g(-3). Suppose -3 = 6*v - s. Suppose -v*w + 174 = -2*r + 494, 2*w = -2*r + 308. Is r a prime number?
True
Let d = -18 - -23. Suppose d*x - 2034 = -x. Is x composite?
True
Suppose -11*y + 10*y = 5*o - 3757, 0 = -2*y + 3*o + 7566. Is y prime?
False
Let f(i) = 61*i + 3. Let z(r) = -r**2 - 3*r + 3. Let j be z(-3). Let w be f(j). Suppose o - w = 5*l, -3*o - l = -3*l - 493. Is o prime?
False
Let p(g) = -708*g + 11. Let u(i) = -708*i + 12. Let r(j) = 5*p(j) - 6*u(j). Is r(4) prime?
False
Suppose 4*n = 2*n - m - 253, -3*n = 3*m + 372. Let f = 58 - n. Is f a composite number?
True
Let v(m) = 45*m**2 + 34*m + 4. Is v(-3) composite?
False
Let y be 62/(-4) + (-2)/4. Let v = -12 - y. Suppose 3*h = 2*a - 461, 226 = a - v*h - 17. Is a composite?
False
Suppose 0 = -0*x + 2*x. Suppose -2 + x = -s. Is s/6 - 220/(-6) composite?
False
Let r(y) = -y**2 + 23*y - 3. Suppose 14 + 36 = 5*k. Is r(k) a prime number?
True
Suppose -2*o = 4*j - 2, 5*o - 2*o = -5*j. Suppose 4*w = 3*s - 269, -8*s = -2*w - 3*s - 117. Let c = j - w. Is c composite?
True
Is 571*12 + (5 - (-2 - -2)) prime?
True
Let n = 571 - -528. Is n prime?
False
Let h(f) = -f**2 - 6*f + 18. Let t be h(-8). Suppose 0 = t*n + n, -2*n = -l - 20. Is (-8)/l - (-5286)/10 composite?
True
Suppose 0 = 4*t - 2*t - a - 10, t + a + 1 = 0. Suppose 5*p - 645 = 3*l, -l = -t*p - 2*l + 387. Is p composite?
True
Let p(h) = h**2 + 5*h - 3. Let d be p(-8). Is d/(-56) - 113217/(-24) a composite number?
True
Let f be ((-1)/2*-1)/(1/4986). Let m = f + -1508. Is m a composite number?
True
Is ((-2804)/(-12))/(3/(-36)*-4) a composite number?
False
Let c(s) = 72*s**3 + 4*s**2 + 2*s - 4. Let l(z) = -144*z**3 - 7*z**2 - 3*z + 7. Let v(r) = 5*c(r) + 3*l(r). Is v(-1) composite?
False
Is (-5381)/(-1)*(-1 - -2) a composite number?
False
Suppose -3*w = 5*w - 56. Suppose -4106 = -w*h + 5*h. Is h prime?
True
Let g(x) = -4*x + 9. Let f(k) = 2*k - 4. Let z(r) = 14*f(r) + 6*g(r). Let u be z(1). Is 2 + 211 + -4 + u composite?
False
Let h(j) = 604*j**2 + 4*j + 9. Is h(-2) a composite number?
False
Suppose -23*w = -233590 - 137377. Is w prime?
False
Suppose -g - 117378 = -19*g. Is g composite?
False
Is ((-1177)/(-2))/((-49)/(-98)) composite?
True
Let w(c) = 1325*c**2 - 6*c - 15. Is w(-2) prime?
True
Let a be 9*(-3 + 246/9). Let y = -145 + a. Is y composite?
True
Let c be ((-2)/4)/(6/(-60)). Let k(r) = -6*r - 4. Let u be k(c). Let p = u - -57. Is p composite?
False
Let t be 5/((-3)/30*-5). Suppose 8*b - t*b + 790 = 0. Is b a prime number?
False
Suppose 3*d = -5*d + 30088. Is d a prime number?
True
Suppose 3801 + 12212 = m. Is m a composite number?
True
Suppose -17 = -5*s - 4*r, 0*r = 5*s + 3*r - 19. Suppose -s*w + 5*t - 34 + 14 = 0, 3*w = -5*t - 52. Let x = 28 - w. Is x a composite number?
False
Suppose -14*u + 10*u + 8 = 0. Let s be u/(-2) + (-444)/(-6). Suppose 0 = -3*q + s + 26. Is q a composite number?
True
Let w(i) = 14*i**3 - 9*i**2 + 2*i + 6. Let m(z) = z. Let b be m(5). Is w(b) composite?
True
Let b(s) = 13*s**3 + 5*s + 7. Is b(5) prime?
True
Suppose -4*f - 188 = -4*a, -3*f + 8*f = 2*a - 106. Suppose 4*l = c + a - 152, 0 = 4*l. Is c composite?
False
Let p = -21674 + 47251. Is p a composite number?
False
Let s be (-81)/(-15) - 6 - 46/(-10). Suppose -2955 = -3*l - r, s*r = -r. Is l composite?
True
Let b(z) = 6*z**2 + 9*z + 4. Let k be b(3). Suppose -2*s = -6*s + 472. Let h = k + s. Is h composite?
True
Suppose 0*d = d + 3*d. Let h(b) = b**3 - b**2 + b + 451. Is h(d) prime?
False
Suppose -5*q + 1497 = -3*o - 1455, -4*o = q - 595. Is q a prime number?
False
Suppose -5*q - 2302 = -0*w - 4*w, -1148 = -2*w + q. Is w*((-4)/(-18)*-3 + 3) composite?
True
Let a be ((-9)/(-5))/(12/(-60)). Let p = -1127 - -3199. Is (p/12)/((-6)/a) a composite number?
True
Let m be (-2 + 1)*1*-7. Suppose m*a - 330 = a. Is a a composite number?
True
Let k(a) = 10*a**3 + 8*a**2 - 19*a + 27. Is k(6) prime?
False
Let v = -33 - -36. Suppose v*t = y - 140, -2*y + t - 8 = -313. Is y prime?
False
Let r(w) be the second derivative of 0 + 5*w + 1/20*w**5 + 3/4*w**4 + w**2 + 2/3*w**3. Is r(-8) prime?
False
Let x = 89 + -86. Is -3 - (-11)/3 - (-1333)/x prime?
False
Let x be ((-8)/(-10))/((-19)/95). Is x/(-10) - 7698/(-30) a prime number?
True
Let n = -15 - 25. Let v(q) = -q**3 + 2*q**2 + 2*q - 489. Let h be v(0). Is h*(3 - n/(-12)) a composite number?
False
Suppose -3*n = -7*n - 1764. Is 1*(-4)/(-1) - n a pri