 125 = -0*y, -3*x - 150 = -3*y. Is y prime?
False
Is (-1)/((-3)/8451) + 2 a composite number?
False
Is (-1)/((-12)/2140) + (-4)/(-6) composite?
False
Let o(n) = -10*n - 2. Let a be o(4). Is ((-9)/(-6))/((-3)/a) prime?
False
Suppose 4*n = -u - 3, 0*n - 2*n = 2*u. Suppose 9 = 5*d - u. Is -57*(-1 + d/3) prime?
True
Is 1/(-2 - (-1839)/919) a composite number?
False
Suppose 3*v - v + 4*m - 4 = 0, 3*v = 3*m + 6. Suppose -v*n = -n - 161. Is n a composite number?
True
Let m = 131 - 22. Is m prime?
True
Let k(b) = b**2 - 7*b + 2. Let m be k(7). Let w(t) = 2*t**2 + 6 + t + 0*t - t**m. Is w(0) a composite number?
True
Let s(b) be the third derivative of 7*b**4/6 + b**3/2 + 3*b**2. Let v = 14 + -9. Is s(v) prime?
False
Let w(l) = l**2 + l. Let k(f) = -18*f**2 - 4*f + 1. Let g(i) = -k(i) - 4*w(i). Is g(2) prime?
False
Let g(f) = -f**2 + 6*f. Let v be g(5). Suppose -2*x = -v*i - 1, 3*x + 2*i - i = 10. Suppose -5*d = -x*b + 185, 2*b - 4*d - 65 - 61 = 0. Is b a composite number?
True
Suppose 2*q + 20525 = 7*q. Is q a prime number?
False
Is 2/7*-1 + 163/7 a prime number?
True
Suppose 2*q - 2*l - 383 - 367 = 0, 3*l + 1498 = 4*q. Is q prime?
True
Let h(a) be the third derivative of a**5/30 + a**4/24 - a**3/6 + a**2. Let q be h(1). Is (-4)/2*(-49)/q composite?
True
Suppose -12*y + 14*y - 182 = 0. Let j = 12 + y. Is j prime?
True
Let n be (-324)/(-78) - 2/13. Is (-1)/n - (-1575)/12 a composite number?
False
Let b(d) = -d**3 + 3*d**2 - 11*d - 7. Is b(-10) a composite number?
True
Suppose 0 = 2*z - 6*z, x = -5*z + 127. Is x a prime number?
True
Suppose 0 = -3*v + 199 - 46. Is v a composite number?
True
Let m = 11 - 5. Let v(t) = t**3 - 3*t**2 - 3*t - 4. Let z(b) = -b**3 + 3*b**2 + 3*b + 4. Let n(k) = -3*v(k) - 4*z(k). Is n(m) a composite number?
True
Let w(q) = q**2 - 6*q + 3. Let p(f) = f**2 + 5*f. Let h be p(-6). Let a be w(h). Suppose -7*k + 184 = -a*k. Is k prime?
False
Let s be -1*3/((-3)/2). Let j(g) = 25*g - 3. Let x be j(2). Is x + 1/1*s prime?
False
Suppose -c - 2 = -q, 2*c = -q + 3 + 5. Suppose c*x = 4*w + 14, 3*w + 2*x + 8 = 6*x. Is -2 + 2/(w/(-42)) prime?
True
Let w = -11 + 16. Suppose -2*g + 14 = w*j + 39, -2*g = -j + 7. Is 19*(-2 - j - 0) prime?
True
Suppose 0 = -4*j + 135 + 669. Is j a composite number?
True
Let w(z) = -16*z - 6. Let i be w(5). Is 1 + (3 - 1 - i) composite?
False
Suppose -h + 0*h - 5*j + 53 = 0, 2*h = -2*j + 106. Is h composite?
False
Suppose 2*t + 2*n + 10 = -n, n = t. Is (1*t)/((-4)/158) a prime number?
True
Let h = 1166 - 789. Is h composite?
True
Suppose 0*c + 12 = -2*c. Is (c - -3) + (-136)/(-2) prime?
False
Suppose v - 114 = -v. Is 2 + (2 - (2 - v)) prime?
True
Let m = -67 + 114. Is m prime?
True
Let u be (-1)/(-3) - (-586)/6. Suppose 5*j + 2*f + 293 = 1102, j - 3*f = 172. Let a = j - u. Is a a prime number?
False
Let s = 16 - -46. Let q = s - -17. Is q prime?
True
Let v(q) = 792*q**3 - 8*q**2 + 4*q + 1. Is v(2) a prime number?
False
Let l be (-2)/8 - 1203/4. Let v = l + 520. Is v composite?
True
Let s = 2896 - 1771. Suppose -5*f + 2*l + 1342 = -505, -3*l = 3*f - s. Is f a prime number?
False
Let i = 1384 - 935. Is i composite?
False
Let u be 1*720/28*-7. Let x = 1101 + u. Is x a composite number?
True
Is (-6)/(-3)*19876/8 a composite number?
False
Let d be (-121)/(-1) - 3/((-18)/(-6)). Suppose 3*g - 16 = -5*f - 44, -41 = 4*g + 3*f. Let c = d - g. Is c composite?
False
Let j = -9 + 4. Let c(z) = z**3 + 12*z**2 + 4*z + 2. Is c(j) a prime number?
True
Let n(l) = -5 - 3*l + 8*l + 9*l. Let z be n(4). Suppose 646 = 5*y + z. Is y a prime number?
False
Let g(i) = i**3 + 8*i**2 + 7*i + 5. Let b be g(-7). Suppose b*v - 2*v = 15. Suppose t + v*p = -t + 104, 5*p = 5*t - 225. Is t a composite number?
False
Let b(i) be the first derivative of i**5/60 + 5*i**4/24 - i**3/3 + i**2/2 - 4. Let c(n) be the second derivative of b(n). Is c(-8) a prime number?
False
Let c(a) = a - 2. Let p be c(0). Suppose -4*u + 4*n = 72, u + 90 = -3*u - 2*n. Let w = p - u. Is w prime?
True
Suppose -5*q = -2*d - 4, -4*q + 4*d + 8 = -0*q. Let g(f) = 0 + 12*f + q + 1. Is g(3) a composite number?
False
Let z = 3 - 1. Suppose -2*r + 4*m = -32, -z*r + 5*m + 42 = 13. Is r a prime number?
False
Let l(b) = b**2 + 1. Suppose t - 4*g - 18 = 1, -g = 5*t - 95. Suppose 3*q + 5*z = t - 57, -5*q = 5*z + 50. Is l(q) a prime number?
True
Let w = 5 - 34. Let q be (-4 - -2)*1 + -1. Is q/12 - w/4 a prime number?
True
Let u = 0 + 2. Let v(r) = 2*r**u + 3*r**3 + 4*r**2 + 34 - 5*r**2 - 2*r**3. Is v(0) prime?
False
Suppose 0*q + 3*q - 777 = 0. Let j = -168 + q. Is j composite?
True
Is (1*-1)/((-7)/(4 - -675)) prime?
True
Let o = -28 - -40. Let v be 3/o - (-19)/4. Suppose 86 = 4*c + 3*t, -v*t = 2*c - 3*t - 42. Is c a composite number?
False
Let t = 1409 - 360. Is t a composite number?
False
Let y be 98/8*-2*-6. Is (-3)/(-6)*4 + y a prime number?
True
Let g(q) = -q**3 - 10*q**2 + 2*q + 15. Let t be g(-10). Let z(w) = -4*w + 1. Is z(t) a composite number?
True
Suppose 3*d - 4*i - 1422 = -60, 5*i - 885 = -2*d. Suppose 3*z + 2*c + 0*c - 339 = 0, -4*z - 2*c = -d. Is z composite?
True
Let r be 1/(-4) - (-10)/8. Is 166 + (-3)/r + 6 a composite number?
True
Let n be 2/(2 + 48/(-22)). Let j = n - -48. Is j a composite number?
False
Let q = 12 + -7. Suppose 3*x + x - 3*w + 4 = 0, -4*w - 5 = q*x. Let f = x + 47. Is f prime?
False
Let b be 4/(-8)*(1 - 1). Suppose b*j - j = -5*m - 70, j + 2*m - 63 = 0. Is j composite?
True
Let j(p) = -p**3 + 26*p**2 - 11*p + 15. Is j(19) composite?
False
Let h(b) = b**2 + 9*b - 8. Let j be h(-11). Let m = 51 - j. Is m composite?
False
Let d(p) = -8*p**3 - p**2 - p + 4. Let l(o) = -17*o**3 - o**2 - o + 7. Let x(k) = -5*d(k) + 3*l(k). Let w be x(-1). Let n = w - -1. Is n prime?
True
Let q = 15 - 7. Let w be (-4)/q + 11/2. Is (-2)/5 - (-637)/w prime?
True
Suppose -149 = -k + 368. Is k composite?
True
Is 1755/6 - (10/4 + -3) a prime number?
True
Let m(z) = z**3 - 6*z**2 - 6*z - 22. Is m(9) a prime number?
True
Suppose 0*a = -a. Let q = a + -1. Is q/(-1 + 176/178) prime?
True
Let b be 2/(-6)*9/(-1). Suppose -s = -b*s - 10. Let m(k) = -2*k**3 - 5*k**2 + 5*k - 5. Is m(s) a prime number?
False
Is (-1906)/(-2) - -2 - 2 a prime number?
True
Let l be (-2 + 0 - -2) + 57. Let s = 280 - l. Is s a composite number?
False
Suppose 0 = 3*i + u - 6*u - 236, 3*i - 3*u - 246 = 0. Is i a composite number?
True
Suppose 5 - 10 = -d, -5*o - 5*d + 14145 = 0. Let z be o/14 + 18/63. Let a = z - 143. Is a a composite number?
False
Is 4 + -2 + 370 - 1 prime?
False
Let r = 565 - -238. Is r a prime number?
False
Suppose -o = -2*o - 5*c + 208, 3*o = -c + 610. Is o composite?
True
Let l(n) = -4*n - 9. Is l(-4) prime?
True
Suppose -2*y - 5*p + 11 = -4*p, 3*y = -3*p + 9. Let d(q) = 10*q + q**2 - 2*q**2 - 6 + 0*q**2. Is d(y) a prime number?
False
Suppose p = 2*p - 12. Suppose 0 = -5*n - 8 - p. Let k = n - -11. Is k prime?
True
Suppose -r - r = 0. Suppose 4*c + 4 = -2*g - r*c, 0 = -4*g - 5*c + 1. Suppose 0 = g*l - l - 39. Is l prime?
True
Suppose -3*d - 4*l - 2 = 12, 4*d - 3*l = 23. Let r(m) = 5*m**3 + 3*m**3 - 7 + m - 7*m**3 + 8*m**d. Is r(-7) a composite number?
True
Let z = -93 + 344. Is z a prime number?
True
Let a be (-1 + 0)/((-1)/(-4)). Let u = -2 - a. Suppose -4*x + 13 = s, 1 + 4 = u*x - s. Is x a prime number?
True
Let q(c) = -c**2 + 5*c - 2. Let h be q(4). Suppose -2*y + 364 = h*p + 2*p, 3*p - 273 = 5*y. Is p composite?
True
Let k(g) be the third derivative of -29*g**4/24 - 2*g**3/3 - 6*g**2. Is k(-3) prime?
True
Is 91 - (2 - 1 - -1) a composite number?
False
Suppose 0 = -6*c + 4*c + 614. Is c prime?
True
Is (5 + 56/(-12))*2931 a prime number?
True
Suppose -6*w = -2*w - 372. Is w a prime number?
False
Suppose -4 + 29 = 5*v. Suppose 2*g = -v*q + 5*g - 477, 2*q + 196 = -4*g. Let h = 175 + q. Is h prime?
True
Suppose 5*w - 86 = 24. Let d = w - -15. Is d composite?
False
Let c(l) = -2*l - 1. Let b be c(-2). Suppose -2*v + 798 = 4*h - 5*v, -2*h + b*v + 396 = 0. Is h a prime number?
False
Let x = 4649 + -2992. Is x prime?
True
Let u(a) = -21*a + 7. Let r(m) = -m + 1. Let y(s) = 24*r(s) - 3*u(s). Let b be y(-4). Is (b/(-6))/(6/8) prime?
False
Suppose 0*j = -j - 7. Let c = j + 20. Is c prime?
True
Let w be (1 - 0) + 7 + 4. Suppose -6*i - 418 = -3*x - 2*i, 0 = -3*i - w. Is x a composite number?
True
L