ter than or equal to -0.1?
False
Let d = -0.3 - -0.2. Let f = 0.7 + d. Let k = f + -0.6. Which is greater: -1/3 or k?
k
Let k(h) = 2*h**2 + 2*h - 4. Let r be k(-3). Let g be r/(-8) - (-1 - 2). Which is smaller: g or 3?
g
Let q = -291/103142 - 103189747/238980014. Let v = 2/331 + q. Which is bigger: -1 or v?
v
Let d = -17 - 3. Let h = d - -22. Let s = 4 + -1. Which is smaller: h or s?
h
Let a be (-3)/4 - (-9)/36. Are a and -1 non-equal?
True
Let x be -10 - (-7 + (2 - -2)). Is -5 <= x?
False
Suppose 0*d = 2*d - 2*c - 2, 3*d + 9 = -3*c. Let j(n) = n**2 - 8*n - 6. Let b be j(8). Let h be b/(-39) + (-22)/(-26). Which is smaller: d or h?
d
Let f be ((-3)/(-28))/(1/(-4)). Let x(k) = -k + 9. Let l be x(10). Are l and f non-equal?
True
Let q(t) = -5*t**2 - t**3 - 3*t + 4 + 0*t - 4*t**3 + 4*t**3. Let r be q(-4). Which is smaller: r or 1?
r
Suppose -3*u = 4*x - 8 - 1, 9 = -5*x + 3*u. Let f(g) = -g**2 - 11*g - 2. Let i be f(-11). Let m be 1/1*0/i. Is x greater than m?
False
Let u = 5 + -9. Let n = -5 - u. Which is smaller: -2/9 or n?
n
Let h(u) = u**3 - 5*u**2 - 8*u + 3. Let x be h(7). Suppose i - x = 4*i. Let m be (6/i)/(3/5). Is m less than -0.4?
True
Let z be ((-14)/3)/(2/18). Let w = 207/5 + z. Let m = 0 + 0. Are w and m non-equal?
True
Let t = 1 - 7. Let a = t + 8. Let h = -2 + a. Is 1 less than or equal to h?
False
Suppose -5*v = -3*u + 26, 3*v - 24 = -2*u + 8*v. Suppose 5*g = u*z - 0*z - 23, z - 3*g = 14. Let i be 25/(-72) - (-2)/9. Do z and i have the same value?
False
Let a = 239/3 - 79. Let y = -3 + 0. Let k = 4 + y. Which is smaller: k or a?
a
Let b(q) = q**3 + 12*q**2 - 14*q - 14. Let d be b(-13). Which is bigger: d or 2?
2
Suppose 0*n = 5*n - 2*l + 210, 0 = -2*n - 3*l - 103. Which is smaller: -45 or n?
-45
Let v be 1/(-2)*1*-42. Suppose 0*i - i = -v. Suppose 3*c - 5*f = -23, c - i + 2 = -5*f. Is -4/5 not equal to c?
True
Let n be (-745)/(-10) - (-3)/2. Let z be n/(-24) + (1 - -2). Is z less than or equal to -1?
False
Let w be 5/(-5) - -16 - 3. Which is greater: 14 or w?
14
Let l(o) = o**2 - 6*o - 3. Let d(u) = -5*u**2 + 25*u + 12. Let k(w) = -2*d(w) - 9*l(w). Let h be k(-2). Let v be 1/(-1) + 25/20. Is h smaller than v?
True
Suppose 4*v + v = -4*g - 17, v - 3*g + 11 = 0. Suppose 32 - 8 = -4*t. Which is greater: t or v?
v
Suppose 5 = -5*i, -5*w - 539 = -i - 0*i. Let t be 10/(-65) - w/26. Which is greater: -1 or t?
t
Let i = -24 - -28. Is i smaller than 6?
True
Let d be (56/(-6) - -2)*(-54)/12. Which is smaller: 32 or d?
32
Let x = -13.957 - 0.043. Which is greater: x or 0.1?
0.1
Suppose 69 = l - 6*l + 4*n, 3*n - 5 = l. Which is bigger: l or -19?
l
Suppose -l - 40 = -4*q, -3*l + 30 = 3*q + 2*l. Let c = 4 - q. Let x = -3 - c. Is 0.1 at most x?
True
Let k(s) = -12*s + 6*s - 11 + 7*s. Let q be k(9). Is -2 smaller than q?
False
Let o = -7 - 9. Let p = o - -16.1. Which is bigger: 0.4 or p?
0.4
Suppose -48 = -4*b - 2*b. Which is greater: 10 or b?
10
Let i be (-24)/(-6) + (-186)/45. Let p = -1.99 + -0.01. Let g = p + 1.9. Is i at least as big as g?
False
Let b(s) = s - 17. Let l be b(13). Let t = l - -2. Which is bigger: t or -12/5?
t
Let z = -175/17 + 1576/153. Which is smaller: 0 or z?
0
Suppose 2*q - 38 = 5*h, -4*h = -2*q - 6*h + 10. Suppose 2*b + q - 1 = 0. Is -5 < b?
True
Let v(k) = -k**2 + k - 2. Let a = 4 + -2. Suppose 3*x - a*x = 0. Let h be v(x). Which is greater: -0.1 or h?
-0.1
Let c(h) = -h**2 + 3*h + 2. Let p(j) = -j**2 + 7*j + 10. Let z be p(9). Let q be z/3*3/(-2). Let g be c(q). Is g at least as big as -2?
True
Let g be (-12)/14 + 2/(-14). Is -2 < g?
True
Let l = -11 - -11. Let v be 2/5*40/(-56). Which is smaller: l or v?
v
Let h(u) = u**2 - u - 46. Let r be h(7). Is -10 >= r?
False
Let w be (-8)/5*10/40. Does w = 2?
False
Suppose -6 = 5*q - 26. Suppose -3 = -q*t + 17. Which is greater: 4 or t?
t
Let w(f) = -f**2 - 5*f - 4. Let b(z) = -z**3 + 11*z**2 - 10*z - 3. Let y be b(10). Let g be w(y). Let m = -1 + g. Are 3 and m equal?
False
Let v = -52 - -34. Let j = v + 11. Let g = 6 - 12. Is g <= j?
False
Let t(u) = u**3 + 5*u**2 - 3. Let o be t(-4). Suppose -5*d - 18 = h, -5*h = -2*d + o - 4. Is d at least -3?
True
Let g = -1.3 - -1.32. Let c = -0.32 + 0.3. Let r = c + g. Which is greater: r or -2/5?
r
Let t(c) = c**2 + 7*c + 7. Let d be t(-6). Let r = d + -7. Is r < -1/4?
True
Let h = 0.218 + -0.118. Which is smaller: -51 or h?
-51
Suppose 52 + 63 = 5*f. Suppose -c - 3*c + 3*w + f = 0, -2*c - 2*w + 8 = 0. Which is smaller: 9/2 or c?
9/2
Let z = -65.8 + 72. Let x = -5.6 + -0.4. Let r = z + x. Is 0.3 < r?
False
Let a = 229 + -223.91. Let r = 0.09 - a. Let j = 5 + r. Which is smaller: j or 4?
j
Let f be 2/(-24) + 2/(-8). Let s = -5.4 - -9. Let v = 4 - s. Which is greater: v or f?
v
Let k = 0.47 + -0.07. Let n = 0.34 - k. Let l = 0.16 + n. Is 2/13 >= l?
True
Let k be (-99)/492 - (2 + 27/(-12)). Which is bigger: k or 0?
k
Let p = 1 - 0.9. Let t = -0.1 - 0. Which is smaller: p or t?
t
Suppose -7 + 1 = 3*f. Let w = -11 - -8. Is f smaller than w?
False
Let n = 1/15 + -13/15. Let a(w) = w - 1. Let q be a(-13). Let p = q + 14. Which is smaller: n or p?
n
Let a = -9 + 9. Let k be (a/(6 + -3))/2. Do 3/8 and k have different values?
True
Let k = 10/31 - -12/155. Suppose -z = 2*d + 2, 8 = -4*d - 4. Which is smaller: z or k?
k
Let q(f) = -2*f + 27. Let r be q(11). Is 29/8 equal to r?
False
Suppose 5*d - 17 = 3. Let r = 3 + -5/2. Is r less than d?
True
Suppose 6*w - 2*w = 4. Suppose -2 = -3*n + w. Let j be (-3)/6 + 1/(-2). Is n not equal to j?
True
Suppose -5*j + 3*f = -15, 5*j - 11 - 14 = f. Let n = j + -5. Is n bigger than 2/5?
True
Suppose 5*v = 5*c, 2*c - 4*v - 1 = -3. Let r be 2/(-15) - c/(-3). Is 0 greater than r?
False
Suppose -4*j + 15 = 11. Which is smaller: -1/10 or j?
-1/10
Let s = 68/297 + -8/99. Is -1 != s?
True
Suppose 0 = -q + 2*y - 7, -3*q - 5*y + 21 = -2*q. Is -7 greater than q?
False
Let q be 1*((-2)/3 + (-101)/(-3)). Is 32 < q?
True
Suppose 12 = 4*k, -3*q + 6*q - 5*k + 9 = 0. Let n = 3 - 2. Do q and n have different values?
True
Suppose -5*q + 48 = z + 3*z, 3*q = -2*z + 26. Suppose 0 = -z*u + 3*u - 24. Which is smaller: u or -3?
u
Let m = -1/6 - -2/3. Let x = -6 - -8. Let c be ((-1)/2)/(x/(-8)). Which is greater: m or c?
c
Let a = 3 - 3. Let v = a + 0.1. Let b = -1 - -1. Is b greater than v?
False
Let h = -11 - -11. Suppose -3*l - 2*l + 680 = 0. Let a = l - 682/5. Which is greater: h or a?
h
Let j = 1.1 - 0.1. Let o = 0 + j. Let y = 5 - 4.8. Is o greater than or equal to y?
True
Suppose 0 = z - 0*z + 7. Let r(l) = -3*l - 9. Let g be r(z). Let c be (2/g)/(9/36). Which is smaller: c or 0?
0
Let g(t) = t**2 + 3*t - 1. Let m be g(-4). Is m smaller than 4?
True
Let z be 32*8/(-86) + 3. Let d = 45/86 - z. Which is bigger: d or -2/11?
d
Let i = -1 - -1. Suppose -3*o = -5*a - i*o + 50, -3*a + 36 = -3*o. Which is smaller: 6 or a?
6
Let k be (-16)/(-40) + (-42)/5. Let i be k/28 + (-180)/(-483). Does -1 = i?
False
Let a = 0.2 + -0.3. Let b(m) = m + 4. Let n be b(-7). Which is smaller: n or a?
n
Let v be (2 - 2) + 5/(-1). Let d be (4/v)/((-2)/5). Let a(z) = -z**3 + 3*z**2 - z - 2. Let f be a(d). Are f and 0 unequal?
False
Let a = 3/221 + 5/884. Which is smaller: 1 or a?
a
Let g(o) = -o**2 + 20*o - 22. Let k be g(20). Which is smaller: k or -24?
-24
Let p = 44 - 30. Let f = 14 - p. Which is smaller: 1 or f?
f
Suppose -5 = -4*d + i, 0 = d - 4*i - 20 - 0. Suppose -2*n = -4*t + 2 + 22, -4*n - 5*t = -17. Let o be (0 - n) + -5 + 3. Do d and o have different values?
False
Let h = 3.968 + 0.032. Which is smaller: 0.11 or h?
0.11
Let q = 2 + -1.5. Which is smaller: q or -0.1?
-0.1
Let i = 31.9 + -5.9. Let p = -16 + i. Do 0 and p have the same value?
False
Let c be 1 - (-3 + 3)/(-1). Suppose 2*s = 3 - 1. Is s greater than or equal to c?
True
Suppose -8*u - 2*g + 14 = -3*u, -2*u - g = -6. Let f = 35 - 15. Let j be (12/(-15))/((-8)/f). Is j smaller than u?
False
Suppose 2*p = -0*p + 2. Let s = 3 - 3. Suppose -4*k = 0, -3*n + s*n - k = 0. Are p and n unequal?
True
Suppose -4*z + 2 + 2 = 0. Let q = -1 + z. Is q at most as big as -1?
False
Let y(h) = -h**3 - 6*h**2 - 4*h + 7. Let v be y(-5). Suppose 4*c = v*c. Let t be ((-3)/33 + 0)*-2. Is c less than t?
True
Let s = 12 + -11. Which is smaller: -5 or s?
-5
Suppose 0*s - s - 4*i + 2 = 0, -s + 2 = 3*i. Suppose