 7 + -7 + 7 prime?
False
Let h = 576 - 373. Suppose -198 = 2*o - 10. Let d = h + o. Is d composite?
False
Suppose -84 = -k - k. Let r be 1*(k + -1 - 4). Suppose 3*b = -3*v + 96, -b + 5*v + r = v. Is b a prime number?
False
Suppose -6*u = 19651 - 4195. Let j = u + 4443. Is j a composite number?
False
Let a = 7089 - 2600. Is a a composite number?
True
Suppose 6*c - 6047 = 3*c + 2*y, -c + 2009 = -4*y. Is c a composite number?
False
Suppose -4*v + j + 1892 + 314 = 0, -3*v - 3*j + 1662 = 0. Suppose 244 + v = 4*i. Is i prime?
True
Let r(u) = 741*u**2 + 3*u + 5. Is r(-7) prime?
True
Let m(h) = 54*h**2 - 8*h - 32. Let n be m(-11). Is 1/((-5)/n*-2) composite?
False
Let u = 33558 - 7201. Is u prime?
True
Suppose q = -4*o + 3*q + 19504, -4*o + 4*q + 19512 = 0. Suppose -b - u + 3247 = b, -5*u + o = 3*b. Is b a composite number?
True
Let g(p) be the first derivative of 9*p**2 + p - 59. Suppose 0 = -a - 0 + 7. Is g(a) prime?
True
Let x(y) = -y**3 + 5*y**2 + 10*y - 15. Let r be x(6). Suppose -5*j + 29 - r = 0. Suppose -2332 = -j*t - 0*t. Is t a prime number?
False
Let p = 266 - -7199. Is p a composite number?
True
Let q be (-2)/(-14) - 123/(-21). Suppose -2*r = -q - 2. Suppose -231 = -r*j - k, -4*k = -4*j - k + 235. Is j a composite number?
True
Suppose 7*m - 263 = 1886. Is m prime?
True
Suppose -4*x + 414341 = -3*h, -15*h - 207181 = -2*x - 10*h. Is x prime?
True
Suppose 0 = 12*q + 6*q + 26334. Let j = -660 - q. Is j composite?
True
Suppose -127*x = -768542 - 1731961. Is x composite?
True
Let b(g) = -g**2 + 2*g - 3. Let y be b(6). Let k be 2/(-9) - 5811/y. Suppose 2*d = d + k. Is d a composite number?
True
Suppose -2*v = -80 - 146. Suppose -v - 141 = -2*d. Is d a prime number?
True
Suppose t - 6 = 5*x, t + 3*x - 12 = 10. Let l = t - -153. Is l a composite number?
True
Suppose 66*i = 62*i + 287588. Is i a prime number?
False
Suppose -5*n - 30760 = -121715. Is n a prime number?
True
Suppose -5*k - 5 - 5 = 0. Let a be ((-1406)/6)/(k/(-6)). Let v = a - -1010. Is v a prime number?
True
Let i(t) be the third derivative of -t**6/120 - t**5/30 + t**4/12 + 3*t**2. Let v be i(-3). Suppose -v*u + 5*a + 1156 + 63 = 0, 3*a = -5*u + 2077. Is u prime?
False
Let c(s) = 20*s**3 + 20*s - 31. Is c(8) a prime number?
True
Suppose -11801 - 6436 = -3*s. Is s composite?
False
Let g = 681 - -878. Is 2/(-1) + -2 + g composite?
True
Let w(x) = 6388*x**2 - 2*x + 3. Is w(1) composite?
False
Suppose 7*u - 2*u - 16495 = 0. Is u prime?
True
Suppose 0 = 3*u - 1707 - 1026. Is u prime?
True
Suppose -8*d = 3*d - 53185. Is d composite?
True
Let d(p) = 41*p**2 + 12*p - 37. Is d(6) composite?
False
Let z(k) = -10*k**3 + 7*k**2 + 8*k + 6. Is z(-5) a composite number?
True
Let v be ((-4)/((-32)/(-52)))/((-1)/22). Let t = v + 18. Is t composite?
True
Let k = 690 + 2579. Is k prime?
False
Let i(c) = -59*c**2 + c + 2. Let k be i(-3). Let h = k + 1119. Is h a composite number?
False
Let m(j) = 6*j**2 + 2*j + 3. Let l be (-1 - 0)/((-3)/(-9)). Let u be m(l). Suppose 5*g - 2*f + 56 = 173, -2*g + u = -5*f. Is g a prime number?
True
Suppose 17 = 4*u - 3. Suppose -252 - 1185 = -3*s + 2*p, 2*p + 2395 = u*s. Is s composite?
False
Let z be (-66)/(-55)*10/(-4). Let s = z - -5. Suppose s*r - 152 = 130. Is r a prime number?
False
Suppose -50*z + 61*z - 30547 = 0. Is z a composite number?
False
Suppose g = m - 6684, 0*g = -4*m - 2*g + 26766. Is m a prime number?
True
Suppose -7*o + 5*o + 4810 = 0. Let g be -2*(o/(-2))/5. Let f = g - 324. Is f prime?
True
Let h be (-2)/(-6)*72/12. Suppose -4*a + 4344 = h*a. Let w = a - 366. Is w a prime number?
False
Is ((-82927)/195 - 2/5)*-3 a prime number?
True
Let i(q) = -q**3 + 6*q**2 + 7. Suppose 2*m - 24 = -2*m. Let g be i(m). Let d(f) = 3*f**3 - 9*f**2 - 7. Is d(g) a composite number?
True
Let s = -16811 + 24528. Is s composite?
False
Let p be 111*(16/(-6) + 18/6). Suppose 4*m - 125 + p = 0. Is m a composite number?
True
Let i(k) = 322*k**2 + 38*k + 161. Is i(-4) prime?
False
Suppose -46*f + 25*f = -184695. Is f prime?
False
Is ((-252)/48 + 6)*25796/3 a composite number?
False
Let f(z) = 110*z**2 - z + 2. Let x be f(-2). Let i = -1301 - -1048. Let m = x + i. Is m prime?
True
Let m(x) = 5*x**2 + 5*x - 19. Suppose 10*g + 35 = -35. Is m(g) prime?
True
Let i = -67065 - -98900. Is i a composite number?
True
Suppose -35 = -4*g + 4*s + 1721, -3 = s. Suppose -8*b + 436 + g = 0. Is b prime?
True
Let y(i) = -2105*i - 28. Is y(-3) prime?
True
Suppose -2*v + 4007 = -v. Is v composite?
False
Suppose -4*y - 84*i = -79*i - 18853, -2*y = -3*i - 9443. Is y a composite number?
True
Let j = -160 - -308. Suppose -c - y - 3*y + 143 = 0, -j = -c - 3*y. Is c a prime number?
True
Suppose 288*r - 189740 = 268*r. Is r a composite number?
True
Suppose 0 = -749*h + 761*h - 56532. Is h prime?
False
Let u(v) = -11*v + 14. Let s be u(-30). Let a(w) = w - 2. Let g be a(6). Suppose -4*z - 3*o + g*o = -s, -3*z = -4*o - 245. Is z a composite number?
True
Let d(f) be the first derivative of f**4/4 + 5*f**3 - f**2/2 - 11*f - 6. Let q be d(-15). Suppose 1078 = 5*m - 3*v, q*v + 222 = m + 5*v. Is m composite?
True
Let m be ((-20)/(-25))/(4/10). Let c = 17 - 1. Let y = c - m. Is y a prime number?
False
Suppose 3*t - 4 - 12 = 4*c, -6 = -3*c. Let k(g) = -g**2 + 11*g - 9. Let m be k(t). Suppose -5*w + 40 + m = 0. Is w composite?
False
Let b(w) = -2*w**2 + 2*w - 33. Let g(p) = -3*p**2 + 4*p - 74. Let l(f) = -5*b(f) + 2*g(f). Let y be (-2)/(-6) + (-23)/(-3). Is l(y) a prime number?
True
Let o(h) = 6*h**2 - 13*h + 39. Is o(-14) a composite number?
True
Suppose 22*n + 3877 = j + 19*n, -5*n = 3*j - 11561. Is j a composite number?
True
Let h(u) = -1 - 4*u**2 + 68*u - 2*u**3 - 32*u - 39*u. Suppose 0 = -4*f + 2*w - 8, 3*f + 3*w + w + 17 = 0. Is h(f) prime?
False
Let d = 23 + -7. Suppose 2*i = -d + 210. Is i a composite number?
False
Suppose 0 = 5*d + 4*a - 6, -5*d - 14 = -a. Let l = d + 3. Is 10 - (-2 + l + -2) a prime number?
True
Let z(d) = 2*d. Let v be z(0). Suppose v = -4*m - 10 + 6. Is (1 + m - 1) + 332 a composite number?
False
Suppose 0*r + 2*c - 24 = -4*r, -17 = -r + 5*c. Let p = r + -5. Suppose p*i - 6 - 2 = 0, -2*i - 738 = -2*l. Is l composite?
False
Suppose 3*t - 85*q - 8655 = -87*q, 0 = 4*t + 4*q - 11536. Is t a prime number?
True
Suppose 6*r = 141758 - 47792. Is r a composite number?
False
Suppose 4*x - 4*y = -8, -x - 4*y = x - 26. Is x/1*2/((-30)/(-13415)) a prime number?
True
Suppose 5*b - 25 = 0, -2*i + 25 = 2*b + b. Suppose 5*d + 3*y = -2*y + 9455, -2*y = -i*d + 9469. Is d composite?
True
Let v(m) = 135*m**2 + 17. Is v(10) composite?
True
Let x = -27 + 31. Suppose -x*m = u + m - 3, 4*u - m + 30 = 0. Let s(v) = v**3 + 9*v**2 + 2*v - 1. Is s(u) a composite number?
False
Let o = -51 + 69. Suppose 0 = o*t - 14*t - 388. Is t composite?
False
Let d(z) = -223*z - 21. Let t be d(-9). Suppose 2*h + 194 + 817 = i, 2*i + 5*h = t. Is i a composite number?
True
Let k be 22*(6/4 - (3 - 0)). Is k*81/(-12) + (-2)/(-8) a composite number?
False
Let d(t) = t**3 - 6*t**2 - 6*t - 4. Let m be d(7). Suppose -3*f - 3*k + 573 = 0, 0 = -3*f + 4*k + 197 + 411. Suppose w = -m*w + f. Is w a composite number?
True
Suppose 4*i - v + 3*v = 12, 2*i = -5*v + 14. Suppose -i*h - 508 = -1802. Is h a prime number?
True
Let d be 4/10 + 36/(-15). Let t be d + 4 - 2/(-1). Suppose t*a + 364 = 8*a. Is a a composite number?
True
Suppose 247 = a + 18. Let z = 178 + a. Is z a composite number?
True
Let h be 3/((-18)/(-9) + 38/(-16)). Is h/(4/(-1)) + 157 composite?
True
Suppose 3*g = 5*f + 1667, 5*g + 0*f - 2800 = 4*f. Let b = g + -387. Is b a prime number?
False
Let r(v) = 7*v**2 + 20*v + 311. Is r(29) a composite number?
True
Let v(x) = 70*x**3 - 3*x**2 + 4*x - 5. Let n be v(3). Suppose 8*u + 2*u - n = 0. Is u prime?
False
Let y = 6 - 2. Let k(o) = -o**2 + 20*o - 89. Let p be k(7). Suppose -674 = p*z - y*z. Is z a prime number?
True
Let f = 7 + -5. Let m = f - -2. Suppose -4*u - 3*w + 344 = 0, w - 3*w - 364 = -m*u. Is u a composite number?
False
Suppose -11 = 5*l + 9. Let y = l + 6. Suppose 2*x = -p - 3*p + 642, y*p = -3*x + 327. Is p composite?
True
Suppose -9*q + q = -448. Is (-51052)/(-14) - (-24)/q composite?
True
Suppose -4*i = -2*r - 2600 - 1270, i - 962 = -5*r. Is i a prime number?
True
Suppose -9*d - 6 = -11*d. Suppose -d*w = -2*w + y - 