ger: j or v?
j
Suppose -4*n + 25 = -5*y, 4*n - 4*y - 21 = -1. Suppose -3*h + 21 = -3*x, 3*x + 33 = 5*h - 0*x. Suppose 4*s - 4 = -4*d, 5*s - 1 = -3*d + h. Is d less than n?
True
Let v(t) = t**2 - 4*t - 12. Let s be v(6). Which is greater: s or 1?
1
Let a be 15/3 - (-2 + -1). Which is bigger: a or 61/7?
61/7
Suppose -5*s = -3*n + 12, -5*n - s + 2*s - 2 = 0. Which is bigger: -2 or n?
n
Let u = 5 + -8. Let s = u - -2. Which is smaller: s or 2/9?
s
Let j be (2/(-3))/((-2)/12). Suppose -2*c = 3*c. Suppose -3*m + 3 = 2*o, c = 5*m + 3*o + 5 - 11. Which is smaller: m or j?
m
Suppose -16 = -2*a - 0*a. Suppose 3*y + 30 = -2*y. Let q = a + y. Do 1/2 and q have different values?
True
Let w = -7 + 10. Let x = -4 + w. Which is smaller: 1/3 or x?
x
Let f = -163 + 124. Which is greater: -38 or f?
-38
Let t = -1.6 - -1.712. Let p = 1.968 + t. Let d = -0.08 + p. Is -0.3 at most d?
True
Let c = 4.92 + 0.08. Let t = c + -4.92. Is t at least 2/3?
False
Let o = 35 + -33. Is -3/11 bigger than o?
False
Let n be 2/(-6) - (-25)/3. Let t = n + -32. Let a be 3/(-4) - 18/t. Which is greater: 2 or a?
2
Suppose -6*j = -47 + 11. Is 2/5 at most as big as j?
True
Let m = 0.8 + -6.8. Let q = m - -6. Which is smaller: 4/5 or q?
q
Let h be 6/10 + (-38)/5. Let p = 0.15 - 0.15. Which is bigger: p or h?
p
Let x = 2 + -1. Suppose 3 - x = -i. Let r be (i/(-3))/(6/9). Is 1 < r?
False
Let a(k) = -8*k**2 - 11*k + 7. Let p = 8 - 2. Let n(m) = 7*m**2 + 10*m - 6. Let w(l) = p*a(l) + 7*n(l). Let f be w(-4). Which is smaller: -2/3 or f?
-2/3
Let c(t) = -4*t + 5. Let x be c(-10). Let b be (8/(-6))/(10/x). Let r be 1 + -3 - (b + 3). Which is greater: 1/5 or r?
r
Suppose -2*r + 3*r - 28 = 0. Let f be 4/(-14) - (-15)/r. Let l = -125/3 + 42. Are l and f unequal?
True
Let h = -1 - -1. Let y be (-1 + h + 1)/(-2). Let x(q) = q**2 - 8*q + 7. Let u be x(1). Is u smaller than y?
False
Let u be (2/(-14)*-1)/((-2)/66). Is u > -4?
False
Suppose -2*p = -6*p. Suppose -l = -a - 5 + 3, p = 3*l + a - 2. Which is smaller: 3 or l?
l
Let k be ((-1)/2*0)/(-2). Suppose k = 2*s - 18. Let w = s - 8. Is 2/13 bigger than w?
False
Let r = -14 + 16. Suppose 3*y = x, -2*x = 3*x - 5*y + 10. Let j be (x + 5/r)/(-2). Which is smaller: -1 or j?
-1
Let n = -374 - -370.87. Let p = 0.77 - n. Let w = p + -4. Is 1/5 less than w?
False
Let l be (8 - 7)/(0 + (0 - 1)). Let i(p) = p + 2. Let w be i(-4). Which is smaller: w or l?
w
Let a(g) = -g**3 + g**2 + 2*g + 2. Let n be a(-1). Does n = 2?
True
Let x(k) = k**3 + k**2 + k + 3. Let c be x(0). Suppose 2*j - c = -5. Is j != -2/37?
True
Suppose -2*f + 2*j - 16 = -6*f, j = -5*f + 17. Suppose 0 = -p - 0*p - f. Are -2 and p equal?
False
Let l be 10/1*(-1)/12. Which is bigger: -2 or l?
l
Let j be (6/26)/(6/(-4)). Let i = -30 - -30. Is j at most i?
True
Suppose 5*v - 20 = -0. Suppose -2*a - 10 = -7*a, -v*h - 2 = -a. Which is bigger: h or 3/19?
3/19
Suppose 2*m - 10 = -3*f, 6*f + 3*m - 14 = 2*f. Suppose 0 = 5*g - 0*g + 3*a - 20, -a - 12 = -3*g. Let d be 1/f*0/g. Which is greater: -2/7 or d?
d
Let k(w) = -w + 10. Suppose -2*z - 2*z - 32 = -5*d, 5*z = -5*d + 50. Let g be k(d). Suppose 0*x = -g*x. Is x at least 0?
True
Let m = 1 + 3. Suppose l = -m*j - 1, 2*j + 18 = 4*l + 4. Let q be (-2 - (-1 - 1))/1. Which is smaller: j or q?
j
Suppose q = 3*q - 4. Let c = q + -10/3. Do c and 0 have the same value?
False
Let p = -1.23 + 1.3. Is p > 1/4?
False
Let i(h) be the third derivative of -h**5/60 - h**4/8 + 2*h**3/3 - h**2. Let x be i(-4). Let c be 3/(-6)*(0 + x). Is 0 less than c?
False
Let y be 90/6 - (-8)/2. Is 17 not equal to y?
True
Let a = -167011/246 - -4075/6. Let z = a + 3/41. Let q(o) = -o**3 - 6*o**2 + 7*o - 1. Let l be q(-7). Is z not equal to l?
True
Let r be ((-1)/3)/((-1)/3). Let h be (-3)/((-6)/4)*2. Suppose -h*p = r + 3. Which is greater: -1/2 or p?
-1/2
Let z be 4/(1/4*2). Suppose 0*d = -4*d - z. Is -2 at most as big as d?
True
Suppose 0 = 5*u + 4*f + 25, 3*u + f + 3*f = -23. Let x = 1 - 4. Is x at most as big as u?
True
Let w be (1/4)/((-4)/(-56)). Which is smaller: w or 3?
3
Let p = -23/2 - -149/12. Let o = -41/36 + p. Let h(y) = y**2 + 7*y + 6. Let g be h(-6). Does o = g?
False
Suppose -o - 18 = -4*q, -5*q + 11 = o - 16. Let a be (-1)/o - 2/(-4). Suppose a = -3*m + 6 + 3. Which is greater: m or 1?
m
Suppose 1 = f - 2*n, 5*n + 0*n - 10 = 0. Which is smaller: f or 4?
4
Suppose 2 = 5*a - 8. Let f = 0.017 - 1.017. Is f >= a?
False
Let r(p) = 2*p - 7. Let q be r(5). Let a = 4 + -2. Let k = 2 + a. Which is bigger: q or k?
k
Suppose 0 = -0*w + 2*w. Is -3 < w?
True
Suppose 0 = -2*d - 8, c = -c + d + 2. Which is greater: c or 0?
0
Let v = 3.7 + -4.7. Which is smaller: 3 or v?
v
Let h(a) = -a**3 - 2*a**2 + 4*a + 4. Let c be (-3)/(-1 - (1 + -3)). Let q be h(c). Which is smaller: -0.1 or q?
-0.1
Suppose 4*d + j = 5*j + 12, 3*d - j - 3 = 0. Let z = 11 - 5. Which is bigger: z or d?
z
Let f be (-2)/(-1) - ((-6)/(-2) - 0). Is f > -1/41?
False
Let k = -17396/35 + 497. Which is bigger: 1 or k?
1
Let q be 18/81 + ((-85)/18 - -3). Let c(r) = -r**3 - 7*r**2 - 5*r + 4. Let x be c(-6). Is x smaller than q?
True
Suppose 0 = -5*p + 2*p + 4*i + 37, 3*i - 16 = -4*p. Suppose p = 3*d - 4*d. Which is bigger: -8 or d?
d
Suppose -5*t + 7*t = 0. Suppose -i + t = -4. Let x(p) = -p**2 - 9*p + 5. Let q be x(-9). Which is bigger: q or i?
q
Let n = 6 + -2. Let l = n - 0. Suppose -l*s + j = s - 1, -2 = 2*j. Is -1 <= s?
True
Let d be 12/(-18) - 8/(-3). Let p = d - 3. Which is smaller: -2 or p?
-2
Let r be (87/30 - 3)*-9 - 1. Is r at least 1?
False
Let w = 126 - 129. Which is smaller: w or -2?
w
Suppose 2*x = -3*f, 2*f + 3*x - 8 = -x. Let l be -2 + f*(-1 + 0). Let d = 0 + l. Is d at most -2?
False
Let i be -6 + -3 + (0 - -1). Is -8 less than or equal to i?
True
Suppose -6*x - 5 = -x. Is -1 != x?
False
Let c be 0 + (-21)/23 + 1. Let k = -49 + 49. Is k less than or equal to c?
True
Suppose -4*l + 2*i = 4*i - 8, 0 = 3*i + 6. Let s = -6 + 9. Suppose 3*a = 2*a + s. Is l smaller than a?
False
Let b be 9/(-36) + (-61)/12. Let g = -9 + 4. Do g and b have the same value?
False
Let y be 4 - 36/8 - (-2)/(-12). Let h be (-2)/(-3) + 2/(-3). Which is smaller: y or h?
y
Let i be (-161)/(-63) + 3/(-1). Is i bigger than 0?
False
Suppose -3*x = -2*x. Is 3 at most x?
False
Suppose -3*c - 54 = -3*h, -2*h - 3*c = -34 - 22. Let k = 45/2 - h. Let r = -1 - -2. Which is smaller: r or k?
k
Let z = 5 + -7. Let q be z/(-4) + 10/(-4). Which is smaller: q or 1/2?
q
Let p be (-105)/(-91) - (1 - 0). Do p and 0 have the same value?
False
Suppose -n = r + 6, -2*r + n - 6*n - 15 = 0. Let q be (-5 - r)/(2/(-1)). Is 5 less than q?
False
Let x = -99 + 261. Is x at most as big as 163?
True
Let q be 0/(3/(9/6)). Let y(u) = u**2 + q + 1 - 5 - 4*u. Let h be y(4). Which is smaller: -3 or h?
h
Let t be ((-4)/8*0)/1. Are t and -3/14 equal?
False
Suppose b + 54 = 6*b - w, -59 = -5*b - 4*w. Suppose -3*j = -4*k + 50, k - j - 2 = b. Is k smaller than 11?
False
Let u = -28 - -27. Which is bigger: u or -7?
u
Let k be -3*(0 + (1 - 2)). Suppose 5*w - 2 - k = 0. Suppose -4*c - 5 = -w. Which is greater: -1/4 or c?
-1/4
Let i(p) be the third derivative of -p**6/120 - p**5/10 + 7*p**4/24 + p**3/6 + p**2. Let t be i(-7). Let j = -343/1665 - 3/185. Is j <= t?
True
Suppose 0 = -2*r - 23 + 1. Which is bigger: r or -10?
-10
Let b = 5.4 - 2.4. Are -5 and b equal?
False
Suppose i + 5*k - 30 = 0, -17 = -3*i + 4*k + 35. Let o = -10 + i. Which is smaller: 9 or o?
9
Let v = -1.3 - -1.4. Which is smaller: 10 or v?
v
Let a be ((-10)/(-35))/(9/(-14)). Which is bigger: a or -2/3?
a
Let g = 177.1 + -177. Let o = 0.3 - -0.7. Let t = -0.5 + o. Is t > g?
True
Let a be 10 + -3 - 1*-1. Suppose 3*b = u + 4, -2*u + 36 = 3*b + 2*b. Is a greater than u?
False
Let v(c) = -2*c - 5. Let o be v(5). Which is smaller: o or -16?
-16
Suppose 0 = 4*u - 3 - 17. Suppose 0 = 4*b + u*t - 16, 0 = 2*b + t + 4 - 12. Let x = 2 - b. Is x at least 2/3?
False
Let a = -13 - -11.9. Suppose 8*p = 11*p. Is p greater than or equal to a?
True
Let p = -26 - -14. Let f be 4/p + 22/57. Do f and 1 have different values?
True
Let h = 0.1 - -0.9. Let v = -10 - -12. Let s be v/32*(-36)/(-6). Is h > s?
True
Let k be (-4)/18 + (-60)/(-27). Let w = k + -4. Suppose -4*g = 2*z - 6, -1 = 3*z - 2*g + 6. Which is bigger: z or w?
z
Let i = 7