rue
Let c = -17 + 20. Suppose -3*a + 451 + 207 = -5*n, 0 = -c*a + 4*n + 659. Is a a composite number?
True
Suppose 15 = -0*h - 3*h, -5*o = 5*h - 370. Is o a composite number?
False
Let b(g) = g**3 + g**2 - 2*g + 10. Is b(0) a prime number?
False
Let z be 0 + 3 - -1*2. Let f = z + 154. Suppose -p = -f + 46. Is p a prime number?
True
Suppose -3*p = g + 2*p - 29, -3*g = -p - 7. Let c be (6/(-4))/((-3)/g). Is c/(-3) - (-406)/6 a prime number?
True
Let g be -128 + 2 + -3 + 3. Let p be (g/(-8))/(1/(-4)). Let m = 142 + p. Is m a composite number?
False
Suppose -3*b = 2*b + 20. Let i = 10 + b. Is i composite?
True
Let b = 383 + 250. Is b a composite number?
True
Is (-115)/(-1) - (5 + -3) a prime number?
True
Let o(s) = s**2 - 6*s + 3. Let r be o(6). Is 85 - (-6)/r - -2 a prime number?
True
Let k be (-66)/(-8) + (-3)/12. Suppose 3*x + x - k = 0. Suppose 0 = x*l + 2*l + 4*v - 828, -l + v + 215 = 0. Is l composite?
False
Let l(y) = 9*y**2 + 5*y + 3. Is l(-7) a prime number?
True
Suppose 5*a + s + 0*s = -1, -5*s = a + 5. Suppose z - 5*u - 41 = a, -2*u = 3*z - 0*z - 72. Is z composite?
True
Let a = -48 + 529. Is a a prime number?
False
Is 5 + (1 - -248) - 5 a composite number?
True
Suppose h - 80 = 5*h. Let t = -9 - h. Suppose 3 = 2*x - t. Is x a composite number?
False
Let v be -2*(-1)/((-1)/(-5)). Is 4/(-10) - (-2954)/v composite?
True
Let o = -469 + 858. Is o a prime number?
True
Suppose -8025 = -18*t + 3*t. Is t a composite number?
True
Suppose 152 - 6504 = -8*l. Is l a composite number?
True
Let t = -24 - -143. Suppose 4*d = d - 240. Let i = d + t. Is i composite?
True
Suppose 7*l - 2*l + 30 = 3*x, l = -3*x + 30. Let t = x - 8. Suppose -4 = a, t*n + 5*a = a + 58. Is n a composite number?
False
Let a(w) = 2*w**2 + 3*w + 3. Let z(k) = 2*k**2 + 4*k + 4. Let q(n) = 7*a(n) - 6*z(n). Is q(-2) prime?
True
Is (-110088)/(-48) - (-1)/(-2) composite?
False
Suppose -10 = 4*b + b. Let z be (-18)/6 + (1 - b). Suppose z = m + m - 254. Is m a composite number?
False
Let r(l) = -2*l - 7. Let u be r(-7). Let k(b) = 11*b - 3. Is k(u) a prime number?
False
Let z(m) = m**2. Let j(t) = -6*t**2 + 3*t - 4. Let h = 8 + -12. Let a(q) = h*z(q) - j(q). Is a(-3) a prime number?
True
Suppose 3*p = -s + 74, p + 0*p + 183 = 2*s. Is s prime?
True
Let q(n) = 1061*n + 40. Is q(3) prime?
False
Suppose 325 = 5*k - 45. Is k composite?
True
Let j(q) = -6*q - 2. Let o be j(11). Let m(s) = s**3 - 2*s**2 + 5*s + 3. Let w be m(5). Let i = w + o. Is i a prime number?
False
Let z = 401 - 139. Is z prime?
False
Suppose 2*s = o, -5*s = 4*o + 3 - 16. Let i be (s/(2/(-44)))/1. Is (-2 + 6)/((-4)/i) a composite number?
True
Let p(h) be the first derivative of 2*h**3 + h**2/2 + 6*h - 3. Is p(5) a composite number?
True
Let v be 1*3/(-3)*-3. Suppose v*l - 64 - 29 = 0. Is l prime?
True
Let i = 8 - 6. Suppose -i*y + 37 = -145. Is y prime?
False
Let r(p) = -p + 1. Let m(d) = 5*d - 6. Let f(l) = m(l) + 4*r(l). Let w be f(2). Suppose -3*u = 4*s - 313, w = -s - 0*s - 4*u + 75. Is s composite?
False
Let f = 168 + -49. Is f prime?
False
Suppose -12 = -4*y + y. Let i = 69 - y. Is i prime?
False
Suppose -c = c - 170. Is c prime?
False
Suppose -2*p + 10306 = 4*v, v = -4*p + 2710 - 151. Is v prime?
True
Let n(f) = f**2 + f - 4. Let o be n(-3). Let t be (-16)/(-6) + o/6. Is 1/(0 + 1/t) a prime number?
True
Suppose 6*d = 2*d. Suppose -2*k - 2*l = -d*k + 94, -k = -2*l + 32. Is k*-1*2/6 a prime number?
False
Let n be 1 + 1 + -1 - -6. Let i = n - 5. Suppose 4*h = 2*j - 5*j + 29, -5*j + 67 = i*h. Is j a composite number?
True
Is 3 - (-89 - (1 + 1)) prime?
False
Let f(k) = k**2 + 5*k - 4. Let v be f(-6). Let w be (1 + 0/(-2))*v. Suppose 0 = -7*n + w*n + 2*g + 325, -g - 195 = -3*n. Is n composite?
True
Let y(n) = 1. Let i(o) = 60*o - 9. Let u(w) = i(w) + 2*y(w). Is u(6) composite?
False
Let r be (72/(-16))/(3/(-148)). Let z = -135 + r. Is z composite?
True
Suppose -4*n + 32 = -0*n. Let j(c) = 2*c**2 - 13*c + 8. Let g(v) = 2*v**2 - 12*v + 7. Let o(s) = 3*g(s) - 2*j(s). Is o(n) prime?
True
Let v = -73 - -68. Suppose -5*y + 0*y = -10. Is 267/5 + y/v a prime number?
True
Suppose 297 + 258 = 5*m. Is m composite?
True
Let q(w) be the first derivative of w**3/3 + 127*w - 3. Is q(0) a prime number?
True
Let w(g) = 2*g - 8. Let f = 1 + 5. Let p be w(f). Suppose 0 = -2*q - 8, q = -n - p*n + 571. Is n a prime number?
False
Let i(q) = 5*q**2 + 4*q - 11. Is i(-6) a composite number?
True
Let y be 8 + 9/(-5 - -2). Suppose -2*n + 22 - 3 = y*r, -4*n + 4*r - 4 = 0. Suppose 0 = -4*k + 4*u + 100, -n*k = -5*u - 28 - 22. Is k a composite number?
True
Let z = -343 - -1820. Is z a prime number?
False
Let i = 347 + -202. Is i composite?
True
Suppose -j - 2*z - 5064 = -5*j, -3*j + 2*z + 3797 = 0. Is j prime?
False
Is (1 + -2)/(1/(-43)) composite?
False
Let x(i) = 13*i**2 - 5*i. Let s be x(4). Let u = s - 109. Is u a prime number?
True
Suppose 0 = -20*l + 17*l + 7251. Is l composite?
False
Let f(i) = i**2 - 3. Let o be 1/(-2)*(-9 - -3). Suppose 4*x = z + 19, o*z + 22 = 5*x - 7. Is f(x) a prime number?
True
Let v = -453 - -1218. Suppose 2*j - 5*p - v = 0, -5*j - 4*p = -p - 1990. Suppose 7*a - j = 2*a. Is a a composite number?
False
Suppose -2*w + 114 + 178 = 0. Suppose -w - 61 = -3*f. Is f composite?
True
Let z(l) be the second derivative of 1/6*l**4 - 2*l + 2*l**2 + 4/3*l**3 + 0. Is z(-5) prime?
False
Let v(z) = 18*z**2 + 24*z - 1. Is v(-10) a prime number?
True
Suppose 0 = 2*o - 46 - 2. Let f = o - 15. Is f composite?
True
Let c(a) = 5*a**2 + 1. Let w be c(1). Let r be w/9 - 1/(-3). Is r - (-138)/3 - 0 composite?
False
Suppose -4*u - n - 4*n + 28 = 0, 4*n - 10 = 3*u. Suppose 0 + 7 = d - u*h, 0 = -3*d - 3*h + 48. Is d a prime number?
True
Let q(l) = -l**2 - 15*l - 14. Let f be q(-14). Suppose f*b = -b + 146. Is b composite?
True
Let z be (-5)/(-2)*(-28)/(-35). Is (-159)/z*(0 - 2) a composite number?
True
Let k be ((-40)/(-25))/(2/(-10)). Is (k/16)/(1/(-298)) prime?
True
Suppose 5*w - 1751 = -3*a, 3*a - 2021 = 5*w - 250. Suppose 3*z - a = 2*z. Is z a composite number?
False
Let i = 970 - 679. Is i prime?
False
Suppose -5*z + 473 = -417. Is z composite?
True
Let i(p) = -3*p**2 - 3*p + 2. Let v(w) = -w**2 - 1. Let n(t) = i(t) - 2*v(t). Let z be n(-4). Is z - (0 + 143*-1) a composite number?
True
Is 73*2 + -3 + 6 composite?
False
Let h(t) = -t**2 - 9*t - 6. Let g be ((-14)/4)/(2/4). Let r be h(g). Let j = 22 - r. Is j composite?
True
Suppose -l = -381 - 164. Is l a prime number?
False
Is (1164/(-6))/(2*-1) a prime number?
True
Suppose 2*a - 4*t = 18, 0 = 2*a - 3*a + 5*t + 15. Let p = a - 5. Suppose 0 = -3*v - p*v + 21. Is v a composite number?
False
Suppose 3*i = -5*t + 2244, -6*i = -5*i - 2*t - 737. Is i a composite number?
False
Let b be 2/2 + -8 + 9. Suppose -b*z - 185 = -5*j, z + 149 = 4*j + 4. Is j a prime number?
False
Suppose 5*a + 276 = 3*q, -5*q + 477 = -3*a + 1. Is q composite?
False
Let r = -2840 + 5299. Is r a composite number?
False
Suppose -y = -4*y + 147. Suppose -2*r + 3*f + y = 0, -2*r - 4*f - 76 = -5*r. Let a = r + 50. Is a composite?
True
Let k = 75 + -26. Is k a composite number?
True
Suppose 5*o + i - 2 = 2, 16 = o + 4*i. Let a = 4 + o. Suppose -5*d = -a*d - 77. Is d a prime number?
False
Suppose 3*g + t - 15 = 4*t, 2*g - 3*t - 13 = 0. Is 25337/143 + g/(-11) composite?
True
Suppose -75 = 4*s + s. Let c be 1*s/(-3) - 0. Suppose 43 + 132 = c*h. Is h a composite number?
True
Suppose -j + 2*g + 6 = 0, -g + 4*g = -3*j. Suppose 0*d + j*d + 18 = 0. Let q = d + 34. Is q a prime number?
False
Let v be ((-1)/2*0)/(-2). Suppose -4*w + v*w + 308 = 0. Is w a composite number?
True
Suppose 0 = -5*j + 3*a + 3082, 5*a = -j + 888 - 266. Suppose 0 = 2*q - j + 177. Is q/3 - 2/(-3) a composite number?
True
Let v = 0 - -4. Let o = v - 6. Is o*(0 - (-30)/(-4)) a composite number?
True
Let c = -14 - 10. Let l = c + 94. Let f = l - 27. Is f composite?
False
Let x(y) = y**2 - y + 11. Is x(18) a prime number?
True
Let c be 12*(-23)/3*4. Let p = c + 667. Is p a composite number?
True
Let j be -2 - -3 - (-2 + 3). Suppose -5*x + 18 = -j*x - 2*v, -1 = x - 5*v. Is 62 - (x + -2 + 1) a composite number?
False
Let b(r) = 31*r - 61. Is b(14) a prime number?
True
Let b(w) = 51*w + 14. Let a(k) = -52*k - 14. Let v(c) = -2*a(c) - 3*b(c). Is v(-7) a prime number?
F