 + (-1072)/42 + 0. Let j = h - y. Is j != 1?
True
Suppose -4*t + 2*t = 6. Let u = -4 - t. Let j = -0.6 - -0.5. Is j smaller than u?
False
Let o(h) = -h + 12. Let l be o(11). Which is smaller: l or 2/25?
2/25
Suppose c = -3*t + 1 + 6, -4*t + 3*c + 5 = 0. Let j = t + -5. Let a = -2 - j. Is a smaller than 1?
False
Let x be -1*335/(-15) + -3. Is 19 < x?
True
Let l be (-26)/143 - 10/(-176). Does l = 0?
False
Let r = -6 + 6. Is r at most 6/5?
True
Let u = 18.9 + -19. Is u > 12?
False
Suppose -4*z = -z + 27. Let m = -10 - z. Which is smaller: m or -3/4?
m
Let m(u) = u + 5. Let h be m(-4). Let p be (-7)/21 + 2/6. Suppose -2*j - 3*j - 5*t - 25 = p, -25 = -j + 5*t. Which is smaller: j or h?
j
Let h(j) be the first derivative of 3*j**4/4 + j**3/3 - j**2/2 - j + 1. Let m be h(-1). Is -3 greater than m?
False
Let n = -22 - -12. Let k = n - -5. Let h = k + 5.3. Are -0.1 and h unequal?
True
Let g(z) be the third derivative of z**6/120 - 3*z**5/20 + 3*z**4/8 - 7*z**3/6 + z**2. Let l be g(8). Are l and 2/9 non-equal?
True
Let i(n) = -3*n**2 + 4*n - 1. Let b = -1 - -4. Let c be i(b). Let o be (-2)/(-90) + c/72. Which is smaller: 0 or o?
o
Let a be 0/(-2*3/(-6)). Let g be (-5)/(10/4) + a. Let l(o) = -o - 2. Let j be l(g). Do j and -6 have different values?
True
Let s = 6 - 0. Suppose -m + s = -o, -4*o + o + 6 = 5*m. Let l = 0 + o. Do -4 and l have the same value?
False
Let v = -64 - -63. Which is smaller: v or -5/16?
v
Let d be (2 - 16/6) + (-144)/(-81). Which is greater: d or 1?
d
Let k be -1 + 6 - 1/1. Let s be 2/6 + 15/9. Let b be (-3 - 4/s)*-1. Is b greater than or equal to k?
True
Let r be (-46)/(-6 + (5 - 1)). Which is greater: 24 or r?
24
Let i = -40.62 - -41. Let a = 0.08 - i. Which is greater: a or 1?
1
Let n = -1 - -1. Let y be (-2 - 1) + (-3 - -3). Let u be y/5 + 26/60. Is u at least as big as n?
False
Let y be (-150)/(-20)*2/(-20)*20. Is y >= -13?
False
Let h(x) be the second derivative of x**3/6 - 5*x**2 - 4*x. Let w be h(8). Is w greater than or equal to -5/6?
False
Suppose -13 = -r - 4. Suppose -2*b = -r + 1. Is 4 less than b?
False
Suppose j = -6*h + 5*h + 2, j = 4*h - 3. Let w be (-6)/(-111)*1*(-5)/10. Is j smaller than w?
False
Let d(c) = c + 2. Let m be -1*(0 + -2 + 7). Let p be d(m). Let x(u) = u**3 - 6*u**2 - u + 3. Let r be x(6). Is r >= p?
True
Let y = 112/3 + -311/6. Let b = 15 + y. Let u = 8 + -11. Which is smaller: u or b?
u
Let y = 8 + -5. Suppose 7*x - y*x = -32. Let i be x/36 + 4/(-9). Which is smaller: i or 1?
i
Let l = 8 - 11. Let d be 7*((-1237)/413 - l). Is d greater than or equal to 0?
True
Let l = 0.4 - -1.9. Let w = 3 - l. Let z = w + 5.3. Is 0.1 < z?
True
Let z = 0.7 + 0.3. Let u = -0.7 - -1.8. Let i = u + -0.1. Is i greater than z?
False
Suppose 0 - 5 = 5*d. Is -4/5 > d?
True
Let j(k) = k**3 - 9*k**2 + 3 + 0*k**3 + 0*k**3 + 4*k + 12*k**2. Let n be j(-2). Is -1 < n?
False
Let u be (-32)/(-24) - 2/6. Which is smaller: 8/9 or u?
8/9
Let z = -0.01 - 0.09. Is z at most as big as 0?
True
Let r = 181/6 - 30. Let q be 1 + (-2)/4*2. Is q bigger than r?
False
Suppose -6*v + 4*v = 0. Suppose 2*l - 5*m + v*m = -10, 0 = -5*l - 4*m + 41. Let a = 6 - l. Are a and 2/7 non-equal?
True
Let v be (-49)/(-42) + (1 - 0). Is v >= 1?
True
Let o = -40 + 29. Let h be 6/(-27) + o/(-9). Let a be (4/(-4))/((-1)/h). Which is bigger: a or -2?
a
Suppose 147*f - 45 = 146*f. Which is smaller: f or 46?
f
Let m = 20 - 13. Suppose -3*j = -2*j + 2*f + 3, 2*j = -5*f - m. Which is greater: j or 2/5?
2/5
Suppose 0*x + u = -3*x - 54, -5*u = x + 32. Let r = 20 + x. Which is greater: r or 2?
r
Suppose 5*d + 5 = -5, 4*d = -q - 11. Is q at most -3?
True
Let z = -0.4 - -0.3. Suppose 3*d - 10 = -4. Suppose -2*u = -0*g - 4*g - 12, -d*u = 5*g - 3. Is z greater than u?
False
Suppose 0 = -5*z - 11 - 14. Let m be 1/(-4) + (-3 - -3). Is z >= m?
False
Suppose -5*u - h = -5, 2*h - 10 = -5*u - 0*u. Let m = 1 - u. Let a = 113/4 + -28. Do a and m have different values?
True
Let m = -87 + 32. Let k be (0 + -1)*m/5. Is 12 > k?
True
Let f(l) = 3*l**3 + l**2. Let i be f(-1). Let j be 3 - (2/i - -8). Is -2 at least j?
True
Let x be 4/(12/(-15)) + 0. Let b = x - -5. Is b at most as big as -5/4?
False
Let p be (-119)/(-40) + 21/(-7). Which is smaller: p or -1?
-1
Let u = 4 - 2. Suppose 5 = u*c - 19. Is 11 less than or equal to c?
True
Suppose 0*k - 3*k = 6. Let h be (-2)/k - 86/21. Let f = h + 24/7. Is f smaller than 2/19?
False
Let l = -1.9 - -2. Are 4 and l equal?
False
Let a = -82 + 95. Is a bigger than 2?
True
Let i = 53 + -582/11. Suppose -5*w = 4 + 1, 5*w + 7 = h. Let t be 3*h/(18/3). Is i >= t?
False
Let n be ((-4698)/(-120))/(3/2). Let y = n + -26. Suppose 4*v = 8, -5*c + 0*c = 3*v - 11. Is c != y?
True
Let p be ((-4)/(-1))/(-4)*-3. Suppose p*r + 0 - 24 = 0. Is 5 equal to r?
False
Let f(i) = 2*i + 7. Let c be f(-5). Let y be 3/15*(2 - c). Let l be 2/(-4)*(y - 1). Are 4/7 and l equal?
False
Suppose -5*v + 3*n + 27 = 0, -5*v + n + 12 = -17. Suppose 4*b = -2*h - 20, 2*b = -h + 2*h - v. Is h not equal to -1?
True
Let k = -5.03 - -5. Let p(j) = j**2 - 2*j. Let v be p(3). Let r be 0 - ((-9)/v + 2). Is r < k?
False
Let m(r) = -r**3 + 3*r**2. Let b be m(3). Let f be (-86)/3 + (b - -2). Let c = f - -27. Which is greater: 0 or c?
c
Let b be (-25)/2*((-64)/10 + 4). Which is smaller: b or 146/5?
146/5
Let t = 119/3 + -40. Which is smaller: t or 1?
t
Let u = -1.7 - 0.24. Let l = u + -0.06. Let v = 2.9 - 3. Which is greater: v or l?
v
Let n(p) = p**3 - 5*p**2 + 1. Let i be n(5). Let t be (-192)/(-261) + (-4)/6. Which is smaller: t or i?
t
Let d be ((-30)/35)/(60/(-56)). Let g = -1/5 - -3/5. Is d greater than g?
True
Let b be ((-8)/20 - 182/(-55)) + -2. Is b > 0?
True
Let k = -21 + 43/2. Are k and 2 equal?
False
Let s(b) = -9*b**2. Let f be s(1). Let u be 28/(-3) + (-3)/(-9). Is u greater than or equal to f?
True
Let u(z) = z**3 - z**2 - z - 1. Let o be u(2). Let p be (16/2)/(o - 2). Let q be 1/4 + (-6)/p. Are q and 1/11 unequal?
True
Let n be -2 - (-1 - (-1 - 0)). Let g(q) = q. Let a be g(n). Let r be (-12)/5 + (-4)/(-10). Is a at least r?
True
Let l be (6/5)/(28/(-70)). Which is smaller: -2 or l?
l
Let v(s) = -s**3 + s**2 + s + 8. Let m be v(0). Suppose 12 + m = 4*x. Suppose 15 = 2*h - 7*h, -x*h - 25 = -5*b. Are 4/5 and b unequal?
True
Let z(b) = -b + 1. Let s be z(1). Suppose 2*m - 29 - 1 = s. Let d be m/12 - 2/8. Which is bigger: d or 2/3?
d
Suppose 8*o = 4*o. Suppose 3*q + o*q = 0. Suppose 0*t = -5*t - 5. Is q at most t?
False
Suppose 0 = -u + 1 + 4. Suppose -7*h + u*h - 12 = 0. Let k be ((-2)/(-3))/((-1)/h). Which is smaller: 5 or k?
k
Let w = 13 + -11. Let h = 2.2 - w. Which is greater: h or -0.1?
h
Suppose 2*o = -3*o + 30. Suppose 0*x - o = -3*x. Are x and 1/2 equal?
False
Suppose -4*k = 2*l - 2, -2*l - 3*l = -5*k + 10. Which is smaller: -0.03 or k?
-0.03
Let s = 2.9 - 3. Let a = 43 + -30. Let z = a - 10. Do s and z have the same value?
False
Let q = -193 - -124. Which is greater: q or -70?
q
Let n be -15*((1 - -2) + -2). Let a be ((-3)/(-36))/((-2)/n). Is a not equal to 1?
True
Let w = 1/141 + -143/282. Let l = -16.28 - -0.28. Is w at least as big as l?
True
Let n = -1 + 0. Let c be (n - 0)/((-13)/(-2)). Let a be 6/(-27) - 2/(-9). Which is bigger: c or a?
a
Let l be 4 - (0 - (-6)/(-3)). Suppose -5*k + 28 = -17. Suppose 3*z + k = 2*s + 24, 3*s = 0. Is z less than or equal to l?
True
Let l = -0.27 - -0.27. Let f = -6.7 - 2.3. Are l and f unequal?
True
Let j be 2/(-4)*-4 + -2. Let u = -11 + 8. Let n = -4 - u. Is n != j?
True
Let j = -18 + 17. Is j < -14/9?
False
Let r = -2 + 0. Let g = r - -2.4. Let b = g - 0.5. Which is smaller: 1 or b?
b
Let a = 2255/6 - 14129/42. Let d = a - 3001/77. Let l = d - 31/44. Is l greater than or equal to -1?
True
Suppose -o = 4*o + 10. Let l = 1.935 + 0.065. Is o greater than l?
False
Suppose h = 2*h - 113. Which is greater: 114 or h?
114
Let o be (-4)/(-22) + 4/(-22). Let p(j) = -2*j + 6. Let g be p(4). Let f be (-3)/(g + 1 + -4). Is o < f?
True
Let g = -1.06 - -0.06. Let q = 740/57 - -32/19. Let s = q - 15. Which is smaller: s or g?
g
Let n be (14 - (-12)/(-4))/(-1). Which is smaller: n or -10?
n
Let l = -22 - -22. Which is greater: l or 1/14?
1/14
Suppose 3 = -4*q - 5. Let d be ((-3)/q)/(3/3). Which is smaller: 3 or d?
d
Let x = -13.7 + 4.9. Let y = -9