(q) a composite number?
False
Is 4/(-22) - (-870)/66 composite?
False
Let q = 192 + -61. Is q composite?
False
Let d(r) = 95*r**2 + 2*r - 3. Is d(2) a composite number?
True
Let m(t) = t**3 + 4*t**2 - 6*t - 6. Let s be m(-5). Let g be s - (1 - 1504)/3. Let k = g + -351. Is k composite?
False
Suppose 0 = -k + 4*k - 6. Suppose 0 = m - 4 - k. Is m prime?
False
Let a = 3 + -1. Let l(h) = 20 + a*h**2 + h**2 - 2*h**2 + 33. Is l(0) composite?
False
Suppose 2*v + 4*c - 152 = 0, 4*v + v + 2*c = 364. Suppose 0*n = 2*n - v. Suppose 0 = -y + n - 5. Is y prime?
True
Suppose 10*i - 4 = 8*i. Suppose 10*z - 13 = o + 5*z, 26 = i*o + 3*z. Is o prime?
True
Let x = 115 + 18. Is x a composite number?
True
Let n = -324 - -502. Suppose -3*k = n - 2035. Suppose -5*r = 3*w - k, w + 2*w = 4*r + 601. Is w prime?
False
Is (-1)/(-1)*-3 + 10 prime?
True
Suppose -4*z = t - 2*z - 482, 3*z = -6. Let f = -319 + t. Is f a composite number?
False
Is 1/(-5) - (-2982)/10 composite?
True
Suppose 0 - 3 = -p - 2*i, 2*p - 2*i = 0. Is 130 - p - 0/(-2) composite?
True
Suppose 2*v - 3*v + 91 = -3*d, -2*d - 4*v = 42. Let t = 4 - d. Is t a prime number?
False
Let m(i) = -632*i + 3. Is m(-1) prime?
False
Let u be (-1 - 0) + 9 + -2. Let i = 47 + u. Is i prime?
True
Suppose c + 847 = 2*x - 2*c, -5*x - c = -2109. Is x a composite number?
True
Let j(p) = 4*p**2 + 3*p. Let u be j(-2). Is (-2)/u - 372/(-10) prime?
True
Let p(i) = 3*i**2 - 6*i + 6. Let j be p(4). Suppose 3*l = l + j. Is l a composite number?
True
Let o(m) = -2*m**3 - 17*m**2 + 11*m + 1. Is o(-13) prime?
False
Suppose 2104 = -0*i + 8*i. Is i prime?
True
Suppose 111 + 85 = 2*j. Let t = -29 + j. Is t a prime number?
False
Let t(g) = g**3 - 4*g**2 + 3*g - 1. Let i be t(3). Let s be (-2 - -3)*1/i. Is s/((-2)/11)*2 composite?
False
Suppose -3 - 17 = 4*y. Let g be (y + 0)*(-3)/5. Suppose -40 = -q + 5*b + 8, 0 = -g*q + 4*b + 155. Is q composite?
False
Suppose -15 = 4*r + 49. Let x = -22 - r. Is 4/x + 195/9 a prime number?
False
Suppose 4 + 2 = 3*p. Let g(b) = 0*b**2 + b**p + 3*b + 1 + 0*b. Is g(3) a composite number?
False
Is 1/(-3) - (-11334)/9 prime?
True
Suppose -2*d = -5*k + 1191, 152 = k + 5*d - 70. Is k a composite number?
True
Suppose 0 = -14*k + 13*k + 331. Is k a prime number?
True
Let s = 210 - 370. Let l = s + 291. Is l a composite number?
False
Let u(k) = -35*k. Let l be u(1). Let w = -127 - -187. Let d = w + l. Is d prime?
False
Let c = 443 - 252. Is c prime?
True
Let g be 6 - 2 - (-2)/(-2). Suppose p - 2*p = -g*f + 271, -f + 85 = -3*p. Is f a composite number?
True
Suppose 3*o + 4*m - 31 = -0*m, o = 4*m - 11. Suppose -606 - 29 = -o*r. Let b = r - 36. Is b a composite number?
True
Let y = -1 + 1. Let p(t) = -t + 149. Is p(y) prime?
True
Let g be 38 + (-2 - -3)/(-1). Let z = -9 + 9. Suppose r = -z*r + g. Is r a prime number?
True
Let m be (-1)/(-3) - (-10)/(-3). Let b(h) = -h**3 - 6*h**2 + 7*h - 3. Let y be b(-7). Is (-100)/m - (-1)/y a composite number?
True
Suppose 77*r = 72*r + 3155. Is r a composite number?
False
Let v be (-76)/(-6)*(-6)/(-4). Is (-2 - -1)*(-4 - v) composite?
False
Let z(m) = -65*m - 28. Is z(-7) composite?
True
Let n = -694 - -1033. Suppose -401 = -4*z + n. Is z composite?
True
Let w = -10 + 10. Suppose 0*g - g = -4*b + 4384, -b - g + 1101 = w. Is b prime?
True
Is (1 + 2)/(18/9906) a prime number?
False
Suppose 4*o - 12 = -4*v, 0*o = -2*o - 3*v + 2. Suppose 13 + o = 5*k. Is k composite?
True
Let d(j) = 1103*j + 1. Let i be d(2). Suppose -1323 = -3*h + 3*z, -5*h + 3*z = -z - i. Is h a composite number?
False
Let j = 393 + -566. Let z = 222 - j. Suppose z = 3*m + 2*m. Is m a composite number?
False
Let u(s) = 2*s**2 + 7*s + 4. Suppose -2*a - 9 = 1. Let t = a - 2. Is u(t) a composite number?
False
Let v = -125 + 175. Suppose -4*m + v = 5*s - 190, -m + 3*s + 43 = 0. Is m a composite number?
True
Suppose 4*a - 4*p + 5*p = 79, a = -5*p - 4. Is a prime?
False
Let d(o) = o**3 + 2*o**2 - 3*o - 3. Let c be d(-2). Suppose -4*t + 10 = -c*t. Is t prime?
False
Let x(q) = 4*q - 3*q + 3*q + 2. Suppose -5*g + 4*y = -2 - 0, -5*y = -5*g. Is x(g) prime?
False
Suppose -2*s + 61 = -111. Is s composite?
True
Let h = -256 - -447. Is h a composite number?
False
Suppose 3*o - 77 = -2*a + 156, -o + 76 = -a. Is o a composite number?
True
Is (-15)/(-15)*1*541 a prime number?
True
Let h = -64 + 861. Is h composite?
False
Let b be 6/(-1*(-3)/267). Suppose -38 = -4*w + b. Is w a composite number?
True
Let v be ((-102)/(-10))/(1/5). Let g = -6 + v. Suppose -3*f + g = 3. Is f composite?
True
Let r(x) = 1520*x**3 - x**2 + x - 1. Let f be r(1). Suppose -4*c = 2*l + 2*l - 2020, 2*l = -3*c + f. Is c composite?
False
Let f(r) = -6*r**3 + 3*r**2 + r + 3. Let l(s) = -6*s**3 + 4*s**2 + s + 4. Let k(o) = -4*f(o) + 3*l(o). Is k(2) composite?
True
Suppose b - 791 + 90 = 0. Is b prime?
True
Suppose 4*b + 6*l = 2*l, -3*b = -4*l. Suppose 5*c = -5, -2*p - 4*c + 3 - 5 = b. Is -1 + (-1)/(p/(-20)) a prime number?
True
Is (-967)/2*(3 + -5) a prime number?
True
Suppose 0 = 2*j + 2*j - 4*q + 12, -16 = -4*j - 3*q. Is (-9)/9 - (j - 193) composite?
False
Let o(m) = -222*m**3 + 2*m**2 + 2*m + 1. Is o(-1) composite?
False
Suppose w + 2*w + 9 = 0, -2*z = -2*w - 184. Is z composite?
False
Let w = -1082 - -1904. Suppose -4*s + k = -w, 3*k = -4*s - k + 812. Is s prime?
False
Let a = -445 - -943. Suppose 4*d + 316 + a = 2*z, 4*z + 4*d - 1628 = 0. Is z a composite number?
True
Let u be 2 + 6/3 + -29. Let v = 44 + u. Is v prime?
True
Let b be (-2)/9 - (-60)/27. Suppose -2*f - b*f = 12, 2*x = -5*f - 17. Is (-357)/(-28)*(x + 5) a prime number?
False
Let s = 4 + -11. Let l = s + 13. Suppose -m = 3*a - 38, -l*m - 13 = -3*a - 2*m. Is a prime?
True
Suppose -2910 = -4*m + 4*n + 750, 0 = 4*n + 16. Is m a composite number?
False
Let u be -8 - (1 + -1)/4. Is (134/u)/((-2)/8) composite?
False
Let f be 2/(-6) + 30/9. Is 2/3 - (-163)/f a prime number?
False
Suppose -q - 1 = 2*k, -5 = -3*k + q + 6. Suppose 3*s + b = -k*b + 6, b - 2 = 4*s. Suppose -70 - 367 = -5*m - 4*t, 5*m - 5*t - 455 = s. Is m a composite number?
False
Is (307/4)/(2/8) prime?
True
Let j = -82 - -276. Is j a prime number?
False
Let f(r) = -24*r**3 + 2*r**2 + r - 1. Let c be f(-2). Let w = -38 + c. Is w a prime number?
False
Suppose 2*t = -3*d + 20, 4*d = -0*t - 2*t + 24. Suppose -2*x = -5*x - 57. Let k = t - x. Is k a prime number?
True
Let o be (-6)/(-12)*(2 + 44). Is o + 3/(6/(-4)) prime?
False
Suppose 0 = -7*s + 2*s - 5*l + 130, -3*l + 124 = 5*s. Suppose s + 1 = -2*t - 3*b, -b = 4*t + 28. Let q = t - -53. Is q composite?
False
Let o = -1623 - -2536. Is o a prime number?
False
Suppose -370 = -6*t + 4*t. Is t composite?
True
Let m be -91 - (0 - -2) - 1. Let q = -25 - m. Is q composite?
True
Let z = 4 - 2. Suppose 5*u + 1 + 3 = -3*q, -u + 2 = z*q. Is (12/(-9))/(q/(-15)) composite?
True
Let m(y) = -13*y - 2. Let f(n) = -20*n - 3. Let b(x) = -5*f(x) + 7*m(x). Let t = -1 + 7. Is b(t) prime?
False
Suppose k = 3*b + 163, 0 = -3*k - 5*b + 241 + 220. Is k a prime number?
True
Let a(x) = -4*x - 6. Let s be a(6). Let b be (-22)/(-4)*(-4 - -2). Let o = b - s. Is o composite?
False
Suppose 5*k - 52 = 3*k. Let r = k - 17. Is r composite?
True
Suppose 4 = -5*s + 24. Suppose s*h = y - 3*y + 14, -5*y + 2 = -h. Suppose -2*m = -4*k + 56, -3*m = h*k + 2*m - 42. Is k composite?
True
Let x be (-2)/(0 + -2) - -126. Let d = x - 62. Is d composite?
True
Let z(k) = k**2 + 8*k - 6. Let w be z(-9). Let s(c) = 15*c + 8. Let m(h) = 1. Let r(d) = -6*m(d) + s(d). Is r(w) composite?
False
Let o = -8 - -8. Suppose o*l = -4*l + 12. Is l a composite number?
False
Suppose -2 = -2*y - 4. Is 740/15 - y/(-3) a composite number?
True
Let a(b) = 120*b**2 + 2*b + 3. Is a(-2) composite?
False
Let v = -308 - -653. Suppose -v + 14 = -d. Is d a composite number?
False
Let x(t) = 18*t**3 - 2*t**2 + 7*t + 3. Is x(4) a prime number?
True
Suppose 3*h + 0 - 3 = 0. Let x be (0 - 1)*(0 - 0). Is 80 + -1*(h + x) composite?
False
Let t(g) = -g**3 - 6*g**2 - g - 2. Let v be t(-6). Let z(j) = -j**3 + 6*j**2 + j - 5. Is z(v) composite?
False
Is (3 - -2 - 58)*-3 composite?
True
Let s = -1330 - -1911. Is s a composite number?
True
Suppose -1506 = 2*v - 4*v + 2*s, v - 728 = -4*s. Let q = -227 + v. Is q a composite number?
False
Suppose -3*h - h - 4 = 0, 599 = 3*s - 5*h. L