number?
True
Let q be (-1 + -2)/3*-1. Is 85 - q*(-2 - 0) composite?
True
Let y(p) = 4*p**2 - 4*p - 5*p**2 + 10*p - 2. Suppose 0 = 4*f + 5*v - 26, v + 4 = 4*f - 10. Is y(f) composite?
True
Let t = 5595 + -1834. Is t prime?
True
Let b(s) = -s**2 - 5*s + 8. Let z be b(-6). Is 1059*(z + 10/(-6)) a prime number?
True
Let c = -1 - -4. Suppose c*b + 5*f = 23, 4*b = -0*b - f + 25. Let i(u) = 14*u + 5. Is i(b) a composite number?
False
Let g(y) = -y + 14. Let v be g(11). Suppose -3*f - 3*u + 720 = 0, -3*u + 722 = v*f + 2*u. Is f a composite number?
False
Let v(w) = 6*w + 3. Let f(m) = 2*m**2 - 4*m. Let q be f(3). Is v(q) composite?
True
Suppose -93*o + 4435 = -88*o. Is o a prime number?
True
Suppose -5*q + 31910 = -3*o, 10*q - 5*q - 31880 = -3*o. Is q a composite number?
False
Suppose 5*y = -4*z + 66, 5*y = -2*z + 15 + 43. Let u = 10 - y. Let j(g) = -g + 10. Is j(u) a prime number?
False
Let j(k) = 2*k**2 - 16*k + 1. Is j(17) prime?
True
Let z(g) be the second derivative of -g**3/3 + 13*g**2/2 + 3*g. Is z(-9) prime?
True
Suppose 2*n + 3 = 11. Let a be (n/(-6))/(4/30). Let j(h) = -12*h - 3. Is j(a) a prime number?
False
Suppose 5*x = -2*n - 117, 0 = -5*x - n - 55 - 61. Let m = 14 - x. Is m composite?
False
Suppose -36*v + 41*v = 785. Is v a composite number?
False
Let b be (4/(-6))/(1/(-66)). Suppose b = 4*v - 0*v. Is v prime?
True
Let b be (-2)/9*3*-6. Let i be (-7)/14*6 + 1 + 2. Suppose i = -0*w + 2*w + b*g - 182, 4*g = -12. Is w a composite number?
False
Suppose 0 = s - 3*x - 14, -2*s + s - 3*x - 4 = 0. Suppose -s*r = -5*y + 1425, 586 = 2*y - 2*r + 4*r. Is y a prime number?
False
Is 5 + (-40)/8 + 179/1 composite?
False
Let g(t) = -t**3 + 8*t**2 + 3. Let j be g(8). Suppose 2*d + 3*w - 59 = 0, -4*w - 78 = -j*d + 19. Is d composite?
False
Let p(o) = 6 - 2 + 10*o**2 - 6 - 10*o - o**3. Suppose 0 = -3*q + 12, -12 - 24 = -3*u - 3*q. Is p(u) prime?
False
Let o = 46 + -31. Let f(c) = 1 - 18*c - o*c - c. Is f(-1) prime?
False
Let a(x) = x + 151. Suppose 0 = s - 5*s - 8, -s - 2 = -f. Let u be a(f). Let d = u - -108. Is d a prime number?
False
Let k be 1023/(-9) + (-4)/12. Let r = -59 - k. Is r a composite number?
True
Let s(k) = -k**2 - 11*k - 2. Let m = -18 - -11. Is s(m) a prime number?
False
Is (0 - -103)/(5 + -4) prime?
True
Let y(f) = 22*f**2 + 8*f + 11. Is y(-5) a prime number?
True
Suppose 165 = 5*d - 0*d. Suppose 3*j - d - 219 = 0. Let q = -47 + j. Is q composite?
False
Let f be -48*-1*2/(-3). Let a = 78 + f. Is a a prime number?
False
Suppose 3*r - 2*o + 254 = 5*r, -3*r + 381 = -5*o. Let t = 184 - r. Suppose h - 4*h + t = 0. Is h a prime number?
True
Is (-4518)/(-12)*6/9 composite?
False
Let g(d) = 5*d**2 + 3*d + 1. Suppose 8 = h + h. Let v be g(h). Suppose -v = -7*x + 4*x. Is x a composite number?
False
Suppose -2*k + 1770 + 1144 = 0. Is k a prime number?
False
Let q(x) = 217*x**2 - 2. Is q(-1) composite?
True
Suppose -3*p = -5*p + x - 14, -13 = 5*p + 3*x. Let l = 13 - p. Let f = l + -11. Is f a prime number?
True
Is -1*(0 + 419)*-1 composite?
False
Suppose 3*i = -2*z + 2515, 3358 = 3*i + i - 2*z. Is i composite?
False
Let i = 772 + 339. Is i a prime number?
False
Let k be 5/(-20) - (-42)/8. Let u = k + 18. Is u prime?
True
Let s be -1 - ((-2 - -4) + -6). Let d be (s + 57/9)*3. Suppose -d = -u + l - 4, -u - 3*l + 16 = 0. Is u composite?
True
Let u = -17 + 31. Is u a prime number?
False
Is 6/21 - 5433/(-21) a prime number?
False
Let p be (-4)/(-3) - 10/(-15). Suppose -6*g + p*g = -228. Suppose 4*y - 11 - 5 = 0, s + 5*y - g = 0. Is s composite?
False
Let h(b) = -b - 6. Let g(s) = -s - 7. Let z(m) = -4*g(m) + 3*h(m). Let t be z(-5). Suppose 2*u + 4*a = 126, -59 = -u - t*a + 16. Is u prime?
False
Is 6/(-14) + 934/7 composite?
True
Let w(u) = 182*u - 25. Is w(10) composite?
True
Suppose -3*u + 553 = 4*a, -5*a - 265 = -2*u - 962. Is a prime?
True
Suppose 119*i - 113*i = 36030. Is i prime?
False
Let j(k) = -2*k**2 - 2*k - 1. Let o be j(-2). Is o + 113 + 2/(-1) a composite number?
True
Let r(c) = -c**3 - 9*c**2 - 10*c + 3. Let u = 3 + -11. Let t(v) = -v**3 - 8*v**2 + v. Let m be t(u). Is r(m) a composite number?
False
Suppose 0 = -14*t + 9*t + 8465. Is t a prime number?
True
Let f = 5 + -1. Let w = 1 + f. Suppose -3*z + 102 = -3*j, -w*z + j = -z - 145. Is z prime?
True
Let y(t) = 6*t**2 + 5*t - 4. Let h be (0 - 0) + -4*1. Let o be y(h). Let b = -41 + o. Is b a composite number?
False
Let w(d) = 2*d**3 - 5*d**2 + 2*d + 3. Is w(4) composite?
False
Suppose -4*v - v = -5*h - 1320, -3*v + 5*h = -790. Is v prime?
False
Let c = 645 - 58. Is c composite?
False
Suppose 5*t = -20, 0 = 2*u - t + 3*t + 6. Let g(d) = -12*d + 4*d - u - 3*d. Is g(-2) a composite number?
True
Suppose -60 = v + 5*r - 152, 3*r - 526 = -5*v. Let d = -5 + v. Suppose j = 3*j - d. Is j a composite number?
True
Suppose 0*n = 2*n - 12. Let p(h) = 6*h**2 - 16*h + 7. Is p(n) prime?
True
Suppose -3*x + v = 2*v - 388, -2*x = -3*v - 255. Let y = x + -50. Is y prime?
True
Suppose -b + 900 = 3*b. Suppose 5*p + 131 = l + l, 3*l = -2*p + b. Suppose -3*t = 2*d - l, -4*d - t = 2*t - 143. Is d composite?
True
Suppose 4*v = -n + 99, v - 124 = -n - 13. Is n a composite number?
True
Let u = -386 + 1947. Is u composite?
True
Let a(g) = 5 + 2 + 0*g - 2*g - 5. Let j be a(3). Is j - -191 - 1*2 prime?
False
Suppose -3*w = -5*w + 526. Is w a composite number?
False
Let y(d) = -241*d - 5. Is y(-3) a prime number?
False
Let o = 11115 - 6173. Is (o/(-4))/7*-2 a composite number?
False
Let c(z) = z**3 - 6*z**2 + 12*z - 14. Is c(9) composite?
False
Is (3 - 416)/(-1) - 4 composite?
False
Suppose -2*r - 2*r = -16. Is r/2 - 220/(-11) composite?
True
Suppose 10 = 5*m - 0*m. Let v(k) = 46*k - 3. Is v(m) composite?
False
Suppose 0 = n - 0*n + 1. Let v = 1 + n. Suppose a - 10 = -v*a. Is a composite?
True
Let u(v) = 2*v**2 + 3*v + 1. Let c be u(-2). Let g be ((-11)/(-3))/(1/6). Suppose -d = -c*q + 51 + g, 34 = 2*q + 3*d. Is q a prime number?
True
Let o(y) = -y**3 - 2*y**2 + 4*y. Let t be o(-3). Let f(q) = 2*q**2 + 5*q + 2. Let r be f(t). Suppose -67 = r*w - 172. Is w a composite number?
True
Let b = -105 + 208. Is b composite?
False
Let w(o) = o**3 + o**2 + o - 1. Let k(s) = -3*s**3 - 2*s**2 + 1. Let a(j) = -k(j) - 2*w(j). Let n be a(1). Is (n - 2/6)*-159 composite?
False
Suppose u = -5*l + 2, 2*l - 19 = -3*u - 0*l. Suppose 4*d = u - 19. Is (13 - (-6)/d)*3 a composite number?
True
Let p(r) = -r**3 - 6*r**2 - 5*r + 7. Let b = 6 + -11. Let o be p(b). Suppose -z + 46 = o. Is z prime?
False
Let x be 75/(-18) + 2/12. Let h(w) = -w**2 - 4*w + 3. Let r be h(x). Suppose r*n - 158 - 79 = 0. Is n composite?
False
Let p(d) = 95*d - 6. Is p(1) prime?
True
Suppose 1948 = -2*c + 6*c. Is c prime?
True
Let k = 125 - -398. Is k a prime number?
True
Suppose -i + 5*j + 2742 = 0, 0 = -i - 4*j + 3395 - 608. Is i a prime number?
True
Let a = 1007 + -556. Is a a prime number?
False
Let w = 43 - -34. Is w prime?
False
Let y be 1/(-3 + (-5)/(-2)). Is ((-2)/(-4))/(y/(-8)) a composite number?
False
Let a = 130 + 61. Is a a prime number?
True
Let l = -279 - -572. Is l prime?
True
Let j(r) = 22*r**2 - 3*r + 4. Is j(-3) composite?
False
Suppose -3*h = h. Suppose -12 = -h*o + 3*o, -2*c + o = -10. Suppose c*m - 127 = -16. Is m prime?
True
Suppose 991 = 5*r - 1784. Suppose -r = 6*v - 11*v. Is v prime?
False
Let b be (149 - 2)/((-3)/(-4)). Suppose 4*f + 3*u + 185 = -b, 5*u - 520 = 5*f. Is -4*1*f/12 a composite number?
True
Is ((824/6)/2)/(46/138) prime?
False
Let t = 1737 - 366. Is t composite?
True
Let u = 45 + 114. Is u prime?
False
Let y be (0 - 3 - -2)*-1. Let p(v) be the third derivative of 16*v**4/3 - v**3/6 - v**2. Is p(y) a composite number?
False
Suppose -t + 4*m + 26 = 0, 3*t + 5*m + 17 = 129. Is t composite?
True
Let r(l) = 2*l**2 + 8*l + 5. Is r(-9) a composite number?
True
Let l = -2 + 5. Suppose -3*z - q = -4*q - 60, -l*z - 5*q + 68 = 0. Is z composite?
True
Suppose 3*m = 5*j - 271, 0*m - 4*m = 5*j - 257. Is j composite?
False
Let l(f) = -f - 2. Let a be l(-5). Is 3*(79/a + 1) a prime number?
False
Suppose -5*w + 4419 = k + 2*k, 4*k - 4*w - 5924 = 0. Is k a prime number?
False
Suppose 0*r - 3*r + z + 833 = 0, 5*z + 287 = r. Let f be 2/3 - (-8)/(-3). Is r/9 + f/(-9) prime?
True
Suppose -302 - 306 = -4*b. Suppose -5*j - r + b = 0, j - 4*r = -j + 74.