v(r). Let k be f(-4). Suppose y - 13 = k. Is y a composite number?
True
Let h(u) = -u**3 + 4*u**2 + 5*u - 1. Let m be h(5). Let z be (0/m + 0)/(-1). Let s = z + 7. Is s a composite number?
False
Let m(a) = 160*a**2 + a - 3. Is m(-2) composite?
True
Let p be (-6)/(-27) + (-5811)/27. Let w = -4 - p. Is w prime?
True
Is (-508)/20*(-20)/4 composite?
False
Suppose 0 = -4*t + t - 30. Let g(q) = q**2 - 3*q - 3. Is g(t) prime?
True
Let p(l) = -l**2 - l + 4. Let h be p(0). Suppose h*g + 1 + 51 = 0. Is g*2*(-14)/4 prime?
False
Let y = -9 - -20. Let f = y - -3. Let m = f - -5. Is m prime?
True
Suppose 0*c + 4 = -2*c. Suppose 2*o = 2*h - 119 + 7, -4*h - 4*o + 232 = 0. Let a = c + h. Is a a composite number?
True
Suppose 3*w + 0*w = -297. Let q = 68 + w. Let g = 50 + q. Is g a composite number?
False
Let z be (-18)/(-81) - 16/(-9). Suppose -w + 2*j = 6*j - 25, -2 = -z*w + 4*j. Is w composite?
True
Suppose 2*n = 4*n + 16. Is -113*1*(n - -7) a composite number?
False
Let n be 14/(-18) + (-6)/27. Let o = 14 - n. Is o a composite number?
True
Is (-373)/(-2) + (-15)/10 prime?
False
Let z(g) = -g**3 + g**2 + 4*g - 4. Let o be z(3). Let h = -3 - o. Suppose -4*v - 147 = -h*v. Is v prime?
False
Let b(a) = -15*a**3 - 3*a**2 - 5*a - 4. Let d(q) = q**2 + 8*q + 4. Let t be d(-7). Is b(t) a composite number?
False
Let i(k) = -12*k - 3. Let n be i(-6). Suppose -2*g = g - n. Is g prime?
True
Is (((-40)/15)/(-4))/(2/17337) a prime number?
True
Suppose -4*i + 10 = 2*b, 6*i + b - 9 = 3*i. Suppose 3*q - 4*h = 37, q - i*h = -3 + 2. Is q a composite number?
False
Let z(b) = 522*b - 5. Is z(2) a composite number?
False
Suppose 4*u - m - 4991 = 2*m, 0 = -2*m - 2. Is u a composite number?
True
Let c(t) = t + 1. Let n be c(5). Suppose -v - 2 = -b, -b - 4 = 2*v - n*v. Suppose g = -v*g + 42. Is g prime?
False
Let i(b) = 29*b + 2. Let z(f) = 59*f + 3. Let o(y) = -5*i(y) + 3*z(y). Let x(k) = -k - 3. Let h be x(-4). Is o(h) prime?
True
Suppose 3*v + w - 3 = 0, 5 = 4*v - 5*w - 18. Let c be (-1)/(6/(-27))*v. Let y(d) = 14*d + 1. Is y(c) prime?
True
Let f(z) = z**2 - 3*z - 3. Let g be f(4). Is (141/6)/(g/2) composite?
False
Suppose -4*o = -o. Suppose 4*d + 2*g - g - 182 = o, 0 = 2*g - 4. Let u = -14 + d. Is u prime?
True
Let p be (1 + 0)*(-3)/(-1). Suppose -3*l = -4*i - 152, -3*l + p*i + 161 - 14 = 0. Suppose -4*r + 5*a + 97 = -5, 0 = -2*r - a + l. Is r prime?
True
Let l(w) = -56*w - 5. Let f(v) = 55*v + 4. Let k(n) = 5*f(n) + 4*l(n). Is k(1) prime?
False
Let d(f) = -f + 10. Suppose -4*g = 2*h - 24, -3*h - 2*g = -5*g - 18. Let v be d(h). Is 1/v - (-182)/4 composite?
True
Let d(c) = -7*c - 3. Let f(n) = -1. Let y(u) = d(u) + 2*f(u). Let g be y(-9). Let h = g + -23. Is h a composite number?
True
Let c = 3 + -4. Let p = c - -4. Suppose -2*o + 2 = -p*o, g + o = 53. Is g prime?
False
Let m(t) = t**3 + 8*t**2 - 13*t + 9. Let k(s) = -s**3 + s**2 - s + 1. Let o(l) = -2*k(l) - m(l). Is o(10) a composite number?
False
Suppose 8837 = 4*a - 3*l, a - 2219 = 2*l + 2*l. Is a a composite number?
False
Suppose -k - 5*t = -3*t, 4*t = 5*k. Suppose k = 5*s - 7*s + 598. Is s a prime number?
False
Suppose 3 = -j + 6. Suppose -4*t + 33 + j = 0. Let k = -7 + t. Is k a prime number?
True
Suppose 2*a + f = 2720, -4*a + 4*f = a - 6813. Is a prime?
True
Suppose -3*y + 2*f + 157 = -0*f, 0 = -4*y + 5*f + 214. Is y a composite number?
True
Suppose -7 = -5*y + 13. Suppose y*z = -4*q + 80, 5*z - 2*q + 0*q - 65 = 0. Is z a composite number?
True
Let n(s) = -s**2 - 5*s - 2. Let y be n(-5). Let l be -1 + y/6*-3. Suppose 4*f + 2*a - 46 = l, 5*f - 4*a - 110 + 33 = 0. Is f a prime number?
True
Suppose 6*f - 483 = 807. Is f prime?
False
Let w = 45 + -32. Suppose 2*m = -3 - w. Is (-50)/m + (-2)/8 prime?
False
Let w(q) = 3*q**2 + 12*q - 2. Let s(b) = 16*b**2 + 60*b - 9. Let f(z) = 2*s(z) - 11*w(z). Let g be 2/(-2*(-1)/(-11)). Is f(g) prime?
False
Let u = -12 + 15. Suppose -u*c = c - 364. Is c a prime number?
False
Is (-18)/12*1*-674 composite?
True
Suppose -1306 = -2*v - 3*i, -v - 5*i + 653 = -0*i. Is v composite?
False
Let f be -1 + 2 + 1 + -6. Is (402/(-9))/(f/6) a prime number?
True
Suppose 0*t - 3*t = 0. Suppose 0 = -5*y - t*y + 805. Is y prime?
False
Let l(r) = -3*r**2 + 2*r**2 + 7*r**3 + 0*r**2 - 3*r + 1 + 10*r**3. Is l(2) a composite number?
False
Let z be 3 - (7 - (-1 + 1)). Let u = 77 + z. Suppose -m - 6 = -u. Is m a prime number?
True
Let y(r) = 11*r**2 + 3*r + 11. Is y(8) prime?
True
Suppose -7 = -z + 15. Suppose t - z = 4*s, -7 - 8 = 3*s. Is (-1 + 2)/(t/74) prime?
True
Let g = -7 + 12. Suppose -185 = -g*y + 700. Is y a prime number?
False
Let b(k) = 2*k**2 - k - 1. Let x be b(2). Suppose 396 = 2*y + t + 83, -4*y + x*t = -591. Suppose -y = -l - l. Is l composite?
True
Suppose -2*h - 1 - 3 = 0. Let x be h/(-4)*(-1 + 9). Suppose -x*s + 0*a - 4*a + 68 = 0, 0 = s - 2*a - 23. Is s a prime number?
True
Suppose 6*y - 2*y = 340. Suppose -4*j + 3*f = -272, j - 5*f - y = -0*f. Is j composite?
True
Suppose v + 23 = 3*x + 6, 3*v = 3*x - 45. Let p = -21 - -35. Is 4/p + (-430)/v a composite number?
False
Let l(n) = 10*n**2 + n + 12. Let u be l(-5). Suppose -3*a + u = 4*v - 0*v, -4*a + 5*v = -291. Is a a composite number?
False
Let v = 822 + -335. Is v a composite number?
False
Let s = 2 - 4. Let x(v) = -3*v**3 + 4*v**2 + 3*v + 1. Is x(s) prime?
False
Let w = 1 + -9. Let o be w/(-6)*(-15)/2. Let j = o + 14. Is j a composite number?
True
Let p be 4/8*(0 - -20). Let w = -16 + p. Is 2*(-9)/w - 0 a prime number?
True
Suppose -5*j + 1049 = 124. Let l = j + 78. Is l a prime number?
True
Suppose 724 = -n + 5*n. Let j = n + -128. Is j a composite number?
False
Let l(h) = 13*h + 12. Let k be l(11). Suppose 3*s = 10 + k. Is s prime?
False
Let z(r) = 9*r - 1. Suppose -5*j + m + 7 = 0, 0*m + 5 = j - 2*m. Let d be z(j). Is (-4)/1*(-14)/d a prime number?
True
Suppose -v = -5*j + 950, 3*j - v = -2*v + 578. Is j a prime number?
True
Let d(l) = l**3 + 8*l**2 + 5*l - 2. Let x be d(-6). Let s = x + 6. Suppose -2*u + s = 8. Is u prime?
True
Suppose 0 = -o - 5*d - 17, -5*o = -0*d + 3*d + 19. Let k(g) = -62*g - 3. Is k(o) a prime number?
False
Suppose -5*j = 4*n - 615 - 2473, -3*j + 1851 = 3*n. Let x = j + -409. Is x prime?
True
Let o be 1/(1/149) - -2. Let u = o - 94. Suppose x - u = 2*w, w + 4*w + 5 = 0. Is x composite?
True
Suppose -3*k - 2*m + 16 = -0*k, m + 4 = 0. Suppose 0 = 5*q - 38 + k. Is q a composite number?
True
Let a(n) = 5*n**2 + n - 3. Let k be a(3). Let z be (-8)/3*k/(-6). Suppose -4*w - 4*m = w - 90, z = 4*m. Is w composite?
True
Let w(s) = -10*s**3 - s**2 + 2*s - 1. Let n be w(1). Let p be (n/25)/(2/(-170)). Let o = p - 15. Is o prime?
True
Let m = -7 + 4. Let q = -5 - m. Is 3/(q - -5) + 12 a prime number?
True
Let o(r) = -3*r + 517. Is o(0) composite?
True
Let j(k) = 10*k**3 + 15*k**2 - 31*k + 27. Let w(m) = 3*m**3 + 5*m**2 - 10*m + 9. Let x(o) = 2*j(o) - 7*w(o). Is x(-7) prime?
False
Let h = 194 + -107. Is h a prime number?
False
Suppose 716 = p - 3*u, 3*p - 2*u = -7*u + 2106. Is p a prime number?
False
Suppose 4*n = 2*s + s + 2222, 4*s = 3*n - 1663. Is n composite?
False
Suppose 0 = 3*h + 2*r + 1, h - 5 = -0*r - 2*r. Is -6 + 44 + h/1 prime?
False
Suppose 4*l = 36586 - 9366. Is l composite?
True
Suppose 0 = -0*r + 3*r - 12. Suppose -86 = -5*j - 4*w + 23, r*w + 38 = 2*j. Is j prime?
False
Let v = 30 - 15. Is v a prime number?
False
Let q be (0 + 2*4)*1. Suppose -w = -q - 5. Suppose -4*f = d - 3*f - w, 0 = -4*d + f + 42. Is d prime?
True
Is (-4 + 44/12)*-1227 composite?
False
Suppose 2*a + 0*a = -14. Let w(s) = -2*s**3 - 7*s**2 - 8*s + 2. Let g be w(a). Suppose -5*i = -1254 - g. Is i composite?
False
Let g = -29 + 130. Suppose g = 2*c + 39. Is c prime?
True
Is (10 + 0)*43/2 a composite number?
True
Let f(j) = j. Let b be f(0). Suppose 0 = -4*a - 2*g + 818, 5*a + g + 4*g - 1020 = b. Is a a composite number?
True
Is 1/((-12)/(-12327)) + (-3)/12 prime?
False
Let k = -49 - -116. Is k composite?
False
Let o = 78 - -7. Let j = -70 - -196. Let h = j + o. Is h a prime number?
True
Let f = 2 + -2. Suppose 33 = -f*w + 3*w. Is w prime?
True
Let y be (-31)/(-11) - (-6)/33. Suppose -y*g = 2*g. Is 1*33*(1 + g) a prime number?
False
Suppose -2*f + 22 = -0*f. Let v = f + -8. Suppose -v*t = -x - 4*x - 53, -2*x = 4*t - 36. Is t a composite number?
Fal