/(-6). Suppose n*q = 5*i + 25, 0 = -i + 3*q - q - 11. Suppose -w = -4*w. Which is smaller: i or w?
i
Let d(f) = f**2 + 21*f + 38. Let c be d(-19). Which is bigger: -8/9 or c?
c
Let l = -33 - -32. Is l greater than 22?
False
Let n(t) = -t**3 - 2*t**2 + 4*t - 1. Let u be n(-3). Let p = 5 + u. Let s = -9 - -6. Is s smaller than p?
True
Let d = -0.18 + 3.18. Which is greater: d or -1?
d
Suppose 3*w + 3*a + 21 = 0, -4*a + a + 39 = -3*w. Let i be ((-9 - -5) + 10)*3/(-2). Which is smaller: w or i?
w
Let y = -197 + 198. Let a = 1123/22 + -51. Is y greater than a?
True
Suppose 0*x = 2*x, 2*o + 5*x + 16 = 0. Is o not equal to -8?
False
Let a = -0.1 - -0.2. Let y = 8 - 5. Let z = y + -2.9. Are z and a unequal?
False
Suppose 15 = 4*g - 13. Which is smaller: 3/2 or g?
3/2
Let i = -5/6 - -7/6. Let u = -4 + 4. Suppose u*l = l + 4. Is i at least as big as l?
True
Let h be 1/(-7) - (1 + 3)/(-28). Which is greater: h or 3/26?
3/26
Let u = -23 - -13. Let v be 4/u + (-4)/(-10). Which is bigger: v or 2/7?
2/7
Let z be (4/7)/(1/7). Let h = 13 + -8. Let d = -3 + h. Which is smaller: z or d?
d
Suppose 0 = -3*d + 19 + 5. Let v be (3/2)/((-6)/d). Which is smaller: -4/7 or v?
v
Suppose 2*n + 0*n = -m - 18, -3*n - 30 = 3*m. Which is greater: -6 or n?
-6
Suppose -3*j = j - 20. Is 3 equal to j?
False
Let h = -3 + 2. Let o = 21 - 13. Let n = 8 - o. Which is smaller: n or h?
h
Let t = -19016/21 - -906. Is t >= 1?
False
Let n(f) = -f - 3. Let s be n(-5). Let i = 3/5 + 1/15. Which is smaller: s or i?
i
Let q(p) = 4*p + 23. Let d be q(-6). Which is greater: d or 1/6?
1/6
Suppose 1 - 5 = g. Let u = g - -1. Which is bigger: -4 or u?
u
Let s = -851/14742 + 15/182. Is 0 < s?
True
Let u = -0.32 + 0.3. Let r = 0.02 + u. Which is bigger: -0.1 or r?
r
Let i = -21.13 - -21. Let q = i + 7.13. Let n = q - 5. Is 0 < n?
True
Let q(n) = -22*n**3 + 3*n - 2. Let j be q(1). Which is smaller: j or -20?
j
Let g = 1.6 - -0.4. Let b = 2.5 - g. Let h = 0.5 - b. Which is smaller: h or 3/2?
h
Let v be (-38)/(4/18*-15). Which is greater: v or 10?
v
Suppose 6*m + 118 + 56 = 0. Which is smaller: -30 or m?
-30
Let k = 6 + -2. Suppose k*p + 15 = 51. Let z be (4/(-15))/(6/p). Which is smaller: 0 or z?
z
Let w = 6174823/15 + -411291. Suppose -734 = 3*c + 358. Let y = w + c. Is 1 greater than or equal to y?
True
Let f = 8 + -8. Suppose -r = -f - 2. Are 2 and r equal?
True
Let r = -47 + 58. Which is bigger: 13 or r?
13
Suppose 13*z - 48 = 19*z. Is z <= -9?
False
Let j be (-7)/(105/6)*-1. Let o = -6.6 + 7. Does o = j?
True
Suppose -4*q - j - 1 + 25 = 0, -21 = -5*q + j. Suppose 0 = q*d + 1 + 4. Let l = d + 4. Which is greater: 2 or l?
l
Let u = -1 + 1.2. Let k = u - 0.2. Let h = -41 - -40.7. Which is greater: k or h?
k
Let v(o) = -o**3 - 3. Let i be v(-3). Is 6 greater than i?
False
Let w be (-7)/9 + (-3 - -4). Let l be 0/8 + (-2)/(-6). Is w at least as big as l?
False
Let h = 10 + -8. Which is greater: 1 or h?
h
Suppose -8*i - 24 = 4*i. Let t = -54/5 + 10. Is t at most as big as i?
False
Let y = 21/232 + -84321/1160. Let u = y + 73. Which is smaller: u or 2?
u
Suppose 17 = 4*y - 87. Suppose 5*f = -2*v - y, 2*v + 4*f + 0*f = -22. Which is smaller: v or 0?
v
Let k be (-10 - -9)*49/2. Are -25 and k equal?
False
Let h be (2*(-6)/(-24))/(2/(-6)). Suppose 0*b = 4*b + 2*q, -5*q = 4*b. Which is smaller: b or h?
h
Let q = -393 + 51. Let k = 3777437/15 + -252171. Let i = q - k. Which is smaller: 1 or i?
i
Suppose -625 = 5*y + 5*g - 3*g, 2*y - 4*g = -274. Let x = 632/5 + y. Let h(m) = -m**3 + 7*m**2 - 5*m - 8. Let d be h(6). Which is bigger: d or x?
x
Let m = -0.25 - 0.05. Let b = 0.3 + m. Do 1 and b have the same value?
False
Let f = -25 - -14. Which is greater: f or -3?
-3
Suppose 4*u + 4*c + 20 = 0, u - c - 10 = c. Is -69 less than u?
True
Let i = -8/19 - -142/247. Which is bigger: i or 3?
3
Let y = -392/5 - -78. Let m = -2 - -3. Which is smaller: y or m?
y
Let h be -3*(-2)/6*2. Suppose 2*q = 3*n - 5, h*q = 7*q + 3*n + 2. Which is smaller: q or -2?
-2
Let n(b) = -7*b + 2. Let w be n(1). Which is greater: -4 or w?
-4
Let j(m) = -6*m - 17. Let n(c) = 4*c + 11. Let g(p) = 5*j(p) + 8*n(p). Let b be g(-2). Which is smaller: b or 1?
b
Let s = 16.3 - -0.7. Let w = 16.9 - s. Is w less than or equal to -2/11?
False
Let m = -2.33 + 0.33. Let i = 61/6 - 31/3. Is i at least m?
True
Let q = -24 - -35. Suppose 3*f = -t - q + 4, 5*f + 13 = -t. Is -3 <= f?
True
Suppose 2*y + 2*z - 8 = 4*z, z = 0. Suppose 3*g = y*g - 1. Is g less than -2/7?
False
Suppose 4*k + p - 6 = 20, 0 = -3*k + p + 23. Let i(a) = a**2 - 8*a + 1. Let o be i(k). Is -5 greater than or equal to o?
True
Suppose 0 = u - 6*u + 25. Are u and 4 unequal?
True
Let l = -45 + 179/4. Which is bigger: 1 or l?
1
Let k be 2/(-5) - 8/(-15). Let f = -197.9 - -198. Is f bigger than k?
False
Suppose -b + i = -1, -5*i + 6 = 4*b - 7. Suppose -b*c + 6 = -4. Suppose -3*m + 3*s = -0*s, -2*m = -s - 2. Is c not equal to m?
True
Suppose 3*t + 4*i + 3 = i, 0 = 5*t - 3*i + 45. Let g = 4 + t. Is -2/3 at least as big as g?
True
Let r = -6606/5 + 1328. Is r bigger than 6?
True
Let b be 24/(-9) - 0/2. Which is greater: -2 or b?
-2
Suppose 0 = 5*j - 4*j - 8. Which is bigger: 11 or j?
11
Suppose 6 = 4*q + y, -2*q = y + y. Let l be q - (-3)/(72/(-46)). Is 1 less than l?
False
Suppose 5 = -f + 11. Let d(j) = -j**3 + 7*j**2 - 6*j + 2. Let h be d(f). Let w(x) = x**2 - 3*x + 1. Let t be w(3). Which is smaller: h or t?
t
Let a = 13 + -14.9. Let w = a - -2. Is -0.07 less than or equal to w?
True
Suppose 3 = 3*o - 9. Suppose 3*g = o + 2. Let r = g - -4. Does r = 6?
True
Let o = -0.02 + -4.98. Let k = 0.46 - 5.26. Let l = k - o. Is l bigger than 3?
False
Let a = -33/5 - -81/10. Let w = -2 + 0. Let i = w - -4. Which is greater: a or i?
i
Let a(h) = h - 21. Let x be a(0). Is -19 greater than x?
True
Let m = -2 - -12/7. Is m <= -17?
False
Let f = 0.3 - 0.33. Which is greater: 0 or f?
0
Let x = -2622/7 - -374. Which is bigger: x or -1/6?
-1/6
Let o = -217415/119 + 1827. Is o not equal to 0?
True
Let w be (1 - 3)*6/4. Let f = -135/2 + 66. Which is smaller: f or w?
w
Let d be (-4)/(-18) + (-20)/9. Let b be (1 - d/(-4))*0. Let z = 11 - 10. Which is smaller: z or b?
b
Suppose -4*i + i = 27. Is -9 bigger than i?
False
Let w(i) be the first derivative of i**3/3 - 7*i**2/2 + 3*i + 2. Let k be w(4). Let o be (-3)/k + (-10)/3. Is -3 != o?
False
Suppose 5*v + 4*j + 22 = j, 0 = 3*j + 12. Let t(f) = -2*f**2 + 5*f - 2. Let b = -19 + 22. Let n be t(b). Is n greater than v?
False
Let o = 2 + -4. Suppose 5*c - 50 = -5*t, -5*t + 20 = -0*t - c. Suppose -2*p + 6 = -t*p. Is o greater than or equal to p?
True
Let c = -7 + 5. Let u be 6/(-12) - 3/c. Which is greater: -2/21 or u?
u
Let f(m) = m + 11. Let x be f(-12). Which is greater: x or -18?
x
Let w be (-4 - -3) + -4 + -1. Let d = -4 + 4. Suppose d*l = 5*l + 25. Which is smaller: w or l?
w
Let d = -1 + -2. Which is greater: d or 1?
1
Let g be (-26)/38 - 13/(-13). Which is smaller: 0 or g?
0
Let x be (-35)/(-45) - 2/(-9). Let j(u) = u**2 + 4*u + 0*u**2 - u - 3. Let q be j(-4). Is q < x?
False
Let m be ((-3)/2)/(252/48). Do -2/13 and m have the same value?
False
Suppose 2*h + 4 = 0, -5*u - 4*h + 4 = 7. Which is bigger: -1 or u?
u
Let n be 0 + (-1 + 3 - 1). Let t be (n/(-2))/(6/(-21)). Which is bigger: t or 3?
3
Let g = 0 + 12. Let p be ((-3)/2)/(2/g). Let k be (3/p)/((-2)/4). Which is bigger: k or 2?
2
Let d be (-1 - -1)*(2 - 1). Let f(q) = -q**3 - q + 4. Let p be f(0). Suppose 4*n = -x, 0*x + p*x = n + 17. Are n and d equal?
False
Let c(k) = -k**3 - k**2 - k - 7. Let t be c(0). Let a(z) = -z + 5*z - 1 - 5*z. Let s be a(5). Which is smaller: s or t?
t
Suppose -16*j = -17*j - 1. Which is greater: j or 0?
0
Let h = -28 - -28.9. Which is greater: 3/4 or h?
h
Suppose -4*y = y + 15. Let w = -10 - y. Let a be (-2)/w + 4/(-14). Do a and -1/2 have the same value?
False
Let h = 6 + -5.8. Suppose -6*z = -z. Suppose z = -3*x + 5*x. Which is smaller: h or x?
x
Suppose 2 + 5 = a. Let l = a + -1. Suppose -3*u = 6 + l. Which is bigger: u or -3?
-3
Suppose 3*r = 3*l + 9, -5*l = -3*r + r - 3. Suppose w = -3*v + 7*v + r, -w + 2 = -2*v. Are -1 and w non-equal?
True
Let k = -32.5 + -0.2. Let j = 34 + k. Let h = 0.3 - j. Does h = 3?
False
Let x be 6/(-9)*105/14. Which is greater: -2 or x?
-2
Suppose 