= a + 81, 4*b + 0*a + 5*a = 99. Suppose -m + 4 + b = 0. Is m a composite number?
True
Suppose 15 = 5*o - 0. Is (2/o)/(-7 + 52989/7569) a composite number?
True
Suppose -25*c + 6523 + 8052 = 0. Is c a composite number?
True
Let d(p) = -1184*p - 11. Let v be d(-3). Suppose -4*c + v = 3*a, 4*a = 4*c - a - 3581. Is c composite?
True
Suppose 3515 + 34590 = 5*f. Is f a prime number?
True
Let v be (-2)/(-2) + (7 - 5). Suppose 0 = v*c + 5*l - 1384, 0*c + 4*c - 1827 = -3*l. Is c a composite number?
True
Suppose 3*z + 0*z = 0, 5*k - 5*z - 7795 = 0. Is k a composite number?
False
Let h be (-417*(-5)/15)/(0 - -1). Suppose -1 = 2*k - 7. Suppose -2*o = 2*x + o - 242, x = k*o + h. Is x a prime number?
True
Let f(z) = -z**3 - 11*z**2 - 1. Let i be f(-11). Is (3 + i + 1)/((-12)/(-852)) prime?
False
Suppose 0 = -3*p + 4 - 1. Is ((-200)/(-1) - (1 - 0))/p a composite number?
False
Suppose -g = 1, -10 = -5*c - 5*g - 45. Let f(j) be the second derivative of -2*j**3 + 5*j**2 - 2*j - 45. Is f(c) a prime number?
False
Is 15/(-10)*(-156758)/21 prime?
True
Suppose -24148 = -12*b - 4504. Is b a composite number?
False
Is (5/(-100)*-10)/(1/12014) a prime number?
True
Let w(p) = -6*p**3 + p**2 - p. Let k be w(1). Is 1142/4*k/(-3)*1 a composite number?
False
Let l = 4051 + -438. Is l a composite number?
False
Let m = 19340 - 8499. Is m a prime number?
False
Suppose 0 = -5*k + 673 - 3828. Let c = 1886 + k. Is c prime?
False
Is (-412390)/(-25) + 75/(-125) a composite number?
True
Let t = -23 + 27. Let z be (68 - (-8)/t)/1. Let y = z - 37. Is y composite?
True
Let t = -47 + 50. Suppose 3*n - 3*s - 81 = 0, t*s = 4*n - 0*s - 112. Is n prime?
True
Suppose -41330 = -5*j - 5*x, -2*j + 5*x + 4750 + 11761 = 0. Is j composite?
False
Suppose -6*c = -6955 + 1837. Is c composite?
False
Let c be (-30)/(-9) - 6/(-9). Suppose -4*x - 694 = c*j - 4746, -3*j + 2030 = 2*x. Is x prime?
True
Let l(f) = f**2 + 15*f + 8. Let d be l(-13). Is -3*2*4443/d a composite number?
False
Let u(y) = -24*y**3 - 7*y**2 + 19*y + 13. Is u(-7) a composite number?
True
Suppose -45105 = -22*c + 7*c. Is c composite?
True
Let f be -1 + 0/(-1) + 1. Suppose f = -4*n - 2*s + 1294, -4*n - 971 = -7*n - 2*s. Is n composite?
True
Let n(i) = i**2 - 9*i - 11. Let m be n(9). Let u = 19 + m. Let b = u - -6. Is b a composite number?
True
Suppose -3*s + 5*i - 54 = 0, -6*s - 90 = -s - 3*i. Let m be ((-581)/(-21))/((-1)/s). Suppose -n + m = 2*n. Is n a prime number?
False
Suppose -r + 6*o = 2*o + 20, 0 = 5*r - 5*o + 25. Suppose r = -3*u + 7*u - 356. Is u prime?
True
Let j = -3 - 0. Let t = j - -6. Suppose 558 = t*s - 327. Is s prime?
False
Suppose 4*a - o = 14, 0 = -3*a + o + 11. Let z be (-1970)/(-4) + (-6)/(-4). Suppose -z = -a*y + 517. Is y a composite number?
False
Let y be 8 + -1*(-2 + 12). Let p(b) = 177*b**2 + 2*b. Let f be p(-2). Is (y - f)*(-2)/4 composite?
False
Suppose -2*b - v + 2829 = 0, -5*v - 1378 - 1481 = -2*b. Is b a composite number?
True
Let w be (-3)/12 + (-1149)/12. Suppose -4*a = -0*a + 232. Let o = a - w. Is o a composite number?
True
Suppose 0 = 13*c - 12*c - 2. Suppose -2*z - 3*d = c, -13 = -z + 2*d - 0. Suppose z*t - 1125 = -g, -3*t + 249 - 2525 = -2*g. Is g a composite number?
True
Let x be (-310)/6 - 16/12. Let w = x + 1692. Is w a composite number?
True
Suppose 2*a + 42 = 2*q - 2*a, 4*a = q - 29. Let z(p) = p**3 - 13*p**2 + 7*p - 12. Is z(q) a composite number?
False
Suppose 4*a - 3*s - 6109 = 0, -1551 = -a - 0*s - 4*s. Is a composite?
False
Let r(k) = 704*k + 479. Is r(25) composite?
True
Suppose -2*l - 2*m + 8 = 0, -5*l = -4*m + 10 - 39. Let x(z) = 20*z**2 - 3*z. Is x(l) composite?
True
Let d(g) = g**2 + 9*g - 7. Let b be d(-9). Let c(t) = -t**3 - 3*t**2 + 9*t + 16. Is c(b) composite?
False
Let v be (2 + -1)/((-4)/20). Let s be v/(10/(-4)) - 4. Is s - 1 - -3 - -127 prime?
True
Let l(y) = 101*y**3 + 7*y**2 + 7*y - 6. Is l(4) prime?
False
Suppose -2*t + 174 + 569 = b, -b = 4*t - 1483. Suppose -2*y + t = -2*a, y - 6*y + 3*a + 919 = 0. Let z = y + 17. Is z a composite number?
False
Suppose -m + 1619 = -2*o + 7866, -3*o + 9388 = 2*m. Suppose -12*b = -6*b - o. Is b composite?
False
Let v be (-1038)/4*(-1 - -7). Let i = -426 - v. Let a = -580 + i. Is a composite?
True
Let r(u) = 4*u. Let q be r(0). Suppose 2*p - p + 4*c - 479 = 0, q = 3*p + 2*c - 1467. Is p prime?
True
Let c(i) = -i - 8. Let j(u) = 4*u + 25. Let l(n) = 7*c(n) + 2*j(n). Let h be l(6). Suppose 4*k - 333 = 3*s - h, 0 = -3*k - 2*s + 271. Is k a composite number?
True
Let h = -56138 - -79999. Is h a prime number?
False
Let q(i) = 2*i**2 - 3*i - 4. Let j be q(3). Is 1343*(5 + 1 - j) a composite number?
True
Let k be 3*(-78)/27*27/(-6). Suppose -31*o - 18296 = -k*o. Is o prime?
True
Let j(h) = h**2 - 12*h + 35. Let y be j(5). Suppose 10*v - 7*v - 1761 = y. Is v composite?
False
Suppose 40*b + 1 = 41*b. Let g(d) = 2*d**3 - 2*d**2 + 2. Let u be g(-2). Is (-2)/b*649/u a composite number?
False
Let l(t) = 6*t**3 - t**2 + 1. Let p be l(-1). Is (-572)/(-3) - p/18 composite?
False
Let w(h) = 364*h - 353. Is w(16) prime?
True
Is (-3006)/(-4) + 12/(-24) a prime number?
True
Let k(f) = f**3 - 10*f**2 + 18*f - 10. Let p be k(8). Suppose p = 2*i, i - 4*i - 670 = -n. Is n a composite number?
True
Suppose -y - 1 = -3. Suppose -y*n + 50 = -34. Let q = 175 - n. Is q a prime number?
False
Let m = -1452 + 9133. Is m a prime number?
True
Let i be (-1)/3*96/8. Let g(y) = -65*y - 1. Let s(m) = 260*m + 4. Let n(v) = 9*g(v) + 2*s(v). Is n(i) composite?
True
Let k = 397 + 497. Suppose 5*i - k = -i. Is i composite?
False
Suppose -4*i = -16, 0*j - 5*j + i - 4 = 0. Suppose 2*g + 1 = 2*x + x, j = 5*g - 5*x + 10. Let r = g + 12. Is r a prime number?
True
Suppose 0 = 3*b - 310 + 103. Suppose b + 1729 = 2*s. Is s a composite number?
True
Let b = -2357 - -4560. Is b a composite number?
False
Let m be (-8)/2 + -432 + 3. Let c = -166 - m. Is c composite?
True
Is 22497*(4 + (3 - 64/12)) a composite number?
True
Let v(r) be the second derivative of 32*r**3/3 + 9*r**2/2 - r. Is v(5) prime?
False
Let z(c) = -c**3 + 14*c**2 + 12*c - 22. Let l be z(19). Let k = -544 - l. Is k composite?
True
Is (-14)/8 - 149970/(-24) composite?
False
Suppose -t + 2*t = -15. Let q be (20/t)/(6/(-9)). Suppose -w + 5*v + q = 0, 4*w - 121 + 45 = 3*v. Is w prime?
False
Is 2*1 + 41 + 8330 a prime number?
False
Let u(z) = -3*z**3 - z. Suppose 4*x = -5*w + 6, -4 = -2*x - 4*w + w. Let y be u(x). Suppose -3*m = -y*s - 5*m + 70, -92 = -5*s - m. Is s composite?
False
Let m = 912 - 161. Is m a prime number?
True
Let p = -4839 + 33001. Is p a composite number?
True
Let h = -27716 - -14416. Let o = h + 25487. Is o a composite number?
True
Let g be (-50)/(-18) - 16/(-72). Suppose -q + 5*c = 57, 4*q + c = g*c - 138. Let d = q - -813. Is d a prime number?
False
Let w = 2166 + 7433. Is w composite?
True
Let i = 9974 + -739. Is (i/25)/(2/10) composite?
False
Let z(a) = 2*a**3 + a**2 - a + 1. Let g be z(1). Suppose 2 = g*f - 10. Let l(x) = 2*x**2 + x + 3. Is l(f) prime?
False
Is 32023/(-3)*(-228)/76 a composite number?
True
Suppose 0 = 2*h + 10, -6*l + 9*l = -3*h + 39708. Is l prime?
True
Suppose 0 = -4*y + 3*v + 34, 3*y - 3*v - 14 = 10. Let k(x) = 2*x**2 + 2*x - 11. Is k(y) a prime number?
False
Suppose m = -3*n + 8, -n = 2*m - 0*m + 4. Suppose -n*h + 0*h + 13628 = 0. Suppose -z + 2*v + 685 = 0, -z + 4*v = 4*z - h. Is z composite?
True
Let b(x) = -4*x - 7 + 14*x**2 - 22*x**2 + 15*x**2 + 3*x. Let k(l) = -l**2 - l + 2. Let v be k(-3). Is b(v) prime?
True
Let i = 8219 - 2412. Is i composite?
False
Suppose 5*z - 11*z = -12. Suppose -2*f + 620 + 67 = -5*b, -f = z*b - 339. Is f composite?
True
Let a(l) = 4*l - 8. Let j be a(2). Suppose j*n - 4*n - 4727 = -5*v, -3*n + 2820 = 3*v. Is v prime?
False
Let i = -1118 + 179. Let v = i - -3508. Is v a prime number?
False
Let l(x) = x**3 - 3*x**2 + 3*x - 1. Let d be l(3). Let r be d*-1*(-30)/(-40). Let y(c) = -23*c + 7. Is y(r) a prime number?
False
Let t(z) = z**3 + 6*z**2 + 5*z - 5. Let b be t(-5). Let r be (-4 + 3 - b)/(-1). Is 2 + 4 + r - -147 prime?
True
Suppose b - 2675 = -5*d, d - 4*d + 1605 = 5*b. Is d a prime number?
False
Suppose -3*v = -5*y - 56, -33 = -v + 5*y - 1. Let p = -2 - -3. Is p + v*(1 + 3) a composite number?
True
Suppose -4*p = -6*p + 2194. Suppose 4*i - 607 = p. 