*w. Which is smaller: 2 or r?
2
Suppose 0*x = -5*x - 5. Which is greater: -3/106 or x?
-3/106
Let w be (-1 - -19)*(-3 + 2). Let b be w/52 + (-2)/(-4). Which is smaller: -1 or b?
-1
Suppose 0*i + 8 = -2*i - 2*u, 3*i - 16 = 4*u. Let c be (-3 + i)*(-1)/11. Which is smaller: 0 or c?
0
Suppose 0 = -5*w + w. Let r(q) = q**2 - 1. Let o be r(w). Which is smaller: 2/7 or o?
o
Let p be (-42)/(-72)*4 - 3. Let s = -1.2 + 0.2. Which is smaller: p or s?
s
Let g be 14/6*96/84. Let q = 22 - 5. Suppose 0 = 5*h - 4*d - 13 - q, -d = 5*h - 5. Is h > g?
False
Let y(k) = 2*k**3 + 4*k + 2. Suppose c - 3 = 2*c. Let a be y(c). Let f be (2/(-3))/(a/(-36)). Is 1 at least f?
True
Let b = -1 + 14. Let t = b + -20. Is t less than -6?
True
Suppose 3*j + 199 = -2*f - 2*f, 5*f - 2*j = -243. Which is bigger: -48 or f?
-48
Suppose -k + 8 = 2*k + 2*h, 0 = 3*k - 5*h - 22. Suppose 0 = -o - k*o. Is o < -1/3?
False
Suppose d + 5 = 1. Let c be (0 - 0) + -2 + 0. Which is greater: c or d?
c
Let a = 3 - -2. Suppose a = -0*y - y. Is 1 greater than y?
True
Let m(l) = -l**2 - 10 + 10 + 0*l**2 + 2*l**3. Suppose -2*u + 6 + 1 = 5*v, -3 = -4*u + v. Let o be m(u). Which is greater: o or 3/4?
o
Let w be (-1 - -2) + (-70)/20. Which is smaller: -2 or w?
w
Suppose 2*i - y + 4 = -11, 5*i = 3*y - 39. Let u = i + 6. Let h be (2/3)/((-4)/(-6)). Which is bigger: u or h?
h
Suppose 0 = -3*v + 9*v. Is 2/225 bigger than v?
True
Let w = -8 + 2. Let l = 12 + w. Which is smaller: l or 5?
5
Let d(k) = k**3 + 9*k**2 - 11*k - 16. Let c be d(-10). Suppose 3*q + 2 - 1 = -2*o, 5*o + 10 = -5*q. Which is smaller: c or o?
c
Let c = 0.01 - 0.01. Let y = c - 0.1. Let x = -1.9 + y. Which is bigger: 0 or x?
0
Let o = -5 - -8. Let n = -2 - o. Let w = -5 - n. Is -2/7 at most as big as w?
True
Let p = 3 + -9. Let v(g) = g**3 - 5*g**2 - 5*g - 4. Let y be v(6). Let q be y/7 + p/21. Which is smaller: -1/4 or q?
-1/4
Let q = -2/215 - 1481/2580. Is q greater than or equal to 0?
False
Suppose -28 = -2*n - 2*n. Suppose -5*y = -13 - n. Is y at most as big as 1/3?
False
Suppose -4*o - 4*p + 28 = p, o = 5*p - 18. Let d be 0 - (-2 + 2 + o). Let u be d/(-5) + -1 + 1. Which is bigger: u or -1?
u
Let p(l) = l**2 - 13*l + 7. Let r be p(5). Is -33 >= r?
True
Let i be 2/3 + 9/(-12). Suppose -3*a = a - 5*p + 16, -3*a + 5*p - 17 = 0. Which is smaller: i or a?
i
Suppose 6*m - m = 75. Are m and 15 unequal?
False
Let a be 2/(-5) - (-4 + (-1184)/(-340)). Let b(o) = o + 2. Let g be b(-3). Does a = g?
False
Let y be (-3)/(990/69)*-4. Let h = y + 4/11. Which is smaller: 0 or h?
0
Suppose -2*v - 5 - 1 = 0. Let l be v + 3*(-212)/(-204). Which is greater: l or 1?
1
Suppose 0 = -0*l + l + v + 2, -2 = 3*l + 2*v. Let p = l + -7. Let z = -8 - p. Which is greater: z or -4?
z
Let u(w) = 2*w**3 - 2*w**2 + w. Let n be u(1). Suppose n = -2*o + 3*j, -2*o + 3*j = -j. Suppose 0 = 4*a + 3 + 5. Is a less than o?
False
Let l = -78 + 78. Is l less than -6/25?
False
Let o(c) = 25*c**2 - c + 1. Let a(t) = t. Let v be a(1). Let y be o(v). Suppose -4*i = -3*s + 8*s - 17, -3*s = -5*i - y. Which is smaller: -2/3 or i?
i
Let m(r) = r**3 - 6*r**2 - 8*r + 7. Let d be m(7). Let k be 0 - (-1 + d - 2). Let b = k + -5. Which is smaller: b or -3?
-3
Let q(k) be the third derivative of k**4/24 - k**3/2 - k**2. Let s be q(6). Let v be 2 - 4/(-8)*2. Is v less than or equal to s?
True
Let u(o) = o**3 - 5*o**2 - 3*o - 5. Let a be 19/5 - 2/(-10). Let l be u(a). Let i = 65/2 + l. Which is smaller: -2/7 or i?
i
Suppose -4*t + 9*t = 20. Suppose 0 = j + t*j - 40. Are 8 and j nonequal?
False
Suppose -2*l + 3*l = 2. Let h be 87/(-27) + l/9. Let u be 3/(-12)*4/h. Do u and -0.1 have the same value?
False
Let o be (-14)/184 + (-11)/(-44). Is o less than or equal to 0?
False
Let c = 13.039 - 0.039. Which is smaller: -2 or c?
-2
Let m = -27 - 29. Let c be (-14)/m - (-34)/(-40). Which is smaller: -1 or c?
-1
Suppose -6*x + 7 - 49 = 0. Is -13/2 <= x?
False
Let d(v) = 3*v**3 - v**2 - v + 1. Let x be d(1). Suppose -1 + 3 = k. Are x and k unequal?
False
Let q = -11 - -5. Let d = 3 - 9. Let f = d - q. Is f < -2/7?
False
Let w = -4/21 + -2/21. Let a(l) = l**3 - 5*l**2 - 7*l + 6. Let p be a(6). Suppose 3*n + n = p. Are n and w nonequal?
True
Suppose -2*p = -5*p + 24. Let f(c) = -c + 3. Let q be f(-5). Is q > p?
False
Let c be (4/(-5))/((-3)/(-5)). Which is smaller: 7 or c?
c
Let n = -54.27 + 54. Let v = -0.07 - n. Let g = -1 + 1. Which is smaller: v or g?
g
Let a be 2/(-1) - (1 + 945). Let x be (-6)/9 + a/(-135). Let l = x - 50/9. Is l > 2?
False
Let t(r) = r**3 - 8*r**2 + 8*r - 7. Let b be t(7). Let f = -41 + 40. Which is greater: b or f?
b
Let s(k) = k**2 - k + 1. Let z be s(1). Suppose -4*x - 12 = -0. Let c be (0 + x)*2/(-20). Which is greater: z or c?
z
Let a be (-3)/(-6) + 89/(-170). Is a bigger than 0?
False
Let o = 4727249/198 - 264894/11. Let s = o - -206. Let t = 16/9 + s. Which is bigger: t or 1?
t
Let t(z) = -z**3 + z**2 + z + 1. Let b be t(-1). Let h(k) = k**2 + 5*k - 12. Let p be h(-7). Is p greater than or equal to b?
True
Suppose 4*d + 11 + 45 = 4*r, 0 = -3*r + d + 36. Do r and 74/7 have the same value?
False
Let l = -0.23 - -0.73. Is 0.1 >= l?
False
Let c be (-2)/(-14) - (-530)/(-231). Let i be (10/44)/(1/(-8)). Let q = c - i. Which is bigger: q or 1?
1
Suppose 5*h = 5, 5*g - 5 = g + 3*h. Let s be (-4 + 2)*1/(-4). Which is smaller: g or s?
s
Let f = -276 - -410. Let g = -935/7 + f. Which is smaller: 2/5 or g?
2/5
Let s = -7 - -13. Suppose -5*y + 8 = -p, 2*y - p - s = -y. Let f be (-2 + y)*(-1)/1. Is 1/9 not equal to f?
True
Let f be (-2)/7 + (1 - 1). Let n = -16.6 + -3.2. Let y = n - -20. Which is greater: f or y?
y
Let a(r) = 8*r**2 - 4*r + 1. Let x be a(2). Let j = -26 + x. Let h be (-1)/(-1 + 1 - -1). Is j at most as big as h?
True
Let j = -5/18 + -25/72. Let r = j + 19/56. Which is smaller: r or 1?
r
Suppose 2*f + 3 = 5. Let k = -2868/11 - -261. Is f < k?
False
Suppose 0 = -r - 0*r - 3. Is -18/11 bigger than r?
True
Let u = 43941 - 19817462/451. Let h = u - 1/41. Let b = 13 + -14. Which is bigger: h or b?
h
Let o = 37 - 34. Is 7 at least o?
True
Let d = 127 - -42. Let q be (-1)/(-3)*13/d. Do 0 and q have different values?
True
Let u = -10 - -5. Let i = -3 - u. Suppose 0*v - i*v - 2 = 0. Is v >= -2?
True
Suppose 6*h = 2*h + 12. Which is smaller: h or 1?
1
Let m(f) = 7*f - 41. Let b be m(6). Are b and 2/165 nonequal?
True
Let n(h) = -3*h**2 + 5. Let f(b) = -3*b**2 + 6. Let m(a) = 5*f(a) - 6*n(a). Let j be m(-1). Which is smaller: 2 or j?
2
Suppose 0 = -a + 3*s + 14, -3*a = -0*a + 4*s + 10. Let m = -12 + 13. Is a > m?
True
Let v(l) = -l - 2. Let k be v(1). Which is smaller: -10/3 or k?
-10/3
Let a = -1.936 + -0.064. Which is smaller: 23 or a?
a
Let t = 5 + -11. Let p = 6.2 + t. Is 0.1 at least p?
False
Suppose a - 5*s - 26 = 0, -4*a - 4*s - s = -4. Let d be (18/(-12))/((-3)/16). Which is bigger: d or a?
d
Suppose 3*b + 3*r = 5*b + 9, 2*r - 10 = 0. Let u(l) = l + 9. Let k be u(-7). Which is greater: b or k?
b
Let v be 6/27 - (-74)/(-9). Let r be v/10*(-5)/34. Let x be ((4/(-1))/(-2))/2. Which is bigger: x or r?
x
Let o = 33 + -40. Which is smaller: o or 1?
o
Suppose -c + 2 = 1. Suppose 5*m - 13 = t + 2*t, -36 = -4*t - 4*m. Suppose -t*x = -2*l + c + 15, -x + 18 = 5*l. Is x > -2?
False
Let p = 1.1 - 0.9. Suppose -2*u - u = -9. Which is bigger: p or u?
u
Suppose 20 = 2*h + 3*h. Suppose -5*a + h*i = -12, -2 = 2*i + 4. Suppose 3*x = 3*b - 9, -x - 3*b = -2*b - 7. Are x and a nonequal?
True
Let r(v) = -v + 2. Let g be r(-4). Let k = g + -6. Let y = -4/21 - -2/231. Is y < k?
True
Suppose 4*k + 3*m = 4*m + 12, -28 = -3*k - 4*m. Suppose 2*s = 3*i + 3*s + 5, 2*s - k = i. Suppose 5*g - g = 0. Which is bigger: g or i?
g
Let b(a) = -a - a + 1 + 2. Let q be b(-3). Suppose 4*o - 12 = 0, w + q = 5*o - 6. Which is smaller: w or -1?
-1
Let w be 4/(-6) + (-217)/21. Which is bigger: w or -12?
w
Let c = -0.06 - -7.06. Let n = -7.4 + c. Which is smaller: n or -0.1?
n
Let c be -1 + 385/1113 + (-4)/(-6). Which is bigger: c or -1?
c
Let r(t) = -3*t**2 - 1. Let s be r(1). Let x be (-8)/32 - (-3)/s. Let d be (1 - 2) + 10/9. Which is smaller: d or x?
x
Suppose 8 = j - 23. Let p = j + -92/3. Suppose 3*n - 2 = -t - 3*t, -5*t - 3 = n. Is p >= t?
True
Let x = -3 - -2. Let b be (0 + (-1 - x))/2. Suppose l + 5 = a - b*a, 