- 4*l**3 + 0*l**2 - 3*l**2. Is w(q) a composite number?
True
Let v(l) = 132*l + 1. Let f be v(7). Suppose -3*d + f = 5*z - 6*d, d + 185 = z. Is z prime?
False
Let u = -21 + 24. Suppose 0 = -4*a + u*r + 73, 0 = -2*a - r + 6*r + 33. Is a a prime number?
True
Is 1/((-2 + -2)/4) + 3038 a composite number?
False
Let g(i) = -223*i + 3. Is g(-4) a prime number?
False
Is (-6005 + 7)*(-2 - 3/(-2)) prime?
True
Let l(f) = f. Let h be l(5). Suppose 0 = -q + 4, 5*k - 1330 = -0*q - h*q. Suppose -g - g = -k. Is g prime?
True
Let k(t) = -t**2 + 3. Let q be k(-3). Is (530/q)/(4/(-12)) a composite number?
True
Suppose -2*o = -3*c + 292, -o = 5*c - c - 371. Is c composite?
True
Let r(k) = -k - 11. Let p be r(-7). Let l = -4 - p. Suppose -5*m = y - l*y - 191, 0 = -5*m - 4*y + 179. Is m composite?
True
Suppose -10*p + 6*p = -776. Is p a composite number?
True
Let s be -2 - (4 + 1*-2). Let n(i) = -i**3 - 2*i**2 + 5*i + 1. Is n(s) composite?
False
Let q(y) = y**2 + 4*y - 2. Let t be (4/3)/(1/(-3)). Let p be q(t). Is p*(15/(-6) - -1) prime?
True
Let t = -156 + 835. Is t a prime number?
False
Is ((-737)/2)/((5 + 2)/(-14)) composite?
True
Suppose 5*j + 305 = d + 64, -d - 5*j = -261. Is d a prime number?
True
Let p = -890 + 1773. Is p a prime number?
True
Let t(k) = 5*k - 11. Is t(10) prime?
False
Let f be (-4)/(-16) - (-23)/4. Let a be 3*2/3*-4. Is -3 + f - 0 - a a composite number?
False
Suppose 3*y - 4*j - 6171 = 0, 4*y - 2059 = 3*y + 2*j. Is y a composite number?
False
Let d be (2/(-6)*0)/(-1). Suppose -3*r = -d*r - 9. Suppose -32 = -r*t - 11. Is t composite?
False
Let i = -1034 - -1453. Is i a composite number?
False
Is -83*1*(-9 + 8) a composite number?
False
Suppose 0 = 2*z - 3*z + 77. Suppose 2*x = 19 - z. Let h = 40 + x. Is h composite?
False
Let j be 2 + -2 - (8 + -2). Is (-4)/j - (-458)/6 composite?
True
Suppose 15 = -4*j + 3, -5*o + 5*j + 500 = 0. Is o composite?
False
Let r be 0/(-1)*(-3)/6. Suppose -3*j - 3*v - 6 = 0, 4*j + 3*v = -r*v - 7. Let q(l) = -116*l**3 + 2*l + 1. Is q(j) a prime number?
False
Suppose -7*t = -2*t - 10. Suppose -1319 = -5*l - t*q, -4*q + 5*q = 2. Is l a prime number?
True
Let i(a) = 2*a + 3. Is i(2) a prime number?
True
Let j = -21 - -100. Is j a prime number?
True
Suppose 4*z = 199 + 373. Is -1 + z + (-5 - -4) prime?
False
Let h be 6/(-2)*10/(-15). Let d(b) = -3 + 4 - 4 - h*b. Is d(-3) a composite number?
False
Suppose -4*b + 2*s - 68 = -0*s, 5*s = -4*b - 68. Let t = b + 30. Is t composite?
False
Suppose 0 = -2*v, 1141 = u + 3*v + v. Is u a prime number?
False
Suppose -4*b + 2*m + m - 151 = 0, -4*m = -20. Is b/(4*2/(-12)) a prime number?
False
Suppose l - 2*b - 34 = -0*l, -130 = -5*l + 2*b. Suppose 0 = -5*a + 5*y + 260, 0*a + 5*y + 32 = a. Let q = a - l. Is q composite?
True
Let s(g) = -38*g - 1. Let q(p) = -p - 4. Let f be 20/(-6) + 2/6. Let u be q(f). Is s(u) a prime number?
True
Let o = -6 - -8. Let d be (0 - o/(-3))*51. Let l = 13 + d. Is l a composite number?
False
Let x(y) = -2*y. Let v be x(-1). Let i(l) = l**2 + 2*l - 3. Let a be i(-3). Suppose a = -u - v*m + 73, u + 0*u = 4*m + 55. Is u composite?
False
Let g = 5943 + -2696. Is g a composite number?
True
Let p(t) = t**2 - 10*t - 4. Let l be p(8). Let v be l/(-6)*(2 + -8). Is 5/v - 141/(-4) prime?
False
Is (-3 - -3) + 2 + 251 a prime number?
False
Suppose -2*h - 2 = -0. Let s be -9 - -2*(h - 0). Let v = s + 24. Is v a prime number?
True
Let v = 53 - 82. Let d = 50 - v. Is d a composite number?
False
Let m = 2 - -6. Suppose 0 = -4*h + m, l + 2*l - 3*h = 0. Suppose -20 - l = -j. Is j prime?
False
Suppose 0*q + q = 10. Suppose -4*n + q + 2 = 0. Suppose 5*d - 7*a + n*a - 393 = 0, 5*d - 381 = -2*a. Is d a composite number?
True
Suppose 5*s = s - 8. Let b(g) = -2*g**3 - 3*g**2 + g + 2. Let d be b(s). Suppose -f = -3*q + f + 97, 0 = d*q + 5*f - 160. Is q a prime number?
False
Let q = -8 - -17. Is 603/6*6/q a composite number?
False
Let u(f) = -6*f - 1. Let j(h) = -h**3 - 7*h**2 + 9*h - 2. Let y be j(-8). Is u(y) prime?
True
Let g = -125 + 214. Is g a composite number?
False
Suppose 0 = -3*r - 7 + 43. Suppose z + 0*l - 34 = -l, -4*l - r = 0. Is z composite?
False
Let j = 59 - 39. Suppose -1685 = 6*b - b. Is b/(-5) + (-8)/j composite?
False
Let o(r) = 70*r**2 - r + 2. Let h be o(2). Suppose 0 = 4*w - 428 - h. Is w composite?
True
Suppose s + 5020 = 5*s - 4*l, 5*l - 3765 = -3*s. Is s a prime number?
False
Let b(n) = -5*n**3 - 2*n**2 - 2*n + 1. Let u be b(-3). Suppose -g - g = -u. Is g a composite number?
True
Suppose -7*b - 202 = -8*b. Is b a prime number?
False
Suppose -r - 3*r + 508 = 0. Is r prime?
True
Suppose -5*u - 4*d - 76 = 0, 4*u + 59 = -d - 4*d. Let s = u + 71. Is s a prime number?
False
Let a be 16 - (1 + -3 + 0). Let c = 145 - a. Is c composite?
False
Let k(y) be the first derivative of 29*y**3 + y**2 + 2*y + 9. Is k(-1) composite?
True
Suppose -4*g + 303 = -3*k - 2*g, 183 = -2*k - 5*g. Let x = -30 - k. Is x prime?
False
Let a(g) = g**2 - 13*g + 9. Let n be a(10). Is 2/7 - 120/n a prime number?
False
Let m be (1 - (0 + 2)) + 0. Let g be m/(-2) - (-1)/(-2). Suppose 0 = 4*q - 0*q - 2*r - 58, g = 4*q - 4*r - 56. Is q prime?
False
Let y be 4/((-3)/(273/(-1))). Suppose -3*q - 10 + y = 0. Is q composite?
True
Suppose -3*i + 103 = k - 47, -k = 4*i - 153. Is k prime?
False
Suppose -x + 4*x - 175 = -m, -2*m + 405 = -5*x. Let z be 18/(-15)*m/(-4). Let h = 104 - z. Is h a composite number?
False
Suppose 12*g + 2558 - 22874 = 0. Is g prime?
True
Suppose 3*q = -3*s + 6, 2*s - 2*q + 2 = -6*q. Suppose 260 = s*f - 15. Is f a composite number?
True
Suppose 2*p + p = 24. Suppose p*f - 715 = 3*f. Is f a prime number?
False
Let o(y) = y. Let c be o(4). Suppose 3*x - 12 = z, c*z + 0*x + 26 = x. Let r(q) = -q**3 - 4*q**2 + 7*q + 3. Is r(z) composite?
True
Suppose -1 = -q + 2*b, -4*q + 10 = -2*b - 3*b. Suppose q*x - 78 - 7 = -3*c, -5*c - 45 = -5*x. Is x a composite number?
True
Suppose p = 4*p + 102. Suppose 0 = -5*j + 1106 - 131. Let s = j + p. Is s a prime number?
False
Let o = -2734 + 4175. Is o composite?
True
Let g(v) = 4*v + 0*v**2 + 0*v**2 - 3 + v**2 - 3*v**2. Let l be g(2). Is (l - 1)*(-37)/4 a composite number?
False
Let b(t) = -38*t - 9. Suppose -2*u - 3*u - j = 30, u = 5*j - 32. Is b(u) prime?
True
Let f = -4 - -7. Suppose 0 = f*q, 3*c - 3*q - 429 = -0*c. Is c prime?
False
Let n be 0/2*6/6. Suppose n = -b - 2*b - 5*k + 64, 4*b - 4*k = 96. Is b prime?
True
Suppose 0 = -11*d + 6*d + 85. Suppose -2*r = -9 - 109. Suppose d - r = -2*p. Is p composite?
True
Suppose -11*b - 27 + 5 = 0. Let t = 11 - -8. Is 1*-2*t/b a prime number?
True
Suppose -4*a = -g + 4495, -4*g + 6*a - a + 17991 = 0. Is g composite?
True
Let m(o) = 15*o**2 - 3*o - 8. Is m(-2) composite?
True
Suppose 7*x - 211 = 6*x. Is x prime?
True
Let t be (-7 - 1)/(1/(-10)). Let z = t + 39. Is z a prime number?
False
Let h be 49/(-21) - (-4)/(-6). Is h/(-1) - 88/(-4) composite?
True
Suppose -193 = -w - 4*g, 0 = 5*w - 6*w + 3*g + 165. Is w prime?
False
Let o(t) = -2*t + 15. Is o(6) composite?
False
Suppose -h = 3*h - 12. Let b(g) = 8*g**3 - 3*g**2 + 4*g. Is b(h) a composite number?
True
Let w = 203 - -176. Is w prime?
True
Let r(i) = 3*i**2 + 3*i - 7. Let v be r(4). Suppose 5*d - v = y + 147, -3*y + 180 = 5*d. Is d a prime number?
False
Let l(r) = r**2 - r. Let s be l(2). Suppose u - 6 = -s*i - i, -52 = -5*u - 4*i. Is u/18 - 55/(-3) prime?
True
Let j = 259 - 176. Is j a prime number?
True
Let l(i) = -i**3 - 14*i**2 - 2*i - 2. Is l(-15) composite?
True
Suppose 183 = 4*t + 3*a - 1126, -5*a + 1630 = 5*t. Is t a composite number?
False
Suppose -3 = 3*v - 15. Suppose 460 = -0*r + v*r. Is r a prime number?
False
Suppose 4*m = 0, 5*m + 590 = -3*u + 5*u. Is u composite?
True
Let o = 939 + 992. Is o prime?
True
Let x be (-4 + 0)/(-2) + -1. Suppose 0 = 3*l - 2*t - 19, 0 = t - 2*t + x. Let r(i) = -i**2 + 9*i + 7. Is r(l) prime?
False
Let k be -9*4/(-6) + -2. Suppose k*i = 3*i + 298. Is i prime?
False
Suppose 0*a = 4*a + 32. Let k = a - -13. Suppose -k*j + 273 = -2*g, -g = -3*g + 2. Is j a composite number?
True
Let v(i) = 3*i + 3. Is v(2) composite?
True
Suppose -841 - 815 = -4*x. Suppose 5*k = s + x, 5*s = 3*k - 264 + 20. Is k prime?
True
Let p = 17 - 12. Suppose p*i = 4*q - 486, 3*i + i = 3*q - 365. Is q composite?
True
Let j(t) = -5*t**2 