pose -37 = -3*r - 13. Suppose 4*k = 4*m + 12, -3*m + 9 + 2 = k. Let n = 3 - m. Is r less than n?
False
Let p = -6 - -16. Suppose -3*a - p = -5*d - 0*d, -a - 3*d = -20. Suppose -3*o = s + 5, -a*o = s + 4 + 3. Is -2 at most o?
True
Suppose -7*i - 19 = 163. Let s = 28 - 54. Is s != i?
False
Let v = -0.485 + -0.215. Let p = -2.5 + 3. Let b = v + p. Is 2/5 at least b?
True
Let s = 5 - 73. Let i = 65 + s. Which is smaller: i or -1?
i
Let d = 0 + 0. Let r be (0 - 0) + (-66)/144. Let s = r + 1/8. Do s and d have the same value?
False
Suppose -2*b - 10 + 6 = 0. Let j be (1/b)/((-4)/8). Is -43 less than j?
True
Let m = -3 - -12. Let s(r) = -4*r - 36. Let o be s(-11). Is m not equal to o?
True
Suppose 12*y + 12 = 11*y. Let u be (3/(-6))/(3/y*2). Let h be (-18)/(-14)*1/6. Which is smaller: u or h?
h
Let j = -26 - -113. Let c = j - 121. Is c at least as big as -32?
False
Let w = -19 + 21. Suppose 0 = -5*z + 7*z - w. Let c = -2/3 - -1. Is c <= z?
True
Let g = -46 + -279. Let v be g/572 + (-2)/8. Which is greater: v or -1?
v
Suppose 5*n + 5*k = 448 - 2328, -3*n + k - 1108 = 0. Let y = -4826/13 - n. Let w be 1*(4 - 15/3). Which is smaller: y or w?
w
Suppose -3*c + 120 + 804 = 0. Do c and 307 have the same value?
False
Suppose -7*a - 7 = -0. Let g be 9*(-1 - a/3). Suppose 2*y - 8 = 5*b, -4*y - 10 = -y - 2*b. Are y and g non-equal?
False
Let q be (-4 - (-15)/5) + 2. Do 14/67 and q have the same value?
False
Let k(j) = -j**3 + 7*j**2 - 1. Let m be k(7). Let o = 2/5265 + -1223/21060. Is o < m?
False
Let p(d) be the first derivative of 7*d**2/2 + 2. Let m be p(1). Let g be 11/(33/(-6)) - -10. Which is greater: m or g?
g
Suppose -18*k + 14*k - 51 = 5*y, -27 = 2*k + y. Let r(m) = -m**2 - 4*m - 4. Let c be r(-6). Is k >= c?
True
Let f be 2/(-2) - -4 - -1*2. Suppose -4*c = 4*d + 120, -5*c = -5*d - 37 - 63. Let u be 15/d + 88/f. Is 17 greater than u?
False
Suppose -2*u - 24 = 2*u. Let q be (u*1)/(9/(-6)). Let h be 2/q - (-24)/(-32). Is 0.2 equal to h?
False
Suppose -2*t + 185 = 3*t. Suppose 3*b = -4*d + 2*d - t, 0 = 3*d + 2*b + 53. Suppose 3*p + 66 = -5*w, -5*w + 9 = 24. Is d smaller than p?
False
Suppose 3*r + 21 = 129. Let g = 24 - r. Is -13 less than g?
True
Suppose -72*z + 96*z + 9024 = 0. Is z at least -375?
False
Suppose 4*y + 3*z - 60 = 0, 30 = -0*y + 2*y - 2*z. Let b be (y/(-25))/(1/(-5)). Let p be 2/b*16/(-32). Which is smaller: p or 5?
p
Suppose 22*b + 4 = 24*b. Suppose 0 = b*x - 7*x. Which is greater: -2/33 or x?
x
Suppose -j + 4 - 3 = 0. Let n be (-12)/9 - 1708/(-264) - 5. Which is smaller: n or j?
n
Suppose -35 = -5*f - 15. Suppose 5*m - 2*p = 39, -2*m = 2*p - 31 + 7. Suppose -r = -f*r + m. Is r >= 3?
True
Let g(v) = 3*v**2 + 4*v - 2. Let w(b) = -2*b**2 - 3*b + 1. Let h(t) = 5*g(t) + 7*w(t). Let s be h(0). Let a be s*(-88)/(-84) + 2. Which is bigger: a or -2?
a
Let b = -3867109 - -69588367/18. Let p = -1089 - b. Let h = 2/9 + p. Is h bigger than 0?
False
Let q = -20.97 + -0.03. Let f = 12 + q. Let v = f - -14. Do v and 2/7 have the same value?
False
Suppose 5*r = d - 6, 5*d - 4*r = -2*r + 30. Let j be (-52)/(-6)*d/(-4). Is -13 at least as big as j?
True
Suppose 0 = y + 1 - 5. Suppose 6*g = y*g - 8. Let b be (1/2)/(g/24). Which is greater: b or 1/4?
1/4
Let n = 28 - 29.3. Let x = n - -2.3. Which is smaller: -2 or x?
-2
Let d be -1 - 3/((-3)/7). Let g be ((-2)/d)/(16/18). Let h(j) = -j**3 - 12*j**2 + 43*j - 30. Let c be h(-15). Which is smaller: g or c?
g
Let h = 55.221 + 1.739. Let q = -1.04 - h. Which is smaller: 2/3 or q?
q
Let o(b) = 9*b + 42. Let n be o(-3). Let k be 1 + -1 + 1*4. Suppose -k*p + n = -5. Which is smaller: 7 or p?
p
Suppose -241 = 26*t + 1475. Which is greater: -55 or t?
-55
Suppose 2*p - 1 = 3*p. Let b be (1/(-10))/((-315)/(-56)). Let y = b + 6/25. Which is smaller: p or y?
p
Let w = -486 - -2432/5. Is w >= 2/3?
False
Let z = -0.043 - -0.082. Let l = z + 23.961. Let r = l + -22. Is r greater than or equal to -4?
True
Let m = 0.5 - -2.4. Let t = m - 3. Let d = 337/30 + -65/6. Which is greater: t or d?
d
Suppose 0 = -2*k - 6, -3*w - 3*k - k - 72 = 0. Let a be -1 + (-62)/(-3) + 0. Let d = w + a. Is d >= -0.2?
False
Let i = -51.29 + 51. Let a = i - -0.39. Let t = a - 0.2. Is t at most as big as -1/15?
True
Let p = 1 - 1. Let v = 0.1268 - 6.1268. Which is smaller: v or p?
v
Let a(s) = s**3 + 5*s**2 - 6*s. Let m be a(-6). Let f = 7.9 + -7. Let h = f - 19.9. Is m greater than or equal to h?
True
Let d(g) = -26*g**2 - 3*g + 1. Let t be d(1). Is -28 <= t?
True
Let d = -5.11 + -101.89. Is d < 2/9?
True
Suppose 3*o - 25 = -2*o. Suppose u - 2*u = -2*s + 4, o*s = -4*u - 3. Let p = u - -5. Which is bigger: -0.1 or p?
p
Suppose 546 = -5*p + 551. Do -411 and p have different values?
True
Suppose -5*a + 9 = 4. Is 2/3237 at least a?
False
Suppose -4*o = 4*w - 4, 4*o - 22 = 6*w - w. Let r be (-22 + 1)/3 - 2. Let l be (r/(-2))/((-15)/5). Which is smaller: w or l?
w
Let d = -11 + 25. Let w(s) = 5*s - 26. Let x(f) = -f**2 - 7*f - 2. Let j be x(-5). Let u be w(j). Do d and u have the same value?
True
Let i be 2/(-5) + 108/20. Suppose -5*h = -i*b - 25, -2*b - 25 = -5*h - b. Suppose 9*c - h*c = -4. Is 2/9 bigger than c?
True
Suppose -30 = -2*u - 4. Suppose s - 3 = -u. Let x be (-21)/2 - (-2)/4. Is s equal to x?
True
Let r be (-1 - (-48)/(-44)) + 1. Suppose -3*n = -g - 17, n - 1 = -7*g + 5*g. Which is greater: r or g?
r
Suppose -41 = -5*q - 36. Is 14/127 equal to q?
False
Let t(u) = -16*u**2 + 6*u + 5. Let g be t(-2). Let k = g + 73. Is 0 equal to k?
False
Let p be -1 - (-3 - (-993)/450). Let r = p - -1/25. Are -3/2 and r non-equal?
True
Let a be (11 + (-407)/33)*714/4. Which is smaller: -240 or a?
-240
Let k be 3*5/30*-18. Let f = -23 - k. Is -14 greater than f?
False
Let u = 2 - -10. Let b(a) = 3*a**2 + 44*a - 239. Let s be b(-19). Does s = u?
False
Suppose s + s - 2 = 0. Let g = 1 - s. Suppose -3*l + 1 = -y, 0 = -2*l + 627*y - 623*y - 6. Which is bigger: l or g?
l
Suppose -4*b + 3*q + 0*q = 21, 4*b = 5*q - 27. Let p = -37 + 51. Let o(y) = 2*y**2 - 29*y + 8. Let u be o(p). Which is greater: u or b?
b
Let g(m) = 3*m - 3. Let r be g(5). Let i be 9/r*(-1)/(-6). Let y = 581 - 581. Which is bigger: i or y?
i
Let z(i) = -7*i + 6. Let w be z(4). Let y(r) = 2*r**3 - 15*r**2 + 23*r - 11. Let s be y(5). Which is greater: w or s?
s
Let s = -31 - -22. Let y be 3/(s/12*-2). Suppose -y*m = -4*m. Which is smaller: -0.5 or m?
-0.5
Let h = -9654 - -144646/15. Is h at least as big as -11?
True
Let m be ((-12)/7)/(217/(-98) - -2). Suppose -2*f + s = -0*f - 9, -5*f + s + 30 = 0. Is f less than m?
True
Let n be 21*(-1 + (-15)/(-9)). Let g = 15 - n. Suppose -l + 0*l = -g. Is l at least as big as 2?
False
Let p be (-6)/4*6/(-9). Let g(f) = 3*f**3 - 1. Let z be g(p). Suppose -z*q + 22 = 5*l, -q = -3*l + 2 - 13. Is 10 < q?
True
Suppose -11*r + 76 = -12. Are r and 9 non-equal?
True
Let o(f) = 675*f + 1. Let s be o(2). Let h = 17555/13 - s. Let y be (2/2 + 0)/(1/(-2)). Which is greater: y or h?
h
Let j be (6/(-15))/((-4)/5)*4. Suppose -r - j*r - 4*c - 1 = 0, r + 3 = -4*c. Which is smaller: -2/109 or r?
-2/109
Let j(q) = q**3 + 3*q**2 - 5*q + 3. Let o be j(-4). Let k(l) = -l + 8. Let v be k(9). Let g(y) = -7*y**3 - 2*y**2 - y. Let x be g(v). Is x <= o?
True
Let c be (18/108)/((-10)/(-36)). Let p = 2/339 + 1001/2712. Are c and p equal?
False
Let m(s) = -s**3 - 11*s**2 - s - 3. Let u be m(-11). Suppose -u - 4 = 3*x. Let h(v) = -v**3 + 7*v**2 + 9*v - 8. Let d be h(8). Is d at most as big as x?
False
Let o = 0.1096 - -24.8904. Which is greater: 6/11 or o?
o
Let z(y) = 4*y**3 - y**2 - y - 2. Let t be z(-2). Which is smaller: -177/5 or t?
t
Suppose 2*f + 4 = 12. Let u = -170 - -150. Let d be (f/10)/(12/u). Which is bigger: d or -2?
d
Let d = -12/315263 + 5504807675/11349468. Let n = 485 - d. Is n at most -1?
False
Let o = -63.1 - -10.1. Let n = -52.949 - o. Which is smaller: -0.1 or n?
-0.1
Suppose 4*h - 249 = -i + 21, -5*i - 2*h = -1440. Is i greater than or equal to 291?
False
Suppose 0 = -j - 2, j + 0 - 8 = 5*y. Let t = -26 - -24.4. Let i = -1 - t. Which is smaller: y or i?
y
Suppose 4*d = 2*p + 398, -2*d = 4*p - 83 - 141. Suppose -3*i + d = a + 2*i, a + 3*i = 100. Suppose -5*v = r + a, 2*v + 53 - 13 = -r. Does v = -19?
True
Let n(g) be the second derivative of g**3/2 + g**2/2 + 25*g. L