aller: 1/6 or y?
y
Suppose -4*u + 44 = -2*t - 2*t, -24 = 2*t - u. Is -14 < t?
True
Let y be 1/4 - 3/(-4). Let r(n) = -n - 2. Let a be r(-1). Let x = 3 + a. Which is smaller: x or y?
y
Let l(t) = t**3 - 5*t**2 - 6*t. Let b be l(6). Suppose b = -3*x - 9. Let q = x + 3. Are q and 0 equal?
True
Let y = 7 - 10. Let b be 3*(-1)/y*2. Suppose 5*z - w - 20 = 0, 3*z = 2*z + 3*w + 18. Which is bigger: z or b?
z
Let o = 3.94 + -4. Let v = o - 1.94. Let d = 0 + v. Which is bigger: 1 or d?
1
Let z = -4 + 3.93. Let h = -3.07 - z. Let n = h + 2.9. Which is greater: n or 1?
1
Suppose c - 5*q = 13, 0 = 5*c + q - 0*q + 13. Let y(w) = w. Let l be y(c). Suppose -14*x = -18*x - 4. Are l and x equal?
False
Let b be ((-8)/(-5))/((-4)/20). Let d(u) = u**3 + 4*u**2 + 4*u + 3. Let z be d(-3). Is z < b?
False
Suppose 12*k - 54 = 21*k. Let t = 4 + -9. Which is smaller: k or t?
k
Let s = -1.4 + 0.93. Let c = 0.03 - s. Let q = -0.7 + c. Which is greater: 0.2 or q?
0.2
Let h be (2/8)/((-2)/(-8)). Suppose -7 = -3*s - 1, 2*s = -2*v + 10. Which is smaller: v or h?
h
Let s = -6/25 + 92/175. Is 1 bigger than s?
True
Let y = -5 - -8. Suppose k + 9 = y*z - 6*z, -2*k + 7 = z. Which is smaller: 5 or k?
5
Suppose 0*w - 3*w = 0. Let a = -7/18 + -1/9. Is w greater than a?
True
Let r be (4 + -1)/(3/2). Let z = r - 5. Suppose -4 - 6 = 5*t. Which is smaller: t or z?
z
Let p be (6/15)/((-12)/(-1385)). Let d = p - 46. Which is greater: 1 or d?
1
Let k = -663/7 - -95. Let m be (-4)/26 + (-44)/52. Which is smaller: k or m?
m
Let h be (-74)/(-5) - (-2)/10. Suppose 0 = o + 4*o - 3*q - h, 5*o + 2*q = 15. Suppose 0*j + j - 4 = 0. Which is smaller: o or j?
o
Let s be (-10)/(-35) - 2/7. Let o be -2 - (-17 + s + 1). Let h = -40/3 + o. Which is smaller: 2 or h?
h
Let d(y) = -y**3 - 4*y**2 + y + 4. Let r be d(-4). Suppose -3*c + c + 488 = r. Let h = 3662/15 - c. Is -1 > h?
False
Let y = 3/338 + -261/845. Is 1 greater than or equal to y?
True
Let n = 23723 - 305905/13. Let r = 192 - n. Which is greater: 5 or r?
5
Suppose 0*c - 6 = c + 4*b, c + 4 = -3*b. Suppose 0 = -c*o + o. Suppose n = 5*l + 12, o = -3*l + 8*l + n + 8. Is -2 != l?
False
Let s = 112 - 541/5. Is 5 <= s?
False
Suppose 2*c + 3*y = -18, -c - y = 5 + 6. Let m = c - -15. Which is smaller: 4/5 or m?
m
Let l = -43 - -49. Is 9 equal to l?
False
Suppose 3*g + 4*y = -0*y - 9, 3*g + 3*y + 6 = 0. Is 3 < g?
False
Let n = 6.1 - 6. Let l = -2.7 + 3. Which is bigger: n or l?
l
Suppose -y - 25 = -2*u, 9 = 4*u + y - 32. Which is smaller: 2 or u?
2
Let f = -100 + 37. Which is smaller: f or 2/7?
f
Let z(q) = -q**2 - 4*q. Let o be z(-4). Let i = -6 + 8. Suppose 1 = -y + i. Which is smaller: y or o?
o
Let d = -1 + 3. Let h be 3/10*(-12)/63. Is h smaller than d?
True
Let g(z) = 5*z + 3. Let j be g(-2). Let f be j/(-4) - 6/3. Is 1 bigger than f?
True
Let s = 0.6 + 1.4. Let o = s + -2. Let g = o - 0. Is -3 > g?
False
Let y = -11 - -5. Let q be 2/6 - y/(-9). Is q greater than 4?
False
Suppose 0 = 4*s - 22 - 18. Which is smaller: s or 9?
9
Let d be 2171/3120 + 2/(-15). Is d <= 0?
False
Let y be (-88)/(-259) + (-2)/7. Which is bigger: y or 0?
y
Let h = 0 + 6. Is 3 equal to h?
False
Let q = -3230/11 + 294. Which is smaller: q or 0?
0
Let g(y) be the third derivative of y**5/30 - y**4/8 - y**3/3 - y**2. Let v(k) be the first derivative of g(k). Let r be v(2). Is r != 4?
True
Let f = -5.03 + 0.03. Let b = -13 - -7. Let d = f - b. Which is smaller: d or 2/17?
2/17
Let f(h) = -h**2 - 5*h + 6. Let d be f(-6). Is 1/14 < d?
False
Let l = 68/111 + 2/37. Let r = -5 - -5. Suppose f + 3*g + 14 = 0, r = 3*f - 5*g - 3 - 11. Do f and l have different values?
True
Let u(i) = -i + 3. Let l be u(4). Let d = -9 - -15. Let p be (-5)/(-4)*d/(-75). Which is bigger: l or p?
p
Let i be 13/(-5) - ((-42)/35)/(-3). Which is smaller: -27 or i?
-27
Let b(t) = -t**3 - 10*t**2 + 12*t + 14. Let c be b(-11). Which is smaller: c or 8/5?
8/5
Suppose 0 = -15*l + 11*l - 4. Which is smaller: 1 or l?
l
Let i be (338/65)/(2/(-10)). Let t = -30 - i. Let h(u) = u**3 - 6*u**2 + 5*u - 2. Let o be h(5). Which is bigger: o or t?
o
Let i = -7.12 + 0.12. Let x = 7 + i. Which is smaller: x or -6?
-6
Let n be 3*(-2)/(-6)*1. Let y = -110 - -992/9. Is y smaller than n?
True
Suppose -5*p + 1 = -19. Suppose -p - 5 = -3*j. Are j and 3 nonequal?
False
Suppose i + 2*o + 16 = 4*i, o = -i + 12. Let c be 34/(-44)*i/9. Let n = c - -10/11. Which is smaller: -1 or n?
-1
Let o(m) = -m**2 + 28*m - 46. Let t be o(26). Is t at most as big as 8?
True
Let c = -132 - -127. Is -17 less than or equal to c?
True
Let m = 0.02 + 0.08. Let q = -3 - -2.9. Which is smaller: q or m?
q
Suppose 0 = n + 21 - 71. Suppose -n = 4*k + k. Is -10 smaller than k?
False
Let o = 424025/173 + -2451. Is o >= -1?
True
Let g = 26.44 - 26. Let f = 0.04 - g. Is -0.1 <= f?
False
Let q(j) be the second derivative of -j**4/12 - j**3/2 + 2*j**2 + 3*j. Let c be q(-4). Which is greater: 2/15 or c?
2/15
Let f be ((-67)/(-12) - 2) + -3. Is 2 at least f?
True
Let r = -30 - -119/4. Let l = -0.4 - -0.3. Does l = r?
False
Let x be 676/(-14) - -1 - -1. Let l = -46 - x. Let g = 0 + 1. Which is smaller: g or l?
l
Suppose 0 = -4*k - 3 - 21. Let b = -4 - k. Suppose -2*t = 5*i, b*i - 6*t + 4*t + 14 = 0. Which is smaller: -1 or i?
i
Suppose 0 = -f - 0*f + 1. Let m = 4 + -2. Suppose -2*k + 0*h = -3*h + 13, -m*h + 15 = 5*k. Is k smaller than f?
False
Suppose -5*x + 18 = 3. Let b be (-1 - (-4)/3)*x. Let s be 4*(-2)/2*b. Which is greater: s or -3?
-3
Let x be 0 + (-2)/(-24)*-2. Let j = 31 - 32. Do j and x have the same value?
False
Let u = 146 + -100. Let j = -31 + u. Is 0 <= j?
True
Let t be (-6 - -3) + 10/(-8). Which is smaller: t or -4?
t
Let k = 77/213 + -2/71. Let i = -16 + 22. Let s = -5 + i. Is s > k?
True
Let z = 14 + -6. Is 7 not equal to z?
True
Suppose 0*q = -q - 2. Let h be q/(-5)*(-1)/(-4). Which is smaller: h or -1?
-1
Let l be (-39)/11 - (-54)/18. Which is bigger: -2 or l?
l
Let s be (-55)/(-4) + (-7)/(-28). Suppose 5*m = 4*l - s, -3*l + 2*l - 3 = 2*m. Is -2 != m?
False
Let d = -5.05 - -5. Let s = d + -0.95. Does -2/7 = s?
False
Let w = 38 + -37.9. Which is smaller: -3.5 or w?
-3.5
Let c be 8 - 6 - (2 - -1). Let d be (-4)/(3 + 0 + c). Suppose 3*m = -12, -o - 5*m = -0*o + 21. Is o greater than or equal to d?
True
Let f be (-4)/(-6) + (-1 - 0). Suppose 0 = 9*v - 12*v - 72. Let q be 2/(-3)*v/(-16). Is f smaller than q?
False
Let r = 253 - 251. Let l(x) = -x**3 - 7*x**2 - 1. Let b be l(-7). Which is smaller: b or r?
b
Suppose 0 = 4*k + 4*y - 12, 4*k + y + 3 = 2*y. Let r be (-3)/117 - 2/(-6). Are k and r equal?
False
Let g = -11 - -8. Let o(b) = -b**3 - b**2 + b + 67. Let h be o(0). Let z = -137/2 + h. Is z greater than g?
True
Let x(b) = b**2 - 4*b - 8. Let r be x(6). Suppose -2*l = -r*l. Let y be (-4)/5 + 806/845. Which is smaller: l or y?
l
Suppose m + 2*m = 0. Let q be 3 + (-2 - (m - 0)). Is q >= -1?
True
Suppose -3*h = -5 - 1. Let f be (h/(-10))/(6/(-45)). Do f and 1 have different values?
True
Let u = 79 - 27. Let y be (-2)/11 - u/(-44). Let r = 2/165 + -68/165. Which is smaller: y or r?
r
Suppose -5*b = h - 24, 2*h - b + 5*b - 18 = 0. Let s be (3/9)/((-1)/(-3)). Let r be s/2*(-2)/(-3). Which is greater: r or h?
r
Let s be 3/(-2)*(-8)/12. Which is smaller: s or 13/7?
s
Let o be -9*3*16/(-180). Are 3 and o unequal?
True
Suppose -57 = -3*u - 0*u. Which is greater: -0.1 or u?
u
Suppose -324 = a - 2*a. Let p = a - 6158/19. Is p > -1?
True
Let n = -1 + 4. Let w be 5/3 + (-5)/(-15). Suppose r + n = -w*r. Which is bigger: 0 or r?
0
Let c = -42/19 - -256/133. Let w(g) = g - 4. Let h be w(4). Is h smaller than c?
False
Suppose -3*a = 2*v - 51, -2*a + 26 = -4*v - 8. Let p = -6 + a. Suppose 3 - p = -2*f. Are 3 and f equal?
False
Let z = 181/5 + -36. Let i = -7 + 8. Does i = z?
False
Let f be 2/(-30)*2/(4/(-4)). Let k(j) = -j + 5. Let o be k(4). Which is bigger: o or f?
o
Let j = 6 - 5.8. Let m(g) = g**2 + 5*g + 4. Let n be m(-4). Is n greater than or equal to j?
False
Suppose 0 = -2*c + 3*c - 36. Let v be (-21)/c - (-2)/8. Is v at most as big as -1?
False
Let s be (3/(-50))/((-9)/36). Are s and 1 non-equal?
True
Let b(m) = m**2 + 4*m - 1. Let h be b(-4). Let y be (2 - 1) + h - -111. Let r = 553/5 - y. Is 0 smaller than r?
False
Let y = -1 - -1. Let k(u) = u**2 - 13*u + 1. 