- p = -5*x. Is x prime?
True
Suppose -132*z - 206*z = -466697894. Is z a prime number?
True
Let b(g) = g**2 + 6*g + 6. Suppose 0*t - 7 = 4*u - 3*t, -4*u - 10 = -2*t. Let f be b(u). Is (2136/48)/(f/(-4)) prime?
True
Suppose 11*t = 8*t + 2889. Suppose 529 = 2*h - t. Let b = h - 133. Is b a prime number?
True
Is 6/22 - (-289959110)/319 composite?
True
Let j(n) = n**3 + n**2 + n + 334. Let c(r) = 2*r**2 - r - 42. Let t(d) = -d**2 + d + 21. Let v(a) = 3*c(a) + 7*t(a). Let p be v(7). Is j(p) a composite number?
True
Suppose -8 + 21 = i + 5*j, -5*j + 16 = 2*i. Suppose -6 = -i*v, -3*v + 241 = -3*g - v. Let c = g + 158. Is c a prime number?
True
Suppose -22*w + 80 = -6*w. Suppose 5*z - 4*s - 43299 = 0, -w*s - 34636 = -4*z - s. Is z a prime number?
True
Let f(b) = 6*b**3 - 17*b**2 + 8*b - 8. Let v(a) = -a**3 + a**2 - a + 1. Let j(h) = f(h) + 5*v(h). Let t be j(4). Is (-245446)/t - (-6)/14 prime?
True
Suppose 70*b = 63*b + 14. Is -5 + 11 + 8518/b a prime number?
False
Let b(f) = -3*f**3 - 5*f**2 - 9*f + 14. Suppose 8*t + 44 = -68. Let q be b(t). Is 8/(-24) + q/9 prime?
True
Suppose 12457 = v + 2*v - 5*a, a - 20743 = -5*v. Let y = 2046 - v. Is (y - 4/(-2))*-1 a composite number?
True
Let n be 0 + -5 - (-6685 + 2 + 1). Let o = -2710 + n. Is o a prime number?
True
Let o(q) = -7*q**3 - 4*q**2 - 5*q - 9. Let v = -50 + 45. Is o(v) a prime number?
False
Let m(n) be the second derivative of -3*n**5/20 - n**4/12 + 11*n**3/3 + 53*n**2/2 + 123*n. Is m(-6) composite?
True
Let j(b) = 10*b**3 - 11*b**2 + 89*b - 609. Is j(10) a prime number?
True
Suppose 2*g + 4*p - 19156 = 0, -5*g + 4*g + 2*p = -9562. Suppose 4*f + g = 10*m - 7*m, -f = -m + 3191. Is m a composite number?
True
Let l(t) = -463*t - 17. Let h(s) = -926*s - 33. Let b(u) = 6*h(u) - 11*l(u). Let a be -3*(-4 + 64/12). Is b(a) composite?
True
Let s = -61 - -39. Let o be (1*14)/(1/s). Let m = 575 + o. Is m a composite number?
True
Let y be ((-68)/4 - -3) + -1. Let i(w) = -w**3 + 3*w**2 - 5*w + 6. Let t be i(y). Suppose t = 4*f - 1465. Is f prime?
True
Suppose 0 = -8*l + 4*l + 8. Suppose -2*w - l = 2*o, 5*w - 5*o = 38 + 7. Suppose 0 = w*g + 20, 0 = 3*c - g + 85 - 255. Is c composite?
True
Is 8970/270 - 33 - -2090269*14/18 prime?
False
Is ((-1)/(24/1132))/((-8)/4848) composite?
True
Is 8806099/43 - ((-6)/5)/(23/(-115)) composite?
True
Suppose 2*f = 3*b + 3*f - 34067, 5*b - 56777 = -3*f. Suppose -6*l + b + 5786 = 0. Is l a composite number?
False
Suppose 90*z + 3058512 - 13321302 = 0. Is z prime?
True
Is (-974279124)/(-2860) + 8/(-220) a composite number?
False
Let d(i) = 13*i + 37. Let t be d(-20). Let l(s) = s**3 - 4*s**2 + 3*s - 2. Let q be l(3). Is (t/q)/(3/18) a prime number?
False
Let h(d) = 385*d**2 + 85*d + 116. Let t(w) = -77*w**2 - 17*w - 23. Let b(u) = 2*h(u) + 11*t(u). Let k(p) be the first derivative of b(p). Is k(-6) prime?
True
Let j(i) = i**2 + i - 24. Let z be j(-6). Let x be z*(-10)/(-25)*(-10)/(-8). Is 919*(-5 + x)/(-2) prime?
True
Let t = -499 - -497. Is (t - (-2)/((-8)/39236))/(-1) a prime number?
True
Let o(i) = 19*i**3 + 6*i**2 - 4*i + 11. Suppose 210*v + 80 = 218*v. Is o(v) a prime number?
True
Suppose -13*c = -4*c - 7695. Suppose -69 = s + 389. Let z = s + c. Is z composite?
False
Suppose 3*u - 71*v + 66*v - 426779 = 0, 5*u - 2*v - 711273 = 0. Is u composite?
True
Let o be (-10142*2/(-8))/((-2)/4). Let y = 10260 + o. Is y a prime number?
True
Let b(s) = -s**3 - 7*s**2 - 10*s - 1. Let j be b(-5). Let x(n) = -11*n**2 + 2*n + 3. Let h be x(j). Is h/(-35) + 0 + (-21850)/(-14) a prime number?
False
Let r(o) = 716*o + 5133. Is r(16) composite?
True
Let x = -14 - -21. Let r be 1 + 3723 + (x - (11 - 7)). Suppose -r = -4*k + d - 0*d, -5 = -d. Is k a composite number?
True
Let l(v) = -450*v + 3. Let i(k) = -k + 1. Let t be (-144)/(-176) - (-2)/11. Let a(x) = t*l(x) + 5*i(x). Is a(-3) a composite number?
False
Let l(i) = -115*i**3 - i**2 + 5*i + 5. Suppose s - 1 = 2*x + 13, -5*s - 4*x = -56. Let o(w) = w - 14. Let d be o(s). Is l(d) prime?
True
Let y(h) = 38*h**2 + 13*h - 467. Is y(-32) a prime number?
False
Let u(y) = 2*y**2 + 9*y + 1393. Let i(z) = -z**2 - 5*z - 697. Let l(k) = 11*i(k) + 6*u(k). Let s be 0/4*12/8*2/9. Is l(s) composite?
False
Let s be -1 + 5 + 2014 + 10/2. Suppose -12*y = -845 - s. Is y prime?
True
Let f be -2620*4*(-531)/90. Let o = f - 40715. Is o composite?
True
Suppose 0 = 3*r - 10 - 5, 5*m = 4*r + 419825. Is m a prime number?
True
Let a(t) = -t**2 + 6*t + 5. Let x be a(5). Suppose 0 = -x*p - 2*p + 72. Is 2630/50*(p - 1) a prime number?
True
Suppose 5*s = -3*d + 3473423, -4*d + 4398321 - 924902 = 5*s. Is s a composite number?
True
Is ((-10)/(8 + -38))/1 - 145564/(-6) prime?
False
Let b(o) = 37*o**2 - 22*o - 152. Is b(11) a prime number?
False
Let s(p) = -1889*p - 4. Let b be s(3). Suppose 0 = 2*x - 6, 0 = 91*h - 87*h + x + 32253. Let a = b - h. Is a composite?
False
Suppose -60081 - 82183 = -8*b. Is b composite?
False
Let b be (0 - 0)*1 + 3 + 0. Let d be b/((-15)/(-2)) + (-296)/(-10). Is (3 + (-513)/5)/((-12)/d) a prime number?
False
Let q(z) = z + 11. Let f be q(11). Is f/88 + (-43094)/(-8) a prime number?
True
Let j(y) = y**3 + 15*y**2 - 12*y - 81. Suppose -8*d - n - 18 = -6*d, 0 = d - 4*n. Is j(d) composite?
False
Is 10294 + -3 + (-1 - (-6 - -7)) prime?
True
Suppose 54*n - 21256 - 50802 = 40*n. Is n composite?
False
Let z be 1127756/(-9) + (18/81)/1. Let l = z - -222127. Is l a prime number?
True
Is (512188/18 - (-10)/(-45))/((-22)/(-33)) composite?
True
Suppose -x = -7143 - 3962. Suppose -x = -9*c + 17173. Is c a prime number?
False
Is 16/6 + (-8)/4 + 1402898/42 a prime number?
True
Suppose 53 = 99*g - 97*g - 3*s, -62 = -3*g + s. Is g a prime number?
True
Let j(x) = -2*x - 32. Let a be j(-20). Suppose a + 5 = d. Suppose 0 = -d*s + 17*s - 2044. Is s a composite number?
True
Let i be (-68234)/(-8)*22/(-55)*-10. Suppose -i = -3*v + 5*l, -4*v + 5*l - 6133 = -51619. Is v composite?
False
Suppose -87*i + 3*i + 3521474 = 34*i. Is i composite?
True
Let u(p) = p**2 - 38*p + 592. Is u(-57) a composite number?
False
Suppose -13*w + 15*w - 38 = 0. Suppose -w*l = -25*l + 24. Let o(s) = 190*s + 9. Is o(l) a composite number?
False
Suppose 7*t - 49 = 14. Let y(n) = n - 29. Let x be y(t). Is -8*(525/x - 1) composite?
True
Let n(w) be the first derivative of 17/2*w**2 - 3*w**3 + 2 - 1/4*w**4 - 5*w. Is n(-12) prime?
True
Let j(i) = -6*i - 28. Let u be j(-5). Suppose 4*o - 4576 = -4*h, -5*h + u*o = 3116 - 8801. Is h prime?
False
Suppose 4*i + 5*j = 592387, -13*i = -12*i + j - 148098. Is i composite?
True
Suppose -29*w + 5323328 = -5387032 - 19204793. Is w composite?
True
Suppose -13229 = -r - 3*z, -z - 25273 - 27643 = -4*r. Is r prime?
True
Let q(b) = -b**3 + 15*b**2 - 28*b + 31. Let s be q(13). Suppose s*v + 20382 = 71477. Is v prime?
False
Let u(g) = -g**2 + 10*g - 20. Let y be u(4). Suppose 5*p - 44423 = 7*x - 3*x, 35560 = 4*p + y*x. Is p a composite number?
False
Suppose g - 2*v = 13095, 5*g = 4*g - v + 13098. Suppose 0 = -3*j + 4*x + 7856, 5*j - x - 2*x = g. Suppose -3*t + 1563 = 3*y, -5*t + 0*y = 2*y - j. Is t prime?
False
Let b be (-185)/(-15)*21 + (3 - 6). Let c = 433 - b. Is c a prime number?
False
Let w(q) = q**3 - 35*q**2 + 20*q + 31. Is w(38) a prime number?
False
Let s(b) = 12*b**2 + 5*b - 14. Let y(v) = v**3 + 12*v**2 - 15*v - 18. Let p be y(-13). Is s(p) prime?
False
Suppose 3*y + 2*x = 10, 5*y - 3*y = 4*x - 4. Suppose -2*p + 3*f + 21149 = -663, y*p - 21808 = f. Is p a prime number?
True
Let k be ((-2)/3)/(-1) - (-112)/21. Is (-166153)/(-169) - k/39 a composite number?
False
Suppose 380*b - 379*b = 10255. Is b - (-1 - 21/(-3)) a prime number?
False
Let p(w) = -w**3 + 22*w**2 - 31*w + 14. Let s be p(18). Suppose -3*l - 3*d + 395 = -367, -3*l = 5*d - s. Is l a composite number?
True
Let k(y) = 12628*y - 2921. Is k(6) a prime number?
False
Suppose 4*m = -8, -15*i - 160937 = -16*i + 2*m. Is i prime?
True
Let s = -85 + 138. Let h = 58 - s. Suppose -4*m - 4546 = -3*f + m, 7560 = h*f - 5*m. Is f a composite number?
True
Let j(n) = 5*n - 115. Let h be j(23). Suppose h = -2*b + 6*b - 4, -c = -b - 73. Is c prime?
False
Suppose 11*v = 7*v + 28, -6512 = -3*r - 2*v. Suppose -3*u = -2*n - 2867, 5*u - 4*n + 116 = 4897. Let q = r - u. Is q a prime number?
True
Suppose 0 = o - 2*b - 5077 -