rue
Let k = 744/5 - 148. Are k and 2 unequal?
True
Let y be ((-5)/45)/(2/4). Let h be 2/(-6) - (-24)/(-9). Let j = -3 - h. Is j at most as big as y?
False
Let r = -74 + 142. Which is smaller: r or -1?
-1
Let t = -28 + 111/4. Let a = 2 + -1. Do a and t have the same value?
False
Suppose 2*l + 6 + 0 = 0. Let m(p) = 0*p - p**3 + 6 + 4*p**2 + 0*p - 2*p. Let i be m(4). Which is bigger: i or l?
i
Suppose 2*m - 8 = 4*m. Let a be m*3/8*-2. Let j be (-4 + 5)/((-2)/(-2)). Is a bigger than j?
True
Suppose 0*n - 4 = -n. Suppose n*i = i - 3. Let k be (2*-1 - -1)*0. Is i <= k?
True
Let r(m) = -4*m - 4. Let i be r(3). Let h be ((-6)/i + 0)/9. Let w = 43/120 + h. Is -2/7 equal to w?
False
Let r(t) = t**2 + 6*t. Let n be r(-6). Let h(p) be the first derivative of -p**3/3 + p**2/2 - p - 1. Let j be h(n). Is j > -2?
True
Suppose 4*o = 3*k + 15, 5*k - 4*k - 4*o + 13 = 0. Let m be 3*(k + 0) + 1. Is 2/3 not equal to m?
True
Let f = 38498 + -1616731/42. Let c = 9/2 - f. Are 0 and c nonequal?
True
Let b = 1 + -0.9. Let o = b - 0. Let d = o - 0.3. Which is smaller: d or 0.1?
d
Suppose 0 = -6*r + r - 225. Does -45 = r?
True
Suppose 5 = -2*v - 3*v. Suppose 4*p - 5 = -p. Let u be 4 - 1*(p + 2). Is u at most as big as v?
False
Let f(x) = x**2 + 4*x - 1. Let o be f(-4). Suppose 0*j = -j - 42. Let u be (-3)/6 - 33/j. Which is bigger: o or u?
u
Let o = 89/8 + -695/56. Which is smaller: -2 or o?
-2
Let r = 10 + -7. Let c be r - 5 - (-32)/2. Which is smaller: c or 15?
c
Let b be 1*(-2 - 1*-3). Let g be ((-8)/45)/((-10)/(-25)). Which is smaller: g or b?
g
Suppose -p = -2*p - 8. Which is smaller: -9 or p?
-9
Suppose 0 = -k - 0*k - 3*m + 4, -5*k - 2*m = -7. Let i = -0.1 + 0.2. Is i at most as big as k?
True
Suppose n = b + 5, 0 = 2*b - 4*b - n - 1. Let z = b - -4. Suppose z*j = -3*j. Which is smaller: 4/9 or j?
j
Let h be ((-57)/(-12))/(69/(-24) + 3). Is 38 < h?
False
Suppose -3*g = 2*q - 32, -2*q - 2 = g - 18. Suppose 0*o - g = 5*p - 3*o, -7 = 5*p - 2*o. Which is bigger: p or -5/3?
p
Let n = 4 + -7. Let c = -19 + 131/7. Is n greater than c?
False
Suppose 6 = -2*h - h. Let t be (1 + -2)*16 + 2. Let b be (-4)/6 + t/6. Is b greater than h?
False
Let b(i) = i - 5. Let h be 16/(-12)*6/(-4). Let k be (-3)/h*(-10)/3. Let l be b(k). Is l at most as big as 1?
True
Let z be (-44)/(-4)*(-1)/1095. Let r = z + -9/73. Which is bigger: r or 0?
0
Let t be (-4)/(-3)*(3/(-6) - -2). Which is bigger: 7/3 or t?
7/3
Let u be (-1)/(-176)*(-1 + 2). Let z = -359/1232 + u. Are 1 and z equal?
False
Let r = -1311/17 - -77. Let h(i) = -3*i - 20. Let w be h(-7). Are r and w equal?
False
Let p be (-2)/(-9) + 16/(-36). Let v be 3 + (-2 - 0) + -2. Let c be v/(((-2)/(-1))/(-2)). Are p and c non-equal?
True
Let n = -89/3 + 29. Is n less than or equal to 0?
True
Suppose 0 = -2*b + 3 + 1. Suppose -2 = -b*x - 10. Is x greater than or equal to -2?
False
Let p = 0.8 + -0.8. Suppose t + 4*t = 0. Do t and p have the same value?
True
Let g = -14 + 20. Suppose 0 = -2*r + 3*o + 12, -4*r + 0 - 8 = 2*o. Are g and r nonequal?
True
Suppose -2*m + m = 0. Let t = m - -1. Suppose -g - 2*g + 6 = 0. Is g at least as big as t?
True
Let x = -0.01 - -2.01. Let w = -1 + x. Which is bigger: 3 or w?
3
Let q = 3.02 + -3. Let o = q + -0.52. Which is smaller: o or -1?
-1
Suppose -2*z - 5*j + 25 = 3*z, 2*z + j - 5 = 0. Let a = 1 + z. Which is greater: a or 0.1?
a
Suppose -n - 2*n = 6*n. Are -3/4 and n unequal?
True
Suppose 0*y - 4*y + 4 = 0. Let i be (11/22)/(2/y). Suppose -3*w - 2*n = 13, -2*w + n = 2*n + 7. Which is bigger: i or w?
i
Suppose q = -2*k, 3*k - q + 7 = q. Is 1 greater than k?
True
Suppose -4*w + 3870 = -3*w. Let z be w/(-21) - (-2 + 2). Let o = -184 - z. Is 2 >= o?
True
Let g be 0 + -11 + 9 + -6. Which is smaller: -7 or g?
g
Let s = 5.4 - -0.6. Let b = s - 5. Is 9 equal to b?
False
Let g = 639/8 - 80. Suppose -2 = d - 1. Is g >= d?
True
Let g be 3/(-7) + 300/896. Is 0 less than or equal to g?
False
Suppose -3 = -8*u + 5. Suppose -4*j = j + 30. Let d be j/(-3) - 36/19. Which is smaller: d or u?
d
Suppose 3 = -6*n + 7*n. Let z = n - 3. Which is smaller: z or -1?
-1
Suppose 0 = 4*y - 3*v - 43, 3*v = -3*y + 4 + 2. Let o(a) = -a + 6. Let m be o(y). Let n = 1346/7 + -192. Are m and n unequal?
True
Let w = 4.09 - 0.09. Let l = 0 + -0.16. Let k = 0.06 + l. Is k <= w?
True
Let m be (2/(-4))/(15/6). Let a = 10 - 11. Which is smaller: a or m?
a
Let w = -7 + 5. Let a = 0 + w. Is a >= -0.3?
False
Let b = 1 - -1. Let l(i) be the second derivative of i**3/6 + 5*i**2/2 - i. Let h be l(-4). Which is greater: h or b?
b
Let w be -5*((-1)/1 + 7). Let u be 4/10 + 52/w. Let d be (1 + -2)*-1*-2. Is u at most d?
False
Let h be -5 + 4 - (-2 - 0). Is h < -4/27?
False
Let m(b) = b**3 + 22*b**2 + 19*b - 42. Let d be m(-21). Let i be (2*2)/((-7)/1). Which is smaller: i or d?
i
Let h = 3 + -5. Let m(y) be the first derivative of y**4/4 - 2*y**3/3 - 3*y**2/2 - 2*y - 1. Let k be m(3). Is k equal to h?
True
Let v be -1*(6/(-2) - 4). Let d(c) = -c**3 + 7*c**2 - 6*c + 5. Let i be d(6). Which is bigger: v or i?
v
Let s = 1 - 1. Let q = -4 - -3. Let n = q - s. Is n equal to -1?
True
Let q be 2 + (1 - 3) + -33. Let j be 27/q - 2/11. Which is bigger: j or -9?
j
Suppose -4*w - 2*c + 10 = -5*w, 3*w = -4*c + 20. Let x be (-2)/(-24)*16/6. Which is bigger: x or w?
x
Let z(b) = b**2 - 3*b + 4. Let u be z(3). Suppose -2*j + 2*l = 2, 0*j = j - u*l - 14. Which is smaller: j or -7?
-7
Suppose 2*r - 3*k - 2 = 0, -2 = 4*r - 5*k - 6. Is r at least -3?
True
Let p(c) = c**2 - 8*c + 10. Let i be p(7). Let o be (-3 + i)*(-2 - -3). Which is smaller: -2/41 or o?
-2/41
Let w(d) = -d + 33. Let v be w(-7). Is 41 at most as big as v?
False
Suppose -8 = -9*g + 5*g. Suppose -5*s - g*j + 7*j = 35, 3*j + 3 = -s. Let x be 4/6 - (-34)/(-6). Is s <= x?
True
Let s = -3001/33 - -322/11. Let y = s + 61. Which is greater: y or -1?
y
Let h be 13 - (4 + 0)/1. Which is smaller: h or 10?
h
Suppose 0 = -4*b - 29 - 11. Which is smaller: b or -8?
b
Let x = -118 - -231. Let u = -793/7 + x. Do u and 0 have different values?
True
Let f = -6 + 8. Suppose 9 = -y + 5*m, f*m - 6 = -2*y - 0*m. Let c be 2*(-2)/(-10) - 0. Is y at least c?
True
Let x = 29 + -27. Is x at least 4?
False
Let m be 3/(135/(-20)) + (-2)/3. Which is smaller: m or 1?
m
Suppose 0 = -w + 2*w + 3*k - 8, -16 = -2*w - k. Let v = -7 + w. Which is greater: v or -1/5?
v
Suppose -4*h - 2*z = -8, h = -3*h - 4*z + 16. Let i = 20/7 + -86/35. Is h >= i?
False
Let o = -1.2 - -1.19. Which is smaller: -2/9 or o?
-2/9
Let u = 51 + -99/2. Is 1 > u?
False
Let h = -1.5 - -0.6. Let k = -0.8 - h. Let p = 5 - 5.3. Is p >= k?
False
Suppose 0 = -2*h + 3*p + 26, -2*p = h - 0*p - 13. Suppose h*s = 9*s. Suppose -3*x + f = 5, 2*f - 8 = -2*x - 3*f. Is x >= s?
False
Let d be (16 - 22)/(6/28). Which is bigger: d or 0?
0
Let c = -60.9 - -62. Which is smaller: -0.1 or c?
-0.1
Let t be 1/(-3) + (-26)/(-42). Let q = -2.09 - -0.39. Let j = 0.7 + q. Which is bigger: t or j?
t
Let y be 1*151/6 + -1. Let c = y - 431/18. Which is smaller: c or 3?
c
Suppose 11*t - 16 = -5. Are 4 and t equal?
False
Let c be 8/(-2)*(-10 - -5). Suppose -5*w + c = -2*a, 5*a + 3*w = w + 8. Which is smaller: a or 2/9?
a
Let w(t) be the third derivative of -7*t**4/24 + t**3/6 - t**2. Let u be w(1). Which is smaller: u or -14/3?
u
Let n(f) = -f + 8. Let o be n(10). Let a(x) be the third derivative of -x**5/60 - x**4/12 + x**3/6 + 3*x**2. Let l be a(o). Which is greater: l or 6/11?
l
Let c = -17 + 10. Let z be (30/25)/((-20)/150). Which is smaller: c or z?
z
Let f be 12/30 + (-133)/(-5). Is f not equal to 28?
True
Let n be -2 + (-26)/(-12) - (-1928)/(-48). Which is smaller: n or -39?
n
Let c = -195/4 + 47. Which is smaller: -1 or c?
c
Suppose -2 = -v + m, -4*v + 5*m + 1 = -5. Let f be (33/6)/((-1)/(-2)). Suppose 4*c - 3*b + f + v = 0, -15 = -c - 3*b. Is -2 less than c?
True
Let o = 35 - -2. Let t be (-4)/8 - o/(-2). Which is smaller: 19 or t?
t
Suppose 0 = -4*u - 5*h + 2*h + 12, -5*u + 2*h - 8 = 0. Suppose 3*a - 7*a + 12 = u. Let g be -2 - a/9*0. Which is smaller: g or -1?
g
Let o be (-18)/(-135)*(-5)/3. Which is greater: o or 1?
1
Suppose 3 = 5*l + 4*q, q = 3*l + 4*q. Suppose 4*z + 1 + l = 0. Let h be ((-2)/(-16))/((-2)/(-4)). Which is greater: h or z?
h
Let u = 19 + -19. Which is smaller: -1/3 or u?
