umber?
True
Let m be (2/4)/((-2)/(-48)). Suppose 0 = -4*c + 2*c + m. Is (-3)/9 - (-524)/c a composite number?
True
Suppose 263 = 5*d - 2. Is d prime?
True
Let t = 24 - 3. Let r = t - -16. Is r prime?
True
Let h = 5 - 2. Let s be 1/(-2) - h/(-6). Suppose -70 = -2*f - s*f. Is f a prime number?
False
Let y = -5 - -23. Suppose -14*c - 596 = -y*c. Is c composite?
False
Suppose 3*z - 2*z - 157 = 0. Is z prime?
True
Let n be (75/6)/5*2. Suppose m - 2*w = -3 - 4, 2*m = -n*w + 22. Suppose f - 13 - m = 0. Is f a prime number?
False
Let n(p) = -p + 3. Let q be n(3). Let f(l) = -8*l + q + 5*l**3 - 1 + 10*l**2 - 4*l**3 - 6. Is f(-6) prime?
False
Is 53547/26*4/6 a prime number?
True
Let n be 8/6*(4 + 2). Let x = -33 - n. Let p = x - -76. Is p prime?
False
Is (-3818)/(-10) + 12/(-15) composite?
True
Let h = -361 + 914. Is h a prime number?
False
Let o = 142 + -283. Let h = o + 227. Is h a composite number?
True
Suppose -p + 7 + 0 = 0. Let q(s) = -119*s + 9. Let f be q(p). Is (-12)/(-20) - f/10 a composite number?
False
Is -2 + 1/(-1) + (-42860)/(-10) a composite number?
False
Let t be 4*((-6)/4)/3. Is t*(-4)/(8/19) a prime number?
True
Suppose 0 = -2*y - 12 - 2. Let b = 9 + y. Suppose 3*q - 38 = b*q. Is q a prime number?
False
Let z(d) = 3*d**3 + d**2 - d + 1. Let w be z(1). Suppose -2 + w = -2*c. Is 171/12 + c/4 prime?
False
Let a(j) = -j**2 - 5. Let y be a(0). Let m = 8 + y. Suppose 98 = 2*k - 2*g, m*g = -0*g - 6. Is k composite?
False
Suppose 1 = 2*w - 3. Suppose -w*c + 0 = -20. Is c a prime number?
False
Let s = -189 + 352. Is s composite?
False
Let p = 9 - 6. Suppose -5*x + 13 = -p*x - 3*l, 3*x = -l + 14. Suppose 32 = x*w + 2. Is w composite?
True
Let h = 345 + -190. Is h prime?
False
Suppose -8*x + 95 = -441. Is x prime?
True
Let h = -21 - -88. Is h prime?
True
Is -249*4/(-12) + 0 a prime number?
True
Let u(f) = -f + 8. Let r be u(6). Suppose 2*s = -3*a - 5, -s + r*a = -3*a - 4. Is (-34 + 2/2)*s a composite number?
True
Let o(c) = c**3 - 12*c**2 + 14*c - 8. Is o(11) a composite number?
True
Suppose 3*k + 2*y - 3107 = 0, 1059 = k - 5*y + y. Is k a prime number?
True
Let l be (1/2)/(2/(-4)). Let i be ((-5)/3)/(l/3). Suppose -n - n = -i*h + 33, 2*n = 2. Is h prime?
True
Let q(s) = 7*s**2 - 8 - 3*s**3 - 2*s + 4*s**3 - 2*s**3 + 8*s. Is q(7) a composite number?
True
Let y(j) = j**2 - 10*j + 1. Let o be y(11). Suppose d + f - o = 4*f, 3*f + 96 = 5*d. Is d prime?
False
Let z = 2164 - 1155. Is z composite?
False
Let b(s) = -37*s - 1 - 4*s + 2*s. Suppose -10*q = -5*q + 10. Is b(q) a prime number?
False
Is (-2)/(-3 + (-60)/(-21)) a composite number?
True
Let t(i) = 7*i**2 - 14*i - 22. Is t(13) a prime number?
False
Suppose -u + 3*j + 28 = 3*u, 4*u = 2*j + 24. Suppose u*o + 0*b + b - 1031 = 0, o = 3*b + 274. Is o a prime number?
False
Let g(s) = 8*s**3 - 13*s**2 - 2*s + 13. Let t(v) = 17*v**3 - 27*v**2 - 5*v + 27. Let b(o) = 13*g(o) - 6*t(o). Let j be ((-5)/(20/(-24)))/1. Is b(j) composite?
False
Suppose -a + 3*q - 53 = -391, 3*a = -q + 984. Is a a composite number?
True
Suppose -101 + 496 = 5*r. Is r a prime number?
True
Let g(q) = -206*q + 3. Let f be g(-1). Suppose -343 = -5*b - 4*i, i = 3*b + 5*i - f. Is b composite?
False
Suppose -3 - 9 = -3*s. Suppose -2*k = -2 + s. Is -1*15*k - 1 composite?
True
Let h be 4 - ((-1 - 2) + 4). Suppose -153 - 9 = -h*v + w, 4*w = -3*v + 147. Is v composite?
False
Suppose z = -2*p + 13, 0*p + 33 = 5*p + 2*z. Let k = -5 + 19. Let b = k - p. Is b a prime number?
True
Let m be (-3)/(1/(2/(-3))). Let w = 10 + -5. Suppose m*y - q - 30 = -0*q, -w*q - 7 = y. Is y prime?
True
Is (2395/(-20))/(1/(-4)) composite?
False
Suppose 2*q + 3 = n, 5*q + 5*n = -0*n - 30. Let w be 32/(-6) - (-2)/q. Let v = 20 + w. Is v prime?
False
Suppose -5*z + 2968 = 3*z. Is z a composite number?
True
Let v = 10 + -5. Suppose -v*y = -122 + 17. Is y composite?
True
Suppose -2*o = 2*p - 226, -6*p - o - 541 = -11*p. Is p a composite number?
False
Suppose 2*p - 3*c = -0*c + 21, -3*p + 2*c + 39 = 0. Suppose -o + p = -0*o. Is o a prime number?
False
Let b = 238 - -69. Is b a composite number?
False
Suppose 4*l - 922 = 1074. Is l composite?
False
Let z(o) = -o - 2. Let i be z(-2). Suppose -109 = -b + 4*x, 0*b - b + x + 94 = i. Is b a composite number?
False
Suppose -3*u + 5*y + 41 = -2*u, -5*u - 4*y = -118. Let g(l) = -2*l**2 + l + 3*l**2 + u + 23. Is g(0) prime?
False
Let r be 0 - 0 - (-5 + -653). Let p = r + -267. Is p a composite number?
True
Let n be -1 - -1 - (37 - 3). Let s be (-4)/6 + n/(-6). Suppose 0 = -s*c + 9 + 26. Is c prime?
True
Let i = 19 + -13. Is i a prime number?
False
Let l(y) = -13*y + 1. Suppose -3*x = -0*x - 6. Suppose x*t + 30 = -3*t. Is l(t) a prime number?
True
Suppose 16 = -0*h - 4*h. Is 149/7 + h/14 a prime number?
False
Let i(a) = -a**2 + 6*a - 5. Let t be i(4). Let y(q) be the first derivative of 3*q**2 - 4*q - 1. Is y(t) a composite number?
True
Suppose 3*l + 3*g = 6, -4*g - 7 = -l - 0*g. Is ((-166)/4)/(l/(-6)) a prime number?
True
Let a = 34 - 12. Is (a/6)/(1/6) a prime number?
False
Let w(r) = -r**2 + r + 5. Let c be w(4). Let f = c + 10. Let q(s) = 2*s**2 + 3*s - 2. Is q(f) composite?
True
Let w(p) be the third derivative of -p**6/120 + 7*p**5/60 - p**4/6 - 7*p**3/6 + 6*p**2. Is w(5) prime?
True
Let b = 10 + -6. Suppose -2*o = -3*y - 184, -b*y = o - 3*o + 182. Is o a prime number?
False
Is (-228)/(-2) + 13 + -12 a prime number?
False
Suppose -l = 3*q - 2, l - 16 - 10 = 3*q. Suppose m + 11 = 4*r, -2 = -3*r + 3*m + 4. Suppose r*y - y = l. Is y a composite number?
False
Let w(z) = -33*z**2 + 2*z + 1. Let n be w(-1). Is (n/(-8))/((-3)/(-84)) a prime number?
False
Let z(a) = a**3 - a**2 - a - 1. Let v be z(0). Let m be 3 + (-4 + -3 - v). Is (-1 - -632) + 0/m a prime number?
True
Suppose -1 = -3*f + 11. Let l(p) = 7*p - f*p + 2*p - 1. Is l(2) a prime number?
False
Suppose p + 3*p = 4. Let j be 28 - ((-1)/p + 1). Is (-1 - 0)*j/(-2) a prime number?
False
Let m(j) = -j**3 - j**2 + j - 1. Let v be m(2). Is 0 - 2 - (-1 + v) a prime number?
False
Let u = 9714 + -6328. Is u a composite number?
True
Suppose -5*y = -2*y - 1113. Is y composite?
True
Suppose 2*m - 4 = 3*w + 5, -5*m - 4*w + 80 = 0. Suppose 0 = 9*i - 5*i - 20. Suppose i*a + m = -2*b, 2*b = -b - 3*a. Is b a composite number?
True
Suppose 0*q - q + 111 = 0. Is q composite?
True
Let m(u) = -175*u + 1. Let w(r) = -176*r + 1. Let a(z) = -6*m(z) + 5*w(z). Let p(g) = -g**3 + 5*g**2 + 1. Let h be p(5). Is a(h) composite?
True
Let v(r) = 228*r**3 + r**2 - r. Let d be v(1). Is (d/9)/(4/6) a prime number?
False
Let k(o) = 68*o + 1. Let b be (-2 + 5)*(-10)/(-6). Is k(b) prime?
False
Let r(y) = -2*y**2 - 16*y - 13. Let o be r(-10). Let u = o + 106. Is u a prime number?
True
Is (40 - -7) + (-8)/2 a composite number?
False
Let z(j) = 6*j**2 - 8*j - 12. Let p(m) = 7*m**2 - 8*m - 13. Let o be -4 - (3 - 4 - -3). Let d(a) = o*z(a) + 5*p(a). Is d(7) a prime number?
False
Let y(h) = -4*h**3 - 19*h**2 + h - 31. Let x(n) = n**3 + 6*n**2 + 10. Let t(o) = 7*x(o) + 2*y(o). Is t(-7) a composite number?
True
Let b(d) = -19*d + 19. Is b(-10) composite?
True
Let h(s) = -12*s + 13 + s**2 - 6 + 3. Let n be h(8). Is (n/4)/((-2)/28) a prime number?
False
Let b(m) = m**3 + 6*m**2 - 6*m + 11. Let p be b(-7). Suppose -p = -z, y - 6*z = -z + 59. Is y a composite number?
False
Suppose 0*x + 629 = 5*x - 3*n, -373 = -3*x + 4*n. Is x a prime number?
True
Suppose 1185 = 7*y - 4*y. Is y a prime number?
False
Let s = -1 + -4. Let i(g) = -g**3 - 2*g**2 - 6*g + 6. Is i(s) a prime number?
False
Let v(s) = 59*s - 5. Let j be v(10). Is (-2)/(-4)*(j - -1) composite?
False
Let y = 5 - 4. Suppose 0 = -4*d + 51 + 29. Let q = d - y. Is q prime?
True
Let l be 31/(4/2 + -3). Let q(w) = -51*w - 1. Let m be q(1). Let n = l - m. Is n prime?
False
Suppose 4*c + 1730 = -c. Let q = 49 - c. Suppose 3*u = -2*u + q. Is u a composite number?
False
Let o be (-2)/(-6) - (-26)/(-6). Let p = o + 11. Is p prime?
True
Suppose -3*g + 363 = 3*n, -5*n = -5*g - 180 + 755. Suppose -h + 3*r = -276, 5*r + 154 = h - g. Suppose -4*u = -4*q + 588, 0*q - u + h = 2*q. Is q prime?
False
Let m(g) = 11*g - 2. Let t be m(2). Let v be 5/t - (-81)/(-4). Is ((-176)/v)/(4/10) a composite number?
True
Suppose -5*i + 177 = -2*f, -5*i - 4*f + 2*f + 173 = 0. Suppose -2 = -y - 0*y