3)/12. Is 11 != r?
True
Let s be (-3 - (-4 - -3)) + (-1 - -4). Which is bigger: s or 18/29?
s
Let y be 3/15 + (-93)/(-135). Which is smaller: 1 or y?
y
Let f(m) = -m**2 + m - 3. Let a be f(0). Suppose -3*g + 6 = -0. Suppose g = -l - 1. Is a != l?
False
Let y be (-1 - 0) + (-772)/(-22). Let p = y - 34. Let m = 5/187 + p. Is m < 1?
True
Let k = -0.6 - 0.6. Let p = k + 1.18. Which is greater: -2 or p?
p
Let n = -0.6 - -0.7. Which is greater: -0.01 or n?
n
Let b(f) = -2*f - 11. Let u be b(-9). Let g = -3 + u. Let q be 2/(-60)*-3*g. Is q smaller than 1?
True
Let d(p) = p**2 - 13*p + 3. Let s be d(13). Which is greater: 2 or s?
s
Let o be 6/(-4)*(-80)/(-6). Is -19 less than o?
False
Let m be (-42)/12*(-24)/(-238). Which is smaller: m or 1?
m
Let f = 63 - 62.9. Which is bigger: f or 0.04?
f
Let n = 0.329 - 0.029. Is n less than -0.9?
False
Let r = -21 + 25. Do 3 and r have the same value?
False
Let o be (-2)/(-18)*9/(-66). Does o = 0?
False
Let n be 6/(-10) + (12/(-10))/3. Is 2/111 > n?
True
Let v = -1.3 + 0.3. Let o = 0.7 + 0.3. Let r = 0.8 - o. Is r >= v?
True
Suppose -5 = 2*f + 3. Is -11 less than f?
True
Let t = -1 - -1. Let z = 50 - 301/6. Is z > t?
False
Suppose -2*v - 3*y - 3 = -1, 4 = -2*y. Let u(a) = -8*a + a**2 + 8 + 1 - v. Let h be u(7). Are 1 and h unequal?
True
Let a = 109 - 84. Is a less than 26?
True
Let k = 2/127 - -113/889. Which is bigger: 1 or k?
1
Let q = 19 + -10. Let l = -0.09 - 5.91. Let d = l + q. Which is greater: -2/3 or d?
d
Let u = -10 + 10.5. Let l = u - 0.4. Which is smaller: 0.08 or l?
0.08
Let x(r) be the third derivative of -r**5/60 - 7*r**4/24 - r**3 + 3*r**2. Let l be x(-6). Is l equal to -6/5?
False
Suppose 0 = 2*x + 3*x - 15. Suppose 3*y = q + 4*q - 25, -x*y - 3*q = -15. Which is smaller: 1 or y?
y
Let b(o) = -8*o**2 - o. Let s be b(-1). Let a be (-9)/s + 2/(-7). Is -1/2 bigger than a?
False
Let w(q) = q**2 + 2*q - 1. Let d be w(1). Let r be (3 - -1) + (-2)/d. Let l be (-3)/(-4) + r/(-4). Is 2/3 at least as big as l?
True
Let c(v) = -v + 4. Let t be c(7). Is 1 bigger than t?
True
Let l = 0 - 1. Suppose 3*j = 6*j - 9. Suppose j*m - m = 0. Is l less than m?
True
Let w = 622 - 41053/66. Which is bigger: -1 or w?
w
Let i = 1092 + -22937/21. Is i greater than or equal to 1?
False
Let r = 1.6 + -0.6. Suppose -4*j - j = -45. Let h be (-2)/j + (-2)/(-9). Is h bigger than r?
False
Let w be (-1071)/(-332) + 24/(-8). Let j = w - -2/83. Are 2/21 and j unequal?
True
Suppose -3*o = -4*o. Suppose -3*v + 5*q = 12, 0 = v - 2*q - o + 4. Let c(f) = -f**3 - 3*f**2 + 6*f + 6. Let p be c(v). Which is smaller: p or 0?
p
Let p = 163 + -188. Which is bigger: -3 or p?
-3
Let f(m) = -m**3 + 23*m**2 + 27*m - 73. Let x be f(24). Let q(o) = -2*o - 7. Let g be q(-6). Let h be 4/g*2/(-20). Is x smaller than h?
True
Let j = -1 - -1. Suppose 3*g + 0 - 6 = j. Suppose z - 9 = -g*z. Is z >= 4?
False
Suppose -4*j - 6 = -h, h = 4*j - 2*j + 4. Suppose h*l = -2*w - 2, 5*w + 5 + 0 = 5*l. Suppose l = -2*m + m - 2. Is -3 <= m?
True
Let r = -10 - -5. Let c be ((-4)/r)/(4/(-10)). Which is greater: c or -1/2?
-1/2
Let s(n) = 76*n**2 + 2*n - 6. Let q be s(4). Let t be (-2014)/q - (-6)/21. Let u = t + 1/29. Is u at most as big as 0?
True
Suppose 0 = -2*z + 82 + 38. Is z smaller than 60?
False
Let i be 2 + (0/(-2))/1. Let d(a) = a**3 - 3*a**2 + 3*a. Let o be d(i). Suppose -p = o*p + 6. Do p and -2 have the same value?
True
Let t be (-2 - -3)*(-52)/12. Which is smaller: -5 or t?
-5
Let a = 5 + -4. Which is smaller: a or -1?
-1
Suppose d = 3*d + 8. Let p be (-30)/44 + d/(-8). Let b(g) = -g**2 - 8*g - 7. Let h be b(-7). Which is bigger: h or p?
h
Suppose 1 = 3*p - 2. Let g be (-2 + 10/4)*-2. Let a be (-12)/(-36)*g/(-1). Is a <= p?
True
Suppose 4*j - 76 + 13 = 3*g, -9 = -2*j - 3*g. Which is bigger: j or -1?
j
Let u = -3 + 4. Let r be 51/(-60) - (0 + u). Let a = r - -8/5. Is 2/5 at least a?
True
Let a = -10 - -2. Let c = 36 - 25. Let y = a + c. Does y = -2/3?
False
Let m be 6/(-3) - -3 - 2. Which is smaller: m or 1?
m
Suppose -3*k + 5*w + 11065 = -k, 4*k + w - 22075 = 0. Let z be 3 + (k/9999 - 3). Let l = z + -2/303. Is l at least as big as 0?
True
Let a(x) = 2*x**3 + x**2 + x - 1. Let v be a(-2). Let j be (4/35)/((-3)/v). Let d = 4 + -2. Which is smaller: j or d?
j
Let o = -2 + 2.2. Let q = -3.2 + o. Let y = q + 2.9. Which is greater: y or 0?
0
Let a = 1.7 - 3.1. Let b = 0.6 - a. Let w be 6/(-3 - -1) - -1. Which is smaller: w or b?
w
Let k = 0 - -2. Let v be 5 + (-3 + k)/2. Do 0.1 and v have different values?
True
Let i = 0 + 0. Suppose 13*v = 9*v + 16. Suppose -5*k - 1 - v = i. Which is bigger: -1/2 or k?
-1/2
Let f(h) = -h + 13. Let p be f(9). Suppose p*j - 5*j = 0. Suppose 5*u - 25 = -5*x, -2*u + x - 5 = -0*x. Is j at least as big as u?
True
Let c(i) = -i**3 - 6*i**2 - 6*i - 1. Suppose -4*d + 3*a + 2 = 7, -4*d = 4*a + 40. Let b be c(d). Let n be ((-8)/(-10))/(2/10). Do n and b have different values?
False
Suppose 3*w - 2 + 5 = 0. Let u be (-6)/11*(0 - w). Which is smaller: -2 or u?
-2
Let v = -51 + 47. Is -7 > v?
False
Let j = 6 - 7. Let q be (2/4)/(0 - -1 - -7). Is q less than or equal to j?
False
Let b(k) be the second derivative of k**3/6 - 9*k**2/2 - k. Let j be b(9). Let u be -2 + 1/((-5)/(-8)). Which is bigger: j or u?
j
Suppose 7*l - 15*l = 0. Is -6/31 less than l?
True
Let u = -5 - -3.5. Let z = u - -1. Is z greater than or equal to 0?
False
Let p(v) = v**3 - 5*v**2 + 5*v - 2. Let s be p(4). Suppose 5 - 3 = 2*d. Which is bigger: s or d?
s
Let x(a) = -a. Let r be x(5). Let o be (r - -8)*(1 + 1). Let w be o/15 + (-36)/75. Which is greater: -1 or w?
w
Let s = 0.4 + -0.4. Let w(y) = y**2 - 5*y. Let b be w(5). Suppose -c = -2*h + 5, -2*c + 2*h + b = 4. Is c at least s?
True
Let u = 1.17 - 1.27. Are 1/25 and u non-equal?
True
Let x = -10 - -17. Let v be (-10)/(-20)*x*-1. Which is smaller: v or 2/3?
v
Let s be (-44)/33 - 20/(-6). Suppose -v + 0 = 2. Let f = 0 - v. Do s and f have the same value?
True
Let s = 1 + -2. Let i = s + -1. Let b = -146/3 - -48. Is i at most as big as b?
True
Let q(y) = y**3 + y**2 - 7*y - 2. Let s be q(-3). Which is bigger: 1/95 or s?
s
Let t(f) = -2*f - 4*f**2 - 6 - 10 + f**3 + 4 - f. Let n be t(5). Let j = -494/7 - -70. Which is smaller: j or n?
n
Let d = 14/69 + 3/23. Which is smaller: d or -2/9?
-2/9
Let b = 2 - 1.9. Let s = -11/138 + -1/138. Let i = -19/46 + s. Is i at least b?
False
Let v = 97/4 + -21. Which is smaller: 3 or v?
3
Suppose -51 = 4*k - 15. Let a(t) = t**3 + 4*t**2 - 12*t - 8. Let z be a(-6). Is z at least as big as k?
True
Let g = 503/10 - 50. Suppose 6*z - 8*z - 2 = 0. Is g smaller than z?
False
Let z be (-2)/(-3) - (-2)/6. Suppose 4*j + 3*v + 4 = 0, 4*v - v = 4*j - 20. Is j >= z?
True
Let b = -27/76 + -21/76. Which is smaller: b or -1?
-1
Suppose f - 26 = 3*t - 7, -2*f + t + 13 = 0. Suppose -4*w = -3*w - 5. Do w and f have different values?
True
Let m = -5 + 14. Let y(x) = -x**2 + 9*x + 2. Let p be y(m). Let j = -0.2 - -0.2. Is j equal to p?
False
Suppose 0 = -2*u + 4*u + 2. Let d = 1/222 - 2003/1110. Which is bigger: d or u?
u
Let i = 88 - 79. Which is bigger: 6 or i?
i
Let g = 12 + -6. Let d be (-6)/18 + (-10)/g. Is -5 at least d?
False
Let y = -374 + 4118/11. Is y <= 0?
False
Let f = 2683/10 + -268. Let p = 8 - 6. Suppose -k + p*k = 4*s, 5*s = 3*k. Are f and s equal?
False
Suppose 3*v + 5 - 32 = 0. Suppose 0 = u - 4*u - v. Let w = -2 - 2. Is w equal to u?
False
Let o be (4 + -2 + 1)/1. Let y be (-86)/(-42) - o/9. Is 3 at least as big as y?
True
Let q = -12 - -16. Which is smaller: -1 or q?
-1
Let r be 53/75 + (-10)/15. Which is smaller: 0 or r?
0
Suppose -3*w + w = 12. Let g be (-12)/(-18) - 14/w. Let a be ((-15)/(-6) + -2)*4. Is a at most g?
True
Let k = 1 + -2. Let u be (-14)/(-48) + (-1)/2. Let y = u + -1/72. Which is smaller: k or y?
k
Let w be -1 + 6 + (-3 - -3). Let a be ((w - 4)*-1)/(-3). Suppose 3*d - 5*t + 23 = 0, -26 + 8 = 2*d - 4*t. Does a = d?
False
Suppose -3*c - 8 = 1. Let g be 1 + 4 - (-5 - -8). Suppose -g*b - 4 = -0. Which is bigger: b or c?
b
Suppose 2*l = 4*t + 8, 0 = 3*t - 2*t + 1. Let o = 2 - 5. Let b = o + l. Is b not equal to 1/3?
True
Let f = -18 + 17.6. Is -1/3 at most as big as f?
False
Let t(w) be the third derivative of w**5/60 - w**4/6 - 7*w**3/6 - w**2. Let g = -6 + 11. Let j be 