alse
Let o(c) = c + 10. Let q be o(-11). Which is smaller: -2/37 or q?
q
Let m = 3 + -3. Let o = -129 - -127. Is o != m?
True
Suppose 4*s - 12 = 2*m, -4*s + 15 = 3*m + s. Let p be (-45)/10*(-4)/(-6). Is m bigger than p?
True
Let c(w) = 3*w**2 - 11*w - 3. Let z(y) = -2*y**2 + 5*y + 2. Let a be (8 - 18)/(4/(-2)). Let i(p) = a*z(p) + 3*c(p). Let s be i(-8). Are 2/15 and s equal?
False
Let k = -127 - -1271/10. Is 1 greater than or equal to k?
True
Let s = -11139/17 - -655. Which is greater: s or -1?
s
Let t = 6 + -12. Is t smaller than -6?
False
Let y = -1029 - -609. Let b be (-1)/(-7) - (-1180)/y. Which is greater: b or -4?
b
Let c be (-12)/12 - 0/(-1). Suppose -2*o = -o - 1. Let i be -4*2*o/(-76). Which is smaller: i or c?
c
Suppose 29 - 17 = 2*f. Are f and 6 non-equal?
False
Let u = 0.04 - 0.84. Let b = -1 - u. Which is smaller: b or 1/6?
b
Suppose 2*m - 4 = m. Suppose -5 = n - m. Which is smaller: -1/7 or n?
n
Let m(q) = -q**3 - 6*q**2 - 6*q - 5. Let p be m(-5). Let o = -1 + p. Let i = -1 - -3. Which is smaller: i or o?
o
Let b = 2 + 1. Let t = b + -1. Which is smaller: 0 or t?
0
Suppose 0 = -4*i + 5*l + 51, 0 = -4*l - l + 5. Let f be (-6)/(-15) - i/10. Are -6 and f nonequal?
True
Suppose 0 = -m + 2*f + 2*f + 12, -5*m + 18 = f. Let s be (2/(-9))/(m/15). Is 0.1 equal to s?
False
Let z = 5 + -13. Let g be 2/(-4) - 4/z. Suppose 2*x + g = 2. Which is bigger: 2 or x?
2
Suppose -9*q + 33 + 75 = 0. Suppose 4*b = -1 + 49. Are b and q equal?
True
Let m be ((-3)/3 - 1) + -38. Let q = m - -199/5. Is 2/7 not equal to q?
True
Let g = 0.2 - 0.6. Let z = 0.3 - 0.2. Which is smaller: z or g?
g
Suppose -4*w - 29 = -21. Which is smaller: -12/5 or w?
-12/5
Suppose -5*g - 4*o + 75 = -0*o, 0 = 2*g + 4*o - 30. Is g greater than 15?
False
Let w = -2.47 - 0.33. Let f = w + 3. Let t = -91 + 88. Which is smaller: t or f?
t
Suppose 39 = v + 2*v. Suppose 2*y - 3*y - 4*k = 18, -3*k - 17 = -y. Suppose 27 = -y*f + 5*p, 4*f + 3*p - v = -2. Which is greater: 1 or f?
1
Let z be 2*2*(-5)/(-80). Which is smaller: z or 0?
0
Let k = -7.5 - 1.5. Is -0.05 < k?
False
Let h be (2/(-12))/(13/(-78)). Which is greater: 3/11 or h?
h
Suppose 0 = -0*h + h + 2*u - 11, 0 = 2*h - 5*u + 14. Let r(m) = m + 2. Let t be r(h). Are t and 0 non-equal?
True
Suppose 5*u + 5 = -0*u. Which is bigger: 0 or u?
0
Suppose 0 = 4*g + 3 + 1, 5 = 5*i + 5*g. Let h = -275 + 277. Is i not equal to h?
False
Suppose 0 = 28*y - 31*y + 21. Suppose t - 14 = -3*i, 4*t + 0 = i + 17. Is t less than y?
True
Let k = 8.3 + -8. Let f = k - 0.4. Let d = f - -0.1. Are -2/7 and d equal?
False
Let v = 6.8 + 0.2. Let u = 4 + -3. Let o be ((-2)/u)/(2*-1). Are o and v nonequal?
True
Let d(w) = -w + 8. Let n be d(9). Let r = 4 - n. Which is bigger: 4 or r?
r
Let v be (-124)/9 - (-2)/(-9). Let k be v/28*8/74. Which is smaller: k or 0?
k
Let x be 2/2 - (-16)/(-24). Let f = -2 + 2. Do f and x have different values?
True
Let s = 27 - 107/4. Let l = 104/3 + -496/15. Let x = -27/20 + l. Is x greater than or equal to s?
True
Let z = 0.26 + -12.26. Let x = z + 12.1. Is x less than or equal to 6?
True
Let n(l) = -l**3 - 5*l**2 + 3*l - 7. Suppose 5*z + 18 = -12. Let h be n(z). Suppose -r + 2 = -j, 5*r - 3 + h = -j. Which is smaller: -2 or j?
j
Let g(d) = -d**2 + 5*d - 16. Let h be g(4). Is -8 at most h?
False
Let m(s) = 127*s**2. Let i be m(-1). Let r = 2161/17 - i. Suppose j - 5*j = 20, -3*k + 2*j + 7 = 0. Which is bigger: k or r?
r
Let r = 3 - 3. Let g = 1/69 + 20/207. Is r bigger than g?
False
Suppose c + 4 = -a + 5*a, -4*c = 16. Suppose -2*r = -r. Is a at least as big as r?
True
Let m(f) = -2*f**2 + 3*f + 3. Let w be m(-3). Let s = w - -23. Which is smaller: s or -2/7?
s
Let p be -10*(31/5 + -3). Is p at least as big as -33?
True
Let k = -0.7 - -0.7. Let i = 0 - -3. Which is greater: i or k?
i
Let p(t) = t**2 - 6*t + 4. Let i be -2*(-6)/(-9)*-3. Let u be p(i). Which is smaller: -5 or u?
-5
Let o(w) = 3*w - 4. Let v be o(2). Is v greater than or equal to 6/7?
True
Let c be (2/(-4))/((-6)/(-12)). Which is smaller: 2/9 or c?
c
Let l be -1 + (-52)/(-38) - 1. Let p = -97/57 + l. Do p and -2/5 have the same value?
False
Suppose 2*u + 2*u = 0. Let d be (u - 1)/(19/(-323)). Is 17 >= d?
True
Let k be (2 - (-38)/(-18))*-3. Let j be 49/105 + ((-10)/6 - -1). Which is greater: j or k?
k
Let k = 13 + -9. Suppose 0 = k*p + 3*b - 27, -4*b = -4*p + 4 - 12. Suppose -p*q - 5 = -y, -4*q + 2*q = -2*y - 2. Is q equal to -1?
False
Let a be ((360/(-27))/10)/(2/12). Is a at most -9?
False
Let y be (-6)/9*3 + 5. Let r be 2/(-4)*2*1. Let n be 1/((-1)/3)*r. Is y at least n?
True
Let o be ((-7)/2)/(9/18). Let z be (o + 9)/(12*1). Is z not equal to -2?
True
Suppose 3*p - 2*u - 5 = 0, 2*p = -4*u - 0*u - 18. Suppose -5*j + 16 - 11 = 0. Which is smaller: j or p?
p
Let c = 0.1 + -0.1. Let x = 15.34 + -15.3. Is c < x?
True
Let r be -2*(-19)/(-16) + 2. Which is greater: r or 0?
0
Suppose -30 = 3*u - 0*u. Let g = 3 + u. Let i(s) = s**2 + 6*s - 10. Let a be i(g). Is a < -4?
False
Let w = -66 - -65.9. Suppose -d = -6*d + 20. Which is bigger: d or w?
d
Suppose -5*f + 15 = 5. Let t be (0*f/6)/2. Suppose t = m + 3*m + 8. Are -2 and m non-equal?
False
Let w = 26 + 1. Suppose -5*l = w - 7. Is -4 greater than or equal to l?
True
Let s = 15 - 26. Which is bigger: s or -12?
s
Let l = -5 - -14. Let g(a) be the third derivative of -a**5/60 + 5*a**4/12 - 4*a**3/3 + a**2. Let p be g(l). Which is bigger: -1/4 or p?
p
Let c = -1 - -3. Let v = c + -2.5. Let f = 0.2 + v. Which is bigger: 0 or f?
0
Suppose -1 = -5*z + 44. Let y(d) = d**2 - 9*d - 12. Let r be y(z). Let i be (-2)/r + (-10)/(-84). Is i less than or equal to 3/2?
True
Suppose g - 34 = -g. Let y = g + -9. Let p be 30/y - 9/12. Is 2 at most p?
True
Let j = -0.07 - 0.13. Which is bigger: -3 or j?
j
Let v = 0.94 + 0.06. Which is smaller: 5 or v?
v
Let t(a) = a + 1. Let w be t(-3). Let i(q) = -q**3 - 3*q**2 - 3*q. Let x be i(w). Which is smaller: 4/3 or x?
4/3
Let w be (1 + -2)*(-3 - 0). Suppose p - 1 = s, w - 10 = 2*p - 5*s. Let d = 1.8 - 1.9. Is d at most as big as p?
True
Suppose -4*i = y - 4*y - 22, 18 = 4*i - y. Which is greater: 5 or i?
5
Let x = 6 - 6.3. Is 3 greater than x?
True
Let k = -147.12 - -147. Which is smaller: -4 or k?
-4
Let u be -10 - (-1 - -2) - -2. Let n = u + 8. Suppose -3*v - 2 = 4. Is n less than v?
False
Let s be 2/(-4)*(-32)/(-6). Let l = 68 - 72. Do s and l have different values?
True
Suppose 2*u - 13 = -3. Is u less than or equal to 5?
True
Suppose 0 = 3*b - 6. Suppose -b*u - 2*u = 0. Suppose -3*v + 2*o = 0, u*v = -v - 3*o. Is v at most 0?
True
Suppose -4 = -9*c + 8*c. Let h be (c + -4)/(2 - 0). Which is greater: h or 5/8?
5/8
Let j(x) = -4*x - 4 + 3 - 5 - x**2 + 5. Let b be j(-5). Is b bigger than -1?
False
Let p = 1 + 1. Let w = 45 + -44.7. Is w > p?
False
Let i be (-2)/3 - 3/9. Suppose 0 = n - 2*b + 10, -4*b + 22 = 2. Is i at most n?
True
Suppose -4*i = -i. Suppose 3*r - m + 3 = i, -2*r = -7*r - 4*m + 12. Which is smaller: 1/2 or r?
r
Let c be (3 - (0 + 1)) + 0. Let n(i) = 3*i**c + 5*i + 2*i - 4 - 4*i**2. Let x be n(6). Is 1 smaller than x?
True
Let g = 0.25 - -0.15. Is 3/5 bigger than g?
True
Let p be -1*1/(3/(-24)). Suppose 0 = 3*z + 13 + p. Is -7 equal to z?
True
Let g = -13 + 25. Suppose 8*t = g*t - 12. Is 4 at least as big as t?
True
Let g = 6131/33 - 559/3. Which is greater: g or -2?
g
Let s(w) = -w**3 + 4*w**2. Let f be s(3). Let n(z) = -z**3 + 9*z**2 + 4*z - 12. Let o be n(f). Let t be (-4)/(-2) + o/(-15). Which is smaller: t or 1/2?
t
Let o = -5 + 3. Let u be (-1)/o*0*1. Let c be (-12)/20 - 19/(-40). Is u <= c?
False
Let x be (-175)/55 + 4 - 1. Suppose 0 = 5*w + 5 - 0. Do w and x have different values?
True
Let m = -9 - -9.2. Which is smaller: -15 or m?
-15
Suppose -14*s + 19*s = -20. Let n(k) be the first derivative of k**3/3 - 4*k**2 + 8*k - 1. Let u be n(6). Is u at most s?
True
Suppose -2*x = -f - f + 12, 5*x + 50 = f. Let u = x - -75/7. Suppose 0 = -2*h - 2*d + 10, -4 = -2*d - 2. Which is smaller: u or h?
u
Let l = 1/5 - 0. Is l smaller than -1/3?
False
Let d be (-102)/27 + 10/(-45). Let n = -6 - d. Is n smaller than 1?
True
Let p(c) = c + 3. Let s be p(-4). Suppose -4*f + 6 = -6*f. Let y = -65/21 - f. Which is bigger: s or y?
y
Let x(m) = 5*m - 35. Let o be x(8). Let k be (0/1)/(2/1). L