
q
Let u be -1 - -2 - (-198)/(-88). Is -1 greater than or equal to u?
True
Let p be -4 + 3 - -4 - 2. Which is greater: 2/25 or p?
p
Let t(u) = -u - 6. Let r be t(-7). Let n(k) = 8*k**2 - k. Let i be n(r). Suppose i*d - 2*d - 10 = 0. Is 2 <= d?
True
Let m = -4.9 - -5. Is m at most as big as 5?
True
Suppose 0 = z - 2*j - 4, 8 = 4*z - z - 2*j. Is z less than -1?
False
Let b be (1 - 7)/((-270)/(-20)). Suppose -3*z - q = 2, -2*q + 0*q + 3 = -z. Which is greater: z or b?
b
Let z = 26107/840 + -83/35. Let f = z - 195/8. Which is bigger: f or 5?
5
Let t be 13/(-4) + (-10)/(-40). Which is bigger: -2 or t?
-2
Let u be (-28)/10*(-1)/6. Let c = 1/5 + u. Which is smaller: c or -0.8?
-0.8
Suppose 0 = -5*x + 3*i - 7, -3*x + 2*i - 2 = -x. Let c(q) = q**3 + 5*q**2 - q - 6. Let h be c(-5). Let z = h - 0. Which is greater: z or x?
z
Let g = 54.9 - 55. Which is greater: g or -87?
g
Suppose 5*l - 5 = 0, 3*l - 3 = -m + 4. Suppose -2*h + 1 + 3 = 0. Is h > m?
False
Suppose 3*k + 4*y = 2*k, y = -4*k. Are 1/7 and k nonequal?
True
Let a = 1.5 + -0.1. Let b = -0.5 + a. Let p = -1 + b. Is -1 <= p?
True
Let v(a) = -2*a**2 + 9*a - 6. Let c be v(6). Let f = c - -34. Which is bigger: 9 or f?
f
Let w = 19 - 10. Let l be 33/w + (-2)/(-6). Let y be (-5 + 15/2)*(2 + 0). Which is smaller: y or l?
l
Suppose -4*u = -38 + 30. Suppose 2*z - 3*r = -7, 4*z - 3*r + r = -2. Is u != z?
True
Suppose 5*n - 2*v = n + 26, -v = 5*n - 29. Let j be (-2 + 5)/n*2. Is 0.1 > j?
False
Let q be 2 - (-9 - (-2)/(-2)). Suppose -2*n = -0*n + q. Let j = 8 + n. Which is greater: j or 1?
j
Let j = 4.8 + -4.6. Which is bigger: j or -0.11?
j
Let p = 0.028 - -1.972. Is p equal to 3?
False
Let b be -1 - 1 - (-2 - 0). Suppose -2*r = -3*r + 6. Let l be (r/68)/(27/36). Which is greater: l or b?
l
Let b(p) = -p**3 + 4*p**2 + p - 5. Let d be b(4). Let l be 2/(-9) + (-4)/(-18). Suppose l = 5*f - 5. Which is greater: f or d?
f
Suppose 2*s - 26 = -z, -2*z + 6*s = s - 43. Let g = -8 + z. Suppose -g = -4*j, 4*d = 5*j - 3*j - 4. Is d >= 1?
True
Let i(k) = k**2 - 3*k - 7. Let t be i(5). Suppose 3*l + 3*w - 12 = 0, -10 = -4*l - w + t*w. Which is greater: 5 or l?
5
Let d = -0.7 + -0.3. Let o(w) = -w**3 + 3*w**2 + w - 3. Let x be o(3). Is d less than x?
True
Let d be 5/20 - 110/8. Which is bigger: -15 or d?
d
Let k be (-4)/(-4) - (-83)/(-81). Is k equal to -1?
False
Let x be (-7)/3*(-8 + 2). Let c = 34/3 - x. Which is greater: c or -1?
-1
Let t = -4 + 4.1. Let w = 4.24 - -0.66. Let p = w + -5. Which is bigger: p or t?
t
Suppose 0*q = 5*q. Let w(h) = 3 + 2*h + q - 2 - 2*h**2. Let v be w(-1). Which is bigger: v or -2?
-2
Let d be 8*((-27)/(-4) - 0). Let o be (-1)/5*45/d. Suppose 0 = -4*k - 6 + 2. Which is smaller: o or k?
k
Let u = 131/1827 - -2/63. Does 1 = u?
False
Let g be 6/27 + 1767/(-135). Let d = g + 59/5. Let h = -58/45 - d. Which is bigger: h or 0?
0
Suppose h - 5*s - 33 = -10, 2*s + 20 = 4*h. Let k be (4/2)/(((-70)/(-25))/7). Do h and k have different values?
True
Let k = -20.019 + 0.019. Let r = k + 23. Is r at least 1?
True
Let z be 16/(-56) + (-1874)/(-42). Let v = 43 - z. Suppose 0 = -3*w + 5*w. Which is smaller: w or v?
v
Let h(f) be the third derivative of -f**5/60 + f**4/6 + 2*f**3/3 - 2*f**2. Let n be h(6). Is n != -7?
True
Let z = 15/23 - 160/69. Let b(l) = -l**3 - 4*l**2 + 6*l + 2. Let r be b(-5). Which is greater: z or r?
z
Let j = 6 - 2. Let t be j*-2 - (-6)/6. Let o = t + 7. Are 2 and o equal?
False
Let x be (-1 + 26/10)/(-5). Let y = 43/150 + x. Let u = -13/60 + y. Which is smaller: 3 or u?
u
Suppose 2*f - 6*f - 12 = 0. Let q be (f/(-9))/(3/36). Let m = 5 - q. Is -1/4 at most m?
True
Let p be ((-12)/15)/((-2)/5). Let q be p + (-1 - 0 - -1). Suppose 0 = 4*b + 16, 0 = t + 2*t + q*b + 8. Are 1 and t nonequal?
True
Let k = 11196 + -66971/6. Let g = -83/3 + k. Which is smaller: g or 7?
g
Let m = -30 - -29.77. Let c = 1.1 + -1.03. Let o = m - c. Is -1 at least as big as o?
False
Let s = -56 + 56.15. Let j = -0.35 + 0.3. Let c = j + s. Which is bigger: c or -5?
c
Let r(w) = w**2 - 11*w - 1. Let k be r(11). Is -2/5 less than k?
False
Suppose 3*w + 3 = 3*b, 4*w + 4*b + 4 = -0*b. Is w greater than 1/49?
False
Let p = 11 - 11.4. Let x = p + 0.5. Which is smaller: x or -1?
-1
Let a = -1 - -1. Let l = -0.53 - -0.23. Let s = l + -1.7. Which is greater: s or a?
a
Let a = 4 - 4.05. Let d = 0.15 + a. Let x = 0.39 - 0.09. Which is smaller: x or d?
d
Suppose 0 = -2*n - 5*m - 25 + 7, -2*m = 8. Let h(p) = 4*p - p - n - 2*p. Let a be h(-1). Is a < -1/3?
True
Let r(a) = -2*a**2 - 4*a + 1. Let v be r(-3). Is -6 at most v?
True
Suppose 4*t = -8, -5*f - 3*t + 5*t = -9. Which is smaller: f or -2/109?
-2/109
Let z(i) = -i**3 - 6*i**2 - 4*i + 0*i + 0 + 0 + 4. Let g be z(-5). Is 0.01 greater than or equal to g?
True
Let m(f) = f + 23. Let o be m(-16). Which is greater: o or 11?
11
Let h be (4 + -1)*(-88)/33. Which is greater: -9 or h?
h
Suppose 2*f - 2 = -6. Let s be (20/(-16))/(f/8). Are 5 and s equal?
True
Let l be ((-5)/(-10))/(4 + 2 + -4). Which is smaller: l or -40?
-40
Let d = -87 + 59. Which is smaller: d or 0.1?
d
Let n(g) = -g + 7. Let s = -10 - -17. Let x be n(s). Is -1/4 bigger than x?
False
Suppose -5 = 4*u + d + 1, u = 3*d + 5. Which is smaller: 4/13 or u?
u
Let q(m) = m + 1. Let b be q(3). Let n = -20 - -14. Let u be (-1)/(-2)*-2 - n. Does u = b?
False
Let q(r) = r - 4. Let d be q(2). Let o(a) = 2*a**3 + 3*a**2 + a. Let n be o(d). Is -6 greater than or equal to n?
True
Let l be ((2 - -3) + -4)/1. Which is smaller: 16 or l?
l
Let y be (-17)/26 + (-12)/(-78). Which is smaller: -149 or y?
-149
Suppose 5*j = -3*r + 49, 16*j - r = 19*j - 27. Is j not equal to 8?
False
Suppose -3*n = 4 - 16. Let x be (5/n)/(6/8). Is 1 greater than x?
False
Let t = -172 + 173. Let c(r) = -1 + r**3 - 2*r + 0*r**3 + 2 + 2*r**2. Let i be c(-3). Which is smaller: t or i?
i
Suppose 3 = 2*g - 0*o + o, -9 = -g + o. Which is smaller: 6 or g?
g
Let o(w) = -w**2 + 7*w + 1. Let a be o(7). Let t be 56/(-21)*a/6. Is 1 != t?
True
Let c = 1679/43 - 39. Is -1 <= c?
True
Let h = -4048/171 + 214/9. Which is greater: h or -0.1?
h
Let a(k) = -k**3 + 8*k**2 + 3*k - 9. Let o be a(8). Suppose 6*i - r = i - o, -r = -2*i - 9. Let d be (-21)/(-28) - i/8. Is d smaller than 1?
False
Suppose -3*m + 2*m - 6 = 0. Let w(t) = 7*t + 26. Let y be w(-4). Which is smaller: y or m?
m
Let h(n) = 2*n - 3. Let m be h(4). Suppose -28 = -m*k - 3*q, -q - q + 2 = 0. Is k at least 5?
True
Suppose -4*a - 6 + 38 = u, 4*u + 16 = 2*a. Let p be 1*(1 + a/(-10)). Is p greater than 1?
False
Let s(k) = -k - 32. Let l be s(7). Is -39 != l?
False
Let o = 3.99 - -0.01. Let v = -6 + o. Which is greater: -0.1 or v?
-0.1
Let v be 16/3 - 4/12. Suppose j = -v*h + 11, 5*j + 3*h - 7 = 2*h. Do 0 and j have the same value?
False
Let u(z) be the first derivative of z**2/2 + 10*z + 3. Let m(w) = -w - 9. Let o(k) = 2*m(k) + 3*u(k). Let n be o(-11). Is -2/25 at least as big as n?
False
Suppose -5*q = -4 - 21. Suppose -y - 20 = -q*y. Suppose 5*i - y = 5*a, -i = -3*a - 4 + 5. Is -2/19 greater than a?
False
Let w be 24/6*3/6. Does w = 0?
False
Let t be (4/(-8))/((-2)/(-5)). Is t not equal to -1?
True
Let s = -2 + 3. Is -1/22 at most s?
True
Let y = 30 - 27. Let d = 2.25 + 0.65. Let x = d - y. Which is smaller: -0.2 or x?
-0.2
Let n(m) = -4*m**3 + 2*m**2 - 1. Suppose 0 = -w + 5*w - 24. Let q be 4/w + (-1)/(-3). Let f be n(q). Are -7/4 and f non-equal?
True
Let q be (-9)/12 - (-615)/20. Which is greater: 31 or q?
31
Let w = -345 + 3109/9. Are -0.3 and w unequal?
True
Let o be ((-28)/16)/((-1)/4). Suppose 4*p - s = 23, 2*s + o = 2*p + 3*s. Let n be -2 - (-10 - (-3)/2*2). Is n smaller than p?
False
Let n = 38 - 37.96. Which is greater: n or 0?
n
Let z be (0 - -1)*-2 - (-12)/2. Let d(b) = -b**2 + 6*b - 6. Let j be d(5). Which is bigger: j or z?
z
Let n = 2 - 1. Let g be n/(0 + (-21)/(-6)). Is g != -1?
True
Let b be 8/(-12) + -2 - -3. Is b at least as big as 0?
True
Suppose 36 = -10*n - 14. Which is smaller: n or -19/4?
n
Let i be 998/(-15)*(-50)/(-40). Let r = i + 83. Let t = -3 - -4. Which is greater: r or t?
t
Suppose 3*o + 0*k - 5*k = 31, 5*o - 20 = 2*k. Suppose 0 = b - 2*b + o. Which is greater: -1 or b?
b
Suppose 30 = -j - 4*j. Let b be j/(-24) + 38/(-24). Suppose 3 = 2*i - 2*z + z, 5*z + 9 = 4*i. Which is smalle