140. Let j be (4/(-12)*0)/(-3). Is j at most k?
False
Let i be ((-10)/(-6))/((-1)/(-3)). Suppose i*m - 73 - 12 = 0. Is 16 greater than m?
False
Let f = -12277941/54800 + 1/54800. Let o = 224 + f. Let p = o + -17/60. Which is smaller: 0 or p?
p
Let t = -1/60 + 5/12. Let c(i) be the second derivative of i**5/20 - i**4/4 + i. Let w be c(3). Is t at least w?
True
Let w be 148/20 + (-4)/10. Suppose -3*s = 9, -2*z + w*z - 4*s - 12 = 0. Is 1/12 equal to z?
False
Let s = -24 - -18. Which is smaller: -5 or s?
s
Let y be (-1172)/(-80)*(-373)/(-2). Let j = 2732 - y. Let i = j - -1/360. Are i and 0 non-equal?
True
Let r(v) = -v**3 - 7*v**2 + 12*v - 11. Let s be r(-9). Let k be (-6)/27 - s/9. Which is greater: k or -4?
-4
Let i(c) = 3*c - 7. Let o be i(2). Is o greater than or equal to 6/19?
False
Suppose -4*l + 15 = l. Suppose -5*c - 4*u = -l, u - 11 = c - 4*u. Let s be c/(-3)*(5 - 4). Is s < -1/4?
False
Let j = 24 - 27. Which is smaller: j or -22/7?
-22/7
Suppose -5*i - 7*m = -9*m + 15, 20 = -2*i - 2*m. Let u(f) = 2 + 0*f - 2*f + 0*f. Let h be u(2). Do h and i have different values?
True
Suppose h = 3*x - x + 4, -5*h = -x - 20. Is 3 <= h?
True
Let h = -9/7 - -8/7. Let b = 22 - 21.1. Let w = -1 + b. Which is greater: w or h?
w
Let s = 24.99 + -25. Is 0 smaller than s?
False
Let z = 10 - 7. Suppose -z*j + 7*j = -16. Is -3 less than j?
False
Suppose -7*j + 2*j = 10. Let u be ((-3)/(-6))/(j/(-8)). Let w be 1/3 + u/(-6). Which is smaller: -1 or w?
-1
Let h = 72.1 + -76. Let z = 4 + h. Is -1 not equal to z?
True
Let a(f) = 2*f**3 - f**2. Let n be a(-1). Let r be n/1 + 16 + 1. Is r less than 14?
False
Let k = 20 - 34. Let h = k + 13.9. Are 7/2 and h equal?
False
Let u(y) = -y**2 + 7*y - 2. Let x be u(7). Let j = x - 0. Which is smaller: j or 0?
j
Suppose -6 = -2*y + 10. Let z = -8 + y. Is z != 0.4?
True
Let c be -2 - 1 - (10 - -38). Is -50 at least c?
True
Let p = 18 + -17. Is 18/11 at most p?
False
Let l(i) = -i**3 + 5*i**2 - 4*i. Let z be l(4). Let t be (-4)/8*(0 - z). Is t at least 1/7?
False
Let l be (6/12)/((-1)/(-2) + -1). Let a = 155/92 + 3/46. Let s = a - 2. Which is bigger: l or s?
s
Let t be -1 - 3 - (5 + -10). Let y be 3/9 - 22/102. Which is bigger: t or y?
t
Let h = 1.4 - -1.6. Which is greater: h or -2/7?
h
Let c = 4.4 + -0.4. Let v = 9 + -11. Is v at least as big as c?
False
Let y(m) = 2*m**2 - 2*m - 2. Let u be y(2). Let h = 3 + 0. Is h greater than or equal to u?
True
Let b be (9/(-10))/9*8/(-2). Is b at most -0.1?
False
Let u be 0/((3 - 1)/(-1)). Suppose u = -g - 3*g + 20. Are 4 and g non-equal?
True
Let m be (-9)/(-3) - (7 - 5). Suppose -3*x - 133 = 284. Let u = x + 699/5. Which is bigger: u or m?
m
Suppose 3*x = -0*x. Let n be x/(-2) + (0 - 1). Which is smaller: 1/7 or n?
n
Let f = 57732 - 1386005/24. Let x = 55/3 + f. Let g be (2 + -2)/(1 - -1). Is x > g?
True
Let l be -3*(434/1800 + (-5)/20). Which is smaller: l or -1?
-1
Let z(v) = v**3 - 3*v**2 - 2*v + 6. Let c be z(3). Let q be c + 3 - 5/1. Is q < -2?
False
Let z = -31.95 - -32. Which is smaller: 0 or z?
0
Let v = 206/17 + -2542/221. Which is greater: v or 2?
2
Let w = -17 + 13. Let q be (w/10)/((-44)/110). Suppose 1 = 2*l + 3. Which is smaller: l or q?
l
Suppose 4*n = b + 11, -4*n = -5*b + n + 5. Let y(i) = 4*i. Let c(h) = -7*h - 1. Let p(g) = b*y(g) + 3*c(g). Let v be p(-4). Is 1 at most as big as v?
True
Let p = 11 - 6. Let y = p - 6. Which is bigger: 2 or y?
2
Let f = -4 + 7. Suppose 4*h = k, -4*k - 4*h = -f*k. Do k and 2/29 have the same value?
False
Let t be 4/(8/18)*3/(-9). Are t and -10 equal?
False
Suppose -2*j + 2*j = -4*j. Suppose -3*l - 4*d + 30 = 2*l, 4*l - 5*d + 17 = 0. Is l at least as big as j?
True
Let w = 198/7 - 1726/63. Which is greater: 1 or w?
1
Let y be 4/(-92)*(2 + 0). Which is smaller: y or -4?
-4
Let i be 55/15 + (-4)/6. Suppose o = -i*o + 16. Which is bigger: 1 or o?
o
Let n(l) = -l**2 + 5*l - 4. Let u = -2 - -6. Let q be n(u). Let x be 4/10 - (-12)/20. Is q > x?
False
Suppose -4*q - 6 = -q, 3*q = -3*x + 12. Let v(d) = -2*d**2 + 3*d - 2. Let k be v(2). Let o be k/((-4)/3) + 2. Which is bigger: x or o?
x
Let s = 223/308 + 2/77. Let t be (10 + -12)*(-2)/4. Which is bigger: s or t?
t
Suppose 0 = -0*i - 2*i - 34. Let s = 50/3 + i. Which is greater: s or -3?
s
Let h = -67 + 22. Which is smaller: 0.1 or h?
h
Let n = 1163.39 + -1171. Let k = n + 12.5. Let r = 0.11 + k. Is -2/5 at least as big as r?
False
Let f be (-12 + 13)/(1/12). Let o be (54/36)/(f/2). Is -1 at most o?
True
Let m = 1 + 0. Let b be -15*((-8)/5 + m). Suppose s + b = -4*k + 30, 10 = -5*s + 3*k. Which is smaller: s or -2/5?
-2/5
Let o(t) = t - 8. Let d be o(4). Let m be (-4)/(-14) + d/14. Are 1 and m unequal?
True
Suppose 3*u + 4*v + 20 = 0, -4*u = -v + 3*v + 10. Which is greater: -1 or u?
u
Suppose -w + 1 = 26. Which is smaller: -26 or w?
-26
Let x = -5678 + 62515/11. Is x greater than or equal to 5?
True
Let w = -21 + 33. Suppose -w = -5*u + 8. Suppose -5*r - 5*h = 3 - 8, 5 = -r - 3*h. Is r > u?
False
Let p(q) = q + 1. Let m be 16/5 + (-4)/20. Let u be p(m). Let v = 1 + -1.1. Which is greater: u or v?
u
Suppose 0*f + f = 0. Suppose 0 = -2*o + 4*s + s - 7, -2*o - 5*s = -23. Suppose -9 - 4 = 2*r - 5*n, 0 = o*r - 3*n + 5. Which is bigger: r or f?
r
Let n(t) = t**2 + 4*t + 4. Let m be n(-3). Let w(l) = 2*l**2 + 4*l. Let v be w(-3). Suppose -4*z + 2*d = -2*d + 12, -2*d + v = 0. Is z > m?
False
Let a be (462/(-45))/(1/9). Let d = 160 + -68. Let u = d + a. Is -1 <= u?
True
Let b(t) = -2*t + 10. Let r be b(0). Are 9 and r unequal?
True
Suppose 3*m - 2 = 2*m. Suppose 0*j = m*j. Let k be (-14)/(-10) + -1 + 0. Is k greater than j?
True
Let h(z) = -z - 8. Let r be h(0). Let p be (-6)/(-10)*5/r. Which is smaller: 0.1 or p?
p
Let t = 1.2 - 0.4. Let w = t - -0.2. Let l = -0.6 + 0.6. Which is greater: w or l?
w
Let f(q) = -q**2 - 11*q + 13. Let u be f(-13). Let o = u + 16. Which is smaller: -2 or o?
-2
Let u = -0.1 - 0.9. Suppose 3*f + 4*c = 14, 0 = 5*f - 5*c - 0*c - 35. Is u at most as big as f?
True
Let f = 119.6 + -113.63. Let g = -4.04 + f. Let d = g + 0.07. Is d <= 2/3?
False
Let j be 7/4 - 1/(-4). Let s(v) = -v**3 - 7*v**2 - 6*v + 2. Let w be s(-6). Suppose 6 = -w*n + 4*n. Is n less than or equal to j?
False
Let k = 20/9 - 2. Which is bigger: -1 or k?
k
Suppose -3*f = -z + 7, -5*f + 4*z = 3*z + 11. Which is greater: -5 or f?
f
Let t(g) = -g**3 - 13*g**2 - 12*g + 2. Let x be t(-12). Is x bigger than 2?
False
Let q = -2 - -11. Which is greater: 10 or q?
10
Let z be (-5)/(-15)*6/8. Do z and -31 have the same value?
False
Let j(x) = -x + 7. Let s be j(5). Suppose -2*a = -p + 6, -3*a + 0*p + s*p = 11. Let f be (4 - 2)*a/9. Which is greater: 0 or f?
0
Let y = -0.1 + 0.2. Suppose 18 + 3 = -3*s. Let n = -7 - s. Which is smaller: n or y?
n
Let s be 119*2/(3 - 2137). Let u = 2/97 + s. Is u greater than 0?
False
Suppose -2*r + 8 - 4 = 0. Let a be (r/(-4))/(9/18). Which is bigger: a or -1/6?
-1/6
Let m be 68/(-20) - 4/(-10). Let c = m - -1. Let t be 0/(-2*1/c). Is t <= -1/3?
False
Let t be ((-4)/(-10))/((-2)/10). Let h = 7 - 4. Suppose h*o = -o. Are o and t equal?
False
Let r = -0.4 - -0.5. Which is smaller: -0.7 or r?
-0.7
Let n = 9 + -14. Let f be -2*1*n*-1. Let z = 6 + f. Which is greater: -3 or z?
-3
Let w(p) = 3*p**2 + 2*p - 4. Let v be w(2). Let d be ((-1)/v)/(18/48). Is 1 at most as big as d?
False
Let y(s) = s**2 - 2*s - 6. Let l be y(4). Which is greater: 1 or l?
l
Let o be (15/6 - 2)*2. Let h(i) = -2*i**3 - 2*i + 1. Let l be h(o). Let r be (3/(-2))/((-1)/(-2)). Is r bigger than l?
False
Let j(d) = d + 2. Let w be j(-2). Suppose w = -l + c + 3, 0*c + 5*c = -l - 3. Let h = -42 - -212/5. Which is smaller: h or l?
h
Let t(l) = -4*l + 7. Let y be t(6). Let q = -18 - y. Suppose -5*n - 8 - 2 = 0. Which is greater: n or q?
q
Let o(k) = -k**3 - 5*k**2 - 3*k + 3. Let d be o(-4). Let r be 5*3*6/1035. Which is greater: d or r?
r
Let j = 11 + -10.94. Let y = -0.94 - j. Is y less than or equal to 4?
True
Suppose 7*n = 53 - 60. Let s = 2 + 0. Let x = -3 + s. Is n < x?
False
Let j = -91/48 - -17/16. Suppose -2*p = 3*w + 17, 2*w = -3*p - 3*w - 28. Which is smaller: p or j?
p
Let v = -58 + 57.9. Is v at most -13/2?
False
Suppose -4*k - q + 82 = -3*k, -k + q = -78. Is 79 < k?
True
Let b = 64 + -63. Suppose 0 = -3*u + o - 0*o 