 (4/(-6))/((-4)/(-6)). Let c = 5 - -7. Let s be 2/(-3) - (-5)/c. Is s < w?
False
Let q(d) = d**2 + 23*d + 12. Let u(n) = -n**2 - 24*n - 11. Let r(b) = 5*q(b) + 4*u(b). Let f be r(-18). Are -2 and f non-equal?
False
Suppose 10 = 3*n - 2, -2*u = 5*n + 6. Is u greater than or equal to 1?
False
Let z = -9 + 1. Which is greater: z or -6?
-6
Let i be 2/220*(32 + 2). Let d = 144 + -1583/11. Let q = d + i. Which is smaller: q or 0.1?
0.1
Let y = 17793/7 + -2546. Let g = 4 + y. Is 0 at least as big as g?
True
Suppose -3*t - 29 = 5*k, -4*k - 16 = 2*t + 6. Let b be (-7 - t)*(-3)/(-15). Which is greater: b or 0?
0
Let i = -12.05 + 0.05. Let u = i - -11.7. Is -0.3 at most u?
True
Let h be 88/(-160) + 2/4. Is 0 at least h?
True
Let s = -2 + 4. Which is greater: 0.4 or s?
s
Let o(l) = 3*l + 17. Let d be o(-8). Let m = -7 - d. Which is greater: m or 2/13?
2/13
Let o(n) = n. Let m be o(2). Suppose h = m*h. Let u = 429/3277 + -7/113. Do u and h have different values?
True
Let p = 1 + -2. Let k = -0.02 - -0.05. Which is bigger: p or k?
k
Let p = -40009 - -1080619/27. Let u = p - 14. Do -1 and u have the same value?
False
Let c(f) = -f + 1. Suppose 15 = 3*k - 8*k - 4*j, 4*k = 4*j - 12. Let l be c(k). Suppose l*g + 25 = -g. Which is greater: g or 0?
0
Let f = 57 + -227/4. Are 1/8 and f unequal?
True
Let w = -3374782/21 + 160673. Let k = w - -103/3. Which is greater: 2 or k?
k
Suppose r + 2 = 1. Suppose -x + l - 23 = -3*x, -5*l + 70 = 5*x. Let u be (8/x*1)/2. Which is bigger: u or r?
u
Let y be ((-18)/(-4))/((-1)/(-2)). Suppose 4*l - 5*z - 1 = 0, -y = 4*l - 3*z - 0. Let s be l/3 + 18/10. Is s <= 2?
True
Let g = 2194/9 - 244. Suppose 0*f - 2*f + 2 = 0. Suppose i = -0*i - f. Which is smaller: g or i?
i
Let j = 0 + -0.4. Let n = j - -0.3. Let p = -134 + 672/5. Which is greater: p or n?
p
Suppose -3*i + 31 = 1. Let c be ((-12)/i)/(12/(-40)). Suppose c*u = 2*u + 2. Which is greater: -1/3 or u?
u
Let d(m) = 2*m**2 - 40*m - 1. Let y be d(19). Is -40 <= y?
True
Let m be 2/5*(0 + 40). Suppose -5*t - m = 3*x - 4, -5*x + 4*t = -17. Suppose 4*h + x = -7. Which is greater: h or -1?
-1
Let k = -0.04 - 19.96. Let j = -27 - k. Which is bigger: 1 or j?
1
Let p = -6/187 - 5761/1122. Let j = -319/60 - p. Let c = j + -71/60. Which is greater: c or -1?
-1
Let i(z) = -z**3 + 4*z**2 - z - 3. Let w be i(3). Let v be 12/(-9)*w/2. Let q be -1 + (-74)/(-26) + v. Is q equal to 2?
False
Let n be 11*(-3 - 3)/3. Let t = n + 70/3. Which is smaller: t or 1?
1
Suppose 3*g - g = 7*g. Which is smaller: -6/5 or g?
-6/5
Suppose 0 = -2*s - s. Let l = s - 5. Let i = l - -4. Which is bigger: -3 or i?
i
Let m be 3/16*(-8)/(-54). Which is smaller: m or 0?
0
Let i be 940/(-8)*(-1)/1. Let q = -114 + i. Suppose k + 2*k = 9. Is k less than q?
True
Let g = 23 - 27. Let z = -0.1 + 0.2. Which is greater: g or z?
z
Suppose -a + 5*i = 4*a + 10, i = -5*a + 8. Let b = a + -2. Do -1/9 and b have different values?
True
Let f(d) = d**3 - 4*d**2 + 2*d - 3. Let a be f(4). Suppose 3*r - 2*u - 7 = 0, a*u - 15 = -3*r - 43. Let m be 3/((-6)/(-4)) - r. Is 1 not equal to m?
True
Let a(i) = i**3 + 3*i**2 - 5*i - 4. Let v be a(-4). Suppose 15 = 3*h - v*h. Suppose -3 = 3*g + 3*w, -h*w - 16 = 4*g - 7. Which is greater: g or 3?
g
Let j = 2.11 - 0.11. Which is bigger: 0.4 or j?
j
Let r = 0.5 - -0.5. Let v = -3 - -2.8. Let t = 0.4 + v. Which is bigger: t or r?
r
Suppose l + 10 = -4*l. Which is greater: -3/2 or l?
-3/2
Let z be 12/32 - (-18)/80. Suppose -3*d = d + 5*k + 12, -2*k - 3 = d. Let y = 4 + d. Which is smaller: z or y?
z
Let t be 1/2*(1 + (-9)/(-6)). Which is smaller: t or 1?
1
Let l = 52 + -47.8. Let d = -4 + l. Is -5 < d?
True
Suppose -4*a + 3*i = -23, 18 = 4*a + i - 3*i. Suppose -l = 7*t - a*t + 75, 3*t + 27 = 3*l. Are -15 and t equal?
False
Let v = -2.2 + 2. Let n = 10 - 9.8. Which is smaller: n or v?
v
Suppose -3 = -3*b, 6*y - 2*b + 18 = 2*y. Let t(k) = -k**3 - 5*k**2 - 2*k + 3. Let v be t(-3). Let n = v - y. Which is bigger: -4 or n?
-4
Let g = -262/5 - -52. Is 0.8 > g?
True
Let k(v) = 6*v**2. Let w be k(3). Let n = w + -215/4. Suppose -4*r = -2*r - 2*p + 8, 0 = -5*r + p - 8. Which is bigger: r or n?
n
Suppose 4*r - 2*x = 3102, -2*r + 6*r + 3*x - 3077 = 0. Let t = r - 22419/29. Which is smaller: t or -1?
-1
Suppose -5*w + 4 = -11, 5*t - 4*w - 63 = 0. Which is smaller: 12 or t?
12
Suppose 0*i + 2 = -2*i. Suppose -2*h + 51 = -3*q, -4*q - 32 - 22 = 2*h. Let m be q/(-65)*2/(-3). Is i at least as big as m?
False
Let j = 4 + -2. Let h be (j + -2)/(-6 - -3). Which is bigger: h or -1/5?
h
Let r = 2/3 - 4/15. Is r != 10?
True
Let j(o) = -44*o**3 - 2*o**2 + 2*o - 1. Let g be j(1). Let z = g + 134/3. Which is greater: 0 or z?
0
Let w be 7/5 + 2/(-5). Let k be (0 - w) + (-42)/(-36). Is k smaller than 1?
True
Suppose 0 = -5*d + 3*f + 48, -4*d - 3*f + 17 = -16. Let u be 48*(33/d - 3). Let i = u - 95/3. Is 0.1 at least as big as i?
False
Let d be (1 + 5)*(3 - 7/3). Let v(k) = 4*k - 6. Let o be v(5). Let w be (-16)/(-7) - d/o. Is 1 at least w?
False
Suppose 6*t - t + 35 = 0. Suppose 0 = 3*f - 5*f - 4*w, -5*w - 9 = -2*f. Let i be (-44)/t - f/7. Is 5 at most as big as i?
True
Suppose n - 7 = -3*s, -4*n - 2*s - 3*s = -21. Suppose 0 = -2*t - t + k + 16, 0 = -t - n*k + 1. Suppose -r = t - 3. Which is smaller: -3/5 or r?
r
Let s = 4 - 3.7. Let m = -0.4 + s. Let z = -5.7 + 6. Which is smaller: z or m?
m
Let j be (-2 - -4 - 7) + 208/52. Suppose 5*s + 5*o = -5, -4 = s + 3*s - 4*o. Do j and s have different values?
False
Suppose -6*k = -4*k - 4*k. Which is smaller: k or 1/25?
k
Suppose 2*t + 4 = 0, a = -a + 4*t + 8. Which is smaller: a or 1/7?
a
Suppose -1 = l - 0. Is -1/29 at most as big as l?
False
Suppose -i - 6 = i - 4*u, 0 = -4*i + 4*u. Let m = 5 - i. Suppose -3*w - m = 4. Does w = -1?
False
Let r = -1 + -3. Let z = 0.051 + 4.149. Let t = z + r. Which is bigger: t or -1?
t
Let d(s) = -10*s. Let r be d(-1). Let k = r - 16. Let u be k/3 + 3 + 0. Is u greater than or equal to 0?
True
Let v = -34 - -24. Let m = -10.3 - v. Which is smaller: 0 or m?
m
Let y = 0.29 - 7.69. Let j = y + 0.4. Is -2/5 smaller than j?
False
Let i = -2.02 + 0.02. Suppose s - 4*b + 2 + 4 = 0, -2 = 2*s - 3*b. Suppose -x - s*x = 0. Which is smaller: i or x?
i
Suppose 0*y + 6 = -y. Let i(r) be the first derivative of -r**3/3 - 7*r**2/2 - 6*r - 2. Let l be i(y). Are -1/5 and l unequal?
True
Let x = 0.9 + -1. Let i = 7.15 + -7. Let j = -0.05 - i. Is x <= j?
False
Let s = 2 + -8. Which is bigger: -5 or s?
-5
Let j = 0 + 0.03. Let v = 18 - 18.23. Let g = v + j. Is g > -1?
True
Let z = -55/102 + 2/51. Suppose -5*v = 3*k + 24, 3*k = -2*v + 10 - 34. Let r = -8 - k. Which is smaller: r or z?
z
Let c = 1 + -5. Let r = 3 + c. Is -1/6 != r?
True
Let a = -129/1241 - 1/73. Which is greater: a or -1?
a
Let j be (-9)/6*(-6)/(-36). Suppose 0 = 5*k + 2*o - 4, -o = 6*k - 3*k - 3. Let d be (k/3)/(-2)*-3. Is d greater than or equal to j?
True
Let q = 20 + -30. Is q <= -11?
False
Let g(i) = i**2 - 8*i + 4. Let u be g(7). Let r be 2 + 82/86 + u. Which is greater: r or 1?
1
Let z be -3 - -1 - 2/4. Let u = z - -3. Let j = 10 - 12. Is j at least u?
False
Suppose 9*p - 12 = -3. Let l be (-22)/40 - (-3)/12. Which is bigger: p or l?
p
Suppose -5*p - 6*p = 2*p. Does p = 1/4?
False
Let o be (-3 + 2)*(1 + -2). Which is smaller: 3/2 or o?
o
Let s be 192/693 - 3/((-99)/(-6)). Is 0 > s?
False
Let j = -17569535/176 + 99826. Let c = j - -13/16. Is c equal to 0?
False
Let r = -4.623 - -0.023. Let n = -15 - -20. Let k = n + r. Which is bigger: 0 or k?
k
Let l be ((-45)/(-10))/((-2)/4). Let t be ((-6)/l)/((-2)/(-3)). Let q be (228/(-51))/(-4) - t. Which is smaller: 1 or q?
q
Let y(u) = u - 4. Let d be y(4). Which is smaller: 2/81 or d?
d
Let x be 2/1 - (-90)/(-42). Let z(g) = 2*g - 1. Let j be z(-2). Let d be (j/15)/(2/(-6)). Which is smaller: x or d?
x
Let w = -2 - -1.4. Let j = w - -0.59. Let m = j - -0.01. Is m at most 1?
True
Let g be (-21)/(-6) - (-3)/6. Suppose -3*i + 2*y = -2*i - 30, -4*y = -g*i + 120. Suppose 5*v - b + 6*b = -i, -20 = -5*v + 5*b. Is -2 greater than v?
False
Suppose 0 = 2*l + o - 20, 44 = 2*l + l - 2*o. Let h = 14 - l. Let f be (-1)/(-6) + (-2)/(-6). Which is greater: f or h?
h
Let m be (-60)/(-209) - 14/77. Let b be (5 + 3)*(-6)/(-8). Suppose -5*l = -3*u - 14, 5*u = -l + b*l - 20. Is 