 w be 12/x - (4 - -1). Is w smaller than n?
False
Suppose -5 = -q, 4*m - m + 3*q - 45 = 0. Is 10 >= m?
True
Let m(p) = p**2 + 5*p + 3. Let u be m(-5). Is u at least as big as 6?
False
Let p = 2.8 + -0.8. Let l = -2.1 + p. Let i = 5 + 0. Which is smaller: i or l?
l
Let l = 4 - 3. Let i = -2/21 + 10/7. Are i and l non-equal?
True
Let d = -13 - -4. Let p = d + 10. Let i(a) = a**2 - 4*a + 4. Let g be i(3). Do p and g have different values?
False
Let v(d) = -3*d - 1. Let l be v(-3). Suppose -q + j = 14, q + j + 4 + l = 0. Is -13 at least as big as q?
True
Let m = -56306/153 + 368. Let b = m - 449/765. Which is smaller: b or -1?
-1
Suppose -9 = -2*h - h. Suppose 0 = -v - 0*v + h. Let l be (-5)/15 - (-2)/v. Which is greater: l or -1?
l
Let y be (2 + -1)/(6/(-12)). Let h be (5/3)/(y/(-6)). Let v be 0 - h*2/4. Is -2 >= v?
True
Let s = -311909/3040 + 1/608. Let u = s + 102. Which is greater: 2/9 or u?
2/9
Suppose -6 = -u - u. Suppose 2*h = -u*h + 35. Is 7 smaller than h?
False
Let w = -11/78 - -4/13. Let n = 60 - 60. Which is smaller: n or w?
n
Let r = -15.99 + -0.01. Is r smaller than 0.2?
True
Let v(d) = d**3 + 8*d**2 + 7*d - 2. Let g be v(-7). Let s be (0 + 1)/(g/(-8)). Suppose -5*h + 8 = s*u - 2, -2*u - 3*h + 6 = 0. Do u and 0 have different values?
False
Let f be -9 + 3 + (-3 - -2). Let l = 9 - 15. Which is smaller: f or l?
f
Suppose 3*y = 4*y - 4. Suppose -3*o = -y + 7. Which is greater: o or 1/19?
1/19
Let t = -0.058 - 1.942. Which is smaller: -7 or t?
-7
Let t(f) = 4*f**3 + f**2 - f + 1. Let x be t(1). Let i(b) = -b**2 - 7*b - 3. Let j be i(-7). Let k = j + x. Which is smaller: k or 1?
1
Let c be ((-18)/(-40))/(1/(-8)*-3). Is c at most as big as -2?
False
Let t = 3 - 1. Suppose -v - 3*b = 2, -5*b - 15 = -v - 1. Is v <= t?
False
Let t = 319 + -10525/33. Which is bigger: t or -1?
t
Let j = 2/33 - -25/132. Let r be (-7)/2*-1 + -2. Is r bigger than j?
True
Let m = 76 + -48. Let h = -86/3 + m. Is h at least -1?
True
Let a be -1 + 0 + (-3)/(-1). Suppose 4*w = h - 6, -h + 5*w + 4 = -3. Suppose 0 = a*q - 2 - h. Is 2 greater than or equal to q?
True
Let k = -53 - -56. Suppose 2 = 5*z - 18. Is z > k?
True
Let q(m) = -m**3 + 2*m**2 + 2*m + 2. Let h be q(3). Let l = 7.06 + -0.06. Let o = l + -5. Is o >= h?
True
Let w(h) = h + 13. Let j be w(-14). Which is smaller: 2 or j?
j
Let z = -0.13 - -9.13. Let x = z + -13. Let d = x - -3.9. Which is bigger: d or 1/12?
1/12
Let h = -263 - -1585/6. Is 0 at most as big as h?
True
Suppose 0 = 5*z + 4*n - 10, -3*z = 2*z - 5*n - 10. Suppose -z*f = -7*f. Suppose 0 = -2*i - a - 1, f*i - 4 = -i + 4*a. Which is smaller: i or 2/13?
i
Let c be (-28)/(-21)*117/2. Let f be 2 + (-386)/c - -3. Is f at most as big as -1?
False
Suppose 3*b = -2*y - 14, 4*b = y + b - 11. Let p be y/(-2*22/24). Suppose -14*u + 6 = -11*u. Which is bigger: p or u?
u
Let s = -2.43 - -2.7. Is -2/3 smaller than s?
True
Let c(u) = 2*u**2 - 21*u + 11. Let j be c(8). Which is greater: j or -31?
j
Let x be (11 - 14)*(-1)/(-3). Is -2/7 less than or equal to x?
False
Let x = -57/7 - -8. Let n be 28/(-16) + 18/24. Is x >= n?
True
Let k(x) = x - 7. Let d be k(6). Are d and 1/46 non-equal?
True
Let q be (2/(-6))/((-2)/162). Let i be 18/q*(-3)/(-5). Suppose -2*c + 1 = 5*z + 5, -4*c = z - 10. Which is bigger: i or c?
c
Let a = -9 + 13. Suppose -3*i = 3*p - 0*p + 9, 3*p + a*i = -11. Are -1/2 and p nonequal?
True
Let h be (12/(-9))/(4/(-6)). Let t be (h - -1)*(-4)/12. Which is bigger: t or -2/25?
-2/25
Let l = 11 + -7. Suppose i = -l*i + 35. Let r = i + -3. Which is smaller: 5 or r?
r
Let r be (8/6)/((-5)/(-3)). Let m(o) = o + 9. Let x be m(-9). Which is smaller: x or r?
x
Let b = 13 + -21. Let v(z) = 7*z + 2. Let q be v(-2). Let x = b - q. Do x and 2/5 have the same value?
False
Suppose 14*r + 85 = -27. Do -5 and r have the same value?
False
Let m(p) = -p - 42. Let b be m(13). Is b less than -55?
False
Let y be (2 - (-394)/(-5)) + 0. Let n = -77 - y. Is n < 0?
True
Let j be ((-27)/(-5))/3 + (-1)/(-5). Let o(x) = -2 - 3*x**2 + 0*x**3 + x**3 + 3. Let z be o(3). Is z < j?
True
Let h = -2.6 + 0.6. Do h and -0.1 have the same value?
False
Let l(g) = g**2 - 6*g - 7. Let s be l(7). Let h be 1/6 + 3/9. Which is smaller: s or h?
s
Let h be -3*(-2)/12*-8. Are -1 and h equal?
False
Let q = -28 + 136/5. Is 3 greater than or equal to q?
True
Let f = -8 + 6. Let q = -2.2 - f. Is q <= -1?
False
Let r(l) = l**2 - l + 6. Let n be 0 + 2 + (-1 - 1). Let q be r(n). Let s = 9 - q. Which is smaller: s or 2?
2
Let y = 0.16 - 0.3. Let s = -0.04 - y. Which is smaller: s or 2?
s
Let h be (-2)/5 - 167/(-30). Let t = h - 11/2. Is t bigger than 1/3?
False
Let z be (-4*3 - -2)/2. Let c be (-54)/(-92) - z/(-10). Which is greater: 1 or c?
1
Let j = -0.75 + -0.25. Let y = -349 + 513. Let d = -1146/7 + y. Which is bigger: j or d?
d
Let y(f) = 60*f**2 + f. Let x be y(-1). Let t = -179/3 + x. Let i = 0.1 - -0.9. Which is smaller: i or t?
t
Suppose -17 = -4*x - 1. Suppose -16 - 140 = -x*z. Let a = z - 115/3. Which is smaller: 1 or a?
a
Let a = -261/7 - -37. Suppose -y = -4*i + 1, -4*i - 4*y - 3 - 1 = 0. Is a at most as big as i?
True
Suppose -2*r + 2 = -4*r. Let k = r + 2. Let l = -112 + 895/8. Is l >= k?
False
Suppose -4*b = 4*g - 40, -b + 12 = 5*g - 2. Suppose -2*t + 4*t + 3*l - 32 = 0, 3*l = 5*t - 38. Is t at least b?
True
Suppose 0 = b + b - 10. Suppose l = b*l - 24. Let j be (-2)/l + 2/(-3). Do 3/8 and j have different values?
True
Let w(o) = 0*o - 2*o**2 + o + o**2. Let n be w(2). Which is smaller: n or -7/5?
n
Let c(p) = -p**3 + 8*p**2 + 9*p - 4. Let l be c(9). Let q(d) = -d**2 - 4*d - 1. Let g be q(l). Let o be g*2 + (-192)/(-90). Which is greater: o or 0?
o
Let r = -15 + 20. Is r greater than 5?
False
Let j = 36.8 + -37. Is j less than 16?
True
Let x = 4 - -3. Let n = -7.2 + x. Let k(m) = -m**3 - 3*m**2 + 6*m + 6. Let u be k(-4). Is u < n?
True
Suppose 2*p + 10 = -3*n, -3*p + n + 3 = -4. Do p and 28/23 have the same value?
False
Suppose 0 = -4*f + 12 + 12. Suppose 4*t = x - 6*x + 25, 5*t + 3*x = 28. Let k = f - t. Which is smaller: k or 1/6?
1/6
Let m be (-72)/(0 - 3) + -2 - -3. Is m greater than 23?
True
Suppose 5*q + 2*h - 13 = 0, -3*q + 5*h - 9 = 8. Is q equal to 16?
False
Let x = -4 - -12. Let u = x + -9. Which is smaller: u or -2?
-2
Suppose 64*p - 11 = 53*p. Let t = -68/3 + 23. Which is greater: t or p?
p
Suppose 0 = 4*u + 3*v - 4 - 8, -2*v - 9 = -3*u. Suppose u*a = 5*a. Is 1 != a?
True
Let l be 1/22*20/(-15). Which is greater: l or -0.1?
l
Suppose 3*k + 29 = -7. Let u(r) = r + 13. Let c be u(k). Is c at most -1/5?
False
Let z = 112244/61 - 1840. Let u = -69157 + 12655865/183. Let y = z - u. Is 0 at most y?
False
Let c be ((-342)/(-56)*2)/((-22)/(-77)). Is c at least as big as 42?
True
Suppose -5*o + 192 = 4*g + 80, 42 = 2*o + 3*g. Let n be 3/(o/(-10)) - -1. Is n < -0.4?
False
Let g = 1 - -9. Let s = 9 - g. Which is bigger: s or 1/15?
1/15
Let b be (2 + -2)/(-1 + -1). Which is smaller: b or 2/105?
b
Let a = -7 - -8. Let q be 92/(-112) + a/4. Suppose -2*n + 2 = -0*n, 2*d - 4*n = -6. Is q != d?
True
Let x = 19 + -69. Let w = x - -249/5. Are 0 and w nonequal?
True
Suppose 687 - 258 = -11*g. Is -38 less than or equal to g?
False
Let x(q) = q - 4. Let a be x(2). Is -2 greater than a?
False
Let c be 3/((-3)/54*-3). Suppose -5*n + 4 = 5*y - 11, -5*n + c = 2*y. Which is bigger: y or 1/3?
1/3
Let c = -0.8 - 2.2. Let g = 3 + c. Let l = g - -0.1. Is -3 smaller than l?
True
Suppose -12 = -2*j - 0*w - w, -3*j = 4*w - 8. Let h be -1 - 6/j - -2. Suppose -8*y + 8 = 3*t - 3*y, y = t. Which is greater: h or t?
t
Let m(h) = -2*h**2 - 2*h + 2. Let u be m(-3). Let c = -1 - u. Let q be (-3)/c - 15/36. Does -1 = q?
False
Suppose 2*p + 3 = -1. Which is bigger: -4 or p?
p
Suppose 2*l = 3*y + 8, -5*y + y = -2*l + 8. Suppose l*r - 20 = 2*c, -5*r = c - 2*r - 15. Is 6 < c?
False
Suppose -4*b = -3*b + 1. Is -5 at least as big as b?
False
Let l = -15.4 + -0.6. Which is smaller: -1/4 or l?
l
Let q = -2 + 2. Let g(k) = -k**2 + 9*k - 9. Let d be g(8). Is d greater than or equal to q?
False
Suppose 2*o = 3*o - 1. Let k be -6*(-1 - (-2)/(-3)). Suppose 4*i - k = 2*d, 0 = 4*i - 0*d - 5*d - 25. Does i = o?
False
Let r be 4/(-18) - 34/9. Let k(o) be the first derivative of o**3/3 + 4*o**2 + 9*o + 1. Let h be k(-6). Which is s