q equal?
False
Let s be 3/6 + 18/(-12). Let m = -4/41 - 70/123. Is s greater than or equal to m?
False
Let v = 1.3 - -8.7. Let i = 7 - v. Do i and 0.1 have the same value?
False
Let n = 1.3 - 2.7. Let h = 1.6 - n. Is 4/3 less than h?
True
Let j be 26/(-42) - (-2)/6. Let w = 80.03 + -80. Is j bigger than w?
False
Let i = -5.02 + 0.02. Is i at most as big as -2/7?
True
Let r(q) = -6*q + 1. Let t be r(-1). Suppose -2*c = -6*c + 24. Does t = c?
False
Let n(k) = -k**2 - 9*k + 2. Let m be n(-9). Is m > 2?
False
Let s = 7 + -7.1. Let n = 18 - 19. Is s != n?
True
Let s(x) = -x - x + 1 - 2*x - x**2. Let h be s(-3). Let k = h + -3. Which is bigger: k or 0?
k
Let u = -0.6 - -0.5. Let v = 1 - 3. Is u > v?
True
Let n = -42.42 + 43. Let h = n - 0.08. Which is greater: h or 0?
h
Let u(l) = l**3 - l**2 + l + 11. Let h be u(0). Suppose -6 = -5*p - f, -3*p + 12 = -5*p - 4*f. Let v be (p - h)/3 + 2. Which is greater: v or 0.2?
0.2
Let g = 35 - 188. Let l = 36975 - 405044/11. Let x = g + l. Is x greater than 0?
False
Let z = 2 + -2. Let f be z + (-2)/(-9)*-1. Let r = 0.08 - -0.12. Which is greater: f or r?
r
Let k = -1 + 2. Let q(t) = -3*t - 1. Let o be q(3). Let u be (-6)/(-15) + (-11)/o. Is u less than k?
False
Let p(a) be the first derivative of -4*a**2 + 1/3*a**3 - 3 + 0*a. Let o be p(7). Is -7 less than or equal to o?
True
Let w = -16 + 19. Suppose -2*t + 8*x - 10 = w*x, -4*t + 6 = 3*x. Which is greater: -1/14 or t?
t
Suppose 5*s - 405 = -4*m, 2*m + 1 = -9. Which is greater: s or 86?
86
Let b be 3 + (6*-17 - 5). Do b and -105 have the same value?
False
Let m = 57 + -49. Is m greater than 7?
True
Let j(s) = -s**3 - s**2 + 3*s - 2. Let w be j(1). Are w and -2/77 non-equal?
True
Let b(z) be the first derivative of -z**3/3 + z**2/2 + 2*z + 1. Suppose m - 2*l = -4*m + 12, 0 = m + 2*l. Let q be b(m). Which is greater: 1 or q?
1
Let v = -36 - -12. Let d = 25 + v. Which is smaller: 18 or d?
d
Let y = -21 - -27. Are 6 and y non-equal?
False
Let j(l) = -l**2 - 2*l + 1. Let a be j(-3). Suppose 7*t = 2*t - 15. Are t and a non-equal?
True
Let b be (-3 - -1) + 1/1. Let k(v) = -v**2 - 2*v - 2. Let o be k(-3). Is o smaller than b?
True
Let w(o) = -4*o**3 - 2*o**2 - 2*o - 1. Let f be w(-1). Suppose 0 = -f*n + 2*n. Which is bigger: -0.1 or n?
n
Let x(a) = -a + 6. Let k be x(0). Let q(v) = -2 + k*v - 2*v - 5*v. Let g be q(-3). Which is smaller: 0 or g?
0
Let o = 33 - 27. Let x be 2*1*1/o. Which is smaller: 2 or x?
x
Let k = -9 - -9.06. Let z = k + -0.96. Let l = 1.1 + z. Which is smaller: 0 or l?
0
Let y = -10 + 15.5. Let s = -5.02 - -0.02. Let i = s + y. Do i and -1 have different values?
True
Let v(y) = -y**2 + 2*y + 18. Let a be v(0). Let j = 16 - a. Let z be 2 - 0 - (5 + 1). Which is smaller: j or z?
z
Suppose 2 + 2 = -4*i. Let t = 7.5 + -1.5. Which is bigger: t or i?
t
Let g be (-4 - (-2976)/750)/((-6)/(-5)). Which is smaller: g or 1?
g
Let g(u) be the third derivative of u**5/60 - 5*u**4/24 - u**3/6 - 3*u**2. Let a be g(5). Let s = -2/15 + 8/15. Which is smaller: s or a?
a
Let n be 34/663*18/4. Let g = -1 - -1. Which is greater: n or g?
n
Let l = -22 + 24. Suppose -23 = -l*g + 3*g. Is g at least -22?
False
Suppose -14*o + 17*o = 0. Which is greater: -1 or o?
o
Let f be (1104/135)/(4/(-42)). Let a = f - -86. Which is greater: a or 1?
1
Let i be (32/12)/(3/(-9)). Let d be (14/(-3))/(2/(-3)). Let t = i + d. Which is bigger: 1/4 or t?
1/4
Let o = 183406/197 - 931. Which is greater: o or -1?
o
Let g = -2.7 - -3. Suppose -15*n = -13*n - 6. Let t be -2 + n*1/3. Which is greater: g or t?
g
Let k = -0.7 - 3.3. Let m = k + 1. Which is bigger: m or 2/7?
2/7
Let i be (-2)/2 - (0 + 1). Let n = -4 - i. Let w be (n + 1 + 1)/1. Which is bigger: w or -2/5?
w
Let d(w) = 2*w**2 + w. Let z be d(-2). Suppose -c + 4*j + 20 = 0, j - 1 + z = -5*c. Let v = -0.5 - 0.5. Which is smaller: v or c?
v
Suppose -5 = 4*d + 19. Let i(f) = -f**2 - 3*f. Let v be i(-3). Suppose -2*h - h - 15 = v. Is h <= d?
False
Let d = -1 + 8. Let n = d - 7. Let o = -31/87 + 2/87. Which is bigger: n or o?
n
Let x = -10 + -1. Is -4 less than or equal to x?
False
Let l = -3 - -12. Suppose -5*x - l = 1. Which is smaller: -3/2 or x?
x
Let b = 1 - 2. Let n be 555/(-148) - (1 + -2)*3. Which is smaller: n or b?
b
Let h = -972/413 - -4/59. Let i = -62/21 - h. Is -1 less than i?
True
Let w(h) = -h**2 + 8. Let m be w(3). Is m at most as big as -3/4?
True
Let w = 0.1 - 0.1. Let x = -4 - -1. Let v = x - w. Is -1 greater than or equal to v?
True
Let x be (-38)/22 + (2 - 0). Let u = -6 + 5. Which is smaller: x or u?
u
Let q be 8/(-6)*-1 + 224/(-24). Suppose 4*i + 18 = 2*i. Are i and q equal?
False
Let j be 1/4 + 33/12. Suppose j*b = 2*b. Let f = 11.8 + -12. Are b and f equal?
False
Let k be (-15)/20 + 26/56. Does k = -1?
False
Suppose 6*x = -0*x + 6. Which is greater: x or 19?
19
Let l(a) = a**3 + 14*a**2 - 3. Let m be l(-14). Do m and 2/17 have different values?
True
Let t(j) = -3*j - 20. Let l be t(-6). Let m be l/3 + (-5)/60. Is m at least 0?
False
Let j(y) = -y**2 + 20*y - 17. Let h be j(14). Is 66 at most as big as h?
True
Let x = 89/2 + -1703/38. Is 1 bigger than x?
True
Let l = -5 + 5.1. Do l and -0.02 have different values?
True
Let b = -10 - -9.3. Let w = b + 1.7. Which is bigger: w or 0.1?
w
Let c(q) = q**3 + 5*q**2 + 5*q + 1. Let t be c(-4). Do t and 0.3 have different values?
True
Suppose -4*r + 6*o - 3*o = -13, 0 = -5*r - 5*o + 25. Let c be (30/r)/5*2. Let t be 0/(-2) - 1 - -4. Are t and c nonequal?
False
Let y = 0.06 + -0.36. Let x = 10.7 - 9. Let w = y - x. Is -1 greater than or equal to w?
True
Let l = 87 + -86. Which is bigger: l or -2/53?
l
Suppose l + l = 0. Let k be (((-20)/12)/5)/(-1). Is l not equal to k?
True
Let v(i) = -7*i - 3. Let g be v(-3). Let o = 21 - g. Is 5 equal to o?
False
Suppose 5*v - 6 = -1. Is 2 bigger than v?
True
Let w = 23 - 20. Let j = 0.04 - -2.96. Let x = j - w. Is -4 <= x?
True
Let l be (4/7)/(15/3 - 7). Let m = 1.1 + 5.9. Which is greater: m or l?
m
Let r = -0.05 + 0.15. Let m = r - 0.2. Which is bigger: 2/3 or m?
2/3
Suppose 4*v = -2*f + 3*f - 101, 0 = -3*f - v + 329. Is f smaller than -1?
False
Let m be (6/14)/(9/63). Suppose -b - m = -1. Is b at least as big as -5/4?
False
Let v be (1857/(-309) - -2) + (-4)/(-1). Are -1 and v unequal?
True
Let k = -0.1 + 0.1. Let v = -0.1 + k. Let s = -64 + 255/4. Which is smaller: v or s?
s
Let q be -3 + 1 + 5 + 1. Suppose c + 14 = 3*f, -f + 4*f + 1 = -2*c. Is f at most q?
True
Let c be 2 - (6/4 + 1). Let n be (-2 + 0 + 2)/2. Suppose n = -q - 2*u, 0*q - q + u = 0. Is q less than or equal to c?
False
Let n be (0/1)/((-9)/9). Let l = -1 - 1. Which is greater: n or l?
n
Let x = 0.07 - 0.09. Let c = 0.08 - x. Are 0.1 and c nonequal?
False
Let x(z) = z**3 + 4*z**2 + 2*z + 6. Let m be x(-4). Is m at most as big as 3?
True
Let v be (0 + 1)*-1 + 68/10. Let i be (298/(-4))/(-1 - 14). Let x = v - i. Which is bigger: -1 or x?
x
Let b = 26 - 3. Suppose 5*a + i = -4*i + 25, 5*i - b = -4*a. Is a equal to 2?
True
Let c = 22 + -21. Do 1/11 and c have the same value?
False
Suppose -4*j + 20 = 0, -2*q - 8 = -4*q - 2*j. Let w = q - 0. Let b = -53/15 - -10/3. Is b < w?
False
Let s be -7 + (-2 - 0 - -1). Let b = -6 - s. Let x be b/(-24) + 3/(-12). Is 1 at most x?
False
Let i be (-88)/(-6) - (-26)/(-39). Let b be i/(-6)*(6 - 9). Which is bigger: b or 5?
b
Suppose 31 = -m + 4*g, 0 = -m - 3*g - 0 - 3. Let n be 6/(-2) + (-39)/m. Are 0 and n unequal?
True
Suppose 2*r = 6*r. Which is greater: r or 2/175?
2/175
Let o = -0.06 + 2.06. Let d = o - 1.7. Let u = 0.7 + d. Is -3 at most as big as u?
True
Let q be 2 + (-2 + 2 - 1). Suppose t = -2*t + 189. Let y be (-1 - (-69)/t)*3. Which is smaller: q or y?
y
Suppose 14 = 3*y + 8. Suppose 0*g - 3*r = -y*g + 2, -5*g = 2*r - 43. Is 6 < g?
True
Let d = 1 - -2. Let v = d - 3. Which is greater: v or -2?
v
Let p be (0 + 5)/(-4 + 5). Is p >= 6?
False
Let y be -4 + -2 - 17/(-3). Let v be ((-1)/((-2)/(-4)))/(-2). Which is bigger: v or y?
v
Suppose 3*f - 2*f = 4*a + 10, 0 = 4*f + a - 23. Let p(r) = r**3 - 10*r**2 + 2*r - 15. Let b be p(10). Is b <= f?
True
Let d be -1*(-2)/(-1) + -1. Let v = 87296/21 + -4155. Let u = 16/7 - v. Is u less than d?
False
Let q = 13/11 + -457/33. Is -12 >= q?
True
Let m = -6 + 4. Let u be 1 - 1/1 - m. Which is bigge