e?
False
Let j = 83/483 - 2/69. Suppose -3*t + 11 - 2 = 0. Suppose -v + 4 = t. Is j equal to v?
False
Let y = 1031/1869 + 6/89. Let u be (-18)/14 + (-1 - -2). Let o = y + u. Is o less than or equal to 0.1?
False
Let p be ((-804)/(-92))/(-3) + 3. Is -1 < p?
True
Let j be (-4)/(-6) + ((-28)/12 - -2). Which is smaller: j or -0.18?
-0.18
Let a = 1447/9 - 161. Let h = 311/210 - -2/105. Is h greater than a?
True
Let c = -28 - -53. Let j = c - 15. Suppose j*t = 5*t. Which is bigger: 3/5 or t?
3/5
Let i(t) = 6*t**2 - 1. Let x be i(-1). Let d(m) = 7 + 7 - x + 7*m + m**2. Let n be d(-6). Which is bigger: 2 or n?
n
Let q be ((-51)/30 + 2)*4/3. Let j = 10 - 8.2. Let m = j + -2. Which is greater: q or m?
q
Let f(u) = -u**3 + u**2 - u + 1. Let i be f(0). Suppose -14 = -2*w + 18. Let m = w + -17. Is i greater than m?
True
Let g be ((-2)/9)/((-48)/(-36)). Let a = -5 + 5.1. Which is smaller: g or a?
g
Suppose 0 = c + c + 2. Which is greater: c or -2?
c
Let j = 83 - 82. Which is bigger: 17/8 or j?
17/8
Let z = 1.78 + 0.52. Let j = z - 1.3. Are j and 3 equal?
False
Suppose 0*x - 6 = -2*x. Suppose 3*k = t - 20, -4*t = -2*k + 6*k - 32. Suppose -x*l = -4*u + t, l = 4*u - 0*l - 1. Which is bigger: -3 or u?
u
Suppose 16 = m + 2*x, 5*m - 2*x + 4 - 24 = 0. Let r be 2/(-3) - (-4)/m. Let p be (r + (-3)/12)*3. Which is smaller: -2 or p?
-2
Let g = 95 + -95. Which is greater: -1/11 or g?
g
Suppose 0*m - 2*v - 122 = -3*m, -2*v + 158 = 4*m. Which is greater: 39 or m?
m
Let a(w) be the first derivative of -w**3/3 - 5*w**2/2 - 4*w + 1. Let p be a(-3). Suppose -3 = 2*d + 3*s, 0*s - p = 2*s. Which is smaller: 2/3 or d?
d
Let y = -107/5 - -1481/65. Which is bigger: 0 or y?
y
Let d = -0.16 - -1.06. Let z = d + 0.1. Is -2/11 > z?
False
Let o(y) = 3*y + 12. Let q be o(-5). Suppose 2 + 0 = k. Let r be 1/k*(-6)/2. Is r < q?
False
Suppose 2 = -4*x + 2*x. Is x bigger than 0?
False
Let a = 0 - 1. Let z = -10 - a. Let q = 26/3 + z. Do -1 and q have the same value?
False
Let g = -15/34 - -3617/68. Let k = 3157/60 - g. Which is smaller: -1 or k?
-1
Let l = 8.7 + -10. Let b = 2.5 - l. Let n = b - 4. Which is bigger: 1/3 or n?
1/3
Suppose 2*z + z - 9 = 0, 4*d + 2*z - 10 = 0. Which is smaller: d or 3/7?
3/7
Suppose 0 = -5*z + 20 - 90. Let q be ((-1)/7)/(8/z). Is q greater than 2?
False
Let n = -3 + 4. Let q = 0 - n. Which is greater: q or 1?
1
Let s(k) = -k - 1. Let d be s(-5). Suppose -3*h = -26 + 14. Is h > d?
False
Suppose -8*i + 3*i = 5. Let k be 46/(-12) - (-10)/(-60). Let r be k - -2 - (i + 0). Is r <= -1?
True
Let y(u) = u**3 - 2*u**2 + u. Let x be y(1). Let i be -2*2*6/648*-2. Is i at least x?
True
Let u = 1 - -8. Is 5 <= u?
True
Let n(t) = t**3 + 11*t**2 + 12*t + 9. Let g be n(-10). Let b = 11 + g. Which is greater: b or -2/11?
b
Let b(h) = h + 10. Let t be b(-5). Suppose 5*z - t*o = -50, 4*o = z - 0*z + 13. Is 0.1 >= z?
True
Let i be 0/(16/(-4) + 5). Which is smaller: -2/27 or i?
-2/27
Suppose -2*c = -8, 3*x + 4*c = x + 14. Which is smaller: x or -3?
-3
Let k = -1.044 + 0.044. Which is greater: k or 0.033?
0.033
Let x be 247/(-221) + (0 - 0) + 1. Is -11 equal to x?
False
Let p be -6*-2*(-1)/(-4). Let m(b) = b**3 - 2*b**2 - 5*b + 3. Let l be m(p). Are -1 and l unequal?
True
Suppose 8 = 4*g + 28. Which is bigger: -3 or g?
-3
Let a(v) = v**2 - 5*v - 7. Let q be a(6). Let l be q/((-2)/4*-1). Which is smaller: 0.2 or l?
l
Let n be -1*(23 + -3)/2. Let q be 1*15/(-6)*(5 - 1). Is q less than n?
False
Suppose 0*k + 19 = k + 2*s, 2*s = k + 1. Suppose -2*c - 3 = -c + u, -3*u - k = 0. Is -1/13 at most c?
True
Let o = -5 - -5.2. Is 0.8 at most o?
False
Suppose 3*n + 2 = -5*s, -3 = -4*n + 1. Is 8/11 at most as big as s?
False
Suppose -8 = -17*a + 15*a. Suppose 3*n + 15 = -2*d, n - a*d = 3*n + 10. Which is smaller: -4 or n?
n
Let c be 4*(-7 + 4 + (-44)/(-16)). Is -2/49 less than c?
False
Let z = -2 + 3. Suppose -3*i - z = 2*i + 3*b, 3*b + 3 = -3*i. Let a = -16 - -10. Is i <= a?
False
Suppose 0 = 5*a - 20*a + 60. Are 5 and a equal?
False
Suppose 0 = 3*i + 2*i + 5. Which is smaller: 1/11 or i?
i
Let x = 101 + -196. Is x < -96?
False
Let n(c) = -c**2 - 9*c + 13. Let d be n(-11). Which is bigger: d or -10?
d
Let m be (-2 + 9/6)*0. Which is smaller: m or -2/13?
-2/13
Let k be 7 - (-2)/(-1 - -3). Let a be (-2)/8 + (-6)/k. Let g = -31/2 + 153/10. Which is greater: a or g?
g
Let v = -13.7 - -13.9. Suppose 0 = 2*w + 2 - 0, 4*r = -3*w - 19. Let q be (-16)/(-28)*3/r. Is v >= q?
True
Suppose 5 = f - 4*o + 3, -5*f + 4*o = -10. Let l be (f/(-5))/((-2)/10). Let u(w) = -w**3 - 7*w**2 + 1. Let s be u(-7). Which is greater: l or s?
l
Let q = -23 - -13. Let g = q + 5. Let v = g - -3. Does 0 = v?
False
Let k(y) = 2*y**2 - 3*y + 1. Let x be k(3). Let w be (4/6)/(x/6). Let u = -1/15 + w. Is u > 2/5?
False
Suppose -14 = -3*b + b. Suppose 0 = b*v - 5*v - 26. Which is smaller: 12 or v?
12
Let i be (-4)/(-5)*50/36. Is 1 less than i?
True
Suppose 3*z - 6 = -3*x, 5*z - 2 = -0*x - x. Are -1/5 and z equal?
False
Let m = -5 - -5. Which is smaller: m or -2?
-2
Let v(p) = -p**2 + 5*p + 6. Let m be v(6). Let x = 3 + m. Suppose x*n = n - 4. Is n >= -1?
False
Let s be -2 - (33/3 - 2). Let l = s - -5. Let o = l + 2. Is o > -4?
False
Let o = -0.3 + 0.25. Let m = 0.23 + -0.13. Which is smaller: m or o?
o
Let v = 60 - 59. Which is smaller: v or 2/15?
2/15
Suppose 10*f = 212 + 148. Suppose -j = 3*j + 4. Let l be ((-4)/f)/(j/(-2)). Which is greater: 1/4 or l?
1/4
Suppose 0 = 3*z - 2*d, -z = 3*z - 5*d. Suppose 4*c + 0*t = 2*t, 6 = 2*c - 4*t. Let g be c/4 - (-60)/(-144). Which is smaller: z or g?
g
Let a be 2 - (-6 + (-1 - -1)). Let l(d) = d - 5. Let w be l(a). Let f be 17/4 - 2/8. Which is bigger: w or f?
f
Let c be 3 - 62/6 - -3. Which is bigger: c or -3?
-3
Let u be 0 + 3 + -2 + 0. Suppose 2*h + 4*b = 20, -b - 12 = -5*h + 5. Let x = h - 2. Is x bigger than u?
True
Let k be (2*-1)/(-1*2). Let u be 285/3*(-1)/(-5). Let a be u/44 + (-20)/80. Which is smaller: k or a?
a
Let a = 6 + -8. Suppose -3*j = 2*j. Which is smaller: a or j?
a
Let j be ((4 - 1) + 6)/1. Are j and 8 nonequal?
True
Let z = -13.2 + 6. Let h = z - -7. Let i = 1.1 - 1. Is h at most i?
True
Suppose 3*z = 2*y - 48, 45 = -2*z - y + 6. Which is bigger: -17 or z?
-17
Let a = 6 - 1. Let o be 7/((-63)/(-12))*3. Are o and a unequal?
True
Suppose n - 63 = -5*h - n, -5*n + 20 = 0. Which is smaller: -0.2 or h?
-0.2
Suppose -2*y - 5*b = 44, y = -2*y + 4*b - 20. Let o be (-6 + 7)/((-2)/y). Let i be (-2 + 1)*(3 - 8). Which is greater: o or i?
o
Let q = 1.99 + 0.01. Let a = -4 + q. Is a at most 2?
True
Suppose -5*s = -s + 24. Is s less than or equal to -5?
True
Let z(t) = 2*t**3 - 4*t**2 + 2*t + 2. Let b be z(2). Let v be (-2)/(0 + b/9). Let l be ((-4)/6)/(7/v). Which is smaller: l or 3?
l
Let j = 136/5 - 463/15. Which is greater: -3 or j?
-3
Let j = 42 + -43. Which is greater: -3 or j?
j
Let b = 99.71 + -99. Let k = 0.21 - b. Let p = 0.1 + -0.2. Which is bigger: k or p?
p
Let h = 50.1 + -50. Is -1/4 at least as big as h?
False
Let q = -30 - -20. Let g(z) = z**3 + 10*z**2 + z + 13. Let w be g(q). Is w < 3?
False
Let u(v) = -1 + v + 5 + 0*v. Let r be u(-6). Is -2 greater than r?
False
Let k = 12 - 29. Let c = k - -17.1. Let h be 2/8 - 3/(-20). Do h and c have the same value?
False
Let d be (9 - 6)*2/(-6). Let w be 4/(-16) + 2/40. Is d at least w?
False
Let x = -80 + 29. Let m be (1/4)/(x/(-4988)). Let b = m + -73/3. Which is greater: b or 1?
1
Let p = -49 + 71. Is 22 greater than p?
False
Let o = -23 + 32. Let n = o - 8.7. Is -3 less than or equal to n?
True
Let f be (-22)/(-36)*-5 + 3. Which is greater: 1 or f?
1
Let t be (0 - -1 - 3)/26. Let s = 11/26 - t. Which is smaller: s or -2?
-2
Let d = 21 + -25. Which is smaller: d or -6?
-6
Suppose 2*d + 4 = -4*u, -3*u + u - 2 = 0. Let h = 46 + -229/5. Which is smaller: h or d?
d
Suppose 0*v - 12 = -4*v. Let h be (4/48)/(v/(-6)). Is h not equal to 1?
True
Let j(m) = m**2 - 5*m - 3. Let s be j(6). Suppose 11 - 7 = 2*a. Is a less than s?
True
Let n = -131 + 120. Which is greater: n or -9?
-9
Suppose 1 = -3*v - 2. Which is smaller: -1/33 or v?
v
Let d be 1/(-3 + -2 + 4). Which is smaller: d or -3/13?
d
Suppose 0 = j + 8 - 9. Which is greater: 2/11 or j?
j
Suppose 0 = -m - m - 2*j - 6, 0 = -2*m + j + 3. Which is smaller: m or 4/23?
m
Let h = 0.08