5
Let c = 19/5 - 11/3. Suppose -2*m + 15 = 3*m. Suppose -4 = -m*w + 7*w. Which is smaller: w or c?
w
Let u(o) = o - 8. Let i be u(8). Which is smaller: i or 1/13?
i
Let l = -39 - -41. Is l >= 3/2?
True
Let v(j) = j - 6. Let n be v(8). Let r be 3 - n/4*-4. Let m be 0 - 2/((-2)/r). Is m at most as big as 0.1?
False
Let m = 0.4 - 0.4. Which is smaller: 6 or m?
m
Let n be (-2)/7 - (-248)/525. Let x = -12/25 - n. Let t = -1 + 0. Are t and x unequal?
True
Let p = -3 - -1. Let v be p - (-3 + -3 + 1). Is v greater than or equal to 5?
False
Suppose -4*i + 20 = 36. Which is smaller: -6 or i?
-6
Let l = 0 + 3. Suppose -r = 1, 3*r - 17 = -8*j + l*j. Suppose j*y - 4 = 4*k, 5*y = k - 3 + 12. Which is smaller: k or 2?
k
Let d(h) = -2*h**2 + 45*h - 39. Let o be d(21). Which is greater: o or 23?
o
Let t be 2/(-7) - (-5)/(-7). Let s(d) = -d - 2. Let z be s(-2). Which is smaller: t or z?
t
Let q be (8/(-30))/(2/(-20)). Which is smaller: q or -0.1?
-0.1
Let a = -96251/45 - -2139. Is 1 < a?
False
Let c = 9 + -4. Let u = c - 5.3. Let k = 0.3 + -0.4. Is u greater than k?
False
Suppose s - 11 = 4*t, -5*s + 4 + 70 = -t. Is s <= 16?
True
Let q = 2 - 1. Let d = 2 - 2. Let c = d - q. Which is smaller: c or 1?
c
Suppose 4*c + 10 = -c. Suppose -3*u + q + 6 = -2*q, 0 = -5*u - 5*q. Let k be -4 - (-3 + u) - c. Which is bigger: -1/4 or k?
k
Let d = 25 + -41. Let c = -23 - d. Let z = c + 7. Which is bigger: 1 or z?
1
Let i = -14 + 15. Let o be 2/3*9/6. Let n be 1/(o/3)*i. Is n >= 4?
False
Suppose 0 = w + 4 - 0. Let o(i) = -i**3 - 5*i**2 - 4*i + 4. Let k be o(-4). Let b = w + k. Which is bigger: -0.2 or b?
b
Let g = 4 + -10. Let q = g + 3. Which is greater: q or -2/11?
-2/11
Suppose -30 = -17*k + 20*k. Which is smaller: k or 1?
k
Let x be (-2 + (-14)/(-5))/(-1). Let i be (1 + 2 + -2)*-8. Let v = 6 + i. Is x at most as big as v?
False
Let z = -0.02 + 3.02. Suppose 3 = a - 0. Suppose a*x = -2*x. Which is smaller: x or z?
x
Suppose -4*g - 3*c - 1 = 0, 0*c + 4*c - 36 = 4*g. Suppose -2*n = 2*n + 12. Let m = n - g. Is m at least as big as 0?
True
Suppose -2*p + p - 5*x = -35, -4*x = -3*p + 29. Suppose 5*k = -p, -3*f + 5*k = -f - 17. Which is smaller: 2 or f?
f
Let m be 1 + 0/2 + -1. Suppose m = k + 3*k - 20. Suppose -k*u - 24 = -u. Which is smaller: 0 or u?
u
Suppose -2 = 13*l - 14*l. Which is smaller: l or 7/5?
7/5
Let g be 4*(9/4 - 3). Suppose -3*c + 5 = 5*w, -7 = w + c - 2*c. Which is greater: w or g?
w
Let h be (8 - 5) + (-4 - -2). Suppose 3*t = y + 4, y + 4 - h = 2*t. Let r be y*(-2 + (-3 - -2)). Is r > 3/2?
True
Let g = 52226/9 - 5713. Let m = g - 90. Which is smaller: m or 0?
m
Suppose -2 = -v - v. Let p be -4 + v + (-4)/(-4). Do p and -3 have different values?
True
Let p(t) = 5 - 3 + t + 2 + 1. Let f be p(6). Let s = 5 - f. Is s less than or equal to -5?
True
Suppose -2*d - 2 = -2*u + 90, -d = 4*u - 199. Let j = u + 122. Let l = j + -1195/7. Which is smaller: l or 0.2?
0.2
Let n = -6 - 1. Let y be n/14*2*1. Let u(x) = x + 3. Let m be u(-5). Is m != y?
True
Suppose j + 6 = 4*j. Suppose -m - 3 = -j. Let h be (m/(-2))/(0 - 2). Which is bigger: h or 0?
0
Suppose 16*y = 15*y - 2. Suppose 3 - 7 = -4*t. Is y <= t?
True
Let k be 2/1*11/2. Suppose -3*n = 2*m + 16, -5*n - 2*m + k = 35. Let u = -4 - n. Are 0 and u non-equal?
False
Let g be 6/9 - 14/30. Let n(x) = x**2 - 3*x - 4. Let k be n(4). Which is smaller: k or g?
k
Let q be 2/4 + (-13)/2. Let a = 4 + q. Let i be (-1)/a + (-15)/10. Which is greater: i or -3/13?
-3/13
Let c = 2011 + -26131/13. Is c <= 1?
True
Let o = 4 + 11. Let s = -34 + o. Let w = s + 93/5. Which is smaller: w or 2?
w
Suppose 0 = -5*i + p + 5 + 21, 3*p + 13 = 2*i. Let w = 4 + 2. Is w smaller than i?
False
Let a = 102 + -84. Is 18 at least as big as a?
True
Let x = 1 - 1. Let o(q) = -3*q**2 + q + 1. Let i be o(0). Which is bigger: i or x?
i
Suppose 13*v - 30 = 18*v. Which is smaller: v or -4?
v
Let n(b) = -4*b. Let y be n(2). Is y smaller than -10?
False
Suppose 2*h + 3*h + 2*a = 12, 0 = -2*h + 4*a. Let u be ((-4)/50)/(h/10). Suppose -4*j = 3*s - 12, -j + 0*j + 2*s = 8. Is u >= j?
False
Let t be (2 - -5)*1 - 0. Which is smaller: 8 or t?
t
Let p = -2 - -3. Let f(u) = 2*u**2 + 3*u. Let c be f(-2). Let b be (c/(-5))/(6/10). Is b not equal to p?
True
Let m be -3 + (6/(-2) - -3) + 3. Let l(i) = 2*i + 1. Let o be l(1). Suppose m = -o*v - 15. Is -5 at least as big as v?
True
Suppose h + 3*h = 0, 3*p + 27 = 4*h. Let l(m) = m**3 + 10*m**2 + 8*m - 13. Let q be l(p). Is -4 less than q?
False
Let m = 2 - -21. Let s = m + -23. Is -3 bigger than s?
False
Let q = -0.1 + 0.2. Let f = -0.06 - -0.1. Let v = f - 2.04. Is q < v?
False
Let p(u) = -u**3 + 5*u**2 + 3*u + 6. Let t be p(5). Suppose 0*o + t = 3*o. Is o > 6?
True
Let s be (-2 - -2)/(2*(-2)/4). Which is smaller: s or 2/17?
s
Let k be ((-8)/(-464))/((-1)/(-4)). Suppose -p + 43 = 3*m, 3*p - 4*p - m + 33 = 0. Let t be p/(-20) + (-4)/(-10). Which is smaller: k or t?
t
Let m be (-4)/2 + 1 + -3. Let y(j) = -j**2 - 3*j - 2. Let u be y(m). Is u less than or equal to -6?
True
Let l = 28 - 17. Let m(k) = -k**2 + 11*k - 4. Let d be m(l). Which is bigger: d or -2?
-2
Let a(q) be the third derivative of q**5/60 - q**4/12 - q**3/6 + 2*q**2. Let c be a(2). Which is smaller: -1/8 or c?
c
Let v be 9/19*2/12. Is v smaller than -1?
False
Let v = 1076/93721 - 3/629. Is v bigger than -1?
True
Let m(r) = r**3 - r**2 + r - 9. Let w be m(0). Let f = -6 - w. Suppose -5*t = f - 13. Which is smaller: t or 3/5?
3/5
Let p = -47 + 46.92. Which is greater: p or 0.4?
0.4
Suppose x + 3 = 4*x. Does x = 5/4?
False
Let z = -19.47 + 0.47. Let f = -20.1 - z. Which is smaller: f or 1?
f
Let w = -55/323 - -2/17. Is w != 0?
True
Suppose 2*a + 1 - 3 = 0. Which is smaller: a or 4/3?
a
Let i(t) = -3*t - 1. Let c be i(-1). Suppose 5*s - 3*x = -14 - c, -s + 5*x = 12. Let l be ((-4)/8)/(s/(-4)). Which is smaller: l or -2/9?
l
Let k be 604/(-15)*-8 - -2. Let l = -324 + k. Let p = 0.14 - 0.04. Which is greater: l or p?
l
Let s be ((-9)/(-12))/(2/48). Suppose 5*c + s = 68. Are 9 and c non-equal?
True
Suppose h - 3*h = -4*d + 20, -2*d = 4*h. Suppose 4*l + g - 1 = -7, 0 = 2*g + d. Let m = 0.1 + -3.1. Is m <= l?
True
Suppose -226 = -3*w - 292. Are -20 and w non-equal?
True
Suppose -t = 2*q - 4, 1 = 3*t - q - 4. Let v be (-2 - 9/(-6))*t. Which is greater: 0 or v?
0
Let d = 2/325 - 331/975. Let i = -0.06 - 0.24. Let t = i - 0.7. Which is bigger: t or d?
d
Let j = -0.9 - 4.1. Let r = 7 + j. Let s = -1 + r. Is s at most as big as 0.1?
False
Let o(w) = -w + 1. Let f be o(4). Let r be 2/4 - f/18. Is r smaller than 2?
True
Let r = -397 - -8339/21. Is r greater than or equal to 1?
False
Let u(n) = n + 4. Let a be u(-4). Suppose h = -a*h + 6. Suppose -2*p - h = -m, 3*p = -3*m - 0*m. Which is bigger: 3 or m?
3
Let t = -102/13 + 1104/91. Let i = 164/35 - t. Let o = -0.1 + 0.1. Which is smaller: o or i?
o
Suppose 11 = 4*s - 1. Which is greater: s or 16/7?
s
Suppose -1 = -3*n + 11. Suppose -3*r = -7*r + n. Is r less than -6?
False
Let m = 8 - 39. Which is smaller: m or -0.2?
m
Suppose -a - 75 = 4*a. Let t = -6 - a. Let i = t - 17/2. Which is smaller: 0 or i?
0
Let c(m) = -m**3 - 10*m**2 - 3*m. Let j be c(-5). Which is greater: j or -111?
j
Let h be ((-10)/(-12))/(-1) + 1/(-6). Does -3/32 = h?
False
Let j be (-17)/33 - 18/(-99). Let q = 5/8 + -1/8. Which is smaller: q or j?
j
Let k = 46945/4439 + -243/23. Let f = k - -183/965. Let g be -2 - (3 + 18/(-4)). Does g = f?
False
Suppose 27 = 3*o - 5*b, -4*o = -4*b - b - 36. Let y = o - -7. Suppose -2*v = -6*v + y. Do 4 and v have different values?
False
Let l = -2.01 - -0.01. Let c = -1.1 - -1. Let i = c + 0.2. Is l greater than or equal to i?
False
Let l(x) = -2*x + 14. Let h be l(6). Let t be 1/((-3)/(17 - h)). Are -3 and t equal?
False
Suppose -4*v = v - 115. Suppose 0 = 3*q + 2*w + 4, 5*q - 4*w - v = 7. Let l = 37/2 + -17. Which is greater: q or l?
q
Suppose -6 - 3 = -3*b. Let t be 2/b*9/6. Let d(q) = -q + 5. Let p be d(3). Which is smaller: t or p?
t
Let r(x) = x**3 - x**2 + x. Let o be r(1). Is -10 at most as big as o?
True
Let f = 5 + -4.9. Let j = 0 - 0.1. Let h = -0.3 - j. Is f at least h?
True
Let m(b) = b + 3. Let o be m(0). Suppose -2*z - 4 = d - 4*d, -5*z = -o*d + 1. Suppose z = -3*y - 2. Is y > 0?
False
Let i = 1.9 - 12.9. Let h 