alse
Let z(y) = 5*y**2 + 3*y + 60. Let o be z(25). Suppose -5*u - 481 = -r + 334, 4*r + 4*u - o = 0. Is r a prime number?
False
Let a be (-332)/(-14) - (-2)/7. Is a/204 - 4061/(-17) a composite number?
False
Let a(c) = 3*c**2 + 8*c + 6. Let g be 2/(((-12)/21)/2). Is a(g) prime?
True
Let k = 13 + 0. Suppose 3*a - 2*a = 5*p + 29, k = -3*a - 5*p. Suppose -3*u + 4*c + 29 = 0, u + u = -a*c - 14. Is u prime?
True
Let m(r) = r**2 + 17*r + 1. Let n be m(-17). Let j(w) = 675*w**2 + 2*w + 2. Is j(n) a composite number?
True
Suppose 12 = 4*r - 3*r. Let l = r + -23. Is ((-796)/(-2))/(l - -13) composite?
False
Let k = 119 - -1817. Let i = -521 + k. Is i composite?
True
Suppose 2*n = -2, -4*a + n + 3357 = -0*a. Is a composite?
False
Let y be (-3)/(-15)*-682*5. Let i = y + 385. Let k = 590 + i. Is k composite?
False
Suppose -t + 9 + 1 = 0. Is 142/4 - (-15)/t a prime number?
True
Let x be (9/12)/(1/(-8)). Let a be (6/(-18))/((-1)/27). Let i = x + a. Is i prime?
True
Suppose 0 = -g + 3*c - 69, c + 3 = -2*g - 170. Let t be (-12)/g - (-617)/(-7). Let r = 123 + t. Is r prime?
False
Let r(g) = -g - 1. Let y(k) be the third derivative of k**5/20 - 5*k**4/24 - 5*k**3/6 - 7*k**2. Let f(x) = -6*r(x) + y(x). Is f(9) composite?
True
Suppose 5*v - 900 = -90. Suppose 3*i - 12 = q, 2*i - 8 = -2*q + 6*q. Suppose q*m + v = 2*d + 4*m, d + 3*m = 82. Is d prime?
True
Let s(f) = 72 - 4*f + 0*f + 77. Is s(0) a composite number?
False
Let p(o) = -190*o + 10. Let t be p(-5). Suppose -3*f - t = 198. Let r = -163 - f. Is r prime?
True
Suppose 7*r - 5429 = -3*k + 5*r, -3*k = -2*r - 5437. Is k a composite number?
False
Suppose 0 = 68*c - 45*c - 2765635. Is c a composite number?
True
Let v = 1585 - -649. Is v prime?
False
Let j(s) be the third derivative of -7*s**5/30 - s**4/3 - 4*s**3/3 + 3*s**2. Let g be j(-6). Is (13/4)/((-4)/g) composite?
True
Let z be 0 - (3 - (6 + -1)). Suppose 0 = -z*t - d - 2, -4 = 5*t - 3*d + 23. Is (-3 - -2)*t - -43 prime?
False
Let l(v) = v**3 + 9*v**2 + 7*v. Let w be l(-8). Suppose 3*t = w*t - 155. Is t prime?
True
Let i(t) = -t**3 + 2*t**2 + t + 249. Let m = 14 - 14. Is i(m) composite?
True
Suppose 0 = -28*y + 5*y + 11822. Is y a composite number?
True
Let w = 433 - 151. Let h = w + -69. Let o = h - 128. Is o a prime number?
False
Suppose 473541 = 21*j - 459636. Is j a prime number?
False
Let r(z) be the third derivative of z**4/12 + 19*z**3/6 + 2*z**2. Let l be r(-13). Let v(n) = -13*n - 8. Is v(l) prime?
True
Suppose -2*j - 6 = j. Let m be (-2)/(-4)*772/j. Let g = 555 + m. Is g prime?
False
Let x(o) = -69*o + 4. Let b(d) = 0*d**2 + 1 - 1 - 3 - 2*d - d**2. Let k be b(-2). Is x(k) a composite number?
False
Let i(o) = 5*o**3 - 2*o**2 - 7*o. Let u be i(-5). Let n = u + 1169. Is n composite?
True
Let g(p) = 72*p**2 - 17*p - 19. Is g(8) prime?
False
Let j = 818 + -273. Is j a prime number?
False
Is 1/(-9) - 37/(2664/(-1158128)) a composite number?
True
Let c be -5 + (-9)/3 - 1. Let x be 102*12*(-2)/c. Suppose 131 = l - x. Is l a prime number?
False
Let l(o) = -3*o**3 - o**2 - 3*o - 2. Let r be l(-1). Suppose -4 = -2*v + 3*h, r*h = -0*h. Suppose 0 = 4*t - i - 349, -v*t - 3*i = -t - 84. Is t composite?
True
Let h(y) be the second derivative of 0 + 3*y**3 + y + 1/2*y**2. Is h(2) a prime number?
True
Let z(w) = w**3 + w + 89. Let p = -13 + 9. Let r = 4 + p. Is z(r) prime?
True
Let m(o) = -o**3 + 8*o**2 - 15*o + 18. Let x be m(6). Suppose x = -4*z - g + 3984, 2*z + 0*z + 4*g = 2006. Is z prime?
False
Suppose 3*y + 3*y = 6. Is 1217 + y + (-2 - 3) composite?
False
Suppose 13 = -b - 5*a, 0 = 4*b - 5*a + 32 + 45. Let s = -21 - b. Is (260 - (s + 0)) + 0 a prime number?
True
Is -3*6/((-18)/2843) prime?
True
Let y be -2 - (2 + -1)*998. Let h = 524 - y. Suppose -8*v - h = -12*v. Is v prime?
False
Let r = 28030 - -8007. Is r a prime number?
True
Suppose -4*j = 3*a - 32, -j = 2*j - 4*a + 1. Let g(s) = -s**3 + 6*s**2 - 4*s - 4. Let r be g(j). Is (-6)/r*-24 - 3 prime?
False
Suppose n - 3 - 5 = 0. Let g = 6 - n. Is (111/g)/(2/(-4)) a prime number?
False
Let d be 2/(-10) + 21460/50 + 0. Let s = -190 + d. Is s prime?
True
Let c(a) = 3*a**3 - a**2 + 2*a - 1. Let h be c(1). Suppose -1297 = -h*j - 52. Is j a prime number?
False
Let h = -114 - -116. Let l = 5 - 1. Suppose l*b = h*b + 66. Is b prime?
False
Let k = -476 + 1812. Let q = -783 + k. Is q a composite number?
True
Let q = -36 - -199. Is q a prime number?
True
Suppose 0 = 71*x - 63*x - 357096. Is x a composite number?
True
Let q(x) = -x**3 + 11*x**2 - 8*x - 18. Let v be q(10). Suppose -3*k - 4*m = -1089, 0*m - v*m = k - 361. Is k prime?
True
Suppose 0 = -2*w + 10, 0*d = 5*d - 5*w. Suppose -1142 = -d*i - 2*j + 1859, 0 = -2*i + j + 1204. Suppose 514 = 5*s - i. Is s a prime number?
True
Let i(o) = 24*o**3 + o**2 + 3*o + 6. Let c(d) = -12*d**3 - d - 3. Let f(h) = -5*c(h) - 2*i(h). Is f(2) a composite number?
False
Let g = -21 + 24. Suppose 2*f + 3*v - 12156 = -f, g*v - 16205 = -4*f. Is f a prime number?
True
Suppose -13*j + 10*j + 56258 = 2*g, 12 = 3*j. Is g prime?
True
Suppose -2*l + 5*t + 28 = 8, -33 = -5*l + 4*t. Suppose -19 - 121 = -l*z. Suppose w = 2*n - 5*n + z, 3*n = -2*w + 59. Is w composite?
False
Let p(x) = 57*x**3 - 2*x**2 + 2*x - 1. Let f be p(1). Let i be (-98)/(-35)*(-1 + f). Suppose -a - a = -i. Is a a prime number?
False
Let x be 1509*(-5)/(-55) - (-2)/(-11). Suppose w = 202 + x. Is w a composite number?
True
Let l be -1741 + 2 + -2 + 1. Let a be ((-6)/(-4))/(144/245856). Let b = l + a. Is b prime?
True
Suppose -36*u + 61*u = 99725. Is u a composite number?
False
Let o = 100 + -98. Suppose s - 3881 = -o*s + 2*j, -j + 1287 = s. Is s a composite number?
False
Let a be 3/(-9) - (-1)/(-6)*28. Let t(c) = -c**3 + 3*c**2 + 6*c + 7. Is t(a) prime?
False
Suppose 9*s = 10*s - 2*l - 4159, 6 = -2*l. Is s composite?
False
Let c(a) = a**3 - 4*a**2 + 7*a - 10. Let r be c(4). Is ((-12924)/r)/(-1 - 1) a prime number?
True
Let f(r) = -r**3 + 5*r**2 + 6*r + 2. Let n be f(6). Let q(h) = -h**3 + 7 + 2 - n + 1 - h - 3*h**2. Is q(-7) prime?
True
Suppose -5*x = 5*a - 55, 0 = -2*a - 5*x + 8 + 29. Let z be 25872/55 + a/10. Suppose 0 = -2*f - f + z. Is f a composite number?
False
Is ((-3582429)/(-106))/((-3)/(-2)) a composite number?
False
Let n(s) = s**2 - 6*s + 40. Is n(-13) a prime number?
False
Let u be 64/5 - 8/10 - -1. Let c(b) = -6*b - 2. Let h be c(-6). Let y = h + u. Is y composite?
False
Let q(y) = y**3 + 7*y**2 + 10*y + 14. Let w be q(-5). Let u be (7/(-2) - -2)*-272. Suppose 0 = 2*n - u - w. Is n composite?
False
Is ((-15771)/(-14)*2/(-3))/(-1) composite?
False
Is ((-10)/(-6))/(18/35694) a prime number?
False
Let c = -313 - -513. Suppose 4*b = -4*s - c + 1404, 2*b - 590 = -5*s. Is b a composite number?
True
Suppose 0 = -3*v + 9*v - 24. Suppose 5*z + 66 = l + 2*l, v*l = 4*z + 88. Is l prime?
False
Suppose 2*h + h - 39 = 5*l, 3*h - 36 = 4*l. Let r(v) = -v**3 + 11*v**2 + 3*v - 5. Let n be r(h). Suppose -s + 160 = -n. Is s prime?
False
Suppose 4*b + 1708 - 6360 = 0. Is b composite?
False
Let t(w) = 45*w**2 - 2*w + 2. Let y be (-3)/(-6)*-3*2. Let c be t(y). Suppose 0 = -s - 4*d + 2*d + 413, -s - d + c = 0. Is s composite?
True
Suppose -5*m = -1122 - 39803. Is m composite?
True
Let o = -2685 - -5732. Is o prime?
False
Let d(f) = 5*f + 22. Let g be d(-5). Is g/12*-1 - (-39282)/24 a prime number?
True
Let z(s) = 2*s**2 + s - 79. Let x be z(0). Is (-9)/(27/6) - x prime?
False
Suppose 7621 = 5*u - 4164. Is u composite?
False
Let v = 10 - 7. Suppose 0 = 5*o - i - 1339, 88 + 725 = 3*o - v*i. Is o a composite number?
True
Let l(h) = 6*h**2 + h. Let c be l(-1). Let b be 108/45 - 3/(-5) - 1. Suppose b*i = -c*q + 3537, -q - i + 6*i = -729. Is q a composite number?
False
Suppose -2*w + u + 14482 = 0, -2*u - 2*u = -3*w + 21713. Is w a composite number?
False
Let k(r) = 19*r - 2. Let a be k(5). Suppose -t = -296 - a. Is t a composite number?
False
Let q be -922 - -9 - (0 - 4). Let h = q - -2046. Is h a prime number?
False
Suppose 4*c + g - 2002 = c, 5*c - 3332 = 3*g. Is c composite?
True
Suppose 0 = 16*i + 7*i - 134159. Is i a prime number?
False
Is ((-253666)/21)/(((-80)/15)/8) prime?
True
Let r = 65669 + -46434. Is r composite?
True
Let v = 50 + -50. Suppose v = -3*s + 573 + 2094. Is s prime?
False
Let p(d) = d + 1. Let m be p(2). Suppose -3