 (-208)/(-20) - (-4)/(-10). Let a be (-5)/(-2)*6/w. Are a and -2/7 unequal?
True
Let m be (-2 - 332/(-172))*2/2. Which is smaller: 0 or m?
m
Let d be 6/((128/(-28))/4). Which is greater: -4 or d?
-4
Let d = -5 + 3. Let u = 2 + d. Let i = -37/45 - -3/5. Is i greater than u?
False
Let q = -29 - -30. Let x = -2 + 2. Let j = x + 0.1. Which is smaller: q or j?
j
Suppose 4*k = 20 + 12. Let t = 2 - k. Let i be (-3)/(t/(-4)) - -2. Which is greater: 4/5 or i?
4/5
Suppose w + 2*o = -2*w - 21, 21 = -3*w + 2*o. Let j be (-2)/w + (-750)/28. Let q = -28 - j. Is q > 0.1?
False
Let m = -10 - -3. Is 1 smaller than m?
False
Suppose -4*i + h + 24 + 0 = 0, 3*i = h + 19. Suppose 4*a + s - 26 = 0, 3*a - 4*s + i - 15 = 0. Let p be (-4)/(-6)*(-30)/(-4). Is a at most p?
False
Let b = -1096 + 178647/163. Let d = 331/815 + b. Is 11 at least as big as d?
True
Let t = 306 - 2758/9. Which is smaller: 1 or t?
t
Let w = -5 + 7. Let g = -111 - -157. Let f be g/(-16) - -1 - -2. Is w != f?
True
Suppose -14 = -f - 3*t, 0*f - 2*t = 5*f - 18. Let l be 0/(-5 + 15/5). Is l less than f?
True
Let k = -91 - -452/5. Which is greater: k or -1?
k
Let g = 457 - 2276/5. Let h(k) = -k**2 - 8*k - 9. Let b be h(-6). Is b smaller than g?
False
Let r = -7/23 - 20/161. Let z = 0 + 0. Which is greater: r or z?
z
Suppose 18 = 5*n - 5*c - 2, -4*c = -n - 5. Let s = -6 + n. Suppose -t - 4*t - 15 = 0. Do t and s have the same value?
False
Let l = 1 - -2. Let a = 7 - -5. Suppose -4 = -4*w + a. Is l smaller than w?
True
Let c be -1*-3*(2 + 0). Let x be ((-1)/(-1))/(6/36). Let p = x - c. Which is bigger: p or -5/4?
p
Let h(r) = -r + 1. Let s be h(1). Which is greater: s or -3?
s
Let x(i) = -3*i - 4*i**2 + 3*i**2 + 5*i. Let h be x(1). Let o be (5/10)/((-3)/2). Are h and o equal?
False
Let v(h) = 2*h**3 - 5*h**2 + 12*h - 9. Let o be v(4). Is 87 greater than or equal to o?
True
Let p = 49 + -48. Which is smaller: p or -2/45?
-2/45
Let t be (-3 - (81/12)/(-3))*8. Is t smaller than 1/2?
True
Suppose 6*d - 70 = d. Which is smaller: d or 51/4?
51/4
Let t(o) = o**3 - 7*o**2 - o + 7. Let c be t(7). Let f = c + 2. Suppose -f*q = -5*q. Which is bigger: -1/4 or q?
q
Let d(o) be the first derivative of -o**2/2 - 6*o + 2. Let r(j) = -3*j - 17. Let v(t) = 11*d(t) - 4*r(t). Let s be v(-2). Are -1/6 and s nonequal?
True
Let g = -7 + 10. Let a = 2 - g. Let f = 1 + a. Which is smaller: -0.2 or f?
-0.2
Let f(y) = -y**3 - 4*y**2 + 6*y + 5. Let h be f(-5). Suppose 4*s + 4 = h, -3*s + 4*s = -4*b - 5. Let p = 2 + b. Which is greater: 1/5 or p?
p
Let d be (-5)/2*(-36)/30. Is d greater than 3/2?
True
Suppose 0*l - 2*l = 0. Suppose 12 = -2*m - l*m. Let y be (m/3 - -2)/(-1). Is -1/2 at most as big as y?
True
Let o = 1/19 + 31/133. Which is greater: o or -1/5?
o
Let s(k) = k**2 - 11*k + 5. Let n be s(11). Which is smaller: n or 33/7?
33/7
Let a = -7 - -12. Suppose 2*i - a*i = -15. Let v = i + -4. Is 1/2 greater than v?
False
Let h = -1225 + 15933/13. Let y = -114/143 + h. Which is smaller: -1 or y?
-1
Let i be 6*((-9)/(-6) + -1). Suppose -1 = -t + 1. Suppose t*b = -i*b - 5. Is -3 greater than b?
False
Let k = 39 - 39. Let a = 1/4 - 13/20. Is a >= k?
False
Let t be 34*(3 - 1)/(1 - -15). Let a be 2/(-36)*159/2. Let m = t + a. Does 0 = m?
False
Let h = 21 - 21.3. Let s be ((-163)/(-110)*-3)/11. Let q = s + 1/242. Is q >= h?
False
Let d = -11 - -18. Let m = 7.3 - d. Is m less than -0.1?
False
Suppose 5*w + 7 = -3*d, 5*w - 2*d = -4 - 8. Suppose -30 = -0*o + 5*o. Let f be o/(-4)*w/3. Which is greater: f or -1/8?
-1/8
Suppose 10*c - 25 = 5*c. Are 4 and c equal?
False
Let k be (2 - -1)/(1*-2). Suppose -3*h - 1 = -6*n + 2*n, -5 = -5*n. Suppose -i - h = -0*i + f, 2*i + 5 = f. Which is bigger: i or k?
k
Let j(k) = -k**2 - k + 10. Let o be j(3). Is 5 less than o?
False
Suppose 0 = 5*w - 10 - 0. Suppose -w = -0*f - 2*f. Is 2/29 at least f?
False
Let h(o) = -4*o**3 - 2*o - 1. Let b be h(-1). Suppose -2*z + 5*z + 6 = 0. Let p = z + b. Is 2 at least p?
False
Let f be 2/(-1) - 0/(-15). Let g(z) = z**2 - z + 5. Let v be g(0). Let r be f + v + (-4 - 5). Is -6 greater than r?
False
Let w = -856.96 + 874. Let k = -17 + w. Is 1/2 greater than or equal to k?
True
Let u = 0.28 + -5.28. Which is bigger: u or 4?
4
Let y = 1.2 + -1. Let t be (-1 + 0)*(-342)/(-12). Let s = 29 + t. Which is greater: y or s?
s
Suppose -3*i = r, -2*r - 18 = -i - 2*i. Let n(o) = -o**2 - 5*o + 2. Let w be n(r). Is w bigger than -4?
False
Suppose 0 = 5*u + 5*s - 30, -3*u + 9 = u + s. Which is smaller: -4 or u?
-4
Let c = -196 + 1766/9. Which is smaller: c or 0?
0
Let i be 260/(-91) + (-1)/7. Is -3 smaller than i?
False
Suppose -20 = 4*u + 5*l, 7*u + 16 = 4*u - 4*l. Suppose -5*v = a + 24, -1 = -u*a - a. Which is greater: -4 or v?
-4
Let q = -2621/132 + 7/66. Let j = 20 + q. Let o = 25 + -21. Is j less than or equal to o?
True
Let r(o) = o**2 - o + 2. Let p be r(2). Let z = p + -2. Suppose -7 = 5*i - z. Which is smaller: i or 2?
i
Suppose 2*g = 7*g + 3*p - 101, 4*g + p - 85 = 0. Are 24 and g equal?
False
Let t be 255/17 - (1 + 1). Do t and 13 have different values?
False
Let c = -2 - -4. Let o be 12/88*c*1. Let u = 1/44 - o. Is 2 greater than or equal to u?
True
Let o = 1131 - 46375/41. Which is bigger: 0 or o?
0
Let a be (-24)/56 - 10/42. Is -2 less than a?
True
Let z(h) = -2*h. Let x be z(-1). Let v be 0 + x/(-2) - -5. Suppose -v + 2 = 2*t. Is t > -1/2?
False
Suppose 4*m + 15 = -m. Is -9 not equal to m?
True
Suppose -5*g = 5*t + 25, -4*t - 2*g = -8*t - 14. Which is bigger: -3 or t?
-3
Let v = -6 - -9. Suppose -f + v*f + 2 = 0. Let s be -3 + (1 - f) + 5. Is 5 at most s?
False
Suppose 0 = 3*v - 2 + 17. Let k = v - 1. Let a be (-1 - (-57)/63)*k. Which is smaller: 1 or a?
a
Suppose -2*j + 4*g = j - 30, 10 = j - 2*g. Is 69/7 != j?
True
Let l be (150/35 - 4) + 34/28. Suppose 0*v + v = 2. Let w = -1 + v. Are w and l equal?
False
Let i = -10 - -9. Is i greater than -4/9?
False
Let i = -11 - -4. Let a = -3 + i. Let f = a - -16. Do f and 6 have the same value?
True
Suppose 170 = 3*o - q, -4*o + 3*q + 0*q = -225. Let a = o + -227/4. Let j be 0/(2*1/(-2)). Is a at least j?
True
Suppose 0 = 3*z - 29 + 35. Are z and -3 equal?
False
Let w be (-10 + 10)/(0 + 3). Is w at least as big as -2/29?
True
Let y be (-23)/10 - 2/(-1). Does 0 = y?
False
Let p be (22/6)/(7/21). Let i be 28/p - (12 - 10). Which is smaller: i or 1?
i
Let h(m) = -1 - 6*m**2 + 8*m + 7*m**2 + 0*m**2. Let g be h(-8). Is 0 less than or equal to g?
False
Let y = 15 - 6. Let i = y - 9.02. Let n = i - 0.08. Are 2 and n nonequal?
True
Let v be ((-90)/(-2))/(22 + -11). Which is smaller: v or 5?
v
Suppose -4*q - 5*t + 72 = 0, 0 = -3*q + t + 34 + 20. Suppose -3*i + 10 = -i + 3*w, 4*i = -5*w + q. Let l = 2 - i. Which is greater: l or 2/15?
2/15
Suppose i + 4 = 3*i. Suppose 4*p = -b - i*b + 19, 0 = -3*b + 3. Is 5 equal to p?
False
Suppose 5*g - 3*y = -53, 2*y = 2*g + 2*g + 44. Is -14 greater than g?
False
Let p(y) = y**3 + 10*y**2 + 12*y + 3. Let v(b) = 3*b**3 + 30*b**2 + 37*b + 8. Let m(o) = 7*p(o) - 2*v(o). Let l be m(-9). Which is bigger: l or 2/13?
2/13
Let b = -3/10 + 17/90. Which is greater: -1 or b?
b
Suppose -4*k + 1 = -3. Suppose -5*c + 2 - 7 = 0. Is c smaller than k?
True
Suppose -14*m = -11*m - 3. Which is smaller: m or 2/29?
2/29
Let h(i) = i**2 + 7*i - 2. Let y(w) = w**2 - 8*w + 5. Let t be y(6). Let n be h(t). Are n and -1 unequal?
True
Suppose -12*x = -13*x. Let y be 2 - x/(2 + 2). Is y equal to 3?
False
Let z = 14 - -12. Let i = z - 232/9. Suppose 3*u = 0, -5*u + 4 - 1 = 3*o. Which is bigger: i or o?
o
Let j(g) = g**2 + 2*g - 1. Let a be j(3). Let c be a/4 - 2/(-4). Suppose -z - 14 = -4*y, -c*z + 8 = 4*y - 16. Do 4 and y have the same value?
True
Suppose -f = 3*f. Let y be f - (0 + (-2 - -4)). Let t be (-1)/y - 20/24. Is t bigger than -2?
True
Let l be ((-4)/(-160)*5)/((-2)/(-84)). Are 4 and l equal?
False
Let m be 1*1*(-2)/4. Which is smaller: m or 2?
m
Let t = -11 + 8. Let n(b) = -b**2 - 6*b - 3. Let z be n(t). Is z smaller than 6?
False
Let b = -46/155 + 3/31. Which is bigger: -1 or b?
b
Let v be 170/48 - 15/9. Is v at least as big as 2?
False
Let g be 0/(0 + (3 - 0)). Let t be 1 + g + 2/(-3). Suppose 4*k = -k - 5. Which is smaller: k or t?
k
Let k = -0.01 - 0.99. Do -0.7 and k have different values?
True
Suppose 0 = -5