1/175. Does n = z?
False
Let g be (-4)/2 + 0/(-4). Let n be g/1137*(-3 + 6). Let r = n - -776/3411. Is r bigger than -1?
True
Let c be (10/140)/((-2)/12). Is 2/3 > c?
True
Let g = 11 + -9. Let j be 5 + g*2/4. Is j smaller than 6?
False
Let g be (0 + 1)*4/12. Let h = 0.3 + -0.2. Let c = h - 0.2. Which is smaller: g or c?
c
Let u = 0.07 + 0.03. Let r = -7 - -11. Let n be 5/r - (-4 - -6). Which is smaller: u or n?
n
Suppose 4 = -4*m - 2*t, 0 = m - 3*t + 2*t - 5. Suppose i - 2*i = -m. Let a be (-4)/(-10) - (-6)/(-40). Is a less than or equal to i?
True
Let d(x) = -11*x**3 + x**2 + x - 1. Let j be d(1). Let c = 9 + j. Let r = 2 + -4. Which is greater: c or r?
c
Let y(v) = 0*v - 3*v - 5 + 4*v. Let w be y(6). Does 1 = w?
True
Let p(z) = z - 3. Let d be p(3). Let h = -33108/55 + 602. Is h greater than d?
True
Let v = -5 + 5. Let k = 0.6 - v. Let t = -2 + 3. Is t > k?
True
Suppose 7 + 1 = 4*r. Let t be (-6)/(-8) + (1 - r). Does t = 0.01?
False
Let r(f) be the third derivative of f**4/24 + f**3/6 - 2*f**2. Let d be r(-2). Which is bigger: d or -9?
d
Let x = 9 + -13. Let w = x + 3. Is -1 greater than w?
False
Suppose -1 = -2*i - 3. Let d(t) = -8*t - 2. Let k be d(i). Which is greater: 7 or k?
7
Let v(m) = -m**3 + 6*m**2 + 2. Let x be v(6). Suppose i = -z + 15, -7*z + x*z + 83 = 3*i. Suppose -7 = 4*l - 5*g + 9, -3*l = 4*g - z. Which is greater: 3 or l?
3
Let u = -18 - -15. Let g be 0 + -3 - (-6 - u). Let o be (-2)/9 + (-1)/9. Is g at least o?
True
Let t(p) = -p**3 + p**2 + 2*p. Let n be t(2). Do -18 and n have the same value?
False
Let q be 6/(-20)*52/(-6) - 3. Do q and 48 have different values?
True
Let m = -341.71899 + -0.35101. Let z = m - -345. Let l = 0.07 + z. Does l = -2?
False
Let q = 108 - 108. Is -1 at most as big as q?
True
Let m = -1034717/144 - -301893/16. Let t = -11706 + m. Let q = t - -23. Which is greater: q or 1?
1
Suppose 4 = 3*r - 2*r. Suppose -r*a + 5*d = 12, 3 = 4*a + d - 9. Which is greater: 0.1 or a?
a
Let m = -374.2684 + -2.7016. Let o = 375 + m. Let z = 0.03 - o. Is z greater than or equal to 1/3?
True
Suppose 0 = 2*u + 5*r + 7 + 5, 3*r + 24 = 3*u. Which is smaller: 8/3 or u?
8/3
Suppose -32 = 4*x - 2*x + 4*z, -3*x = -z + 41. Let v be 4/x - 115/(-35). Suppose v*p = 4*p + 5*u - 14, 0 = -4*p - u - 1. Are -2/5 and p non-equal?
True
Let d = -51 + 51. Let z = -34/9 + 22/9. Which is smaller: d or z?
z
Let s = -13 - 0. Let u = s - -12.9. Is -2/5 less than u?
True
Let l = 21731/32 + -679. Which is smaller: l or 0.2?
l
Let a = 55 + -173/3. Suppose 2*s - 6 = 5*s. Which is smaller: a or s?
a
Let y = -0.35 - 1.15. Is 2/5 < y?
False
Let o = -0.2 - -0.1. Let d be ((-527)/30)/(-31) - 1/6. Which is smaller: d or o?
o
Suppose 2*u - 6*u - 16 = 0, u = -2*i - 2. Let q = i - -1. Suppose 3*v = -0*v - 5*n, 4*n = -q*v + 2. Which is smaller: -4 or v?
v
Suppose 0 = 5*f - 3*c + 17, -c = 2*f - f - 3. Let k be 4/(-1)*(-2 - f). Let u be (k/(-6))/(1 - -1). Which is greater: 0 or u?
0
Let h be 1/2*-2 - -5. Let n(z) = 2*z - 6. Let b be n(h). Let r = -75/7 + 321/28. Is r bigger than b?
False
Let i = 3104/11 - 282. Let z be (2/(-9))/(11/(-99)). Suppose 1 = 3*h - z. Is i less than or equal to h?
True
Let w = 149/410 + 3/82. Let p = -2 + 3. Suppose -3 = -4*s + p. Does w = s?
False
Let i = -2 + 1.99. Let c = -0.04 + i. Is -1 greater than c?
False
Let q(x) = -x**2 + 6*x + 3. Let b be q(5). Let c be (6 - 2)*(-126)/b. Let t be (-12)/c*6/(-4). Which is smaller: -1 or t?
-1
Suppose 4*u + 27 = -10*x + 5*x, 3*u = 3*x. Let z = x - -2. Is z less than or equal to -2/3?
True
Let s = 3 + -1. Let t be (s/3)/(2/3). Let m be 0 + (-36)/(-20) - 2. Is t smaller than m?
False
Let k = -21 - -20. Is 26 at most k?
False
Let z be 1/3 + (-8)/(-30). Which is smaller: z or 0.2?
0.2
Let o = -97 - -1653/17. Is -1 less than o?
True
Let s be (6/12)/(37/4). Is s bigger than 2?
False
Let x be -9 - (24/(-2))/(-3). Which is greater: x or -12?
-12
Let m = -7.2 + 6.9. Are 8 and m unequal?
True
Let l = -10 - -24. Let t = 9 - l. Which is greater: t or -0.1?
-0.1
Suppose p = 3 - 0. Let o be ((-3)/(-2))/(6/16). Let y = o - 2. Which is smaller: p or y?
y
Suppose 17*l - 6 = -23. Which is smaller: -5/4 or l?
-5/4
Let c = -35 + 28. Which is smaller: c or 2?
c
Let l = -3.05 + 3. Let i = l - 2.95. Let p = -2.5 - i. Is -1 != p?
True
Let v = -0.1 - -5.1. Let o = 0.92 - -0.08. Which is greater: v or o?
v
Let s = -4 - -9. Suppose -3*a = -s*c + 30, -c + 18 = a - 4*a. Is 2 at most c?
True
Let l = 59.3 - 57. Let s = l + -0.3. Let k = -8 + 5. Is s <= k?
False
Let p(k) = 5*k**3 - 2*k**2 + k. Let a be p(1). Suppose 4*w = -4, 3*t + a*w = 5*t - 14. Let u be 5 - t - (-4)/6. Is u <= -1?
False
Let c = -0.08 + 0.17. Let s = c - 0.4. Let v = s + 0.01. Is 1/4 greater than v?
True
Suppose 0 = 3*r + 29 - 11. Which is smaller: -11 or r?
-11
Let k be (-2)/(-13) + (-168)/2106. Is 0 > k?
False
Let l be ((-42)/3 + 2)/(-1). Let p be (-15)/4 + (-3)/l. Let d = p - -6. Is d at most 6?
True
Suppose -4*k + 6 = -10, 0 = 5*f - 2*k - 7. Let r = 6 + f. Let y be -2*(r/3)/(-6). Is 4/3 at least y?
True
Let h = -7 + 5. Let v be (-1)/2 + h/(-4). Are 0 and v non-equal?
False
Suppose c + 11 + 8 = 3*w, 0 = -4*c - 16. Suppose -w*i + 3 = -2*i. Which is greater: 3/11 or i?
i
Let f = 17/30 + -1/15. Which is smaller: 0 or f?
0
Let r be ((-2)/(-4))/((-4)/16). Let j be -4 - r/(8/12). Is 1 at least j?
True
Let q = 1 - 3. Let u = 0.4 + -4.4. Let f = q - u. Which is smaller: f or 0.1?
0.1
Let y(l) = l**2 + 10*l + 6. Let m be y(-9). Let h be 1*(m/(-55))/3. Let k = -227/385 + h. Is k greater than 0?
False
Suppose s + 4 = 10. Suppose -s*d + d = -10. Let i be (-2)/5*1/d. Which is greater: i or 0?
0
Let f(r) = r**2 - 1. Let u be f(0). Let v be (u + 5/3)*-3. Let q be (-2 + v)/2 + 2. Which is bigger: q or -1/5?
q
Let k = 11 - 12. Let d be 1*(-2 - 44/(-20)). Which is smaller: k or d?
k
Let f be (-2)/6 - (-14)/6. Suppose -2*d = f*d - 12. Let i be ((-9)/d)/(18/(-4)). Which is bigger: i or -1?
i
Let u = -0.03 + -2.57. Let t = 6 - 6.6. Let f = t - u. Which is bigger: -1 or f?
f
Let v = 189 - 7181/38. Let w = 17/76 + v. Let z be 0/(-2) - (1 - 0). Is w != z?
True
Let p = 42 + -49.6. Which is smaller: p or -1?
p
Let p(i) = -2*i**2 + i + 5. Let y be p(5). Let b be (4/y)/((-2)/8). Suppose s + 16 = 4*x - 3*s, 0 = 2*s + 10. Is b < x?
False
Let l be (-3)/3 + -4*1. Which is bigger: l or -6?
l
Suppose 8*o + 36 = 2*o. Which is bigger: o or -3?
-3
Let i = 2 - 8. Let a = i + 1. Is -3 at least a?
True
Suppose -2*j - 4*p - p = 19, -20 = 4*p. Suppose -f - j = 3. Which is bigger: f or -8?
f
Let k = -1/79 - -107/2212. Let h(t) = -t + 2. Let o be h(1). Is k at most as big as o?
True
Let i be (-70)/126 - (-4)/18. Which is smaller: -0.1 or i?
i
Let u = 11.77 + 0.23. Let p = 11 - u. Is -4 at most p?
True
Let g = 50107 + -21746421/434. Let k = g - -1/31. Is 0 >= k?
False
Let m = 0.1 + -0.09. Which is smaller: m or -2?
-2
Suppose 4*k = 4*t + 12, -2*t + 3*k - 9 = -6*t. Which is smaller: t or 3/49?
t
Let r(j) = -j**2 - 6*j. Let h be r(-6). Let u be (-27)/(-1116)*(-8)/(-3). Which is greater: u or h?
u
Let o be (-5 - -2) + (-34)/(-9). Which is greater: 1 or o?
1
Let f = 1 - 3. Let s be f + 1/1*1. Let d be (s - -2)*(-3)/27. Is d bigger than 0?
False
Let m(d) = -d**3 - 5*d**2 - d - 4. Let u be m(-5). Let q(n) = n**2 - n + n**2 + n**2. Let b be q(u). Which is smaller: b or 0?
0
Let o(x) = -x**2 + 11*x - 12. Let m be o(10). Which is smaller: -6/7 or m?
m
Suppose -4*t - t + 4*h - 17 = 0, t + 4 = h. Let b = t - -4. Let d = b + -10/3. Is 0 > d?
True
Suppose 9*l = 4*l - 5. Suppose 2*y = -4*q - y + 20, 0 = -5*q + 2*y + 25. Suppose 2*d - 3 = 4*k - q, 5*k = 3*d + 4. Are d and l equal?
False
Let p(r) = 11*r - 1. Let b be p(-5). Is b >= -56?
True
Let b = -119 - -117. Is b != -0.07?
True
Let p be (-38)/16 + (-1)/4. Let d = p + 297/104. Which is smaller: d or 0?
0
Let c(r) = -r - 4. Let j be c(-7). Suppose -5*p + j*v - 18 = 0, -2*v = -4*p - 4*v - 10. Let a = 4 - 6. Which is smaller: p or a?
p
Suppose 0 = -2*n + 3 - 1. Suppose 3*f = -3*u + 5*f - 2, 0 = 4*f - 4. Do u and n have the same value?
False
Let k be 28/3 + (-4)/12. Let m be k - ((-1)/1 - -3). Is 7 > m?
False
Let q(a) = -a**3 - 16*a**2 - 15*a. Let t be q(-15). Which is bigger: t or 9/7?
9/7
Let u(h) = -h - 5. Let j be u(-5). Let x = 11 - 21. Let w = -12 - x