r - 5*k + 0*k - 4 = 0, -3*r + 12 = 3*k. Suppose 2*l - 7 = f - 4, -f - r*l = 3. Let t = f - -4. Is t greater than 2?
False
Let x = 10 - 5. Let j(h) = -h**3 + 5*h**2 - 2*h - 3. Let g be j(4). Suppose -g*d = 4*a - 3*a - 27, 0 = -x*a - 3*d + 25. Which is smaller: 0 or a?
0
Let x = -4.4 - 0.6. Let k = -5 - x. Let r = 6/11 - 29/33. Are k and r non-equal?
True
Let v(n) = n**2 + 2*n - 2. Let y be v(1). Which is smaller: -1 or y?
-1
Let y = 34 - 35.4. Which is greater: y or 0.1?
0.1
Let f be (-76)/(-12) - 3/9. Is 6 greater than f?
False
Let n be 316/28 - (-4)/(-14). Let w = n - 7. Suppose w*g + 0*g = 20. Which is smaller: 6 or g?
g
Let w be (-1 + 28/16)*4. Suppose -2*u = -6*u + 4*x + 12, -5*u + 21 = -3*x. Suppose h = -h + u. Are w and h nonequal?
False
Let v(s) be the second derivative of -s**5/20 - 5*s**4/12 + 5*s**3/6 - 5*s**2/2 - 6*s. Let t be v(-6). Is t equal to 2?
False
Let f = -3 - 1. Let d be 1 - (2 + 1 + f). Which is smaller: d or 3?
d
Let w = -0.23 - -0.3. Let c = 0.1 - w. Let p = -0.07 - c. Which is bigger: -2 or p?
p
Suppose 10 - 66 = -2*v. Let p = 137/5 - v. Which is greater: -1 or p?
p
Let o(w) = w**2 - 1. Suppose 0 = -2*i - 2*i + 3*n + 2, 3*i - 3*n = 0. Let g be o(i). Let x be (2 + (-4)/g)/1. Which is bigger: -2/5 or x?
x
Let a(w) = -w**3 + 1. Let g be a(1). Suppose -6 = -3*r + 5*o - 18, -5*o + 15 = g. Is r < -1/3?
False
Let h(w) = w**3 - 3*w**2 + w. Let s be h(3). Let p = -10 - -13. Suppose -p*k - 2 = -4*k. Which is bigger: s or k?
s
Suppose 5*z + 2 = 6*z. Is 0 at most z?
True
Suppose -m = -0*m + 3. Suppose -3*z + a + 8 = 22, -5*z - 5*a = 30. Do z and m have the same value?
False
Let b be 5*(0 - 4/(-10)). Let w = 3 - 3. Suppose w = b*q - q. Which is greater: -1 or q?
q
Let w be 8/(-36) + 20/9. Let r be (-1)/w - (-258)/8. Let t = r + -32. Which is bigger: 1 or t?
1
Let n(o) = o**3 - 4*o**2 - 6*o + 3. Let f be n(5). Let v be (-4 + 4)*1/f. Let k = -3/80 - 9/16. Is v >= k?
True
Suppose -h + 7 = 3. Suppose 0 = -4*b - 4*u + 28, b - 3*u = -13. Suppose 0 = f - 0*p + p + h, 3*f - b*p - 8 = 0. Are -1/4 and f nonequal?
True
Suppose 0 = -10*k + 6*k - 8. Let t be 2/k - 30/(-3). Let s(j) = j**2 + j - 3. Let f be s(-4). Does t = f?
True
Let k = -2 - -5. Let o = -11 + k. Let q = -8.1 - o. Are -0.3 and q equal?
False
Let z = -2.95 + -0.05. Let k = z + 3.2. Which is smaller: 0.1 or k?
0.1
Suppose 16 = -5*o - 64. Which is bigger: -15 or o?
-15
Let m be 2/(-2) + 4/7. Let d be (5 + 52/(-8))*6/9. Which is smaller: d or m?
d
Suppose 0 = 6*q - 11*q + 460. Let u be -3 - (-1)/(28/q). Is u less than or equal to 1/3?
True
Suppose -4*c - 4*h = 0, 4*c + 0*h = -h. Are 9/8 and c non-equal?
True
Let f be (1/3)/(1/(16 + -3)). Is 5 != f?
True
Let s = -0.005 + -4.795. Let x = -5 - s. Let v = x - -0.1. Is -2 smaller than v?
True
Let s = -9/13 - -14/39. Let i be 1 + 0 + 0 + 2. Is i smaller than s?
False
Let u be 3 + 26/(-8) + 318/888. Which is smaller: 1 or u?
u
Let p be (-1)/(2*(-9)/12). Suppose -7 - 8 = 5*v. Are v and p equal?
False
Let w be (-207)/(-6)*((-39)/(-9) - 5). Is -22 < w?
False
Suppose 22 = 2*f - 2*j, 5*j = 2*j - 9. Let i = 11 - f. Suppose -5*g + i*v + 18 = -2*g, -3*g - 4*v = 17. Which is bigger: 2 or g?
2
Let n = 47.19 - 47. Is -2/5 != n?
True
Let b(l) = -l**2 + 6*l - 4. Suppose 5*z = 3*a - 29, z = -5*a + 2*z + 85. Let w = a - 13. Let f be b(w). Is 1 equal to f?
True
Let i(r) be the first derivative of 1/3*r**3 + 0*r + 4*r**2 - 2. Let l be i(-8). Is l at most as big as 0?
True
Let q = -28 - -28. Is 1/3 equal to q?
False
Let p = 1 - 1. Suppose -2*a + c + c - 4 = 0, 4*c - 6 = 2*a. Is a equal to p?
False
Let v be 8 + (-3 + -2 - -3). Let x be 1/(-1) - (-3)/v. Which is bigger: x or -3/5?
x
Let v = -6 + 6. Let d = 71/40 - 11/8. Which is smaller: v or d?
v
Let k = -41 + 42. Is -4/13 < k?
True
Let z = 11/7 + -2. Is -1 < z?
True
Suppose -2*u = -3*u - 2. Let j be (-1)/(u/(-3 + 1)). Let h be (0 - 2)*2/58. Is h >= j?
True
Let g = 3 + -4. Let p be 1*2/(-4)*2. Is p >= g?
True
Let l(d) = -d - 1. Let f be l(-6). Let x = f - 6. Is x greater than or equal to -2/11?
False
Let g = 0.02 + 0.98. Let j(f) = -3*f**2 + f. Let q be j(-1). Which is smaller: q or g?
q
Let h be (-8)/5*(-6)/(-24). Let a = h + 1/15. Which is bigger: 1 or a?
1
Let b be 19*34/(-286) + 1. Let m = b + 25/13. Let f = -11/13 + m. Is 0 < f?
False
Let y be (-2)/(-4) + (-1)/2. Let w = 13.5 + -13. Which is greater: w or y?
w
Let u(d) = d**3 + 2*d**2 - d. Let o be (-21)/12 - (-1)/(-4). Let i be u(o). Suppose -h = -i*h - 1. Which is smaller: -2/9 or h?
h
Let v be ((-9)/(-3))/3 + 8. Let c = v + -6. Let g = -4 - -8. Which is greater: g or c?
g
Let r be 8/12*(-5)/(20/6). Let n be (-2)/2 - (-11)/9. Which is smaller: n or r?
r
Let n = -1224/725 - -42/29. Is n <= 1?
True
Let w = -3.55 + 0.45. Let i = w - -3. Which is greater: i or 2/9?
2/9
Let r = -1.18 - -1.1. Let z = r - 0.02. Is -7 smaller than z?
True
Suppose -3*h + 4*h - 4 = 0, 0 = -5*c - 2*h + 18. Which is greater: 5 or c?
5
Suppose -42*t - 736 = -50*t. Is 92 greater than t?
False
Let k = 100 - 199/2. Which is smaller: -1 or k?
-1
Let t be (-20)/12*-1 - 2. Let v = 0.2 + -0.3. Let g = 1.1 + v. Which is greater: g or t?
g
Let o be (4/15*-3)/((-10)/75). Are o and 44/9 nonequal?
True
Let n be -2 - (0 - 21/6). Let a = -0.11 + 1.11. Is a >= n?
False
Let z = -2 - -3. Let r = z - 5. Let u = r + 3.9. Is u != 1/2?
True
Let y = 4532373/22 + -206195. Let s = -178 - y. Does s = -1?
False
Let u be 5/4*(7 - 3). Let o(f) = f**3 - 5*f**2 + f - 7. Let d be o(u). Let t(k) = -k**3 - k**2 + 4*k + 3. Let w be t(d). Are 0 and w equal?
False
Let h(z) = -3*z - 4. Let g be h(-3). Suppose 0 = g*b - 4*y + 16, -10 - 2 = 4*b - 3*y. Suppose -2 + b = -l. Are l and 1 non-equal?
True
Suppose -h - d - 2 = 0, 5*d = 4*h - 10 - 0. Is h at least as big as 4/11?
False
Let v(p) = -p + 1. Let m be v(2). Let w = 17 + -17. Is m at most w?
True
Let d = -0.7 - 0.3. Let q = d + 1. Do 0 and q have the same value?
True
Let j be (4 - -1)/(0 + 1). Does -1/4 = j?
False
Let a = -2/67 - -75/268. Let d = -4 - -5. Suppose 5*f - 16 = -q, -4*q - f - d = -8*q. Is a less than or equal to q?
True
Let o = -0.27 + 0.3. Let n = -0.03 + o. Let d = -1297/12 + 108. Is n >= d?
True
Let m be (4/(-10))/1*5. Let b = 26 + -29. Which is bigger: m or b?
m
Suppose -3*g - 9 = -4*v + 1, -v + 4*g = 4. Which is greater: 3 or v?
v
Let m be (-3)/(-2)*-5*(-8)/120. Let k = 0 - 0. Which is greater: k or m?
m
Let u(k) = k**3 + 4*k**2 - 2*k - 5. Suppose z - 1 + 5 = 0. Let t be u(z). Let v be t/(-4)*(-24)/27. Is 0 at least as big as v?
False
Let w = -0.1 - -0.2. Let j = 16 - 13.8. Let i = 2 - j. Which is bigger: i or w?
w
Let b = 20.1 + 4.9. Let w = 27 - b. Are w and 1/7 unequal?
True
Suppose -o - 40 = 4*o. Let x be o/(-44) - (-296)/(-1386). Which is greater: 1 or x?
1
Let l be 45/(-20)*(1 + 0). Which is smaller: -2 or l?
l
Let h = 6/17 - 53/102. Let d(g) = g + 1. Let q be d(0). Let v be (q + 0/(-1))/1. Is v bigger than h?
True
Let o(b) = b - 1. Let k be o(6). Suppose 6*v - v = -k*g + 25, -4*g + 4*v = 20. Let w be ((-3)/3 + g)*1. Are w and 0 equal?
False
Let l = 1.9 - -0.1. Let s = -2 + l. Which is smaller: s or 1/6?
s
Let d = -149957/15 + 10011. Let q = d + -56/5. Is q bigger than -2/7?
True
Suppose 0 = 3*g + 17 - 5. Let n be 6/g*(-12)/(-18). Which is smaller: n or -1/4?
n
Let a(z) = z**2 - 6*z. Let p be a(6). Suppose 0*y + 4 = 2*y. Suppose 5 - 1 = y*o. Which is greater: p or o?
o
Let i = -899/18 + 50. Let y = -10 + 10. Which is bigger: i or y?
i
Let i be (-30)/8*(-8)/(-11). Let a = -79/33 - i. Which is greater: -1 or a?
a
Suppose -11*p = -10*p + 26. Does -26 = p?
True
Let q = 17.79 + -18. Let r = -0.01 - q. Are -0.5 and r equal?
False
Let z = -0.15 + 0.15. Is z greater than or equal to -0.03?
True
Let a(b) = -2*b**3 - 2*b**2 + b - 1. Let q be a(-2). Suppose -5*o - 3*x + x = 0, -q*o - x = 0. Which is smaller: -0.4 or o?
-0.4
Suppose 0 = 2*u + 3*u. Let i be (u - 9/(-66))*-2. Which is greater: 0 or i?
0
Let t = 3 - 2. Let r be (-48)/56*2/(-6). Does t = r?
False
Let s be ((-3)/(-4))/((-2)/8). Let t be (-14)/(-21) - 3/3. Is s <= t?
True
Let h be (-4)/6 + 51/9. Let u = -16 + 17. Suppose -2*z + u + 5 = 0. Which is smaller: h or z?
z
Let l = -3.3 + 3.3. Is -1 < l?
True
Suppose -4*j - 6 + 26 = 0. Suppose 3*m - 3*b + 0 = 9, -j*m - 3*b + 7 = 0. Which is smal