-4 + (-3 - c)). Are s and -2 non-equal?
False
Suppose -2*m - 32 = -3*k, 0 = -m - 2*k + k - 6. Let q be (33/6)/((-3)/(-6)). Let a = 12 - q. Is m >= a?
False
Let m(n) = -n + 2. Let q be m(5). Let u be 7 - (-8)/(-4) - q. Suppose -3*w + 2*x + 0*x = u, 0 = -3*w + 4*x + 2. Which is greater: w or 1/4?
1/4
Let j = 0.43 - 0.37. Let i = 0.053 - 0.453. Which is bigger: i or j?
j
Suppose 42*d - 1161 = 15*d. Let t = 140 - 98. Which is smaller: t or d?
t
Let p = -4986 - -4958. Let o = 36 + -65. Which is bigger: o or p?
p
Let a = 20 - 19.8. Is a equal to -228?
False
Suppose -5*g + 5*v = -200, -120 = -4*g + g - 2*v. Suppose 0 = -g*b + 37*b. Suppose 4*y = -5 + 17, b = 5*a + 3*y + 106. Is a greater than -23?
False
Let c = -48 - -99/2. Suppose 2*o = 12*b - 13*b + 5, 0 = 5*o + 2*b - 15. Is o at least as big as c?
True
Let r = -5 + 11. Let z = 2.0335 + -0.0335. Is z at most as big as r?
True
Let c = 221 + -195. Which is smaller: c or 29?
c
Let p be 5/60*3/9. Which is smaller: -1 or p?
-1
Let n = 104 - 217/2. Let s = 3088 - 3093. Which is bigger: s or n?
n
Let j = -0.82 + -0.18. Let y = 260 + -259. Do y and j have different values?
True
Let x be 2 - (2 + (-250)/(-3) + 2). Let t = x + 86. Which is smaller: -1/55 or t?
-1/55
Let c be 175/600 - 2/(-6). Suppose 5*b = 4*b. Are c and b equal?
False
Let d = -591811 + 11247372/19. Let i = 156 - d. Suppose -4*f - 2*g = -4, -5*f + 0*g + 11 = 4*g. Is f > i?
False
Suppose -3*c - 4 = 2*f - 4*c, 0 = -2*f - c - 12. Let g be (1/f)/((-2)/20). Let k = -14638 - -14640. Is k less than g?
True
Let b(n) = -n**3 - 8*n**2 + 20*n. Let f be b(-10). Let z = 1834627/821310 - 39/3911. Let y = -33/14 + z. Is y bigger than f?
False
Let g be ((142/(-3))/1)/(10/15). Let v = g - -70. Is -3/8 smaller than v?
False
Let t = 1298 + -1298.4. Are t and 7.6 equal?
False
Let v(z) be the third derivative of -z**4/12 + 7*z**3/6 - 9*z**2. Let n be v(5). Which is greater: -9 or n?
n
Let x(c) = c**3 - 8*c**2 - 6*c + 8. Let r be x(8). Is 2 greater than r?
True
Let s = 52 - 14. Let q = -38.2 + s. Does q = 5?
False
Let d be (-76)/(-6) - 6/(-18). Let b = 13 - d. Suppose b*z + 2*z - 3 = -5*c, -2*c + 7 = -5*z. Which is greater: z or -1/16?
-1/16
Let o be 58/(-18) + (-10)/(-45). Let y = -1/283 - 1977/1132. Which is bigger: o or y?
y
Suppose -5*j - 25 = -17*g + 12*g, 3*j + 1 = -4*g. Which is smaller: 217 or j?
j
Let r = -136 - -95. Let c be -2 + 1 - (-18)/(-9) - r. Is 147/4 > c?
False
Suppose -o = -3*k + 3, 0 = -o - 3*k + 3. Let t be (2 + 0)*(-1)/21. Which is smaller: t or o?
t
Suppose -4*a + 33 - 5 = 0. Let u(p) = p**3 - p**2. Let x(o) = -2*o**3 - 5*o**2 + 6*o + 5. Let z(h) = -3*u(h) - x(h). Let k be z(a). Is k smaller than 2?
False
Let w be (1 - (-65)/(-35))*-7. Let u be (-4 - -2)/(w/78). Is u greater than or equal to -28?
True
Let y be 5/2 + ((-59724)/(-24))/(-7). Which is greater: -354 or y?
y
Suppose 4*i - w = 16, i + 4*w + 5 = 2*w. Let a be (-7)/(((-12)/(-3))/(-4)). Suppose -9 = 4*y - a*y. Is y >= i?
True
Let m be (-215)/(-36)*(-5 - (-1269)/255). Let t = -1/34 - m. Which is greater: t or -0.4?
t
Suppose 5*p - 3*l - 33 = p, 0 = 4*p + 3*l - 39. Suppose -4*v = -p - 27. Suppose 4*j - v*j = 0. Is j at least 2/7?
False
Let n be (-1 - -165)/((-1)/(-2)). Let o be (n/(-8))/(2/(-4)). Let g be 4/18 + o/(-126). Which is bigger: g or -1?
g
Let u be 12*3/15 + 18/30. Which is smaller: 27/8 or u?
u
Suppose 14*v - 16*v = 6, -2*v - 10 = -4*b. Which is bigger: -1/74 or b?
b
Let l be 0/10 - (-1 - -1). Let m be 4/(-1) + l + 56. Let d be (0 - 0)*13/m. Does d = 4?
False
Suppose 449 = -6*j + 227. Is -71/2 <= j?
False
Let c = 74 + -73.7. Is c at most 1/9?
False
Suppose 2 = -3*u + u. Let j be u/(7/14)*3/2. Do j and 7 have different values?
True
Suppose 0 = n + 4. Let d be 3/1 - (2 + (-4 - n)). Which is greater: -1/167 or d?
d
Let i be 4/10 - (-231)/35. Let z be (-7)/(i/(-26)) + -2. Let m be ((-6)/21)/(z/(-21)). Which is greater: 3 or m?
3
Let y = 97 + -34. Let m = 68 - y. Which is smaller: m or 4?
4
Suppose 122 = 3*v + 5*b, -v - 3*b + 31 + 15 = 0. Which is bigger: -7 or v?
v
Let b = -10 + 18. Let l = b + -7. Suppose 4*o - l = h, -2*o - 14 - 13 = 5*h. Do h and -6 have the same value?
False
Let s = 1.16 + 1.94. Which is greater: s or -4?
s
Let u be (9/6)/1*-32. Let v be 12/(-16)*((-606)/(-9) + -3). Let r = v - u. Is r < 3/2?
True
Let v be (-85)/34*(-2)/5. Are -2.23 and v unequal?
True
Let g = -7.155 + 0.155. Let k = -9.22 - -0.22. Let u = k - g. Which is bigger: u or -0.2?
-0.2
Let g = -3 + -1. Let u = g - -13/3. Let l = 0.2 + -0.4. Is u at most as big as l?
False
Suppose 3*i = -5 + 11. Suppose 4*f + 22 + i = 0. Let y be ((-9)/f)/(-3)*-4. Which is bigger: y or 8/5?
y
Let d = -0.7732 + -0.2268. Let c = -45 + -15. Which is smaller: d or c?
c
Let q be (-160)/72*17 + (-2)/9. Is q < -38?
False
Suppose 3*n + 5*v = n + 15, -29 = -5*n - 4*v. Suppose -n*x + 136 = 1. Which is smaller: 28 or x?
x
Let w = -3 + 3. Suppose -117*u + 10 = -112*u. Is w at least u?
False
Suppose 3*w + 8 = -w. Let v = -18 - -20. Suppose 3*d = -3*a + v*d - 9, 0 = a - 5*d - 13. Is a bigger than w?
False
Let s = -3.86 + 3.971. Is 1 smaller than s?
False
Suppose -u + b = -2*u - 39, 0 = -4*b - 20. Which is smaller: 1 or u?
u
Let q(m) = -4*m + 177. Let i be q(38). Are -8 and i equal?
False
Let s(q) = 6*q**2 - 3*q + 2. Let y be s(1). Suppose 156 = y*u - 254. Let r = 325/4 - u. Does 2 = r?
False
Let k = 9 - -2. Suppose 4*r - 5*b = 21, -4*r + 5*r + 2*b = -k. Let f = -667/35 - -91/5. Which is smaller: f or r?
r
Let m = -35 - -40. Suppose 0 = -3*y + 2*w + 3*w - 3, 4*w = -5*y - m. Is y smaller than 2/17?
True
Let j = 0 + 0. Let k = -622 - -621.6. Is k < j?
True
Let y be (925/200)/((-6)/8). Is y < 1?
True
Let a(w) = 2*w**2 - 107*w + 92*w + 2 - 4. Let n be a(8). Let o(d) = -d - 4. Let z be o(-3). Which is smaller: n or z?
z
Let c be (-80)/(-400)*(-20)/42. Is c less than -1?
False
Let c(l) = l**3 - 5*l**2 - l + 5. Let j be c(4). Let u be (-1)/(1/14*1). Is j greater than u?
False
Let m(p) = -p**2 + p + 1. Let x(d) = -7*d**2 + 2*d + 26. Let u(l) = 6*m(l) - x(l). Let o be u(-7). Is o at most -1/7?
False
Let v(x) = x**3 - 13*x**2 + 15*x + 6. Let l be v(12). Suppose 0 = 4*a + 14 - l. Which is bigger: a or -0.3?
a
Suppose -3*f - 402 + 0 = 0. Let p = f - -117. Which is smaller: -19 or p?
-19
Suppose -16 = 4*l - 0. Let y be l*(-1 + 3 + -3). Suppose -2*h + 16 = 2*v, y*h + 3 = 3*v - 28. Which is greater: v or 8?
v
Let k = -83 + 100. Which is greater: -2/19 or k?
k
Let s be 6/3 - 4 - -6. Suppose 6 = l + s*v + 5, 0 = 2*l - 4*v + 10. Is -4 less than l?
True
Let i = -1655 + 1662. Which is bigger: -77 or i?
i
Suppose -l + 2*g + 136 - 133 = 0, 0 = 3*l - 2*g - 5. Is l bigger than 0.034?
True
Let n = 94296.4 + -94298. Let q = 11 + -8. Let u = q - 2. Is n at least as big as u?
False
Let v be 1 + (-7)/3 - 18/(-54). Which is greater: v or -11/31?
-11/31
Let k = -3/14639 - 2283609/365975. Which is smaller: -6 or k?
k
Let j(v) = -24*v**2 - 23*v + 45. Let w be j(2). Is w at least -97?
True
Let g(i) = -3*i + 21. Let o be g(4). Let m be 52/(-3) + 3/o. Which is smaller: m or -1?
m
Suppose 2*l + 1 = -w, -2*l - 2*l = -5*w + 37. Suppose -w*s - 11 = -v, -7 = v - 3*s - 18. Let i be ((-30)/(-8))/((-3)/(-8)). Do v and i have the same value?
False
Suppose 5*w = -6 + 26. Suppose 4*g = -3*f - 42, w*f + 26 = -2*g - 0*f. Let n = 53/30 + -11/10. Are g and n non-equal?
True
Let l be (-5 - 374101/(-74815))*15/2. Do l and 1 have different values?
True
Suppose 4*y - 5*y + 3 = 0. Suppose -5*t = y*o - 7, 0 = 3*t + 4*o - 2 - 11. Let a be ((-5)/90)/((-1)/8). Which is greater: a or t?
a
Let f be 3/(6/(-4)) - -4. Let h be (-2)/40*(-26 + 11). Is f smaller than h?
False
Let s be 81/18 - (-1 + 4). Which is smaller: s or -4?
-4
Suppose -38*v + 9*v - 3306 = 0. Is v less than or equal to -114?
True
Suppose -t + 115 = 5*s - 312, -3*s - 5*t = -265. Suppose -y - 6*k + 32 = -2*k, 5*y = -5*k + s. Which is smaller: 13 or y?
y
Let x(w) = w**2 - 3*w + 8. Let c be x(2). Suppose 3*v + 254 = 5*f, c*v - 3*v = -f + 58. Which is bigger: 51 or f?
f
Let d = 3772 + -2436. Is d >= 1336?
True
Let p = 2/207 - 424/1035. Which is bigger: 47 or p?
47
Let u = 34 + -30. Suppose 0 = -u*y + 2*y + 4. Do y and 13 have the same value?
False
Let y be 3/5 + 4944/(-32890). Let n = y + 3/253. Which is bigger: 1 or n?
1
Supp