 12, -3*x + 1254 = -m. Is x a composite number?
True
Let o be (9/15)/(3/45). Suppose -78 = -11*t + o*t. Is t composite?
True
Suppose -26*w + 167638 + 152344 = 0. Is w a composite number?
True
Let n(b) = -3*b**3 + 8*b**2 + 14*b - 1. Let w be n(7). Let o = 379 - w. Is o prime?
True
Let k = 7467 - 3611. Let x = 5453 - k. Is x a composite number?
False
Suppose -15342 = -2*z - 4*x, 4*z + 62*x - 30679 = 59*x. Is z composite?
False
Let b(u) = u**3 - u + 2. Let v be b(0). Let l = -111 + 87. Is (42/l)/(v/(-376)) composite?
True
Is ((-2)/6)/(46/(-991668)) composite?
True
Suppose -4*x - 6156 = -23896. Is x composite?
True
Let t(a) = -2317*a - 67. Is t(-6) composite?
True
Let s = -16 - -36. Suppose -3*m + s + 76 = 0. Let q = 15 + m. Is q prime?
True
Let y(m) = 2*m**2 + 7*m - 14. Suppose 29 = -4*q - 4*r - 3, 0 = -5*r - 10. Let s be 60/(-8)*q/9. Is y(s) a composite number?
False
Let v be -18 + 17 - (1/1 + 235). Let g = 56 - v. Is g a composite number?
False
Suppose -3*l + 3 = -0. Let a(s) = 3*s. Let p be a(l). Suppose t + 5*z - 313 = 0, -3*t + 547 + 320 = -p*z. Is t a composite number?
False
Let g be ((-1)/3)/((-7)/63). Let p be g/6 - 2/4. Suppose 15 = 3*r, -t + p*t = -2*r - 3. Is t composite?
False
Suppose -4*i - 41 = y, -16 = 4*i - y - 3*y. Is 381/i*(1 - 4) composite?
False
Suppose -4*x + 3*a = -a - 41988, 0 = 7*x - 3*a - 73487. Is x a composite number?
False
Suppose 0 = 2*s + 54 - 48. Is s + 3 - (-2 + -3297) composite?
False
Suppose -10*c = -15757 - 42393. Suppose 1163 = t - 2*a, 3*t + c = 8*t + 4*a. Is t composite?
False
Let p(k) = -559*k**3 + 2*k + 2. Let z be p(-1). Let f = 232 + z. Is f composite?
True
Let y(l) = 6*l + 21. Let r be y(-9). Let f be 12/(-10)*1870/r. Let a = f + 6. Is a composite?
True
Let x(n) = n**3 + 6*n**2 - 2*n - 9. Let y be (4 - 22/(-2)) + -4. Let f = y + -17. Is x(f) a composite number?
False
Suppose -2*b - v + 4913 = b, b - 1641 = -2*v. Is b a prime number?
True
Let t be (-11 - -3)*(-3 + 45/12). Is (-3573)/t*(-1)/(12/(-8)) a composite number?
False
Let q(h) = 124*h**2 + 3*h + 7. Let s(u) = u**2 + 4*u - 8. Let l be s(-6). Is q(l) a prime number?
True
Let z = -60 + 120. Is (3 + z/(-9))/(3/(-153)) composite?
True
Let t = 8 - 9. Let z be t/2 - 8390/(-20). Suppose o = -4*h + 312, -4*o - 95 = 4*h - z. Is h composite?
True
Let n(w) = 123*w + 110. Is n(29) prime?
True
Let r = -21 + -52. Let z = r - 48. Let h = z - -282. Is h composite?
True
Suppose 2*g - 136 + 1860 = 2*y, -5*y = 5*g - 4350. Suppose 882 = 2*z - 5*n, n + 2*n = -2*z + y. Let k = 977 - z. Is k a composite number?
False
Suppose 13*j - 114 = 6724. Is 5/(9 - -1)*j composite?
False
Let z = -34365 + 49456. Is z a prime number?
True
Let i be (6 - -1)*4/14. Suppose -y - 2 - i = 0, 4*c = 3*y + 1432. Is c prime?
False
Let x = 3 - 3. Let j(k) = -k**3 + 13*k**2 - 9*k - 34. Let p be j(12). Suppose x = -u, -p*i - 3*u + 434 = u. Is i prime?
False
Let i(d) = -10*d + 7. Let w be i(4). Let y be 44/w*(-30)/(-4). Let h(c) = -c**3 - 9*c**2 - 8*c + 7. Is h(y) a composite number?
True
Suppose 3*j - 5*t - 298456 + 93403 = 0, -2*t + 341755 = 5*j. Is j composite?
False
Suppose 4*l = 22987 - 2243. Suppose 2*d - 7790 = -4*h, -4*h + l + 2625 = -5*d. Is h a composite number?
False
Let s be 3/4 + (-3675)/(-12). Suppose -4*m = 3*l + s, 5*l - 4*m + 535 = m. Is (l - 1)/(2 - 3) a composite number?
True
Is (-3 - -42156)*((-16)/6 + 3) prime?
True
Let l(w) = w**2 - 1. Let v be l(1). Let d be v + -4 + 5 - -5. Suppose 3*n - 971 = -2*p, -d*n = -4*n + 2. Is p a composite number?
False
Let u = -10442 + 33211. Is u a prime number?
True
Suppose 2*f = -0*f + 16. Let m = f + -8. Suppose 3*c = m, d - c + 0*c = 247. Is d a prime number?
False
Suppose 2*b + 4 = 5*r, -5*b + 13 = -2*r + 2. Suppose -4*z = 4*x - 3456, 1573 = r*x + 4*z - 157. Is x prime?
True
Let t(i) = 2513*i**2 - 6*i + 2. Is t(-1) composite?
False
Suppose -4*r = 5*i + 91, -9 = -i - 2*r - 32. Is i*-2*1268/24 prime?
False
Let q be 68/(-18) - 14/63. Let h be (-9)/q*8/6. Suppose h*n = 169 - 55. Is n composite?
True
Let b = -6 + -3. Let m be (b + 10)*5*23. Suppose 0*l + l - 3*r - m = 0, 543 = 5*l + r. Is l a composite number?
False
Let w(v) = -335*v + 4. Let g be w(-2). Suppose -4*t = -2*t - g. Is t composite?
False
Let i be ((-3012)/6)/((-6)/(-3)). Let a = 572 + i. Is a a prime number?
False
Suppose -3*d + 5*d = -44. Let y = d + 42. Suppose -3*h + 551 = y. Is h prime?
False
Let n be 1538/(-4) - 8/16. Let b = -255 - n. Suppose y + y = b. Is y a composite number?
True
Let c(j) = 4*j**2 - 2*j - 1. Let h(f) = -f**3 - 8*f**2 - 8*f - 8. Let t be h(-7). Let w be c(t). Suppose 0 = -w*o + 985 - 350. Is o prime?
True
Is (-705)/(-6)*((-1592)/5)/(-4) prime?
False
Let t = 4846 - 1481. Is t a prime number?
False
Let n be (-15 - -149)/(-1 - 0). Is (n/(-8))/((-2)/(-152)) prime?
False
Let c be -4 + (3 - -3) - 11. Let a = c + 7. Let f(y) = -96*y - 5. Is f(a) a composite number?
True
Let n(h) be the third derivative of 92*h**5/15 - h**3/6 + 3*h**2. Let w be n(2). Suppose 0 = -2*j + 7*j - 2*m - w, -3*m = -3*j + 888. Is j prime?
True
Suppose 3*d + h - 2726 = -0*h, 902 = d - 3*h. Suppose j + 4*m = -451, -2*m = -2*j + 4*j + d. Let f = -192 - j. Is f a composite number?
False
Let f(d) = -d**3 - 12*d**2 - 14*d + 11. Let b be 2/(-3) - (-146)/3. Suppose 0*k + b = -4*k. Is f(k) composite?
False
Let w(u) = -3*u + 5*u - 5*u + 12. Let o be w(-13). Suppose x + l = o, -3*l - 55 = 2*x - 162. Is x a prime number?
False
Let v(t) = 193*t**2 + 2*t + 3. Let i be (1/(-3))/((-10)/(-60)). Is v(i) prime?
False
Let q(j) be the second derivative of -41*j**3/3 + 3*j**2/2 - 10*j. Suppose -l + 5 = -2*l. Is q(l) prime?
False
Let f(m) = 13*m**2 - 3*m + 7. Let i = -61 - -55. Is f(i) composite?
True
Let d be ((-12)/21)/((-4)/28). Suppose 2*m + 3*g = 191, 5*g = -0*m + d*m - 393. Is m a composite number?
False
Let q(r) = 1 + 0*r + 7*r**2 - 3*r + 6*r**2. Is q(-4) a composite number?
True
Let k(v) = -13 - 2*v**2 + 8*v - 19 + v**3 + 2 - 2*v**2. Is k(9) a composite number?
True
Let f(r) = 10*r**2 + 18*r**2 + 4 - 5*r - 2*r**2. Is f(3) a prime number?
True
Let c = 2279 - -3954. Is c a composite number?
True
Suppose t - 4*t = -12. Let h(z) = 11*z**2 - 2*z - 2. Is h(t) composite?
True
Let g(c) = -c - 3. Let k be g(-13). Suppose -k*y = 3837 - 9487. Is y a composite number?
True
Is 51918/14 + 4/7 prime?
True
Let p(f) = -9*f**3 + 32*f**3 - 2*f**2 + 34*f**3 + f + 3*f**2 - 1. Suppose -c + 3*c - 2 = 0. Is p(c) a composite number?
True
Suppose 2*g = -4*z - 38 - 4, -5*z - 2*g = 51. Let j = 14 + z. Suppose -5*v + c - 3*c + 163 = 0, 0 = j*c + 5. Is v a prime number?
False
Let n(c) = c**2 + 6*c + 4. Let q be n(3). Let m = -28 + q. Is m prime?
True
Let d(n) = 1867*n**2 - 2*n + 1. Let f be d(-1). Suppose -4*t = 12, 0 = 4*v + 5*t - 11867 + f. Is v composite?
False
Is (8/32)/(5/157420) prime?
False
Let v(n) = 6*n - 3. Let q be v(3). Suppose -4279 = 4*a - q*a. Is a prime?
True
Let n(s) = 233*s**3 - 3*s**2 + 3. Let t be n(2). Let g = 112 - 24. Suppose -5*l + 3*o = -t, 0 = 3*l - 2*o - g - 1025. Is l a prime number?
False
Let o = 1759 + -7329. Is (36/30)/((-4)/o) composite?
True
Suppose 8*p = 2*p + 30. Suppose -3*b + 3*v = -2495 + 38, -4*b + p*v = -3274. Is b a composite number?
False
Suppose -4*d + 5*f = -7 - 21, 5*f = -20. Suppose d*j - 1346 = -220. Is j composite?
False
Suppose 0 = -0*t - 4*t - 5*i + 2, -2*t - 2 = i. Is 5 + 11 - (6 + t - 1) a composite number?
False
Let h be 1/3 - 1/3. Let g be (-2)/(-15) - 65/(-75). Is 214/g - (-1 + h) a prime number?
False
Is -1*(-7 + 3)*71384/32 a composite number?
False
Suppose 2*y = -0*y - 12. Let j(i) = -35*i + 1. Is j(y) a composite number?
False
Suppose -12*y + 11207 = -4849. Let w = y + -757. Is w prime?
False
Is 0*(-3)/(-24)*-2 - -67 a prime number?
True
Let m = 9 + 2. Suppose -3*n = 25 + m. Is (-3)/(n/1172*1) composite?
False
Suppose -t = -1 - 2, -5*t = -2*c + 22571. Is c composite?
True
Suppose 3*f - 3577 = 4*d - 29904, -2*f = -2*d + 13164. Is d composite?
False
Suppose 14*t - 5*t = -72. Let r(x) = 4*x**2 + 8*x + 31. Is r(t) a prime number?
True
Let k(p) = 556*p - 25. Is k(2) prime?
True
Let f = 177 - 174. Let m be (4/6)/(4/4206). Suppose -f*w = -2*w - m. Is w a composite number?
False
Suppose -166 - 466 = t. Suppose -6*z + 51 - 15 = 0. Is z/(-4) + t/(-16) a composite number?
True
Let b(n