 4*c + 4. Let h be z(3). Let r = h - 0. Is r < -2/11?
False
Let c be (2 - 4/(-3))*(-2)/(-5). Are c and 0.1 unequal?
True
Let s = -4 - -13. Is 7 equal to s?
False
Let q = 147.2 - 147. Is q smaller than -36?
False
Let h be (-6)/39 - (-44)/(-52). Which is smaller: h or 2?
h
Let m be 2/(-7) + (-44)/(-7). Suppose -2 = 4*k - m. Suppose -3*n = -2*t - 3, 3*t + t = -n + 1. Is t >= k?
False
Suppose -3*p - 2*p - 23 = -3*f, 0 = -3*p - 3*f - 9. Let d be p/(-6) + (-6)/9. Let m = -9/26 - 2/13. Is d bigger than m?
True
Let i(t) = t - 5. Let f be i(9). Suppose -y - f - 1 = 0. Is -4 > y?
True
Let r(a) = a. Let t be r(-3). Suppose 4*l - 9 = -f, 0*f - 15 = -5*l - 5*f. Suppose -l*s = 1 + 5. Is s less than or equal to t?
True
Suppose -u - 16 = -2*n - 2*n, 5*n - 19 = u. Suppose 5 + n = 4*y. Suppose 0 = 4*t + y*c - 12, 3*t + 0*c - 2 = 2*c. Do 2 and t have the same value?
True
Let p = -5 + 11. Suppose s - 3 = j + 4*j, -p = -2*s - 4*j. Is 3 at most as big as s?
True
Let h(y) = y**3 + 24*y**2 + 22*y - 30. Let k be h(-23). Which is greater: -10 or k?
k
Let x = 1.9 + -3.7. Let n = -1.8 - x. Which is smaller: -2 or n?
-2
Let k(w) be the first derivative of w**2/2 - w - 2. Let b be k(1). Let g = -26 - -235/9. Which is greater: g or b?
g
Suppose -4*r + 205 + 2319 = 0. Let l = 20821/33 - r. Is 1 bigger than l?
True
Let u be ((-2)/40)/(7/(-98)). Is 0 at least as big as u?
False
Let v(u) = -u + 1. Let f be v(0). Suppose 3*w + 0*w - 3 = 0. Is f > w?
False
Suppose 0 = -6*p - 3*p - 18. Which is greater: -1/2 or p?
-1/2
Suppose 6*f = 5*f - 9. Let a be f/(-60) - 2/5. Is a greater than 1?
False
Suppose 0 = 12*c - 8*c. Which is bigger: 1 or c?
1
Let b(p) = p + 13. Let i be b(-11). Suppose -4*d - 4*f - 29 = f, -5*f - 27 = i*d. Suppose 0 = -4*v - 0*v. Is v <= d?
False
Let k(t) = -t**2 + 7*t - 5. Let n be k(6). Let l = n + -1. Which is greater: -3/7 or l?
l
Let u = 0.4 - -1.6. Let l = u + -2.1. Is l greater than -0.6?
True
Let z = 91/36 - 16/9. Is z equal to 0.2?
False
Let c = -2/89 - -633/445. Which is bigger: c or 2?
2
Let w be (-15)/290*-1*-2. Which is smaller: -3 or w?
-3
Suppose t = -5*t + 48. Suppose -3 = -q - t. Which is bigger: q or -14/3?
-14/3
Suppose -3*v - 3*s - 123 = 0, 3*s + 169 = -4*v - 2*s. Is -38 at least as big as v?
False
Suppose 8 = -m - m, 0 = -4*b + 3*m + 41532. Let l be (32/b)/(4/786). Let s = 1/173 - l. Which is bigger: s or -1?
s
Let z = 43 + -42. Is z not equal to -3/32?
True
Let y = -25 + 23. Suppose 2*r = 4*q + 18, 0 = r + 5*q + 26 - 7. Suppose 2*o = o - r. Which is smaller: y or o?
y
Let r = -4 + 0. Let h be (-116)/36 + r/(-18). Which is greater: -4 or h?
h
Suppose -4*z = 12 - 4. Let j = -3 - -2. Are j and z nonequal?
True
Suppose -4*m + 3 = c, 3*c + 6 = 2*m - 13. Is 13/6 < m?
False
Let f(k) = -3*k - 27. Let p be f(17). Which is bigger: -79 or p?
p
Suppose -j - 30 + 80 = 0. Suppose -m = 0, -6*n + n + 2*m + j = 0. Let l be n/4 - (-4)/(-8). Which is bigger: 1 or l?
l
Let k = 0.13 - 6.13. Which is smaller: -1 or k?
k
Let l(b) = -b**3 - 6*b**2 - 2*b + 3. Let r = 25 + -31. Let c be l(r). Which is smaller: c or 1?
1
Suppose 4*r + 2*y + 0*y = 230, -4*y + 130 = 2*r. Which is smaller: 54 or r?
54
Let i(j) = 6*j**2 - 1. Let m(g) = -g + 6. Let d be m(5). Let r be i(d). Let t = -4 - -8. Which is greater: r or t?
r
Let o(l) = 3*l**3 + 7 + 8*l - 8*l**2 + l**3 + 2*l**2 - 5*l**3. Let j be o(-7). Which is smaller: 2/41 or j?
j
Let n = -6 - -4. Let t be (-2)/(-3)*(-3)/n. Let q be (14*t)/(2/1). Which is bigger: q or 8?
8
Let n = -1 + 2. Which is greater: -24 or n?
n
Let j = 23 - 23.2. Which is smaller: j or 0?
j
Let v(q) = -q**3 - q**2 + q - 1. Let s be v(0). Which is bigger: -1/19 or s?
-1/19
Suppose 0 = -3*y - y. Are y and 4 non-equal?
True
Let q = 2.04 - 0.04. Let g = 1.9 - q. Which is bigger: g or 0.2?
0.2
Suppose 0*k = 2*k + l + 13, k + 5*l - 16 = 0. Do k and -8 have the same value?
False
Let k = -15 - -21. Suppose 5 = g - k*g. Let b be g/2 + (-1)/(-2). Which is smaller: b or -1/2?
-1/2
Let s = -33 + 53. Which is greater: s or 18?
s
Suppose 0*u + 12 = -2*u. Let p be 22/70 - u/21. Is p >= 0?
True
Let u(r) = -2*r**3 + 12*r**2 + 3*r - 12. Let l be u(6). Which is smaller: 21/4 or l?
21/4
Suppose 4*k - 1 = 2*x + 1, 0 = 3*x + 5*k + 3. Let r be -3 - ((-442)/126 - 12/(-54)). Which is smaller: r or x?
x
Let s be (-1 + 5 - 3) + (-2 - -7). Is s less than or equal to 4?
False
Let j be 1 - 0 - 111/3. Let u be 4/10 - j/10. Suppose -5*s + 31 + 9 = 4*l, -l - u*s + 21 = 0. Is l <= 5?
True
Let w be 6/(-15) - (-28)/10. Let p(i) = -i**3 + 9*i**2 - 8*i + 1. Let o be p(8). Which is bigger: w or o?
w
Let w = 4 + 1. Suppose -5 = w*l + 5. Let u be (-20)/6*(-10)/(-25). Which is smaller: l or u?
l
Let q(s) = s**2 - 7*s + 2. Let m be q(7). Suppose -2*f - m*h = -4, 0*f + 3*f = h - 10. Suppose 3*n - 9 = 6*n. Which is greater: n or f?
f
Let u(y) = y**2 + 11*y + 4. Let v be u(-10). Let a be (-4)/v*(-45)/(-10). Let d = 3 - 1. Which is bigger: d or a?
a
Let h be 1*1/1*-1. Suppose 5*w - 3*c = 8, -3*w = 2*c - 4 + 3. Let s = w + h. Is s greater than 0?
False
Suppose 0 = -3*y + 15, 4*w - 19 = -5*y + 38. Suppose 0 - w = -2*h - 4*a, -3*a + 6 = -2*h. Suppose h = -4*z - z. Which is bigger: 1 or z?
1
Let k be (3 - (-60)/(-16))/2. Is -1 greater than or equal to k?
False
Let n = 1.3 - 1.2. Do 2/19 and n have the same value?
False
Let v = 111 + -45. Is v bigger than 1?
True
Let p be 3 + -3 - (2/(-7) + 0). Is 0.2 at most p?
True
Let l = -2.2 + 2. Suppose -g = -0*g. Let t = 1 - g. Which is smaller: t or l?
l
Let a be 24/(-180) + (-16)/105. Let u = 0.3 + -0.5. Let m = -0.2 + u. Are m and a unequal?
True
Let d = -1.8 + 2. Let l = 0.05 + -2.85. Let v = 3 + l. Is v at least as big as d?
True
Let g = 8 - 3. Let v = 5 - 0.2. Let w = v - g. Is w at most 1?
True
Let x be ((-14)/(-8) + -1)*8. Let n(b) = -b**2 + b + 5. Let z be n(0). Suppose x*q = q + z. Is q != 0?
True
Suppose 4 = i + 3. Let y be (1 - 1)/(-3 + i). Let k be (-2)/(-6) + 2/12. Is y at most k?
True
Let n = 0.8 - -0.2. Let z = 5 - 8. Let g = z + 2.8. Which is bigger: n or g?
n
Let h(j) = 3*j**2 - 2*j + 1. Let f be h(1). Let o be (-9)/(-14)*28/21. Which is greater: f or o?
f
Let z = 44 + -46.9. Let k = z + -0.1. Let c be (-4)/6*6/(-8). Is c > k?
True
Suppose -51*i = -52*i + 4. Which is bigger: i or 15?
15
Let l(o) = -o**3 - o**2 + o. Let y be l(1). Let k = y + 10. Let z be (-3)/k - 0/1. Is 1 != z?
True
Let f = 0.42 + -1.62. Which is smaller: 1 or f?
f
Let w(v) = v**3 + 10*v**2 - v - 11. Let z be w(-10). Let t be 3/(-10)*(-8)/(-6). Which is smaller: z or t?
z
Let f = -37 - -41. Let j = -0.06 + -2.94. Is f greater than or equal to j?
True
Let t be (3 + (-2 - 0))*-1. Let s = -5 + 4. Is s less than or equal to t?
True
Suppose -2*d - 32 = q + d, 4*d - 54 = 2*q. Let w = -18 - q. Which is greater: w or 9?
w
Let c = 12 + -33. Let z = c - -18. Do 0.1 and z have different values?
True
Suppose -2*h - h = 4*f - 164, 28 = f + 4*h. Let u = -12 + f. Let b be (0 - -2)/(u/4). Which is smaller: b or 0?
0
Let p be (-3)/2*12/54. Let b = 0.04 + -3.04. Is b != p?
True
Let d = -32 - -95/3. Do -0.2 and d have the same value?
False
Suppose 0 = -4*w - 3*y - 42, 0*w + 3*y + 24 = -2*w. Let z be (-15)/w*(4 + -1). Suppose 3 = 5*i - 4*p - 23, 20 = -z*p. Do 3 and i have the same value?
False
Let l = -20.74 - -21. Is l at least -2/3?
True
Let f(q) = -q**3 + 7*q**2 - 5*q - 2. Let m = 6 - -16. Let y be (-4)/m - 68/(-11). Let v be f(y). Which is smaller: v or 5?
v
Let j(f) = 2*f**3 - 2*f**2 - 3*f + 3. Let a be j(2). Which is smaller: 0 or a?
0
Let a = -21 + 23. Is -1 >= a?
False
Suppose 0 = -4*c + c + s + 13, 2*c + 2*s + 2 = 0. Are 1 and c nonequal?
True
Let q = -1037/8 + 130. Let v = -3 + 2.7. Let i = v + -0.7. Which is greater: q or i?
q
Suppose 0 = -4*o + 3*c - 2 - 1, 2*c = -3*o + 2. Suppose -5*k + 3 = 2*z + 2*z, o = -5*k - 5*z. Let r be k/(-9) + 4/6. Is r greater than 0?
True
Let v = 102167/139 - 735. Are 0 and v equal?
False
Let l be 12/36*6/8. Let d = 2/189 + 2449/756. Let j = 35/12 - d. Is j less than or equal to l?
True
Let g = 1/5 + 1/5. Does 1 = g?
False
Suppose -3*a + 15 = -4*z, -5*a - 3*z = 2*z + 10. Let x = -4 + a. Let n = -7 - -4. Is n at most as big as x?
True
Let u be -1 - -3*(-5)/(-15). Which is bigger: -12/13 or u?
u
Let w = -48 + 145/3. Let n = -0.03 - 0.97. Are n and w non-equal