 0 + (-20)/(-5) - -4413 a prime number?
False
Suppose -b + 31865 = 4*b. Suppose f + f = 3*g + b, 6393 = 2*f + g. Suppose q - 4*q - f = -4*u, 0 = -u - 5*q + 787. Is u composite?
False
Let t be (-3 + 261)*(0 - -1). Let g = t - -355. Is g a composite number?
False
Let a = -251 + 707. Suppose -2*c + a = -2*d, 0 = -5*c + d + d + 1125. Is c a prime number?
True
Let d be (-1 - -3)/(-2) + -3 + 16. Suppose -2554 = -d*a + 10*a. Is a prime?
True
Let m = -272 + 775. Is m composite?
False
Suppose -5*o = -2*o - 2988. Let w = 1483 - o. Is w composite?
False
Let o be (4/(-10))/((-14)/(-140)). Let k(r) = -r**3 - 7*r - 1. Is k(o) a prime number?
False
Let g be ((-12)/(-6))/((-2)/(-2)). Suppose -g*s = -2*y - 3*s + 3, -5*y - 12 = -4*s. Suppose 2*v - 18 = -y. Is v a composite number?
True
Suppose 2*j + 2*q - 3*q - 454 = 0, -5*q + 908 = 4*j. Let o be (224/(-2))/(-2) + 1. Suppose -5*u + j = o. Is u composite?
True
Let m be ((-1)/(-2) + (3 - 3))*5326. Suppose -4*d + m = -a, -3*a + a + 2678 = 4*d. Is d a prime number?
False
Let o = 18259 + -7190. Is o prime?
True
Let k(z) = 2*z**3 + 4. Let n be k(-2). Is (n/4)/3*-953 a prime number?
True
Let k = -14 + 8. Let d be 46/k + (-16)/(-24). Let j(n) = -8*n + 3. Is j(d) a composite number?
False
Let i(s) = 9433*s - 125. Is i(2) a composite number?
True
Let h(k) be the third derivative of -49*k**4/24 + k**3/2 + 29*k**2. Is h(-10) a composite number?
True
Let r = 347 + -157. Let i = 377 - r. Is i prime?
False
Let p be -9 - -18 - (1 + 2). Let q(i) = 12*i**2 + 5*i - 15. Is q(p) a prime number?
False
Let a = -39 - -42. Suppose 4*p = -q - 1522, 5*p + 2888 = -5*q + 993. Is p/6*(1 - a) composite?
False
Suppose 0 = -11*z + 6501 + 176506. Is z a prime number?
False
Suppose -3*n = -7*j + 11*j - 634, 4*j + 4*n = 636. Is j prime?
True
Let q = -41 - -46. Let a(g) = 20*g**2 - 6*g - 4. Is a(q) a composite number?
True
Suppose 2*f + 3*r = -0*r + 12, -r = 2*f - 4. Suppose f*w + 268 = 2*w. Is w a prime number?
False
Suppose 0 = z, 0 = -4*w + 3*w - 2*z + 4989. Is w a prime number?
False
Let w = -1267 - -375. Let h = -259 - w. Is h a prime number?
False
Suppose -688804 = 20*w - 3379104. Is w a composite number?
True
Let p(u) = -1641*u**3 + u**2 - u. Is p(-1) prime?
False
Let g(f) = -76*f**3 - 10*f**2 - 28*f + 19. Is g(-5) a composite number?
True
Suppose -922146 = -50*v + 517004. Is v prime?
False
Suppose 0 = -2*p + r + 19, -2*p - 53 = -6*p + 5*r. Suppose d + 5 - p = 0. Suppose -t = -d*t + 121. Is t composite?
True
Suppose 0 = 2*o + 3*m + 20, -m + 2*m = -3*o - 16. Let y(a) = -88*a + 15. Is y(o) prime?
True
Suppose -3*d + 13268 = 4940. Let o = d - 1241. Is o prime?
False
Let b(f) = f**2 - 7*f + 13. Let h be b(5). Suppose -h*n + 36 = 3*l, -2*l + 4*l = -n + 25. Is -3*1 + 1040/l prime?
False
Let c(m) = -18*m**3 + 5*m**2 - 6*m - 10. Let g be ((-4)/4)/((-2)/(-10)). Is c(g) prime?
False
Let x(n) = -n + 4. Let m be x(0). Suppose 0*i - d + 140 = m*i, 22 = i - 3*d. Is i composite?
True
Let m(o) = -13*o + o**2 - 10 + 2*o**2 + 19*o. Let s be m(11). Suppose -s = -26*t + 25*t. Is t composite?
False
Suppose -5*t + 2765 = 4*m, -1 = 2*m + 9. Suppose -16 = -4*j, -4*z - 17 = -5*z - 3*j. Suppose -z*k + t = -4*k. Is k composite?
False
Suppose -3*u - g + 284 = 0, -2*u = g + g - 196. Suppose 0 = -5*p - 0*z + 3*z - 215, 2*z + 10 = 0. Let j = u - p. Is j composite?
False
Let j = -23 + 23. Suppose 5*f - f = -3*m + 493, 3*m + 15 = j. Is f a composite number?
False
Suppose 6*i + 90 - 72 = 0. Suppose 5*x = -0*x + 90. Let g = x + i. Is g prime?
False
Suppose 1349 = v + 232. Is v composite?
False
Suppose -16 = 4*x + 1304. Let t = -79 - x. Is t a prime number?
True
Let d = 23840 + -12489. Is d a prime number?
True
Is (-240813)/(-48) + 9/144 prime?
False
Suppose -39*c + 44*c - 43170 = 0. Suppose 4*v = -2*v + c. Is v prime?
True
Suppose -28*k - 508 = -32*k. Is k a composite number?
False
Let g = 3 + 118. Let y be g - (1/(-1) - -2). Suppose 2*d - y = -28. Is d prime?
False
Suppose -3*j + 2304 + 6525 = 0. Suppose 5*b = 4*v - 3531, 281 = -3*v + b + j. Is v prime?
False
Suppose 3*n + 117 = 462. Is n composite?
True
Suppose -4*a - 253 = -a + 4*o, 5*o = -20. Let d = 1035 - a. Is d a prime number?
False
Let a = -20 - -32. Suppose 0 = 7*i - 9*i + a. Is i prime?
False
Suppose -5*h + 2*i - 3*i = 9, -h + 4*i - 6 = 0. Let d be 1*(-2)/(h/3). Is (174/1)/d + -3 prime?
False
Suppose 14 - 2 = -c. Is (8/c)/(2/3) + 558 a prime number?
True
Let k(h) = h + 8. Let i be k(0). Suppose -i*w - w + 6381 = 0. Is w composite?
False
Let t = -36 + 21. Is 687*(-5)/t - -4 a composite number?
False
Let q(g) = 20*g**2 + 13*g - 20. Is q(-13) prime?
True
Suppose -3*c - 2*u = -12583, 2*c + u = -2*c + 16784. Is c composite?
True
Suppose n - x - 2888 = 0, -x = -6 + 4. Let k = 4527 - n. Is k composite?
False
Let n = -1501 - -2456. Is n a composite number?
True
Let s = -579 - -866. Suppose v + 2716 = 6*v + y, v = -5*y + 524. Let j = v - s. Is j composite?
False
Suppose -2*q = -6*b + 3*b + 7, 5*b - 37 = -3*q. Suppose 3*k - 5*k + 36 = q*z, -5*z + 54 = 3*k. Suppose -k*p + 21*p = 2463. Is p a composite number?
False
Let v = -292 + 965. Is v a composite number?
False
Is 7 + (-162)/24 - 11707/(-4) a prime number?
True
Let d be (-1152)/(-126) + 1/(-7). Suppose 4*u = d*u - 10. Suppose -u*j = -5*j + 879. Is j prime?
True
Suppose 0 = -3*v + 4*c - 802 - 333, 4*v + 1525 = 3*c. Let f = v - -1008. Is f composite?
True
Suppose 27 = -5*v - 3. Let u be (9/6)/(v/948). Let f = u - -460. Is f composite?
False
Suppose -5*z - 3*a + a = -43951, -z + 8793 = -a. Is z composite?
True
Let h(t) = 4*t**2 - 482*t**3 - 3*t**2 + 483*t**3 + 1 - 6*t. Let b(y) = -y**3 + 5*y**2 + 8*y - 7. Let a be b(6). Is h(a) a prime number?
False
Suppose 9*t - 7*t = 13198. Is t prime?
True
Suppose -m = q - 47, 0 = 2*q - q - 4. Suppose 0 = 4*o + 2*v - 673 - m, v = 0. Is o a prime number?
True
Let n be 120/48*8/10. Suppose n*d = -3*a + 25, -4*d + 46 = 4*a + 10. Is (a + -5)/((-6)/(-5403)) a composite number?
False
Let i(n) = -n**3 - 8*n**2 + 2*n + 18. Let y be i(-8). Suppose y*c - 356 - 146 = 0. Is c a composite number?
False
Suppose -2*g + 1018 = 2*w, -4*g = -3*w + 1663 - 108. Suppose -6*u + w = -273. Is u a prime number?
True
Let q(i) = 7*i + 4. Let a be q(2). Let g = 17 - a. Is (-87)/6*(g + -13) a composite number?
True
Let u be (1 - -23)*1/(-2). Let n = -9 - u. Suppose -n*r + 1182 - 361 = 5*j, 4*j - 1084 = -4*r. Is r composite?
True
Let h = 54253 + -36740. Is h composite?
True
Suppose 7*v - 23749 = 646. Let l = 5154 - v. Is l a prime number?
True
Let k(g) be the first derivative of 31*g**4/4 + 2*g**3/3 + 3*g**2/2 + 7*g - 4. Is k(3) composite?
True
Suppose 2*y - 5*g = 4*y + 70, 2*y + 70 = -2*g. Is (-14)/y*(-1490)/(-4) a prime number?
True
Suppose 4*v + u + u - 1448 = 0, v = u + 356. Let m = -137 + v. Is m a prime number?
True
Let c(w) = -2*w + 3. Let g be c(3). Let i be 0*(-1 - 3 - g). Suppose i = 2*x - 3*b - 1007, 4*x - 2005 = 4*b - b. Is x prime?
True
Let v = 95 + -6. Suppose -w + 16 = -4*g, 2*g - 3*g - 4 = w. Suppose v - 323 = -2*n + 5*o, -3*o + 12 = w. Is n composite?
False
Let z(m) = 5*m - 9. Let c be z(4). Is (c*2)/((-10)/(-355)) prime?
False
Let k = 29 + -25. Suppose -k*y - 586 = -6*y. Is y composite?
False
Let w(n) = -n**3 + 4*n**2 + 6*n - 3. Let a(j) = 2*j**2 + 3*j - 4. Let x be a(-3). Let z be w(x). Suppose 7*l = z*l + 955. Is l prime?
True
Let y(d) = -d**3 + 6*d**2 - 4*d - 5. Let j be y(5). Suppose 461 = 5*l - 4*s, 3*s - 2*s + 4 = j. Is l a composite number?
False
Let c(g) = g**2 + 6*g - 5. Let z be c(-7). Suppose -5*q - 2644 = 2*n, -2*q - 2111 = z*q + 3*n. Is ((-2)/4)/(5/q) composite?
False
Is (-8 - -20588)/4 - -8 composite?
False
Suppose -5*t + 68 + 37 = 0. Let l be (2 - t/15)*5. Is (5 - l) + 0 - -345 composite?
False
Suppose 3*p - 891 = -8*p. Suppose y = 5*w + 358, 5*w + p = 3*y - 1023. Is y prime?
True
Let r(l) = 43*l + 46723. Is r(0) a composite number?
False
Let b be 114/(-30) - -4 - (-6524)/5. Let p = b + -604. Is p a composite number?
False
Let c(w) = 49*w - 17. Let r be c(4). Suppose -3*u - r = -4*u. Is u prime?
True
Let u(l) = 2*l**2 + 151*l - 266. Is u(61) prime?
False
Let u be -4 + 3 + 0 - -2. Suppose -5*o - 2*m = -101 - 36, u = m. Is (-1)/(-2) + o/2 a prime number?
False
Let b(v) = 8*v**2 - 13*v**2 + 4*v - v**3 + 2*v + 5. Let r be b(-6). Supp