 number?
True
Suppose 3*d + j = 12, -j - 21 = -2*d - 6*j. Let k be -1 + d - -151 - -2. Is (-2 - k)*1*-1 a prime number?
True
Let v(s) = 9*s**2 - 10*s + 9. Suppose 2 = 2*m - 10. Let y be v(m). Suppose 0 = -4*r - b + y, 3*r - b = 6*r - 206. Is r prime?
True
Let c = -5 + 8. Suppose 16 = w - c. Is w a composite number?
False
Suppose -7*a + 2*a = -10. Suppose 5*n - 5 = 0, 2*l - 3382 = -a*l + 2*n. Suppose -3*i + 2*d + 636 = 5*d, 4*i + 2*d = l. Is i a prime number?
True
Suppose -3*d = 9, d - 18 = -2*f + 5*d. Suppose -5*h = -0*i + f*i - 769, 5*h + 4*i - 767 = 0. Is h a prime number?
False
Let h(k) = 26*k**2 + 11*k + 19. Is h(-5) composite?
True
Let k be -3*(0 + 6/(-3)). Let n(z) = -k*z - z**3 + 10*z**2 - z - 11 + 2*z. Is n(8) a prime number?
False
Suppose 5*r = 3 + 7. Suppose -r*f + 497 = -949. Suppose 0 = -5*m + 4*h + f, 3*h = -2*m - 0*m + 280. Is m a prime number?
False
Let a = 238 - -169. Is a a composite number?
True
Let h(g) = -7*g + 2. Suppose 5*p + 15 + 0 = 0. Let t = p + -2. Is h(t) a composite number?
False
Suppose 0 = 2*y - 4*n - 94, 3*y - 6*y - 5*n + 163 = 0. Is y a prime number?
False
Let w = 959 + -206. Is w a composite number?
True
Suppose -4*h = -r + 25, r = 2*h - 3*h. Suppose -4*n + 0*n - 3*y + 1343 = 0, r*y = 5. Is n a prime number?
False
Let h = -2184 + 4919. Is h a prime number?
False
Let d(g) = -97*g. Is d(-1) prime?
True
Let z = 549 + -122. Is z prime?
False
Let g(q) = 3*q**3 - 3*q**2 - 3*q + 2. Is g(3) prime?
True
Let y(u) = -7*u + 8. Is y(-17) prime?
True
Suppose -2*y - 6 - 2 = 0. Is -1 - ((-544)/y)/(-2) prime?
True
Let t = -1 + 5. Suppose 0*y - t*y + k = -329, -5*y - 4*k = -427. Is y prime?
True
Let t(i) = i**2 - 3*i - 3. Let m be t(3). Is -62*m/(-6)*-2 a composite number?
True
Suppose -252 + 633 = 3*i. Is i a composite number?
False
Suppose 2*s + s = 4*h - 78, -3*h - 3*s = -69. Is h composite?
True
Suppose 9*d - 2310 = 4*d. Suppose -5*l + d = 37. Is l composite?
True
Let b = 502 + -55. Is b prime?
False
Let d = -19 + -98. Let u = 404 + d. Is u composite?
True
Let v be 2/(-3)*(-2 + 5). Is 228/20 + v/5 a prime number?
True
Let a be (5 + -3)*33/(-2). Let h = 47 + a. Suppose 0 = -4*g + 210 - h. Is g a composite number?
True
Is 1 + ((-2)/1 - -1)*-786 a prime number?
True
Suppose -352 = -5*h - 92. Let m = 242 - 167. Suppose h + m = v. Is v composite?
False
Let o(x) = -112*x - 34. Is o(-11) composite?
True
Suppose 231 = -3*q + 78. Let y = q - -136. Is y a composite number?
True
Suppose 4*y + 5*a = -6282 + 1181, a = 4*y + 5095. Is y/(-8) - 8/32 a prime number?
False
Let o = 737 - 457. Suppose d = -4*d - 2*a + 20, 2*d - 19 = -3*a. Suppose -p + g = -80, d*p = -p - 5*g + o. Is p a prime number?
False
Let z be ((-1228)/5)/((-3)/(-15)). Is 1*z/(-4)*1 prime?
True
Let d(i) = i**3 - 20*i**2 - 10*i - 20. Is d(21) a prime number?
True
Let j = -11 - -4. Is (-2)/j + 4098/14 prime?
True
Let s = 206 - -59. Is s a composite number?
True
Let d = -5 - -9. Suppose 5 = -5*u - 4*w + 15, 2*u = -5*w + d. Suppose u*h - 20 - 54 = 0. Is h composite?
False
Is (4 - 3 - 2)*-139 prime?
True
Let y = -1096 + 2013. Is y composite?
True
Let m(u) = 10*u**2 - 7*u + 2. Is m(5) composite?
True
Let q = -1613 + 4006. Is q a composite number?
False
Suppose -2*u - 2*u = 0. Suppose a + 2 - 1 = u. Is a/(1*1/(-53)) prime?
True
Suppose -3949 = -0*m - m + 3*t, -3*t = -3*m + 11859. Suppose 0*u - 5*u = -m. Is u composite?
True
Let l = 1794 + -393. Is l composite?
True
Suppose -7*w + 2*w = 5*d - 1115, -3*w + d + 669 = 0. Is w a composite number?
False
Let t be ((-9)/(-3))/(1/47). Let n = -64 + t. Is n a prime number?
False
Suppose -g + 7 = 2*m, g - 3*g - 5*m = -16. Suppose -6*t = -g*t - 231. Is t a composite number?
True
Suppose y - 99 = 175. Is y composite?
True
Suppose 5*s = p + 3*p - 119, -93 = -3*p + 3*s. Is (1 + p)*(1 + 1) prime?
False
Suppose -3*b + 2*b + 7 = 0. Let t(p) = p**2 + p - 2. Let w be t(b). Is 986/18 + 12/w a prime number?
False
Let d = 932 + 185. Is d composite?
False
Suppose -4*h - 26 = 5*x, -h - 3*x = -0 + 3. Is (2506/6)/((-3)/h) prime?
False
Suppose 3 = -2*q - 2*x - 3, 4*q + 3*x = -8. Is (20 + -1)*(q - 0) a prime number?
True
Suppose 4*o = -4*f - 0*f - 16, -5*o - 14 = -f. Is 1 + 76 - (1 + f) composite?
True
Suppose 0*m = -2*m - 8. Is (-277)/m + 3/(-12) a composite number?
True
Suppose -5*n + 7324 = -1681. Is n composite?
False
Let i(c) = -c + 4. Let v be i(0). Suppose v*l = -0*l - 88. Let t = 107 + l. Is t a prime number?
False
Let k be 1*(-1 - 0) - -7. Let r = 10 - 13. Let d = r + k. Is d a composite number?
False
Let o = 463 - -530. Is o prime?
False
Suppose c - 3*d = -10, -2*c = d - 8 - 0. Suppose 72 = 5*o + 3*f, -c*f - f - 3 = 0. Is o a composite number?
True
Let q(a) = 35*a**2 + a - 5. Let f(m) = m**2 + 5*m + 3. Let s be f(-2). Is q(s) a prime number?
True
Let q(u) = -9*u - 10. Is q(-7) composite?
False
Suppose 450 = 3*q - 3*d, 4*q + 2*d = -94 + 664. Is q a composite number?
True
Suppose 87 = -5*v + 27. Let w be (-10)/(-35) + v/(-7). Suppose w*t + 0*t = 134. Is t composite?
False
Suppose -2*u - 273 + 2031 = 0. Is u a composite number?
True
Suppose -4*n = -9*n. Let h(g) = -g**3 - g**2 - g - 4. Let m be h(n). Let u = 25 + m. Is u a prime number?
False
Suppose 2*w + 5*o = 3 + 21, o = 4. Let j be (w + -2)/(-2 + 0). Suppose j = 5*a - 3*a - 42. Is a a composite number?
True
Let p(g) = 51*g + 106. Let v(x) = 10*x + 21. Let u(r) = -2*p(r) + 11*v(r). Is u(8) a composite number?
False
Let m(i) = -i**2 + 13*i + 3. Let y be m(13). Is y + 3 + -6 - -223 prime?
True
Let k be 1 - (4 + -2) - -210. Suppose k = 4*z - 0*z + a, -4*z + 197 = 5*a. Is z a composite number?
False
Let m(c) be the third derivative of c**6/120 - c**5/15 + c**4/12 - 7*c**3/6 - 6*c**2. Is m(6) composite?
True
Suppose -7*s - 5*s + 19668 = 0. Is s prime?
False
Suppose 18*p - 44 = 14*p. Is 2/p + 27081/187 a prime number?
False
Let l(a) = -11*a**3. Let m be l(1). Let t = m + 16. Suppose 0 = -4*c + t*c - 23. Is c composite?
False
Suppose 3 = -i + 6, -i + 33 = 3*y. Suppose -15 = 5*q + y, 2*x + 213 = 5*q. Let b = x + 252. Is b a prime number?
False
Is 1/(-5) + 14592/10 composite?
False
Suppose 5 = i + 1. Suppose -4*n - n = -25, 0 = 4*j - 5*n + 49. Is j/8 + 95/i prime?
True
Let s(m) = 6*m**2 - 5*m + 4. Let r(w) = -7*w**2 + 5*w - 5. Let d(k) = -5*r(k) - 6*s(k). Is d(3) prime?
True
Suppose -315 - 757 = -4*a. Suppose -3*m - a = m. Is 3/(-6)*(m - -1) prime?
False
Suppose 5*v + d = 3 + 1, -3*v = -2*d + 8. Suppose -5*a + 2*l + 721 = v, -5*l = -2*a + 5*a - 445. Is a a prime number?
False
Let z(c) = c + 38. Let b be z(0). Suppose -3*w + b = -w. Is w prime?
True
Suppose 0 = 4*g - 8*g - o - 7, 0 = -5*o + 5. Let z = g + 2. Is (-5 + z)*33/(-5) a prime number?
False
Suppose -2*p + 2 = -2*v, v = 5*v - 2*p + 4. Is (-1 - v)/(-4) + 347 prime?
True
Let x(h) = -h**3 + 7*h**2 - 6*h + 2. Let j be 2*1/2 - 1. Let u(o) = -o**3 + o + 5. Let t be u(j). Is x(t) a composite number?
True
Suppose -p + 4*x - 11 = -0*p, -3*p - 3*x + 42 = 0. Let c(b) = -b**3 + 10*b**2 - 9*b - 10. Let d be c(p). Let a = 9 - d. Is a a composite number?
False
Suppose -2*k = p - 2150, -k + 553 + 528 = 2*p. Is k a composite number?
True
Suppose -o + 4*o + 27 = 0. Let i = 13 + o. Is ((-8)/(-12))/(i/42) a prime number?
True
Let w(m) = -m**2 + 7*m - 4. Let u(s) = -2*s - 12. Let r be u(-9). Let h be w(r). Suppose 5*c - 357 = -2*v + 312, v - h = 0. Is c a prime number?
False
Let n(w) = 3*w + 10 - w**2 - 12*w - 4*w**2 - 6*w**2 - w**3. Let l be n(-10). Suppose a + 3*a - 268 = l. Is a a composite number?
False
Let i be ((-18)/6)/(0 + -1). Suppose 172 = i*g - 95. Is g prime?
True
Suppose 477 = 4*z + 33. Let p = 7 + -9. Is z + (2 - p)/2 composite?
False
Let t = -14 - -10. Let o = -4 - t. Suppose -3*n = -5*j + 104, -j + 31 = -o*n - 4*n. Is j composite?
False
Let h(v) = 177*v + 2. Let y be h(4). Suppose -2*c + y = 5*t - c, 5*c = 5*t - 740. Is t composite?
True
Suppose -3 = -4*j + 89. Suppose 4*n - j = -7. Suppose 0*m = n*p - 2*m - 44, 4*m - 16 = 0. Is p a composite number?
False
Suppose -3*u = -4*u - 5. Let z = u - -24. Is z composite?
False
Let n(x) = x**3 + 4*x**2 - x - 1. Let b be n(-4). Let o(c) = -2 + 9 + c**b + 5*c**2 + 3*c**2. Is o(-8) a composite number?
False
Let b = 6 + -2. Suppose f + 669 = b*f. Is f prime?
True
Let x be -2*(-238 + 0 + 2). Suppose g + x = 5*g. 