-7*r. Suppose 0 = -9*x + 2*x - r. Is 0 equal to x?
False
Let d be 8/(-28) + 682/(-14). Let v be (-151)/2 + (d/(-14) - 3). Which is bigger: v or -74?
-74
Let b(i) be the second derivative of i**4/12 - 5*i**3/3 - 5*i**2 - 5*i. Let w be b(10). Let a be 1/4 + w/30. Which is bigger: 0 or a?
0
Let i(j) = -j**3 + 9*j**2 + 10*j + 1. Let x be i(10). Let r be -4*(x + 201/6). Let w be (-10)/(-25) - r/(-195). Which is smaller: w or -1?
-1
Let t = -0.95 + 2.95. Let j = t - 0.7. Which is bigger: 0.1 or j?
j
Suppose -11 - 32 = -w. Let u = w + -44. Is -18/11 < u?
True
Let i = -0.0485 + -1.9515. Which is smaller: -23 or i?
-23
Let u = -16 - -33. Suppose 476 = 11*k - 241 + 530. Is u at least as big as k?
True
Suppose 2*u + 4*g = 56, 28 = u + 4*g + g. Suppose f - 4*v = -7 + u, -f + 2*v = -11. Let p = -346 + 1729/5. Is f not equal to p?
True
Suppose 0 = 25*r + 4 - 54. Let g(b) = -b. Let w be g(1). Let c be 2 - (-1)/w*1. Are r and c equal?
False
Let w be (-3336)/44 + -3*8/132. Does w = 2?
False
Let y = -15 - -14.38. Let f = y - -0.72. Let o = -38.19 - -38. Does o = f?
False
Let v be ((-1)/6)/((-2)/(-6036)). Are -1005/2 and v unequal?
True
Let p be (-86)/(-18) - (-8)/36. Suppose -3*l = p*x - 128, 3*l - 124 = -4*x - 0*x. Suppose 4*u = -4*a - l, 2*u + 9 = -u + 3*a. Which is smaller: -9/2 or u?
u
Suppose -b + 3*b - 2*i = -16, 3*b + 20 = 2*i. Suppose -1 = -3*p - 2*u, 6*p - 2*p + 3*u - 2 = 0. Let l be (((-7)/(-2))/p)/1. Is l at most as big as b?
False
Suppose -6*h + 28 = -2*h. Let o be 30/(-56) + (6/h)/3. Suppose 2*p - 3 = 1. Are o and p equal?
False
Let r = 1022/5 - 205. Let g = 17 + -15. Suppose -z + 1 - g = 0. Is z less than or equal to r?
True
Let c = 8022014/801 - 10015. Which is smaller: c or -1?
-1
Let u be 1 + (-396)/4 + -4. Let h = 103 + u. Suppose -5*d + 11 = 2*c, -7*d - 7 = -2*d - 4*c. Is d > h?
False
Let v = -1 + 6. Suppose 4 = 2*c, -2*l - 2*c = -v*c + 4. Is l at least -1/11?
True
Let o be (-2144)/(-112)*(-30)/4. Which is bigger: o or -143?
-143
Let s = 507 + -507. Which is greater: s or 4/339?
4/339
Suppose 11*h - 150 = h. Is 16 equal to h?
False
Let t be (6/(-8) - 1111/(-132)) + -4. Is 3 > t?
False
Let a be (-9)/(-1) - (-6 - -4). Suppose 2*b - a = 3*f, 2*b + 3*f - f = 36. Let w be (-2)/b + (-148)/52. Is w greater than -4?
True
Let a = 50 + -101/2. Which is bigger: a or -61?
a
Let s = -139 + 97. Let c = -56 - s. Which is smaller: c or -2?
c
Suppose -q - 5*y = 17, -3*q = 5*y + 23 + 8. Let f be 9/3 - 1*(2 - -1). Let r(h) = h**2 - 2*h - 6. Let a be r(f). Are a and q nonequal?
True
Let w = 144 + -3026/21. Let l = -43/231 - w. Suppose 3*s - 1 = y + 4, 3*y + 15 = 4*s. Is l not equal to s?
True
Let t be (-287)/28 - (-30)/3. Let m(y) = y**3 + 6*y**2 - 2. Let s be m(-6). Let i be (-2)/(-8) - s/8. Is i less than or equal to t?
False
Let f = 5.4 + -5. Let s = -715/12 + 178/3. Which is smaller: s or f?
s
Suppose 5*j = -20, -10 = 2*s + 5*j - 0. Suppose 9*g = -s*w + 4*g - 15, 4 = 2*w - 3*g. Which is smaller: w or 3?
w
Let x = -642 + 694. Is x at least as big as -9?
True
Let t = -0.0115 - -15.0115. Is -2/17 >= t?
False
Let k = 104 - 111. Are 9 and k unequal?
True
Let x = 1229 - 883. Which is bigger: x or 2/5?
x
Let r = -57.255 - -0.635. Let p = r + 56. Let f = -0.6 - p. Does -3/2 = f?
False
Let r(n) = -3*n**2 + 9*n - 3. Let k be r(4). Is -18 smaller than k?
True
Let a(y) be the third derivative of y**4/24 + 9*y**3/2 + 16*y**2. Let k be a(-7). Which is greater: k or 2/5?
k
Suppose -4*a - 14 = -5*a. Suppose 2*z = -b + 26, 4*z - 11*b = -9*b + 36. Is z < a?
True
Let i = -114 - -796/7. Let v be 14547/(-351) - (1 - 13/9). Which is smaller: i or v?
v
Let z = 20 - 19.8. Let x = z - 0.1. Are 10 and x equal?
False
Let a = 23.58 + -22.7. Is a greater than or equal to -0.1?
True
Let h be (-3)/69*(3/(-51))/1. Is -1 at least as big as h?
False
Let n = 6669 + -6697.13. Let l = -28 - n. Is 1/3 <= l?
False
Let i = -18.65 - -19.65. Is i greater than or equal to -0.126?
True
Let s be (7 - -2) + 363/(-33). Which is smaller: s or -9?
-9
Let g = -2.7 + -0.1. Let a = g + 1.7. Let z = 1 + a. Is z greater than 2/13?
False
Suppose -5*y = -3*w + 12, 0 = -y + 3*w + w - 16. Let k = -42 + 9. Let h be 3 - 4/(-30)*k. Which is greater: y or h?
y
Suppose -6*c + 4*c + 8 = 0. Suppose 10*t - 5*t = -10, 3*t = -c*q + 2. Suppose i = q*i - 18. Is i greater than or equal to 19?
False
Let f = -7086184 + 219691789/31. Let l = -648 + f. Is 0 greater than l?
True
Let t = -9 + 8.4. Let y = 0.26 + 0.24. Let p = y + t. Is -4 less than p?
True
Suppose -5*b + f - 8 = 0, 4*b - 5*f + 9 + 10 = 0. Suppose 6*l - 25 + 19 = 0. Let q be (-11)/(-143)*(l + -3). Which is bigger: b or q?
q
Suppose -61*x + 56*x = -1990. Which is smaller: x or 397?
397
Let h = -29 - 94. Let p = h + 106. Is p not equal to 1?
True
Let b be (90/(-25))/((-6)/40). Suppose -b = 18*g - 6*g. Which is bigger: g or 0.9?
0.9
Let j(t) = 2*t + 12. Let m be j(-4). Suppose 6*h + 134 = 5*c + 5*h, 0 = -3*c - m*h + 85. Let v be 28 + 1 + -4 + 1. Is c smaller than v?
False
Let m be (-1 + 4)*1/(-3) + 7. Let u = -56 + m. Is -50 at most as big as u?
True
Let n = -1037 + 1011. Suppose -2*t - 112 = -6*t. Let m = n + t. Is m greater than 7/6?
True
Let s = -4 + 3.7. Let y be (-38)/(-6) + (-12)/(108/63). Which is smaller: s or y?
y
Let d = -825251/18204 - -1/6068. Which is smaller: d or -44?
d
Let f = -0.0587 - -0.0587. Is -0.3 less than or equal to f?
True
Let z = 118 - 124. Let c be 32/(-7) - 3 - -1. Which is smaller: c or z?
c
Let p(w) = w**2 - 25. Let g be p(5). Which is bigger: -1/144 or g?
g
Let s = -11 - -11.1. Let k(n) = 44*n**3 + n**2 - 2*n + 2. Let y be k(1). Let w be (-18)/y + (-74)/90 + 1. Do w and s have the same value?
False
Suppose 5*d + 2*w = -60, -7*d + 5*w = -3*d + 48. Let i be (d/42)/(2/(-14)). Suppose -i*x = -3*g - 14, -2*x + 4 = 3*g + 2. Which is smaller: g or -1/3?
g
Suppose 0*g + 1 = 5*g - 3*z, g - 3*z = -7. Suppose -p - m = -2*p + 4, -m + 2 = p. Suppose l - 5*t - 15 = 0, 3*l = g*l + p*t + 9. Which is bigger: 2/11 or l?
2/11
Let n = 1333 + -1331. Which is smaller: 598 or n?
n
Suppose -390*u + 384*u = 3114. Is -520 bigger than u?
False
Let c be ((-13)/39)/(2/(-18)). Suppose 7*n - c*n = 0, 0 = 2*o - 2*n + 52. Are o and -26 non-equal?
False
Let x be ((3 + -6)/(-6))/(14/(-49)). Is x <= -3?
False
Let x be -725*(-6 - (-77)/11). Which is smaller: x or -726?
-726
Let i be (-1)/(130/(-2) - 2*1). Let v = 30/13 - 124/65. Which is bigger: i or v?
v
Let u = 1177 - 1177.1. Which is smaller: u or 234?
u
Let n(d) = -d**2 + 7*d - 22. Let q = -61 - -65. Let w be n(q). Which is smaller: -11 or w?
-11
Let o = -1587 - -49205/31. Which is smaller: o or -1?
-1
Let a = 2866 - 2864. Let p(i) = i**2 - i - 6. Let h(z) = z - 1. Let t(d) = 3*h(d) - p(d). Let c be t(4). Is c > a?
True
Suppose -9*b - 1458 = 9*b. Is -82 bigger than b?
False
Suppose -215 = 5*q + 4*u, 5*q + 9*u + 175 = 13*u. Which is bigger: -33 or q?
-33
Let j = 2.87 - 2.2. Let f = j + -0.61. Is f less than -8/9?
False
Let j = 11 - 6. Let d be j/((-10)/4)*1/2. Is d at most -3/2?
False
Let j(g) = 4*g + 57. Let p be j(-14). Which is smaller: p or 2/735?
2/735
Let j(g) = -g**2 + 9*g - 6. Let o be j(10). Let w be 2 - (-28)/o - 2/4. Is w greater than 0.2?
False
Let t = 223.3 - 222.63. Do t and -4 have the same value?
False
Let f = -6 - -4. Let n = -9 - 34. Let s = 119/3 + n. Is s at most f?
True
Let f(u) = u**3 - 6*u**2 - 25*u - 1. Let i be f(8). Which is greater: i or -74?
i
Suppose -5*s - 16 = -7*s. Suppose k + s = 3*k. Suppose 3*c - 5 + 34 = 5*p, k*p = 4*c + 28. Is 2 less than or equal to p?
True
Let p = 175 - 184. Suppose 6*k + 27 = -21. Is k < p?
False
Let n = -20 - -25. Suppose -3*h - 1 + 4 = 5*q, -n*h + 42 = -4*q. Which is greater: 1 or h?
h
Let q = 0.75 + 73.25. Let d = -74.004 + q. Which is greater: -2/5 or d?
d
Let w = -801 + 800.937. Is w >= 0.1?
False
Let t = -4 - -7. Let a be 3/(0 - t) + -1. Let u = -278 + 278. Are u and a unequal?
True
Let w = -0.0072 + -0.0928. Which is smaller: 4/35 or w?
w
Suppose -m - 37 = 5*l + 48, -5*m + 25 = 0. Let j be (17 + l)/(1/(-6)). Is j >= -1?
True
Let w = 98 - 70. Let o(z) = -19*z + 9. Let s be o(-1). Is s at most as big as w?
True
Let g be -7 + (-40)/(-6) - (-344)/6. Suppose g = -11*u - 262. Is u > -30?
True
Let a(f) = 156*f + 111. Let o be a(-1). Let w(p) = -6*p**2 + 2*p + 2.