t composite?
True
Let m(c) = -528*c + 1. Is m(-2) composite?
True
Is 1090/15*3/2 composite?
False
Suppose -3*p - 6*k = -2*k + 9, -3*p + 4*k - 9 = 0. Let g = p + -1. Is (77/(-4))/(1/g) prime?
False
Suppose 2*s + 8 - 2 = 0. Let u be -1 - -2 - (2 + s). Suppose 4*j + u*l - 126 = 0, 31 = 2*j + 4*l - 35. Is j a prime number?
True
Let a be 21 - 2*(-3)/3. Suppose -6*f = -3*f + g - a, 0 = -g - 1. Is (0 + 1)*(45 - f) composite?
False
Let z(v) = -37*v. Is z(-1) a prime number?
True
Let h be (15/(-10))/(6/(-20)). Suppose h*a - 94 = 61. Is a a composite number?
False
Let n be (-3)/(-5) + 2614/10. Suppose -5*v + n = -3*v. Is v a composite number?
False
Suppose -a = 5*q - 18, 0*q - 9 = -a - 2*q. Let n be (30/a)/2*2. Is n/(-35) - (-144)/14 composite?
True
Suppose -5*v = 5, t + 3*v - 101 = -7. Is t a prime number?
True
Suppose 2*a - 817 = -3. Is a prime?
False
Let i = 1 + 2. Let q be i/((-3)/(-11)) + 1. Suppose -t + q = 3*t. Is t a composite number?
False
Let r be 3/(-6) - (-1)/2. Let g = -6 - -11. Suppose -f + g*f - 36 = r. Is f a composite number?
True
Let x(d) = -28*d**2 + 5*d. Let t(q) = 42*q**2 - 8*q. Let i(p) = -5*t(p) - 7*x(p). Let f be i(4). Is f/8*14/(-3) composite?
True
Let o = -6 + 8. Suppose -4*i = -u + 30, -u + 118 = o*u + 2*i. Is u a composite number?
True
Let w = 33 - -108. Is w a prime number?
False
Suppose 3*m = 2*y + 15, -3*y + 5*m - 9 - 14 = 0. Let c(j) = -52*j + 7. Is c(y) prime?
False
Suppose -3 = 2*q - 5*q. Let o = 6 + q. Is o a composite number?
False
Let a(h) = -56*h - 1. Let u(f) = -f - 1. Let i(v) = -a(v) + 2*u(v). Let g(r) = -54*r + 1. Let j(z) = -3*g(z) - 2*i(z). Is j(1) composite?
False
Suppose -4*c + 90 = 2*h, -c + 5*c = 12. Is h a prime number?
False
Let b = -19 - -27. Is 4/b + (-25)/(-2) prime?
True
Let u be (-8)/(-3)*93/2. Suppose -g = -0*g - u. Suppose 16 = -4*b, 0 = 4*i + b + 3*b - g. Is i a composite number?
True
Suppose -m - 456 = -3*m. Suppose -5*w - m = -693. Is w a composite number?
True
Let u(k) = 4*k**3 + k**2 + 5*k + 3. Suppose -4*t = -9*t - 3*j - 15, -4*t - 12 = -5*j. Let c be u(t). Is (-2*c/6)/1 a composite number?
False
Let r = -21 + 29. Let h = r + 15. Is h composite?
False
Let d(v) = -v**3 + 11*v**2 - 3*v + 10. Is d(8) prime?
False
Suppose -5*c = 2*p - 43 - 136, 138 = 4*c - p. Is c prime?
False
Let k be (-9 + 4)*4/(-10). Suppose -4*y + k*y = 0. Is (y - -39) + (5 - 7) composite?
False
Suppose -v - 2*v = -12. Suppose 0*a = -v*a + 2*t + 90, -3*a + 3*t = -72. Is a composite?
True
Is (-3 + 4 - -2709)/2 composite?
True
Let x = 1 - -4. Suppose -x*s - 89 = -6*s. Is s a composite number?
False
Suppose 3*j + 0*j - 8 = d, -4*d = 5*j - 36. Suppose 0*w - 352 = -d*w - 2*i, 0 = -5*w + i + 426. Is w composite?
True
Is -1678*(-5)/(-30)*-3 a prime number?
True
Let o(t) = t**3 + t. Let s be o(-1). Let g = s - -7. Suppose i = -4*x + 198 + 249, x + g*i = 88. Is x prime?
True
Let m(s) = s**2 - 2*s + 1. Let x be m(3). Is -2*((-14)/x + 0) composite?
False
Let g = 2 - 0. Let l(a) = a + 1. Let q be l(3). Suppose c + q = g*c. Is c a prime number?
False
Suppose v + 181 = 2*l - 241, v = 0. Is l prime?
True
Let z = -722 + 1041. Is z prime?
False
Let i(y) = -2*y + 22. Let c be i(-14). Suppose -13 = 2*u - 7*u - 3*m, 5*u - 14 = -4*m. Suppose -u*g + c = -0*g. Is g a prime number?
False
Let x(i) = 26*i**2 - 5*i - 5. Is x(-2) prime?
True
Let j be 9/(-6)*4/(-6). Let k(x) = 256*x**3 + x**2. Is k(j) a prime number?
True
Let t(p) = 37*p - 11. Let z be t(-11). Let k(v) = -29*v**2 - v + 3. Let h be k(-5). Let o = z - h. Is o prime?
False
Let c(l) = -25*l**3 - 5*l - 3. Let d = -1 + -2. Is c(d) prime?
False
Let r(q) = -q**2 + 6*q - 3. Let z be r(6). Let p = z + 5. Suppose -m + p + 15 = 3*j, -2*m = j + 1. Is j composite?
False
Let k(j) = 50*j - 4. Let m be k(3). Let s = -65 + m. Let p = 134 - s. Is p composite?
False
Let q(i) = -19*i**3 - 2*i**2 - 3*i - 7. Let o(j) = 10*j**3 + j**2 + j + 4. Let x(a) = -5*o(a) - 3*q(a). Is x(3) a prime number?
True
Let c = 120 + 227. Is c a prime number?
True
Suppose 2*h = 4*v - 249 - 493, -744 = -4*v + 4*h. Let d = -64 + v. Is d prime?
False
Suppose 4*u - 56 - 82 = 3*b, -2*b + 29 = u. Let s = u + -20. Is s a composite number?
False
Let r(x) = 4*x**2 + 2*x - 5. Suppose -p = -0*p + 3*v - 9, -5*p - 5*v - 5 = 0. Is r(p) a prime number?
True
Suppose -4*w + 37 + 627 = 0. Is 5/(-1)*w/(-10) composite?
False
Let d = -748 - -1083. Is d a composite number?
True
Let l = 172 - 36. Suppose l = 2*h - 118. Is h a prime number?
True
Let p(s) = 0*s - 2 - 4*s - 4*s. Is p(-2) prime?
False
Let f(w) = -3*w + 7 + 2*w**2 - 3*w**3 - w**2 + 7*w**2 + 4*w**3. Is f(-7) a prime number?
False
Suppose 0 = -2*n - 0*f + f + 750, 4 = -f. Is n prime?
True
Let d(k) = -10*k**2 - 2*k + 2. Let i be d(-2). Let x = -51 - i. Let c = x - -30. Is c composite?
False
Let t(a) = -3*a + 3*a - 1 + 3*a**2 + 0*a + 3*a. Suppose 2*m + 20 = 3*n, 4*m + n = -2*n - 4. Is t(m) prime?
False
Let q = -335 + 155. Let c = -91 - q. Is c a prime number?
True
Suppose -q + 16 = 3*q. Suppose w + 37 = -2*w + 5*o, -q*o + 4 = 4*w. Is (-644)/(-12) + w/6 a composite number?
False
Let w(u) = 2*u**2 + 8*u - 1. Let s be w(-9). Let r = s + -10. Suppose -2*j = -j - r. Is j prime?
True
Let o(q) = 15*q**2 - 5*q + 45. Is o(7) prime?
False
Suppose -204 = -4*h + 5*d, 4 = -0*d + d. Suppose 5*v - y = 1018 + h, 0 = 4*v - 4*y - 856. Is v composite?
True
Suppose 0 = -2*s + 4*s + 6. Is ((-2)/s)/(4/36) a prime number?
False
Let a = -15 - -26. Suppose a*f = 10*f + 37. Is f composite?
False
Suppose -6*y + y = -3*i - 5, -5*y + i = -15. Let d be (6 - 4)*2/y. Let z(w) = 54*w**2 - 2*w + 1. Is z(d) a composite number?
False
Suppose 6*i - 5693 = -1391. Is i a prime number?
False
Suppose 0 = -5*a + 158 - 38. Suppose 3*b - 4*t - a = -t, 2*t = -2*b. Is b a composite number?
True
Suppose a + 5 = -2*r, a + 17 = -0*a - 5*r. Suppose -o + 1624 = a*o. Let z = o + -243. Is z a composite number?
False
Suppose 5*q - 255 = 10. Is q a prime number?
True
Suppose -4*c + 2*c = -r + 4, 0 = 3*r - 3*c - 12. Let n(f) = 5*f + 2. Is n(r) a prime number?
False
Let f(n) be the third derivative of n**4/6 - 7*n**3/6 + 5*n**2. Suppose 34 = 4*i - k - 12, 0 = 2*i + k - 20. Is f(i) a composite number?
False
Suppose 0 = -12*z + 13*z - 1639. Is z a prime number?
False
Suppose -4*n = 5*t + 40 - 809, 0 = -3*n + 5*t + 568. Is n a composite number?
False
Let p(u) = u**2 - 5*u - 37. Is p(23) composite?
True
Let c = 30 + 545. Suppose 0 = -2*r - 3*r + c. Is r prime?
False
Let i be (-7)/2 - 6/4. Let o be 7 - i/((-5)/(-2)). Let w = o + 6. Is w a prime number?
False
Let k(t) = -7*t - 3. Let j be k(-4). Let r be (-9)/(-2)*(-96)/(-9). Let b = r - j. Is b a prime number?
True
Let g(w) = w**2 + 3*w. Let n be g(-7). Suppose z = -4*m + 78, -20 = -2*m - 5*z + n. Is m prime?
True
Let v(y) = y**3 - 5*y**2 + 8*y. Let s be v(7). Is 2/(-8) + s/8 prime?
True
Suppose 3*t - 18 = -3*n, 0 = 2*n + 4*t - 7*t + 8. Suppose -o + 208 = -5*d + 35, 0 = 2*o + n*d - 370. Is o composite?
True
Let c(h) = h**2 - h - 5. Suppose -1 = -4*b + 7. Suppose -2*m + 6 = -b. Is c(m) a prime number?
True
Let y(b) = 176*b - 7. Is y(6) composite?
False
Let f be 4/6 + 74/6. Suppose -4*l - 18 = a - 0*l, a + f = -3*l. Suppose 104 + 181 = 5*i - 4*x, 3*x - 91 = -a*i. Is i composite?
False
Suppose -m = 3*x - 1473, 8*m - 7365 = 3*m - 4*x. Is m prime?
False
Let s = -1161 + 2410. Is s prime?
True
Let l(g) = -25*g**3 - 4*g**2 - 7*g - 1. Is l(-3) prime?
True
Suppose -4*m = -m - 105. Is m a prime number?
False
Let r(b) = -5*b**2 - 3*b - 1. Let h be r(-2). Let k be (-2)/12 + h/18. Is (k*1)/((-3)/186) a composite number?
True
Suppose -2*l + 4*l = 3*g - 3, 0 = g - 5*l - 1. Let z(q) = 9*q**3 - 2*q**2 + q + 7*q**3 + 0*q**2. Is z(g) a composite number?
True
Is (-1 + -3)/(-4) - -94 composite?
True
Suppose -b = -3*b + 4. Suppose b*q - v - 37 = 0, -6*v + 5 = -v. Is q a composite number?
False
Let o be 30/(-4)*(-20)/(-6). Let t = 12 - o. Is t composite?
False
Suppose 0 = -2*z + s + 10, -2*z - 5*s + 0*s - 14 = 0. Is z prime?
True
Let t be (-1 + -1)*(-25)/10. Let u = -2 - -2. Suppose 0 = -u*r + t*r - 55. Is r composite?
False
Suppose -n = -6*n + 110. Is (-4)/10 - n/(-5) a prime number?
False
Suppose 0 = -i - i + 16. Let t = i + -3. Suppose -t*u - 124 = -2*f, -4*f - 3*u + 239 + 35 = 0. Is f prime?
True
Let n = 3216 - 1855. Is