
Suppose -61 = 3*p - 19. Let u be 1*(p/(-2) + 0). Let k = -4 + u. Is k a prime number?
True
Suppose h = -2*h. Suppose 0 = -h*i + i + 3. Is ((-9)/6)/i*8 a composite number?
True
Let s(b) = 3*b - 3. Let v be (0 + (-12)/(-9))*9. Suppose 3*g - i + 4*i - v = 0, -5*i - 40 = -5*g. Is s(g) a prime number?
False
Let q(l) = 2*l**2 + 4*l - 5. Is q(12) a composite number?
False
Let y = 449 - -270. Is y a composite number?
False
Let v(c) = 10*c - 16. Is v(5) a composite number?
True
Is -2 + 5789/2 + (-2)/(-4) prime?
False
Suppose 0*s + s - 2 = 0. Let z(m) = 0 - 4 - 2 + 61*m + 7. Is z(s) a composite number?
True
Let v be (0 + 3 + 2)*3. Is 31*4/(12/v) a prime number?
False
Suppose 4*a = -3*k - 21, -a - 2*k = a + 12. Is a/2*898/(-3) composite?
False
Suppose 3*z - 8 = z - 4*n, -2*z + 5*n = 1. Suppose -x + 33 - z = 0. Is x a prime number?
True
Suppose -3*w = 2*w + 40. Let t(q) = -8*q - 5. Is t(w) prime?
True
Suppose 5*c + 152 + 108 = 0. Let i = c + 26. Is 2/4 - i/4 prime?
True
Let y(h) = -h - 4. Let f be y(-7). Let w(b) = -6 + 4 + f*b**2 - 5*b - 1. Is w(5) a prime number?
True
Let o(a) be the first derivative of a**4/4 - 7*a**3/3 - a**2/2 + 10*a + 2. Let q be o(7). Suppose -45 = -q*s - 6. Is s a prime number?
True
Let y(x) = -x**2 + 22*x - 12. Let g be y(11). Let q = 6 + g. Is q a prime number?
False
Suppose -7*d + 9*d - 550 = 0. Let u = 31 + -143. Let a = d + u. Is a composite?
False
Let r be (-4)/(-6) + (-3944)/(-24). Suppose 6*d = 3*d + r. Is d composite?
True
Suppose g = 3*g + 2*k - 122, 3*k + 313 = 5*g. Suppose 3*j = g + 67. Suppose 0 = -2*w + 71 + j. Is w composite?
True
Let f(o) = -o. Let j be f(-2). Suppose -j = -3*u + 19. Is u a composite number?
False
Suppose 6*o - 2*o + 4 = 0. Is 1215/10 - o/(-2) a prime number?
False
Let x be (-17)/(-5) - (-21)/35. Suppose -4*p + 2*l + 1226 = 0, -p + 1534 = x*p - l. Is p composite?
False
Suppose 5*f + 372 = 3*f. Let q = f - -275. Is q a composite number?
False
Let o(j) = -j**3 + 14*j**2 + 11*j - 5. Is o(14) a composite number?
False
Suppose -d = -3*d + 8. Is ((-12)/(-18))/(d/426) composite?
False
Let f = 1055 - 738. Is f composite?
False
Suppose 17*i - 105 = 14*i. Is i composite?
True
Suppose -p = -3*k - 8, 2*p - 2 + 1 = k. Let t = 3 + p. Let g = t - -5. Is g composite?
False
Is -1 + (77/3)/(2/144) a prime number?
True
Let b = -9 + 10. Is ((-8)/8)/(b/(-419)) a composite number?
False
Let q be (-3)/15 - 369/5. Let r be q/(-10) + 2/(-5). Suppose 0 = -3*z + r*z - 76. Is z a prime number?
True
Suppose -n - 3*n = -8. Suppose n*r - 4*r = -1070. Is r a prime number?
False
Let x(k) = -k**3 + k**2 + 7. Let o be x(5). Let h = o + 174. Suppose h + 131 = 4*i. Is i a prime number?
True
Let b(f) = -f**3 + 2*f**2 + 2*f - 1. Let t be b(2). Suppose 0*m + m - 101 = -k, -5*k = -t*m - 497. Suppose -25 = 5*c - k. Is c a composite number?
True
Let i = -4 - 0. Let l = i - -6. Suppose -l*w + 140 = -38. Is w prime?
True
Let n(b) = -b**3 + 9*b**2 + 2*b - 5. Let i = 21 + -15. Is n(i) a prime number?
False
Let i = 579 - 197. Is i prime?
False
Is 0 + 387 + (6 - 4) a composite number?
False
Suppose -p - 4*p = 455. Is (2 - p)*(-2)/(-6) a prime number?
True
Suppose 302 = 4*b + 90. Is (1 - 3) + b - 2 composite?
True
Let c(q) be the third derivative of 2*q**5/15 + q**4/12 - q**3/2 + 3*q**2. Suppose g + 2*s - 4 = -3*g, 0 = 5*g - 4*s - 18. Is c(g) a composite number?
True
Is (-4)/(-6) - 20120/(-24) a composite number?
False
Let k(l) = 2 - 2 + 100*l - 4 - 26*l. Is k(3) a composite number?
True
Let f(s) = s**3 + 9*s**2 - 11*s - 12. Is f(-9) a composite number?
True
Is (-28)/(-10) + 1/5 + 1079 prime?
False
Let f(j) = 2*j**2 - 15*j + 21. Is f(-12) prime?
False
Let m = 0 + 0. Suppose -1 = -3*d - m*i + 5*i, 5*d - 47 = -3*i. Suppose y + w - 5 = -y, y - w - d = 0. Is y prime?
False
Let o be (164/6)/((-4)/(-6)). Let q = 27 + o. Let f = 121 - q. Is f a composite number?
False
Let w(i) = -8*i - 25. Is w(-7) prime?
True
Is -41*3*115/(-15) prime?
False
Suppose 0 = 2*b + r - 363 + 81, 4*b + r - 564 = 0. Suppose -q + b = -0. Is q prime?
False
Let s = -537 - -1018. Is s prime?
False
Suppose w - 2*w = 1. Is 733/4 + w/4 a prime number?
False
Suppose 276 + 32 = 4*i. Is i a prime number?
False
Suppose 0 = 5*x - 0*x - 3*t - 5214, 0 = 2*x - 3*t - 2091. Is x composite?
True
Suppose 3*m = -2*m + 255. Let y = m - -478. Is y a prime number?
False
Suppose 1 + 2 = 5*y - 3*h, 0 = -3*h + 12. Suppose -5*l = 0, 2*l - 134 = -2*b - y*l. Is b a composite number?
False
Let r = 3 + -1. Suppose 66 = -x - r*x. Let t = 13 - x. Is t a prime number?
False
Suppose 69 + 84 = o. Suppose -d + 10 = 4*d. Is (o*1 + d)*1 composite?
True
Let j be (-40 + 3)/(2/4). Is j/(-4) + (-8)/(-16) prime?
True
Suppose -6*s - 252 = -5*s. Let y = -35 - s. Is y composite?
True
Let z(g) = g**3 + 6*g**2 - 5*g - 3. Let u be z(-3). Let x be (-1)/(u/21 - 2). Let y = 17 - x. Is y a prime number?
False
Let x = 988 + -464. Let y(t) = -t**3 - 11*t**2 - 11*t - 8. Let w be y(-10). Is (8/16)/(w/x) a prime number?
True
Suppose 2*k = 3*n - 25, 5*n = -3*k + k - 17. Is 3/(-1) - (-51 - k) a composite number?
False
Let n = 19 + 4. Suppose -2*j - 17 = 7. Let l = n + j. Is l prime?
True
Let c be (406/3 + -2)*3. Suppose 3*h - c = -2*h. Suppose -s + 2*u = -u - h, 4*s = 3*u + 275. Is s a prime number?
False
Let g = 23 - 10. Let d = -16 - 24. Let q = g - d. Is q a composite number?
False
Is ((-2)/3)/(2/(-435)) a prime number?
False
Let b(u) = 21*u**2 - 13*u - 33. Is b(-5) a prime number?
True
Let f(i) = -i**2 + 7*i - 2. Let u be f(6). Suppose 2*b + 3*q = 106, -u*q + 36 - 195 = -3*b. Is b a prime number?
True
Suppose w + a - 316 = 182, a = -5*w + 2510. Is w composite?
False
Let d(x) = -x**2 + 8*x - 3. Let t be d(7). Suppose 0 = 3*r - t*g - 67 + 22, -4*g = -5*r + 67. Is r a prime number?
True
Suppose 3*l = 5*q - 148 + 971, 2*l - 522 = -2*q. Let y = 503 - l. Is -1 + y - (4 - 7) a prime number?
True
Suppose -u + 2*u + 9 = 2*p, u + 5 = 0. Suppose 7*h = 2*h - p*b + 1535, 4*h = -5*b + 1245. Is h a composite number?
True
Let j(k) = k**3 - 3*k + 1. Let q be j(2). Suppose -q*d - 612 - 1266 = 0. Is d/(-18) + 8/36 a prime number?
False
Let f(h) = h + 4. Let d be f(4). Is (-2)/d + (-125)/(-4) a prime number?
True
Suppose -3*n - 18 = -3*t - 6, 0 = 3*t + 5*n + 20. Let z(v) = -v + 87. Is z(t) prime?
False
Suppose 4*v - 26 = -3*u + 36, -4*v = -2*u + 8. Is 3630/14 - 4/u composite?
True
Let h(i) = -13*i + 15. Is h(-10) a composite number?
True
Suppose -2*o - 740 = -0*o. Let g = o - -203. Let f = -114 - g. Is f a prime number?
True
Suppose -4*i + 5*g = -270, 13 = 4*g + 5. Suppose -i = -3*v + 41. Let d = v + -24. Is d a composite number?
False
Let u = 1 + -3. Let w(f) = -4*f - 2. Let i be w(u). Suppose m - i = -m. Is m prime?
True
Suppose 5*w = k - 26, 0*k + 8 = 4*k + 4*w. Is ((-4)/(-6))/(k/387) composite?
False
Suppose 3*n = -r + 102, -2*r + 0*r + 5*n = -149. Is r prime?
False
Let l = 195 + -467. Let n(s) = -2*s**3 + 7*s**2 - 2*s - 2. Let k be n(5). Let o = k - l. Is o a composite number?
True
Let s = 17 + -13. Suppose 3*g - 113 = c, -g = g + s*c - 66. Is g a composite number?
False
Let j be (-112)/(-20) + (-3)/5. Suppose 5 = -j*m + 960. Is m prime?
True
Let q(i) = -5*i - 6. Let u(b) = -5 + 4 - 2*b + b. Let c(a) = -q(a) + 4*u(a). Is c(5) a prime number?
True
Let q = 8 - 4. Suppose q*n + 34 - 262 = 0. Is n prime?
False
Is -4 + 45/10 + 594/4 composite?
False
Suppose -7*f - 62 = -6*f. Let l be (f/5)/(7/35). Let h = 5 - l. Is h a prime number?
True
Let i(p) = 3 + 6*p - 19*p + 0 - 2 - p**2. Is i(-9) a composite number?
False
Let q(n) = 15*n**2 - 11*n - 24. Let y be q(10). Suppose -u = u - y. Is u a composite number?
False
Let j = -166 + 377. Is j a prime number?
True
Suppose 4*a - 310 - 574 = 0. Is a composite?
True
Suppose 5*d + f - 18 = 0, -4*f + 0 = -d - 9. Let q(p) = p + 2. Let u be q(0). Suppose -u*k + 71 = g + 23, 0 = -d*k - 2*g + 73. Is k a prime number?
True
Is (-59)/((-12)/(-15) - 1) a prime number?
False
Let w(u) = 33*u**3 - u**2 + 2*u - 1. Is w(2) a prime number?
True
Let a be (-8)/6*6/(-4). Suppose k = 4 - a. Suppose -5*j + 43 = k*c - 14, -4*j - 72 = -4*c. Is c a composite number?
True
Let c = -2 + 4. Suppose -g + 77 = c*z, -z - 21 = -4*g - 64. Is z a composite number?
True
Suppose 2*z + 9 = 27. Let w = 2 - 2. Let c = z + w. Is c a composite number