3 + 46813. Suppose 5*m = 5*l + 160, -4*m = -l + 48 - 170. Does m = d?
True
Suppose -41 = -4*c + 11. Suppose 0 = -4*h - 5*f - 0*f + c, -2*f = -h. Suppose h*s = 8*s - 6. Is 1/64 bigger than s?
False
Suppose 86*p + 54906 - 3564 = 0. Which is greater: p or -5?
-5
Let z be 13*((-2 - (-96)/45) + (-1351)/(-105)). Is z at most as big as 232?
True
Suppose t + 9*p = 8*p + 187, 4*t - 738 = p. Let w = -189 + t. Which is smaller: 0 or w?
w
Let m = -8934 + 8935. Is -1/7153 > m?
False
Let z = 4092.5 - -1099.5. Is z greater than or equal to -1/2?
True
Let a = -115 + -14. Let h = a + 123. Is h at least -5?
False
Let b be ((-20)/6)/(8/(-12)) - 11. Let k be (b - 69/(-22))*(-2 + -2). Which is smaller: 12 or k?
k
Suppose 4*z + 190 = y, 113 = -3*z - 5*y - 41. Let a be ((-74)/(-3))/((-2)/(-3)). Let v = z + a. Which is greater: v or -12?
v
Let b = 0.268 - 44.768. Let o = b - -45.5. Is o > -72?
True
Suppose 12013*u = 12009*u + 20. Let g(w) = 2*w**2 - 5*w + 4. Suppose -4*s = -0*s - 12. Let h be g(s). Does u = h?
False
Let l(m) = 35*m + 198. Let r be l(-7). Is r greater than or equal to -21?
False
Suppose 4*i + 3 = -5, 5*x = i + 127. Suppose 29*s = x*s + 4. Which is greater: 2/133 or s?
s
Suppose -3*q = -b - 854, -3*q + 4*b = -q - 566. Let u = -283 + q. Is 117 at least as big as u?
True
Let c be -24 + 305*1248/15852. Which is bigger: -1 or c?
c
Let h be (-36)/(-8)*(-900)/135. Is -291/10 > h?
True
Suppose 3*l - 11 + 5 = 0. Let h = 331 + -5. Let w = h + -304. Which is smaller: w or l?
l
Let g = 5000 + -5012. Let y = -0.88 - 0.62. Is y at most g?
False
Let m be (699/39 - 18)*-6. Which is smaller: m or 288?
m
Let n = -662 + 657. Let g be 0 + n + (-478)/(4/(-2)). Is 236 bigger than g?
True
Suppose 22*w + 28*w = 350. Let l be (10/4)/((-1)/(-10)). Suppose 8*g = l + w. Which is smaller: 8/3 or g?
8/3
Let v(l) = -2*l**3 - l**2 + l - 3. Let q be v(-2). Let s be (7/21)/((-1)/(-6)) - q. Which is smaller: -11 or s?
-11
Suppose -g + 37 = 5*j - 0*j, 5*g - 185 = 4*j. Let l be 1442/(-70) - 4/10. Let t = g + l. Is 14 at least as big as t?
False
Let u(l) = -l**3 - 6*l**2 - 5*l + 2. Suppose 2*m + 0*m - 4*v = 30, 5*v + 60 = 5*m. Suppose -a + 4 = m. Let j be u(a). Which is greater: 7/5 or j?
j
Suppose 95 = -17*r - 1843. Let m be -2*(-6)/r - (-2196)/646. Which is smaller: 4 or m?
m
Let a = 765 - 719.8. Let b = -44.49 + a. Is b < -1?
False
Let v(a) = -a**2 + 50*a - 338. Let d be v(16). Let w = -206 + d. Which is smaller: w or -2/17?
-2/17
Let t be 70/49*28/10. Is t <= 18?
True
Suppose -4*d + 3 = -3*o, o + o = 2*d. Suppose -38 = -u + o*a, -12*u - 4*a + 168 = -8*u. Suppose u = -3*n + 14. Is -3 >= n?
True
Let l(o) = 135*o**3 + o**2 + 4*o + 3. Let k be l(-1). Let w = k - -152. Which is bigger: w or 18?
18
Let t = 434 + -411. Suppose -3*p + 8*l = 12*l + t, 12 = 3*l. Is -13 equal to p?
True
Let s be (-26)/(1*(-20)/370). Which is bigger: s or -2/5?
s
Suppose x + 2*z - 2 = -20, 3*x = -2*z - 38. Suppose 12 = -q, -3*d = -5*q + 439 - 487. Which is greater: d or x?
d
Suppose 4*v + 52 = 4*i, 0 = 8*i - 4*i - 5*v - 50. Let s be 16*3/i*-3. Let n(z) = -z - 4. Let j be n(6). Is s equal to j?
False
Let u be -12 - (0 + 204/28). Which is smaller: -20 or u?
-20
Suppose -2*n + 4 = 2. Let l be -3*(2/(-12))/n. Let a = 0.38 + -1.18. Is l > a?
True
Suppose -4*g = -20, 0 = -2*b - 0*b - 4*g - 94. Let x = -349 - -535. Suppose -188*w = -x*w + 116. Is b >= w?
True
Suppose -3*g - 211 = -9*p + 10*p, -9*g - 5*p = 629. Which is bigger: g or -561/8?
-561/8
Let o = 18335 + -18335. Which is smaller: -40/191 or o?
-40/191
Suppose 5*v = -3*m + 15, -15 = m - 4*m + v. Suppose -3*n = 9, -3*y + m*n + 0*n = -24. Suppose k = -3*s + 20, k - s = y*k - 15. Which is bigger: k or 3?
k
Let i be ((-2)/(-3 + 1))/8. Suppose 5*g - u - 16 = 0, g + 4*g + u = 24. Let z(s) = -8*s + 29. Let t be z(g). Is t < i?
True
Let m = -2.005 - -0.005. Let c = 0.07 - -0.04. Which is smaller: m or c?
m
Let v(m) = 91*m - 1154. Let h be v(13). Is 706/25 bigger than h?
False
Let q be 75797/(-13)*8/(-52). Let z = q - 897. Let d = -333/845 - z. Is -1 at least as big as d?
False
Let v = -4 - -25. Let m = -7276/18215 + -2/3643. Is v less than or equal to m?
False
Let g = 519.1 - 519.25. Is g smaller than -5?
False
Let o = -50727/4 - -12610. Let d = 29769 + -29842. Which is bigger: d or o?
o
Suppose -8499 + 3914 = -67*b + 8949. Do b and -12 have different values?
True
Let l be (21/6 + -3)*0. Let j be (-3)/9*(l + 10). Let h = -144 + 142. Is j greater than or equal to h?
False
Let j = 7 - 2. Suppose 0 = -2*q + j*f + 23, q + 11 = -5*f - 0. Suppose 4*a - 38 = -2*b, 0 = -a + 2*a - q*b - 14. Which is smaller: 1 or a?
1
Let v be (-192)/(-128) - (-1553)/4*2. Is v < 1?
False
Let p be 1/14 + 5564/5992. Which is smaller: -3/2300 or p?
-3/2300
Let c = -45 - -43. Let t be (1 + 3 + -1)/(c/12). Let w(u) = 27*u + 63. Let a be w(-3). Is a >= t?
True
Let k = 26724 - 26733.9. Which is smaller: k or -1/8?
k
Suppose -2*m - 27 - 1 = 0. Let b = m - -17. Do 4 and b have the same value?
False
Let m be (4/(-2))/(21 - 23). Let n = -3723 + 2170507/583. Is m less than n?
False
Suppose -16*m = 93 + 195. Let t be 1 - ((-1 - 0) + 19). Is t < m?
False
Let s = -3.8 + 4.1. Let d = -274 + 278.1. Which is greater: d or s?
d
Let f(v) = v**2 - 14*v - 19. Let q be f(15). Let l be 3/(90/(-12))*6/q. Which is bigger: 1/3 or l?
l
Let g(a) = a**2 + 5*a. Let l be g(-4). Let f = 64018/7 - 9148. Which is bigger: l or f?
f
Let n be (7 - (10 - 9)*9) + (-2114)/(-1032). Is n >= 0?
True
Let o(c) = 19*c - 4. Let n be o(6). Suppose -6*v - n = -v. Let d be (-75)/(-50)*(-29 - -15). Do d and v have different values?
True
Let y(w) = 127*w - 13. Let q(h) = 1. Let d(x) = -2*q(x) + y(x). Let i be d(-3). Let n be i/(-96) + 2*-2. Which is greater: 0.1 or n?
n
Let s = -8/3501 + -353561/17505. Suppose -5*u = -3*u + 42. Which is smaller: u or s?
u
Suppose -829*i + 826*i = -u - 12, 3*u = -2*i + 8. Let z be (-1 - -1) + (375 - 9). Let q be (-250)/z - 4/(-6). Which is smaller: u or q?
q
Suppose -130 = 4*t + 34. Let n(f) = -2*f - 7. Let b be n(17). Is b != t?
False
Let h = 2416/11 - 12102/55. Is h < 2799?
True
Let w(m) = 5*m - 37. Let k be (2*1)/((-24)/12) - -3. Let n = 9 - k. Let d be w(n). Are -1 and d unequal?
True
Let y be 9/(-2)*1*70/(-21). Let v be (2 - -8)*2/y. Is 0 less than or equal to v?
True
Let w(m) = m**3 + 6*m**2 - 7*m - 10. Let k be w(-7). Let t be (2/3)/(k/(-255)). Is t smaller than 0.4?
False
Let l = 371 + 1301. Let j be (-9)/(90/(-8)) - l/2340. Which is greater: 1 or j?
1
Let r be 92/120 + (-20)/8. Let p = 8 - -1. Let o be 3/p + 21/(-9). Which is bigger: r or o?
r
Let m = 40 - 40. Let k be (3*(-2)/(-12) - m)*0. Suppose k = -10*w - 69 + 19. Are w and -7 nonequal?
True
Let b be (-39)/60 + (1 - (-7)/(-5))/(-1). Is b > -7594?
True
Let m = 184017 - 3094429873/16816. Which is smaller: 0.2 or m?
m
Let d = 80.751 + -80.5. Let p = -108.051 - -108. Let q = d + p. Is 0 <= q?
True
Let j = -912 + 599. Let m = 313 + j. Let z = 231/4 + -58. Is m greater than or equal to z?
True
Let c(t) = t**2 - 21*t - 65. Let m be c(24). Suppose 3*j = -4*l - 33, -2*l - 5*j - m = 6. Is l smaller than -9?
False
Suppose 110*v = -3*p + 106*v, 3*p = -5*v. Is -2/201 > p?
False
Let y(p) = 5*p**3 + 2669 - 6*p**3 - 5*p**2 + 2*p**3 - 7*p - 2660. Let t = -1 + 7. Let m be y(t). Is -0.5 at most as big as m?
True
Let o = 19273/665 - -117/665. Which is greater: o or 30?
30
Let i be 36/(-30)*2/6. Which is smaller: i or 17/4?
i
Let w(q) = 8*q**2 + 125*q - 157. Let g be w(-25). Which is smaller: 1715 or g?
1715
Let c be (10 - (-6 - -7)) + -7. Let f be (c/(-4) - -1)*4234/29. Is f < -0.1?
False
Suppose 1644 = 650*y + 88*y - 2784. Suppose 2*b = -2*b + 8. Let u be (-1)/(-2)*b*7. Which is smaller: u or y?
y
Let p(b) be the second derivative of -b**5/5 + b**4/4 + 2*b**3/3 - 13*b**2/2 + 641*b. Let m be p(2). Let g = -0.3 - -0.1. Which is bigger: m or g?
g
Let v be 29 - 35 - (-40 - -1). Let c be (-7)/(-11) + 3/v. Is c at most as big as 2?
True
Let i be 10*(1 + (-3)/5). Suppose -2*x + 0 = -i*s - 4, 5*x - 10 = 3*s. Suppose -2*f = -8, -2*n - 34 = -s*f + 4*f. Which is smaller: -24 or n?
n
Let d(y) = 7*y - 74. Let r(w) = 21*w - 222. Let x(j) = -7*d(j) + 2*r(j). Let f be x(13). Suppose -44 = 2*k - 12. Are k and f unequal?
True
Let k(a) = a**2 + 17*a + 12. Let q be k(-17). Let z(s) = -