/2. Let z(j) = -j - 5. Let a be z(-3). Let c be ((-1)/a)/((-8)/(-16)). Which is smaller: g or c?
g
Let l = -6350/19 - -334. Which is greater: -1 or l?
l
Suppose -5*p + 909 = l, -1574 = -5*l + 4*p + 2826. Does l = 884?
True
Suppose -3*b + 13 = -t - t, -3*b + 29 = 2*t. Suppose 3*k = -k + b*k. Do k and -1 have the same value?
False
Let s = -6299 + 214215/34. Which is greater: s or 2?
2
Suppose v + 14 = -3*u - u, 2*u + 22 = -3*v. Let l be 11 + v*(-1)/((-6)/(-4)). Is 15 <= l?
True
Let g = 1053213/4 + -272364. Let l = g - -9011. Let x = l - -50. Is 0.1 at most x?
True
Let b = 129463741 + -16182680377/125. Let q = b + -2298. Which is smaller: q or 1?
q
Let s be 0/(-6) - (-1 + -3). Suppose i - 2 = 0, -3*k + 9*i + 5 = s*i. Is 0.2 smaller than k?
True
Suppose 91 = -5*j - 24. Let i be (-16)/6*(-1617)/(-196). Is i > j?
True
Let s be (-3 - 4) + (-2110)/(-220). Which is smaller: 4 or s?
s
Let v = 0.137 + -0.001. Let g = v - 0.136. Which is greater: g or 0.49?
0.49
Suppose 0 = 5*a + 4*r + 10, 3 = -3*a + r - 3. Let p = 417/5 - 1259/15. Which is bigger: a or p?
p
Let u = -1/151 - -188/5587. Does 1 = u?
False
Let o(k) = k**3 + 9*k**2 + 15*k - 2. Let l be o(-7). Let q = -0.02 + 0.02. Which is greater: l or q?
q
Let d = 991/7 + -142. Let m = 55 - 56. Is d != m?
True
Let o = 28 + -82/3. Suppose -31 = 14*v - 59. Are v and o unequal?
True
Suppose 0 = 4*l + x - 5, 5*l - x - 2 = -7. Is l <= 35/24?
True
Let y(i) be the second derivative of i**5/20 - i**4/12 + 2*i**2 - i. Let v be y(0). Suppose -2*u + v = -2*h, -15 = 2*u + h - 4. Is u greater than -3?
False
Suppose 2*u = -3*v + 7*v + 30, -u + v + 10 = 0. Suppose -c + p = 2, -u*p + 3*p = 3*c + 1. Let z = -2/5295 + -105878/58245. Which is smaller: c or z?
z
Suppose 2*p = 2*k + 418, 1 + 4 = -5*p. Is k greater than -210?
False
Let s = 142 - 128.4. Let a = s - 13. Let h = 0.7 - a. Which is greater: h or 2/7?
2/7
Suppose 4*u - 4 = 4*t, 5*t - 3*u = -6*u - 5. Is -2/17 bigger than t?
True
Let q = 68.36 + 1.64. Let z = 16955 - 16956. Which is smaller: z or q?
z
Let w be ((-1)/2)/((-3)/(-42)). Let h = w - -2. Let r be ((-800)/28)/5 - (-10)/(-35). Which is bigger: r or h?
h
Suppose 0 = 4*z + 54 + 18. Let q = -0.57 + -30.43. Let n = 32 + q. Is n at most as big as z?
False
Let x be (-2)/(-4)*-2*-23. Suppose -4*k - 26 = 2*g, k + g = -3*k - x. Suppose 4*y + 20 = -2*z, 0 = -3*y - y + 5*z + 8. Which is greater: k or y?
y
Let m(h) = h**3 + 13*h**2 + 12*h + 18. Let s be m(-12). Let d be (-210)/s + (-2)/6. Is d > -12?
False
Let l(x) = -x**2 + 4*x - 5. Let w be l(4). Suppose -4 = 3*a - 13. Suppose -u = -4*u - a. Are u and w equal?
False
Suppose d - 5 = -1. Suppose -61 = 2*h + 3*x, d*x + 90 = -3*h + x. Let p = 42 - 72. Is h at most as big as p?
False
Let a = -33 + 25. Let u be 67/(-100) + (-6)/a. Which is smaller: u or 0?
0
Let y = 30.6 + -36.88. Let a = y + 6. Let b = a - 20.72. Which is smaller: b or -2/5?
b
Suppose 0 = -2*n - 0*n + 24. Let r be -3 - -2 - (-3)/n. Let g be ((-2)/5)/((-111)/(-15) + -7). Which is greater: r or g?
r
Suppose p - 8 = -p - x, -46 = -5*p + 4*x. Suppose -5*t = -w + 5, 4*w - 2*t + t - 1 = 0. Let i be 3/(-3)*2 - (-9 + w). Is i != p?
True
Let w = -50 + 48.8. Let k = -1.35 - w. Is k > 1?
False
Suppose -2*f = 3*f - 1290. Let d = -1803/7 + f. Let p = 0 + 0. Which is smaller: d or p?
p
Suppose -38*s + 1395 = 55*s. Which is greater: s or 11?
s
Let y be 45/10 + 6/4. Let v = y - 7. Let w be (3/v + 7)/(-1). Are w and -4 nonequal?
False
Suppose 7*u = -0*u - 21. Let o be (-1)/(-2) + u/6. Suppose -3*y + 12 = -4*b, 6 + 2 = -4*b + 2*y. Is o less than or equal to b?
True
Let b = 166 + -384. Let g = -13736/63 - b. Suppose 1 - 3 = -2*y. Is y bigger than g?
True
Let q = -51 + 52. Let n = q - -0.9. Let h = -31/60 + 4/15. Is n at most as big as h?
False
Let f = -2595 - -23353/9. Let g = 4 - 10. Which is smaller: g or f?
g
Let x be 1/3*(-3)/3. Let h = -22.944 + 23. Let v = h + -0.456. Which is smaller: x or v?
v
Let o be ((-12)/16)/((-2)/16). Let l(y) = y - 8. Let s be l(8). Suppose s = -3*g + a - 4*a + 27, -4*a = -20. Which is greater: g or o?
o
Suppose -2*b = 2*o + 3*o, 1 = b + 3*o. Let m be 598/(-66) - -4 - b. Let l be (-3)/12 + 2/8. Which is smaller: m or l?
m
Let y = 112.163 + -0.163. Let g = 112 - y. Which is smaller: -11 or g?
-11
Suppose 4*g = -i + 16, -3*i + 8*i - 35 = -5*g. Suppose -p = g*p + 4. Let v = 7 - p. Which is greater: v or 6?
v
Let m be 6/(6/(-2))*1. Suppose 4*a + 2*f = -2, -f - 4 = -2*a + 1. Let p be (0/(-2) + m)/a. Is -2/3 less than p?
False
Let q = 223 - 222.89. Which is smaller: q or 0.1?
0.1
Suppose -f + 6*f = 0. Suppose f = -0*l - 3*l. Suppose l = -5*u - 0 - 5. Are 0 and u equal?
False
Let u = -3.704 + -18.238. Let f = 22 + u. Is f < -2/3?
False
Let b(f) be the second derivative of f**4/6 - 13*f**3/6 + 9*f**2 + f. Let i be b(8). Which is greater: 41 or i?
i
Let a = -408 - -408.6. Is a at most 3/5?
True
Let k = 5 + -1. Let z(n) = 3*n + 3. Let c be z(k). Let r be 5/c*(-27)/4. Is r smaller than 1?
True
Let h(s) be the third derivative of -s**6/120 - s**5/4 + 2*s**3/3 - 5*s**2. Let a be h(-15). Let b be a*((-34)/8 + 4). Is 1/26 <= b?
False
Let u be (-767)/(-177) + (-2)/(-3). Do u and -12 have the same value?
False
Let h(j) be the second derivative of -j**2 + 0 - 1/3*j**3 + 3*j. Let z be h(-3). Is 4 < z?
False
Suppose 9*a = 6 - 15. Are 3/967 and a non-equal?
True
Let u = 0.004 - 3.054. Let r = u - -0.05. Let j = -0.33 - -0.03. Is j greater than r?
True
Let a be 4/(-10) + 74/185. Which is greater: 12/397 or a?
12/397
Let q = -16727/25 + 669. Let b be 6/15 + 8/5. Suppose -2 = -4*g + b. Which is smaller: g or q?
q
Let l = 0.189 + 2.311. Which is smaller: l or 0.2?
0.2
Let s = -0.4 + 3.4. Let b = s + -3.1. Let a = -2025 - -2028. Which is smaller: b or a?
b
Let z = -2/957 - -10559/15312. Let n = -181/240 + z. Which is bigger: n or 2/5?
2/5
Let o be ((-57)/(-24) + -2)/((-21)/(-23)). Is o less than -1?
False
Suppose 2*d + 15 = -5*s, -5*d - 4*s - 69 = -2*s. Let x = -3281 - -3269. Is x >= d?
True
Let o(n) = -n + 7. Let l be o(6). Let h be 0 - (4/(-18))/l. Suppose 12*k = -1 + 13. Is h < k?
True
Let y be (-154)/(-66)*(-4)/(-714). Is 0 less than y?
True
Let k be 15/4 + 2/8. Let g(d) = d**2 - 11*d + 13. Let i be g(9). Let s = i + k. Does s = 1/8?
False
Suppose -729 = 4*t + 183. Let m be 5/(-2*3/t). Let b be 115/m - 2/4. Is 1 less than b?
False
Suppose 3*k - 9 = 5*y, 0 = -3*k + 3 + 6. Which is smaller: -8/17 or y?
-8/17
Let p be 0*4/(-24)*2/4. Which is greater: p or -2/789?
p
Let j = -0.08 + 0.48. Let k = j - -1.6. Let q be 1*(11/5 + -2). Is k bigger than q?
True
Let q = 13 - 41. Let v = -28 - q. Which is greater: 8 or v?
8
Suppose 36*p + 5 = 41*p. Which is smaller: -5/86 or p?
-5/86
Suppose 3*j = -3*y + 258, -97 = -y - 5*j - 7. Which is smaller: 1 or y?
1
Suppose 1 = t + 11. Let d(m) = m + 17. Let f be d(t). Let r be 6/8 + 3 + 54/24. Is f < r?
False
Suppose -2*m + 5*q = 227, -10 - 10 = -4*q. Which is smaller: m or 0.2?
m
Suppose -28*k - 87 + 115 = 0. Which is greater: 1/572 or k?
k
Suppose 0 = -s + 5*s - 32. Suppose -4*c + s*c = -8. Let o(m) = -m**3 - 7*m**2 - m - 9. Let f be o(-7). Is c <= f?
True
Let y be (-618)/27*-3*(-12)/(-8). Is y < 1/4?
False
Let g(b) = b**3 + 12*b**2 - 13*b + 6. Let v be g(-13). Let p(q) = -7*q + 3. Let a be p(v). Is -39 greater than or equal to a?
True
Suppose p - 4*g = -18, -p + 6*p = -g + 15. Let a(d) = 2*d**2 - 2. Let w be a(p). Let z(u) = 4*u + 45. Let y be z(-10). Which is bigger: w or y?
w
Let i = -1397 + 1398. Which is greater: i or 1/383?
i
Let o(x) = -290*x - 27. Let k be o(-1). Are k and 263 equal?
True
Suppose -4*a - 22 = -2. Let f(r) = r**3 + 7*r**2 + 12*r + 5. Let c be f(a). Is c greater than -18/5?
False
Let l be 1/2*(18 + 8). Suppose -20 = -l*t + 8*t. Is t at least as big as 4?
True
Let z(s) = -s**3 - 7*s**2 + 2*s + 8. Let q be z(-7). Let w be 5 - ((-24)/(-9) - 3)*-35. Are q and w equal?
False
Let l be 8/12 - (-73)/12. Suppose 2*b = 2*x + 24, -11*b + 10*b + 22 = -3*x. Which is smaller: l or b?
l
Let h be ((-2)/4*61)/(15/30). Let i = h + 65. Which is smaller: 5 or i?
i
Let y be (4/(-5))/(-3 - (-2)/1). Let o(w) = 6*w**2 + w**3 - 8 + 2 - 1 - 9*w - 6. Let r be o(-7). Which is smaller: y or r?
y
Let p be (-21)/(-9)*(-20 - -17) - -1. Which is greater: -20/3 or p?
p
Suppose 4*f = -f. Suppose 