5 + -27. Let p be (j/20)/3*2. Let n = 6 + -6. Which is greater: p or n?
p
Suppose -2*a + 17 + 55 = 0. Which is smaller: 35 or a?
35
Let f = -2 - -1. Let n be 1/((1 + 0)/1). Let l be (f - (-1 - n)) + -1. Does l = -2/7?
False
Let z be -2 + 2 + -1 + -1. Does z = -47?
False
Let z be (-1)/2 - (-2)/4. Let x = -9 - -5. Let g be x/10 - 64/(-110). Is g not equal to z?
True
Let r = -0.02 + -0.98. Is 1/3 at least as big as r?
True
Suppose 2*p = 3*p + 6. Which is smaller: -4 or p?
p
Let o = -1 + 1.4. Let b = -1.6 + 1.8. Let g = b - o. Do 1 and g have different values?
True
Let p(g) be the third derivative of 1/120*g**6 + 0 + 0*g - 1/6*g**3 + 3*g**2 - 1/12*g**4 + 1/60*g**5. Let y be p(-2). Are y and -1 unequal?
False
Suppose -6 = 5*n + 24. Let y(s) = -s**2 - 6*s - 2. Let d be y(n). Are -10/3 and d equal?
False
Let g = 0.05 - -1.95. Let u = -4 + g. Do 2/13 and u have the same value?
False
Let t be (-1)/(-28) - (-2)/8. Let z be 4/(-6) + (-12908)/105. Let d = z - -124. Which is smaller: d or t?
t
Let d = 7 + -14. Let u = d - -6.9. Which is smaller: 2 or u?
u
Suppose 0*n - 5 = -5*n. Let d = 4 - 2. Let f be 0/((-1)/(-1 + d)). Which is bigger: f or n?
n
Let o = 10.2 - 15.1. Let v = -5 - o. Which is bigger: 1/3 or v?
1/3
Let v be 1*1/(7 + -2). Let n = 0.04 + -0.24. Is v greater than n?
True
Suppose 0 = 4*h - 3*h - 14. Let y = h + -17. Are -3 and y equal?
True
Let y be (-4)/14 + (-48)/(-21). Suppose 8 = 2*h + y. Suppose 0 = 3*i - 4 - 2. Which is greater: i or h?
h
Let x = 87 + -86. Which is smaller: x or -3/82?
-3/82
Let j = -0.01 + 0.07. Let v = -0.04 - j. Which is smaller: v or -0.2?
-0.2
Let r = -115.7 + 109. Let x = r + 7. Which is greater: 0 or x?
x
Let l = 5.5 - 0.1. Let d = -5 + l. Is -1 greater than d?
False
Let m(r) = r**3 + 4*r**2 - 6*r - 5. Let n be m(-5). Let o = 0 - n. Let t = -53/2 + 27. Which is smaller: o or t?
o
Let r(q) = -q**3 + 5*q**2 + 8*q - 7. Let t be r(6). Suppose -3*y + 6 = -0. Suppose -y*f + t = -7*f. Which is smaller: f or -3?
-3
Let v = -28 + 7. Let t be 7/v*24/(-10). Let y be 1 + -1 - (2 + -2). Which is smaller: t or y?
y
Let g be (0 + (-16)/20)*2/(-4). Which is bigger: g or -0.6?
g
Suppose 3*q - 21 = 2*t + t, -2*t = q + 14. Let r(o) = -o**2 - 7*o + 2. Let x be r(t). Suppose 2*u - 7 = -3*m, -x*u - 4*m = u - 10. Which is smaller: u or 1?
1
Let v be ((-2)/4)/((-1)/48). Let j be (-6)/15 - v/(-10). Let q = 52/69 + -2/23. Which is greater: j or q?
j
Let g = 1.9 + 9.1. Let d = -11.2 + g. Is -3 less than d?
True
Let a(n) be the third derivative of n**5/60 + 13*n**4/24 - n**3/6 + 5*n**2. Let m be a(-13). Is -2/15 at least m?
True
Let b = -219 + 155. Does b = -65?
False
Let s be 14/18 - 2/2. Suppose k = -0*b - 2*b - 24, 0 = -b + 3*k - 26. Let y = b + 13. Which is smaller: s or y?
y
Suppose 2*m + 4 + 0 = 0. Let q = 4 - 4.2. Let a = -0.4 - q. Is m at least as big as a?
False
Let x(b) = b**2 + 3*b - 5. Let c be x(-4). Which is bigger: -1/14 or c?
-1/14
Let a be (-3)/(-2) + 3/2. Suppose 2*t + 7 = -3*m - a*t, -9 = m - 5*t. Let r be -1 - -1 - 1 - 2. Is r less than or equal to m?
False
Suppose 20 = -5*t, a - 5*a - 12 = 3*t. Suppose 4*c + h = -h + 14, -4*c - h + 11 = a. Let r be -2*1 + 0 + c. Which is bigger: 1 or r?
1
Suppose 12 = 2*f + 4*h, -3*h = 4*f + 2*h - 15. Is -1/8 less than f?
True
Let t be (2 + -2)/(8/(-8)). Is t >= 3/4?
False
Let w = 27 - 25. Is 0.06 less than or equal to w?
True
Let h = -5 + 3. Let k be 22/24 + (-30)/45. Which is bigger: h or k?
k
Suppose 2*m + 47 = -w, -5*m - w - 123 = -4*w. Do m and -24 have the same value?
True
Let o(m) = m**3 - 5*m**2 - 7*m + 5. Let a be o(5). Let j be 18/a + 4/10. Is -8 >= j?
False
Suppose 4 = -3*c + 2*c. Let b = c + 1. Are -1 and b unequal?
True
Suppose 0 = -5*v + 5*a, -v + 8 = -3*a - 2*a. Let l be (-1)/v + 1/(-2). Let h be (4 - 2)/(-1 + -9). Is h > l?
False
Let u be ((-1)/(-26))/(1/(-22)). Let l = -19/39 + u. Let k = 6 + -6. Is k greater than l?
True
Let u = -36 + 53. Suppose 3*p + 2*q - 17 = -0*p, u = 4*p - 3*q. Is 6 greater than p?
True
Let x(c) = c**2 + 9*c + 3. Let i be x(-9). Let n = -26 - -30. Which is bigger: i or n?
n
Let c = 30 - 30.1. Which is bigger: c or 5?
5
Suppose -4*l + 18 + 6 = 0. Suppose 3*a = -4*g + 8*a - 21, 0 = 2*g + 2*a + l. Let r be 10/(-8) - (3 + g). Is r at most as big as 3?
True
Suppose 4*c + g = 1 - 7, -2*g = -2*c - 8. Let r be 170/(-45) + c/9. Let j(t) = t**3 - 4*t**2 + t + 2. Let w be j(3). Is w equal to r?
True
Suppose -3*z - 21 = -3*q, -q + 5*q = -4*z + 4. Suppose 0*b = -2*b + q. Does 2 = b?
True
Let l = 0 - -1.7. Let j = l - 3.7. Which is smaller: -3 or j?
-3
Let z(w) = w - 1. Let d be z(4). Suppose -2*g - 2 = -2*u - 4, 5*g + 11 = -d*u. Suppose 3*h = -5 + 2, -1 = 4*l + h. Which is smaller: u or l?
u
Suppose 0 = 8*i - 3*i + 25. Let k be (0 + -1)/(1/6). Which is greater: k or i?
i
Let u(h) be the third derivative of -h**4/24 - 7*h**3/6 + h**2. Let p be u(-6). Let a = -5/11 - -9/44. Is a >= p?
True
Let h = 3 - 2.9. Let t(w) = 15*w + 36. Let x be t(-2). Which is bigger: x or h?
x
Let o(z) = -z**3 - 6*z**2 - 7*z - 4. Let d be o(-5). Is d bigger than 5?
True
Suppose -2*x - 20 = 2*p, 3*x + 2 - 4 = 5*p. Let k = x - -1. Suppose 6*m - 2*m = 0. Are k and m equal?
False
Let h be 29/1 + -2 + 1. Suppose 4*d - 64 = -3*r, -r = 2*d - 5*d - 30. Let i be (-8)/h - r/14. Which is greater: 1 or i?
1
Suppose -4*y + 2*y = -14. Let l = y + -8. Let p be (-1)/((2/(-2))/l). Which is bigger: -2 or p?
p
Let w(j) = 13*j + 1. Let c be w(-1). Let l = c + 8. Let k be -1*(l/(-2) + 0). Is -2 at least k?
True
Let i = 0.14 + 0.76. Which is smaller: i or 1/3?
1/3
Let n = 0.6 + 0.4. Let d = 0 - n. Is d >= 2/7?
False
Let z be ((-1)/(-2))/(15/10). Let t be (-112)/105 + (-4)/(-6). Which is greater: z or t?
z
Let z = 0.1 - -0.2. Let x = -0.7 - z. Which is greater: x or -2/7?
-2/7
Suppose -6*u + 20 - 2 = 0. Suppose -s + u = 2*s. Let g be ((-18)/(-105))/(6/20). Which is greater: g or s?
s
Suppose c = 4*y + 45, -6*y + 2*y = 2*c + 42. Which is smaller: -12 or y?
-12
Let i = 2 + 6. Let v be 2/i*(-28)/(-42). Is 0 less than v?
True
Let d = -61 - -63.2. Which is bigger: -1 or d?
d
Suppose 0 = -z - 0*z + 7. Suppose 10*j - 32 = 6*j. Is j at least z?
True
Let k = -0.322 + 0.122. Are k and -22 non-equal?
True
Suppose j - 3 = 2. Suppose 3*y - 3*n = 18, -26 = -y - 4*y + n. Suppose -2*d - d = -s + j, y*s = -d + 25. Are d and 1/2 equal?
False
Let z be 3/(-2)*1*-2. Suppose 0 = 3*m - z, -2*s - 3*m + 3 = -s. Let d be (-1 - (-10)/12)*-4. Is s < d?
True
Let z = 1.04 - 3.04. Which is bigger: -0.38 or z?
-0.38
Let o(t) = t**3 + 5*t**2 - t - 5. Let h be o(-5). Let n(v) = v**3 - 7*v**2 + 4*v + 11. Let y be n(6). Is y greater than or equal to h?
False
Let q = 0.93 + 0.17. Let v(f) = -f - 4. Let x be v(-4). Which is bigger: q or x?
q
Let o be (-6)/(-10) + (-111)/(-15). Let p = -2 - -10. Is o greater than p?
False
Let d(v) = -v**2 + 8*v. Let l be d(9). Are -8 and l unequal?
True
Let s be 2*3/(-2 - 1). Suppose 5*z - 3 = -8. Which is greater: z or s?
z
Let c = -0.07 - 1.73. Let o = 0.8 + c. Which is bigger: -0.2 or o?
-0.2
Let z = 3 + -2. Let u = -2/385 - -156/385. Which is smaller: z or u?
u
Let v(j) = -j**3 - 3*j**2 - 3*j. Let a be v(-2). Suppose a + 1 = -3*d. Is d <= 1/17?
True
Suppose 4 = r + 2. Let u(n) = -n**3 + 3*n**2 - n - 2. Let z be u(r). Let s be 376/1551*(-3)/(-4). Is s at most z?
False
Let k = 3.1 - 3. Which is smaller: -3 or k?
-3
Suppose 4*c - 2*y = -3*y + 6, 10 = 4*c - y. Suppose c = x - 5. Let m(n) = n**2 - 7*n - 1. Let f be m(x). Which is bigger: f or -2/25?
-2/25
Let w = -73/217 + 6/31. Let j(u) be the first derivative of u**2/2 + 9*u + 1. Let i be j(-10). Which is bigger: w or i?
w
Let k(m) = -7 - m**2 + 0*m - 3*m - 4*m. Let j be k(-6). Is -2 at most j?
True
Suppose -2*b + 4*b = 0. Do b and 0.9 have the same value?
False
Let a = 0.86 - -0.24. Is a greater than or equal to -1?
True
Let v = -20 - -20.1. Which is smaller: 13 or v?
v
Let n = 107/303 + -2/101. Let r = 8.98 - 9. Let v = 3.02 + r. Is n less than v?
True
Let s = -155 + 156. Suppose 5*d - 3 = 4*d. Which is smaller: s or d?
s
Let p = -12 - -9. Is -2 at least p?
True
Let b(q) = 2*q**3 - q + 9. Let k be b(0). Which is bigger: -3 or k?
k
Let h = -143/35 + 23/7. Let y(p) = -2*p. Let f be y(1). Is h > f?
True
Let t = 185 - 212. Is -103/4 less than t?
False
Let u = 