
1
Suppose 0 = 2*t + 3 - 1. Let f be 8/9*(-3)/10. Which is smaller: f or t?
t
Let d = 10 - 6. Let c = -1 + 1. Suppose c = -3*n - 1 + d. Are n and 1 non-equal?
False
Let g = -924 + 1811/2. Let p = 19 + g. Which is smaller: p or 2?
p
Let c(t) = -t - 6. Let v be c(-6). Let r = v - 1. Suppose k + 10 = -4*k. Which is smaller: r or k?
k
Let l = -10 - 30. Let d = -281/7 - l. Is 0 != d?
True
Let l = 0 + -0.08. Let m = 0.18 + l. Is 0.1 greater than or equal to m?
True
Let w = 13/75 + -5383/75. Let s = w - -72. Is s <= -1?
False
Let l be 1 + 0 - (1 + -3). Which is smaller: l or 4?
l
Let y be (-6866)/20*4/6. Suppose 0*k = -4*k + 916. Let p = k + y. Is 1 greater than p?
True
Suppose 266 = 5*l - 2*x, -3*l + x + 211 = l. Is 1 less than l?
True
Let u(b) be the second derivative of b**5/20 - 5*b**4/12 - b**3 - 3*b**2/2 - 2*b. Let s be u(6). Are -3 and s non-equal?
False
Let u be -2 - ((-3)/(-3) - 0). Let b = 1/2 + u. Which is smaller: b or -3?
-3
Let x be (-2)/3 + (-8)/(-72)*-3. Let z be 9992/19 - 1 - 1. Let i = z + -524. Is i less than or equal to x?
False
Let j(y) = y**2 + 2*y - 4. Let p be j(-6). Suppose -5*w - p = -10*w. Let n be (-5)/(-20) + (-1)/w. Do -1/5 and n have the same value?
False
Suppose -2*p + 16 = 2*p. Let z be 1/6 + (-8)/48. Suppose -p*c + 8 = -z*c. Is 3 less than c?
False
Let g = -1.9 + 9.9. Let f = 7.8 - g. Which is bigger: f or -1/2?
f
Suppose k = -5*y + 24, -k - 3*y + 27 = k. Suppose -w + 2 = 0, s - 4*w = 2*s - k. Is 0 < s?
True
Let g = 1946 - 5723/3. Let z = -38 + g. Suppose -2*q - 6 = -0, 3*c - 9 = 3*q. Does c = z?
False
Let z = 6 + 1. Let q be z - (0 + 2/2). Let b be (-8)/(-30)*(-9)/q. Is b not equal to 1?
True
Suppose -64 + 6 = a - q, 4*a - 2*q = -230. Which is greater: a or -56?
-56
Let i(f) = f**2 + 7*f - 6. Let d = 4 + -12. Let y be i(d). Suppose -5*a + 0*a = y*s, -5*a = s. Is a greater than -1?
True
Suppose -11*n + 15*n - 12 = 0. Is n smaller than -1/3?
False
Let a be 9/(-4) + 1/4. Let k be 1/(2/5) + a. Which is bigger: 2 or k?
2
Suppose -d - 1 = -2*d. Let v(p) = p**3 + 11*p**2 - p - 9. Let n be v(-11). Which is smaller: n or d?
d
Let g be -6*(-1)/8 + 14/(-8). Which is smaller: -2/513 or g?
g
Let d be (-5)/(-2)*(-3)/(27/(-18)). Is 54/13 at most d?
True
Let r(j) = -3*j. Let s be r(-5). Suppose h = -5*g - s, 26 = -4*g - 4*h + 6*h. Let n be g/((-3)/(-6)*10). Is n < -1?
False
Let b = -85400 + 6577493/77. Let s = 152/7 - b. Is s smaller than -1?
False
Let i be ((-2)/(-9))/((-52)/(-117)). Is i greater than or equal to -0.1?
True
Let y = 26 - 25. Which is smaller: y or -1/3?
-1/3
Let i = 99/4 - 26. Suppose -2*m + 5*m - 2*m = 0. Which is greater: m or i?
m
Let c = -28 + 26. Let q = -1 + 2. Is q < c?
False
Suppose 2*o - 8 + 1 = i, 4*o = -i - 1. Let m = 0.6 + -0.57. Is m smaller than o?
True
Let d = -6.92 + -0.08. Let w = d - -7.1. Which is smaller: w or 1?
w
Let a(d) = d**2 - 2*d + 2. Let u be a(2). Let n(v) = -v**3 + 2*v**2 + 2*v - 3. Let m be n(u). Suppose 18 - 15 = s. Which is smaller: m or s?
m
Suppose 4*a - 20 = -5*r + 5*a, -27 = -4*r + 3*a. Let n be (-2)/2 + r/1. Is n >= 1?
True
Suppose -2*c = -2*m - 8, -4*c - 3*m - 6 = -1. Suppose 0 = 14*z - 6*z - 16. Which is greater: z or c?
z
Suppose -2*v = 4*p + 8, 5*p - 3*p = v - 4. Let k be 4/6*24/(-8). Is p less than k?
False
Let k be (28/(-6))/((-6)/(-27)). Let h be (-120)/(-19)*3/k. Let c = 9/19 + h. Which is smaller: c or 1?
c
Let q = -2 - -5. Let m be q/(-6)*0 - 0. Suppose 3*t + 10 = 4*j + 2, -t + 2*j - 6 = m. Is 3 bigger than t?
False
Let v = -5/4122 - -293125/4122. Let d = 104329/1467 - v. Let c = 155/1304 + d. Which is smaller: c or 1?
c
Let f = 4 - 4.1. Is f bigger than -0.13?
True
Let i be 7254/8905 - 4/5. Is i smaller than 1?
True
Let g(q) = -q**2 - 19*q - 40. Let s be g(-18). Is s bigger than -22?
False
Suppose 0 = 4*q + 3*g + 15, 2*q - 15 = 4*g + 5. Suppose -o = 3*o - 92. Let r = o - 93/4. Is r equal to q?
False
Let s = -120 + 119. Which is bigger: s or 2/11?
2/11
Suppose 0*j - 3*j = -33. Let v = -19 + j. Is -10 at most v?
True
Suppose -4*l = -6*j + j - 865, -2*j - 434 = -2*l. Let v be -3 + -1 - (-920)/l. Which is bigger: v or 1/3?
1/3
Suppose -2*x - 2*x + 20 = 0. Suppose 0*w - b = 3*w + 17, -5*w = x*b + 45. Is w greater than -1?
False
Let j = -5/19 - 4/57. Which is greater: j or 1?
1
Let d = -1 - -1. Are d and -5/8 equal?
False
Suppose -3*b = -6*b + 12. Suppose -b*a = 3*r + 20, -4*a - 10 = 2*r + 10. Let t be -1 - 5/(-3) - 1. Is r at most as big as t?
False
Suppose -3*t - 26 = -8. Which is smaller: -1 or t?
t
Suppose -f + 0 = 2. Let y be (3 - 3) + 1 + f. Let x be 1*(-2 + 4 + y). Are 1 and x equal?
True
Suppose 5*d + 6 - 1 = 4*i, -2*i - 1 = d. Let c(h) = -3*h - 2. Let z be c(-2). Suppose 5*j + 9 = q, 0*j + 2*j = z*q. Is j less than d?
True
Suppose -5*f - r + 25 = 0, 2*r + 2 + 4 = 4*f. Is 4 greater than or equal to f?
True
Let b = -23667/22 + 1076. Is b > -1?
True
Suppose -10*c = 8 - 88. Which is smaller: 11 or c?
c
Let r be 2 + -1 + (-16)/6. Are r and -2 unequal?
True
Let m(w) = 4*w**2 + w. Let x be m(-1). Suppose 0*r = 4*r - 16, 0 = -x*u - 3*r. Is -3 at most as big as u?
False
Let x(d) = -d**3 - 5*d**2 - 6*d - 3. Let f be x(-4). Suppose 0 = -f*y + 5*c + 10, 4*y + 5*c - c = 8. Let h = 0.1 - 0. Which is smaller: y or h?
h
Let o = 10 - 7. Is -2/9 greater than o?
False
Let r(w) = 4*w + 7. Let x be r(-3). Is x equal to -5?
True
Let i(d) = 10 - 4*d + 4*d + d - 5*d. Let f be i(5). Which is greater: -11 or f?
f
Let r be 21/(-14)*32/(-6). Are 8 and r non-equal?
False
Let n(w) = -w**3 + 15*w**2 + 15*w + 22. Let o be n(16). Let b(s) = -2*s + 10. Let k be b(o). Is -0.1 at most as big as k?
False
Suppose 4*b - 15 = 2*g - 3, -2*b = 3*g + 10. Which is bigger: -4/143 or b?
b
Suppose -5*c = 10, -8 = -l - 3*c + 17. Which is smaller: 33 or l?
l
Suppose -w + 6 - 6 = 0. Is -1 <= w?
True
Let p be 0/(0 + -4) - 3. Let v(g) = 0*g**2 - g**2 + 0 + 1 + 2*g. Let d be v(3). Which is greater: p or d?
d
Let j = 0 - 0. Let c be -1 - -6 - (-3 + j). Suppose 2 = h + x, 2*h + 0*x - 2*x = -c. Is 0 smaller than h?
False
Let o = 7 - 3. Suppose k = -n - 8, -o*n = -3*k + 1 + 3. Let f be (-2 + 6)*(-2)/n. Is f <= 3/5?
False
Let w(r) = r**2 + 5*r + 1. Suppose 4*v - v + 15 = 0. Let p be w(v). Suppose 2*o + 3*o - 5 = 0. Is o greater than p?
False
Let y(z) be the third derivative of -z**4/8 + z**3/6 - 4*z**2. Let i be y(1). Which is bigger: -1 or i?
-1
Suppose 19 = 5*n - 6. Suppose -n*z = -3*z - 4. Are z and 1 non-equal?
True
Let f(a) = -a**2 - 5*a - 4. Let r be f(-3). Is 8/9 greater than r?
False
Suppose z + 72 = -3*z. Let g be (-6)/z*(-4)/(-6). Which is greater: g or 0?
g
Let y be ((-20)/6)/(-2)*3. Let p be (-90)/27*(-12)/10. Suppose -y*g + 3*g - 12 = -p*u, 0 = 3*g + 2*u - 6. Which is smaller: g or 1/3?
g
Suppose -4*h + 2*p - 42 = 0, 5*p - 30 = 3*h + 5. Is h bigger than -5?
False
Suppose 0 = 5*b - 2*w - 36, 9 = 3*b + 4*w - w. Suppose -10 = c - b*c. Is 3/2 smaller than c?
True
Let r be (-17)/3*(12 - 9). Which is bigger: -16 or r?
-16
Let y = -0.9 - -1. Let j = -1242 + 6182/5. Let u = j + 26/5. Which is greater: u or y?
y
Let j be (-5)/((-225)/(-6))*-3. Suppose 4*r - 4*y = 36, -2*r - 3*y - y + 12 = 0. Suppose 0*o = -4*o - r. Does o = j?
False
Suppose -6*g + 2*g + 8 = 0. Let l be g/(-13) - 28/(-13). Let p = -4 + l. Is p < 0?
True
Let s = 299 - 5678/19. Let b = -47/57 + s. Let q be 9/(-18) - 1/(-2). Which is bigger: q or b?
q
Let y = -2 + 5. Let u be 6*y/((-18)/(-4)). Suppose 0 = u*d, -5*i - 2*d + 4 = -i. Which is smaller: 3 or i?
i
Let i be (-162)/(-182) - (-33)/(-77). Which is smaller: i or 1?
i
Let w = 1/112 + 219/560. Which is greater: 4 or w?
4
Let s = 15 + -10. Suppose -3*x + s*x = 0. Let d be ((-6)/9)/(76/(-6)). Which is smaller: x or d?
x
Suppose 3*l - 6*l = 84. Which is greater: l or -26?
-26
Let j = 0.18 - -6.82. Let t = 7.7 - j. Let m = t + -0.4. Is -1/4 >= m?
False
Let p(s) = s**2 + 7*s - 9. Let r be p(-8). Is -2/3 bigger than r?
True
Let i = 1 - 8. Which is greater: -9 or i?
i
Let m(l) be the first derivative of l**4/4 + l**3/3 - l**2/2 + 2. Let h be m(0). Let c = -7/8 - -1. Which is greater: h or c?
c
Suppose -1 - 14 = -3*u. Let z be u/1*-1*-1. Suppose 4*p + 2*c = 20, 3*p + 15 = 6*p - 4*c. Is p at most z?
True
Let a = 0.251 - 0.051. Which is greater: a or -0.6?
a
Let j(b) = b**3 + 2. Let a be j(-2). Let c = -3