number?
False
Suppose 0 = -2*t + 5*t - 5*u - 920, -640 = -2*t - 2*u. Suppose 3*q - 2*y = -y + 925, t = q + 3*y. Is q prime?
False
Let y = 0 - 2. Let u be (-1)/(y + 182/92). Let f = -33 + u. Is f prime?
True
Let o(y) = y**2 + 12*y - 6. Let r be o(-6). Suppose 2*x + 0*x = 128. Let w = x + r. Is w prime?
False
Suppose 0 = 2*a + 2*a - 844. Is a a prime number?
True
Let d(c) = -c**2 + c + 1. Let i be d(2). Let h = 32 - 9. Is h - (1*-2)/i composite?
True
Let a be (-2384)/10 + 6/15. Let q be 3/(-5) + 10/(-25). Is (q + 3)*a/(-4) prime?
False
Let c(g) = 20*g - 1. Suppose 0 = s - d - 9, -s - 1 = -0*s + d. Is c(s) a composite number?
False
Suppose -5*m + 709 + 4251 = 0. Is (0 - -1) + m/2 composite?
True
Let h = 4 + -2. Let x be (0 - -3) + -9 + h. Is 809/4 + x/16 prime?
False
Suppose 2*s = 4*h - 14, s - 3*s + h = -1. Suppose 0*o + 6 = s*o. Suppose -w = -4*z + o*w + 197, -290 = -5*z - 5*w. Is z composite?
False
Let m(r) = 0*r**3 + 0*r**2 + 23 - r**2 - r**3. Is m(0) composite?
False
Let f(m) = 29*m**2 + m - 13. Is f(-8) prime?
False
Suppose -5*f + 5 + 6 = -2*k, -3*f = -k - 7. Suppose f*u = 3*s + 1146, -2*u + 1529 = 2*u - 5*s. Is u composite?
True
Suppose -51*i = -46*i - 10765. Is i composite?
False
Let s(g) = g. Let c(p) = -13*p - 3. Let t(f) = -c(f) - s(f). Is t(4) composite?
True
Let j = 24 - 20. Suppose b - j*h - 31 - 212 = 0, -5*h + 460 = 2*b. Is b prime?
False
Let d(h) = -h**3 - 2*h - 3. Let m = -20 - -16. Is d(m) a prime number?
False
Suppose 4*y - 8 = 4*i + 8, -18 = -3*y + 5*i. Let j(a) = 83*a. Is j(y) a prime number?
True
Is -4*((-1246)/8 + 0) a prime number?
False
Is (-246535)/(-65) + 6/39 prime?
True
Let k(l) = -l**2 + 26*l - 66. Is k(19) composite?
False
Let p(i) be the first derivative of i**4/4 + i**3/3 + i**2/2 - 2*i + 1. Let n be p(0). Let q = 11 + n. Is q composite?
True
Let c = 134 + -51. Suppose z + 4 = 0, c = 2*s + 3*s + 3*z. Is s a prime number?
True
Let d(h) = -2*h + 0*h + h + 2*h + 13*h**2 - 1. Is d(-2) a composite number?
True
Suppose 0 = 5*k - 3*r + 2*r + 117, 2*k + r + 51 = 0. Let x be -1 + -1 - k/(-6). Is ((-254)/x)/(1/3) prime?
True
Let y be (-4)/10 + 156/(-10). Let f = y + 8. Let t = 23 + f. Is t a prime number?
False
Let v = -340 + 597. Suppose -81 = 2*x - v. Suppose g + 4*j - 15 = 0, x = 2*g + 2*g + 2*j. Is g prime?
True
Let n = -286 + 725. Is n a composite number?
False
Suppose -4*s + j + 2955 = 0, 5*j + 2195 = 2*s + s. Suppose -h - s = -5*h. Is h composite?
True
Suppose 0 = -4*y + 2*t + 1788, 6*y - 7*y - 2*t = -457. Is y a prime number?
True
Suppose 0 = 2*t - 3*t + 5. Suppose 2*l - t = -g, 6*l - g = l - 5. Suppose m - 4 = l, -5*x + 8*m + 235 = 3*m. Is x composite?
True
Let v be (228/(-15))/((-6)/75). Suppose 5*p - v = 5. Is p composite?
True
Let i(n) = -n - 2. Let y be i(-2). Suppose 12 = -y*l + 4*l. Suppose l*h - 185 = -2*h. Is h a composite number?
False
Suppose 10640 = 3*o - w, 7115 = -2*o + 4*o - 5*w. Is o prime?
False
Let p(u) = 9*u**3 + 3*u**2 - 2. Let y be p(-2). Let m = y - -151. Is m composite?
False
Suppose -5*h + 16 = -74. Suppose 4*x - 2*x = -30. Is (h/x)/((-4)/30) composite?
True
Suppose 93 - 335 = -3*t + z, 0 = -3*z - 15. Let v(u) = u**3 - 5*u**2 + u - 1. Let q be v(5). Suppose -n - 5*y = -33, q*n - y - 11 = t. Is n prime?
True
Let x = -24 + -124. Is (x/16)/((-2)/16) composite?
True
Suppose 0 = 3*o + o. Suppose o = -2*u - w + 2, 2*u + 2*u - 16 = w. Is u prime?
True
Suppose 5*g + 2789 = 534. Let c = 634 + g. Is c prime?
False
Suppose -5*p + 3844 + 1146 = 0. Is p composite?
True
Let n(i) = 29*i - 12. Is n(11) composite?
False
Let t = 66 - 109. Let y = t + 26. Let l = 66 + y. Is l a prime number?
False
Let p = 161 - -1988. Is p a prime number?
False
Suppose 0 = t - 2*t + 14. Let i = 15 - 16. Let w = t - i. Is w a composite number?
True
Let c be (-12)/(-10)*(-20)/(-6). Suppose b = c*b - 111. Is b a prime number?
True
Let r(x) = -23*x + 3. Is r(-8) a prime number?
False
Let h(f) = -28*f**2 - f. Let n be h(4). Let j = n - -747. Is j composite?
True
Suppose 5 = -h + 2*h. Suppose 88 = 4*v + 4*t, 0*v = -v + h*t + 4. Is v prime?
True
Suppose -4*p + b + 1881 = 0, p + 4*p + 2*b - 2335 = 0. Is p a composite number?
True
Let b(f) = f**2 - 8*f + 3. Is b(12) prime?
False
Let h = 0 - 2. Let i be (-9)/(-3)*16/(-6). Is ((-106)/(-8))/(h/i) a prime number?
True
Suppose -2335 = -5*m - j, 2*j = m + 3*j - 467. Is m a composite number?
False
Let c(o) = 160*o + 1. Is c(1) composite?
True
Suppose 5*p = -0*p. Suppose h = -p*h + 149. Is h composite?
False
Suppose d = -0*d + 3*a + 6, 9 = -4*d + a. Let t be d/(-2 - -3 - 2). Suppose -5*x - u = -13, 3*x = x - t*u. Is x composite?
False
Let c be 59 + 3 - (2 - 1). Let i = -130 + c. Is -4 - -5 - (i - 1) composite?
False
Suppose -y + x = 4*x + 101, 2*y + 2*x + 222 = 0. Let o = -32 - y. Let l = o + -47. Is l composite?
False
Suppose -3*m - 2*l = -1 - 7, 4*m + l - 9 = 0. Suppose -444 = -3*g - 3*d, -m*g + 293 = 4*d + d. Is g a prime number?
True
Is ((-21)/(-6))/((-3)/(-1434)) a composite number?
True
Let s(u) = u**3 + 9*u**2 + u + 9. Let p be s(-9). Suppose p = -0*k + 3*k - 9. Is 1 - -19 - (-3)/k composite?
True
Suppose 3308 - 13250 = -6*j. Is j a prime number?
True
Let y(r) = -69*r - 4. Is y(-3) composite?
True
Suppose 10554 = 16*p - 10*p. Is p a prime number?
True
Suppose 2*x + n = -7, 3*x - x - n = -17. Let k be ((-44)/(-6))/((-1)/x). Suppose 7*v - 2*q - k = 3*v, v = -5*q + 33. Is v composite?
False
Suppose 4*z = -0*z. Suppose z = n + 1, 3*x - 4*n - 16 = 51. Is x a composite number?
True
Let c(y) = 4*y**3 + 7*y**2 - 18*y - 5. Let d(s) = -7*s**3 - 14*s**2 + 35*s + 9. Let p(o) = 5*c(o) + 3*d(o). Is p(-11) composite?
True
Let n(f) = 5*f**2 + 15. Is n(14) composite?
True
Suppose -5*a + 4*h + 2 = 7, 0 = -a - 5*h + 28. Suppose 5*m - 148 = -2*d, -4*m = -a*d - 170 + 47. Is (10/(-4))/((-3)/m) prime?
False
Is 1/(16/(-3004))*-4 a composite number?
False
Let t = -40 + 44. Let d(v) be the second derivative of 13*v**3/6 - 3*v**2 + v. Is d(t) a prime number?
False
Let i = -144 + 265. Is i prime?
False
Let p = 26 - -27. Is p prime?
True
Let m(q) = -q**2 + 67. Let l be 1/(-1 - 9/(-6)). Suppose o = l*o. Is m(o) composite?
False
Suppose -4*y = -h - 740, 4*h + 185 = y - 0*h. Suppose 7*d = 2*d + y. Is d a composite number?
False
Let s(n) = -n + 2. Let i be s(0). Suppose i*m = -3*o + 7, 2*o - 6*o - 2*m + 10 = 0. Suppose 0 = o*l + 2*l - 955. Is l a composite number?
False
Suppose i - 62 = -15. Is i prime?
True
Let y = -16 - -21. Suppose -h - 1196 = -y*h. Is h a composite number?
True
Is (4/(-12))/(3/(-99)) a prime number?
True
Let h(a) = 5*a**2 + 3*a - 2. Let o be h(4). Let v = -5 + o. Is v composite?
True
Let z(c) = -29*c**3 + c - 1. Is z(-3) a composite number?
True
Let u(l) = -l**3 - 7*l**2 + 7*l - 6. Let h be u(-8). Let v(x) = x**2 + 2*x - 1 + 4*x**h + 2*x**2 + x. Is v(-3) a prime number?
True
Suppose -3*r - 4*u + 3189 = -1984, 0 = 2*r - 4*u - 3462. Is r prime?
False
Let b = -118 - -303. Is b a composite number?
True
Let p = -81 + 202. Is p prime?
False
Suppose 8*i - 5124 = 4724. Is i a composite number?
False
Let j(y) = 2*y - 12. Let g be j(8). Suppose -g*f = 1 + 11. Is ((-2)/f)/((-6)/(-117)) composite?
False
Is (-3)/(-12) + ((-61434)/(-24) - -3) composite?
True
Suppose 5*q = -p + 6*p - 150, 0 = 3*p + 3*q - 108. Let n(s) = s**3 - s**2 - s - 20. Let u be n(0). Let v = u + p. Is v composite?
False
Let p(n) = 29*n + 3. Let y be p(3). Let z = 160 - y. Suppose -2*u - z = -7*u. Is u composite?
True
Suppose x + 5*p = 5, -6*p + p = 2*x - 10. Suppose 0 = 2*o, 0 = -x*r + 4*o + 49 - 354. Let v = -26 - r. Is v prime?
False
Let s = 843 + -596. Is s composite?
True
Let n(v) = 8*v + 447. Is n(0) a composite number?
True
Let f = 1 + -1. Suppose 0 = -4*v + x + 895, -6*v + 2*v + 5*x + 907 = f. Is v prime?
True
Suppose 2*i - i = 0. Suppose 12 = -m + 5*m. Suppose a - m*o - 92 = i, -3*a - a + o + 357 = 0. Is a a prime number?
True
Let l(h) = -308*h**3 - 2*h**2 + 1. Is l(-1) a prime number?
True
Suppose 2*x = -2*r - 0 + 6, -5*r + 7 = -3*x. Suppose 30 - 2 = 7*k. Suppose -m - 3*n + 70 = 0, k*n = 3*m + r*m - 407. Is m prime?
True
Let s = -19 - -106. Is s composite?
True
Suppose -3*g = -j - 2872, g = 6*j - 4*j + 949. Is g a prime number?
False
Suppose -3*f = 5*l + f - 893, 3*f = 4*l - 702. Is l a composite number?
True
Suppose 0 = 5*z -