er: -1/53 or i?
i
Let y = -21 + 22. Are y and -2/13 equal?
False
Let i(n) = -n**2 - 2*n + 1. Let z be i(-2). Let x = 375/4 + -93. Which is smaller: z or x?
x
Let x = 23 + -24. Which is greater: -38 or x?
x
Let f be (-5 - -4)/((-8)/(-3)). Let z(w) = w**2 + w - 1. Let h be z(-2). Which is smaller: h or f?
f
Let w(t) be the first derivative of t**3/3 + t + 8. Let y be w(0). Which is smaller: y or -3/7?
-3/7
Let a = 2 + -3. Let w be 3/(-152 + 2 + a). Let f = w - -474/1057. Is -1 at least as big as f?
False
Let s = -0.12 + -0.88. Let i = 3.03 + -0.03. Are i and s equal?
False
Suppose -3 + 19 = -4*f. Let v(l) = -l**3 - 4*l**2 + l + 3. Let h be v(f). Let d = -861/10 + 86. Which is bigger: h or d?
d
Let y = -0.25 - -0.35. Which is greater: y or 5?
5
Suppose 0 = -3*i + 6*i - 12. Let h = -6 + 12. Let y = h - i. Which is greater: 3 or y?
3
Let q be 18/4*2 + 0. Let r be (9/(-102))/(q/(-12)). Is 1 at least as big as r?
True
Let c = -0.03 + 4.03. Is -1/3 > c?
False
Suppose -4*w = 5*k - 4 - 4, -5*k - 5*w + 10 = 0. Suppose -d + k*d = 0. Let r be (d/1 + 0)/1. Is -1 not equal to r?
True
Let m be (6/135)/((-6)/(-10)). Let z(q) = -q**3 + 5*q**2 + 7*q - 6. Let c be z(6). Which is smaller: m or c?
c
Let z = 56 - 122. Let i = 36 + z. Let p be 8/20 - (-7)/i. Is 1 > p?
True
Let c(i) = i**2 + 5*i + 6. Let f be c(-6). Suppose 0 = -4*z + 2*z - f. Let v = -1 - z. Does 4 = v?
False
Let y(h) = -h - 8. Let z be y(-7). Let j be (-3)/z*4/3. Suppose 0 = a + 3*c + 8, 0*c - 1 = -j*a - c. Which is smaller: a or 0?
0
Let d = 167/624 - 8/39. Is d at most 0?
False
Let w(l) = 11*l + 2. Let x be w(2). Suppose -4*q = s - x, s - 5 - 14 = -3*q. Suppose -5*z = 5*p + 1 - 16, 0 = -2*p + q*z - 8. Is p at least -2/9?
True
Let w = -10 + 6. Let g = w + 3. Let h = 4 + -1. Is h bigger than g?
True
Let j = 1275/11 + -116. Suppose -z + 1 = -0. Is j at most as big as z?
True
Let h(i) = i**3 + 5*i**2 + 4*i + 3. Let n be 12/(-15)*(5 - 0). Let l be h(n). Suppose -4*u = -4*w + 3 - 31, u + 9 = -l*w. Is u at least 3?
True
Let o = 46 + -51. Let q = -11 + 5. Which is smaller: q or o?
q
Let k(f) = 3*f**3 + 32*f**2 + 25*f + 24. Let l(m) = 2*m**3 + 21*m**2 + 17*m + 16. Let g(t) = 5*k(t) - 8*l(t). Let s be g(-7). Let j be 12/s - 3/5. Is 0 < j?
False
Let k(w) = w**3. Let x be k(0). Which is greater: x or 1/2?
1/2
Let g = -7 - -5. Let b = g + 4. Let i be b/(-12)*(-2 - -4). Which is bigger: i or -1?
i
Let j = -1107 - -86347/78. Is j greater than 0?
True
Let j = 0 - -4. Let r = -2 + j. Is 0.2 less than r?
True
Suppose 41 = -4*k + 33. Which is bigger: 1 or k?
1
Let j = -7 + 10. Suppose 9 = 2*y - 1. Suppose -j - 7 = -y*i. Which is greater: i or 1/2?
i
Let k(n) = -6*n - 12. Let y be k(-2). Is -10 bigger than y?
False
Let v(l) = l + 15. Suppose 0 = r + 6 + 7. Let z be v(r). Is -2 not equal to z?
True
Let t = 6 - 24. Let p = t - -16.9. Which is bigger: -0.1 or p?
-0.1
Let i be 472/(-228) - (-4)/2. Let d = i - -182/969. Do 1 and d have different values?
True
Let i(h) = 2*h**2 + 2*h - 1. Let z be i(-2). Suppose 0 = -z*m - d - d - 6, m - 2 = -2*d. Is m bigger than -4?
False
Suppose 3*y - 2 = 1. Let m be 14/(-4) - 6/(-4). Let k be (m - 0) + -3 + 6. Is y not equal to k?
False
Suppose -3*u = -2*j - 7, 0*j = -4*j - 8. Let z(g) = 2*g**2 + 1. Let o be z(u). Let i = -0.3 - -1.3. Which is smaller: i or o?
i
Let w be (0 + (-3)/4)/(3/72). Are w and -18 unequal?
False
Suppose 0 = -5*s - t + 6, 4*t + 18 - 2 = 0. Suppose -o = s*n - 3, -3 + 2 = -4*n - 3*o. Suppose -n*p + p = 0. Which is greater: p or 2/9?
2/9
Let i be (-32)/(-28)*1/4. Which is smaller: i or 1/4?
1/4
Let a = 0.28 - -0.02. Let z(n) = -n**3 - 2*n**2 + 3*n + 1. Let p be 17/(-6) - 7/42. Let t be z(p). Which is smaller: a or t?
a
Let m = 8 - 10. Let j be (3/m)/(3/(-4)). Let w be (-3)/j*(-1)/(-6). Which is smaller: w or -4?
-4
Suppose 0 = 4*k - 2*x - 102, -5*k + x = 36 - 156. Is 23 smaller than k?
False
Let s be 1*(-1 + 3 + -3). Which is smaller: -3/10 or s?
s
Let d be (18/3)/(84/8). Let u be ((-1)/4)/((-1)/4). Is d > u?
False
Let s be -3 - 17/(-9) - 0. Let x(b) = b**2 - 5*b. Let o be x(5). Which is bigger: s or o?
o
Suppose 2*h - 10 = -2*p, 5*h + 2*p = 8 + 2. Which is greater: -2/31 or h?
h
Suppose 5*l = i + 24, 3*l - 21 = -6. Let a = -13 + 3. Let c = a - -13. Which is smaller: i or c?
i
Let v(m) = -m**3 - 25*m**2 - 24*m - 1. Let u be v(-24). Does -1/2 = u?
False
Suppose 2*u + 3*c - 6 = 0, 2*c - 12 = -5*u + 3. Which is smaller: u or 26/7?
u
Let n be 1 - 1 - (-24 - -1). Let m = n + -21. Is m <= 0.09?
False
Suppose 0 = -a - 3*r + 17, 0*a - 3*a + 26 = 4*r. Let n be (5/((-10)/(-12)))/a. Suppose 5*y = 5*f, -4*y - 3*f = -3*y - 8. Which is bigger: n or y?
n
Suppose 0 = 4*d - 0*d. Is -2/45 at least d?
False
Let z = 16 + -8. Suppose 0*y + 43 = 2*k - 5*y, 5*y = -k - 16. Are k and z non-equal?
True
Let y(v) = -3*v + 2. Let d be y(2). Let t be (-4 - -2) + 5 - -17. Suppose -7*s = -2*s + t. Is s at most as big as d?
True
Suppose -2 = -s + 6. Suppose -s = -n - n. Are 4 and n unequal?
False
Suppose 2*w - 3*y - 5 = 0, -y + 7 = 3*w - 5*y. Let v be 4/(4/w)*0. Let m be 6/(-7)*4/(-6). Is v < m?
True
Suppose 5*s + 3 + 2 = 0. Let o be 123/(-63) + (4 - 2). Is o < s?
False
Suppose -5*k + 5 + 85 = 0. Is 18 <= k?
True
Let k be 435/(-220) + 1 - -1*1. Which is smaller: k or 0?
0
Suppose 6*j + 25 = j, -5*r = -j - 10. Is 1/65 at most r?
True
Let u = 111/230 + 2/115. Which is smaller: u or 0.62?
u
Suppose -5*c = -5*t + 50, -t + 2 + 3 = 0. Let v = -8 + 3. Are v and c equal?
True
Suppose 2*n + 2*n - 12 = 0. Which is smaller: n or 5?
n
Let n(m) = m**3 + 4*m**2 + 15. Let i be n(-5). Is -9 <= i?
False
Let s(v) = v**2 - 13*v + 2. Let g be s(13). Is g bigger than 1?
True
Suppose 4*b = -2 + 14. Suppose 6*s + 20 = 2*s. Let f(r) = r**2 + 2*r - 11. Let d be f(s). Is d > b?
True
Let t = 4.8 + 1.2. Let f = -3.2 + -0.8. Let i = t + f. Is i greater than 0.1?
True
Suppose -5*i + 4*i + 9 = 0. Let s be (-6)/(-18) - 422/6. Let g be i/(-15) + (-22)/s. Which is greater: g or 1?
1
Let h(f) = -f**2 + 5*f - 6. Let u be h(3). Is u less than -1/90?
False
Let w(p) = 2*p + 22. Suppose -u = -9 + 20. Let c be w(u). Let f = 8 - 23/3. Is f bigger than c?
True
Let d be ((-6)/9)/(2/(-6)). Suppose 12 = 3*f, -4*t + f = -2*t + d. Is t < -1/11?
False
Suppose -107 - 60 = 4*f + 3*g, -4*f - 5*g = 177. Which is greater: f or -37?
-37
Let r be 6/4*8/84. Let m be (-3)/4 + 63/36. Which is bigger: m or r?
m
Let o = 7063846735/2 + -3920369398177/1110. Let p = o + -59045. Let l = p + -2/111. Which is bigger: -1 or l?
l
Let t = 878 + -1556. Let a be -1*(-3 - t/176). Let k = 8/11 + a. Which is smaller: 0 or k?
k
Suppose -3*q - 31 - 11 = 0. Suppose 4*d + 3 = s, 3*d - d + 8 = 0. Is q > s?
False
Let b = 2/1147 + -1253/60791. Which is bigger: -1 or b?
b
Let d = -12 + 12.1. Are 0.09 and d nonequal?
True
Let x be (-8)/3 + 4 + -2. Let i be 0/(-2)*1 - 4. Let k be (-1)/i + (-3)/6. Which is smaller: x or k?
x
Let u = -5.7 + -15.3. Are -0.1 and u nonequal?
True
Let i = -8 - -11. Suppose 4*f + 8 = 2*q, i*q + 13 = -4*f + 5. Is f bigger than -2?
False
Let m = -4 + -10. Let t be (-10)/m + 1 + -2. Which is greater: 1 or t?
1
Let a = 5.4 + -0.4. Let r = -373 + 247. Let z be (-14)/(-63) - 8/r. Which is smaller: z or a?
z
Let t = -43 - -26. Let v = t - -27. Which is bigger: v or 0.1?
v
Let x(y) = -3 - y**2 + 14*y - 4*y - 10. Let w be x(8). Which is smaller: w or 2?
2
Let n be (4/12)/((-38)/48). Which is smaller: n or 0?
n
Let r be 2 - (0 - (-418)/212). Let k = -191/742 - r. Let t = 14.7 + -10.7. Which is smaller: k or t?
k
Let u be 60/105*(-21)/(-2). Which is smaller: 2 or u?
2
Let g(y) = -y**3 - 12*y**2 - 10*y + 12. Let u be g(-11). Do -5 and u have different values?
True
Suppose -3*x - 2*v = -28, x = 4*x + 4*v - 38. Let h = -2 + x. Suppose 1 = h*r + 5. Is 1/8 equal to r?
False
Let s = -6 - 6. Let y = s + 11.9. Is 1 greater than y?
True
Let q be (18/15)/((-4)/(-10)). Suppose -3*b - 36 = 3*l, b - l + q*l + 14 = 0. Let t(z) = z + 8. Let n be t(b). Is n at least as big as -2?
True
Let c be 22/33 + (-5)/3. Is c at least as big as -2/3?
False
Let z = -2.1 - -2. Let a = -12 + 12. Let g = z + a. Which is smaller: g or -2?
-2
Let y(q) = q**2 - 8*q - 5. Let n = -1 + 10. Let s be y(n). Suppose a - s = 2*x - x, -10 = 5*x. Is 1/2 at most as big as a?
True
Let w be ((-36)/27)/(3/18)