(3) prime?
False
Let j(p) = 122*p - 11. Is j(3) a composite number?
True
Suppose 0 = 3*x - 9 - 3. Let l(y) = 6 - 11*y - 2 + x. Is l(-7) a composite number?
True
Let t(p) = -p - 1. Let h(b) = 151*b + 8. Let l(i) = -h(i) + 5*t(i). Let q(m) = 78*m + 7. Let n(u) = 6*l(u) + 11*q(u). Is n(-3) a prime number?
True
Let n be (-6)/(-7)*2*-14. Let s = -20 - n. Is s a composite number?
True
Is (-24 + -10)*(-74)/4 composite?
True
Suppose 0 = -t - 4*w - 2, 3*t = 2*w - w + 33. Let h(q) = 2*q**2 - q + 11. Is h(t) composite?
True
Let d be (-5)/(-2)*4/5. Is (-65)/(-4 + d - -1) a prime number?
False
Let o = -545 + 1312. Suppose -s + 197 = -2*m, m = s + 3*s - o. Is s prime?
True
Is (-2)/(-6) + 380/3 composite?
False
Let m = -15 + 15. Let l(r) = -2*r + 2. Let b be l(2). Is 1 - -1 - b - m a composite number?
True
Let r(i) = -i**3 + 7*i**2 + 7*i + 8. Let q be r(8). Suppose -5*d = 2*g - 6*g - 163, d + 5*g - 21 = q. Is d composite?
False
Let g(h) = -h**2 + 1. Let v be g(-1). Let x(r) = -r + 35. Is x(v) a composite number?
True
Let m be 27/9*2/3. Let h = m - -5. Is h a prime number?
True
Is 3580/15 - (-1)/3 a composite number?
False
Let v be (-2)/(-6) - 10/(-6). Suppose -3*r + 1 = -2*u, -3 = -v*r - 3*u - 11. Is r + 3 - 936/(-8) a composite number?
True
Let y = -3 - -5. Suppose -y*x = -2*k + 14, -4*x + 4 = -k + 17. Is (1 + k)/((-4)/(-74)) composite?
True
Suppose -1327 = 5*c - 5*u - 3537, 3*u = -5*c + 2170. Is c a prime number?
False
Is (6 - (-2 - -12)) + 755 prime?
True
Suppose 0 = -3*d - s + 273, 4*s - 7*s = d - 91. Is d composite?
True
Let x(d) = d**2 + d + 3. Is x(-6) composite?
True
Let p(m) = 41*m + 1. Let w be p(-4). Let s = -72 - w. Is s prime?
False
Let i = -182 + 270. Suppose -3*d + i + 27 = -z, 3*z = 4*d - 160. Is d a composite number?
False
Suppose -5*d = 5*o + 20, -4*d = -9*d - 3*o - 22. Is (-56 + 1)*(-6 - d) a composite number?
True
Suppose 8 = f - 3*f. Let j be 14/3 - f/12. Suppose -5*w + 8*y + 180 = 3*y, -j*w + y = -172. Is w composite?
True
Let h(l) = 21*l - 1. Let x be h(-6). Let n = -62 - x. Is n a prime number?
False
Suppose m - 20 = -4*i + 13, i = -5*m + 203. Suppose -13 + m = 2*d. Is d a prime number?
False
Let t be 4 + -1 + 1 + 0. Suppose 4*p + 1 = 2*o - 7, -t*o + 16 = 0. Suppose 5*q + 4*z = 563, q + p*z = z + 118. Is q composite?
True
Let b(d) = -30*d + 6. Let f be b(-6). Suppose 0*l = 3*l - f. Suppose l = 2*s - 0*s. Is s composite?
False
Let h be (-2)/(-3) - (-656)/(-3). Is h/4*(2 - 4) a composite number?
False
Let n(r) = 2*r**2 + 3*r + 1. Let h(b) = 0*b - 7 + 3*b - 2*b. Let s be h(4). Is n(s) prime?
False
Let o be (-3)/(-6)*-6 + 5. Suppose -23 = -2*x - 5*s, -2*x + 41 = -3*s + o*s. Let q = 45 - x. Is q composite?
True
Let l = -12 - -43. Is l a composite number?
False
Let w = -85 - -43. Suppose -g = 4*g + 2*d - 405, -5*d = 2*g - 183. Let n = w + g. Is n a prime number?
True
Suppose -4*d + 131 - 311 = 0. Let s = d - -208. Is s composite?
False
Let q = 959 - 72. Is q composite?
False
Let m(r) = 8*r**2 - 3*r - 7. Let t be m(5). Let k be 4/14 + t/14. Suppose 3*b + k = i - 72, i - b - 81 = 0. Is i a composite number?
False
Suppose -17*b = 2452 - 15219. Is b prime?
True
Let y = -189 - -380. Is y prime?
True
Is ((-36)/(-30))/(4/170) prime?
False
Let q = -1089 + 2084. Is q prime?
False
Let l = -541 + -91. Let t be (-2 - l)/2 + 0. Let p = t - 124. Is p a composite number?
False
Let f be 0/(-2) - (-6 + 1). Let s(l) = -10*l**2 + 16*l + 28. Let i(o) = 7*o**2 - 11*o - 19. Let z(r) = -7*i(r) - 5*s(r). Is z(f) a prime number?
True
Let d be (28/(-10))/(4/(-140)). Suppose -x + 5*x + 20 = 0, -d = -a + x. Is a a composite number?
True
Suppose -2*s + 26 = -2*q, 0 = 2*s - 5*q - 15 - 23. Suppose 5*k + s = 4, 153 = 4*w + 3*k. Is (2/(-6))/((-1)/w) composite?
False
Suppose -d - 8*o + 4*o = -66, 2*o - 10 = 0. Let s = 77 - d. Is s a composite number?
False
Let o be (-1)/5 - (-105)/25. Suppose 4*t - 2*t - o = 0. Suppose 7*z + 15 = 2*z, 15 = 3*s - t*z. Is s a composite number?
False
Let s be (-66)/9 - 2/3. Suppose 0 = -b - 4 + 1. Is (-1682)/s - b/4 prime?
True
Let x(y) be the second derivative of y**6/48 + y**4/6 - 2*y. Let c(i) be the third derivative of x(i). Is c(1) a prime number?
False
Let p(u) = u**3 - 4*u**2 - 5. Let s(a) = -2 - 4*a**2 + 3 + 11*a**2 + 2*a. Let o be s(-1). Is p(o) a prime number?
True
Suppose 4*p - 5*g + 5 = 0, -5*p + g + 3 = 4*g. Suppose -5 + p = -5*y. Is 2 - (y + -19 - 1) a prime number?
False
Is (-1)/(-4) - (-79527)/84 a composite number?
False
Suppose 0*h = -3*h. Suppose -4*n + 3 + 13 = h. Let y(p) = -p**3 + 5*p**2 - 2. Is y(n) prime?
False
Is (0/(-2))/(-2 - -3) + 1535 prime?
False
Let n be 18/(-27) - (-20833)/(-3). Is n/(-21) - 6/(-21) a prime number?
True
Suppose 0 = 7*s - 3*s - 24. Is 3195/33 + s/33 a composite number?
False
Let l(z) = 2*z**2 - z + 18. Is l(-7) a prime number?
False
Let a be (1/(-2))/((-1)/68). Let f = a - -385. Is f a prime number?
True
Suppose -296 = -2*z + 3*y - 17, 5*z - 3*y - 702 = 0. Let a = 70 + z. Is a a composite number?
False
Suppose v - 11 = 4*d, -16 = -4*v - 3*d + 5*d. Suppose m - 138 = -v*l, 2*l + 531 = 4*m - 21. Suppose n - 17 - m = 0. Is n a composite number?
True
Let c = 91 + -33. Let u = 9 + c. Is u a prime number?
True
Let i(q) = q - 12. Let c be i(10). Let a be (1 + -5)*(-115)/c. Is (2/4)/((-5)/a) composite?
False
Suppose -5*z - 5*a - 245 = 0, 0 = z + 2*z - a + 135. Let m = 82 + z. Suppose 2*f - 110 = -m. Is f a prime number?
True
Suppose 3 = -16*z + 595. Is z prime?
True
Let l(g) = -g**3 + 1. Let x be l(-1). Is 215 - 1 - (x + 1) composite?
False
Let a = -120 - -212. Let t = a - 64. Let z = t + -9. Is z prime?
True
Let g = -19 + 21. Suppose -77 = -g*x + 105. Is x a prime number?
False
Suppose 5*z = -32 + 17. Suppose -8*k = -3*k + c + 186, 2*k + 72 = -c. Is (k/3 + 0)*z composite?
True
Let i(o) = -3*o + 13*o - 2 - 7*o. Is i(4) a prime number?
False
Let g be -34*(-2 + (-3)/(-2)). Let t(z) = -4*z - 4. Let r be t(-5). Let y = g + r. Is y a prime number?
False
Let n(y) = -y**3 + 7*y**2 + y - 5. Let q be n(7). Suppose h + 1733 = q*h. Is h a prime number?
True
Suppose 4*d = -3*l + 15 + 4, d = 4*l. Suppose 0 = -d*f + 2256 - 668. Is f a composite number?
False
Is -2*(-4)/(32/1052) prime?
True
Let r(i) = 2*i**2 + 4*i + 7. Suppose -3*h - 27 = -12. Is r(h) a prime number?
True
Let d(r) = -2*r**3 - r**2 - 3*r - 4. Let c(q) = 3*q**3 + 2*q**2 + 3*q + 5. Let k(a) = 3*c(a) + 4*d(a). Let o be k(-3). Is o*((-3 - -1) + -35) composite?
False
Suppose 0 = -5*h + 6 + 19. Let a(o) = o**2 - 7*o + 4. Let v be a(h). Is (v + 2 + 2)*-19 a prime number?
False
Let l be (0/(-2))/3 - -2. Suppose 15 = 2*c + g, 2*c + g - 5 = -l*g. Is c prime?
False
Suppose -2*r = -6*r + 1796. Is r prime?
True
Suppose 5*y - 2*y = 15. Suppose -y*m + m + 220 = 0. Is m a prime number?
False
Let j(v) = v**2 + 8*v. Let b be j(-7). Let z(k) = -k**3 - 5*k**2 + 3*k + 10. Is z(b) composite?
True
Let y be (1 + 1)*(0 - 2). Is -67*(y - -3)*1 composite?
False
Suppose 3*m - 3447 = 564. Is m prime?
False
Let h(m) = 103*m**2 + m - 3. Let x be h(-2). Suppose 3*i = x - 68. Is i composite?
False
Suppose 11 = 3*o + 5. Suppose -133 = -2*p + 5*v, o*v + 2*v - 211 = -3*p. Is p a composite number?
True
Let k(q) = -q**3 + q**2 - q. Let n(l) = 12*l**3 - 5*l**2 + 3. Let f(h) = -3*k(h) - n(h). Let x be f(2). Let p = x - -95. Is p a composite number?
True
Is (-1)/(-4) + (-3963)/(-4) composite?
False
Is ((-398)/(-4))/(2/4) a prime number?
True
Suppose -4*i = -9*i + 30. Suppose 3*s = 3*r, 4*r - 4*s = -2*s - i. Is (r/9)/((-2)/1266) composite?
False
Let t(h) = -198*h - 1 + 4*h + 24*h. Is t(-1) prime?
False
Is 0 + 5/((-10)/(-62)) prime?
True
Let u(y) = -y**3 - 15*y**2 - 18*y + 9. Let a be u(-13). Let r = -64 - a. Is r a prime number?
True
Let t(n) = 2*n**2 - 8*n + 4. Let h be t(7). Suppose 2*g - h - 78 = 0. Let z = g + -25. Is z prime?
True
Let r = -10 + 68. Is r a prime number?
False
Let m be 7 + -8 - (0 - -15). Let k be 1/4 - 76/m. Suppose k*a - 1071 = -266. Is a a composite number?
True
Let o(i) = 1259*i**2 + i + 1. Is o(-1) prime?
True
Suppose 4*i - 358 = 486. Is i prime?
True
Is (-1 - -2)/(3/543) composite?
False
Let i(y) = 12*y - 9. Let x be i(7). Let b = x + -54. Is b a composite number?
True
Let p(k) be the second derivative of -k**4/12 - k**3/6 - k**2/2 - 2*k. Let f be p(-4). Let c = -