 be (-1)/(p/(-2)) + -2. Suppose -v + z = 2. Is -2/3 < v?
False
Suppose -i + 12 = -l - 3, -i = 2*l - 6. Let v = 18 - i. Suppose -2 = -2*r - v. Which is greater: r or 0?
0
Let j be (-4)/(-6)*1 - 0. Suppose 4*m - h - 9 = 0, -1 = -3*m + 4*h + 9. Suppose -m*k = -0*k. Is j != k?
True
Let y = 335/8 + -42. Is 0 greater than or equal to y?
True
Let f be -3 - 34/(-12) - (-3)/18. Which is smaller: f or -1/2?
-1/2
Let s = 13381 + -53197/4. Let l = s - 81. Is l <= -1?
False
Let d be (-4)/(-1) - 14*2. Is -23 greater than d?
True
Let d be (71/(-3))/(2/(-6)). Suppose d = -5*s + 26. Which is smaller: -1 or s?
s
Let d = -5 + 9. Suppose -2*s + 2 = d*p, p + 4*p = 4*s - 4. Let t be 4 + (500/165)/((-4)/6). Does t = p?
False
Suppose -2*z + 6 = 4. Is 1 < z?
False
Let q = -6 - -4.6. Let j = 1.5 + q. Is 3 at least j?
True
Suppose 0 = -4*t - 5*d + 107, -2*t + 81 = t + 4*d. Which is bigger: 21 or t?
t
Let z be 1 + (15 - 1)/(2/7). Is z > 2/3?
True
Let f = -19 + 16.6. Let a = -2 - f. Let r = a - 0.4. Is -3 less than r?
True
Let f = 0.5 + -0.4. Let k be 3/(-2)*(-5)/30. Which is bigger: f or k?
k
Suppose 0 = -b - 4 + 14. Let v = b - 10. Let s be 1/1 + 1/(-3). Which is bigger: v or s?
s
Let c be (-5)/(45/6)*-18. Suppose x = -x + c. Let h be (-12)/(-8)*(-2)/x. Is 1 at least h?
True
Let u(r) = 3*r + 1. Let k be u(-2). Let t be 104/40 - 2/k. Which is bigger: 1 or t?
t
Let w = -33.5 + 24. Let l = -4.6 - w. Let d = l - 5. Which is smaller: -2 or d?
-2
Let h = 14177/34 - 417. Which is smaller: h or 0?
h
Let i = 32 + -129/4. Is -0.1 > i?
True
Let v(r) = -9*r + 9. Let w be v(1). Which is smaller: -6/61 or w?
-6/61
Suppose -17*h - 8 = -15*h. Let c be 21/(-14)*h/(-6). Let v = 2 + -2. Is v <= c?
False
Let z = -0.07 + 0.06. Let p = z - -1.01. Which is smaller: -0.1 or p?
-0.1
Let k = 0.108 + -33.108. Which is smaller: -1 or k?
k
Let z be (2/(-1))/6 - (-13)/21. Which is smaller: 56 or z?
z
Let t(c) be the first derivative of -c**3/3 + 7*c**2/2 - 4*c - 5. Let x be t(5). Is 5 >= x?
False
Let p be 22/24 - 6/9. Are 0 and p unequal?
True
Let k = -4 + 5. Suppose u + 27 - k = 0. Let c = -103/4 - u. Is 0 less than or equal to c?
True
Let y = -0.3 + 0.6. Are y and -0.2 equal?
False
Let o = 6 - -10. Let r be o/6*(-9)/(-6). Suppose -r*a = -1 - 3. Which is smaller: 4 or a?
a
Let t = -0.53 - -0.13. Are t and -4 nonequal?
True
Suppose -7 = 4*r - j - 2, 2 = 2*j. Let o be ((-3)/2)/(1/2). Which is smaller: o or r?
o
Let j = 0.7 - -0.3. Let f = 0.125 + -0.025. Is j greater than f?
True
Let d be 40/16*(-1 - -9). Let k = d + -22. Is -4 at least as big as k?
False
Let b = -36 - -35. Let d = -0.99 + 1. Let v = d + -0.41. Is v != b?
True
Let o = -15 + 18. Which is greater: o or 13/5?
o
Let h = -0.7 - -0.8. Let l be 10/3 - 6/(-9). Let j be (-2)/l - (-6)/6. Are j and h equal?
False
Suppose 0 = 4*n - 4. Suppose 2*i + 0*i = -y + 6, -5*i = 15. Let d be ((-2)/(y/9))/3. Is n equal to d?
False
Let l be -1 - (-4)/1 - 2. Let u be ((-1)/6)/(l/4). Which is greater: -1 or u?
u
Let m(b) = b**2 + 2 - 5*b + 3*b - 3*b - b. Let n be m(6). Is 2 less than n?
False
Let o = 2 + -3. Suppose 2*l = -0*l + 6. Suppose 0 = p + l*p. Which is smaller: o or p?
o
Suppose -5*d = 4*s + 4, 20 = s - 2*d - 2*d. Which is smaller: 5 or s?
s
Let x = 2 - -2. Suppose 0 = 4*d + 5*b - 14, -2*d + 16 = x*b + 6. Is 2 >= d?
True
Suppose 5*i - 36 - 29 = 0. Let n = 15 - i. Which is bigger: 10/7 or n?
n
Let u = 12 + -11. Is u equal to 1/3?
False
Let k = 0.1 + 0.8. Let f = 0.1 + k. Which is greater: -4 or f?
f
Let c(n) = n**3 + 2*n**2 - 3*n - 2. Let u be c(-2). Suppose u*r + 20 = 0, 5*l - 2*r + 13 = 33. Let d be (-10)/(-4) - (-4)/(-8). Is d smaller than l?
False
Let t = -9 - -8. Let w = 2 - -1. Let a = w + -3.2. Is t equal to a?
False
Let a = -28 + 29. Which is smaller: a or -13/4?
-13/4
Let i = 2 + -1. Suppose 0 = f - v - i, 4*v = 4*f - v - 2. Suppose g = -m - 0*m - 4, m - f*g = 0. Which is smaller: -1 or m?
m
Suppose 8*n = n - 14. Which is greater: n or -14/5?
n
Let t be -1 - (-2 + (-6)/(-9)). Are 0 and t non-equal?
True
Let f(r) = r**3 + 9*r**2 + 7*r - 1. Let l be f(-8). Let x be l/84*8/(-6). Is 0 greater than x?
True
Let z be (-42)/(-357) + (-1356)/(-34). Is 41 > z?
True
Let k be 15/(-25)*4/6. Which is smaller: -1/5 or k?
k
Suppose x - 4*q + 23 = 0, 2*q + 2 = -0*x - 4*x. Let t(r) = 4*r + 2. Let m be t(x). Which is greater: -9 or m?
-9
Let f be 1/(-3) + 20/15. Is 2 at most as big as f?
False
Suppose 4*a + 0*a = -3*n + 14, 4*n + 2 = 5*a. Let i be (-2)/1 - 843/(-495). Let y = i - 2/55. Which is smaller: y or a?
y
Let j be (-2 - -4) + 1 + (-34)/4. Is j bigger than -7?
True
Let a(q) = -q**3 + 11*q**2 - q + 16. Let v be (11/(-4))/(1/(-4)). Let t be a(v). Suppose 0 = -2*n + 7*n + t. Is -3 not equal to n?
True
Suppose k + 1 = -2*d, -2*d + 0*d = 2*k - 2. Suppose 7*x - 2*x + 15 = 0, -9 = -5*b + k*x. Which is greater: 2/19 or b?
2/19
Let v(u) = -2 - u**3 + 8 + 5*u**2 - 3*u - 2*u. Let y be v(4). Let i = y + -6. Which is bigger: i or -5?
i
Let x = 6 - 13. Which is greater: x or 1?
1
Suppose 2*m = p + p + 34, 69 = 5*m + 3*p. Is m > 16?
False
Let u = 28 + -27.81. Let x = 0.09 - u. Which is smaller: -2/5 or x?
-2/5
Let f = 1.12 - 0.52. Which is smaller: -0.07 or f?
-0.07
Suppose x + f - 5 = -3, -2*x + f + 19 = 0. Suppose -4*i - 2*p = -0*p - 6, 3*p - x = -4*i. Which is bigger: i or 3?
3
Let n be 21*-2*5/(-15). Which is bigger: n or 12?
n
Let d be (-1)/7 - 9*5/(-105). Is -0.7 <= d?
True
Let d = 3 + -3. Suppose d = 3*k - 0 + 6. Let v = 8 - 9. Which is greater: k or v?
v
Let d be 0 - ((-36)/(-64))/3. Is d less than -1?
False
Let w = -31 + 30. Which is greater: -2/201 or w?
-2/201
Let v(h) = h + 21. Let y be v(-4). Does y = 1/2?
False
Let h be 5/(-15) - (-4)/66. Which is greater: 0 or h?
0
Let p = 41/105 + -2/35. Let l = -8 - -9. Which is smaller: p or l?
p
Let u be (-2)/(-7)*(-1719)/2. Let m(x) = 35*x. Let z be m(-7). Let r = z - u. Does r = 0?
False
Let p be (-1*14)/((-8)/(-12)). Let q = p - -12. Let x be q/15*3/(-9). Which is bigger: x or -1?
x
Let z(b) = b**2 + 8*b - 2. Let y be z(-9). Let x = 6 - y. Let h be 2*((-3)/(-14) - 0). Is h less than or equal to x?
False
Suppose -j = -3 - 5. Do j and -2/5 have different values?
True
Let n be (1/(-6))/((-2)/(-4)). Let t = n + 16/21. Which is smaller: t or 0?
0
Suppose 4*l - 48 = -w, -2*l + 96 = 2*w - 3*l. Suppose -2*t = 3*b - t - w, t = -5*b + 78. Is b greater than 14?
True
Let y(p) = p + 3. Let d be y(-8). Which is smaller: -3 or d?
d
Let w(z) = z**3 - 7*z**2 + 2*z - 10. Let d be w(7). Suppose -d*q = q. Suppose j + 4 - 2 = q. Which is smaller: j or -0.3?
j
Let l be (1 + (-8)/(-4))/((-453)/(-2)). Which is smaller: l or 0?
0
Let c = 15 - 8. Suppose 4*t = 65 + c. Let j be (-2)/((-5)/((-10)/t)). Which is bigger: j or 2?
2
Let a(u) = u**2 + 7*u + 5. Let s be a(-7). Suppose s*v - 2 = 3. Suppose 4*d = 2*d. Which is smaller: d or v?
d
Suppose 6 = -3*h + 4*p, -3 = h + 2*p - 1. Does -2 = h?
True
Let p = 15 + -10. Suppose -2*n + 30 = 5*t, p*t + 3*n = 27 + 8. Let g(k) = k**3 - 3*k**2 - 4*k - 4. Let b be g(t). Is -5 equal to b?
False
Let f(o) = o - 3. Let h be f(6). Suppose -h*d + 8 = 5*b - d, -2*b = -5*d + 20. Let y = 0.2 + 1.8. Is b > y?
False
Let l = -5 + -5. Let p = l - -6. Which is greater: p or -2/5?
-2/5
Let h = -7 + 12. Is -5 greater than or equal to h?
False
Let h(m) = -m**3 - 8*m**2 - 7*m + 1. Let r be h(-7). Is r smaller than -2/127?
False
Let p = 4 + -3. Suppose -2*y = p - 5. Suppose y*w = -2*w - 4. Which is smaller: w or 1/3?
w
Let b(v) = v**3 - 7*v**2 + 2*v - 2. Let g be b(6). Let t = g + 105/4. Let y be 2/(-3) + 72/189. Which is greater: t or y?
t
Let g = 6/43 + 961/817. Let r = 1163/855 - g. Is r > 0?
True
Let m = 14 + -17. Let l be m/(-9) + 4/(-21). Do -0.1 and l have the same value?
False
Suppose 25 = -2*q + 3*a, 0*q + 5*q + 57 = 2*a. Let v be (-16)/56 - q/(-35). Which is smaller: -2/3 or v?
-2/3
Suppose 0 = 3*l - 5*a - 6 + 1, 0 = -4*l + 4*a + 4. Which is bigger: 2/3 or l?
2/3
Let z = 0.49 + 0.01. Let p = z - -5.5. Let l = -5.8 + p. Which is greater: l or 2/7?
2/7
Let u = -10.14 - -10. Let j = -0.16 + u. Is 0.5 >= j?
True
Suppose 0 = -3*j + 3*i - 9, 0 = -3*j - i - 0 + 3. Let c be 5 - 5 - (-2 + j). Suppose c*o + 6 = -2. Is -2 >= o?
True
Suppose -2*i + 5*i = -18. Let j(p) = -3*p - 13. Let t be j(-3). Which is bigger: t or i