4/30. Which is smaller: o or 0?
0
Let r(y) = y**3 - 9*y**2 - 10*y + 2. Let f be r(10). Let g = -3.8 + 3.1. Is g at most f?
True
Suppose 2*y = l + 12 + 25, -200 = 5*l - 5*y. Is l != -43?
False
Let a = -1775/8 + 16297/56. Let q = -69 + a. Let o = 0 + -1. Is o less than q?
True
Let v = 5.7 + -10.83. Let p = v - -0.13. Which is greater: -0.1 or p?
-0.1
Let x(q) = q**3 + 2*q**2 - 5*q - 6. Let l be x(-3). Let u = 9/55 + -353/1485. Which is smaller: l or u?
u
Suppose 2*a = 3*a. Which is smaller: a or 1/40?
a
Let y = 5702 - 11755/2. Let k = y + 184. Let x = k + -10. Is x not equal to -2?
True
Let x = -2.9 - -17.9. Let d = x + -14.9. Which is smaller: 5 or d?
d
Suppose -8*q + 4*q - 36 = -5*s, -32 = 4*q - 4*s. Let j = -2 + 5. Let m = -6 + j. Which is smaller: q or m?
q
Let i be 2/(-2) - 12/18. Let v(x) = x - 3. Let h be v(4). Let k be h - -4*(-1)/2. Which is greater: i or k?
k
Let f be (3*-1 - 0) + 160/120. Which is smaller: 2/63 or f?
f
Let s = 7 + -7. Which is smaller: s or -21?
-21
Let b = 92/95 + -7/19. Let a(f) = -f**2 - 3*f + 2. Let w be a(-4). Let r = w + 4. Which is smaller: r or b?
b
Suppose 8*v - 276 + 12 = 0. Which is greater: v or 34?
34
Let f = 2 - -3. Let t be (-2)/(f/(5/(-3))). Which is smaller: 2 or t?
t
Suppose -258 = -6*j - 0*j. Is j greater than 45?
False
Let k = -5 + 6. Let s = k - -5. Suppose s = -4*b + 2*b. Is -4 greater than b?
False
Let m be (-1)/(-3) + (35/30 - 2). Which is greater: m or -2?
m
Let y(a) = -a**3 - 8*a**2 - 8*a - 7. Let k be y(-7). Suppose 2*u - 26 = -k*u. Suppose 2*s - u = -3*g, -g = 2*g - 5*s + 22. Is g greater than -2/7?
True
Suppose -4*b = 3*g + 37, 5*b - 5*g + 7 = -13. Let s = 2 + 5. Suppose -32 = s*h - 3*h. Is b less than or equal to h?
False
Let n(g) = -g + 3. Let h be n(4). Let t(o) = o**2 - 3*o + 2. Let j be t(5). Let v be -1 + j/(-27)*-3. Which is smaller: h or v?
h
Let i be ((-5)/(15/(-9)))/1. Are -0.1 and i non-equal?
True
Let u be 14/49 + 94/14. Which is bigger: u or 10?
10
Let q = 6 + -3. Suppose -d + 4*b - 4 = -16, -2*b = -d + 8. Suppose 0 = -2*p - 3*g - 5 - d, 1 = -3*p - 2*g. Is p >= q?
True
Let o be 0/(-2) - (-1 + 1). Suppose o*l + 2*l = -2. Let q = -23 + 23. Which is smaller: q or l?
l
Let x be 2/(-3) + 17/12. Let c(b) = -b**3 - b**2 + 3*b + 4. Let p be c(-3). Let u = p + -12. Is u bigger than x?
True
Suppose -b - 4*y = -4*b + 50, 2*b + 4*y = 0. Which is greater: 9 or b?
b
Let g = 11/68 - -10/17. Is 2/3 at most g?
True
Let o be (-95)/(-46)*-2 + 4. Is -1 greater than o?
False
Let o = -8 + 8. Do 2/9 and o have different values?
True
Let j = 8 - 14. Let z(i) = i**3 + 7*i**2 + 7*i + 3. Let l be z(j). Let k = 3 + l. Is -2/25 at least k?
False
Let h be (51/57)/(-1*5). Let q = -2/95 + h. Do q and -1 have the same value?
False
Let i be 6/(-18) - 3248681/(-42). Let h = 77408 - i. Let j = h - 117/2. Which is greater: 1 or j?
1
Suppose -9*p + 104 = -5*p. Let n = -2 - -2. Suppose 4*o + 2*y - 17 = y, -2*o - 4*y + p = n. Which is bigger: 2 or o?
o
Let r = -0.3 + 0.5. Let z = r - 0.1. Let h = -57 + 55. Which is greater: z or h?
z
Let h be (-72)/132*2/(-6). Let c = 0 + 0.2. Which is greater: c or h?
c
Let m = -12.5 + 7.6. Let t = m + 2.9. Do 8 and t have the same value?
False
Let i be 1 + 1/(-3 - 1). Which is smaller: i or 0?
0
Let v = 43 - 128/3. Which is bigger: v or 1.1?
1.1
Let p(x) = x**3 + 6*x**2 - 8*x - 4. Let o be p(-7). Let d be (-4)/3*o/(-2). Let m be (4/d)/((-3)/3). Is m greater than or equal to -1?
False
Suppose 2*y = -2*y - 12. Suppose -d + 14 = -4*j, -j - j - 6 = 0. Suppose -6 - d = 4*a. Is a < y?
False
Let p = 12.1 - 14.1. Is 15 < p?
False
Let y = 42 - 39. Is y < -2.4?
False
Let j(s) = -s - 16. Let b be j(-13). Which is greater: b or -4?
b
Let i(u) = u**2 + 4*u + 2. Let o be i(-5). Suppose -2*y = -o*y. Is y at least 1/9?
False
Let x be 3 + (0/2)/3. Suppose 3*y = 4*v + 1, -4*v = -y - 6 + 1. Let l = y + -2. Which is bigger: x or l?
x
Let q(d) = -d**2 + 8*d - 14. Let h be q(7). Let u(k) = -k**3 - 10*k**2 - 8*k + 3. Let a be u(-9). Which is smaller: a or h?
h
Let g = 4 + -2. Let s = 5 - 3. Is g smaller than s?
False
Let m be 2/(-6) - (-14)/(-3). Let n = -9 - m. Which is smaller: -3 or n?
n
Let u(g) = g - 5. Let b be u(4). Suppose 2*v + 2*v = 4*f, f + 6 = 4*v. Let s(z) = -2*z + 3. Let k be s(f). Is b not equal to k?
False
Let u be 0/(-3) - 0 - -3. Let s be 5/10*-1*u. Is -2 at most as big as s?
True
Let f = 1.06 + -0.06. Which is smaller: -17 or f?
-17
Suppose -3*g - h + 72 = -15, 0 = -h. Let q = g + -17. Suppose -5*t + q = -t. Do 2 and t have the same value?
False
Let d = -36 - -35. Let k = -1 - -0.9. Is k at least as big as d?
True
Let f be 20/(-30) - (-1)/3. Is f != -2/3?
True
Let p be (12/18)/(172/(-246)) + 1. Are 0 and p unequal?
True
Let w = 1775/138 - 77/6. Do 0 and w have the same value?
False
Suppose 0 = -o + 2*o. Let u be (-62)/(-30) + -6 + 4. Let h = -23/105 - u. Is o at most as big as h?
False
Let b = 2 - 4. Let c = 4 + b. Suppose 0 = -c*l + 2*s, -l - 6 = -0*s + 2*s. Which is smaller: -1/2 or l?
l
Let k(h) = 3*h - 3. Let s be k(2). Suppose 4*u - 11 = s*w, -3*w + 15 - 32 = 2*u. Let y = 2 + u. Is 1 smaller than y?
False
Suppose 0 = 5*f - 16 - 4. Suppose -4 = -f*a + 2*a. Do a and 2/3 have different values?
True
Let p = -67 - -53. Is p < -68/5?
True
Let w = 6 + -6.4. Let l = -0.03 + -5.97. Let f = l - -5. Is f < w?
True
Suppose 2*s = 7*s + 85. Let p = s - -12. Let u be 0 - 0 - p/5. Which is smaller: u or 3?
u
Let p = -1 - -2. Let k = 0 - 2. Let f = k + p. Is -0.2 at least f?
True
Let i(f) be the first derivative of f**4/4 + 7*f**3/3 + 7*f**2/2 + 2*f - 1. Let j be i(-6). Do -3 and j have the same value?
False
Suppose 81 = -23*c + 20*c. Is c < -30?
False
Let c(h) = h**3 + 6*h**2 - 9*h + 8. Let x be c(-7). Let y be (x/(-3))/((-1)/(-3)). Let q be y/(-24) - (-10)/(-15). Do q and -1 have different values?
True
Let c = -9 + 11. Suppose -48 = -4*t + 8*t - 4*x, -c*t = 2*x + 4. Let d be t/(105/(-12))*-5. Is d >= -2?
False
Suppose -3*y + 7 = 4. Is y less than or equal to 11/6?
True
Suppose 0 = -3*z + 12, -5*z + 10*z = 2*m + 14. Is -3 smaller than m?
True
Let a = 3.035 + -0.035. Which is bigger: -3/2 or a?
a
Let v = -7 + 9. Let l be v/(-6)*9/6. Is -4 less than l?
True
Let z be 3/(-12)*6/4. Let r = -5 + 5. Is r bigger than z?
True
Let w = 4 + -11. Let c = -17 + 11. Let l = c - w. Is l at least -1/5?
True
Let c = 42 + -42. Which is greater: -2/35 or c?
c
Let f = -1.2 - -1.1. Let s = -0.1 + 0.2. Is s greater than f?
True
Let u be 3*4/(-16) + (-3)/(-4). Is u >= 1/12?
False
Suppose 2*b - 2 = 3*b + m, 26 = 5*b - 4*m. Suppose -2 = 3*o - 4*o. Suppose 5*q + o*g = 5*g - 10, 3*q = g - 2. Is q <= b?
True
Suppose -4*c - 8 = -2*c - q, 1 = 3*c + 5*q. Do -4 and c have the same value?
False
Let k be (1 + -2)*1*3. Suppose -40 = -0*d - 4*d. Suppose 0 = -2*a + p - 1 - 4, -3*a = -4*p + d. Which is greater: a or k?
a
Let s = -0.09 + 0.08. Let q = s - 0.39. Is -3 != q?
True
Let u = 4.88 - -0.12. Let m = u - 5. Let o = -1 + m. Is -4 at most as big as o?
True
Suppose 3*m + 4*n = -21 - 2, -5*m + n = 0. Let f be 1/15*10/6. Which is smaller: m or f?
m
Let u = -0.56 + -0.14. Let d = u - 4.3. Which is smaller: d or 1/4?
d
Let k = 14 - 8. Suppose -4*m = -2 + k. Is m < 2/11?
True
Suppose 4*k = -3*b + 11, 0 = 2*k + 5*b - 23 - 0. Suppose -3*o = -3*v + v + 70, 4*v + 124 = -5*o. Let x be 3*(o/9 + 2). Does k = x?
False
Suppose 3*i = -2*c - 20 + 7, -3*i - 8 = c. Is i at least as big as -9?
True
Let s(u) = -u**2 + 5*u - 3. Let j be -1 - 1 - 18/(-2). Let f = j + -3. Let t be s(f). Which is bigger: t or 2?
2
Let g = -8 + 10. Suppose -g*j - 1 = -3*j. Which is bigger: j or 3/2?
3/2
Let x(l) = 6*l - 5. Let i be x(4). Which is greater: 18 or i?
i
Let k = 7 + -4. Let m = 3 - k. Which is greater: -1/3 or m?
m
Let b be 880/(-50) - (-2)/(-5). Let k be (2/32)/(3/b). Which is smaller: -1 or k?
-1
Let w be 1/(-2)*(-16 - -2). Suppose 2*n - 3*j - 18 = -w*j, n = 3*j - 11. Which is smaller: n or 2/9?
2/9
Let o = 0 + -3. Let u(f) = f**2 + 11*f + 6. Let a be u(-11). Suppose 4*x - x = 3*t - a, -2*x - 2*t = 4. Which is smaller: o or x?
o
Let h = 10 - 7. Let z(q) = q**2 + 4*q - 3. Let c be z(-5). Suppose -o + 0 = c*v + 7, -13 = 4*o + 5*v. Is h bigger than o?
False
Let b(x) = -2*x + 3. Let s be b(-4). Let v = 6 - s. Let k = -4 - v. Are 4 and k nonequal?
True
Suppo