uppose -3*m + 4*p + 557 = 0, -5*m + 914 = 4*p - 57. Is m a prime number?
True
Let h be 5 + 2 - (-3 - 0). Suppose -4*i = i - h. Suppose -i*p = 2*b - 32, -5*b + 17 + 13 = -5*p. Is b a composite number?
False
Suppose 0*i + 840 = 4*i. Suppose i = -0*g - g. Is ((-2)/3)/(4/g) a composite number?
True
Let i = 3 + 5. Let d(x) = 5*x + 6. Is d(i) a composite number?
True
Suppose -w + 224 + 2591 = 0. Is w composite?
True
Let w(y) = 9*y**3 - 4*y**2 + 3*y. Let m be w(4). Suppose 0 = q + 4*q - j - 667, 4*j = -4*q + m. Is q prime?
False
Let g(x) = -x**3 + 12*x**2 + 13*x + 11. Let b be g(10). Suppose -2*l + b = 3*a - 448, 4 = 4*a. Is l a composite number?
True
Let l = -9 + 6. Let s be (-3)/l*3 + -3. Suppose s = 2*x + 4*n - 8*n - 422, -5*n + 1055 = 5*x. Is x prime?
True
Suppose 4*l = 427 + 361. Suppose 5*i - 2*i - l = -5*s, 5*i + 4*s = 311. Is i composite?
False
Is (2 - 113)*44/(-12) composite?
True
Let z(j) = -j**2 + 2*j + 2. Let l be z(-2). Let w(f) = -4*f - 8. Let x(p) = p**2 - 1. Let h(y) = -w(y) + x(y). Is h(l) a prime number?
True
Let h(k) = -2*k**3 - 8*k**2 - 3*k + 1. Is h(-6) a composite number?
False
Suppose -5*x + w - 3*w + 1015 = 0, -x + 220 = -3*w. Is x a prime number?
False
Let z(f) = f - 7. Let o be z(12). Suppose l - o = 0, p = 5*l + 10 + 32. Is p a composite number?
False
Let r(o) = 6*o**2 + o. Let k(t) = -t**2 - 4*t. Let y be k(-5). Let i(n) = -7*n**2 - 2*n. Let d(p) = y*i(p) - 6*r(p). Is d(3) composite?
False
Suppose 8*x - 10 = 3*x. Suppose 0 = -3*m + 4*b + 143, -4 = -x*b + b. Is m a composite number?
False
Let z be (-12)/8*4/(-3). Let y be (-5)/1*(-152)/10. Suppose 0 = -a + z*s - 6*s + 6, 0 = 4*a + 3*s - y. Is a prime?
False
Suppose -2*v = -2*w + 4*w - 1786, w - 4 = 0. Is v a prime number?
False
Suppose 4*h - p + 2*p - 3260 = 0, 0 = 5*h - 3*p - 4092. Suppose -2*y - h = -2*v, -v - 2*v - 3*y + 1254 = 0. Is v a composite number?
True
Let m(h) = h**3 + 19*h**2 + 13*h + 23. Is m(-16) a prime number?
False
Let u(p) = 4*p**3 + p**2 + 2. Let g(z) = z**3 - z - 1. Let o(y) = 2*g(y) - u(y). Let w be -3 - (0 + 3 + -3). Is o(w) prime?
True
Let o(p) = 0*p + 5 + 0 + 10*p. Is o(5) composite?
True
Suppose -2*k - 3*k = -10. Is k/(-6) + 656/6 composite?
False
Suppose -b + 6*b = 0. Suppose -u + 1 = 0, b = t - 3*u - 2*u - 474. Is t a composite number?
False
Let n = -15 - -1. Let w(l) = -l**2 - 16*l - 5. Is w(n) prime?
True
Let m(t) = 9*t**3 - t - 1. Is m(2) a prime number?
False
Suppose -i = 3*i - 8. Suppose -i*p = -2*f + 16 - 88, 39 = p - 2*f. Is p prime?
False
Let c(v) = 230*v + 1. Let m be c(-1). Let h = -96 - m. Is h composite?
True
Let u(l) = -l + 1. Let z be u(-4). Let k(d) = -d + 3. Let x be k(0). Suppose -4*v - 1 = -z, x*i - 250 = -v. Is i composite?
False
Let t = 83 - -7. Let a = t + -55. Is a a composite number?
True
Let b(s) = s**3 - 6*s**2 + 12*s - 10. Let v be b(4). Let x be -2*1*(-125)/2. Suppose -v*c = -c - x. Is c a composite number?
True
Suppose 3*x + x + 16 = 5*p, 2*x = 5*p + 2. Is 3*1*(-177)/x a composite number?
False
Let y be (-15)/30 + (-2311)/(-2). Let i = -346 + y. Is i composite?
False
Suppose 3*n - 7 = 4*t + 17, 5*t - n = -19. Let h(k) = -3*k**3 + 3*k**2 - 3*k - 2. Is h(t) composite?
True
Let k be (-98 + 1)*(-7 + 6). Suppose -3*w - 3*q = -75, -w - k = -6*w + 2*q. Is w prime?
False
Suppose 2*c = 5*c - 921. Is c*(3 - (-3 - -5)) composite?
False
Let c be (-2 - (-4 - -2))*1. Let g(s) = -s**3 - 6*s**2 - 7*s + 7. Let f be g(-4). Suppose 9 = -f*l, c = -0*y - 2*y - 4*l + 16. Is y a prime number?
False
Let r(d) = 5*d + 3. Is r(6) a composite number?
True
Suppose -i - 50 = 4*i. Let d be (-2)/i - 957/(-15). Let x = d + -39. Is x a prime number?
False
Suppose 4*i = 3*z + 42, z + 34 = i + 2*i. Suppose 5*b - i = 53. Let v = 20 - b. Is v a prime number?
True
Let f(v) be the first derivative of 7*v**2/2 - 5*v + 1. Suppose p - 3*x - 3 = 0, 4*p - 5*x = -p + 25. Is f(p) a prime number?
True
Let h be 4/10 - (-12)/(-5). Let l(k) = 70*k**2 + 2*k + 1. Is l(h) a prime number?
True
Suppose -1280 + 340 = -4*a. Is a a composite number?
True
Let f be (-2)/5*(1 + -171). Let j = 70 - 67. Suppose j*n = 5*n - f. Is n composite?
True
Suppose 10 = -2*o + 4*q, 0*q + 3*q = 2*o + 7. Is 234 + (4/4)/o composite?
True
Is (1/5)/(1*8/37880) prime?
True
Suppose -34 - 95 = -3*y. Suppose -3*j = 2*g - y, 2*j - 91 + 11 = -5*g. Let h = 49 - g. Is h prime?
False
Is 2 - (1 - 1) - -1359 composite?
False
Let w(a) = 670*a**2 + 4*a - 5. Is w(2) composite?
False
Suppose 8 = -0*u + 4*u. Suppose -4*f = 2*s - 66, -4*f + u*f - 4 = 0. Is s a composite number?
False
Suppose -2*h - 5*j + 185 = -0*h, -5*j + 15 = 0. Suppose 4*p + 2*b - 2 = 0, -3*p + 0*p - 16 = 5*b. Suppose 0 = p*n - 74 - h. Is n prime?
True
Let b = 5 - 2. Suppose 4*s - 180 = -2*g + 6, 315 = 3*g - b*s. Let q = 10 + g. Is q a prime number?
False
Let f(m) = -m**3 - 8*m**2 - 9*m + 5. Suppose -2*u = -s + 19, 4*u - u + 3*s + 6 = 0. Let b be f(u). Suppose j = b + 20. Is j a composite number?
True
Suppose -7*l = -2*l - 475. Is l prime?
False
Let d = -6 + 8. Suppose -d*j + 182 = -8. Suppose j = 3*t + 2*t. Is t prime?
True
Let k(j) = 12*j**2 + 3 - 11*j**2 + 2*j + 5*j. Let q = -6 + -3. Is k(q) a composite number?
True
Suppose -p = -195 + 4. Is p composite?
False
Let b = 1 - 7. Let x be ((-4)/(8/b))/1. Suppose 4*r - 305 = k, -192 = -x*r + 5*k + 24. Is r composite?
True
Suppose 4*u - n + 4*n - 652 = 0, 0 = 2*n. Is u a prime number?
True
Is (-31629)/(-143) + 2/(-11) a prime number?
False
Let o(t) = t**2 - 3*t - 2. Let s be o(3). Let b = s - -23. Is (b/4)/(2/8) composite?
True
Suppose 0 = 3*g + 5*r + 66, 3*g + 2*g + 4*r + 110 = 0. Let a = g + 48. Suppose -4*t + 30 + a = 0. Is t composite?
True
Let w be (-416)/(-3)*(-54)/(-18). Suppose 677 = 2*x - 4*v - 153, -w = -x + 3*v. Is x prime?
False
Suppose 0 = 4*l - 0*m - 2*m - 4, 2*m = 8. Let h(w) = -39*w**l + w**2 + 3*w**3 - 10*w**3. Is h(-1) composite?
False
Let m(q) = 76*q**2 - q - 3. Is m(-2) a composite number?
True
Let l(v) = 13*v - 3*v**2 + v**3 - 6*v**2 - 3 - 5*v. Let h be l(8). Is h - (-54 - (2 - 4)) prime?
False
Let d be (-6)/(-9)*12/2. Suppose 2*k = n - d, -16 = -3*n - n + 5*k. Suppose -n*s + 375 = -277. Is s a prime number?
True
Let y(m) = -m**3 + 13*m**2 + 5*m - 6. Is y(13) a prime number?
True
Let c(u) = u**3 - 5*u**2 - u + 6. Let m be c(5). Suppose -2*h - 7 = 5*t - h, -4*t + 4 = 4*h. Is (m + -17)/t - -2 composite?
True
Let s(f) = 2*f**3 + 2*f**2 - 1. Let t be s(-2). Let g(j) = -j**3 - 9*j**2 + 9*j - 3. Let l be g(t). Let y = -33 - l. Is y prime?
False
Suppose 0*j - 5*j - 992 = -4*x, -526 = -2*x - 5*j. Is x composite?
True
Suppose -w - 2*q = -1180, 1976 = 2*w - q - 399. Suppose -2*k = -4*g - w, 2*k + g - 1744 = -k. Is k a composite number?
True
Suppose 4*y - b - 2*b - 5 = 0, -3*b + 13 = 5*y. Suppose 3*o + 4*f = 9, -21 = -o + 3*f - 5. Suppose -275 = -o*p + y*p. Is p a composite number?
True
Suppose -27801 = -23*o + 11920. Is o composite?
True
Let h(k) = -k**2 + 8*k - 5. Let t be h(6). Let m(l) = 15*l**2 + 8*l. Let d(i) = -7*i**2 - 4*i. Let s(w) = -13*d(w) - 6*m(w). Is s(t) composite?
True
Let d(r) = 3*r**2 + r - 9. Is d(8) prime?
True
Suppose 14*k + 2748 = 18*k. Let j = 974 - k. Is j composite?
True
Let p be 2 + 3*8/(-12). Suppose 7*f = 5*f + 4*w + 574, 2*w = p. Is f a composite number?
True
Suppose 12*w - 7*w - 385 = 0. Is w prime?
False
Suppose 3*k + 0*k - 82 = 2*h, 3*h + 138 = 5*k. Suppose -k = -6*d + d. Is d/(3/(531/6)) a composite number?
True
Let i = -1385 + 2254. Is i a composite number?
True
Let c be 6 + -1 - (0 + 0). Suppose 0*d = 2*b + 5*d - 3, -5*d - 25 = -c*b. Suppose 8 + 32 = b*g. Is g a prime number?
False
Let l = -4 + 3. Let k = l + 12. Is k prime?
True
Let v(h) = 3*h + 6. Let i be v(-4). Let p(m) = -m**2 - 14*m + 1. Is p(i) a prime number?
False
Is (-848 - -4)*1/(-4) prime?
True
Let m(f) = f**2 - f + 48. Let h be m(0). Suppose h - 308 = -5*n. Let p = n + -27. Is p a composite number?
True
Let i(v) = 3*v + 2. Is i(19) prime?
True
Let w be (-4)/(-18) - 61/(-9). Let b = w + 111. Is b composite?
True
Let n(d) = -4*d - 1. Suppose 11 + 3 = 5*i + a, -5*a + 28 = 4*i. Suppose i*t = -4*r + t - 25, 2*r = -5*t - 35. Is n(r) composite?
False
Suppose -8*u = -8089 + 1793. Is u composite?
False
Let l(m) = -77*m + 47*m - 1 - 4. Is l(-10) a prime number?
False
Let d be ((-4)/(-6))/((-2)/(-