most as big as d?
False
Suppose -3*m - 14*m = 1241. Which is smaller: -71 or m?
m
Let q be (-244)/(-8) + 1 + 1/(-2). Is 30 greater than or equal to q?
False
Let z = 35/131 - 667/6419. Is 0 < z?
True
Suppose 0 = 4*v - 5 - 3. Suppose 0 = -k - a - 1, -1 = -3*k - a + v. Let c = k + -3. Which is smaller: -6 or c?
-6
Let u be 10/(7/(84/30)) - -7. Is u bigger than 11?
False
Let r be (-5 - -1) + 2 + 35. Let l = -32 + r. Which is smaller: -1 or l?
-1
Let u be 0 - 3/(-1 + 0). Suppose 5*n = 4*a + a, -5*n - 4*a = 27. Let p be (1 + n)/6*-6. Is u greater than or equal to p?
True
Let w(o) = -2*o**2 + 7*o + 5. Let x be w(4). Which is smaller: x or 54/23?
x
Let j be 3 + -4 - 6 - 3. Let u be 6/j + (-26)/65. Which is bigger: u or -2/9?
-2/9
Let v = -53 - -115. Let y = v - 63. Is y less than or equal to -1/88?
True
Suppose i = -i + 4. Let b be 27/324 - 13/12. Do b and i have different values?
True
Let j = -24 + 28. Suppose 0 = j*m + 1 - 45. Suppose -y + 21 = -m. Is 32 less than y?
False
Let a = 0.4 - 4. Let i = a - 0.4. Let t = 7 - i. Are t and 1/3 equal?
False
Let y be ((-12)/18)/((308/3)/4). Let q be (-2)/(-6) + 2/(-6). Is y less than or equal to q?
True
Let g be -4 - (35/14 - (-11)/(-2)). Is g at most as big as -2/431?
True
Let j be 0 + ((-30916)/(-1314) - -2) - 2. Let h = j - 212/9. Which is bigger: h or -1?
h
Let r = 135 - 136. Which is greater: r or 1/1821?
1/1821
Let s(y) = -38*y - 2. Let n be s(-1). Suppose -2*w - 4*w = -n. Are w and 8 equal?
False
Let c be ((-6 - 0) + 7)*2/(-127). Is c less than 1?
True
Let n(s) = s**3 - 7*s**2 - 2*s + 15. Let v be n(7). Let q be v/(-4) - (-2)/(-8). Suppose -3*z + 0*z = w + 7, -3*z = 3*w + 9. Is q >= z?
True
Let h be 85/(-5)*(-4)/2. Which is smaller: 35 or h?
h
Let c be (3 + (-16)/3)/(8/72). Suppose -21 = -j - r, -5*r = -j - 1 - 2. Let d = j + c. Is d at most -4?
True
Suppose -31*y + 4192 = y. Which is bigger: y or 132?
132
Let c = -4/2545 + -170487/17815. Is c greater than or equal to -11?
True
Suppose -5*r + 3*l - 2315 = 0, 4*r - 6*r - 957 = 5*l. Is r not equal to -465?
True
Let n = -1 + -2. Let l = -7 - n. Let s be 19/(-6*(-2)/(-3)). Which is bigger: l or s?
l
Let v be 6/(-6) - (140/(-6) - 4). Which is bigger: v or 2/3?
v
Let l be 32/(-12)*138/8. Is l < -89/2?
True
Let w = 114212403/31 + -3685116. Let u = w + 845. Suppose -6*d + 4 = -2*d. Which is bigger: d or u?
d
Let w(q) = -174*q - 2. Let i be w(2). Let u = i + 3503/10. Suppose -3*c = 2 + 1. Is c smaller than u?
True
Let b be (0 - -2)*3/24. Is 16 greater than or equal to b?
True
Suppose -16 = -4*t, -3*l + 6*t - 2*t = -80. Let p be 29 - (5 - (6 - 7/(-7))). Which is greater: l or p?
l
Suppose 0 = -3*o + 19 - 10. Let u be o + ((-70)/(-16))/(-1). Let s = u + 91/72. Are s and 2 equal?
False
Let z(c) = -c + 48. Let w be (2 + 3)*(-2 - -5 - -2). Let b be z(w). Which is smaller: b or 24?
b
Suppose -3*y = -8*y - 20. Let u be 16*-5 - (-3 - -1). Let z = u + 74. Is y smaller than z?
False
Suppose 177 = 7*n - 4*n. Are 60 and n equal?
False
Let f be (-284)/(-14) - (-14)/(-49). Let c = -101/5 + f. Suppose 1 = -2*i + 3. Is i at most c?
False
Let i(p) be the third derivative of -p**3/6 - 4*p**2. Let o(q) = -q + 4. Let w(u) = -3*i(u) + o(u). Let f be w(7). Which is bigger: 2/15 or f?
2/15
Let j be ((-4)/11)/((-2184)/(-445668)). Let g = 816/11 + j. Which is smaller: g or 1?
g
Suppose -9*p + 2*p - 7 = 0. Let f be (-3 - -1)/(p/13). Let i = 80/3 - f. Which is smaller: 1 or i?
i
Let l = -2 - -4. Let w be (l - 438/111) + 2. Let i = 64 + -64. Which is smaller: w or i?
i
Let m = 1/2428 + -8541/104404. Which is bigger: m or 0?
0
Let j(w) = -4*w - 2. Let c be j(-1). Let n = -390 + 1956/5. Which is smaller: c or n?
n
Let k = 0.21 - 0.14. Let o = k + 0.02. Let i = o + 0.01. Is i at most as big as 0?
False
Suppose -3*k + 6 = -k. Let s be ((-1)/(-2))/(10/160). Suppose -5*f = -s*f + 9. Is k smaller than f?
False
Let x = 23520242617/714 - 32941523. Let f = -114/17 - x. Is f <= -1?
False
Let c be ((-2)/(-4))/((-16)/64). Let d = 1/3 + c. Is 3 at least as big as d?
True
Let r(u) = u + 2. Let q be r(3). Suppose -p + 5*v + 20 = -0*v, q*v + 20 = 3*p. Suppose 2*b - 6*b = 0. Is p at most b?
True
Let l = -306/71 - -57767/142. Is 402 equal to l?
False
Let p = 5107 - 5239. Let b(h) = -68*h + 3. Let i be b(2). Which is smaller: p or i?
i
Let n = 53 + -50. Let g be 2 - (-2 + -7)/n. Is g bigger than 14/3?
True
Let f = 0.35 + 0.25. Let h = f - -5.4. Which is smaller: 2 or h?
2
Let k = 322 + -322. Which is smaller: -3.5 or k?
-3.5
Let j = -5 - -3. Suppose f = 0, -3*f + 5 = z - 6*f. Suppose o = 0, 1 = -n + 2*n - z*o. Is n >= j?
True
Suppose -268*g + 246*g - 22 = 0. Which is smaller: 5/722 or g?
g
Let x = -1.45 - -1.35. Let q(p) = 2*p**2 - 3*p + 1. Let k be q(3). Suppose 7*d - k = 2*d. Which is smaller: x or d?
x
Suppose 40 - 178 = 3*c. Let u be (-229)/5 + (-2 - 5)/35. Is u greater than c?
False
Let v = -36339 + 36342. Let n = 0.07 - 0.01. Is v != n?
True
Let c(j) be the first derivative of 6*j + 1 - 1/2*j**2. Let t be c(4). Which is smaller: -7 or t?
-7
Let n = 95/7 + -1559/119. Is -1 smaller than n?
True
Let k = 2217 + -2194.18. Let l = k - 23. Let s = 0.28 + l. Is s <= -3?
False
Let f be (-11)/(-198)*(-4)/47. Is f at least 1?
False
Let l = 1939 + -13584/7. Which is smaller: -2 or l?
-2
Let t = 47.092 - 0.092. Let c = 49.3 - t. Let v = -2077 - -2077.1. Is c >= v?
True
Let v = -1460 + 1440. Let y = -26 + 4. Which is bigger: v or y?
v
Suppose 4*h - 19*h - 23730 = 0. Let k = h + 105997/67. Is k less than or equal to 1?
True
Let h = -10 + 23. Suppose -5*o + h = -2. Let u = -445 - -444.99. Which is bigger: u or o?
o
Let z(p) = 5*p + 99. Let d be z(-20). Let v be 16/(-88) - 83/88. Does d = v?
False
Let w(g) = -g**2 - 14*g - 16. Let j be w(-14). Let v(h) = h**2 + 19*h + 28. Let b be v(j). Is -19 less than b?
False
Let q(n) = 7*n + 16. Let h(i) = -i - 1. Let o(x) = -5*h(x) - q(x). Let v be o(-5). Is 3/13 at most v?
False
Suppose -228 = -0*u + 2*u + 4*q, 0 = -3*u - 5*q - 340. Are u and -111 unequal?
True
Suppose 3*o + o - 36 = 0. Suppose -2*l + o = 27. Let s be -1 + (-3 - l)/3. Is s greater than or equal to -2/31?
True
Suppose 0 = 2*k + 4*m - 32, -2*m = -2*k - 2*k + 44. Suppose 0 = s - 0 + 10. Let p = s + k. Is p > 2?
False
Let x = -1325/6 + 441/2. Which is bigger: 223 or x?
223
Let i be ((-60)/(-770))/(1/7). Which is smaller: 1 or i?
i
Let r = 308 - 278.9. Let b = r - 34. Let k = -5 - b. Which is bigger: 4 or k?
4
Suppose -5*k - 269 + 54 = 0. Let n = k + 46. Let d be 1 + ((-5)/(-2) - 1). Which is smaller: d or n?
d
Let g(o) = o**2 + 4*o + 3. Let v = 11 - 14. Let n be g(v). Is n greater than -1/34?
True
Let f = 334967/5 - 121594261/1815. Let h = 2/121 + f. Let m(y) = y + 1. Let s be m(-2). Is s bigger than h?
False
Let d(c) = -c**2 + 2*c + 1. Let a be d(-4). Let p = a - -5. Let m be (24/p)/(2*-3). Is m < -4?
False
Let f = -137448 - -268175. Let u = 1701100/13 - f. Let y = u + -127. Do -2/3 and y have the same value?
False
Let p(m) = -m**2 + 9*m - 4. Let i be p(8). Let s = -47 + 51. Are s and i unequal?
False
Let k = 815 + -371. Is k != 445?
True
Let d be (-4)/2 + (-54)/(-21). Suppose 5*s = -a + 3, 145*a - 146*a = 2*s - 3. Is s at least d?
False
Let y be (-7 - -6)/(5/4). Let f be -2*(-2*4)/2. Let a be (-14)/f - (-1)/(-4). Is y smaller than a?
False
Let s(j) = j + 5. Let w be s(-7). Let n be (-2)/5 - w/(-20). Which is smaller: -23 or n?
-23
Suppose -9*z + 5*z = -4. Let x = -284/975 - -2/39. Is x less than z?
True
Suppose -38 = 5*g - 18. Let v = g - -5. Is -4 at most v?
True
Suppose -2*r + 20 = -4*q, 6 + 6 = -q + 4*r. Let u be -8*(q/(-8) + -1). Let k = u - 24. Which is bigger: -21 or k?
k
Let q = 1/1159 - 64909/5795. Is -12 at most as big as q?
True
Let n(h) = -30*h + 546. Let d be n(19). Is -26 greater than or equal to d?
False
Suppose -5*l - 4*n + 110 = -7*n, -5*n = 4*l - 51. Let p = -21 + l. Let d be p/(-7) + 810/(-42). Is -18 at most as big as d?
False
Let q = 15 - 3. Suppose g + 3*s = -7, 3*g - 2*s + 0*s = q. Suppose 6 = y + 4. Is g less than y?
False
Suppose -11*z + 17*z = 4440. Suppose 0 = -92*i + 97*i + z. Is i bigger than -149?
True
Let j = 9.09 + -10.09. Which is smaller: j or -0.0482?
j
Let i = -0.018 - 0.124. Is 1/3 <= i?
False
Let d(t) = t + 1. Let c(b) = -7*b + 6. Let z(h) = -c(h) - 3*d(h). Let n(p) = 7*p - 