al to g?
True
Suppose 0 = 6*z - z - 3*m + 5, 0 = -3*z - m - 17. Let n = 10 - z. Which is greater: 11 or n?
n
Let y be (3/(-9))/(2/(-18)). Suppose y*x = 7*x + 16. Let d(o) = -o. Let z be d(x). Which is smaller: z or 9/2?
z
Let l be (-2 + 12)*(-2 - 27/(-6)). Which is bigger: l or 6?
l
Let b(x) = -x**3 - 3*x**2 + 4*x - 5. Let a be b(-4). Suppose -4*k + 55 = 183. Let c = k + 27. Are c and a equal?
True
Let s be 2 - 3/2 - 390/12. Let w be 0 - (-1 - -3) - s/15. Are w and 0 non-equal?
True
Let d = 156105/164369 - -6/4009. Is d at least 1?
False
Let m = 5 - 0. Suppose -m*w + 1 = -29. Suppose -3*i - 3 = -5*h + 2, 3*h = -i + 17. Is i <= w?
True
Let l = -316 - -447. Let g = l + -131. Are g and -40 non-equal?
True
Let k(m) = -14 + 21*m + 27*m - 45*m. Let j be k(4). Is -3 not equal to j?
True
Let g be (3/6)/((-4)/(-208)). Let r = 29 - g. Suppose f - 2*w + 2 - 4 = 0, r*w = 5*f + 25. Which is smaller: -9 or f?
-9
Let z be (-42)/(-36) + (-24)/(-18). Which is smaller: z or 37?
z
Suppose 3*s = 4*l + 8, -10 = -99*s + 100*s + 5*l. Which is smaller: -5/67 or s?
-5/67
Suppose -3*h = -h - 3*p, -4*h = -5*p - 2. Suppose 4*x - 5 = 3*d, -x + 2*d = 4*x - 8. Suppose -5*c = -5*o - 5, 0 = -o - x*o. Are c and h equal?
False
Let c be (-784)/(-198) - (-10)/(-55). Do c and 5 have the same value?
False
Suppose -1 = 3*i + 2. Let p be (-152)/(-12) - i/3. Suppose 12 = -n + 5*j - 5, -p = 3*n + 4*j. Do -8 and n have the same value?
False
Let o = -2 - -1. Suppose 0 = c - 0 + 1. Let z be c + 0 + (-92)/(-96). Which is smaller: o or z?
o
Let k be -214 - ((-2)/(-14) + 208/(-182)). Which is smaller: -214 or k?
-214
Let s be 1/3*4/4*-3. Do s and 3/185 have the same value?
False
Let y = -1317 + 2293/2. Let s = y - -162. Is -9 bigger than s?
False
Let m = -487 + 339. Is -150 less than m?
True
Let g be (3/(-6))/(2/96). Let o be g/9*(-9)/6. Which is bigger: -0.3 or o?
o
Let v = 2.1 + 8.9. Let n = v - 11.1. Let d = -8 + 5. Is n greater than or equal to d?
True
Let a(u) = -u**2 + 18*u + 12. Let q be a(18). Suppose 0 = 4*h - 0*h - 20. Let m be -1 - h*(-8)/q. Is 3 at least as big as m?
True
Let p be 11 + 0 - -3 - 2. Let c be 186/15 + p/(-30). Which is smaller: c or 11?
11
Let k be 3/(-5) - 528/30. Let b = k + 627/35. Let t(j) = j**2 + 5*j + 5. Let y be t(-4). Which is bigger: b or y?
y
Let p(v) = -15*v**3 + v**2 + 2*v. Let n be p(2). Let w = -201 - -124. Let q be 36/w - 32/n. Is -0.1 greater than or equal to q?
True
Let y be 2/(-2) + -1 - (-201 - -1214). Is -1014 >= y?
True
Let b be (5/(-90))/((-2)/(-20)). Is b at most -1?
False
Let g be (-1)/(-5) + 5/(-25). Let m = -15 + g. Let y = -3 + -11. Which is smaller: y or m?
m
Suppose -3*f = -4*m + 1293, -4*f - 5*m - 1812 + 57 = 0. Which is smaller: f or -436?
-436
Let k = 5668/4455 - -2/4455. Let r be 1/1 - (-4 - (3 + -10)). Let a be ((-10)/r)/(14 - 9). Which is greater: k or a?
k
Let u = 39 - 37. Let m be (3/30)/(u*1/436). Is m at least as big as 22?
False
Let m be 69/12*(-16 - 4). Which is bigger: -341/3 or m?
-341/3
Suppose -14*z = -297 - 165. Suppose 0 = g + 35 + z. Which is greater: g or -69?
g
Let j be (-666)/(-126) - ((-36)/21 - -2). Let z = -1 - -2. Suppose -q - l = 1, j*q + z + 4 = 4*l. Which is smaller: 6/23 or q?
q
Let c(q) = 20*q + 177. Let m be c(-9). Let n = -1 - -0.9. Is m at most n?
True
Suppose d - 4 = -3*d. Let j = -5 + 15. Let s = j - 9. Is d equal to s?
True
Let w be 5*(10/4)/(26/(-52)). Are -0.1 and w non-equal?
True
Let k(w) = 146*w + 7. Let y be k(-2). Which is bigger: -286 or y?
y
Let s = -265 + 269.4. Which is smaller: s or 1?
1
Let s(g) = g**2 - 2*g - 91. Let h be s(-9). Which is smaller: 17 or h?
h
Let v = -17 + 19. Let l(q) = -1 - 2*q + 7 - v - 4*q. Let n be l(-3). Is 21 > n?
False
Suppose 5*q + 18 = v, 4*v - 5*q = 10 + 2. Let x be 0*(0 + 3/6). Which is smaller: v or x?
v
Suppose 6*x - 25 = 35. Suppose -5*v + 4*v - 3*c = x, c + 7 = -4*v. Which is smaller: v or 10?
v
Let b = 221 - 220. Is 1/744 equal to b?
False
Suppose 1 = -5*t + 16. Let d(k) = 9*k - 7. Let f be d(t). Let r = f + -18. Do r and 2 have the same value?
True
Suppose 2*s + 3*u = 33, 4*s = 2*u + 3*u + 11. Are 11 and s equal?
False
Suppose -2*o - 20*o - 44 = 0. Is o smaller than -20?
False
Let z = -81.79 + 81.7. Do 1 and z have the same value?
False
Let l be (-2)/10*(-1 - -1). Suppose -5*d + 4 = -k, 2*k + l*d - 5*d + 3 = 0. Which is smaller: -2/11 or k?
-2/11
Suppose l - 4*y - 65 = 18, -l + 2*y + 75 = 0. Let i(o) = -32*o + 3. Let x be i(-2). Is x less than l?
False
Let f = -271 - -460. Let y be 10/(-78)*-2*f/(-42). Which is smaller: y or -2?
-2
Let k(o) = o**2 + 6*o - 9. Let h be k(-8). Let r = h + -8. Let t be (1 + 1)*r - -2. Which is greater: t or 1?
1
Let f(q) = -q**3 - 10*q**2 - 2*q - 17. Let v be f(-13). Is v less than or equal to 516?
True
Let m be (-826)/28*(-22)/5. Which is bigger: 131 or m?
131
Let p = 78338623/279 + -280783. Let i be (-460)/155*(-3)/(-6). Let o = p + i. Does 0 = o?
False
Let y be 1 + 6*1/2. Let p be (-108)/12*y/6. Let z = p + 7. Which is bigger: z or -2/35?
z
Let m(n) be the third derivative of -n**6/30 - n**5/12 - n**4/12 - 6*n**2. Let k be m(-2). Let y = k - 10. Is 24/5 > y?
False
Let p = 2.3931 + -0.3931. Let j = -7.8 - -7. Let n = -2.2 - j. Which is smaller: p or n?
n
Let m = -18 + 18. Let k = 44 - 42.74. Let c = -0.26 + k. Is c bigger than m?
True
Let a(u) = -2*u**2 - u + 1. Let b be a(1). Let k be ((-26)/(-12) + b)*1. Suppose -7*r - 17 = -10. Is k at most as big as r?
False
Let u be 13299/2430 + (-7)/(-14). Let l = 14/81 - u. Which is smaller: -6 or l?
-6
Let p = 65 - 50. Let o = p + -15. Is o less than 2/5?
True
Let x = -0.007 - 35.993. Let a = 35 + x. Are 18 and a equal?
False
Let z be (-4)/(-10)*(2 - 1). Let l = 5 + 40.5. Let j = l - 46. Is j less than z?
True
Suppose 3*k + 3*b = -k + 28, 0 = 3*k - b - 34. Suppose -k*f = -7*f - 3. Let h = 13/11 - 12/11. Do f and h have different values?
True
Let f(d) = -d**3 + 7*d**2 + 20*d - 20. Suppose -7 = l - 4*h, -5*h = l - 17 - 12. Let i be f(l). Is -1 less than or equal to i?
False
Let f = -71.63 - -72. Let s = f + -0.17. Let k = 0.6 - 0.5. Which is smaller: k or s?
k
Let k be 4 + (-27 - -5) - (-1 - 2). Suppose 27 = -4*z - 45. Is k > z?
True
Let s be -2*52/182*(-1)/58. Is s >= 0?
True
Let o be (-4575067)/(-2814) - 1/(-6). Let n = 1626 - o. Is n <= 0?
False
Let r = 226 - 226. Do r and 1/327 have different values?
True
Let r = -171 + 249. Which is bigger: -1 or r?
r
Let b = -50 - -50.42. Let n = 0.72 - b. Let u be (-1)/(-5)*15/(-6). Does u = n?
False
Let w(y) = -3*y**3 - 22*y**2 - 35*y + 1. Let c be w(-5). Let t = 219 + -22777/104. Which is greater: c or t?
c
Let l = -3 + 5. Let k be 19/((-285)/(-25)) + 2/(-12). Which is smaller: k or l?
k
Suppose -6*r + 3*g = -10*r - 7, 2*g = 6. Let a = 9 + -9.01. Let f = -0.09 + a. Is f < r?
False
Let y = 24 + -19. Let d be (28*y/120)/(4/6). Which is bigger: 2 or d?
2
Let q = -40626 - -118668545/2921. Which is smaller: -1 or q?
-1
Suppose 3*s + 54 = 4*q - 2, -q = -5*s - 31. Let k = q + -3. Let d = -4 + k. Is 4 bigger than d?
False
Let w = 7.4 + -11.4. Which is greater: -2 or w?
-2
Suppose 3*v = -0*z + 5*z + 26, -3*v = z - 2. Let h be z/((-30)/2*-1). Let w = h + 13/105. Are -1 and w equal?
False
Suppose -4*f + 135 + 3 = -5*z, -f - 3 = 0. Let w = z - -31. Which is bigger: w or 6/13?
w
Suppose 2*p + 1 = -4*q + 23, 5*p - 4*q - 41 = 0. Suppose 2*v + 7 = p*v. Which is bigger: v or 1/22?
v
Let h(l) = 59*l + 119. Let q be h(-2). Is -395 at most q?
True
Let b = -13.2 + 16. Let w = b + -0.8. Does w = 2?
True
Suppose 2*x + 2*z = -10, -2*x - 3 = -3*z - 13. Let w(s) = -2*s - 1 + 0*s**2 - s**2 + 0*s + 0. Let k be w(x). Is -5/4 > k?
False
Let o = 2047/634885 - 3/3895. Which is smaller: o or -1?
-1
Let f = -3.3 - -3.2312. Let w = f - -5.2588. Let q = -0.19 + w. Is 1 less than or equal to q?
True
Let a be (-1412)/(-27*(-7 - (-154)/21)). Is 156 equal to a?
False
Let o(k) = -11*k**2 - 11*k - 2. Suppose -2*f = 3*f + 3*y - 4, 0 = f - 2*y - 6. Let x be o(f). Which is smaller: x or -66?
x
Let w = 0.61 + 0.38. Which is bigger: w or 0.1?
w
Suppose -35 = g - 0*g. Let m = 23 + g. Let t be -2 - (-1 + m/(-3)). Is t at least -5?
True
Suppose 6*p - 13*p = -35. Suppose 1 = 4*s + y, -p*s - 4*y = 10 - 3. Is 3/11 less than s?
True
Let z = -19 + 18.5. Let g = z + 0.4. Is g less than 5?
Tr