0.034 + 0.034. Let a be (-4)/6 + 1/(-3). Let q be a + ((-28)/10)/(-2). Which is bigger: q or g?
q
Let l be (-8)/20 + (-484)/(-10). Do 48 and l have the same value?
True
Let t = -194 + 795/4. Which is smaller: 6 or t?
t
Let j be 1/((2/(-6))/(11/33)). Which is bigger: 2/147 or j?
2/147
Let z(x) = 9*x**2 - x + 10. Let s(g) = 5*g**2 + 5. Let u(n) = -11*s(n) + 6*z(n). Let w be u(-6). Is w not equal to 5?
False
Let w be (2 + 177/(-6))*2. Are w and -55 unequal?
False
Let k be (1 + (-10)/4)/((-2)/(-28)). Which is greater: k or -20?
-20
Let k = 22 + -16. Suppose -v - k = 2*l, -2*v - 3 - 2 = -3*l. Is -3/19 at most as big as l?
False
Let s be (-3)/(-318)*(-409)/5. Let q = -3/106 + s. Let b be 2/(-5) + (-6)/(-15). Which is smaller: q or b?
q
Let t(g) = 7*g + 20. Let s be t(-3). Is s greater than -7/25?
False
Let j = -20 + 57. Suppose j - 12 = 5*h. Which is smaller: h or -1/2?
-1/2
Suppose 19 = -4*z - 4*s - 65, 0 = -4*z + 3*s - 91. Is z greater than or equal to -22?
True
Suppose 0 = -9*c + 31 + 212. Which is bigger: 30 or c?
30
Let v = -4 - -3. Let r = v + 0. Let o = -2 - -2.3. Is o smaller than r?
False
Let z = 0.2 + 0.8. Let u(x) = 14*x + 109. Let q be u(-8). Is q greater than z?
False
Suppose -5*h + 18 + 32 = 0. Is h bigger than 9?
True
Let b(k) = -k. Let t be b(-3). Suppose 2*s - t = 4*a + 1, -a = 2*s + 1. Let i be (s/5)/(1 + -3). Is i <= -2/13?
False
Let f = -8 - -3. Let t be (-1)/f*(3 + -5). Let g(p) = -p**3 + 3*p**2 + p - 4. Let b be g(3). Is t less than b?
False
Let i be (-4)/(-6) - 10/(-3). Suppose 5*p = 18 - 3. Let w = p + 0. Which is greater: i or w?
i
Let z(f) = -f**3 - 13*f**2 - f - 9. Let l be z(-13). Do 2 and l have different values?
True
Let g(i) = -3*i**3 - 2*i**2 + 1. Let b be g(-1). Let a be b - 3 - (-15)/6. Which is greater: a or 1?
a
Suppose -3*m - 3*v + 11 = v, 3*m - 7 = -2*v. Suppose -2*s - 4*d - d = 445, 5*s = d - 1180. Let a = -2113/9 - s. Which is smaller: m or a?
a
Let y(k) = k**2 + 7*k - 8. Let z be y(-8). Is z at most 1/4?
True
Let f(z) = z**3 + 6*z**2 + 6*z + 7. Let v be f(-5). Let x = -199 - -1001/5. Which is smaller: v or x?
x
Let l = 69 - 81. Which is smaller: -0.1 or l?
l
Let g = 11429/76 - 599/4. Do g and 1 have different values?
True
Suppose -2*w = -7*w + 10. Let l(a) = -a**2 + 2*a - 2. Let f be l(w). Which is greater: -1/4 or f?
-1/4
Suppose -3*a - 3 = -2*o - 0*a, -4*a = 2*o - 24. Which is greater: o or 7?
7
Suppose 0 = 2*z - 2*k - 2*k + 20, -4*z = -5*k + 25. Let i be (0 - 1)/((-5)/4). Which is smaller: z or i?
z
Suppose -2*o + 11 = d + 29, -2*o = -5*d - 102. Is -20 at most as big as d?
True
Suppose 3*d - 10 = 5*s, -d + 2*s = 4*d - 4. Suppose -5 = -5*x - d. Which is greater: x or 0?
x
Let n = -5.94 + -0.06. Let v = 9 - 5. Let y = v + -3. Which is bigger: y or n?
y
Suppose -29 = -5*v + 3*o + 11, 4*o + 15 = -v. Is v bigger than 6?
False
Suppose 4*f = f. Is 1/3 smaller than f?
False
Let p be (648/(-105))/3 + 11 + -9. Is p greater than or equal to -1?
True
Let l = 0.02 - -0.98. Let k = 0 + l. Are k and -3/5 nonequal?
True
Let r = -24 + 24. Let x be 1 - (r + (-6)/(-3)). Is -2/27 >= x?
True
Let q = -18 - 4. Is -23 < q?
True
Let d(b) = -b**2 + 8*b - 9. Let x be d(6). Let z be 12/((-2)/((-8)/x)). Suppose 4*i - 2*a = 5*i + z, -i - 3*a - 21 = 0. Is -7 > i?
False
Let d = 0 + 4. Let o = -2.5 + 6.6. Let t = o - d. Is t bigger than -2?
True
Let k(i) = 4*i - i - i. Let x be k(1). Suppose 4*b - 3 = -5*g + 6*b, -9 = -4*g - 5*b. Is g != x?
True
Let f = -18 - -13. Let d be ((-30)/(-9))/(22/(-33)). Do f and d have different values?
False
Let p = -3.4 + 0.4. Let i = p + 2.8. Let b = -39/70 - -2/35. Which is smaller: i or b?
b
Let s = 0.17 - 0.19. Which is smaller: 2 or s?
s
Let v be 4*(2 - (-6)/(-4)). Suppose 5*p + 17 = 6*l - v*l, -3*l - 2*p = -7. Let y be 4 + -2 + 0 + -1. Is y at least l?
False
Let b = 7 - 3. Let z = -4 + b. Are z and -5/2 unequal?
True
Suppose -4*o - 4 = 5*s, 3*o + 3 = -3*s - 2*s. Let a = -42 - -253/6. Which is bigger: a or s?
a
Let y = 45 + -31. Which is greater: y or 15?
15
Let i = 4 + -3.8. Let w = -3.2 + i. Let u = -2.9 - w. Which is bigger: 2/7 or u?
2/7
Let o be (-49)/(-14)*1*-2. Which is greater: -5 or o?
-5
Suppose 0 = -2*g + 7*g - 3*r + 44, g - r = -10. Which is bigger: g or -9?
g
Let a(t) = -2*t - 19. Let o be a(-5). Is o not equal to -9?
False
Let g be (-6)/(2/298*10). Let c = g + 89. Let z = 0.3 + -0.1. Which is bigger: z or c?
z
Let i = -49/16 + 3. Let a be 1*2/(-2) - -2. Is a at most i?
False
Let l = -313/5 - -62. Let q be 0 - 0 - -3 - 3. Let x be (4/4)/(q - 1). Is x greater than or equal to l?
False
Let v = 0.13 + 0.17. Let m = -31 - -95/3. Which is smaller: v or m?
v
Suppose -v - 30 = 2*v. Which is greater: -9 or v?
-9
Let p = 163 - 162.6. Suppose -4*o + 8 = -0*o. Which is bigger: o or p?
o
Let b = 3 - 5. Let y = -6 - b. Let c be y/(-10) - 24/85. Is 1 at most c?
False
Let a be 32/80 - (-88)/(-170). Which is smaller: 0 or a?
a
Let n be (24/15)/((-4)/(-10)). Let s = 4 - n. Let r = 1 - 1. Is s smaller than r?
False
Let g(c) = c**3 - 5*c**2 + 5*c - 4. Let r be g(4). Which is smaller: 3/10 or r?
r
Let l be (3/(-45))/((-4)/6). Let h(o) = o**2 - 4*o + 4. Let q be h(3). Let y be 2 - q - 0/3. Is l greater than y?
False
Let x(d) = d**3 - 5*d**2 + 4*d - 4. Let a be x(4). Let f be -5*(4 + ((-238)/10)/7). Is f greater than a?
True
Let y = -3.1 + 3. Let z = -26.14 + 26. Let s = 0.86 - z. Is y greater than or equal to s?
False
Let b be (-18)/(-15)*15/2. Suppose -5*s - 15 = 0, -6*l + 3*s + b = -l. Is 4/9 at least l?
True
Let h = 6 - 4. Suppose 2*v + f + 2*f = -6, -4*v + f = -h. Which is smaller: 0.2 or v?
v
Let r be -2 + (-5)/(25/(-14)). Let f = r + -2/5. Which is smaller: f or -2/11?
-2/11
Let h = 0 + -1. Which is greater: 9/7 or h?
9/7
Let z be -1 - (-4)/8*-12. Let i = 10 + z. Suppose x - 2*n = 8, -4*x = -5*n - 16 - 7. Is x less than or equal to i?
True
Let c = -1 + 1. Let t(p) = p**2 - p - 1. Let a be t(0). Let b be (-15)/(-10) - (-2)/a. Which is bigger: c or b?
c
Let i = -19 + 20. Which is bigger: 1/21 or i?
i
Let s = 48762 - 389495/8. Let x = s - 75. Which is bigger: x or 0?
x
Let s = -1 + 0.9. Let n = 50 - 42. Which is smaller: s or n?
s
Let g be 60/45 - (-10)/(-6). Which is greater: 6 or g?
6
Let b(f) = -f**2 + 3*f + 1. Let a be b(3). Suppose -7 = -3*k - a. Suppose -g = k + 1. Which is bigger: -2 or g?
-2
Let b(z) = z - z + 4*z + z**2 - 3*z. Let f(t) = 4*t**2 + 2*t + 1. Let w(u) = 3*b(u) - f(u). Let x be w(0). Is x less than or equal to -6/5?
False
Let x be (-12)/42 - (-102)/14. Let i be -1*(-6)/9*9. Which is smaller: x or i?
i
Let y = 7 + -5. Suppose -4*q - h - 7 = -0, -14 = 5*q - 4*h. Let o be (-7)/q + 15/(-10). Is y smaller than o?
False
Let s = -10 - 1. Let g(u) = 2*u**2 + 12*u - 2. Let k be g(-5). Which is smaller: k or s?
k
Let n = 106 - 107. Is -1/19 >= n?
True
Let b be 4796/(-6)*2/(-4). Let t = 396 - b. Is -4 at most as big as t?
True
Let u(a) be the third derivative of -2*a**5/15 - 3*a**2. Let y be u(-1). Let b be (4/y)/((-1)/(-12)). Is b greater than -2/9?
False
Suppose 3 = 3*t, -1 = -3*g + 2*t + 3. Let m = 6 - 3. Is g greater than m?
False
Suppose -4 = n - 3*n. Suppose 2*q + 18 = -26. Let g be (q/8 - -3)/1. Which is bigger: g or n?
n
Let f(o) = 4 + o - 5 - 1 + 7. Let c be f(-9). Suppose -3*m = -0*m + 12. Are c and m equal?
True
Let g = -0.3 + 0.26. Let x be 0 + -4 + 0 + 3. Which is smaller: x or g?
x
Let z = -4/25 - 6/25. Are z and -27 nonequal?
True
Suppose -4*a = -3*c - 4 + 9, -10 = -a - 3*c. Is -3/10 greater than a?
False
Let z be (-2 - 0) + 5 + 65/(-21). Which is smaller: z or -1?
-1
Let q = 97/12 + -25/3. Let w be -1 + 16 + (4 - 0). Let y = w + -19. Which is smaller: y or q?
q
Let l = -2449/19 + 129. Which is greater: 0 or l?
l
Let j(n) = -n**3 - 6*n**2 - 4*n + 4. Let r be j(-5). Which is smaller: -0.3 or r?
r
Let j = -0.06 - 5.94. Let i = 4 + j. Is -1 at least i?
True
Let w be 9/174*8/(-3). Is 0 at least w?
True
Suppose 0*i = -i. Suppose n + 1 = -i. Which is greater: n or 2/11?
2/11
Suppose g - 5*g - 2*f = 0, 5*g - 4*f = 26. Let w be 6*(g + (-3)/2). Let u(a) = -a + 5. Let z be u(w). Do z and 0 have the same value?
False
Suppose -5*w + 3*d = -40, 0*w + 5*d = -2*w - 15. Let t be (-119)/(-21) + 4/(-6). Is w equal to t?
True
Let j = 19.73 - 20. Which is smaller: 2/9 or j?
j
Suppose 0*n = -4*n + n.