number?
True
Suppose -2042 = -8*l + 414. Is l composite?
False
Suppose -4*j = -25 - 31. Is j a prime number?
False
Suppose -2*y - 90 = -4*y. Suppose -y = j - 4*j. Is (-2)/3*3 + j a composite number?
False
Let m(i) = 3*i**3 + 18*i**2 - i + 18. Let x(b) = b**3 + 9*b**2 + 9. Let q(s) = s + 2. Let o be q(-4). Let w(y) = o*m(y) + 5*x(y). Is w(7) a composite number?
True
Let w(h) = -h**3 + 9*h**2 - 8*h + 5. Let a be w(8). Suppose 0 = -4*s - r + 882, 207 = s + a*r - 4. Suppose -2*g = -s - 33. Is g a composite number?
False
Let a be (-588)/1 + 0/(-1). Let w = -295 - a. Is w a prime number?
True
Let j(b) = -12*b - 5. Let v(z) be the second derivative of z**3/6 + 3*z**2/2 + 2*z. Let d be v(-8). Is j(d) composite?
True
Suppose 3*f - 3*b - 909 = 0, 0 = 3*f + 3*b + 65 - 998. Is f prime?
True
Let c be (-27)/(-6) - 1/2. Suppose 3 = w + o - 1, w = c*o - 1. Is w + 10/(0 - -1) composite?
False
Suppose -6*r + 2*r = -8. Let z(w) = w**3 - w**2 - 3*w + 3. Let n be z(r). Let i(b) = 156*b**2 - b. Is i(n) composite?
True
Let j(r) = -1 + 3 + r**2 + 3*r + 0*r**2 + 0*r. Suppose -3*y - 32 = 5*c, -y + 3*c = -0*y - 8. Is j(y) prime?
False
Suppose 6*u - 8 = 2*u. Suppose -u = 3*o + 10. Is 465/9 + o/6 prime?
False
Suppose -3*u + 31 = -4*v, 4*v = 5*u + v - 37. Suppose -67 = -b - 2*i, i - 349 = -u*b + 5*i. Is b a prime number?
False
Let c(v) = 12*v**2 + 4*v - 4. Let r be c(-4). Suppose 5*n = -p + 277, 3*p + 5*n - 1297 = -446. Let m = p - r. Is m prime?
False
Let n(k) = 78*k - 11. Let x be n(5). Let g = 632 - x. Is g a prime number?
False
Let s be 1*13*(4 - 1). Let b be (0/1)/(-5 + 3). Suppose -3*x + s = -b*x. Is x a prime number?
True
Suppose -6*f = -2*f + 20. Let k(l) = -75*l + 6. Is k(f) a composite number?
True
Let f = 110 + 39. Suppose -5*n + 5*c = -295, -2*n + 3*c - 30 = -f. Is n a composite number?
True
Suppose p + 5 = 2*p. Suppose p*l - 50 = -3*n, -n = 5*l - 4*n - 20. Is l prime?
True
Let x(f) = 670*f - 23. Is x(4) a prime number?
True
Is (-11270)/(-8) - (-23)/92 a prime number?
True
Suppose 3*t - 4*g - 3 = 0, 4*t - 45 + 10 = -5*g. Suppose -t*k - 1009 - 511 = -3*z, 4*z - 2024 = 4*k. Is z a prime number?
False
Let a(j) = -j**3 - 6*j**2 - 11*j + 4. Is a(-5) composite?
True
Let p(y) = 8*y - 1. Let n = 2 + 2. Let f = n + -3. Is p(f) a composite number?
False
Let t = -110 - -68. Let q(l) = l + 2. Let d be q(-4). Is ((-3)/d)/((-3)/t) a prime number?
False
Let s = -3 - -7. Let i = s + -3. Is i/(-3) + (-296)/(-6) a prime number?
False
Let v(o) = o**3 + 16*o**2 - o - 8. Let s be v(-16). Is 491 - s - (0 - 4) a prime number?
True
Is -3 - 2/(-3)*276 a composite number?
False
Is (332/16)/(1/4) a prime number?
True
Let m = 208 - 526. Let f = -184 - m. Is f a composite number?
True
Let f = 11 - 7. Suppose -i = 2*b + 4*i - 1489, f*b = -i + 2951. Is b a prime number?
False
Suppose -4*l - 4*u = 0, -l + 4*u + 15 = -0*u. Is -1*(-597)/l - -4 composite?
True
Let z(i) = i**3 - i + 2279. Is z(0) a prime number?
False
Let d be 130/8 + (-1)/4. Let x = -6 + 6. Suppose x = 2*i - 10 - d. Is i a prime number?
True
Let o = 1 + -5. Let p = o + 5. Is 1 + 20 + 2*p composite?
False
Let t(k) = -k**3 + 13*k**2 + 19*k + 19. Is t(14) prime?
True
Let n(i) = -i**2 + 5*i - 4. Let b be n(3). Suppose 2*s = -b*s + 12. Let j(c) = c**2 - 3. Is j(s) a composite number?
True
Suppose 5*q = 8*q - 213. Is q composite?
False
Let r(z) = -z**3 + 2*z**2 + z - 2. Let o be r(2). Let j = o + 0. Suppose -120 = -u - j*q + 5*q, -2*u + q = -195. Is u composite?
True
Suppose -1 = -s - 3. Let o(w) = 0*w**2 + 29*w**3 - 1 - 39*w**3 - w - 3*w**2. Is o(s) composite?
True
Let s(w) be the first derivative of 5*w**2/2 + 3*w - 1. Let d = 12 + -6. Is s(d) a composite number?
True
Let c(j) = 2*j**2 - 6*j + 6. Let x be c(4). Let a be x/6 + (-1)/3. Is -1 - 2/a - -35 composite?
True
Let r(f) = -f**3 - f**2 - f. Let p be r(-1). Let y(o) = 134*o. Is y(p) prime?
False
Suppose -3*y + 33 = 4*r, 5*r + 5*y + 1 = 36. Suppose 5*h - 82 + r = 0. Is h a composite number?
True
Let z = 7 + -4. Let o be (-1)/(-4) - (-1)/(-4). Suppose o = z*g + g - 24. Is g prime?
False
Suppose 5*n = 10*n - 785. Is n a prime number?
True
Suppose -2*x + 6*x = -24. Let t be 45*(x/2)/(-9). Let u = -4 + t. Is u composite?
False
Suppose -120 = -4*h + 3*w, -3*h - 5*w - 25 + 115 = 0. Let c(l) = 43*l - 1. Let m be c(2). Let f = m - h. Is f composite?
True
Let o(b) = 290*b**2 - b - 1. Let n be o(-1). Suppose -5*a = z - n + 25, 0 = z. Is a a prime number?
True
Suppose z - 5*z + 12 = 0. Let m be (-114)/(-8)*(-7 + z). Let l = 96 + m. Is l composite?
True
Suppose 5*t - 2131 = 1024. Is t a composite number?
False
Suppose -4*i + 2263 = -2301. Is i composite?
True
Suppose 15*f - 19130 = 10*f. Is f composite?
True
Let a(j) = j**2 - 2*j. Let m(d) = d**2 - d - 2. Let f be m(-2). Let b be (1 - -13)/(-2 + f). Is a(b) a composite number?
True
Suppose 4*f = -u - 15, -4*u - 7 = 3*f + 14. Let d = f - -24. Is d a prime number?
False
Let d(w) = -2*w + w**3 - 3 + 4*w**2 + 5*w**2 - 3*w**2 - 5*w**2. Is d(4) prime?
False
Suppose 4*p = -5 + 13. Is 71*p/(-4)*-2 composite?
False
Suppose -5*g = -23693 - 5052. Is g composite?
False
Suppose 2151 = 4*b - 1253. Is b composite?
True
Let w be (-1)/(-4) + (-161)/(-28). Let z(o) = -3*o**3 - 9*o**2 + 6*o - 1. Let r(g) = g**3 + g**2 - 1. Let v(t) = 4*r(t) + z(t). Is v(w) a prime number?
True
Let d = 1508 - 723. Is d composite?
True
Is (-3)/2 - ((-1369)/2 - 6) composite?
True
Suppose -3*m + 514 = m + 2*x, -x = 4*m - 511. Is m a composite number?
False
Let o(f) = -1. Let g(m) = 9*m + 9. Let u(d) = g(d) + 2*o(d). Let c be u(6). Let a = 98 - c. Is a a prime number?
True
Let l(p) = p + 8. Let h be l(0). Let g be ((-30)/h)/((-4)/80). Suppose 7*z - 2*z = g. Is z composite?
True
Let q be 410*(1 + (0 - -3)). Let c = q - 1087. Is c prime?
False
Is -4 + (3 + -140)*-1 a composite number?
True
Let a(r) = r**3 + 17*r**2 + 12*r + 23. Is a(-14) a prime number?
True
Suppose 3*h + f - 1 = 0, 3*f = -2*h + 2*f + 1. Suppose -3*i = -h*i - 357. Suppose -l - 3*l - 145 = -5*m, 3*m - i = -4*l. Is m composite?
True
Is (-2 + 4)*(367 + 1) - 3 a composite number?
False
Let j(z) = 8*z**2 + 6*z - 15. Is j(14) a prime number?
True
Suppose n = -0*n + 4*u - 9, 2*n + 18 = -2*u. Let t(r) = r**3 + 9*r**2 - 12*r + 4. Let m be t(n). Let l = m + -79. Is l prime?
False
Let m = 2 - 5. Let k = 12 + m. Is k/(3 - 0) + 128 prime?
True
Suppose 377 = 3*r + 3*u - 688, -u - 1405 = -4*r. Suppose 2*s = -2*s + r. Suppose 2*n - s = -22. Is n a composite number?
True
Suppose -3*g - 2*h + 797 = 0, 0 = -g + 2*h - 7*h + 283. Is g composite?
False
Let s(q) = 40*q**2 + 9*q - 6. Is s(3) a prime number?
False
Suppose 10*q - 7*q = 45. Is q prime?
False
Let d = 7 - 4. Is (-2)/(-6) + 434/d composite?
True
Let d(x) = 41*x**2 + x + 5. Let n be d(-3). Suppose 2*a - 4*w = 3*a - n, -339 = -a + 4*w. Is a prime?
False
Let m(z) = z**2 + 4. Let y be m(0). Suppose y*b = -0*b - 4. Let h = 25 - b. Is h a prime number?
False
Let i be (-116)/12 + 4/6. Let x = i - -48. Suppose -x = -4*h + 1. Is h a composite number?
True
Suppose 3*j = 2*j - 5*h + 45, 2*j - 138 = 2*h. Is j a prime number?
False
Let a(j) = -6*j**2 - j + 1. Let m be a(1). Let o = -4 - m. Suppose o*p - 3 - 35 = 0. Is p a composite number?
False
Let p be 1 - (0 + -1 + 0). Let c be p - ((-201)/1)/3. Is (-2 - -3)/(3/c) a prime number?
True
Let b(u) = u**3 + 9*u**2 + 7*u - 5. Let n be b(-8). Suppose 0 = -n*j - 107 + 338. Let c = -18 + j. Is c a prime number?
True
Suppose -h = -3*p - 7, -h = 3*p + 1 - 8. Let w(r) = 4*r + r**3 + h*r**2 - 9 + 2*r + 2*r**2. Is w(-8) prime?
True
Let g be 1/(1*(2 + -3)). Is (-7)/(0 - (-1)/g) a prime number?
True
Suppose -2*g - 15 = o, 0 = 3*o + o + 12. Let t = 6 + g. Suppose 2*d - 6 = 0, 3*b - 3*d + 0*d = t. Is b prime?
True
Let u be (6/(-10))/(2/(-10)). Let l = 11 + -6. Suppose -j + 3*a = -5, -l*a + 12 = -u. Is j composite?
True
Let s(c) = -1 - 3 + 4*c + 3. Let o be (-1)/((-13)/6 - -2). Is s(o) a composite number?
False
Let f(l) = -8*l - 6. Let v be f(-5). Let r = v + 1. Is r a composite number?
True
Suppose -p - 3*p = 2*s - 26, 4*p = 4*s + 8. Suppose -s*v + 435 + 12 = 0. Is v prime?
True
Suppose 0 = -3*a + 5678 - 2009. Is a a prime number?
True
Suppose 10*r + 3*r - 27989 = 0. Is r a prime number?
True
Let d(p) = p + 18*p - 3*p - 5. Is d(6) a composite number?
T