 - 1332660475064855/13632. Let g = -3/4544 + b. Let z = -57 + g. Which is bigger: z or 2/7?
2/7
Suppose 0 = a + 4*a - 5. Suppose -a = g - 0. Is -0.05 > g?
True
Suppose 0 = 3*m - 11 - 1. Do 1 and m have the same value?
False
Let o = 5 + 8. Let s = o - 10. Which is smaller: 1 or s?
1
Let p = -129 + 165. Which is bigger: p or -1?
p
Suppose -2*v = v + 27. Let d = -3 - v. Let a(c) = -c + 7. Let g be a(d). Which is smaller: 2/7 or g?
2/7
Let o = -3 - -2.8. Is -0.1 equal to o?
False
Let w(f) = -f**3 + 5*f**2 + 3*f. Let j be w(5). Suppose 0 = -3*h - 2*h + j. Suppose -4*d - 2*b = -2, 2*b + 1 = -h*d + 3*b. Is d bigger than -1?
True
Let b = -96 - -161/2. Let t = b + 15. Is 3 > t?
True
Let n = -16 + 17. Which is smaller: 9/5 or n?
n
Let o = -145.8 + 142. Which is bigger: 2 or o?
2
Suppose 0 = h - 5*s + 6 - 1, 0 = 3*h + 4*s - 4. Suppose -c - 5 = -h. Is c at least as big as -3?
False
Suppose -r = r. Are 1 and r non-equal?
True
Suppose 5*n + 3*l = -4 + 11, l - 2 = -2*n. Which is bigger: n or -1/9?
-1/9
Suppose 2*b = -0*b - 2. Suppose 3 = v, 0 = -y - 2*y - 5*v + 18. Suppose -y = -2*m + d, -4*m - 5*d = -3*m + 16. Is b less than m?
False
Let r = -8.1 + 5.1. Is 0.5 at least r?
True
Suppose -g + 4 = 4*z, g = -5*z + 2*g - 4. Does -0.022 = z?
False
Let w(y) be the third derivative of -y**4/24 - y**3 + 2*y**2. Let m be w(-5). Which is greater: 2/9 or m?
2/9
Let x be (6/(-12) - 1)*-2. Is 0.5 at least as big as x?
False
Let k be -5*(-2 - 45/(-6)). Let m = -28 - k. Is m > -1/4?
False
Let t be (1 - 1)/(-3 - -4). Suppose t*n = 3*n + 3*r, -n - 16 = -3*r. Let c(i) = i**2 - 6*i + 4. Let k be c(4). Is n greater than k?
False
Suppose 0 = 2*q + 2*q + 12. Is q at least as big as -18/7?
False
Let o be (21/6 - -1)*(-32)/(-24). Which is greater: 39/7 or o?
o
Let d = 3/4 - 31/36. Is 2/3 bigger than d?
True
Suppose -j = 2*j - 12. Let w(u) = -u + 5. Let o be w(j). Is 1 < o?
False
Let i = -15.07 + 0.07. Let j = -14 - i. Is j greater than 0.1?
True
Let g = -55 - -54. Is g greater than -5/6?
False
Let f = -0.13 + 0.83. Let u = -0.7 + f. Which is bigger: 6/5 or u?
6/5
Suppose 4*o = 3*o. Let s = 3 + o. Let q be s*(1 - 3/9). Which is smaller: q or 4/5?
4/5
Let g be -2 - (0 + -1) - -5. Is g less than 11?
True
Suppose -4*k = -3*l - 4, 40 - 3 = -4*l - k. Let r be (-1)/(-4) + (-2)/l. Is -3/7 bigger than r?
False
Let d = -1/32 - 57/224. Let o(j) = j**3 - 8*j**2 + 9*j - 8. Let c be o(7). Let h be (8/12)/((-4)/c). Which is greater: d or h?
d
Suppose -4*s - 3*q + 8*q = 4, -2*q - 3 = 3*s. Let z be (-4)/s*1/(-2). Which is smaller: z or -1?
z
Let w(z) = 6*z - 17*z + 0 - z**2 - 5. Let m be w(-10). Which is bigger: m or 4?
m
Let n be 4*(-2 + (-3)/(-2)). Which is bigger: n or -4/5?
-4/5
Let w be (-756)/38 - 4/38. Which is smaller: -19 or w?
w
Let f(m) = m**3 - m. Let x be f(-2). Suppose 2*i = 4*k + 6, 5*k - 7 - 31 = -4*i. Let y = i + x. Which is bigger: -2 or y?
y
Let b = -11 - -19. Let q = 7 - b. Which is bigger: q or -2?
q
Suppose 10*a - 570 = -200. Which is smaller: a or 73/2?
73/2
Let d = -1 - -2. Let n = d + -1. Is 3 > n?
True
Let s(j) = -5*j**2 - 3*j - 1. Let q be s(-1). Let o = 4 + -6. Does q = o?
False
Let n be 6/1 - (-3)/(-3). Let i be n*1/(5/(-2)). Let b be ((-10)/15)/(4/18). Which is smaller: b or i?
b
Let j(h) = h + 7. Let i be j(-8). Is i at least -1?
True
Let b(i) = 4*i**2 + 5*i - 10. Let r be b(4). Are r and 74 equal?
True
Let w(l) = l**2 - 7. Let o be w(8). Let x = 173/3 - o. Which is smaller: x or 2?
x
Suppose -3*d - 6 = -5*d. Suppose i - 2 = -d. Which is greater: i or -3/5?
-3/5
Let r = 10 - 10. Which is smaller: -1/3 or r?
-1/3
Let x = -8 - -8. Suppose -4*g + n = -2*n - 5, g + 4 = -n. Is g greater than x?
False
Let l(v) = -v - 5. Let g be l(-9). Suppose 5*b = 3*b + 5*t - 4, -b + 2*t = 1. Which is smaller: b or g?
b
Let d(y) = y**3 + 8*y**2 + 4*y + 5. Let k be d(-7). Let s be (k/6)/(0 + 2). Let p = s - 5/3. Is 0 smaller than p?
True
Suppose -4*b + 257 = -5*v, 2*v = -3*v - 5. Let d be 261/334*(-12)/b. Let y = -1/167 - d. Which is bigger: y or 0?
y
Let b be -5*1*2/(-2). Suppose 6 = p - v, b*p = 2*v - 4*v - 5. Is 3/11 greater than p?
False
Suppose -s - 812 = s. Let l = s + 8524/21. Let f(z) = z**2 - 6*z + 5. Let b be f(5). Is b equal to l?
False
Let m = 1 - 2. Suppose 2*r + 17 - 15 = 0. Is r smaller than m?
False
Let b = 2.8 - -0.2. Let k = 4 - b. Which is greater: k or -3?
k
Suppose 20 = -0*l + 2*l - 5*f, 20 = 4*l - 5*f. Suppose -3*u + 4*u - 1 = l. Let x be (2 + -8)*u/4. Which is smaller: -1 or x?
x
Let k = -5 - -4. Let q be (k/3)/((-1)/(-3)). Let h be (-1)/3 + q/(-3). Which is greater: h or -1?
h
Let z be (-2)/(-12) + (-55)/(-66). Which is bigger: z or 15?
15
Suppose -z = z. Suppose 0 = -12*a + 10*a + 6. Which is greater: a or z?
a
Suppose -t = -5*q + t, -3*t = 0. Is q bigger than 1/16?
False
Let z = 87/4 - 23. Which is bigger: -1 or z?
-1
Let h = -196.1 + 178. Let b = -18 - h. Which is greater: b or -1/2?
b
Suppose -9*l + 7*l = 14. Which is bigger: l or -8?
l
Let f(q) = -18*q**3. Let c be f(-1). Let s = c + -12. Let o be ((-2)/3)/(s/(-9)). Do -1/4 and o have the same value?
False
Let m = -0.3 - -0.4. Let d = 1.2 - 3.2. Is m greater than d?
True
Let n be 0/2*(-3 + 1)/2. Which is bigger: 1/64 or n?
1/64
Suppose -3*i + 2*l - 3 = 0, -4*i - 5*l + 16 = -3*i. Let q = 19448/25 + -778. Is q at least i?
False
Let j(w) = w + 2. Let q be j(0). Suppose 3*v - q*v = d + 5, 3*d - 2*v + 10 = 0. Let c = -2/239 + -460/2151. Which is bigger: c or d?
d
Suppose 229*p - 230*p = 0. Is p at most as big as -1/23?
False
Let y = -11 - -1. Let p(l) = l**2 + 11*l + 11. Let o be p(y). Which is smaller: -2/17 or o?
-2/17
Suppose 3*s = -g + 14, 0 = -2*s + 3*g - 2*g + 1. Let a(t) = t**3 - t. Let y be a(1). Suppose s*w - 2*w + 3 = y. Which is bigger: w or -1?
-1
Suppose v - 2 = -0*v, q + 4*v = 12. Suppose 4*f + 4 = q*r, 4*f - r - 2 = -6. Is 2/9 at most f?
False
Let a be 8/36 + 14/18. Let x(z) = 4*z - 1. Let k be x(1). Suppose -u + b - 12 = -4*u, 3*u + k*b = 18. Which is smaller: a or u?
a
Suppose 11*f = 12*f + 1. Let z = -6 + 3. Is z < f?
True
Let o(y) = -y**3 - 4*y**2 + y + 2. Let r be o(-4). Let x be r*(3 + (-7)/2). Is x at most as big as 0?
False
Let k be 111/(-18) + (-1)/3. Is k equal to -6?
False
Suppose 2*w - 4 = -10. Let p(k) = -k**3 + 8*k**2 - 4. Let s = 14 - 6. Let h be p(s). Which is smaller: w or h?
h
Let h = -12 - -25/2. Let q be 2 + (-4)/(5 - 1). Is h less than or equal to q?
True
Let b(k) = -k + 2. Let f be b(0). Let o = 162507/56 - 2902. Let r = o + 3/8. Is f != r?
True
Let w = -8 - -16. Let y = w - 9. Which is smaller: -6/11 or y?
y
Let n be 48/14 - (-2)/6. Let y = -10/3 + n. Suppose 2*f = 4*a + 6, -3*f + 4*a - 2 + 9 = 0. Which is greater: f or y?
f
Suppose -6 = -d - 18. Let z = -14 - -7. Let l = d - z. Are l and -5 equal?
True
Let q be (-5)/10 - (-57)/90. Let z = -6 + 7. Is z greater than q?
True
Let s be (-1)/(-4) + (-39)/12. Let u = 1 - 3. Is u != s?
True
Let h = -59 - -59. Is -1/8 at least h?
False
Suppose 0 = g + 3*g - 20. Let y = g - 7. Which is greater: -1 or y?
-1
Suppose -3 = -2*r - n, 0 = -3*r - 4*n - 1 + 8. Which is smaller: -2/9 or r?
-2/9
Let q = 1 + -2. Let b = 7/5 - 44/35. Which is bigger: q or b?
b
Let y = 8.335 - -1.675. Let f = 10 - y. Let w = 0.01 + f. Is 0.1 < w?
False
Let j be (-9)/(-26)*1/(-3). Let r = -95/78 + j. Do r and 0 have the same value?
False
Suppose -2*l + 0*l - 36 = 0. Let z = -53/3 - l. Suppose -5*o = -3*i - i - 1, -3*i + 8 = 5*o. Which is bigger: o or z?
o
Let i(u) = -2*u**2 - 11*u - 1. Let n be i(-6). Are n and -7 unequal?
False
Suppose -3*n + 7*n + 2*x + 4 = 0, 2*x + 3 = -3*n. Let p be 6/9*6/(-2). Which is bigger: n or p?
n
Let m(x) = x + 1. Let q be m(0). Suppose -37 = 4*s - q. Are -7 and s non-equal?
True
Let d = 1444/255 - 86/15. Let b = d + -213/595. Which is smaller: b or -1?
-1
Let g be (-123)/(-84) + (-6)/8. Which is smaller: 2 or g?
g
Let w = 11 + -13.6. Let d = w - -0.6. Let l = 81 + -403/5. Which is smaller: d or l?
d
Let n = -9 + 24. Suppose 4*y + n = 9*y. Which is smaller: 0 or y?
0
Let h = 0.99 + -1. Let g = -227.99 - -227. Let i = h + g. Does i = 0?
False
Let z = 97 + -102.7. Let d = z + 0.7. Are d and 0 equal?
False
Suppose 4*o + 15 = 5*c, 2*c - 3 = -4*o + 3. Suppose 0 = -4*r + c*r - 2. Is -1 at most as big as r?
False
Suppose -97 = 8*i + 31. Is -1