 -637/30. Which is bigger: 16 or v?
v
Let l be -9 + 1/(5/20). Is -5 less than l?
False
Let g = 11.9 - 1.9. Let i = 13 - g. Which is smaller: i or 1?
1
Let r = -137 - -139. Let q = 0.07 - 0.67. Which is bigger: q or r?
r
Let n = 223/3 + -75. Is -21/2 <= n?
True
Let i = -1.8 - 5.2. Let a = -7.2 - i. Let w = a + 0. Which is bigger: 0.1 or w?
0.1
Suppose -4*y + 2*p - 10 = 0, -23 = 2*y + 4*p + 7. Suppose 2*h = 2*q - 15 + 7, -5*q - 16 = 4*h. Is y smaller than h?
True
Suppose r + 56 = 3*r - 5*v, 14 = r + v. Let l = -12 + r. Is l < 2?
False
Suppose -8*k = -3*k + 2*k. Is k smaller than 2/95?
True
Let c = 8 + -11. Is -2/3 not equal to c?
True
Let r = 0.2 + -0.6. Let b = 0.5 + r. Let n = 0 + b. Is -2 <= n?
True
Let q = 14 + -16. Is 1 less than q?
False
Let p = 51.5 + 5.5. Which is smaller: 1/4 or p?
1/4
Let f(p) = p**2 - 7*p + 4. Let b be f(5). Let h(l) = l + 6. Let t be h(b). Suppose t*q + 4*q = 0. Is -1 less than or equal to q?
True
Let f = 4.3 - 4. Let h = 1.5 + -1.9. Let v = f + h. Is -0.2 <= v?
True
Let z = 0 + 2. Suppose -h - 5 = -z*s, -3*s - 5 + 17 = 0. Suppose -h*y + 8 - 2 = 0. Which is smaller: y or -1?
-1
Let n(w) = -w**2 + 2*w - 1. Let j be n(1). Suppose -15 = -4*o - 5*a + 8, -4*a + 12 = j. Let x = -219 + 221. Is o less than x?
False
Let y = -3 - -6. Suppose 0*x - 34 = -5*o + y*x, -2*o - 4*x = 2. Which is smaller: o or 4?
4
Let v(w) = w**2 - 4*w + 2. Let g be v(1). Let i = 2 + g. Is i < -3/14?
False
Let x = 4 + -7. Which is bigger: x or -2?
-2
Let h(t) = -t - 4. Let r be h(6). Suppose -2*j + 34 + 2 = 0. Let b = j + r. Which is smaller: 1 or b?
1
Let u = 0 + 0.1. Let w = 0.04 + 0.16. Let y = u - w. Is 2 not equal to y?
True
Let z = 8.16 + -0.16. Let v = z + -7.8. Do 2/3 and v have the same value?
False
Let x = -22 - -21. Let a be (-3)/((-117)/(-2))*3. Which is greater: x or a?
a
Suppose -48*o - 2 = -46*o. Let x be ((-2)/(-5))/(55/(-25)). Which is bigger: x or o?
x
Let z be (-12)/(-6 - 0) - -2. Let i(u) = 6*u - 2. Let g be i(2). Suppose -2*k = -0*k - g. Are k and z equal?
False
Let i = 10 - 9.9. Let c = -3.1 + i. Which is smaller: 4/7 or c?
c
Let q(w) = 3*w + 2. Suppose 0 = c - 5*x + 1, -c - 4*x + 2 - 3 = 0. Let h be q(c). Is h smaller than -1?
False
Let b be (-6 + (-38)/(-6))*(-1 - -1). Is -1/50 >= b?
False
Let m(y) = 8*y**2 + 4. Let k be m(-4). Let t be 3/(-1) + 404/k. Is t bigger than 0?
True
Suppose -5*m = 2*k + 3*k - 20, -3*m - 16 = -4*k. Is 2/19 smaller than m?
False
Let r(h) = h**3 - h. Let a be r(0). Suppose a = 8*u - 3*u - 5. Is 2/15 greater than u?
False
Let w(u) = -u - 2. Let o be w(-3). Let a(v) = v - 8. Let m be 1 - 2 - (-6)/1. Let f be a(m). Which is smaller: f or o?
f
Let j = 1523 + -166009/109. Which is smaller: j or 1?
j
Let m(z) = -z**3 + 10*z**2 - 9*z + 3. Let v be m(9). Let l(o) = -o**2 - 8*o - 8. Let x = -8 - -2. Let c be l(x). Is v smaller than c?
True
Let g be 1*((-2)/3 - -1). Suppose 2*y + 4 = -5*j - y, 5*y = 3*j + 16. Is g < j?
False
Let h = -3 + -4. Suppose o = 4, 6 = -4*f + 4*o - 42. Let q be (1 + 4/f)*-14. Is q >= h?
True
Suppose -5*k + 2*y = 53, -2*k + 9*y - 38 = 4*y. Let h be (3 - 2) + 11/k. Is 0 greater than h?
True
Let w = -74 - -76. Do w and -1 have different values?
True
Let h be 0 + 1*(1 - -9). Let q be ((-2)/(-10))/(2/h). Is q not equal to 1/11?
True
Let o be 6/(-15) + 12/(-20). Let k be 2/(-10) + 1/(-45). Is o greater than k?
False
Let q = -4 + 3. Let j be (q/2)/((-14)/8). Is j less than 1?
True
Let h = 3 - 1. Let i be -2 + 6/(-15) + h. Let m = -0.2 + 1.2. Which is smaller: i or m?
i
Let u(q) = q**2 - 10*q - 3. Let x be u(10). Which is greater: -15/8 or x?
-15/8
Let t be 3/2 + (-7)/2. Let l be (t + 1)/(2 + -1). Does -2/15 = l?
False
Let b = -10 + 25. Is b greater than 15?
False
Let b be 6/14 + (-88)/(-56). Suppose a - b*a = 2. Is a at least as big as -3/5?
False
Suppose 19 = 2*s + 3*l - 8*l, 0 = -s + 4*l + 14. Suppose -8 = v - s*v. Are 9 and v non-equal?
True
Suppose 4*c = 3*c. Let x(v) = v. Let a be x(c). Which is greater: a or -1?
a
Let j = -1.13 + -0.07. Let b = 0.9 + 0.1. Which is bigger: j or b?
b
Suppose 6 = -w + 2*w. Let l be 24/20*40/w. Are l and 8 nonequal?
False
Let b = -12 + 17. Let d = -4 + b. Let u = -1 + d. Which is bigger: u or 2?
2
Let h be 2 + -2*2/(-4). Let z = 399 + -400. Is h bigger than z?
True
Let j be (-2)/(-42)*933/2. Let n = -297/14 + -9/7. Let b = j + n. Which is smaller: b or 0?
b
Suppose 2*b - 4*n = -8, 3*n = -3*b + 5*b + 7. Is -2/5 bigger than b?
True
Let q be (1 - 4) + 4 + -2. Let h = q - 0. Which is smaller: 1/3 or h?
h
Let l(s) = s**2 - 2*s. Let t be l(3). Do t and 1 have the same value?
False
Let a = 1/7450 - -2979993/52150. Let t = -58 + a. Are t and -1 nonequal?
True
Suppose 2*h = -h + 9. Let v be h/(-6)*-1*28. Suppose -3*d - v = 1. Is d less than -6?
False
Let c be 2 + (-2 - 3/3). Is 2/53 not equal to c?
True
Suppose b + b = 80. Let z = 125/3 - b. Let d = z + -17/12. Which is greater: 0 or d?
d
Let z be (-27)/(-3)*4/(-6). Let p be (-2)/(-3) + 16/z. Is p smaller than -2?
False
Suppose 0 = p - 2*p + 76. Let q = 527/7 - p. Do q and -2 have different values?
True
Let q = 14.7 - 0.7. Which is greater: q or 1/2?
q
Let j(m) = m**2 + 28*m + 31. Let c be j(-19). Is c at least -140?
True
Let b(r) = r**3 - 15*r**2 + 13*r + 17. Let i be b(14). Let c be 37*3/33 - i. Which is smaller: 1 or c?
c
Suppose 5*s + 4*q = 3, -4*s + 18 = -0*s - 2*q. Suppose -l = 2*l. Which is smaller: l or s?
l
Let n = -1403469/611 - -2297. Is n >= 1?
False
Let u be ((-2)/8)/(11/484). Is -11 greater than or equal to u?
True
Let q = 0.6 + -0.8. Let f = 2 + -5. Let z = f + 3.1. Is z at most q?
False
Suppose 0*l - 20 = -d + l, -2*d + 30 = -4*l. Do d and 24 have different values?
True
Suppose 3*z = -5*l - 79, 2*l - 56 = 4*z + 6. Which is bigger: -17 or z?
-17
Suppose -n + 13 = -6*n - 2*o, 3*n = -4*o - 5. Let w(t) = -t**2 + t - 2. Let c be w(1). Which is greater: c or n?
c
Let i = 1 - 3. Let z = i + 1.7. Which is greater: 1 or z?
1
Let b = 0 - 3. Let o = 2.9 + b. Is o greater than or equal to 0.3?
False
Let z = 0 - -4. Suppose 2*j - 4*p - z = 0, 3*p = j - p. Suppose s - 3 = c - 6, 0 = -5*c + j*s + 12. Which is smaller: c or -4?
-4
Let u be ((-3)/8874)/((-10)/(-8814)). Let n = u + -1/493. Is 1 smaller than n?
False
Suppose 0 = -3*t + 7*t - 2*t. Is -7/11 less than t?
True
Let v = 3.1 + -3.3. Let f = 0.1 - 0.1. Let n = v + f. Is -1 greater than n?
False
Let o = -7 - -6.7. Is o at least 1/2?
False
Suppose -4*w + 15 = -1. Which is bigger: w or 5/2?
w
Let w(u) be the second derivative of -1/6*u**3 - u - 15/2*u**2 + 0. Let j be w(-14). Which is smaller: j or -1/3?
j
Let k be 6 - 13 - -10 - (-494)/(-164). Is k less than or equal to 0?
True
Let v = -1 - -42. Which is smaller: v or 39?
39
Let i = 12 - 15. Let y be (-1 - 8/(-12))*i. Is y < 1/21?
False
Let w = -5 - -3. Let y be (w/1)/2 + -1. Is y greater than -3?
True
Let s = -14 + 12. Does s = -2?
True
Let h(w) = -w**2 - w + 1. Let c be h(-3). Let m be (3/(-3))/((-1)/7). Let j = 3 - m. Which is bigger: c or j?
j
Let i be (-3)/(-9)*3*-1. Let x(h) = h - 1. Let a be x(i). Which is bigger: -4 or a?
a
Suppose 1 = -9*y + 10*y. Do y and -8 have the same value?
False
Let z(p) = -p**2 + 7*p + 6. Let c be z(7). Let t be (-1)/(c*-1 - -1). Which is smaller: -1 or t?
-1
Suppose -3*v = -5*c - 11, c = -2*v + 1 + 2. Let o be 3 - v*11/6. Is -1/4 greater than o?
True
Suppose -3*n + 3 = -0, -5*y + 4*n + 1 = 0. Suppose -4*f + 2*s = -2, s = -2*f - 0*s - y. Are 2/9 and f nonequal?
True
Let l = -956/9 + 106. Suppose -j - 2*d = -0*j - 6, 4*d = 5*j + 12. Which is smaller: j or l?
l
Let d be 0/(-2) - (-16 - 2). Let l be 16/(-9) - 4/d. Suppose -1 = y - 0*y. Which is bigger: y or l?
y
Let h = 6 + -1. Let p = -2 + h. Is 2 at least as big as p?
False
Let j be (5 - (11 - 6))/((-2)/2). Is j greater than or equal to 6/49?
False
Let c = 21 + -16. Is 4 less than or equal to c?
True
Suppose 3 = -3*m - 0*m - 3*v, -4*v = 2*m. Let u be 3/((9/4)/(-3)). Let i be 0/m + u/(-14). Is 0 less than i?
True
Suppose -3*q + 2 = -q. Are -3/17 and q unequal?
True
Let r = 48 - 1825/38. Is 0 smaller than r?
False
Let z = 12 - 13. Do z and -8/7 have the same value?
False
Let c be 3*2*(-15)/(-18). Let d(k) = k**2 - 4*k - 8. Let a be d(8). Suppose -4*g = -2*o + a, 3*o + 3*g = -2*o + 8. Does o = c?
False
Let l = -4.2 + 0.2. Is l bi