 = w. Suppose 4*r + 438 - x = 0. Is r a composite number?
True
Suppose 0*i - 5*i + 5 = g, 5*i + 5 = 0. Suppose -2*q = 3*q - g, 5*b - 2241 = -3*q. Is b composite?
True
Let x(f) be the third derivative of -37*f**4/24 - 2*f**3/3 - 4*f**2. Is x(-9) prime?
False
Suppose -1 = r + 4*h, r + h + 0*h - 2 = 0. Let o be 1 - (r/(-1) - 81). Suppose 0 = -l + o - 11. Is l a composite number?
True
Let m = -10207 + 29496. Is m a prime number?
True
Let u(c) = 498*c**2 - c - 6. Is u(5) composite?
True
Let t(k) = 2*k**3 + 7*k + 7. Is t(8) a prime number?
True
Suppose -5*p + 3*j + 7339 = 0, 0 = -0*p + 5*p + 3*j - 7351. Suppose 0*s + s - 728 = 5*c, 2*s = -3*c + p. Is s prime?
True
Suppose 5*s - y + 970 = -0*y, -5 = y. Let w = -312 - s. Let x = 174 + w. Is x prime?
False
Suppose 4*d + p - 5*p - 6520 = 0, p = 4*d - 6535. Suppose 2*o + d = 5*o. Is o a composite number?
True
Let z(w) be the third derivative of 65*w**4/12 - 3*w**3/2 - 10*w**2. Is z(4) a prime number?
False
Suppose 0*c = -c + 51. Suppose p - 5*u + 2 = 0, 5*p = -2*u - c - 67. Let a = p + 111. Is a a prime number?
True
Let n = 1 + 44. Let u = 151 - n. Is u a composite number?
True
Let x = 1424 + -677. Suppose 0 = -4*a - 263 + x. Is a a prime number?
False
Suppose -5*q + 12630 = -5*v, -9 = 3*v + 6. Is q a prime number?
True
Suppose -5*z + 4276 = -1359. Let w = z + -438. Is w composite?
True
Is 16/136 + 15183372/68 a prime number?
False
Let k = 2699 + -1158. Is k a prime number?
False
Let m(x) = 11*x**3 + 13*x + 27. Is m(10) a composite number?
True
Let v = -64 - -67. Suppose 5*f + 0*f - 4928 = -4*g, v*g - 3661 = 5*f. Is g composite?
True
Suppose 26 + 22 = 4*n. Suppose n = -t + 4*k, -5*k - 1 = -21. Is 891/t - 4/(-16) a composite number?
False
Let n(h) = -189*h**2 - 3*h + 3. Let v be 4 + 1*(-6)/3. Let l be n(v). Is l/(-2) + (-2)/4 a prime number?
True
Is (9/6)/(9/4002) composite?
True
Suppose 0*x + x - 156 = 0. Let j = x - 110. Is j a prime number?
False
Suppose -20 = -12*l + 7*l. Suppose -4*o + 0*v + 4778 = 2*v, -4*v + 4784 = l*o. Is o composite?
False
Let r(a) = -3*a**2 + 2*a - 21. Let s be r(9). Let d = 1643 + s. Is d a composite number?
True
Let p(f) = -f**2 + 5*f + 1. Suppose 6*h - 3*h = 3*g + 12, -4*g = -2*h + 6. Let k be p(h). Let c = k - -42. Is c a prime number?
True
Suppose -4*k - 2 = -50. Suppose -4 = 2*a - k. Suppose -4*f + 492 = -4*n, a*n + 0*n + 123 = f. Is f composite?
True
Let x(s) = 12*s + 89. Let m be x(-8). Let g(n) = -2*n**2 - 3*n - 4. Let j(i) = -i**2 - 2*i - 2. Let u(h) = 2*g(h) - 5*j(h). Is u(m) prime?
True
Let g(s) = s**3 - s**2 + 1. Let f(h) = -8*h**3 - 7*h**2 + 7*h - 3. Let d(w) = -f(w) + 3*g(w). Let a be d(4). Suppose -5*c + 3*c + a = 0. Is c prime?
True
Let g(k) = 363*k**2 - 88*k - 12. Is g(7) a composite number?
False
Let g(o) = -o**3 + 8*o**2 + 3. Let z be g(8). Let r be ((-52)/20 + z)*30. Is (-2 + 3)*1356/r composite?
False
Suppose -21*k - 38*k = -223787. Is k composite?
False
Let m(l) = -l**3 + 40*l**2 + 20*l + 113. Is m(36) composite?
True
Let a(r) be the third derivative of r**6/120 - r**5/30 + r**4/6 - r**3 - 4*r**2. Let v be a(7). Suppose 4*n = 7*n - v. Is n a composite number?
False
Let r(h) = -96*h - 43. Let a be (-158)/18 - 5/((-135)/(-6)). Is r(a) a composite number?
False
Is ((-326)/(-8))/((-10)/(-200)) a prime number?
False
Let l = -1967 + 3790. Is l prime?
True
Is (-147786)/2*(-20 - (-236)/12) a composite number?
False
Let h = -11428 + 22739. Is h prime?
True
Suppose 4*r + l = -15 - 15, 0 = r - 3*l + 1. Is (-922)/4*(-7 + r) prime?
False
Let y = -719367 - -1207340. Is y prime?
True
Let s = -2887 + -43. Is (7 + -6)/((-2)/s) a prime number?
False
Is (-8)/(-29 - 11) - (-77502)/15 composite?
False
Suppose -3*d + r = -43436, 6*d = 3*d - 6*r + 43443. Is d composite?
False
Let r(o) = 18*o**3 + o**2 + 1. Suppose 4*x - 167 = -x - a, 0 = 5*x + 2*a - 169. Suppose -j - 2*j = -p - 13, -5*j + x = 4*p. Is r(p) composite?
False
Suppose 0 = -27*w + 358676 + 166177. Is w composite?
True
Let o(c) = 82*c**3 - 3*c**2 - 5*c + 7. Let x(b) = -b**3 - 2*b**2 + b + 5. Let h be x(-2). Is o(h) a composite number?
False
Suppose -6*f = -4*k - 9*f + 4864, 6049 = 5*k - 4*f. Is k a composite number?
False
Suppose 9*b = 13*b - 76612. Is b composite?
True
Suppose 3 = -p + 15. Let z be (p/(-14))/(9/1386). Let h = -73 - z. Is h a prime number?
True
Let g = 7365 + -4868. Is g composite?
True
Let y = 2848 - 1977. Is y a prime number?
False
Suppose -58*y + 44*y = -34342. Is y a composite number?
True
Let n be 2 + (5/(10/8) - 4). Let r(w) = -2*w. Let s be r(-1). Suppose n*l = l + s. Is l a composite number?
False
Suppose 10*q + 4172 = 14*q. Is q composite?
True
Let t(a) = 331*a**3 + a**2 - a - 10. Is t(3) a composite number?
False
Let g(q) = 312*q**2 - 3*q - 13. Is g(6) composite?
True
Let w(z) = 387*z**3 + 2*z**2 + 3*z + 7. Is w(4) a composite number?
True
Let i = -183 + 431. Suppose 0*t - 4*r - 32 = t, -2*r = -5*t - i. Is t/32*(-2228)/6 prime?
True
Let t = 36 - -175. Is t composite?
False
Let m = -36 - -34. Is 12/16 + ((-25803)/(-12) - m) composite?
False
Suppose -11*o = -5*y - 16*o + 6980, 5*y - 6992 = -o. Is y composite?
False
Let y(u) = 10975*u**2 + 5*u + 3. Is y(-1) prime?
True
Let o be (3/(-2))/(7/(-28)). Suppose -4*c + o*c = -2*v + 824, 4*c = -2*v + 826. Is v prime?
False
Let j = -27 + 34. Let h(n) = -3*n**2 + 9*n + 4. Let m be h(j). Let o = 567 + m. Is o a composite number?
False
Let c(y) = 154*y**2 + 35*y + 49. Is c(-6) a composite number?
True
Suppose -2*v - 2*t = 2*v - 16, t + 6 = 5*v. Suppose 1910 + 368 = v*m. Is m prime?
False
Suppose 0 = b + 3*b + 4*z + 144, -152 = 5*b - 2*z. Let v be (6/((-6)/(-7)))/(-1). Let d = v - b. Is d a prime number?
False
Suppose -v + 9 = -3*s - 16, 130 = 4*v + 3*s. Is v composite?
False
Suppose 84 = -10*q + 7*q. Is (-19612)/q + 20/35 prime?
True
Let t(x) = 3*x**2 + 65*x + 4. Is t(26) a prime number?
False
Suppose -89 = -4*z - 49. Suppose 2761 = b + z*b. Is b a prime number?
True
Suppose 10*p + 6593 = 11*p. Is p prime?
False
Let f(s) = -2*s**3 - 4*s**2 - 8*s - 5. Let m be 1/((-2 + 0)/6). Let i(l) = l**3 + 3*l**2 + 8*l + 5. Let b(q) = m*i(q) - 2*f(q). Is b(6) composite?
False
Is 0/(-1) - (-1 - 3) - -24789 composite?
False
Suppose 11940 = -6*c - 6*c. Let p = 3162 + c. Is p composite?
True
Suppose -2*s - 2*o + 265 = -175, -s + 214 = 4*o. Let b = 33 - 29. Suppose 4*q - 2*q - f = s, 432 = b*q + f. Is q composite?
False
Let a(l) = -56*l + 11. Let b(n) = n - 1. Let i(d) = -a(d) - 4*b(d). Is i(3) composite?
False
Suppose 0 = 5*d - 6*d + q + 4702, 3*d + 2*q - 14091 = 0. Is d composite?
True
Let b = -1721 + 1197. Let w = b - -136. Is (-2)/5 + w/(-20) prime?
True
Is (-56830 + -13)*(-1 + 0) a composite number?
False
Let o = -1118 - -2447. Let x be (-4)/3*3*o. Is (0 - -1)/((-12)/x) composite?
False
Let z(v) = 423*v + 9. Let n be z(18). Suppose n - 118916 = -13*h. Is h a prime number?
False
Suppose -1403 + 4302 = i. Is i prime?
False
Let y(i) = i**2 - 7*i - 10. Let b be y(8). Suppose 0*z = -2*z + 438. Let k = b + z. Is k a prime number?
False
Let t(y) = -4*y - 1 + 3 - 2*y**2 + 1 + 3*y**2 + 5*y**3. Let o be t(2). Suppose 2*j - o = j. Is j a composite number?
True
Let r = -27 - -26. Let l be (-232)/(-6) - r/3. Let f = 88 + l. Is f a composite number?
False
Let h(x) = -97*x - 129. Is h(-10) a prime number?
False
Let i(k) = -k**3 - 7*k**2 - 12*k - 4. Let o be i(-5). Let y = o + 14. Suppose 0 = -5*l + y, 3*p - 63 - 550 = -l. Is p composite?
True
Is (28801/(-415))/(2/(-70)) a composite number?
True
Let x be ((-1)/2)/(10/660). Let d = 31 + x. Is (16/(-12))/(d/15) a composite number?
True
Let j = -17 - -38. Let n = 52 - j. Suppose h = -2*a + 28, -2*a = -2*h + 3 - n. Is a prime?
False
Let b(n) = 6*n + 1. Let k be b(-1). Is (-2 - k) + -3 - -2841 composite?
True
Let x = 11 + -9. Suppose 0 = x*a + 2. Is ((-2)/(-6))/(a/(-1623)) composite?
False
Let d(j) be the third derivative of -j**7/210 - 13*j**6/720 - j**5/60 - 12*j**2. Let q(u) be the third derivative of d(u). Is q(-9) a prime number?
False
Suppose -2*j = 2*y - 10412, 5*y + 12*j - 26039 = 10*j. Is y a composite number?
False
Suppose -51*m = -72*m + 198282. Is m composite?
True
Suppose -n + 3*u - 15 = -5, -n + 30 = 5*u. Suppose -2*x = -n*o + 1998, 0 = 3*o - 5*x - 273 - 941. Is o a prime number?
False
Is 31134/9*(-84)/(-56) a composite nu