reater: -47 or c?
-47
Suppose 2*m - 2*r = -42, -5*r - 145 = m + 4*m. Which is bigger: m or -27?
m
Let l be -1*(3 + -2)*-1. Let b = 0 + l. Which is smaller: b or 0?
0
Let h be (-1 + 0)/(4/36). Let d be ((-2)/(-3))/((-6)/h). Which is greater: d or 2?
2
Let v(n) = n**2 - 7*n + 3. Let b be v(6). Let u = 1 + b. Do u and -4/5 have different values?
True
Suppose 0 = -4*p - 5*l - 20, 0*p + 4*p + 2*l = -8. Let j be (-5)/4 + (-2 - -3). Is j greater than p?
False
Let t(j) = 5*j**2 - 36*j + 5. Let v be t(7). Which is smaller: -14/19 or v?
v
Let f = 9 - 14. Let r = f + 0. Which is greater: 0 or r?
0
Suppose -2*t + t = -3. Suppose 0 = 2*q - 3*o + 18, -t*o = q + o - 13. Is -4 equal to q?
False
Let c(s) = -s**3 + 8*s**2. Let y be c(8). Suppose a - 2 + 0 = -f, -3*a - f = y. Is -2 equal to a?
False
Let n(p) be the second derivative of -p**4/12 - 3*p**3/2 - 6*p**2 - 4*p. Let x be n(-6). Which is smaller: 4 or x?
4
Let v be 3*12/(-630)*-10. Is v > -2?
True
Let i = 0.3 + -0.1. Let q = i + -0.2. Let o = -37/4 + 19/2. Which is greater: q or o?
o
Let b = 0.05 - 2.05. Let l = b - -1. Is -1 at least l?
True
Let u = -60 + 60. Which is bigger: 2/19 or u?
2/19
Let l be (-6)/9*(-33)/(-6). Do l and -3 have different values?
True
Suppose 2*n - 6 - 2 = 0. Let r = 4 - n. Suppose 0 + 3 = -3*f. Is f < r?
True
Let v = -2.4 - -2. Let z = v - -0.2. Let q = -0.1 - z. Which is smaller: q or 0?
0
Let h(s) be the third derivative of -s**4/24 + 2*s**3/3 + s**2. Let a be h(-5). Suppose -4 = -a*r + 5*r. Which is smaller: r or 1/13?
1/13
Let g = 1/93 - -275/372. Which is smaller: -5 or g?
-5
Let i(y) = y**3 + 6*y**2 - 7. Let m be i(-5). Suppose 3*d - m = -0. Are d and 6 equal?
True
Let f be 3/(-2 - (-220)/(-208) - -3). Do f and -2/5 have different values?
True
Let p = 28/15 + -394/195. Which is smaller: p or -2/5?
-2/5
Let v = -2/2125 - -255856/6375. Let p = v - 40. Does p = 0?
False
Suppose 3*n = -5*n + 32. Which is smaller: 5 or n?
n
Let q = -25.8 - -24. Is 1 equal to q?
False
Let m be 65/1001 + 6/(-14). Does m = -1?
False
Suppose 8 = -4*v + 3*p, p + 0 + 1 = 5*v. Which is smaller: v or -2?
-2
Let f = -2 + 8. Which is smaller: 5 or f?
5
Suppose -i = -0*i + 3. Does -3 = i?
True
Let k be -37 + 1*(-4 - 0). Is -42 >= k?
False
Let a = 1.2 - 1. Let d = -49 - -58.4. Let b = d + -9. Is a at least as big as b?
False
Let z(s) = -s**2 + 2*s - 2. Let u be z(2). Let q be (7 + -15)*(-2)/4. Let w be (3 + -2)/(-5 + q). Which is smaller: u or w?
u
Suppose 1 + 2 = -n. Let j be 3 + (n - 74/(-40)). Let v = 8/5 - j. Which is bigger: -1 or v?
v
Let m = 4.98 + -5. Which is greater: m or -0.1?
m
Let g(u) = u**2 + 3*u - 5. Let f be g(-4). Let d = -7 - -9. Suppose 0*c = c + d. Are f and c non-equal?
True
Let j be (-40)/(-25)*(-2)/(-24). Let x(z) = -5*z + 3*z - 6 + 3*z. Let t be x(6). Which is greater: t or j?
j
Let i = 808 - 8882/11. Let y be ((-1)/2)/(1/(-4)). Which is greater: i or y?
y
Let x = -5 + -5. Suppose -24 = 2*l - 4*k, -6*k + 46 = -5*l - 10*k. Do x and l have different values?
False
Let c = -35 + 33. Which is greater: c or -8/13?
-8/13
Let r(h) = 2*h - 52. Let y be r(17). Which is smaller: y or -17?
y
Let s be ((-4)/30)/(8/10). Suppose -12*t + 56 = -8*t. Let l be (t/28)/((-10)/4). Which is smaller: l or s?
l
Let t = -8.3 - -8. Let s = t + -0.7. Let f = -2 - s. Do -2/5 and f have the same value?
False
Suppose 4 = 2*d - c, 5*c + 2 = 3*d - 11. Let l be (-3)/(-2)*8/42. Which is bigger: l or d?
d
Suppose -a + 7 = 9. Let w = 721/5 + -145. Is w <= a?
False
Let w be ((-134)/10)/((-12)/(-15)). Let c be 15/35 + 9844/(-560). Let y = c - w. Which is bigger: y or -0.1?
-0.1
Let z be 6*(-6)/(-9) + 2. Let y be (z/(-42))/((-2)/(-4)). Suppose 0*r - 3*r = 0. Which is bigger: r or y?
r
Let r = 0 - -1. Let t = 16 + -26. Let m = 9 + t. Is r equal to m?
False
Let n = -24 - -23. Let t = 1.1 + -0.1. Which is smaller: n or t?
n
Suppose -311 = -3*v + 94. Let n be (-5)/(v/12) - 0. Is n at most 1?
True
Let x(n) = -n + 10. Let d be x(7). Let f be (6/d)/2 + -2. Which is bigger: -2 or f?
f
Let y(o) = -o**2 + 5*o - 5. Suppose 29 = 3*x + 5*k - 10*k, 0 = 3*x - 3*k - 21. Let f be y(x). Which is smaller: 2 or f?
f
Let j = 16.963 - -0.037. Do -0.2 and j have different values?
True
Let a(j) = 2*j - 5. Suppose 0*i + 6 = i. Let v be a(i). Is v bigger than 7?
False
Let f = 5 + 0. Suppose -g - 4 = -f*g. Which is smaller: 2/15 or g?
2/15
Suppose -2*n - 3*u + 13 = 2*u, -4*n = 5*u - 21. Suppose 0 = -n*b - 6 + 26. Suppose g - b*g - 4 = 0. Which is smaller: g or 0?
g
Suppose -2*g = 5*n + 16, -2*n + 1 = 9. Let w be ((-2)/12)/(g/(-9)). Let f = 110 + -108. Is w bigger than f?
False
Let t(i) = i**2 - 7*i + 7. Let x be t(5). Let o(h) = h + 3. Let u be o(x). Are 1/17 and u non-equal?
True
Let p = 4.02 + -4. Let f = -52.98 - -51. Let t = p - f. Which is smaller: t or -1/4?
-1/4
Let h(t) = -t**3 + 9*t**2 - 16*t + 15. Let p be h(7). Let s be 0 + (1 - (-28)/(-26)). Is p greater than s?
True
Let r be ((26/6)/1)/(-1). Let v = -3 - 1. Let p = r - v. Which is greater: 1 or p?
1
Suppose 4*j + 16 = -5*h, 0 = -4*h + 5*j + 5 + 15. Let z(y) = 3*y**3 - 2*y**2 + 2*y - 1. Suppose -f - 15 = -4*q, q + 1 - 6 = -f. Let n be z(f). Is n < h?
False
Let o = 955 + -152799/160. Do o and -1 have different values?
True
Let s(a) = -a + 8. Let p be s(0). Suppose -2*f - 2*f = p. Is f smaller than -2?
False
Suppose 8*j - 54 = 106. Let y = 24 + -4. Is j less than or equal to y?
True
Let c = 3 - 3.5. Let a = -262 - -263. Is c != a?
True
Suppose -2*t = 3*t + 4*i - 18, 2*t = 2*i. Is 0.14 equal to t?
False
Let w be 5 - (2 + -1)*-1. Let h be (-26)/(-42) - 2/w. Which is smaller: h or 1?
h
Let s = 58 + -51. Which is smaller: s or 5?
5
Let r(k) be the first derivative of -7*k - 1/3*k**3 + 3 - 7/2*k**2. Let i be r(-6). Is i bigger than -2?
True
Suppose 0 = -0*c + 3*c - y + 9, 4*y - 16 = 2*c. Let q be (-4 - (c + 0))*2. Is q > -4?
False
Let v = 0.04 + 1.96. Let n = -582/7 + 83. Is n > v?
False
Let t be 35/14*(-1 + 11). Suppose -5*h + t = -0*h. Are -1 and h nonequal?
True
Let l be (6 - 7)/((-14)/(-10)). Which is smaller: l or -1?
-1
Let r = -2 - -7. Suppose 0 = -r*o + o. Let m be ((-16)/(-20))/(12/9). Which is bigger: m or o?
m
Let z = -22 - -23. Suppose 2*m = -5*u + 3*u - 2, 5*m + 4*u + 2 = 0. Is m at least as big as z?
True
Suppose -6*c - 2*b = -c + 10, c + b = 1. Let w = 5 + c. Let o be (-9)/3 + w + 1. Which is smaller: o or -1/4?
o
Let x be 10/8 + 9354/(-7464). Does x = 0?
False
Suppose 2*f = -2*f. Which is smaller: f or -9/8?
-9/8
Suppose 5*u - 2*u + 6 = 0. Let d = -8 + 3. Let g = d + 4. Which is greater: g or u?
g
Suppose a = -2*a + x - 5, x - 5 = 0. Suppose a = -4*k - 3*q - 1, -2*k + 6*k - 2*q - 14 = 0. Suppose -3*r - k*r = 0. Do 3 and r have the same value?
False
Suppose 2*n - 5*r = 3*n - 21, 5*n = 5*r - 15. Let s be (-1)/1*(-1 + -1). Is s not equal to n?
True
Let b be 1 - (2 - (-10)/(-2)). Suppose n = b*n - 6. Let i be ((-2)/(-4))/(n/(-12)). Are -2 and i nonequal?
True
Suppose n + n = 2. Let v = n - -4. Is v at most as big as 6?
True
Let v be 1*(-5)/(-4) - -2. Let i = 3 - v. Let q = -47 + 46. Is i <= q?
False
Let t = 74.9 - 75. Let y = -4 - -4.24. Let l = 0.06 + y. Are t and l equal?
False
Let g = -45 + 47. Is g greater than -1.5?
True
Let v = -19 + 24. Suppose -4*m = -v*i - 10, -m + i + 2 = 2*m. Is m equal to 2/53?
False
Let a = 2069/42 + -281/6. Let p = a - 19/7. Which is smaller: p or 0?
p
Let b be ((-2)/(-5))/(6/78). Which is greater: b or 6?
6
Let f = 6 - 8. Let h = f - -1. Let w = -28.9 + 29. Is w at most as big as h?
False
Let w be ((-24)/(-52))/3 + 0. Which is smaller: w or 0?
0
Suppose 5*z = j - 0 + 2, -14 = -2*j + z. Which is smaller: j or 1?
1
Let k be 0/(2 + -3 + 0). Is k smaller than -1?
False
Suppose 7*j - 4*j + 45 = 0. Let y be ((-18)/j)/((-2)/10). Is -7 bigger than y?
False
Let b be 3/9 + 22/6. Suppose j - 4*u = -12, 0 = -3*u + b + 8. Is 3 smaller than j?
True
Let r(l) be the first derivative of l**3/3 - 4*l**2 - 3*l - 2. Let i be r(8). Is i not equal to -3?
False
Let n be ((-32)/(-20))/(2/5). Which is greater: 28/9 or n?
n
Let t = 607/3 - 11524/57. Let l = 63/38 - t. Is l greater than or equal to 2?
False
Suppose -b = -3*b + 4. Let v(z) = 2*z**3 - z**2 - 2*z - 1. Let n be v(b). Which is greater: n or 6?
n
Let m(r) = -r**2 + 3*r + 3. Let l be m(-1). Are l and 1 non-equa