 -i + l. Is i a composite number?
False
Let t(k) = k - 1. Let d(g) = 10*g + 4. Let q(j) = -d(j) + 8*t(j). Let h be q(-9). Let s = h - -1. Is s composite?
False
Let d(m) = -m + 191. Let h be d(0). Let v = h - 112. Is v a prime number?
True
Let q = 268 + -57. Is q prime?
True
Let d be (-1)/3 + (-8)/(-6). Let o be (-4)/((-18)/12*2/18). Is (-1 - d)/2 + o a composite number?
False
Suppose 3*h - 9 + 0 = 0. Is (h + -4)/((-3)/1173) a composite number?
True
Let u(o) = -2*o**2 + 4*o - 3. Let j be u(3). Let d = j + 15. Suppose 3*z - d*z = -111. Is z a composite number?
False
Suppose -4*p = -5 + 13. Let w(i) = -1. Let r(l) = -5*l + 13. Let j(o) = p*r(o) - 22*w(o). Is j(3) prime?
False
Suppose 3*a - u = 34, -2*a - 2*a + 4*u + 48 = 0. Let i = a - 8. Suppose 337 = 2*t + 2*t - z, 15 = -i*z. Is t prime?
True
Suppose -4*q + 9*q - 45 = 0. Is 1219/3 - (-6)/q a composite number?
True
Let y = -13 - -26. Suppose -y = -2*x - 3. Suppose s - 3*h = -0 + 19, -h + 47 = x*s. Is s composite?
True
Let y(m) = 2*m**2 - 11*m - 13. Suppose 0 = -0*l - 4*l + 40. Is y(l) a prime number?
False
Let b = 641 + -450. Is b composite?
False
Let d = 22 + 33. Is d a prime number?
False
Let a be 4/(-10)*(-11 + -4). Suppose a*s = s + 15. Is s composite?
False
Let d(o) = -4*o**3 + 4*o**2 + 4. Let u be d(-3). Suppose -11 - u = -3*g. Is g composite?
False
Suppose -2*u + 193 + 137 = 3*f, -u + 2*f + 165 = 0. Suppose -u = -4*c + c. Is c prime?
False
Let y(k) = -k**3 + 37. Let f(p) = -p + 7. Let o be f(5). Suppose 0*n + n = o*l, -3*l - 3*n = 0. Is y(l) prime?
True
Let j be (-3)/2 - (-36)/8. Suppose 2*a + j*u = 3, -2*a + 23 = -5*a + u. Let n = 43 + a. Is n prime?
True
Let m = -130 - -28. Let b(w) = 180*w + 1. Let t be b(1). Let g = t + m. Is g a composite number?
False
Suppose -5*r - 2210 = -15*r. Is r prime?
False
Let f = 4 - -45. Let u = 176 - f. Is u a prime number?
True
Is (37/3)/(3/27) a prime number?
False
Let f = -5 + 219. Is f prime?
False
Is 68*(-426)/18*(-6)/8 a prime number?
False
Let b be 2 - (4 - (3 - 1)). Suppose -n + 3*n - 42 = b. Is n prime?
False
Suppose 3*l + 21 = 51. Suppose -5*v + 3*v = -l. Suppose -v*y + 12 = -18. Is y composite?
True
Let g(j) = 8*j - 3. Let s be g(2). Suppose -3*c - 3*z + 21 = 0, s = c + 3*z + z. Suppose -7 + 102 = c*w + 5*t, 0 = -3*w - 4*t + 53. Is w composite?
False
Let m = -1 - 1. Let h be m - (-5 + 1) - 0. Suppose -2*f = -5*r + 345, f = 7*r - h*r - 340. Is r composite?
False
Let z(a) = -3*a**2 - 3*a. Let k(y) = -4*y**2 - 3*y - 1. Let c(f) = -4*k(f) + 3*z(f). Is c(-3) a composite number?
True
Let r(p) = -2*p**2 + 29*p + 14. Is r(13) a composite number?
False
Let y(o) = -o. Let m be y(-4). Suppose 0 = 2*w - 60 - 556. Suppose -m*h = -0*h - w. Is h composite?
True
Let a = 12 - 1. Is (a + 0)/(2/14) composite?
True
Let s(w) = 304*w + 7. Is s(3) a composite number?
False
Let z be (-6)/(-5)*(-20)/(-8). Suppose 125 = -z*k + 608. Is k a prime number?
False
Suppose -4*z + 36 = -z. Is ((-2)/(-3))/(z/7110) a composite number?
True
Suppose g = 3*m - 4441, m = 4*m - 4*g - 4435. Is m a composite number?
False
Suppose 17 = 3*k + 2. Let m(u) = 84*u - 7. Is m(k) a composite number?
True
Let k(b) = b**3 - b**2 - b + 53. Is k(0) a composite number?
False
Let v = 234 - -103. Is v a composite number?
False
Let q(m) = 2*m**3 + 4*m**2 - 2*m - 2. Let a be q(2). Suppose 5*u - 7*u = -a. Is u a prime number?
True
Let v(s) be the third derivative of 0*s + s**2 + 0 - 5/12*s**4 - 11/6*s**3. Is v(-9) composite?
False
Suppose 0 = v - 0*v - 46. Suppose 5*f + 15 = 75. Suppose -4*x = -5*c + v, c = -4*x + 2 - f. Is c composite?
True
Let y(x) = 221*x + 12. Is y(7) prime?
True
Is 11658/24 + (-6)/8 composite?
True
Let t be (-3)/(-3) + (3 - 1). Suppose 5*l - t*l + 1547 = 3*a, -2*a - 5*l = -1044. Suppose a + 7 = 4*w. Is w a prime number?
True
Let y = 517 + -38. Is y composite?
False
Let b be ((-24)/(-20))/(3/10). Suppose 15 = -b*p - 17. Let u = p - -18. Is u a prime number?
False
Let f(t) = -t - 130. Let l(g) = -g - 129. Let c(u) = 2*f(u) - 3*l(u). Is c(0) prime?
True
Suppose 4*c - 8 = -4*l, 0 = l + 4*c - 0 - 8. Suppose s - 4*j - 35 = l, 0 = -s - 2*j + 8 + 9. Is s composite?
False
Suppose -4*y - 2*p = 3*p - 4021, -2009 = -2*y - 3*p. Is y a composite number?
False
Suppose -4*t - 40 = -0*t. Is 1242/14 - t/35 a composite number?
False
Let v be (1 + (-27)/6)*-2. Suppose -4*w = -v*w + 57. Is w a prime number?
True
Let n(p) = p**3 + 11*p**2 + 5*p + 1. Suppose 0 = -t - 5*v - 24, 3*t + 5*v + 13 = -29. Is n(t) a prime number?
False
Let r = 9 + -10. Is 159 - r - (0 - -3) prime?
True
Let u = 6 + -3. Suppose -5*b = -42 - u. Is b composite?
True
Suppose -14 = -x - 3*h + 2*h, -h = 2*x - 24. Suppose 0*r + x = 5*r. Is (-2)/(-4)*67*r composite?
False
Let i(b) = -b**2 + 7*b + 3. Let r be i(8). Let l be -2 - (r/(-1) + 0). Is (-5)/(((-1)/l)/(-1)) a prime number?
False
Let g(x) = x + 11. Let v be g(-6). Suppose 0 = v*r - 4*r - 111. Is r prime?
False
Is (-5 + 0 + 3)/(1/(-79)) prime?
False
Let j(m) = 42*m - 3. Let k = 22 - 19. Is j(k) prime?
False
Let n(m) = 5*m**2 + 3*m + 2. Suppose 0*v - 6 = -2*v. Let f be (v/(-4))/(1/4). Is n(f) a composite number?
True
Let c(m) = 2*m**2 + 5*m + 3. Let b(s) = s**3 + 6*s**2 + 7*s + 6. Let x be b(-4). Let j be 2/5 - (-36)/x. Is c(j) a composite number?
True
Is (5/2)/(8/2768) a prime number?
False
Let w(l) = 11*l + 7. Is w(14) a prime number?
False
Let x(l) = -610*l - 1. Let n be x(1). Let p = n + 1242. Is p composite?
False
Let p = 886 - 329. Is p composite?
False
Let w = 593 + -328. Is w a prime number?
False
Let t(k) = -k**3 + 4*k**2 + 7*k - 6. Let c be t(5). Is 2*c/(-8)*-149 prime?
True
Let i(t) = 12*t. Let l be i(2). Suppose 4*o = l - 8. Suppose -v - o*v = -265. Is v a composite number?
False
Suppose 60 = 3*v + 9. Let k = v + -25. Is 58/8 - (-2)/k composite?
False
Let i(o) = -o**3 - 4*o**2 + 4*o - 5. Suppose -4*l = -63 - 57. Suppose -4*t + 9*t = -l. Is i(t) a composite number?
False
Let i = -4 + 5. Suppose -21 - i = -l. Is l a prime number?
False
Is 2/((-4)/368*-4) a composite number?
True
Let l = 34 + -24. Suppose 33 + l = i. Is i prime?
True
Suppose 2*c + 5*f - 1392 = 0, 3*c - 4*f - 2113 = f. Is c a prime number?
True
Suppose 0 = -7*t + 4*t + 609. Is t prime?
False
Let m = 229 - 24. Is m composite?
True
Suppose 0 = -0*g + 2*g - 230. Suppose -3*n = 2*m - 69, -2*n = -7*n - 5*m + g. Is n prime?
True
Let s be -1 + (-55 - 0) + -3. Let c = 262 + s. Is c a composite number?
True
Suppose 0 = k + 5*i - 542, 5*i = -k + 2*i + 538. Suppose 423 = 5*g - k. Is g composite?
False
Let n(a) = -2*a. Let g be n(3). Let m = -13 - g. Let f = 14 + m. Is f composite?
False
Suppose 4*c - 6*c - 1048 = 0. Is c/(-6)*72/16 a composite number?
True
Suppose f = 2*f. Suppose -5*q = -i - 2*i + 555, -i - 2*q + 185 = f. Is i prime?
False
Is (-4)/(-4) - (-13)/((-39)/(-1224)) a composite number?
False
Let a = -3 - -8. Suppose -y + a = 2. Suppose 0*w = y*w - 33. Is w composite?
False
Let y be 2*2/(2 + -3). Let m be y/((-2)/(-284)*-4). Suppose -3*f = 5*z - m - 310, 0 = -2*z + 2. Is f prime?
True
Let y(g) = -3*g**3 - 2*g**2 - 2*g + 5. Is y(-3) a prime number?
False
Let h(m) = -m**3 + m**2 + 2*m. Let g be h(2). Suppose -5*l + 12 = -d, -d + 8 = 5*l - g*d. Suppose -123 - 43 = -l*f. Is f composite?
False
Suppose s = -4*s + 5. Let h(r) = r - 3. Let f(g) = g - 1. Let z(c) = s*h(c) - 4*f(c). Is z(-4) prime?
True
Suppose s - x - 284 = -28, -3*x = -5*s + 1274. Is s a composite number?
True
Let c = 2123 + -3825. Let n = -1055 - c. Is n prime?
True
Let u(g) = -17*g - 23. Let c(a) = -9*a - 11. Let b(s) = -9*c(s) + 4*u(s). Is b(6) a composite number?
True
Is (-279)/(-6) + 4/(-8) prime?
False
Suppose -11*k + 7357 = 20. Is k composite?
True
Suppose 5*m = 3*h - 0 - 59, -2*m = 5*h - 88. Let d be 35 + 1 + 3 + -2. Let p = d - h. Is p prime?
True
Let o(w) = 57*w**2 + 2*w + 3. Let n be o(-3). Suppose k = -2*q - 2*q + n, -q = -3*k - 121. Is q composite?
False
Let w = 426 + 1039. Is w composite?
True
Let i = -166 + 235. Is i prime?
False
Let x(i) = -i**3 + 15*i**2 - 19*i - 2. Let y be x(13). Let k = y - 2. Is k a composite number?
True
Suppose 0 = -20*m + 15*m + 17365. Is m a prime number?
False
Let r = -1 + 3. Suppose -4*s - s + 820 = -3*k, 2*k - 312 = -r*s. Is s a composite number?
True
Suppose 0 = -n + 5, 5*m - 549 = 2*m - 3*n. Let a = 