 Suppose b = -3*d - b + 382, -x*d = -b - 257. Suppose -d = -5*j + 13*j. Which is smaller: j or -13?
j
Let g = 565862458/62001 + 2/62001. Which is smaller: g or 9127?
g
Suppose 5*v = 2*p - 514, 5*v = 2*p + 2*p - 1048. Let g(d) = -6 + 266*d + d**3 + 1 - p*d. Let w be g(-2). Which is smaller: -14 or w?
-14
Suppose 0 = 5*m + 3*p - 86, -47*m + 50*m - 53 = -2*p. Which is smaller: m or -1/62?
-1/62
Let w = -6.02 - -6. Let j = -0.02 - w. Let i be (-2)/((15/(-12))/5). Is i >= j?
True
Let p = 27500 + -27505. Which is smaller: p or 3249?
p
Suppose -149150 = -14*t - 94*t + 58*t. Which is smaller: t or 2982?
2982
Let f = -2 + 2. Let b = -3818 + 3820. Suppose 2*r = -2*k - f*r + 20, 5*k - 29 = b*r. Do 4 and k have different values?
True
Let c = 88 + -85.8. Let t = -2124 + 6370/3. Are c and t non-equal?
True
Let t = 84 - -28. Let y = 112 - t. Suppose -5*r + q - 44 = y, 5*r + 31 = 2*q - 17. Which is greater: r or -52/7?
-52/7
Suppose -2*m + w = -3*w + 16, 3*m - 12 = -3*w. Is 13/2116 greater than m?
True
Suppose -q + 2 = 3*a + 1, 0 = -5*a. Let u be (-15)/(-20)*4*30/147. Is u greater than q?
False
Let d be ((-5)/(-20))/((-132)/8). Let q(p) = p - 3*p + p**3 + 30*p**2 - 31*p**2. Let m be q(2). Is m >= d?
True
Suppose 51 = 2*q + 15*q. Suppose q*a + 0 = 2*d - 2, -3*a + 26 = 5*d. Is 48/23 less than or equal to a?
False
Suppose -3*c + 4002 = 3*x, -3*x - 2*c + 4009 = -6*c. Let t be (6/(-8))/((x/(-20))/3). Is 1 != t?
True
Suppose 4*x + 59 = 99. Suppose -598 = 3*n - 4*h, h - 11 = -x. Is -198 != n?
False
Let w = 1582.73 - -137.27. Is w <= 1?
False
Suppose 0*q = -5*q + 800. Let w = 14 - -145. Is q greater than w?
True
Let b = 26.4052 - 26.3052. Let a = 15 + 44. Is b smaller than a?
True
Suppose -1 = 4*j + 3*z, 22*j = 24*j - z + 3. Which is smaller: j or -13/11?
-13/11
Let c be 461 + (-30)/6 - (0 + 3). Let n = -414 + c. Which is smaller: n or 40?
n
Suppose 0 = 13*f - 2353 + 156. Let w be (f/26)/((-1)/10). Is -65 greater than or equal to w?
True
Let b = -4809.3 + 4809. Is b > 402?
False
Let w = -99 + 201. Suppose -5*j + w = -63. Suppose 2*v + j = 27. Which is smaller: v or -0.5?
v
Let j = 87.2 - 60.1. Suppose 168 = -157*b + 11. Is j greater than b?
True
Let s(r) = -2*r**2 + 23*r + 11. Let n be s(12). Suppose -c + 2*y + 2 = 9, -2*y = 0. Let b be (c/77)/(2/30). Is b smaller than n?
True
Let s = -71.8 - -62. Let j = s - -10. Let h = 0.6219 + -0.4219. Is j equal to h?
True
Let l = -0.09351 + 2.29351. Is 2/3 equal to l?
False
Let d = 0.2 - 0.05. Let y = d - -1.85. Let g be 29 - (-8 + (-144)/(-12)). Is g at least as big as y?
True
Let w = 10160 - 10160. Which is smaller: w or 120/223?
w
Let m(c) be the third derivative of 11*c**6/120 - c**5/60 + c**4/24 + c**3/6 + 1419*c**2. Let y = -2 - -1. Let g be m(y). Which is greater: 3 or g?
3
Let j be (-69)/44 + 497/284. Which is bigger: -0.001 or j?
j
Let u be (-1 + 4)*(-4)/(-6). Let h be (3/(-4))/(6 + 3707/(-616)). Let v be 78/h*7/6. Is u at most v?
True
Let b = 19 + -337. Let x = -319 - b. Which is smaller: x or 6/5?
x
Suppose -4*x - 4*h - 375 = h, 2*h = 4*x + 410. Let y = 395 + x. Does 296 = y?
False
Let f(m) = 14*m - 63. Let b be f(12). Let n = -91 - b. Let v be (-4)/14 + 1414/n. Is v greater than or equal to -0.2?
False
Let s be -1 - (6 + 265) - 21/(-3). Which is smaller: -264 or s?
s
Let u(y) = 2*y**3 + 6*y**2 + y + 4. Let j be u(-3). Let k = -1259 + 75541/60. Which is smaller: j or k?
k
Let n = -533 + 532. Which is greater: -0.08 or n?
-0.08
Suppose -16*r + 58 = -22. Let g be r + 2/((-12)/30). Is g < -5/53?
False
Suppose 0 = 4*o + 4 - 100. Let p = 23 - o. Let c(y) = -y**3 + 8*y**2 - 18*y + 10. Let v be c(5). Is v greater than p?
False
Let a = -643 + 700. Suppose -97 + a = 10*d. Is -70/13 greater than d?
False
Suppose -208*b + 4*j - 4692 = -204*b, 20 = -4*j. Is -4 < b?
False
Let c = 185 + -128. Suppose -4*j - c = 499. Is -138 at most as big as j?
False
Let m = -6783 + -1948. Which is smaller: -8732 or m?
-8732
Let l = 90.5 - 89.5. Let i = 11 + 3. Which is smaller: i or l?
l
Suppose -3*j - 51 = -3*i, -2*i - 8 = 2*j + 10. Suppose -2*t + 65 = 5*m, -18*t - 25 = -m - 16*t. Let k be 21/2*(-20)/m. Which is smaller: k or j?
k
Suppose -8*r - 5*r = 169. Suppose 0*z + 3*q - 21 = 3*z, 5*q + 9 = z. Which is smaller: r or z?
r
Let u be 2/((2/4)/(((-30)/(-366))/(-5))). Suppose 2*b = z - 6*z + 4, 3*z - 21 = 5*b. Which is smaller: b or u?
b
Let f = 5/3882 + -58265/27174. Let s(i) = -8*i - 2*i**2 + i**3 - i**2 - 8 + 9*i**2. Let l be s(-7). Is l < f?
False
Let r be -11 - (-1088451)/208 - 2/(-32). Is 5222 equal to r?
True
Let f(h) = 4*h**3 + 3*h**2 - 3*h - 5. Let w be f(-3). Let s = 692/9 + w. Which is smaller: -1 or s?
-1
Suppose -16*x - 3 = -3. Let s be (-2 + x)*32/64. Which is bigger: -8/35 or s?
-8/35
Let v(k) = 238*k**2 - 5*k + 4. Let u be v(1). Let w be 2/(-2) + u/27 + -8. Which is bigger: w or -51?
w
Let s(z) = -5*z + 39. Let b be s(6). Let u = 43 - 25. Suppose -4*c + 3*c = 5*y + u, c + 3 = -2*y. Is c at most as big as b?
True
Let f(d) = 4*d - 1. Let v = 44 + -44. Let y(l) = l**3 - l. Let w be y(v). Let z be f(w). Is z >= 15?
False
Let n be 16*8/256 + (-31)/(-2). Suppose 0 = -3*d + r - 275, -2*r + n = -d - 69. Which is greater: -97 or d?
d
Suppose 3*g = -9, -3*q = -5*q - 4*g - 18. Let n be (148/(-32))/((-18)/(-12)). Which is smaller: n or q?
n
Let a be (-3)/((-6)/10)*(36 + 6749/85). Which is greater: 575 or a?
a
Let h = 139/10 - 461/30. Let m be 42/459*((-4578)/40)/(-7). Let s = m + h. Is s bigger than 1?
False
Let r(k) = 58*k**3 + 2*k**2 - 2*k - 1. Let z be r(1). Suppose -2*x + 0*x - 14 = 0. Let w be (4/z)/((-120)/18 - x). Which is bigger: w or 1?
1
Let q be 2/2*((-24)/16 + 1). Let h be (411/(-87) - -1) + 4. Is q <= h?
True
Let s(d) = -d**2 + 14*d + 11. Let j be s(14). Suppose t - 3*i + j = -0*i, 6 = 4*t - 2*i. Suppose 0 = -0*q + t*q - 16. Is q < 6?
True
Let s = 5951 + -3371. Let i be 175/s + (-3)/36. Is i greater than 0?
False
Let q be (-2)/3*20631/26. Let n = q - -3687/7. Suppose -a - 15 = 5*o, 3 - 15 = -4*o + 4*a. Which is smaller: o or n?
n
Suppose -58*d + 34*d = 117*d - 201912. Do d and 1432 have the same value?
True
Let j = 6251 + -6244. Let u = -5 - -5.4. Let o = u + -0.3. Is o at least j?
False
Suppose 1367 = 3*w + 2*y + 1610, 389 = -5*w + 2*y. Is -73 less than w?
False
Let b = 287 - 290. Let w be 15/b - (12 - 16). Which is smaller: 2/549 or w?
w
Suppose -125 = -5*l - 370. Let v = -54 - l. Let y be (-3)/v - 106/170. Which is smaller: y or -1?
-1
Let i be (-1510)/88 - (-7 - 100/(-14))*7. Which is smaller: i or -19?
-19
Suppose 3*r - r = 4*x + 22, 0 = 2*x + r + 21. Which is greater: x or -20?
x
Let t = -31548 + 31547.8. Is -4608 > t?
False
Let o = 88 + -104. Let b be -11 + 13 - o/(-14). Let y(f) = f**2 - 4. Let l be y(-2). Is b != l?
True
Suppose 0 = 5*c + 2*m - 12, -5*m + 0*m + 11 = 3*c. Let x be 42/(-112)*1/c. Let q = 1 + -2. Are x and q equal?
False
Suppose -67*c + 2695 = -18*c. Suppose -3*l - 2*l = -25. Suppose -l*q + c = -16*q. Which is smaller: -10 or q?
-10
Suppose 0 = -4*v - 42 + 50. Suppose -v*f = 42 - 128. Suppose f = -35*z + 34*z. Is -2 at least as big as z?
True
Suppose -3*i - 5*t + 33 = 0, 0 = 5*i - 847*t + 852*t - 35. Is i at least as big as 58/279?
True
Let b(n) = 36*n - 63 - 3 - 72*n - 34 + 32*n. Let y be b(-29). Are 18 and y unequal?
True
Let a = 1.9 + -2. Let n(c) = 9 - 55*c + 2*c**2 + 31*c + 0*c**2 - 2*c**2 + c**2. Let s be n(20). Is a > s?
True
Suppose 165 + 14 = -96*z - 13. Let o = -0.059 - -9.919. Let w = 10 - o. Does w = z?
False
Let n = 2548 + -2340. Is 208 smaller than n?
False
Suppose -4*q = f - 145, -637*q + 150 = -633*q + 2*f. Suppose -z = -2*z + 35. Are q and z equal?
True
Suppose -44*p - 6529 + 41289 = 0. Suppose 7 = -783*a + p*a. Is 4/215 less than a?
True
Suppose 0 = k + 4*l - 649, -3*k - 5*l = -7*l - 1989. Let q = 34452614 - 3031888199/88. Let c = k + q. Are 1 and c unequal?
True
Suppose 0 = 42*f - 45*f + 30. Let w be (44 - f)/((-3)/(-6)). Let y be (36/(-30))/((-4)/230). Do w and y have the same value?
False
Let x = -1/328 + -43767/164. Let y = 267 + x. Which is greater: y or 1?
1
Let x(i) = 12*i - 230. Let g be x(15). Let f = -7 + 11. Suppose 8 = 5*j + 33, -f*s - 5*j - 229 = 0. Is g < s?
False
Suppose k + 123 = -5*u, 0 = 3*k - 0*k + 5*u + 399. Let w = k + 121. Is -4 at least as big as w?
True
Suppose