k. Is k > -91/8?
True
Suppose -2*x - 2*m + 7*m = 10, -32 = 3*x + m. Let q(a) = -a**3 - 10*a**2 - 13*a - 23. Let y be q(x). Is y at least 107?
True
Suppose -3*s - 1322 = -2*b, 15*s - 446 = 16*s - 2*b. Which is bigger: -436 or s?
-436
Let y = -0.01676 + -0.98324. Which is smaller: -6362 or y?
-6362
Suppose -19*f - 31 = -22*f + 4*k, 2*f - 3*k = 22. Suppose 0*j = 5*j - f*s, 2*s = -j. Which is smaller: j or 1/26?
j
Let u be 213/(-12) - (-20)/((-200)/(-30)). Let f be 164*(4 - 23/6). Let q = f + -27. Which is greater: q or u?
q
Let l(d) = d**2 + 15*d + 26. Let a be 54/(-4) + 1 - (-12)/(-24). Let r be l(a). Suppose p = 5*i + 10, -5*i - 3*p + 2*p = r. Do i and -1 have the same value?
True
Let u = -259246 + 1817929/7. Which is smaller: 458 or u?
458
Let a = 25.233 - 16.993. Is a at least 0?
True
Suppose 4*z + 5*w = 11 - 1, -4*w - 23 = -3*z. Suppose -t = 3*y - 2 - 3, -z*y = 0. Suppose -t*i - 211 - 89 = 0. Is i smaller than -60?
False
Let k(u) = u**2 + 4*u - 26. Let r(c) = -c + 1. Let v(n) = -3*n**2 - 6*n - 5. Let g be v(-2). Let o(b) = g*r(b) - k(b). Let f be o(5). Is 2/3 at most f?
True
Let j(l) = -l - 14. Let s be j(-17). Suppose -b + 2*b - s*w = -24, 4*w = 5*b + 98. Let u = 22 + b. Which is smaller: u or 3?
3
Let q = 0.0777 + 0.5223. Let y = -1.2 - -1.35. Is y < q?
True
Suppose m = 148*r - 146*r, 2 = 2*m - 5*r. Let v(d) = d**2 - 1. Let j(y) = -5*y**2 - 5*y - 12. Let u(n) = j(n) + 6*v(n). Let o be u(m). Which is bigger: o or 19?
19
Let d = -78521/22 - -3569. Suppose -5*x + 3*x - 4 = 0, -4*i = -2*x - 16. Let y be (1 - 3)*i/6. Is d <= y?
False
Let q = -318 + 603. Which is greater: 1418/5 or q?
q
Suppose -2*z = m - 4*z - 21, 2*z = -4*m + 34. Let j(l) = -19*l + 209. Let h be j(m). Suppose 5*g + 16 = 3*x, 4*g - 3*x = g - 12. Which is smaller: g or h?
g
Let r = 688.94 + -689. Let w = -0.447 + r. Which is smaller: w or 0.1?
w
Let b = -58 + 62. Let m be 4/(-5) - (-1104)/30. Suppose -b*z - m + 40 = 0. Is -2/135 less than or equal to z?
True
Suppose -344 = -7*u - 253. Suppose -u*a - 88 = 42. Which is greater: -4 or a?
-4
Suppose -20 = -4*v + k, 3*k + 0*k = 4*v - 12. Suppose 0 = v*o + 48 - 0. Let a be 3/((-21)/121) - o/28. Are a and -31/2 equal?
False
Let n(g) = g**3 - 25*g**2 + 33*g + 75. Let d be n(15). Is d equal to -1680?
True
Let f be ((-3)/(18/120*10))/(3 + -5). Let l(b) = -b**2 - 5*b - 5. Let g be l(-5). Let t be (-2)/g + 122/(-230). Which is smaller: t or f?
t
Let f be ((-1336)/6 + 4)*(-18)/12. Let p = f + -326. Do 8/15 and p have different values?
True
Let j be 1*2 + (1 - 2). Let v be j/4 - (-46)/8. Let r = -1839 + 1846. Is v <= r?
True
Let c = -27 + 27. Let h be (-2 - c) + (-1 - 0 - -29). Let d be (2/h)/((-1)/(-2)). Is d greater than or equal to 0.1?
True
Suppose 2*n + 3*q = -2*q - 23, 2*q = 5*n + 72. Let i be (n/(-910))/(3/2). Which is bigger: 0 or i?
i
Let v be (20 + -20)*5/(3 + -13). Which is bigger: 726 or v?
726
Let b be 4 + (1 - (-24)/8). Suppose -44*n + b*n + 468 = 0. Which is smaller: 14 or n?
n
Let q be ((-30)/(-20))/((-1)/(-78)). Let k be (-18)/12*(-3)/q. Let i = -20/13 + k. Is i < -8?
False
Suppose 4*z = -4*w - 15 - 17, 3*w = 3*z. Let k be 0/(0/4 + 2 + w). Let u = -8/111 - -163/6882. Is k at most as big as u?
False
Let i = -60 - -63. Suppose 4*m + 1756 = -a, 4*m + 7024 = -4*a + i*m. Let q = a - -15829/9. Which is smaller: q or 2?
2
Suppose 2133 = 30*r + 303. Let j = r + -69. Are j and 0 equal?
False
Let n = -3551 + 3498. Which is smaller: 41 or n?
n
Let z = 53.95 + -55. Let s = -36.05 - z. Is -1/3 >= s?
True
Let v(s) = 970*s**2 + 147*s - 27. Let d be v(-3). Which is greater: 8261 or d?
d
Suppose -2*k = -6, -4*u - 2*k + 6 = -0*k. Let y be 4/(-30)*(-140)/4. Let s = 71/12 - y. Which is bigger: s or u?
s
Let a = -267/26 - -64073/6214. Let w = -1385/4541 + a. Which is smaller: 2/7 or w?
w
Let d be ((-283 - -223)/((-121)/119 + 1))/1. Which is smaller: 3571 or d?
d
Let c = 18805 + -18828. Which is smaller: -6/41 or c?
c
Let x = -0.6 + -0.06. Let y = -0.34 + x. Let s be (7 - 17)*5/(-65). Is s equal to y?
False
Let t be (8047/364 + -22)/((-102)/(-64)). Which is smaller: t or 3?
t
Suppose -4*b = 5*u - 306, -475 - 398 = -11*b + 2*u. Suppose -s + 10*d + 52 = 5*d, -4*s + 313 = d. Does b = s?
False
Let z = -1058 - -234877/222. Let w = -115 - -114. Which is bigger: z or w?
z
Let o = 42/137 + -3035/9453. Is -0.9 < o?
True
Let k(l) = l**3 + 2*l**2 - 3*l + 1. Let i be k(-3). Suppose -w = i - 3. Let b be (6/4)/(946/(-52) - -19). Is b less than w?
True
Suppose -8*v - 270 + 294 = 0. Let d = -5.4 + -9.6. Which is greater: v or d?
v
Let r be ((-6)/(-9)*3)/(-2). Let k be r/3 + 3084/(-5301). Let q = -18/19 - k. Which is smaller: -1 or q?
-1
Suppose 14 = 14*w - 12*w. Let c be (w/(7/2))/((-3)/24). Let k be (-8)/(-44) - 57/11. Which is bigger: c or k?
k
Let t(d) be the third derivative of -d**6/120 - 13*d**5/60 - d**4/6 - 5*d**3/6 - 2*d**2 - 55. Let j be t(-11). Do j and -203 have different values?
False
Let u be 3/(-3 + 36/15). Let g(z) = -3*z**2 + 5*z - 2. Let n be g(u). Which is smaller: n or -101?
n
Suppose 4*o = -i + 8 - 0, -4*o + 8 = 2*i. Suppose 2*c + 5*r - 3 = i, -4*c + 6*c = r + 9. Let j be c - (-27)/(-12) - 6/4. Which is greater: j or 29?
29
Suppose 200 + 40 = 2*o. Let h be (-5)/10*(o/59 - 2). Let r = -18.7 - -19.7. Is h greater than r?
False
Let g be (-4)/(275184/(-36463)) - 1/4. Let r = 2/351 + g. Suppose 0 = 5*j + 6 - 11. Do j and r have the same value?
False
Suppose -26*v + 2 = 522. Which is smaller: 123 or v?
v
Let m(s) = 7*s**2 + 26*s - 8. Let t be m(-4). Suppose t = 8*w - 7*w - 20. Which is smaller: w or 21?
w
Let i be 26/(-221) + -11 + 3126/(-17). Suppose s - 5*g + 206 = 0, 4*g + 62 = -s - 126. Is s at most i?
True
Let t be ((-9)/6)/((-9)/11). Let x(j) = 3*j + 7. Let l(o) = -o**3 + 14*o**2 + o - 16. Let q be l(14). Let h be x(q). Which is greater: h or t?
t
Let m(s) = -s**3 - 78*s**2 - 107*s - 423. Let j be m(-76). Is -3843 less than j?
False
Let s = 2497 - 2496.87. Is s less than 39?
True
Let l(x) = 10*x + 20. Let h(d) be the third derivative of -d**4/24 + d**3/6 - 9*d**2. Let n(g) = -12*h(g) - l(g). Let j be n(10). Which is smaller: j or -11?
j
Suppose -14*f = -42 - 42. Let h be (-12)/8*1/f*-4. Do 2/1013 and h have different values?
True
Suppose 4*v + 89*v - 25986 = -29*v. Is v smaller than -1?
False
Let s be 220/(-15)*-15 + 3*-1. Which is smaller: 216 or s?
216
Let i = -297 + 138. Let d = -154 - i. Let p = 8 - 4. Which is smaller: p or d?
p
Suppose 63*t + 16*t - 1376 = -7*t. Let b = 23 - 5. Which is smaller: t or b?
t
Let h be (-87054)/88 - 168/8. Which is greater: -1009 or h?
-1009
Let w(a) = a**2 - 32*a - 185. Let l(c) = 2*c**2 - 14*c + 37. Let d be l(7). Let j be w(d). Which is smaller: -1/991 or j?
-1/991
Let y(z) = 77*z - 17. Let c be y(0). Let t be (-6445)/c + 2*(-1)/17. Does t = 378?
False
Let w be -225 - -230 - ((-6)/80 + 5). Let x(h) = h**3 - 5*h**2 - 4*h + 9. Let r be x(6). Let o be 4/(-10) + r/15. Which is smaller: o or w?
w
Let a be (52/2)/((-316)/(-18524219)). Let z = a + -1524150. Let d = -8/79 + z. Which is smaller: -5 or d?
d
Suppose -5*o - 4397 = l, 198*o - 195*o + 3*l + 2631 = 0. Do o and -882 have the same value?
False
Let i be (-66)/121 - (-342)/285*(-5)/(-11). Let r = 4567 - 424739/93. Is r != i?
True
Let o be -256 + 0 + -480 + 454. Is o < -3110/11?
False
Suppose -938 = -23*u + 12839. Suppose 2*r = -2*s + 1190, -4*s - r + 1096 = -1296. Is s not equal to u?
False
Let c = 14 - 28. Let u(b) = -b**3 - 13*b**2 + 14*b. Let z be u(c). Let x be z/4 + 14/12. Is 1 less than x?
True
Let t be (-5)/(-40)*4*-14. Let r be ((-3)/(-1))/((-70)/t). Which is smaller: 0.5 or r?
r
Let h = 26089 - 21735. Which is greater: 0 or h?
h
Let u = 419.8 + -419.32. Which is greater: u or -22?
u
Let l be (5/(-4))/((-95)/152). Suppose -l*m = -2*i - 30, -2*i - i + 27 = 3*m. Are m and 59/5 equal?
False
Let k be 259/(-51837)*6/(-14). Is k <= -1?
False
Suppose 92*r + 2*w = 93*r - 4, 0 = -5*r + 5*w + 5. Which is smaller: r or -160/49?
-160/49
Let w = -2182 - -2182. Is 6/481 at most as big as w?
False
Let x be 16/(-80) + 521/5. Suppose -x = 25*y - 26*y. Do 104 and y have the same value?
True
Let q = 434447/371868 + 13/2796. Which is bigger: 2 or q?
2
Let i = -104 + 307. Let j = i + -199. Let l be (2/(-6))/((-2)/(-3)). Is l < j?
True
Let h be 5 + (-4 - -7) + 3/(-9