Let z be j(-6). Suppose 2*w - 7 = z. Is g(w) a composite number?
True
Suppose -5*f = -4*f + 1. Let g = f + 4. Suppose 2*d - g*d = -23. Is d prime?
True
Let q be (-1 - -3 - 1) + 31. Let t = -43 + 48. Suppose 0 = -g - 4*l + q - t, 118 = 5*g + 3*l. Is g a prime number?
True
Suppose -2*o - o + 36 = 0. Suppose -5*c = -c - o. Suppose c*v + 2*y - 30 - 56 = 0, 2*y - 60 = -2*v. Is v composite?
True
Suppose w = -2*w - 12. Let l be (-149)/(-3) + w/6. Suppose m = 2*m - l. Is m a prime number?
False
Suppose -s - 9 = -4*s. Suppose o + 3*g = 7*g + 1, 0 = o + s*g + 6. Is ((-37)/(-2))/(o/(-6)) prime?
True
Suppose -46*g = -47*g + 235. Is g prime?
False
Let n(z) = 15*z**2 - z. Let s be n(1). Suppose 20 = 5*h - 25. Let k = h + s. Is k composite?
False
Let a = -34 + 55. Is a a composite number?
True
Let v be ((-16)/(-6))/((-10)/60). Let u = 15 - v. Is u a composite number?
False
Suppose -5*z - v - 5 = 0, 4*z = 5*z + v - 3. Let p = z - -61. Is p a prime number?
True
Suppose 0 = 2*n - 7*n + 2*f + 169, -23 = -n + 4*f. Is n prime?
False
Suppose -2*f = -3*z - z - 410, 0 = 5*f - 2*z - 1041. Is f composite?
True
Suppose d - 5*d + 188 = 0. Let q(j) = 19*j - 2. Let y be q(2). Let m = y + d. Is m prime?
True
Let n(t) = t**2 - 4*t - 7. Let j be n(6). Suppose 2*l - l + 160 = o, -3*o + j*l = -472. Suppose 5*y - 5*i - 255 = 0, -2*i = 4*y + 2*i - o. Is y prime?
False
Let j(r) = -166*r - 4. Suppose -3*n = -5*n + 4. Let o(p) = -33*p - 1. Let x(t) = n*j(t) - 11*o(t). Is x(4) composite?
False
Let m = 3 - -1. Suppose -658 = -m*w + 330. Is w composite?
True
Let j(p) = p**3 + 2*p**2 - 28. Is j(7) a prime number?
False
Suppose -5*h = -2713 - 942. Is h composite?
True
Is -1*(-614)/(-2 - -4) composite?
False
Is 3*(2 - 3) - -956 prime?
True
Suppose -5*o = -1248 + 43. Suppose -14 - o = -3*k. Is k a prime number?
False
Let s = 34 - 58. Suppose 0 = 2*i - 76 - 10. Let c = s + i. Is c prime?
True
Let t be (1 + 18 - -2) + -1. Suppose 5*x - t = -0*x. Is -26*(14/x)/(-1) a prime number?
False
Let h(t) = 18*t + 1. Let x be (-16)/(-3) - 1/3. Let j be (x/(-10))/((-2)/8). Is h(j) a composite number?
False
Let c(f) = -4*f**2 + 2*f - 4. Let k be c(4). Let o = k - -117. Is o composite?
True
Let o be 0/(-1)*(-1)/2. Suppose o = 5*i - 0*i - 335. Is i a composite number?
False
Suppose 10*n - 7261 = 1119. Is n a composite number?
True
Let w(d) = -d**3 + 10*d**2 - 3*d - 3. Let i(z) = -7*z**3 - z - 1. Let a be i(-1). Is w(a) composite?
True
Suppose -2*w + k + 0 = -1, -k + 1 = 0. Let c(p) = -2*p**3 - 2*p**2 + 3*p + 2. Let o be c(-2). Suppose 0*u + 3*i = -o*u + 27, -w = -2*u + i. Is u prime?
True
Suppose -2*k = t + 3*k - 15, -5*t - 3 = -k. Let l be t/(-2 - -2 - -2). Suppose l = -5*w + 170. Is w composite?
True
Suppose 0 = 2*u - 24 - 28. Suppose -m - 96 = -u. Let s = m - -117. Is s composite?
False
Let h be 7 - (-2 + 12/3). Suppose -5*d - h = 0, -5*l + l + 11 = -3*d. Suppose -c - 5*t + 0*t + 3 = 0, 6 = l*c + 3*t. Is c a prime number?
True
Let g be (-22)/(-6) + 1/3. Let b = 27 - g. Is b composite?
False
Let u(j) = -8*j + 7 - 13*j - 19. Is u(-9) a composite number?
True
Let b(j) = -4*j + 2 + 0*j**2 + 2*j**2 - j**3 + 4*j**2. Let p(v) = 2*v - 5. Let h be p(5). Is b(h) a composite number?
False
Suppose 3*l + 5 + 4 = 0. Let t = 8 + l. Suppose 366 = t*a + m, 4*m = 4*a - 2*a - 164. Is a composite?
True
Let h(n) = n**3 + 13*n**2 + 3*n - 7. Is h(-10) a prime number?
True
Let l = -3557 + 6760. Is l composite?
False
Let d(y) = y**3 - 4*y**2 - y + 4. Let o be d(4). Suppose -2*r - 171 = -5*u, o = 4*r - 0 - 8. Is u a composite number?
True
Let x(l) = -l + 7. Let a be x(5). Suppose c = v - 84, -a*v - 5*c - 341 = -6*v. Is v prime?
True
Suppose 2*r - r - 1 = 0. Let v be -23 - 0/(r + -2). Let w = 23 - v. Is w composite?
True
Let a(m) = 20*m - 1. Let j be a(10). Suppose -453 - j = -4*k. Is k a composite number?
False
Let r(f) = -7*f - 10. Let y be r(-7). Let p = y + -20. Is p prime?
True
Let g(t) = -t - 2. Let k be g(-4). Suppose -k*y = -5*c + 3, 1 = c - 2*c + 2*y. Is (c*-1)/((-3)/57) prime?
True
Suppose 3*a = 3*g + 1950, -4*g - 115 = -5*a + 3132. Is a prime?
True
Let u(v) = v**2 + v + 3. Let x be u(0). Let s(r) = -r**2 - 10*r + 29. Let a be s(-12). Suppose w - 3*g - 66 = -x*w, 5*g - a = -w. Is w prime?
False
Let q(t) = 1715*t + 2. Is q(3) composite?
False
Let n be 5/(75/(-18))*-20. Suppose -t = -n - 7. Is t a composite number?
False
Suppose 3*b + 4*w = 3*w + 289, 12 = 3*w. Is b prime?
False
Suppose -102 = -12*j + 9*j. Is j a prime number?
False
Let w(s) = 4*s**2 + 3*s. Is w(-5) a prime number?
False
Let m = -4 + 2. Is 88 - (-4 - m/2) a composite number?
True
Suppose -h - 4 = -3. Let i(f) = 51*f**2 - f - 1. Is i(h) a prime number?
False
Let h(k) = k**3 + 4*k**2 - k. Let j be h(-4). Let d(q) = 7*q + 0*q - 1 - j. Is d(9) a prime number?
False
Let d = 1 + -2. Let s be -2 - 2/(d - 0). Suppose 2*u - 2 = -3*t + 81, u - 2*t - 24 = s. Is u composite?
True
Let c(r) = r + 7. Let u be c(-5). Suppose 5*q = 2*p + 34, -6*p - 20 = -u*q - 2*p. Let y(v) = v**2 - v + 3. Is y(q) composite?
True
Let k(n) = -164*n + 3. Is k(-2) a prime number?
True
Is (-3)/(2 + 1) + (1 - -269) a composite number?
False
Let m(a) = -61*a**3 + a**2. Let n be m(-1). Suppose 2*c + n = 4*c. Is c a composite number?
False
Suppose 5*s + 2*k - 3149 = 0, -s = -k - 0*k - 634. Is s composite?
False
Let v(q) = 12*q + 9. Is v(7) a composite number?
True
Let x = -831 - -1466. Is x prime?
False
Suppose 0 = 3*g - 0*g - 171. Suppose -g = -7*w + 4*w - 3*q, 0 = -3*w + 3*q + 57. Is w prime?
True
Let s be (39/(-2) - -1)*-42. Let b be (2*1)/(2/s). Is b/9 - (-4)/6 a prime number?
False
Let r(l) = 428*l + 13. Is r(15) prime?
False
Suppose -3*n = 5*k - 13, 4*k - k - 31 = 4*n. Suppose 5*s = -3*z + 3130, s - k*z + 2*z - 608 = 0. Is s composite?
True
Let p(k) = -k**3 + 4*k**2 - 5. Let a = -3 + 14. Let d(n) = 5*n**3 - 19*n**2 + n + 25. Let i(f) = a*p(f) + 2*d(f). Is i(6) a prime number?
True
Suppose 5*i - 75 = -5*z + 10, 4*z - 5*i - 77 = 0. Suppose -3*b - 5*t = -2*b - 32, 131 = 5*b - 4*t. Let u = b - z. Is u composite?
True
Suppose 0*l + 3*p = -l - 12, 4*p = 5*l - 16. Suppose -y = -l*y - 3. Suppose 4*v - y*j - 352 = 0, 3*v + 4*j - 198 = v. Is v composite?
True
Let b(h) = 9 - 15*h + 4*h + 3*h. Is b(-5) a composite number?
True
Let v(z) = 2*z**2 + z + 12. Is v(9) a prime number?
False
Suppose 4 = 5*y - 146. Let k = y + 1. Is k a composite number?
False
Let x(j) = 2*j**2 + j - 2. Let o be x(-2). Suppose g - 12 = 6*g + w, 0 = -o*w - 8. Is (-1 - g)/(3/57) prime?
True
Let t be (-52)/6*(-75)/(-10). Suppose -4*m + 3*i = i + 66, -4*i + 6 = m. Let g = m - t. Is g composite?
True
Let b(h) = -657*h + 1. Is b(-2) a composite number?
True
Suppose 113 = f - 270. Suppose -588 = -3*p + 3*z, -4*p + 6*p - f = 5*z. Is p a composite number?
False
Suppose 0 = -0*w - 2*w - 5*s + 86, -2*w - s + 86 = 0. Is w prime?
True
Suppose -3*x + 3*v = -153, -x + 4*v = 4*x - 259. Suppose 13*o - 20 = 9*o. Suppose x = o*a - 10. Is a composite?
False
Let b(c) = -c + 145. Is b(0) composite?
True
Suppose 2*a + 12 - 2 = 0. Let x(k) = -k**3 - 3*k**2 + k + 8. Let s(v) = v**3 + 4*v**2 - 9. Let f(d) = 2*s(d) + 3*x(d). Is f(a) a composite number?
True
Suppose -45 = -3*b - 3*i, 5*i = 4*b + i - 44. Is b a composite number?
False
Suppose 4*p - 20 = -5*d, -2*d = -2*p - p + 15. Suppose -p*c + 32 = l - 37, -5*l = 2*c - 391. Is l*3 - (-9 + 11) composite?
True
Let r be 980 + (-16)/4 + 0. Let x = r + -411. Is x a prime number?
False
Let w(r) = -7 - 5*r + 7*r + 5*r + 0*r. Is w(6) composite?
True
Let z(i) = 2 + 1 - 13 + 2*i. Let d be z(8). Is 39*((-4)/(-2))/d a prime number?
True
Is 1564/8*(-6)/(-3) a prime number?
False
Let f = 2054 + -361. Is f prime?
True
Let j be -209*(9 + -3)/(-2). Suppose 0 = -2*b - 41 + j. Is b prime?
True
Let m = 435 + -251. Is -3 + 0 + m/2 a prime number?
True
Let l(b) = 19*b**2 + 6*b + 3. Is l(4) a composite number?
False
Let h = 1155 - 200. Is h composite?
True
Suppose q = 0, 0*c - 3*q - 51 = -c. Is c a composite number?
True
Let m(v) be the third derivative of -v**6/30 - v**5/30 + v**4/24 - 2*v**3/3 - v**2. Is m(-3) a prime number?
True
Let t be -2 + (-90 + -1)*1. Let s = t - -182. Is s a prime number?
True
Let s(p) = 8*p + 2. Is s(10) composite?
True
Let s(g) = -111*g - 9. Let r be s(5). Is r/18*3/(-2) prime?
True
Let r(d) =