w = 4*i - 130. Is i prime?
True
Suppose -3*v = -5*v + 4. Let i be ((-1)/(-1))/((-1)/(-201)). Suppose -2*w + v*u + i = -w, u = 3*w - 578. Is w a composite number?
False
Suppose -2*t - 161 = -3*t. Is t a composite number?
True
Suppose 29 - 195 = -2*n. Is n composite?
False
Let b = 3 - 3. Let o be -1 + 563 + (b - -3). Suppose o = 4*l + l. Is l a prime number?
True
Let o be 3/2*8/6. Suppose -4*h + 2*h + 3*i + 487 = 0, -o*h + 489 = -i. Suppose -9*l + h = -4*l. Is l composite?
True
Let i = 1078 + -478. Let a = i + 359. Is a composite?
True
Suppose 12 = -0*c + 4*c, n - 5 = -c. Suppose -o - n*o = -12. Suppose 665 = z + o*z. Is z a prime number?
False
Suppose -303 = -3*l - 5*r, 5*l - 524 = -4*r + 2*r. Suppose -3*u = -u - l. Is u a composite number?
False
Is (-8)/44 - (-10718)/22 a composite number?
False
Suppose -3*k = 3*l - 33, -2 = k - 2*l + 2. Let r be 3/6 + k/4. Suppose r*f - 178 = 240. Is f composite?
True
Let n be 2*2/(-4)*-96. Let c(y) = -9*y + 4. Let p be c(5). Let f = p + n. Is f a prime number?
False
Suppose -16 = 5*z - 1. Let w = 30 - 21. Is 19/(z/w*-3) composite?
False
Let w be (-1)/(0 - (-2)/4). Is 2*(2 - 123/w) a prime number?
True
Suppose -5*b + 3*t + 210 = 0, -2*b - 3*t + 83 = -1. Let x be 1 - (1 - 93 - 0). Let j = x - b. Is j a composite number?
True
Suppose -3*p + p = -1906. Is p prime?
True
Let l(s) = -5*s. Let q be l(2). Let c(k) = 2*k**2 + 16*k + 15. Is c(q) composite?
True
Let k = 615 - 404. Is k a prime number?
True
Let i(b) = 2 - 8 - 3*b + 13. Is i(-10) a composite number?
False
Let x be 10*(94/4 - -3). Suppose 7*a = 8*a - x. Is a composite?
True
Let t = -374 + 625. Is t prime?
True
Suppose s = 6*s - 9685. Is s composite?
True
Suppose -6 = -0*i + i. Is -447*((-16)/i + -3) prime?
True
Let y(n) = -n**3 - 4*n**2 - 5*n - 3. Let o be y(-3). Let v be 9/6 + 250/4. Suppose d = 5*z - v, -2*z - o*z - 5*d = -70. Is z composite?
False
Suppose 99 = s + 3*a, -3*a - 19 = 4*s - 370. Suppose -5*o + s = -86. Is o prime?
False
Suppose 1121 = 3*w - 1870. Is w composite?
False
Let k(a) be the third derivative of -a**4/24 + 7*a**3/6 + 2*a**2. Let x be k(6). Is x*((-114)/(-1) - 1) composite?
False
Suppose 4*x - 22 = -2*v, 5*x - 2*v - 10 = -v. Suppose 17 = x*m + 2. Is m/((3/3)/11) a prime number?
False
Suppose 3*g - 8*g = -10. Is (0 - g)*(-191)/2 composite?
False
Suppose r - 106 - 114 = 0. Let o(v) = v**2 - 1. Let k be o(1). Suppose k = -5*w + w + r. Is w prime?
False
Let w = 14 - 9. Suppose 5*d + 0*d - 4*i = w, -4*d - 4*i + 40 = 0. Suppose 94 = 4*r - 2*l, d*r + 2*l - 104 = -0*l. Is r composite?
True
Suppose -7 - 16 = -4*i - a, 25 = 5*i + 5*a. Is (-3)/i + 86/4 a prime number?
False
Let t = 152 + -96. Suppose 0 = -2*r + 8. Suppose -3*m = 6*l - l - t, r*m - 92 = 2*l. Is m a composite number?
True
Let s be 3/12 - 252/(-16). Is ((-2836)/s)/(2/(-8)) a prime number?
True
Let a(h) = -h**2 - h + 4. Let s(x) = -x**2 + 3. Let f(y) = 4*a(y) - 5*s(y). Let d be f(-4). Let u = d + -23. Is u prime?
False
Let p = 941 - 424. Is p prime?
False
Suppose 9 = 5*g - 1. Suppose g*i - i - 10 = 0. Is i a composite number?
True
Let o(k) = 4 - k - 11 - 11*k - 6*k. Is o(-5) composite?
False
Suppose -4*w = 2*p + 132 - 678, -5*w + 4*p = -650. Suppose 4*m - 4*h - 268 = -0*h, 2*m - w = -2*h. Is m a composite number?
False
Let p(y) = 85*y - 6. Let g be p(-6). Let x = 809 + g. Is x composite?
False
Let a = 30 + -26. Suppose -a*m - 20 = 0, -5*m - 59 = 2*u - 332. Is u a prime number?
True
Suppose 4 + 5 = 3*y. Suppose 0 = -3*j + 5*u + 53, 0 = j - 0*j - y*u - 15. Is j a composite number?
True
Let z = -12 + 15. Let x(v) = 53*v. Is x(z) a prime number?
False
Let d be 8*(2 - (-9)/(-6)). Suppose a + 435 = d*a. Is a a composite number?
True
Suppose 3*a - 8 = -5*t + 11, -4*a + 2 = -5*t. Suppose 39 = t*b - 5. Is b a composite number?
True
Suppose -5*s = 2*t - 980, s - 2950 = -5*t - 454. Let u = 837 - t. Is u a composite number?
False
Let i(s) = 100*s**2. Let f be i(-1). Suppose f = 5*m - 75. Is m prime?
False
Let v be (3 - 2)/((-2)/(-758)). Is (v/3)/(4/12) a composite number?
False
Suppose -2*k = -5*u + 4, 2*u + 6 = u - 3*k. Let h = 1 - -3. Suppose h*q - 148 = -u*q. Is q composite?
False
Suppose r + 228 = 961. Is r composite?
False
Suppose 74 + 121 = 3*s. Is s a prime number?
False
Let v = 10185 - 7112. Is v composite?
True
Let m(u) = -40*u. Let i be m(-3). Suppose 5*z - i = 3*z. Let l = z - 29. Is l a prime number?
True
Suppose 4*l + 0 - 24 = 0. Let k(m) = -m**3 + 4*m**2 - 7*m. Let c be k(l). Is (-2)/(-3)*c/(-4) a prime number?
True
Suppose 0 = 4*p + 3*f - 1621, 0*p - 5*f + 1224 = 3*p. Let q be 8*(1 + 141/(-6)). Let j = p + q. Is j a composite number?
False
Let o(v) = 4*v**2 - 1. Let b be o(-1). Suppose 2*i - b*i + 7 = 0. Suppose f - 24 = i. Is f a prime number?
True
Let b(a) = -3*a + 2. Let s be b(2). Let k(l) be the third derivative of -l**4/4 - l**3/3 - 2*l**2. Is k(s) prime?
False
Let q = 1383 + -728. Is q prime?
False
Is (-1628)/8*(2 - 4) composite?
True
Is (-1912)/(-24)*(1 + 2) composite?
False
Suppose -4*b + 7*b - 2553 = 0. Is b composite?
True
Suppose 9*t + 1892 - 6149 = 0. Is t composite?
True
Let p(m) = -m - 1. Let a be p(-6). Suppose -2*j + o - 4 = -a, -5 = -4*j + o. Suppose -i - 4 = -g, j*g - 5*i + 7 = -0*i. Is g prime?
False
Let l(q) = 12*q**2 + q + 8. Is l(-5) prime?
False
Let m(j) = -j**2 - 4*j + 7. Let l be m(-5). Let v be 4/6 + 8/(-12). Suppose v = -l*i + 5 + 1. Is i composite?
False
Is ((-102)/(-85))/(4/230) a composite number?
True
Suppose -5*q = -61 - 104. Suppose 4*w - 3*w = q. Is w a composite number?
True
Is (-5)/25 + (-4398)/(-15) a prime number?
True
Is (-651)/(-21) + 1*4 prime?
False
Let p = 3 - 3. Is (-4)/(p - -2) - -225 composite?
False
Let o = 10 - 15. Let b = o - -5. Suppose -3*j - h + 672 = b, 0 = -j + 2*j + 5*h - 238. Is j composite?
False
Suppose 0 = -6*u + 4801 - 1687. Suppose c = -3*y + 1221, 3*y = 4*c + 702 + u. Is y prime?
False
Suppose -c - 6 = 4*x, -3*x - 7 = -c + 1. Suppose 2*o = 5*w + 652, -2*o + 4*w + 1304 = c*o. Is o prime?
False
Let q(k) = -k**2 - 8*k. Let s be q(-6). Let x = s - -12. Is ((-14)/8)/((-3)/x) a composite number?
True
Let t be ((-1)/(-4)*4)/1. Let p = 8 - t. Is p a prime number?
True
Let h be (25/4)/((-1)/(-4)). Suppose 5*p = o - 110, -6*p + p = h. Is o a composite number?
True
Let b be (-3)/6*-6*-19. Is b/(-2)*12/18 composite?
False
Let i be (0 + 1)/((-1)/(-2)). Suppose -3*b = -4*l + 76, l - 57 = -2*l + i*b. Is l prime?
True
Suppose o + 2*o - 69 = 0. Let h be -1*3*o/3. Let q = -10 - h. Is q prime?
True
Let i(z) = -z**3 - 14*z**2 - z - 12. Is i(-14) a composite number?
False
Let m(n) = n**2 + 45*n**2 + 1 + 2*n**2. Is m(1) a composite number?
True
Suppose 1 - 6 = -i. Suppose i*v + 98 = 4*m + 3*v, m + 3*v = 35. Let q = 48 - m. Is q prime?
False
Suppose -3 = -3*j - 3*c - 0*c, 0 = 2*j + 4*c - 8. Suppose 3*s - d - 46 = 4*s, -2*d + 104 = -2*s. Is 2 + -2 + j - s composite?
False
Suppose 80 - 430 = -4*w + 2*l, 0 = 5*w - 5*l - 430. Is w composite?
False
Suppose -z + 4*z - 189 = 0. Let m = 2 + 3. Is (1 - z)*m/(-10) composite?
False
Is -3 + 21881/5 + (-5)/25 a composite number?
False
Let h(q) = 37*q - 10. Is h(7) a composite number?
True
Let q(w) = w**2 + w + 1. Let k(z) = -1. Let y(n) = -n**3 + 6*n**2 + 2*n - 3. Let x(l) = -6*k(l) - y(l). Let a be x(6). Is q(a) prime?
True
Suppose 0 = 4*a + 5*o + 132, -3*o + o - 33 = a. Let x = a + 82. Is x a composite number?
True
Let l(r) = r**2 - r - 1. Let q be l(-2). Suppose f + 0*i - 62 = i, -2*f + q*i = -109. Is f prime?
True
Let s(f) = -f**2 - 6*f - 4. Let d be s(-3). Let r(g) = -g**3 + 7*g**2 + 9*g - 6. Is r(d) a composite number?
False
Let v = 1202 - 856. Let a = 745 - v. Suppose r + a = 4*r. Is r composite?
True
Let c be 135/6*(-6)/(-3). Is c/12*1*4 a composite number?
True
Is 1/4 + (-32898)/(-24) a prime number?
False
Suppose 4*q - 189 - 403 = 0. Let r = 62 - 57. Suppose r*b - q = b. Is b prime?
True
Suppose b = -4*t + 455 + 70, 4*b = 4. Is t composite?
False
Let y = -10 - -89. Is y a composite number?
False
Let y(m) = m**2 + m + 19. Suppose 3*b - 6 = -z + 5*b, 2*z + 9 = -3*b. Is y(z) a prime number?
True
Let g(m) = -3*m - 5*m - 2 - 4. Let c be (10 - 8)/(2/(-4)). Is g(c) composite?
True
Let x(j) = j**2 - j + 263. Is x(0) composite?
False
Let o(j) = -10303*j - 2. Is o(-1) prime?
True
Let j be (-8)/(-3