1 - 41/(-25). Let y = a - 98/75. Let u = -216 - -213. Which is smaller: u or y?
u
Let j = 1728389/3883 + 1467/353. Let v = -449 + j. Is v != -1?
True
Let v(j) = 3*j - 6. Let u be v(8). Suppose 0 = 3*s - 3*f + 6*f + 33, -3*s + 2*f = u. Do s and -9 have different values?
True
Let x be 5/(3 + 0 + -2). Let y(i) = i**2 - 8*i + 12. Let c be y(x). Is -3 at most c?
True
Let y be (1 - (-6 - (-4 + 3)))*2. Let d(t) = -t**3 + 3*t**2 + 5*t - 3. Let l be d(3). Is y greater than l?
False
Let h be 404/(-104) - (0 - (7 + -3)). Which is bigger: -1 or h?
h
Let v = 4 - -3. Let w = v - 8. Let h be (-104)/34 - (-3)/1. Which is greater: h or w?
h
Let c be (-2)/(-3)*9/(-6). Let f be ((-4)/58)/(-15 + 16). Are c and f equal?
False
Let w = -4.01 + 4.2. Let i = -9.81 - w. Which is smaller: -0.1 or i?
i
Suppose 3 = -3*l, 0 - 17 = -4*a + 5*l. Let m(k) = 2*k**2 - 4*k + 3. Let v be m(a). Let c be (3/v)/(1/12). Is c at least as big as 4?
True
Let z(g) = 5*g**3 + g**2 + g + 1. Let h be z(-1). Let p = -7 + 4. Which is bigger: p or h?
p
Let y = 0.27 - 0.07. Let c = y + -0.1. Which is smaller: -1 or c?
-1
Suppose 5*g - 6*g = 2. Is g less than or equal to 8/3?
True
Suppose 4*f + 17 = 5. Are -3 and f non-equal?
False
Let i = -3.4 - -2.4. Let p = -0.3 + 0.2. Let j = -0.15 - p. Which is bigger: i or j?
j
Let x = 7/16 - -1/16. Suppose s - 3 = -2. Which is greater: s or x?
s
Suppose 5 = 5*s - 10. Suppose 0 = -s*a + 5*a. Is 6/13 equal to a?
False
Suppose a - 15 = -p, 0 = -p + 5*a - 5 + 2. Is 21/2 greater than p?
False
Let j be 6*(-5)/(25/10). Which is greater: j or -11?
-11
Suppose -12 - 10 = 2*f. Is f > -11?
False
Suppose j - 16 = -0*d - 2*d, 0 = 2*j + 2*d - 36. Suppose -3*n - 2*n = j. Which is greater: -2 or n?
-2
Let q be -10*3/6*-1. Let t = q + -6. Is 1 less than or equal to t?
False
Let n = 2 - 4. Suppose j + 9 = -2*j. Let y be -2 + 3 + j + 0. Is y less than or equal to n?
True
Suppose -9 = 4*x - 17. Is x less than 6?
True
Suppose -2*d = -5*v + v - 2, -5*d = 2*v - 17. Suppose -z + 5*z - 24 = -n, d*n = 2*z + 2. Which is smaller: 1 or n?
1
Let h = -14 + 13. Which is bigger: -24 or h?
h
Let d(p) = 3*p - 2. Let l be d(-4). Let f be 0 - (6/l)/3. Is -1 < f?
True
Let l(j) = -4 - 2 + j + 1 + 4. Let q = -3 - -4. Let c be l(q). Which is bigger: c or -3?
c
Let n = -5 + 30. Let y(i) = i**3 - 5*i**2 + 4*i + 3. Let j be y(4). Suppose x + 5*f + n = 0, -j = 2*x + f + 2. Does x = 1/3?
False
Suppose 0 = -2*d + 77 - 13. Let m = 22 - d. Which is greater: -9 or m?
-9
Suppose 2 = -n - 0*n. Let o be -2 + 2 - n/3. Which is smaller: o or 0.2?
0.2
Suppose 4*q = 4*p - 44 - 152, p = -2*q + 49. Let c = p - 3. Let v = c - 140/3. Is -2 bigger than v?
False
Let f = -1/4 - -13/20. Let o(z) = 4*z - 7. Let i be o(2). Which is greater: i or f?
i
Let o be -1*1*(-2)/1. Suppose -3*q = 5*n - 29, 3*n - q = -o*q + 19. Is n less than or equal to 7?
True
Let p be 208/420 - (90/(-25) - -4). Are 0.2 and p nonequal?
True
Suppose -l = 9 + 6. Let z = l - -11. Is -4 >= z?
True
Let m = 3 + 5. Is m at least as big as 11?
False
Suppose -3*u + 10 = 31. Is u at least -7?
True
Let k(g) = -g**3 + 7*g**2 - 7*g + 5. Let r be k(6). Let o = -0.7 + 2.3. Which is greater: r or o?
o
Let m(w) = 2*w + 15. Let x be m(-8). Is 10/33 != x?
True
Let l = 14 + -20. Is 0.6 greater than or equal to l?
True
Let r(i) = -i**3 - 2*i**2 + 4*i + 7. Let h be r(-2). Which is smaller: -1/54 or h?
h
Suppose 0 = -0*f - 6*f. Let v(g) = g**3 + 3*g**2 - 4*g - 1. Let j be v(-4). Which is smaller: j or f?
j
Let q = -85 + 80. Let l be 24/10 + 2/(-5). Suppose 2*f = -v - 7, 0 = -l*f + 3*v - 9 - 2. Which is smaller: q or f?
q
Let d(m) be the first derivative of -m**4/4 - 5*m**3/3 - 2*m**2 + 4*m + 5. Let v be d(-4). Is 1 >= v?
False
Let j = 22 - 16. Let w = j + -10. Which is greater: -1 or w?
-1
Let y = -235/2 - -115. Let s be ((-16)/(-12))/((-7)/21). Does y = s?
False
Suppose -5*u - d = -10, 0 = 2*u - 2*d - 16 - 0. Suppose -u + 4 = -b. Is b < 2/5?
True
Let k be ((-225)/(-10))/(1 - -2). Is k less than 8?
True
Suppose 2*z - 4 = z. Let t be z*(-3)/6 + -4. Let h be (15/t + 2)*-2. Which is smaller: h or 1/2?
1/2
Suppose 12*q - 2*q = -40. Which is smaller: q or -50/11?
-50/11
Let d be (-1)/(82/(-86)) + -1. Which is greater: d or 1?
1
Let g = -16.2 - -18.2. Is 0.09 at least g?
False
Suppose 0 = -3*y - y + 8. Which is smaller: y or 19/7?
y
Suppose -3*k + 33 = -2*d + 6*d, 24 = 2*k + 2*d. Let u be (-6)/(3 - 5) - k. Which is bigger: u or -11?
-11
Let v be 322/(-18) + (-12)/108. Does v = -19?
False
Suppose 3*l - 73 = 8. Let i be 6/l*-6*-3. Which is smaller: i or 6?
i
Let h be (-3)/(-2) + 429/6. Let r = 221/3 - h. Which is smaller: -2/3 or r?
-2/3
Suppose -4*x - 3*p = -19, 2*x + 3 = 5*p - 20. Suppose 3*s - x = -a, -2*s + 7*s = 2*a - 2. Is -1/26 at most s?
True
Let i = -30 + 22. Which is greater: -9 or i?
i
Let f(r) = -r - 4. Suppose -17 = 4*i - 5. Let z be f(i). Let n be 1 - 1*(-27)/(-21). Which is bigger: n or z?
n
Let b be -3 + 3/(9/24). Let r be (b + -1)*2/(-8). Which is bigger: -1/8 or r?
-1/8
Let q be (-42)/28 - 35/(-26). Which is smaller: q or -3?
-3
Let d be (-9)/2*(-2)/3. Suppose -2*i = -d*i + 3. Suppose -i*q = q + 5*s - 28, -2*s = 4*q - 16. Is 5/4 not equal to q?
True
Let d be 0 + 1 + (-39)/27. Suppose 0 = 3*m + m. Which is greater: d or m?
m
Let p = -18 + 25. Let h(o) = o + 1. Let q be h(2). Suppose p*t = q*t. Is t less than 0?
False
Let r be 2 - 0 - 4/2. Let a be (1 + -1)/(r - -1). Are 2 and a equal?
False
Let m be -1*((-6)/3 - 0). Let i(s) = s**3 - 3*s**2 - 5*s + 6. Let a be i(4). Is a != m?
False
Let m = -0.31 + 0.01. Let b be ((-1)/14)/(16/(-64)). Is m at least as big as b?
False
Let g = 6 + 22. Suppose 0*w + 4*k = -3*w + 16, -4*w + g = 2*k. Let j be w/(-6)*12/(-8). Is j greater than 1?
True
Let x = -4 - -26/7. Let r = -0.42 - 4.78. Let s = r - -5. Which is greater: s or x?
s
Let g = 1 - 1. Let v = g + -12. Is v less than or equal to -11?
True
Let d(v) = -v**3 + 7*v**2 + 7*v + 7. Let q be d(8). Suppose -13 + 3 = 5*a. Let u = 0 + a. Is q >= u?
True
Let q be (-2)/6 - ((-2093)/3)/(-7). Are -100 and q equal?
True
Let n(h) = -h**2 - 8*h + 19. Let t be n(-10). Which is smaller: t or 2/179?
t
Let z(n) = n - 1 - 2*n + 2*n. Let l be z(2). Let u = -30 + 61/2. Is u smaller than l?
True
Suppose -4*j - 1 - 3 = 0. Suppose 0 = -5*z - m - 2, 4*z - 3*m + 6*m - 5 = 0. Let x be (2 - 1 - -2) + z. Which is smaller: x or j?
j
Let s be (1 - 6/3)*-619. Let c be (-2)/(-4) - s/710. Let l = -2/71 + c. Is 1 <= l?
False
Let r = 0.31 - 0.01. Let c = r - 0.3. Let l = 2 + c. Which is smaller: 1/3 or l?
1/3
Suppose 2*q - 5*z = -1 - 1, 4*q = z - 4. Let g = -24 + 54. Let x be 3*1/g*-6. Which is smaller: x or q?
q
Suppose 3*f + 14 = -0*p + 4*p, 4*p + 3*f - 2 = 0. Suppose -5*d - p*z + 5*z + 18 = 0, -4*d - 5*z + 44 = 0. Which is smaller: -1 or d?
-1
Let q be 3/(-1) + (1275/(-140))/(-3). Which is smaller: q or 0?
0
Let n(o) = -o**3 - 6*o**2 + 8*o - 10. Let i be n(-7). Is i less than -15?
True
Let j(x) be the first derivative of x**4/4 + 2*x**3 - x**2/2 - 5*x + 1. Let b be j(-6). Let c = 791 - 791. Is c greater than b?
False
Suppose -3*y - y = 0. Is y greater than 0?
False
Let h be (1 + 3)/(6/(-3)). Let d be (36/(-117))/(1*h). Which is smaller: d or 1?
d
Suppose 4*p = -h + 24, 2*h = -5*p + 3*h + 30. Let f be 11/3 + (-4)/p. Let u = f - 5. Does u = -2?
True
Let q = 0.1 + -0.1. Let r be 8/10*6/(-12). Which is smaller: q or r?
r
Suppose 10*y = 5*y - 15. Let t be -3 + 0 + (-8)/y. Which is greater: t or -1?
t
Let c = 3 - -2. Suppose -2*l - c*h = 21, -h - h = 10. Let w be 38/9 + 2/(-9). Which is smaller: l or w?
l
Suppose 6*r - 40 = 2*r. Suppose -2*i - 2 = -20. Which is smaller: i or r?
i
Let n = 11 + -20. Which is greater: n or -15/2?
-15/2
Let k = -0.27 + 8.27. Which is smaller: k or -2/7?
-2/7
Suppose 5*a - f - 4*f = -25, 2*a - 4*f = -18. Suppose 20 = -4*t - 2*k, 0*t + 2*t = -4*k - 10. Let q = a - t. Which is smaller: 3 or q?
3
Suppose 3*q = -3*v + 12, 3*v - 5*q = -14 - 14. Let k = v - -2. Let w be 1 + (-2)/6*3. Does w = k?
False
Let n(z) = -z**2 - 6*z - 2. Let x be n(-7). Which is bigger: x or -8?
-8
Suppose 4*v - 4*h + 12 = 0, 4*v - h - 1 = -4. Are -6/5 and v equal?
False
Let m = 0.1 - 4.1. Let w = -77/4 + 19. Which is smaller: m or w?
m
Let q = -2.22 - -0.22. Is 4 at least as big as q?
True
Let d = 13 - -2. L