-7*w - 2116 = -2*w - 2*m. Is 1/3 - w/3 composite?
True
Suppose 4*z = 7 + 5. Suppose z*m = 8 - 35. Is (-98)/(-4) - m/(-6) a composite number?
False
Let r(m) = 7*m**3 - 3*m**2 - 7*m - 13. Let q(d) = d**3 + d**2 - d. Let l(g) = -g - 1. Let i be l(0). Let h(b) = i*r(b) + 6*q(b). Is h(9) prime?
False
Let r = 284 - 22. Is r prime?
False
Let n = 192 - -103. Is n prime?
False
Suppose 0 = j - 4*j - 84. Let z = 5 - j. Is z prime?
False
Is (1 - -1)*1 - -1005 composite?
True
Let d = 12 - 8. Is (-222)/(d/(-3 + 1)) prime?
False
Let k = 263 - -3476. Is k a composite number?
False
Suppose -5*n + 22 = 3*q, 4*q - 4 = 4*n + 4. Suppose 6 = -n*b + 16. Suppose -b*l - 3*m = -447, 174 = 4*l + 4*m - 190. Is l a prime number?
False
Let c be (-4)/(-6) + 60/(-9). Let w(l) = -4*l + 5. Let j(o) = 9*o - 10. Let k(f) = 3*j(f) + 7*w(f). Is k(c) a composite number?
False
Suppose -2*w = -x - 5*w + 4120, 6 = 2*w. Is x a composite number?
False
Is 554 - (-4 + -2 + 3) a composite number?
False
Suppose 6*k = 9*k - 1461. Is k composite?
False
Let t be 10*-1*3/(-2). Suppose 5*v + 4*w = 21 + t, 0 = w - 4. Suppose v*f = n - 6, 0 = -7*f + 2*f. Is n composite?
True
Suppose 5*g + 10 = p - 30, 0 = 5*p - 5*g - 260. Is p a composite number?
True
Let v = 19 - 15. Suppose -6*x = -v*u - x + 316, 0 = -x. Is u prime?
True
Suppose -2*x - 4*i + 3 + 23 = 0, x + 3*i = 18. Let l(f) = 11*f**2 - 3*f + 1. Is l(x) a composite number?
True
Let h(x) = -x**3 - 3*x**2 - 3*x - 2. Let u be h(-2). Let i be u + 2 + 125 + 4. Suppose -126 = -n + i. Is n a composite number?
False
Let t be (-15)/(-10)*(-84)/(-9). Let i = -20 + 39. Let w = i + t. Is w prime?
False
Suppose -10*g + 15543 + 667 = 0. Is g a prime number?
True
Suppose -9*d + 1462 = -4415. Is d a prime number?
True
Let c(p) be the third derivative of 11*p**4/8 + 7*p**3/6 + 7*p**2. Is c(3) a prime number?
False
Let v(z) = -z**3 + 8*z**2 - 2*z - 4. Let d be v(7). Suppose d + 2 = 3*r. Is r a composite number?
False
Suppose 5*d - 18 = -c, 3*d = -0*d - c + 10. Suppose i + 0*i - d = 0. Suppose i*k + k = -s + 110, -k + 1 = -4*s. Is k composite?
True
Suppose -5*k + 294 = -2*x, k - 5*x = 55 - 10. Let r = 205 - k. Is r a prime number?
False
Let b(x) = -43*x + 7. Let t be b(-6). Suppose 4*n = t + 51. Is n composite?
False
Let t = 55 + 36. Let f = t - 34. Is f a composite number?
True
Let j(f) = 18*f - 1. Is j(5) prime?
True
Suppose -3*b = -0*p - 3*p + 135, -2*b - 44 = -p. Suppose r = 3*r - p. Is (-3 - 1/(-1)) + r a prime number?
False
Let l be (-6)/(7 + -4) + 7. Suppose -l*p - 606 = -3*m + 990, -m + 539 = -4*p. Is m composite?
True
Let r(m) = 55*m. Let z = 8 - 2. Let k(u) = -u**3 + 5*u**2 + 7*u - 5. Let b be k(z). Is r(b) a prime number?
False
Suppose -w + 6*w + 285 = 0. Let o = w + 82. Is o a composite number?
True
Suppose 0*f = 5*f - 20. Let k = f + -6. Is k/((-11)/(-13) - 1) composite?
False
Suppose -2*d + 5*p + 12 = -0*p, -p = 2. Let v(m) be the second derivative of 47*m**3/6 - m. Is v(d) composite?
False
Suppose 2*h - 507 + 111 = 0. Suppose 3*d = 3*s - h, 4 = 2*d - 2. Is s a composite number?
True
Let l = 5 - 5. Suppose 3*r - 1 = -y - 0*y, l = -y - 2. Is r/(-3) + (-472)/(-12) composite?
True
Let x(n) = 5*n**2 - 3*n + 5. Let b(q) = -3*q**2 + 2*q + 1. Let d be b(-1). Is x(d) a composite number?
False
Let u be -2 + (-1)/((-1)/(-2)). Let r be (-358)/u + 1/2. Suppose -60 = -3*y + 5*b, -y - 5*b - r = -6*y. Is y a composite number?
True
Let o = 19 + -29. Let p(r) = r**2 - 5*r + 7. Is p(o) composite?
False
Let z = -270 + 505. Is z a composite number?
True
Suppose 1114 = 3*a - 143. Is a composite?
False
Let o(v) = 3*v**3 + 2*v**2 - 1. Let h be o(3). Suppose 4 = -4*f + 2*c, 5*f + 4*c = 12 - 4. Suppose f = -5*a + 3*a + h. Is a a prime number?
False
Let v(x) = -x - 3. Let i be v(-10). Let m = i - -48. Is m a prime number?
False
Suppose 0*g + g - 19 = 4*x, 4*x = -2*g + 2. Let b be 6/4 + g/2. Suppose 78 - 13 = b*n. Is n composite?
False
Let d be -1 - (-3 + -206*4). Suppose -3*f + 5*f - d = 0. Is f prime?
False
Let j = 1407 + -834. Is j a prime number?
False
Suppose 0*l + 18 = 3*l. Suppose 0 = -0*d + l*d - 2658. Is d composite?
False
Suppose 0*y = -5*r + y + 14281, 4*y + 8555 = 3*r. Is r a composite number?
False
Is 1581 - (-1 + 2/(-2)) a composite number?
False
Let a(j) = j**3 + 12*j**2 + j + 7. Let o be a(-12). Is (-8604)/(-60) - (-2)/o composite?
True
Let r = 110 - 53. Is r a composite number?
True
Suppose -w = -9 - 58. Is w composite?
False
Suppose 0 = -4*s + 37 + 87. Let n = -18 + s. Is n prime?
True
Let f = 27 + -1. Suppose -112 + f = -2*z. Is z a composite number?
False
Suppose -u = -2*i + 1, 4 = -4*u - 0. Suppose 0*v + v - 47 = i. Is v composite?
False
Suppose 0*j + 2*s - 2562 = 3*j, -j - 854 = -s. Let l = 1323 + j. Is l prime?
False
Let f(q) = q**3 + 8*q**2 - 10*q - 7. Let w be f(-9). Suppose w*z = 553 + 121. Is z composite?
False
Let u be (-5)/(-10) - 491/(-2). Let n = u - 125. Suppose -n + 34 = -k. Is k a composite number?
True
Is ((-34)/6)/(1/(-21)) prime?
False
Suppose 2*q - 172 = 3*x + 11, 2*q + 2*x = 168. Is q prime?
False
Let c(v) = -2*v**3 - 14*v**2 - 23*v - 12. Is c(-9) prime?
False
Let s be (-8047)/(-6) + (-5)/30. Suppose 0 = -0*j - 3*j - 2*c + s, 4*j + c = 1783. Is j a composite number?
True
Suppose 0*q - 2*q = 202. Let i = q - -243. Is i prime?
False
Let g(s) = s - 1. Suppose 2 = r + r. Let y(d) = -9*d + 7. Let c(t) = r*y(t) + 6*g(t). Is c(-7) prime?
False
Let d(n) = 3*n**2 + 1. Let s be -2*(10/(-4))/(-5). Let t be d(s). Suppose 3*m - 36 = -2*k - k, -k - t*m + 6 = 0. Is k a prime number?
False
Suppose 6*y - 4*y = 4*q + 34, -5*q - 42 = -3*y. Let r = 10 - q. Is r composite?
False
Let h(a) = a**2 + 2*a + 3. Let g be h(-3). Let q be (-10)/g + 2/3. Is (q/2)/((-3)/78) prime?
True
Let c(f) = -f + 13. Let w be c(11). Suppose w*h - 8 = -2*h. Suppose -t + h*t - 9 = -4*z, 4*t - 36 = -5*z. Is t a prime number?
False
Is (-6)/4*16280/(-60) a prime number?
False
Let t(v) = -2*v**2 + 6*v - 7. Let f be t(7). Let m = f + 110. Is m composite?
False
Suppose -8*w - 5*w + 247 = 0. Is w a composite number?
False
Let h(n) = 3*n**2 - n. Let i be h(2). Let j(o) = o**3 + 7*o**2 + 6*o - 6. Let f be j(-6). Is i/4*f/(-5) composite?
False
Let a be 8 - 5 - (1 - 0). Is 1/a + (-133)/(-2) a composite number?
False
Suppose 0 = -0*a + 4*a - 5208. Let q = 2417 - a. Is q prime?
False
Let y = -1468 + 614. Let g = -547 - y. Is g a composite number?
False
Is -3 + 402 + (-3 - -1) prime?
True
Let i(s) be the second derivative of 0 - 1/20*s**5 + 0*s**2 - 3/2*s**3 + 3/4*s**4 + 2*s. Is i(7) a composite number?
True
Suppose -5*x + w = -2*w - 18, 0 = 4*x - w - 13. Suppose 2*q - 955 = -x*q. Is q composite?
False
Suppose u + 20 = -5*j + 6*u, 4*j = 2*u - 12. Is ((-5)/15)/(j/942) prime?
True
Is (-44)/(-8)*(-2 - -24) prime?
False
Let i be (7 - 4)/((-2)/(-2)). Suppose -k = z + 10 + 78, i*z = 4*k + 317. Let r = k + 122. Is r composite?
True
Let q = -1 + 1. Suppose q = -z - 0*u + 2*u - 7, -3 = -u. Is (-19 + 0 + 0)*z composite?
False
Let p = 6 + 2. Suppose -9*d + p*d + 3 = 0. Is d composite?
False
Suppose g = 5*g - 2748. Is g a composite number?
True
Let d = 4 + 0. Suppose -d*t + y = 4*y - 13, -2*y + 18 = 4*t. Is t a composite number?
False
Let w be 3/2*4 + -2. Suppose 4*i - 53 = -a, 0 = 2*a - w*i - 0*i - 106. Is a a prime number?
True
Suppose 2*r + 22 = p, -2*p - 4*r + 116 = p. Let x = p + -11. Is x prime?
False
Let q(s) be the first derivative of s**4/4 - 3*s**3 - 11*s + 3. Is q(10) composite?
False
Let m be 4/(-6) - (-6)/9. Let d be (-802)/(-6) + 6/(-9). Suppose m*h = h - d. Is h prime?
False
Let k(i) = 2*i + 3. Is k(0) a composite number?
False
Suppose 4*d = -3*r - 8, -2*r - d = -3*d - 4. Suppose r = 6*b - 10*b + 380. Is b composite?
True
Let t be 1 + (78 - 1) + -2. Suppose u + t = 5*u. Is u prime?
True
Is ((-32)/(-48))/(2/2721) composite?
False
Let y = -81 + 463. Is y composite?
True
Suppose -124 = -0*d - 2*d. Is d a prime number?
False
Let a be -1 + (-1 - 4/(-2)). Let k(m) = m**2 - 21. Let c be k(a). Is (-14)/c + (-16)/(-3) composite?
True
Let m be 0/(-3 - (2 - 3)). Let a = m + 2. Is 1473/9 - a/3 prime?
True
Suppose 5*u + g = 184 - 58, 5*u - 4*g - 121 = 0. Let q = u + -10. Is q prime?
False
Let r(s) = 6*s**2 - 9*s - 41. Let g(h) = -h**2 + 2*h + 8. Let d = -1 + 3. Let t(k) = d*r(k) + 11*g(k). Is t(-8) co