g prime?
False
Suppose -4*j = 5*r + 3 - 16, 0 = -5*r + 5. Suppose -56 - 14 = -j*s. Is s a prime number?
False
Let l(a) = 36*a**2 - a - 1. Let k be l(-1). Suppose 0*j - 2*j = -3*s + 140, -s - 2*j = -k. Suppose 0 = i - s - 9. Is i a prime number?
True
Let v = -36 - 88. Let w = -65 - v. Is w a prime number?
True
Suppose 2*h - 610 = -3*h. Let y be 2 + -4 + -70 + 1. Let c = y + h. Is c a prime number?
False
Suppose -5*o = 4*x - 1470, -o - 3*o - 1118 = -3*x. Suppose i = -i + x. Is i a composite number?
True
Suppose 2*t + 45 = -3*t - 3*k, 2*t = -2*k - 22. Let x = t - -9. Is x prime?
True
Suppose l + 19 = 4*f + 926, f = 2*l - 1814. Is l composite?
False
Let q be (-160)/3*3/(-2). Let p = q - 29. Let u = -30 + p. Is u composite?
True
Let s(i) = 4*i - 4. Let q(b) = -5*b + 5. Let h(u) = 2*q(u) + 3*s(u). Let x be h(4). Let g = -3 + x. Is g a composite number?
False
Let o = 11 + -6. Suppose -o*s + 115 = -115. Is s a prime number?
False
Suppose -2*a + o + 14 = -o, -1 = a - 3*o. Is a composite?
False
Let c be (-11)/(-4) - 1/(-4). Suppose h - 5*j - 1 = -10, c*h + 27 = 2*j. Is 8/(-36) + (-209)/h a prime number?
True
Let j(k) = -k**2 - 6*k - 6. Let v = 6 + -10. Let z be j(v). Is ((-8)/24)/(z/(-186)) prime?
True
Let t be 4/6 - (-3325)/21. Suppose -3*x - 2*q + t = 0, -6*x + 5*x - 3*q = -53. Is x prime?
True
Let p(i) = -i**2 - 6*i + 3. Let z be p(-6). Suppose 3*m - z*j - 18 = 0, -m - 4*j - 6 = j. Suppose 265 = m*g + g. Is g a prime number?
True
Let z(v) = 1 - 1 + 4 + 10*v**2 + 3*v**3 - 4*v**3. Let s be z(10). Suppose -5*h + s*h = -127. Is h a composite number?
False
Let q(l) = 10*l**3 + 3*l**2 + 3*l. Let s be q(3). Suppose -445 - 200 = 3*v. Let n = s + v. Is n a composite number?
True
Suppose 0*q + 12 = 3*q. Is (-3)/q + 223/4 a prime number?
False
Let u(c) = -c**3 + c**2 + 3*c + 4. Is u(-3) a prime number?
True
Suppose 4*k - 2 = 2*a, -4*k - 5*a - 5 + 0 = 0. Suppose -j + k*j = -35. Is j a prime number?
False
Suppose -141 = -0*s + 3*s. Let l = s - -136. Is l composite?
False
Let l = 5 - -2. Let j = 15 + l. Suppose -5*i + 45 = p, 4*i = 3*p + j + 33. Is i prime?
False
Suppose -3*c + 1926 = 3*w, w = c + 4*c + 636. Is w prime?
True
Suppose -3*a = 4*q - 182, 18 + 102 = 2*a + 2*q. Is a composite?
True
Let z(a) = 2*a**3 - 9*a**2 + a + 8. Let h = 3 + 1. Suppose -h*m + 15 + 9 = 0. Is z(m) a composite number?
True
Let f be (64/20)/((-2)/(-5)). Let c be ((-3)/6 - -1)*f. Let a(r) = 8*r**2 + 2*r - 3. Is a(c) composite?
True
Let b be (-1)/(9/3 + -2). Let s be 1 + (-2 - b)*-7. Is ((-38)/s)/(5/(-20)) prime?
True
Let m be ((-4)/3)/((-22)/33). Suppose 170 = 4*u + 2*y, m*u + u + y - 128 = 0. Is u composite?
False
Suppose -409 = -4*h - 37. Suppose 3*g + h = 258. Is g composite?
True
Let f(n) be the second derivative of n**4/12 + n**3 - 3*n**2/2 - n. Is f(4) a composite number?
False
Suppose -2 = 2*h - 3*h. Let o(z) = 25*z**3 + z**2 - 2*z - 1. Is o(h) a prime number?
True
Let h = 347 + 68. Is h composite?
True
Let n = -13 + 13. Suppose -u - 3*u + 508 = n. Is u a composite number?
False
Is (-1)/(0 + (-4)/344) prime?
False
Let p(w) = -w + 14. Let a be p(11). Suppose -5*d + 4 = -b - 48, -a*b + 34 = 4*d. Suppose 0 = 2*j - d, j - 2*j = 2*k - 11. Is k a prime number?
True
Suppose 0 = r - 4, 9*t + 3*r = 4*t + 827. Is t a composite number?
False
Let m = -7 - -16. Let t = 128 - m. Is t composite?
True
Suppose -8*u = -3*u - 25. Suppose u*d - 17 = -2. Let c = 16 + d. Is c prime?
True
Let d = 6 - -1. Let x(l) = 28*l + 10. Let o be x(d). Is (-2 + 10/4)*o a composite number?
False
Suppose -5*q - 245 = -3*o, 2*q + 2*q = 2*o - 162. Is o a composite number?
True
Suppose 0*z - 4*l - 4 = -4*z, 0 = -5*z - 5*l + 25. Let o(y) = 2*y**3 - 5*y**2 + 5*y - 3. Is o(z) a prime number?
False
Suppose -3*s + 4*f = 3*f + 1128, -1128 = 3*s + 3*f. Is s/(-20) - (-1)/5 prime?
True
Suppose 5*y - 3*y - 8 = 2*h, -2*y + 20 = -5*h. Suppose z - 10 - 37 = y. Is z prime?
True
Let s(g) = -g**3 + g**2 + 3*g - 2. Let v be s(2). Suppose v = -0*p + p. Suppose p = -o - 2*l + 19, 4*o - 117 = -o + l. Is o a prime number?
True
Suppose 4*t + 0*t - 8 = 5*y, 2*y - 8 = -4*t. Is -3*11/(-2)*t a composite number?
True
Let h be ((-12)/(-5))/(6/40). Suppose -3*j + 28 = 4*x, 0 = -4*j - 0*j + h. Suppose n = -x*n + 130. Is n a composite number?
True
Let t(x) = 32*x**3 + 3*x**2 - 2*x + 1. Is t(2) a prime number?
False
Let y be 733/3 + 3/(-9). Let m = 495 - y. Is m a composite number?
False
Is 3630/(-3 - -6) - -1 composite?
True
Let r(x) = 11*x**2 + 3*x - 7. Is r(-4) a prime number?
True
Let m = 257 + -183. Is m a composite number?
True
Suppose 5*v = -442 + 1557. Is v a composite number?
False
Suppose 12 = 8*o - 4*o. Let u(l) = 4*l**3 + 3*l**2 - 4*l**3 + 4 - l**3 + l. Is u(o) prime?
True
Let s(r) = 28*r - 1 - 4 + 0 - 2. Suppose 2*k = 5*x - 10, -29 = 2*k - 7*k - x. Is s(k) a prime number?
False
Let b = 113 + -79. Is b prime?
False
Suppose 2*r = 4*r - 24. Suppose 0 = 4*p + r, 0 = -4*k + 6*p - 3*p + 325. Is k a prime number?
True
Let k(h) = -69*h + 9. Is k(-10) a prime number?
False
Let j(y) = 31*y**2 + 3*y + 1. Suppose -2*w - 5*a + 15 = 3*w, -5*w = 4*a - 10. Is j(w) a composite number?
True
Let n(r) = r - 3. Let l be n(6). Let w be 6/9 + (-56)/l. Let f = w + 39. Is f a composite number?
True
Let g be ((-512)/4)/(1/(-2)). Let a = 375 - g. Is a a composite number?
True
Let l(x) = 13*x**3 - 3*x**2 - 4*x - 2. Let m be l(4). Suppose 3*v - 11 - m = 0. Is v a prime number?
False
Let b = 15 + -11. Suppose 5*k + b + 6 = 0. Let f = 51 - k. Is f a prime number?
True
Suppose -47 - 28 = -b - 2*u, 0 = -b + 4*u + 99. Is b prime?
True
Is 9 - -253 - (-1 - 0) a composite number?
False
Let w(f) = -5*f**3 + 2*f**2 - f + 1. Let x(r) = -11*r**3 + 3*r**2 - r + 1. Let b(q) = -9*w(q) + 4*x(q). Is b(8) a composite number?
False
Let d(t) = -t**3 + 5*t**2 - 2. Let f be (4 + -2)*(1 - 3). Let b be ((-6)/(-4))/((-3)/f). Is d(b) a composite number?
True
Suppose 10 = 2*n + 3*n + 5*h, 2*n = 2*h + 16. Suppose 3*v + n*k = 198, -4*k + 3*k = -5*v + 330. Suppose 2*o - v = -o. Is o prime?
False
Suppose 36*n = 46*n - 7990. Is n a prime number?
False
Suppose -25*r + 13630 = -15*r. Is r a prime number?
False
Let g(y) = 86*y**3 + y**2 - y. Let t be g(1). Suppose 3*v + t = 5*v. Is v composite?
False
Let y(p) be the first derivative of -39*p**5/10 + p**3/6 + 2*p - 1. Let j(q) be the first derivative of y(q). Is j(-1) composite?
True
Let y(b) = -b**3 - 5*b**2 - b + 11. Is y(-8) prime?
True
Let c(w) = w**3 - 3*w**2 + 8*w - 9. Let z(l) = l**2. Let m(k) = c(k) - 4*z(k). Let a be m(6). Suppose a*n - 21 = -0*n. Is n prime?
True
Suppose -6*t + t + 30 = 0. Let m(n) = 3*n**2 + 3*n + 7. Is m(t) composite?
True
Let w = -1382 + 3699. Is w a prime number?
False
Suppose -3*k - 2*m + 2 = 0, -2*k - 2*m = 2*m - 12. Let v(c) = c**3 + 2*c**2. Let f be v(-2). Is (-196)/(-4) - (k - f) a composite number?
True
Let m(h) = h**2 - 2*h - 1. Is m(5) a composite number?
True
Is 509 + -2 + (-4 - -8) prime?
False
Let m = 202 - -127. Is m composite?
True
Suppose 3*w + 2*w + 530 = 0. Let r be (-2)/(-6) + w/3. Let h = 74 + r. Is h composite?
True
Suppose -26 = -2*b + b. Let u = b - 3. Is u a prime number?
True
Let g be (2/4)/(3/36). Let c(i) = -i + 7. Let q be c(g). Is (q/3)/((-2)/(-114)) prime?
True
Let z be (-4 + 5 + -2)*-5. Suppose r = t + 17, -3*r = z*t - t - 79. Is r a prime number?
False
Is (1000 + -2)/(6 - 4) prime?
True
Let i be (1 - -1)*2/(-4). Let w be 30*(i + 7/5). Suppose 0*u = -4*u - k + 27, -2*k = 2*u - w. Is u prime?
True
Suppose 2*k - 44 = 3*x - 364, -512 = -5*x - 2*k. Let c = 47 + -96. Let b = c + x. Is b composite?
True
Let m = 236 - 334. Let z = m - -200. Suppose 0 = 2*n + t - 149, -z = -n + t - 20. Is n a composite number?
True
Let j = -458 - -885. Is j a prime number?
False
Suppose n = 2*c + 58, -76 = -n - n - 4*c. Let p = n - 13. Is p a prime number?
False
Let m be 60/25 + 2/(-5). Suppose -2*y = 4*x + 2*y - 228, 5*y = -m*x + 120. Is x a composite number?
True
Let b = -408 - -787. Is b prime?
True
Let c(q) = 2*q**3 + q**2 + q + 4. Let x be c(-3). Let f = x - -135. Is f a composite number?
True
Let t(l) = l**2 + 12*l + 4. Let h be t(-7). Let m = 64 + h. Is m a composite number?
True
Suppose 5*s + 1473 = 2*p, 0*p + 2220 = 3*p + 3*s. Is p prime?
True
Suppose 0 = -3*d + 3*w + 15, 2*d - 3*d - 2*w = 10. Let g = -1