et r be k(1). Which is smaller: f or r?
f
Suppose 28 = 10*a + 8. Suppose 5*m + 26 = 3*o, -5*m = o + a*o - 16. Does 7 = o?
True
Let m be 16 - 30/5*-1. Is m at least as big as 25?
False
Suppose -5*p - 163 = i, -5*i - 18 = -3. Let j be (-12)/p - (-15)/(-104). Which is bigger: 0 or j?
j
Let s = 41 + -37. Let f = 106 + -110.3. Let i = s + f. Is 0 less than or equal to i?
False
Suppose -2*t + 21 = -3*n - 5*t, 26 = -3*n + 2*t. Let v = n - -10. Suppose -4*i = 12, -v*q - 3*i = -5*q + 15. Which is bigger: q or 4?
4
Let l = -69 - -68.98. Let n be 2 + (-2 - 3/(-3)). Let g be (-2)/(-3) + n + -2. Is g greater than l?
False
Suppose -119 = -5*h + 4*l, -3*h + 5*h = 2*l + 46. Let j = -17 + h. Suppose 4*v = i - 3 - 1, -j = 5*v. Which is smaller: i or -5?
-5
Let w be 1/((0 - 3)/3). Let h be 2*16 + 22/(-11). Let x be ((-5)/h*-3)/2. Is w smaller than x?
True
Let z be 12/66 + (-354)/11. Let c = 19 + z. Let w = c - -21. Which is smaller: w or 1?
1
Suppose z + 88 = -43*z. Which is bigger: -56/57 or z?
-56/57
Let k be 1/(-1) - (52 - 3). Let w = -42 - k. Is 6 equal to w?
False
Let b = -0.148 + 28.348. Let v = b - 28. Is -10 >= v?
False
Let u(r) = -2*r + 8. Let y be u(-9). Suppose 5*b - s - y = -8, 2*b - 2*s = 12. Is b at most 10?
True
Let h = -0.227 - -0.027. Is h at most -214?
False
Let y be 1280/144 + 8/(-12). Is y > 8?
True
Suppose -4*g + 2*i + 4 = -0, 0 = 2*i. Let f = 3 - g. Suppose -3*o + 12 = 3*m, f*m - 4 = 5*o - 3*o. Are 4/15 and o nonequal?
True
Suppose z + 82 = x, 4*z = 2*x + z - 167. Suppose 5*f + 3*m + x = 0, -3*m + 0*m + 19 = -2*f. Is f <= -12?
True
Let j = -5/108 + -3271/108. Let g = 95/3 + j. Let a = g - 29/24. Which is smaller: a or 0?
0
Suppose 2*d + 0*w = -5*w, d = w. Let i(f) = -f + 4. Let o be i(d). Let h be o*2/88*-12. Is h >= -1?
False
Let h be (-398)/8 - 1/4. Let j be (108/h - -2)*-5. Let b = -2 + 3. Is b at most j?
False
Let o be -4*((-1)/(-56))/(5/(-30)). Let s = -1/5 - -8/15. Which is greater: s or o?
o
Let n(v) = -3*v - 1. Let k(i) = i**2 + 4*i - 12. Let f be k(-6). Let t be n(f). Is t not equal to -3/28?
True
Let u(h) = h**3 + 19*h**2 + 17*h - 19. Let w be 60/10*3/(-1). Let v be u(w). Which is greater: -3/11 or v?
-3/11
Suppose -2*o = -2*t - 4 + 20, -5 = -4*t - 5*o. Let p = -2 + t. Let n(s) = -s**2 - 7*s - 4. Let d be n(-6). Is d at least p?
False
Let g = -291 + 316. Let y = 0 - 1. Is g greater than y?
True
Suppose -10 = 4*c - 2*q, 4*q + 1 = 2*c + q. Which is bigger: -58/13 or c?
c
Suppose 19*o + 197 = -1247. Which is bigger: -67 or o?
-67
Suppose 18 + 112 = 5*c. Let j = -26 + c. Which is smaller: 3/23 or j?
j
Let n be ((-3)/(-1) - 7) + 273/(-9). Let f = n + 173/5. Which is greater: f or 1?
1
Suppose 15*l - 12*l - 102 = 0. Suppose 96 = -l*d + 37*d. Which is bigger: 31 or d?
d
Let w = -12 + 21. Let k = 13 - w. Which is bigger: k or -2/13?
k
Let o = 3 + 12. Let b = -10 + o. Suppose b = -3*i + 8*i. Is i less than 1?
False
Suppose -3310 = -8*c - 6. Which is bigger: c or 412?
c
Let v(x) = -x**2 + 7*x - 6. Let t be v(6). Suppose -4*u - 11 = -3*p - 66, -2*u = 3*p - 5. Suppose u*m = 7*m. Is t < m?
False
Let j = -11.557 - -11.5. Let z = -0.943 + j. Let t = 5.1 - 0.1. Which is bigger: z or t?
t
Let z(q) = -71544*q**3 + 2*q**2 - 1. Let a be z(1). Let k = a - -643184/9. Let d = -78 - k. Which is greater: d or -0.1?
d
Let w be (-49)/28 + 345/220. Do w and 3/20 have the same value?
False
Let g = -0.1 + -7.9. Let b = -55 + 32. Let i = -25 - b. Is g < i?
True
Let l = 1028/3 - 21592/63. Is l <= 0?
True
Let t be -1 + (-4 - 1044/(-210)). Which is smaller: 1 or t?
t
Suppose -o = -5*u - 10, -3*o - 2*u - 6 = -2. Is o != 1/253?
True
Suppose -t = 12*t - 806. Let x = t - 59. Which is bigger: x or -3?
x
Let v = 3 + -2. Let i = 206880/109 + -1898. Let z = 135/1417 + i. Is v != z?
True
Let b = 5880 + -5894.044. Let p = -0.044 - b. Are p and -1/3 unequal?
True
Let g(i) = -2*i - 6. Suppose f - 11 = 4*l - 3, l = 5*f + 17. Let t be g(f). Let z be (5 - 15)*t/28. Are z and -2 equal?
False
Let s = 1/601 - -30043/4207. Is 6 less than or equal to s?
True
Let l(z) = -4*z + 40. Let b be l(18). Let y be 1 + (8/b)/(2/(-8)). Let w = -436 + 3058/7. Which is smaller: w or y?
w
Let c = 0.04 - -0.1062. Is c not equal to 0?
True
Let d = -3.9 - -4. Let u = 0.9 + -2.58. Let s = u + 1.7. Which is smaller: d or s?
s
Let p(n) = n**3 + n**2 - n - 15. Let k be p(0). Let t be 208/1140 + 3/k. Is 1 greater than t?
True
Suppose -3*q = 13 + 101. Let m = 30 + q. Is m < -9?
False
Suppose 2*t + 15 - 21 = 0, -5*k - 9 = -3*t. Suppose d - 20 = -9. Suppose -4*x - d + 7 = k. Which is smaller: 1/16 or x?
x
Let s be (24/10)/((-52)/(-130)). Is s less than or equal to 25?
True
Let z = 5 - 26/5. Suppose u = -3*u + 8. Suppose -5*p = u*d + 3, -8 = -5*d - 3. Which is bigger: z or p?
z
Let c be 869/36 + 9/(-36). Let d(r) = -12*r + 1. Let p be d(-2). Let k = p - c. Which is smaller: k or 0?
0
Let q = 7/11 + 6/77. Which is smaller: q or -0.2?
-0.2
Suppose -3*m = 2*k - 15, -2*m + 7*m - 2*k - 25 = 0. Suppose 3*u = b - 5*b + 4, -m*u = b - 18. Let g = 22/5 + -28/5. Is g equal to b?
False
Let p(c) = 13*c + 7*c - 16*c - 2. Let f be p(1). Is f > 2?
False
Suppose -3*w = -o - 42, 0 = -3*o + 3*w - 64 - 68. Let k be (0 - (-5)/o)/(2/(-4)). Let h = -3.2 - -3. Which is smaller: h or k?
h
Let s be (32/(-78))/(1804/(-363) + 5). Which is greater: s or -15?
s
Suppose 5*n + 62845 + 59340 = 0. Let u be (n/924)/(15/(-9)). Let l = -174/11 + u. Are l and 1 equal?
False
Let x be (-4)/(-12) - -10*8/(-60). Let c = 1865/7 + -1279/7. Let y = -84 + c. Is y at least x?
True
Suppose 36 = 125*x - 121*x. Suppose 5 = -4*r + x*r. Are r and 2/73 non-equal?
True
Let u(k) = k**2 - 8*k + 9. Let f be u(7). Let b(t) = 48*t**2 + 2*t + 1. Let w be b(-2). Let j = w + -1696/9. Is f bigger than j?
True
Suppose -6*w + w = 5. Let p = 199/6 - 1799/54. Which is smaller: p or w?
w
Let f = -239 - -324. Is -1 < f?
True
Let p(v) = 21*v**2 + v**3 - 5*v - 2*v**3 - 7 - 15*v**2. Let z be p(5). Is -5 less than or equal to z?
False
Let n(d) = 50*d + 1. Let j be n(1). Let s = 46 - j. Do s and -2 have the same value?
False
Let w be (-2)/8 - 18/(-8). Suppose -2*v - 210 = 3*m, 170 = -2*v + w*m - 60. Let y = 1007/9 + v. Is y != 2?
True
Let r = 49 - 68.5. Let j = r - -17. Is 1 at least j?
True
Let o = -7.222 - -7.24. Which is bigger: o or 9?
9
Let v be (-158519)/81 + -8 + 6. Let y = 1959 + v. Let h = y - -107/1053. Is h bigger than -1?
True
Let u(o) = 2*o + 2. Let g(i) = i**3 + 7*i**2 - 7*i + 5. Let s be g(-8). Let n be u(s). Is n != -2/7?
True
Let v be (-3)/24 + 14/((-112)/(-8345)). Which is bigger: 1041 or v?
v
Let w be (6 - (-29)/(-5)) + 1/(-5). Let f be (-4443)/(-5151) - 1 - (-14)/119. Which is bigger: f or w?
w
Let z = 1.96 + -3.27. Let v = z - -0.21. Let s = 0.9 + v. Which is smaller: -0.5 or s?
-0.5
Suppose 0 = -q - q + 2*f - 2, -f = q + 9. Let r = -419 + 414. Is q <= r?
True
Suppose -j + 0 = -7. Let q be 35/j - (-3 - -7). Suppose -q = 3*i - 2*i. Are i and -8/7 equal?
False
Let d(q) = -2*q**2 - 13*q - 33. Let u be d(-5). Let p be (-4)/6 - (-1050)/u. Which is smaller: p or -60?
-60
Let x be 4/(-2 + (-16)/(-10)). Suppose 3*s - 20 - 25 = 0. Let f = s + -24. Is f at least x?
True
Let f = 335 + -335. Which is greater: f or 1/672?
1/672
Let r = -68 - -68. Is r bigger than 10/97?
False
Suppose -4*v + 6*v - 84 = 0. Suppose -11*a + v = -9*a. Let g be a/14 + 1/(-2). Which is smaller: g or -2/13?
-2/13
Let k = 386 + -386. Is k less than or equal to 42/107?
True
Let l be 7/((-14)/4) - (-1 - 147). Let x = -105 + l. Which is smaller: 42 or x?
x
Let w(b) = -4*b + 4*b - b + 4. Let s be w(3). Let d = -20518/23 + 892. Which is greater: s or d?
s
Suppose 0 = 9*g + 7 - 34. Suppose 0 = -3*t - l + 147, 15 = t - g*l - 44. Are 50 and t equal?
True
Let y = 1524897/28 - 54470. Let k = -41/4 - y. Is k smaller than -1?
False
Let v be 75/9 + (-6)/(-9). Suppose v*s - 12*s = -2511. Let l be (18/s)/(4/(-6)). Which is smaller: 0 or l?
l
Let u be 1/4 + 5/(-4). Let h(w) be the third derivative of -w**5/60 + 13*w**3/3 + w**2. Let p be h(-5). Is p greater than u?
True
Let u be (-106)/(-290) - 2/5. Suppose -4*j + 0*n - 2*n = -44, 0 = -5*j + 2*n + 37. Suppose 0*o - 4*o - j = -5*r, 0 = 2*o + 5*r - 3. Which is smaller: u or o?
o
Suppose -20*z - 9 = -23*z. Suppose -4*f = -m + 7, -z*f + 2*m = 2*f + 8. Let n = -0.06