t i = t - -194. Is i prime?
True
Suppose -31*b = -36*b + 20, -x + 2*b + 6939 = 0. Is x prime?
True
Let t(s) = -9*s**3 - 15*s**2 - 5*s + 6. Let u(v) = 37*v**3 + 61*v**2 + 20*v - 24. Let p(f) = 9*t(f) + 2*u(f). Is p(-8) prime?
False
Let p = 1123 - -3546. Suppose 2*z = -5*z + p. Is z composite?
True
Is (-4)/(-1)*422821/28 prime?
False
Let w = 63 - 32. Let j = w + 7. Is j composite?
True
Let r(w) = -2*w**3 + 7*w**2 - 9*w - 3. Is r(-8) a composite number?
True
Let c(y) = -y**3 - 14*y**2 + 7*y + 18. Let r be c(-13). Let k be 6/9 + r/(-6). Let h = 446 + k. Is h a composite number?
False
Let d(q) = 19667*q. Let h be d(-1). Let k = h - -28935. Is (k/(-42))/((-2)/3) prime?
True
Is (906744/(-120))/((-6)/30) a composite number?
False
Let d = 462 - 211. Is d a prime number?
True
Let z = 367 - 889. Let d = z - -741. Is d composite?
True
Suppose -1748 = 4*x + 4*z, -4*x - 6*z - 1749 = -z. Suppose 0 = -8*a + 2406 + 4706. Let v = a + x. Is v composite?
True
Let g = 50 - -7. Suppose -3*b + g = 3*s, -5*s + b + 48 + 47 = 0. Is s prime?
True
Let q be 30/105 + 159/7. Let i be (-5)/(-30) + q/6. Suppose 2*g = v + 314, -v + 628 = i*g - 4*v. Is g a prime number?
True
Let g(y) = 6674*y**3 + y**2 + 2*y - 4. Is g(1) a prime number?
True
Suppose -14 + 5 = -3*r. Suppose -3*q + q - 2 = 0, 5*t - r*q = 728. Is t a prime number?
False
Let x = -82 - -79. Is 502 + (-1 - (x + 5)) prime?
True
Let p(l) = -l**2 + 7*l - 4. Let h be p(4). Is (-4)/60*-37795 - h/(-6) composite?
False
Let s(k) = -246*k**2 - 16*k - 38. Let g(w) = -164*w**2 - 11*w - 25. Let l(f) = -8*g(f) + 5*s(f). Let p be l(-5). Suppose -3*j - j + p = 0. Is j composite?
True
Suppose 2*y + 4*l - 6*l = -66, -4*l + 33 = -y. Let u = y + 35. Suppose 3*j = -2*j - 3*o + 548, -j + 107 = -u*o. Is j a composite number?
False
Let w be 7/2 + 9/6. Suppose 0 = -v + w. Suppose 3*y - h - 765 = 0, 4*y + 248 = v*y + 2*h. Is y composite?
True
Let i = -108 - -110. Suppose i*r + 1349 = 3*c, -c + 4*r = 3*r - 451. Is c prime?
False
Is 284670/26 - (-120)/780 prime?
True
Let w be (-1 - 0) + (-10)/(-2). Suppose 71 = 24*y - 1. Suppose w*h - 24 = h - 5*x, y = -3*h + 4*x. Is h prime?
True
Suppose -4*y - 18 - 18 = j, -y = -5*j - 75. Let o = j + 16. Suppose 13*r - 6*r - 4417 = o. Is r prime?
True
Let u(r) = -216*r - 4 + 1 + 2. Let a = -390 + 389. Is u(a) a composite number?
True
Let p be (-4)/(-14) + (-165)/(-35). Is 2 - (4 - p) - -86 a prime number?
True
Let v(b) = b**2 - 7*b - 3. Suppose 3 - 4 = -2*q + 3*u, 5*q - 2*u - 30 = 0. Let y be v(q). Suppose 4*c - 1146 = 5*w - 3107, -y*w + 1937 = 2*c. Is w composite?
False
Let p(a) = -a**3 + 8*a**2 - 37*a - 17. Is p(-15) a prime number?
False
Suppose -2*l - 7*v + 10406 = -11*v, 4*v = 3*l - 15615. Is l a prime number?
True
Let u(y) = 183*y - 67. Is u(20) prime?
True
Let q(v) = -v**3 - 5*v**2 + 9*v + 10. Let d be q(-6). Is -4*(1 + 190/d) prime?
False
Suppose -5*x + 6 + 9 = 0. Suppose -x*u + q = 15, 0*u + 4*q = -3*u - 30. Is 278/u*(-2 + -1) a composite number?
False
Let m = 2028 - 1387. Is m prime?
True
Let h(g) = -g**2 + 40*g + 85. Is h(14) a composite number?
False
Let p(v) = 17*v**2 + 5*v - 139. Is p(11) composite?
False
Let y(z) = 926*z - 139. Is y(12) composite?
False
Let t(i) = i**2 - i + 1. Let k(d) = -3*d**2 + 15*d - 17. Suppose -5*j = -j - 24. Let r(b) = j*t(b) + k(b). Is r(-13) composite?
False
Let g = 22 - 5. Suppose -4*m - l + 3 = -5*m, 0 = -3*m - l - g. Is m*(-8)/4 + 1 composite?
False
Let o be (-5)/(-1)*56/10. Let s(w) = 38*w + 70. Let x be s(-2). Is x/(-8) + 3535/o a prime number?
True
Suppose -4*m = 3*x - 22, 4*m + 2*x - 20 = -0*m. Suppose 2*q = 3*s + m, 0*q + 4*s = -q + 2. Is 29*(12 + 2)/q a composite number?
True
Suppose 5*c - h + 5 - 12 = 0, -2*c - 2 = -2*h. Let w be (4 - 3)/(c/206). Suppose -74 = -a + w. Is a composite?
True
Let q(z) = 477*z**3 + 5*z**2 - 5*z. Let c(n) = -1430*n**3 - 14*n**2 + 14*n. Let v(a) = -4*c(a) - 11*q(a). Is v(1) a composite number?
True
Let b = -17797 + 38478. Is b a prime number?
True
Let p(a) = a**3 - 3*a**2 + 4*a - 45. Is p(16) a composite number?
False
Suppose 4*g = 16, 2*s + 2*g - 23 = -3*s. Suppose 3*l + 4*i = 146 + 2472, -s*i = 3*l - 2622. Is l prime?
False
Suppose -4*w + 2*k - 641 = -2555, -w - 2*k = -486. Let o = -265 + w. Is o a composite number?
True
Let d be 5/(-25) + 1/5. Let n(f) = -f**2 + 2. Let o be n(d). Is (2 + 66/4)*o a prime number?
True
Is (13 - 7) + -12 - -913 prime?
True
Suppose 40*r + 47559 = 113839. Is r a composite number?
False
Let k be 0/(-1 + (-4 - -6)). Suppose 0 = -c - 4*v - v + 118, k = v + 5. Is c a composite number?
True
Is 1/(-4*(-1)/20) - -5604 composite?
True
Let c be 4/3*(-27)/9. Let r be 1/4 + (-123)/c. Let q = r + 6. Is q composite?
False
Suppose 0 = -5*x + 2*d + 1082 + 5650, 6728 = 5*x + 2*d. Is x prime?
False
Suppose -19*t + 238476 = -2843. Is t composite?
True
Let d(f) = 18*f**3 + 7*f**2 - 20*f - 31. Is d(6) prime?
True
Is 36/(-24) - (50430/(-4) - 1) prime?
False
Suppose -5*g = -2*g - 1731. Let p(w) = -815*w**3 + w**2 + w + 1. Let o be p(-1). Let i = o - g. Is i composite?
False
Suppose -3*q = -d + 5276, 5*d + 3*q - 26280 = -2*q. Is d a prime number?
True
Let x(q) = -145*q + 26. Let a = -59 + 52. Is x(a) a composite number?
True
Suppose 0 = -2*m - 4*m + 49578. Is m a composite number?
False
Let g be (-342)/24 - (-2)/8. Let t = 14 + g. Suppose 2*k = -t*k + 506. Is k composite?
True
Suppose 6 = x + 2, -3*x = -m + 27. Let n = m - 4. Is n prime?
False
Let q = 1802 + 735. Is q composite?
True
Let d(w) = w**3 + 123*w + 21. Is d(11) composite?
True
Let i be (-132)/8 - (-1)/(-2). Let x = i + 32. Let v = x - -32. Is v a composite number?
False
Suppose x - 21997 = -5*i, 2*x - 43938 = -0*i + 4*i. Is x a composite number?
False
Is 70251*(384/(-36) - -11) a prime number?
True
Suppose 27*c = 51*c - 980904. Is c prime?
False
Suppose 24*f + 131318 = 46*f. Is f a prime number?
False
Let w(f) = 12*f - f**2 - 5*f**2 - 13 + 5*f**2. Let i be w(11). Is i/6 - (-1616)/6 prime?
True
Suppose -4*t + 10 = -2*n, -n - 14 = -2*t - 3*t. Let o(u) = 214*u**2 + u. Is o(n) prime?
False
Let s be (30/4)/1*28/42. Suppose 4*l - s*t - 13796 = 0, 0 = -12*l + 13*l + 2*t - 3449. Is l prime?
True
Suppose 3*v + 23 = y, v + 4*y + 2 = -10. Is (v/(-2) - 7) + (1 - -1335) a composite number?
True
Is 2/(-2) - (-8520 + 28) a prime number?
False
Suppose -5*i + i - 5*g + 33 = 0, g - 7 = -i. Suppose -479 = -3*b + i*b. Is b a prime number?
True
Let a = 16633 - 11772. Is a composite?
False
Let z = -12 - -14. Let o(c) = 2*c - 3 + 8*c**2 - 2 + 20*c**z + 3. Is o(-2) a prime number?
False
Suppose -6*v = -4255 + 1525. Suppose -3*g = 2*h - 1351, -2*g = -g - 4*h - v. Is g a prime number?
False
Let g(n) = n**2 - 5*n + 2. Let q be g(5). Suppose -2224 - 2319 = -5*p - 4*c, -2*p - q*c + 1818 = 0. Is p a composite number?
False
Let m = 7 - 3. Suppose 2*u = -m*h + 280, 349 = 5*h + u - 7. Suppose o = 265 + h. Is o composite?
False
Let a be (-2)/4 - 15/(-30). Suppose -4*f + 28 = 5*w - a*f, -4*w - f = -18. Suppose 0*q = -w*q + 348. Is q composite?
True
Suppose -16*q - 32 = -20*q. Let v = q + -2. Is (v + -3)/(6/110) a composite number?
True
Let b = -14 - -14. Suppose -6*q = -b*q - 17970. Is q a prime number?
False
Suppose 2*u = 2*g - 4, 3*g + 4*u - 6 = -u. Suppose -2*d + 6 = 2*k + g*k, 4*d - 2*k - 12 = 0. Suppose -d*i + 187 = -5*c, -82 = 5*i + 3*c - 371. Is i composite?
False
Suppose -11*k + 6*k + 605 = 0. Suppose 449 = -120*r + k*r. Is r prime?
True
Let y = 1349 - 438. Is y a composite number?
False
Let v be ((-2 - 1) + 3 - 3) + 1253. Suppose 2*h = -4*c + v, -4*c = -0*h + h - 627. Is h prime?
False
Suppose -l = 2*r - 963 + 2859, -4*l - 7599 = 3*r. Let j(g) = -2*g**3 + 4*g**2 - 7*g - 2. Let i be j(7). Let q = i - l. Is q a composite number?
False
Suppose 2*h + 14 = -2*s, -5*s - 3*h - 18 - 7 = 0. Is (-3)/(3*s/5866) a prime number?
False
Suppose -20 = h - 9. Let b(k) = -2*k + 15. Is b(h) a prime number?
True
Let s(m) = -3*m**2 - 4. Let r be s(2). Let x(n) = -179*n - 97. Is x(r) prime?
True
Let c(d) be the second derivative of 0 - 5/2*d**2 + 7/6*d**4 + 1/3*d**3 - d. Is c(-4) a prime number?
True
Suppose -2*i + i = -3*m + 12, 5*m - 4*i - 27 = 0. Is 915/m + 0 + 2 a prime number?
True
Suppose -4*u = -3*s - 64589, -2*u - 26*s + 32281 = -23*s. Is u a composite number?
True
Suppose -h - 7 = -5*u - 2, 0 = 