r g?
10
Suppose h = -f + 5, 2*f + 5 = -3*f + h. Suppose f = -4*x + 5*v + 6, -3*x + 4*x + 6 = 5*v. Let a be 15/21 + x/14. Is 1 at most as big as a?
True
Let x = -76 + 72.9. Let t = 3 + x. Which is smaller: t or -1?
-1
Let o be (-63)/5 + (-30)/(-50). Is -12 bigger than o?
False
Let i = -42 + 30. Let q be 231/i*(-1 + 5). Let w = -229/3 - q. Which is smaller: w or 2?
w
Suppose -29 = -w + 111. Suppose -30 = 5*t - w. Let v be 4/t - 120/55. Which is bigger: -3 or v?
v
Let w = -29/2 - -13. Suppose 4*x = 5*x - 4. Suppose -5*p + 16 = -4*m - p, 0 = 5*m - x*p + 17. Is m not equal to w?
True
Suppose 4*z = 3*b + b + 8, 5*z + 5*b = 0. Are 4/13 and z nonequal?
True
Let a = -218 - -1513/7. Are -1 and a non-equal?
True
Let n(j) = -j - 1. Let t be n(-4). Suppose f = -t*f + 8. Let d(w) = 2*w - 2. Let u be d(f). Is u at least as big as 0?
True
Suppose -2*q + 8 = k, -k + 23 = -0*q + 5*q. Let a = 2 + k. Let s = -1 - a. Which is smaller: s or -2?
-2
Let g be (3 - (-7 - 2)) + 0. Suppose 3*h - 3*z + 16 = -2, 0 = 3*z - g. Suppose -6*o - 5 = -o. Which is smaller: h or o?
h
Let i(q) = 19*q**2 - 4*q - 20*q**2 - 8 + 3. Let d be i(-5). Is -9 < d?
False
Let w = 3 + -2. Let l = 1 - w. Let t = 1.1 - 1. Which is smaller: t or l?
l
Let z = -0.4 + 0.4. Let b be (9/(-12))/(30/(-16)). Which is smaller: z or b?
z
Let d(i) = -i**3 - 6*i**2 + 6*i - 9. Let y be d(-7). Are -3 and y unequal?
True
Let y = -0.2 + 0. Let k = 1.1 - 0.9. Which is greater: k or y?
k
Suppose 3 + 0 = -3*o. Let q be (20/56)/(o/4). Is q smaller than 0?
True
Let p = 72 - 70. Which is bigger: -6/19 or p?
p
Suppose 5*t - 8*t + 96 = 0. Let j be ((-2)/8)/(12/t). Is j at most 0.1?
True
Let l = 8.4 - 6.4. Which is bigger: -48 or l?
l
Let l = -28 - -29. Is l smaller than 2/23?
False
Suppose 0 = 4*y - 4 - 8. Suppose a - 20 = -3*a. Let l be 1/(-1)*(a - 6). Which is smaller: l or y?
l
Let h = 34 - 34. Is h not equal to -1?
True
Let r be (-2)/4 - 2/4. Let p(g) = -g**2 - 7*g - 8. Let x be p(-6). Let t be (x/10)/(6/15). Do r and t have different values?
True
Let t be (-9)/12 + -1 + 2. Which is greater: 5 or t?
5
Let t = 701636 - 324155665/462. Let w = t + -5/66. Is -2/3 less than w?
True
Let z = -6 - -6. Let a be (-16)/10 + (-2)/(-2). Which is bigger: a or z?
z
Let x(k) = k. Let j be x(1). Is j at most as big as 1?
True
Let d = -2.93 + -0.07. Let j(r) = -1 - 14*r**2 + 9*r - r**3 + 2*r**3 + 4*r**2. Let w be j(9). Is d greater than w?
False
Let g = -31 + 53. Let v = g - 15. Which is smaller: 6 or v?
6
Let m = 9.05 - 0.05. Which is bigger: m or -0.1?
m
Let z be -2*(2 + 21/(-6)). Let d = z + -4. Let t(y) = 4*y - 1. Let i be t(d). Is -5 less than or equal to i?
True
Let q be (1*(-30)/(-21))/(-1). Let p = q + 61/28. Which is smaller: 0 or p?
0
Let z = 0.067 + -43.067. Is 0.1 smaller than z?
False
Let d = -57 - -52. Let u = -10 + 6. Let t be 14/(-2) - u/2. Is t equal to d?
True
Suppose t + 0*t = -7. Let s = -1 + -3. Let n = t - s. Is n at most as big as -3?
True
Let i = -8007/208 - 1/208. Which is smaller: i or -39?
-39
Let a(g) = g**3 + g**2 - 2*g. Let i be a(-2). Let y be -1 - 3/(-6)*6. Suppose -y*o - 3*o = 0. Is o at most as big as i?
True
Let k(m) = m**2 - 2*m + 2. Let r be k(2). Suppose 1 = -i, -3*s = 2*s + 2*i - 13. Does r = s?
False
Suppose -8 = 2*z + 2*z. Let v be z*3/6 + 1. Is 0 <= v?
True
Let p = 37.2 + -35.2. Let c = -0.7 + 1. Which is smaller: c or p?
c
Let x = -266 + 805/3. Which is bigger: x or 1?
x
Let t be 12/30 - 17/5. Let m = 0 - 2. Let y = t - m. Do -2/13 and y have the same value?
False
Let b = -346 - -212. Let m = -397/3 - b. Do 0.1 and m have different values?
True
Suppose 0 = -4*u - 3*k - 69, u + 5*k + 5 = -8. Is u equal to -18?
True
Let g(i) = i**3 - 21*i**2 - i - 4. Let x be g(21). Which is smaller: x or -26?
-26
Let j be (-2)/(-24) - (-3)/12. Suppose -2*u + 18 = 5*w, 0*w - 4*w + 16 = 0. Are u and j unequal?
True
Suppose 1 + 8 = -3*i - w, 3*w = -i - 11. Let v = i - -2. Let k be (1 + 2/(-3))/((-33)/(-18)). Which is smaller: k or v?
v
Let t be (5/20)/(15/20). Which is smaller: 52 or t?
t
Let x(q) = 4*q**3 + 2*q**2 - 2*q + 1. Let y be x(1). Let i(u) = u**3 - 5*u**2 + 4. Let m be i(y). Suppose 0 = m*p + 3 + 1. Which is smaller: 3/8 or p?
p
Suppose 5*l = -50 - 15. Which is smaller: -3 or l?
l
Suppose -3 = -d - 3*j, 4*d + 4*j - 1 - 3 = 0. Suppose -x = -d*x. Which is smaller: x or 2/7?
x
Let n be 1/(2/8*-2). Let o be (-3)/(-3)*0/n. Which is smaller: o or 1?
o
Let k = -14 - -13.97. Are -2 and k nonequal?
True
Let g = -2 + 3. Suppose 3*b - m = -29, -m - 4*m + 55 = -5*b. Let p be 1 - (-1 + (-15)/b). Is p >= g?
False
Let j be 5/2 - 6/(-4). Suppose 0*i = -i - j. Which is smaller: -3 or i?
i
Let t(o) = -o**3 + 5*o + 3. Let b be t(-2). Let a = 7772 - 489824/63. Let f = a - -32/9. Is f less than b?
True
Let a = 3 + -7. Let x = -7 - a. Let r(i) = -i**3 - 7*i**2 - 2. Let f be r(-7). Are x and f equal?
False
Let y be 61321/4 - 2/8. Let h be (-2)/(-7) - 6654/y. Let g = -2/365 - h. Is g < -1?
False
Let w = -88 + 96. Do -0.2 and w have different values?
True
Let x be 6*(-20)/5*(-4)/54. Which is smaller: x or 1?
1
Suppose 11 = 3*m + 2. Suppose -5*j = 5*n, -j = m*j + n - 3. Let h be ((-2)/(-15))/(j/3). Which is smaller: h or 0?
0
Suppose -3*d = -4*q - 37, d = -2*d - 2*q + 13. Let r be ((-3)/(-2))/((-9)/(-36)). Is d bigger than r?
True
Let t be -1 - (2 - 14/5). Let c(v) be the second derivative of v**5/20 + 2*v**4/3 - 3*v**3/2 - v**2/2 + 2*v. Let j be c(-9). Which is greater: t or j?
t
Let n = -140.072 + 141. Let a = n - -0.102. Let p = a - 1. Which is greater: p or 1?
1
Suppose 0 = -2*z - 4*s - 30, -s = 2*z - 3*z - 3. Let j = -141 - z. Let t = j - -668/5. Which is greater: t or 1?
1
Suppose 0*c - c = -1. Let x = 288 + -286. Which is smaller: x or c?
c
Let a = -2 + 1.99. Let c = 0.01 + a. Is -0.7 greater than c?
False
Suppose -3*u - m - 49 = 0, -u + 0*u + 4*m = -1. Which is smaller: -12 or u?
u
Suppose 0 = -q + 4*u, -2*q = -2*u - 37 + 7. Let i = q + -17. Is i greater than or equal to 3?
True
Let d be 57/54 - (-1)/(-2). Which is smaller: 1 or d?
d
Let i(q) = q**2 - 6*q + 6. Let g be i(4). Let y(s) = -s**2 - 2. Let k be y(g). Let v = 415 - 421. Is v < k?
False
Let d be (2 + -5)/((-16)/498). Let n = d - 93. Let c = 98 - 98. Which is greater: n or c?
n
Let i be 1109/(-60) + (-2)/8. Let x = 88/3 + -11. Let w = i + x. Is -1 smaller than w?
True
Let g be ((-1)/(-2))/(3/42). Suppose -48 = -g*z + 3*z. Let y be 6/(-4)*1/z. Is -1 <= y?
True
Let u be 3*-1*2/(-3). Let r be (u + (-14)/6)*-3. Let s = -49/18 - -5/2. Which is bigger: r or s?
r
Let v = -8.04 - -0.04. Let t = 12.1 + -11.1. Which is smaller: v or t?
v
Let d be 13 - 7 - (-1 + 3). Is 5 at most d?
False
Suppose -a = -3*a - 5*i + 37, 5*a - 75 = 5*i. Let y be (-8)/33*(-12)/a. Which is smaller: 1 or y?
y
Let z = 2/2633 + -28977/18431. Is z equal to -1?
False
Let z = -96 + 478/5. Is -9 at least as big as z?
False
Let c = 4.1 + -0.1. Suppose 0 = 2*a - 2*b - 8, 0 = a + b - 3 - 1. Suppose -a*s = -9*s. Is c at least as big as s?
True
Let s = -56 + 54. Are s and -1 equal?
False
Let x = 845 - 120834/143. Is 0 > x?
False
Let r(s) = -s**3 - 6*s**2 + 11*s - 3. Let y be r(-7). Is y smaller than -32?
False
Let n be (-82)/170 - (-6)/15. Let l = n + -2/17. Is l smaller than -1?
False
Let u be (-3)/(-6)*-1*0. Is -1/17 bigger than u?
False
Suppose 0*r = 2*r. Suppose -5*d = -r*d - 25. Suppose -4*b + 35 = 5*p, -4*p + 28 = -3*p + d*b. Are 2 and p equal?
False
Let c(v) = 5*v - 1. Let x be c(1). Let j(o) = -4*o**3 - 2*o**2 - o. Let n(y) = y + 2. Let f be n(-3). Let a be j(f). Is a < x?
True
Suppose 0 = -5*l - 15 + 10. Which is smaller: 5/7 or l?
l
Let a be (-2)/15 + (-4)/(-14). Let m = 403 + -28211/70. Let h = m - a. Is 0 less than h?
False
Let m(o) = 4*o + 4. Let q(i) = 3*i + 4. Let f(p) = 4*m(p) - 5*q(p). Let w be f(9). Which is bigger: 6 or w?
6
Let h = -4 - -5.7. Is 2/7 at least as big as h?
False
Let o be (2/(-4))/(7 - 6). Which is bigger: o or 5/11?
5/11
Suppose u - 3*u - 18 = -5*s, 1 = u. Which is smaller: 13 or s?
s
Suppose -4*s - 4 = -0*s. Suppose -4*m + 24 = -w, -2*w + 4 = 3*m - 3. Suppose -m*h - 6 = 9. Is h != s?
True
Let w = 4 + 0. Let q(t) = 2*t - 27. Let g be q(15). Which is bigger: w or g?
w
Let p = -0.8 + 1.9. Let k = p + -0.1. Let l = 0.01 - -1.99. Is k <= l?
True
Suppose 0 = 2*a + 3*a - 40. 