t l = -145 - -272. Is l prime?
True
Is (374 - 3) + 4 + -2 a prime number?
True
Suppose -2*x = -6*x + 916. Let m = x + -75. Let t = m + -89. Is t composite?
True
Suppose z + 0*k - 4*k = 45, k - 135 = -2*z. Is z composite?
True
Let r = -265 + 397. Let z(n) = -n - 1. Let k be z(-4). Suppose -i = k*i - r. Is i a prime number?
False
Let a(v) = v + 11. Is a(8) prime?
True
Let y = 35 - -143. Suppose -5*m + y = -3*m. Is m composite?
False
Let g be (-13)/4*(-24)/(-3). Let d = 109 + g. Is d composite?
False
Let y(w) be the second derivative of 19*w**4/12 + w**3/6 + w**2/2 + 4*w. Is y(-1) prime?
True
Let p(y) = 6*y**3 - y**2 - 9*y + 5. Is p(4) a prime number?
True
Suppose 3*n - 366 = 2*n. Let y = -225 + n. Is y a composite number?
True
Suppose 2*m + m + 2*i - 1 = 0, -i = -3*m - 5. Is 10/((-3)/3)*m composite?
True
Suppose 0 = 2*v - 2 - 0, 5*i = 5*v + 60. Let q = i - -10. Let m = -12 + q. Is m a composite number?
False
Let x = 355 - 198. Is x a prime number?
True
Suppose 0 = -c - 5*o - 283, 4*c - o + 1107 = 4*o. Let j = 397 + c. Is j a prime number?
False
Suppose n = -3 + 6. Suppose 0 = 2*x - n*x + 3. Suppose -86 = -x*q + 25. Is q a composite number?
False
Let w(s) = 370*s**2 + s + 2. Is w(1) a composite number?
False
Suppose 0 = -5*h + h. Suppose -270 = -2*k - 4*p, 3*k + 4*p + p - 403 = h. Is k a composite number?
False
Let x = 17 - -7. Let n = x - -10. Is n a composite number?
True
Suppose 5*q - 3*x = -10 - 15, -x = -5. Let l(u) = 15*u**2 - u - 1. Let m(w) = 14*w**2 - w - 1. Let t(d) = -2*l(d) + 3*m(d). Is t(q) a prime number?
False
Let x = -8 + 8. Suppose 12 = -2*a - x. Is (-158)/a - 1/3 composite?
True
Let s be ((-2)/2)/((-2)/114). Is s - -3*(-4)/(-6) a composite number?
False
Let m(l) = -l. Let o(q) = -3*q - 4. Let j(f) = -4*f - 5. Let t(w) = 5*j(w) - 6*o(w). Let n(u) = 2*m(u) + t(u). Is n(-2) a prime number?
True
Is (5/(-2))/((-3)/18) a composite number?
True
Let y(k) = 37*k**3 + 5*k - 5. Is y(3) prime?
True
Let j be ((-2)/(-4))/(1/534). Suppose 267 = -3*i + 6*i + 4*z, -5*z = 3*i - j. Is i prime?
True
Suppose -3*w + 5*u = -72, -4*w + 4*u = -u - 96. Let g = 43 - w. Is g a prime number?
True
Suppose 0*u + u - 790 = 0. Suppose -4*o = -9*o + u. Is o composite?
True
Suppose 2*v - 6 = 4*v. Let l be v/5*5/(-1). Is (l - 23)*(-2)/4 a prime number?
False
Suppose -3*r = -0*r - 150. Suppose 0 = 5*h - 170 + r. Is (h - 1)*(-2 - -3) a composite number?
False
Let u = 400 + 859. Is u a composite number?
False
Suppose 3*q + 265 = 8*q. Is ((-3)/3 + 2)*q a composite number?
False
Suppose 2*c - 1818 = 1136. Is c a composite number?
True
Suppose -f = -4*f + 921. Is f a prime number?
True
Let y(p) = -2 + 28*p**2 - p + 3 - p + 5*p. Is y(2) prime?
False
Suppose -2*x + 6*x - 12 = 0. Is x prime?
True
Suppose 5*g + d - 10665 = 5*d, 3*d = -3*g + 6372. Is g composite?
False
Suppose 4*h = 4*k + 1784, 0*h - 3*h + k + 1340 = 0. Suppose 5*x = 4*a + h - 5, 4*a = 4*x - 356. Is x a composite number?
True
Let o(k) = -62*k - 1. Suppose 3*w + 2 = v - 0*v, 0 = -4*w - 4*v + 8. Let t be (w + -11 - -3) + 2. Is o(t) a composite number?
True
Suppose 2*k - 5 - 4 = -y, 4*k - 13 = 3*y. Suppose -3*h = 2*w - 665, k*w + 0*w + 900 = 4*h. Is h composite?
False
Let b(z) = 2*z**2 + 13*z + 16. Suppose 0 = -0*h - 2*h + 4. Suppose 46 = -4*q + 2*f, 2*f = -h*q - 3*f - 17. Is b(q) a prime number?
False
Let i = -1354 - -2759. Is i a prime number?
False
Let h be (-1)/((-42)/(-20) - 2). Is (-9)/(-15) - 824/h a prime number?
True
Suppose 5*o - 1 = -11. Is (-141)/(-4) - o/(-8) a composite number?
True
Let q = 11 + 84. Is q composite?
True
Suppose g + 2*p - 4 = 0, -p = -2*g - 7 + 30. Let v be -5*((-344)/g)/(-2). Let s = v - -125. Is s a prime number?
False
Let g = -10 - -679. Suppose g = 4*p - p. Is p a composite number?
False
Let m = 31 + 58. Is m composite?
False
Suppose 1 = -3*v + 5*w - 0, 2*v - 4*w + 2 = 0. Suppose 3*o - 2*g = 999, 5*o + v*g = -g + 1643. Is o composite?
False
Suppose -28*u = -26*u - 1462. Is u composite?
True
Let u = 609 + -1595. Let w = -519 - u. Is w composite?
False
Suppose -4*g - t = -236, t = 4*g + 3*t - 236. Suppose 380 = 5*f - 3*x, f - 2*x - 2*x = g. Is f prime?
True
Let r(s) = 91 + 113 - 24 - s - 17. Let f = 0 - 0. Is r(f) composite?
False
Let f(n) = 2*n**3 - 4*n**2 - 4*n - 1. Let z(p) = -2*p**3 + 4*p**2 + 4*p + 1. Let d(a) = 2*f(a) + 3*z(a). Is d(-5) composite?
False
Let x(f) be the third derivative of -f**4/6 - f**3/6 - 3*f**2. Let g be x(-1). Suppose -98 = -2*j - j + v, -3*v - 90 = -g*j. Is j a composite number?
True
Let l(z) = -18*z**2 - z + 84*z**2 + 43*z**2. Let o be l(-1). Suppose -3*s + 3*q = -237, 2*s + 3*q = 68 + o. Is s composite?
False
Suppose -3*y = 3*b - 585, -3*y = -2*b - b + 561. Is b composite?
False
Let o = 122 - -441. Is o a composite number?
False
Let i = 23 + 56. Is i prime?
True
Suppose 0 = 9*x - 11*x + 170. Is x composite?
True
Suppose 2*x - 3*j = 109, x = -3*x - 2*j + 258. Let u be 148 - ((-4 - 0) + 1). Let y = u - x. Is y a composite number?
False
Let h(d) = 69*d - 5. Let l be h(6). Let i = 670 + l. Is i a composite number?
True
Suppose 0 = -15*m + 12*m + 357. Is m a composite number?
True
Let z(r) = 9*r**2 - 5*r - 6. Let l be z(-4). Let b = 254 - l. Suppose -4*f = 12, 3*i - f = -6*f + b. Is i composite?
False
Is (-16002)/(-98) - (-2)/(-7) prime?
True
Suppose 1 - 33 = -4*w. Let r be (-1)/(-4) - (-4086)/w. Suppose 124 + r = 5*u. Is u prime?
True
Suppose 0 = y, -y - 3 - 3 = -2*d. Suppose 12 = l - 3*k + 114, 4*l - d*k = -426. Let p = 197 + l. Is p a prime number?
True
Let u(k) = -k**2 - 8*k + 4. Let g be u(-8). Suppose 0 = i + 4*i - g*r - 1815, -i - r = -372. Is i composite?
False
Let l(w) = -w**3 + w**2 - 2. Let r be l(2). Suppose 4*o = -4*y + 124, o + 3 - 5 = 0. Let f = y - r. Is f prime?
False
Suppose -w = 14*g - 10*g - 1059, 0 = -w - 5*g + 1063. Is w prime?
False
Let c(q) = q**3 - 6*q**2 + 5*q + 4. Let a be c(5). Suppose -148 = -a*j - 0*j. Is j composite?
False
Let g(h) = -125*h - 4. Let p(d) = 2*d - 23. Let a be p(10). Is g(a) prime?
False
Let y = -1 + 1. Let q(k) be the third derivative of k**5/60 - k**4/24 + 47*k**3/6 - 10*k**2. Is q(y) a prime number?
True
Suppose 5*q - 4130 = 3*f, 7*f = -4*q + 3*f + 3336. Is q composite?
False
Let o(r) = -r. Let h be o(0). Suppose 5*l + h*l = 115. Is l composite?
False
Is -4*3/((-12)/769) a prime number?
True
Is 14*((-1)/2)/((-5)/55) prime?
False
Suppose u + 2*u - 6 = 0. Let c = u + -1. Is 3/2*c*2 a composite number?
False
Suppose -212 - 33 = -5*l. Let j = -9 - 5. Let n = j + l. Is n prime?
False
Let o = 188 - -223. Is o a composite number?
True
Suppose -5997 = -12*z - 9. Is z composite?
False
Let r(c) be the first derivative of c**4/4 + 7*c**3/3 + 5*c**2/2 + c - 2. Suppose -25 = 5*q - 0*q. Is r(q) composite?
True
Let k be (-9)/6 + 9/2. Suppose -652 + 79 = -k*o. Is o a composite number?
False
Let g = 20 + -11. Let u be (-4 + 0)/(-1 + -1). Suppose 0 = -a - u*a + g. Is a composite?
False
Let m(i) = -9*i + 3*i + 18*i**2 - 3 + 0. Let q(a) = -37*a**2 + 13*a + 7. Let s(y) = 9*m(y) + 4*q(y). Is s(1) a composite number?
False
Suppose -4*w - 99 = 2*p - 769, -5*p = w - 154. Is w prime?
False
Let c = 14 - 134. Let z be ((-88)/24)/(2/c). Suppose -5*s = 3*p - 156, -5*p + 0*s = -5*s - z. Is p prime?
True
Let i be (-891)/12 - (-3)/12. Let d = i + 29. Let x = -24 - d. Is x prime?
False
Let v = -18 - -18. Suppose 118 = -v*x + 2*x. Is x composite?
False
Let n = 384 + 625. Is n a prime number?
True
Suppose 0 = -3*t - 0*t + 3, -t = 2*r - 675. Is r prime?
True
Is (-2)/(-6) - 13518/(-27) prime?
False
Let m(q) = q**3 - 3*q**2 - 3*q. Let c be m(4). Suppose c*o - 17 = t + 15, -t - 4 = 0. Is o composite?
False
Let k be -3*1*(-5)/15. Is 88/1 + k*-1 prime?
False
Let w be (-1 + 9)/(-2 + 4). Suppose w*z = -5*p + 643, 0 = -4*p + 3*p - 5*z + 116. Is p composite?
False
Suppose 4*u = -3*j + 45, -48 = -3*j - 3*u - 2*u. Suppose 327 - j = 4*c. Is c composite?
False
Let r(h) = -6 - 127*h + 6. Is r(-1) a composite number?
False
Suppose 2*b = 5*r - b + 21, 4*b = 4*r + 20. Is 2/(3076/(-1028) - r) prime?
True
Suppose -4*q = q - 20. Suppose -q*k + 202 + 618 = 0. Is k a prime number?
False
Let u be (4 - 4)/(0 - -1). Let s be -1 + (u + 1 - 0). Suppose 5*p - 2*p - 69 = s. Is p a composite number?
False
Suppose 4 + 4 = -4*o. Suppose 0 = -3*g - 2*g - 30. Is g/(-8)*(2