= -2*j. Is l a composite number?
False
Suppose 16*x = 1310 + 1746. Is x a composite number?
False
Suppose -4*p + 3*k + 391 = 0, -39 = -2*p - 5*k + 150. Let c = p - 18. Is c composite?
False
Suppose -r + 14 + 12 = 0. Is r prime?
False
Let y = 754 - 41. Is y prime?
False
Let b(v) = v**2 - 5*v + 9. Let k be b(6). Suppose y + 0*y - 10 = -5*n, 4*n - k = -y. Is y a prime number?
False
Let w(m) = -5 + 9*m + m**3 + 6*m**2 + 2*m - 7*m. Let r be w(-5). Suppose b = -r*b + 37. Is b composite?
False
Let p = 0 + 0. Let o(h) = h - 16. Let g(q) = q - 15. Let c(r) = 3*g(r) - 4*o(r). Is c(p) prime?
True
Let g be (-105)/33 - 4/(-22). Is (-100)/g - (-4)/(-12) a prime number?
False
Suppose 5*r + 111 = 8*r. Is r prime?
True
Let m(t) = 54*t**3 + 2*t - 1. Let l be m(1). Suppose -3*v + v + 8 = 0. Suppose g + v*g - l = 0. Is g prime?
True
Let z = 13 - -43. Let g = 141 - z. Is g a prime number?
False
Let u(r) = -r + 4. Let a = -4 - -4. Let o be u(a). Suppose 106 = -2*t + o*t. Is t composite?
False
Let g be 0*(-2)/(1 + -3). Suppose g = y - 8 + 5. Suppose 0 = -2*a + r + 415 + 427, -850 = -2*a + y*r. Is a a prime number?
True
Let h(n) = -2*n**3 - 2*n**2 - 2*n - 2. Suppose -3*t + 0 = -v + 4, 5*v + 4 = 3*t. Is h(v) prime?
False
Let o(h) = -61*h + 1. Suppose p + 1 - 4 = -i, 0 = -p + 5*i - 21. Is o(p) a composite number?
True
Let j(n) = -26*n + 5. Let q be j(6). Let x = 300 + q. Is x composite?
False
Suppose -2*l - z - 4*z = 437, 443 = -2*l + z. Let x = -67 - l. Suppose -3*i - 385 = -5*s, -i + 5*i = 2*s - x. Is s a composite number?
True
Suppose -2*h = 2*n - 0*h - 408, 4*n - 807 = -h. Is n a prime number?
False
Let k = 79 + -21. Is k composite?
True
Suppose 4*b - 218 = -2*o, 4*b - 5*o = -0 + 197. Is b composite?
False
Let b(a) = a**3 - a**2 + 3*a + 5. Let o be b(4). Let c = 155 - o. Is 1/(2 - 3) + c composite?
False
Let k = -16 + 18. Suppose k*q - 644 = -2*q. Is q a prime number?
False
Let r be 69 - ((5 - 2) + -3). Let b = r - 48. Is b composite?
True
Let x(n) = -n**3 - 9*n**2 - 9*n + 1. Is x(-10) a prime number?
True
Suppose -2*n = -g - 0*n + 163, g + 2*n = 171. Is g composite?
False
Suppose -17*y + 12*y = -2095. Is y prime?
True
Suppose 0 = 4*m - 2*s + 4, -3*m - 4 = -2*m + s. Is (m - -11)/(4 + -3) composite?
True
Let h(u) = -17*u. Let f(w) = 33*w + 1. Let t(c) = -4*f(c) - 7*h(c). Let k = -8 + 5. Is t(k) prime?
False
Let j be ((-9)/(-6))/((-6)/400). Let z = -41 - j. Is z prime?
True
Let b(a) = a - 5. Let i be b(5). Suppose i = -s - 2*s + 651. Is s a prime number?
False
Let c(a) = -144*a - 1. Is c(-7) a prime number?
False
Suppose 2*m - 5569 = 6353. Is m a prime number?
False
Suppose -5*n + 10*a + 10 = 5*a, 0 = n - 4*a - 8. Suppose n*f + 2*f = 50. Is f a composite number?
True
Suppose 4*p = 2*p + 1174. Is p composite?
False
Let g(w) = 422*w. Is g(1) prime?
False
Let k(z) = -23*z. Let u be ((-4)/2)/(3 - 1). Let a be k(u). Suppose 3*q - a = 2*q. Is q a prime number?
True
Let n be (-5 - -6) + 2*377. Suppose 2*o + 4*j - 514 = 0, 7*o - 4*o + 2*j - n = 0. Is o a composite number?
True
Let o(w) be the first derivative of -2*w**2 - w - 2. Let f(d) = -3*d - 2. Let r(g) = 4*f(g) - 5*o(g). Is r(5) prime?
True
Suppose -2939 = -2*w + 959. Is w composite?
False
Let j(m) = -7*m. Let f be 6/24 + (-45)/4. Is j(f) prime?
False
Suppose 4 = u - 1. Suppose 16 = u*z - 59. Is z composite?
True
Is (50/(-15))/(-5)*177 composite?
True
Suppose h = 3*j + 211, 2*h = -4*j + 2*j + 438. Is h composite?
True
Let v(m) = m**2 + 7*m + 2. Let j be v(-7). Let p(n) = -n + 8. Let f be p(6). Let c = f + j. Is c composite?
True
Is (73*-6)/((-5)/(5/2)) prime?
False
Let m(h) = -11*h + 5. Let a be m(-4). Let k = -15 - -18. Suppose -s + v = -a, -s + 118 = s + k*v. Is s a prime number?
True
Suppose -8 = 2*y + 4*w, y - 16 = 4*w - w. Suppose -4*f + 4*d = -f + 352, -5*f = -y*d + 576. Is 1/(-3) + f/(-3) prime?
True
Suppose -10*k + 11*k - 447 = 0. Is k prime?
False
Is (0 - (-1 + -1))/((-12)/(-534)) prime?
True
Suppose -3*b - 2*p = -479, -2*p - 321 = -2*b - 3*p. Is b a prime number?
True
Let m(u) = -2*u**2 - 4*u**2 + 5*u**2 + 2*u - u. Let a be m(-5). Let z = -8 - a. Is z a prime number?
False
Is 264 - (-5)/(15/9) a prime number?
False
Let z = 18507 - 6968. Is z prime?
False
Suppose 0 = -4*m - 0 - 4. Is 2/(m - 1276/(-1268)) a prime number?
True
Suppose 0 = 3*n + 40 - 301. Is n composite?
True
Let a(m) = -m**2 + m + 1. Let r(v) = 4*v**2 - 2*v + 8. Suppose 4*s + 4*j = -1 + 9, -3*s + 7 = 2*j. Let h(c) = s*a(c) + r(c). Is h(0) prime?
True
Let g(i) = 5*i**3 - i**2 + i. Let a be g(1). Suppose 4*w - a = -b + 68, -b - 2*w = -65. Suppose -3*f = v - 58 + 12, -4*f + 3*v + b = 0. Is f composite?
True
Suppose -2*x + 2*h = -10, -4 = x + 5*h + 3. Is (1/x)/(3/711) a composite number?
False
Let l = -1 - -9. Let m = 11 - l. Is m prime?
True
Let q(v) = -v + 1. Let p be q(-4). Let k = -2 - -5. Suppose 7*h - k*h + 3*a = 148, 0 = -p*h - 2*a + 178. Is h a prime number?
False
Let l(g) = -24*g**2 - 6. Let y be l(5). Is 4/(-6) + y/(-18) prime?
False
Suppose -32 = -4*k + 8. Is (-1)/(-5) - (-88)/k a composite number?
True
Suppose -8*v - 4*v + 39012 = 0. Is v composite?
False
Let y = -1841 + 2580. Is y composite?
False
Suppose 3*l + 2*f = 11, 2*l + 3*f - 12 = -l. Suppose l = t - 2. Suppose -15 = t*x, m - 3*m = 4*x - 2. Is m composite?
False
Let a(o) = -o**2 - 3*o - 2. Let i be a(-4). Let c(z) = -z**3 - 7*z**2 - 7*z. Let l be c(i). Is -1 - (-2 - 21*l) prime?
True
Let s(m) = 2*m - 2. Let d be s(2). Suppose -d*y + 165 = 3*y. Is y a prime number?
False
Let f(p) = -p**3 - 2*p**2 - 4*p - 2. Let x be f(-2). Let t = x - 9. Is -13*(t - (-4)/(-1)) a prime number?
False
Let n(u) = -27*u - 17. Let b be n(9). Is 3/2*b/(-6) a prime number?
False
Suppose -3*w + 3*g - 15 = 0, 4*w + 4 - 16 = -4*g. Let u be 3*((-4)/3)/w. Suppose 0 = p - 3 - 0, u*h - 3*p = 123. Is h prime?
False
Let b = -1062 + 726. Let d = b + -732. Is (-2)/5 + d/(-20) a prime number?
True
Suppose -v + t = -6, 3*t + 0 = -4*v + 10. Let s(k) = 6*k**2 + 1. Is s(v) composite?
False
Let h be (3/5)/(4/(-20)). Is 4*(-6)/h + 1 a prime number?
False
Is (-6)/(-24) + 1 + (-503)/(-4) composite?
False
Let d(r) = 3*r**2 + 20*r**2 - 13*r**2. Is d(1) a prime number?
False
Suppose -2*m + m = -f + 166, -3*f + 493 = -2*m. Is f a prime number?
False
Let f = -5 - -10. Let z(t) = -2*t**2 - 4*t + 2. Let b(m) = 3*m**2 + 4*m - 2. Let o(n) = 3*b(n) + 4*z(n). Is o(f) prime?
True
Let b = -1588 - -2295. Is b a composite number?
True
Let b = -153 - -602. Is b a composite number?
False
Let n = -870 - -1309. Is n prime?
True
Let m(u) = -3*u**3 + 5*u**2 - 5*u. Let q(p) = 10*p - 5*p + 2 - 5*p**2 - 1 + 4*p**3. Let s(w) = -3*m(w) - 2*q(w). Is s(5) composite?
False
Let u be 16/(-12)*1*-72. Let k = u + -29. Is k a composite number?
False
Suppose 0 = 4*r - t - 391, -4*r - 4*t = -0*r - 376. Is r composite?
False
Let d = 16 + -12. Suppose -d*m = -755 + 271. Is m a prime number?
False
Let f(l) = l**2 + 5*l + 3. Let o be f(-4). Is (12 - 7)*(36 - o) a composite number?
True
Suppose 2 = o, -5*w + 0*o = -3*o - 929. Suppose 3*g - w = 2*g. Is g a composite number?
True
Let v be (-15)/4 - (-3)/4. Is (-2 - v)*(0 - -115) prime?
False
Suppose -4*m + 925 = m. Is m composite?
True
Suppose 7 = k + 2. Suppose -k + 54 = -m. Let o = m + 194. Is o prime?
False
Let y(w) = w**2 + 15*w + 18. Let k be y(-14). Suppose b = -k*r + 653, 0 = 2*r - 7*r - 5*b + 820. Is r a composite number?
False
Let g(y) = 3*y**2 - 7*y**3 - 4*y**3 + 20*y + 3 - 16*y. Let k be g(-2). Suppose 2*h - 3*l = -0*l + 35, -k = -4*h + l. Is h a prime number?
False
Suppose 7*n - 4*l = 3*n + 32, 4*n + 13 = -5*l. Suppose n*k + 133 - 424 = 0. Is k composite?
False
Suppose -10958 = -6*l + 4*l - 4*v, -2*v + 27363 = 5*l. Is l a prime number?
True
Suppose 0 = -2*x + 4. Suppose x*g - 67 = 123. Is g composite?
True
Let p(k) = k**2 - 3*k - 6. Let h be p(5). Suppose b + 92 = 5*l, l + b = -h*b + 34. Is l composite?
False
Let n = -439 + 1236. Is n prime?
True
Let q = 436 - 257. Is q a composite number?
False
Suppose -37*p = -26*p - 1969. Is p a prime number?
True
Let v = 124 + 277. Let z = 600 - v. Let p = z - 90. Is p composite?
False
Let s = 4 - 0. Suppose 0 = s*l + l. Suppose y + y - 124 = l. Is y a composite number?
True
Let z(l) = -2*l**3 + 1. Let s be z(1). Let g(n) = -n**3 - 5*n**2 + 3. Let m be g(-5). Let